support (mathematics)
   HOME

TheInfoList



In
mathematics Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and their changes ( and ). There is no general consensus abo ...
, the support of a
real-valued In mathematics, value may refer to several, strongly related notions. In general, a mathematical value may be any definite mathematical object. In elementary mathematics, this is most often a number – for example, a real number such as or an in ...
function Function or functionality may refer to: Computing * Function key A function key is a key on a computer A computer is a machine that can be programmed to carry out sequences of arithmetic or logical operations automatically. Modern comp ...
f is the
subset In mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). ...

subset
of the
domain Domain may refer to: Mathematics *Domain of a function, the set of input values for which the (total) function is defined **Domain of definition of a partial function **Natural domain of a partial function **Domain of holomorphy of a function *Doma ...
containing the elements which are not mapped to zero. If the domain of f is a
topological space In mathematics Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and their changes ( and ). There is no gener ...
, the support of f is instead defined as the smallest
closed set In geometry Geometry (from the grc, γεωμετρία; ''wikt:γῆ, geo-'' "earth", ''wikt:μέτρον, -metron'' "measurement") is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space th ...
containing all points not mapped to zero. This concept is used very widely in
mathematical analysis Analysis is the branch of mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical ...
.


Formulation

Suppose that f : X \to \R is a real-valued function whose
domain Domain may refer to: Mathematics *Domain of a function, the set of input values for which the (total) function is defined **Domain of definition of a partial function **Natural domain of a partial function **Domain of holomorphy of a function *Doma ...
is an arbitrary set X. The of f, written \operatorname(f), is the set of points in X where f is non-zero: \operatorname(f) = \. The support of f is the smallest subset of X with the property that f is zero on the subset's complement. If f(x) = 0 for all but a finite number of points x \in X, then f is said to have . If the set X has an additional structure (for example, a topology), then the support of f is defined in an analogous way as the smallest subset of X of an appropriate type such that f vanishes in an appropriate sense on its complement. The notion of support also extends in a natural way to functions taking values in more general sets than \R and to other objects, such as measures or distributions.


Closed support

The most common situation occurs when X is a
topological space In mathematics Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and their changes ( and ). There is no gener ...
(such as the
real line In mathematics Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...
or n-dimensional
Euclidean space Euclidean space is the fundamental space of . Originally, it was the of , but in modern there are Euclidean spaces of any nonnegative integer , including the three-dimensional space and the ''Euclidean plane'' (dimension two). It was introduce ...
) and f : X \to \R is a
continuous Continuity or continuous may refer to: Mathematics * Continuity (mathematics), the opposing concept to discreteness; common examples include ** Continuous probability distribution or random variable in probability and statistics ** Continuous ga ...
real (or
complex The UCL Faculty of Mathematical and Physical Sciences is one of the 11 constituent faculties of University College London , mottoeng = Let all come who by merit deserve the most reward , established = , type = Public university, Public rese ...

complex
)-valued function. In this case, the of f is defined topologically as the closure (taken in X) of the subset of X where f is non-zero that is, \operatorname(f) := \operatorname_X\left(\\right) = \overline. Since the intersection of closed sets is closed, \operatorname(f) is the intersection of all closed sets that contain the set-theoretic support of f. For example, if f : \R \to \R is the function defined by f(x) = \begin 1 - x^2 & \text , x, < 1 \\ 0 & \text , x, \geq 1 \end then the support of f is the closed interval 1, 1 since f is non-zero on the open interval (-1, 1) and the closure of this set is 1, 1 The notion of closed support is usually applied to continuous functions, but the definition makes sense for arbitrary real or complex-valued functions on a topological space, and some authors do not require that f : X \to \R (or f : X \to \Complex) be continuous.


Compact support

Functions with on a topological space X are those whose closed support is a
compact Compact as used in politics may refer broadly to a pact or treaty; in more specific cases it may refer to: * Interstate compact * Blood compact, an ancient ritual of the Philippines * Compact government, a type of colonial rule utilized in British N ...
subset of X. If X is the real line, or n-dimensional Euclidean space, then a function has compact support if and only if it has , since a subset of \R^n is compact if and only if it is closed and bounded. For example, the function f : \R \to \R defined above is a continuous function with compact support 1, 1 If f : \R^n \to \R is a smooth function then because f is identically 0 on the open subset \R^n \setminus \operatorname(f), all of f's partial derivatives of all orders are also identically 0 on \R^n \setminus \operatorname(f). The condition of compact support is stronger than the condition of vanishing at infinity. For example, the function f : \R \to \R defined by f(x) = \frac vanishes at infinity, since f(x) \to 0 as , x, \to \infty, but its support \R is not compact. Real-valued compactly supported
smooth function is a smooth function with compact support. In mathematical analysis, the smoothness of a function (mathematics), function is a property measured by the number of Continuous function, continuous Derivative (mathematics), derivatives it has over ...

smooth function
s on a
Euclidean space Euclidean space is the fundamental space of . Originally, it was the of , but in modern there are Euclidean spaces of any nonnegative integer , including the three-dimensional space and the ''Euclidean plane'' (dimension two). It was introduce ...
are called
bump function In mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It ...

bump function
s.
Mollifier In mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It ...
s are an important special case of bump functions as they can be used in distribution theory to create
sequence In , a sequence is an enumerated collection of in which repetitions are allowed and matters. Like a , it contains (also called ''elements'', or ''terms''). The number of elements (possibly infinite) is called the ''length'' of the sequence. Unl ...

sequence
s of smooth functions approximating nonsmooth (generalized) functions, via
convolution In mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). ...
. In good cases, functions with compact support are
dense The density (more precisely, the volumetric mass density; also known as specific mass), of a substance is its mass Mass is both a property Property (''latin: Res Privata'') in the Abstract and concrete, abstract is what belongs to or ...
in the space of functions that vanish at infinity, but this property requires some technical work to justify in a given example. As an intuition for more complex examples, and in the language of
limits Limit or Limits may refer to: Arts and media * Limit (music) In music theory, limit or harmonic limit is a way of characterizing the harmony found in a piece or genre (music), genre of music, or the harmonies that can be made using a particular ...
, for any \varepsilon > 0, any function f on the real line \R that vanishes at infinity can be approximated by choosing an appropriate compact subset C of \R such that \left, f(x) - I_C(x) f(x)\ < \varepsilon for all x \in X, where I_C is the
indicator function Image:Indicator function illustration.png, A three-dimensional plot of an indicator function, shown over a square two-dimensional domain (set ): the 'raised' portion overlays those two-dimensional points which are members of the 'indicated' subs ...
of C. Every continuous function on a compact topological space has compact support since every closed subset of a compact space is indeed compact.


Essential support

If X is a topological
measure space A measure space is a basic object of measure theory Measure is a fundamental concept of mathematics. Measures provide a mathematical abstraction for common notions like mass, distance/length, area, volume, probability of events, and — after si ...
with a
Borel measure In mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It ...
\mu (such as \R^n, or a
Lebesgue measurableIn measure theory In mathematics, a measure on a set (mathematics), set is a systematic way to assign a number, intuitively interpreted as its size, to some subsets of that set, called measurable sets. In this sense, a measure is a generalization ...
subset of \R^n, equipped with Lebesgue measure), then one typically identifies functions that are equal \mu-almost everywhere. In that case, the of a measurable function f : X \to \R written \operatorname(f), is defined to be the smallest closed subset F of X such that f = 0 \mu-almost everywhere outside F. Equivalently, \operatorname(f) is the complement of the largest
open set In mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). I ...
on which f = 0 \mu-almost everywhere \operatorname(f) := X \setminus \bigcup \left\. The essential support of a function f depends on the measure \mu as well as on f, and it may be strictly smaller than the closed support. For example, if f :
, 1 The comma is a punctuation Punctuation (or sometimes interpunction) is the use of spacing, conventional signs (called punctuation marks), and certain typographical devices as aids to the understanding and correct reading of written text, wh ...
\to \R is the
Dirichlet functionIn mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It ha ...
that is 0 on irrational numbers and 1 on rational numbers, and
, 1 The comma is a punctuation Punctuation (or sometimes interpunction) is the use of spacing, conventional signs (called punctuation marks), and certain typographical devices as aids to the understanding and correct reading of written text, wh ...
/math> is equipped with Lebesgue measure, then the support of f is the entire interval
, 1 The comma is a punctuation Punctuation (or sometimes interpunction) is the use of spacing, conventional signs (called punctuation marks), and certain typographical devices as aids to the understanding and correct reading of written text, wh ...
but the essential support of f is empty, since f is equal almost everywhere to the zero function. In analysis one nearly always wants to use the essential support of a function, rather than its closed support, when the two sets are different, so \operatorname(f) is often written simply as \operatorname(f) and referred to as the support.


Generalization

If M is an arbitrary set containing zero, the concept of support is immediately generalizable to functions f : X \to M. Support may also be defined for any
algebraic structure In mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It ...
with
identity Identity may refer to: Social sciences * Identity (social science), personhood or group affiliation in psychology and sociology Group expression and affiliation * Cultural identity, a person's self-affiliation (or categorization by others ...
(such as a
group A group is a number A number is a mathematical object used to counting, count, measurement, measure, and nominal number, label. The original examples are the natural numbers 1, 2, 3, 4, and so forth. Numbers can be represented in language with ...
,
monoid In abstract algebra In algebra, which is a broad division of mathematics, abstract algebra (occasionally called modern algebra) is the study of algebraic structures. Algebraic structures include group (mathematics), groups, ring (mathematic ...
, or composition algebra), in which the identity element assumes the role of zero. For instance, the family \Z^ of functions from the natural numbers to the integers is the uncountable set of integer sequences. The subfamily \left\ is the countable set of all integer sequences that have only finitely many nonzero entries. Functions of finite support are used in defining algebraic structures such as Group ring, group rings and Free abelian group, free abelian groups.


In probability and measure theory

In probability theory, the support of a probability distribution can be loosely thought of as the closure of the set of possible values of a random variable having that distribution. There are, however, some subtleties to consider when dealing with general distributions defined on a sigma algebra, rather than on a topological space. More formally, if X : \Omega \to \R is a random variable on (\Omega, \mathcal, P) then the support of X is the smallest closed set R_X \subseteq \R such that P\left(X \in R_X\right) = 1. In practice however, the support of a discrete random variable X is often defined as the set R_X = \ and the support of a continuous random variable X is defined as the set R_X = \ where f_X(x) is a probability density function of X (the #set-theoretic support, set-theoretic support). Note that the word can refer to the logarithm of the likelihood function, likelihood of a probability density function.


Support of a distribution

It is possible also to talk about the support of a Distribution (mathematics), distribution, such as the Dirac delta function \delta(x) on the real line. In that example, we can consider test functions F, which are
smooth function is a smooth function with compact support. In mathematical analysis, the smoothness of a function (mathematics), function is a property measured by the number of Continuous function, continuous Derivative (mathematics), derivatives it has over ...

smooth function
s with support not including the point 0. Since \delta(F) (the distribution \delta applied as linear functional to F) is 0 for such functions, we can say that the support of \delta is \ only. Since measures (including probability measures) on the real line are special cases of distributions, we can also speak of the support of a measure in the same way. Suppose that f is a distribution, and that U is an open set in Euclidean space such that, for all test functions \phi such that the support of \phi is contained in U, f(\phi) = 0. Then f is said to vanish on U. Now, if f vanishes on an arbitrary family U_ of open sets, then for any test function \phi supported in \bigcup U_, a simple argument based on the compactness of the support of \phi and a partition of unity shows that f(\phi) = 0 as well. Hence we can define the of f as the complement of the largest open set on which f vanishes. For example, the support of the Dirac delta is \.


Singular support

In Fourier analysis in particular, it is interesting to study the of a distribution. This has the intuitive interpretation as the set of points at which a distribution . For example, the Fourier transform of the Heaviside step function can, up to constant factors, be considered to be 1/x (a function) at x = 0. While x = 0 is clearly a special point, it is more precise to say that the transform of the distribution has singular support \: it cannot accurately be expressed as a function in relation to test functions with support including 0. It be expressed as an application of a Cauchy principal value integral. For distributions in several variables, singular supports allow one to define and understand Huygens' principle in terms of
mathematical analysis Analysis is the branch of mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical ...
. Singular supports may also be used to understand phenomena special to distribution theory, such as attempts to 'multiply' distributions (squaring the Dirac delta function fails – essentially because the singular supports of the distributions to be multiplied should be disjoint).


Family of supports

An abstract notion of on a
topological space In mathematics Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and their changes ( and ). There is no gener ...
X, suitable for sheaf theory, was defined by Henri Cartan. In extending Poincaré duality to manifolds that are not compact, the 'compact support' idea enters naturally on one side of the duality; see for example Alexander–Spanier cohomology. Bredon, ''Sheaf Theory'' (2nd edition, 1997) gives these definitions. A family \Phi of closed subsets of X is a , if it is down-closed and closed under finite union. Its is the union over \Phi. A family of supports that satisfies further that any Y in \Phi is, with the subspace topology, a paracompact space; and has some Z in \Phi which is a Neighbourhood (topology), neighbourhood. If X is a locally compact space, assumed Hausdorff space, Hausdorff the family of all compact subsets satisfies the further conditions, making it paracompactifying.


See also

* * * *


Citations


References

* * Set theory Real analysis Topology Topology of function spaces