Support (mathematics)

Support (mathematics)

In mathematics, the support of a function is the set of points where the function is not zero, or the closure of that set [1]:678. This concept is used very widely in mathematical analysis. In the form of functions with support that is bounded, it also plays a major part in various types of mathematical duality theories.

Contents

Formulation

A function supported in Y must vanish in X \ Y. For instance, f with domain X is said to have finite support if f(x) = 0 for all but a finite number of x in X. Since any superset of a support is also a support, attention is given to properties of subsets of X that admit at least one support for f. When the support of f (written supp(f)) is mentioned, it may be the intersection of all supports, {x in X:  f(x) ≠ 0} (the set-theoretic support), or the smallest support with some property of interest.

Closed supports

The most common situation occurs when X is a topological space (such as the real line) and f : XR is a continuous function. In this case, only closed supports of X are considered. So a (topological) support of f  is a closed subset of X outside of which f  vanishes. In this sense, supp(f ) is the intersection of all closed supports, since the intersection of closed sets is closed. The topological supp(f ) is the topological closure of the set-theoretic supp(f ).

Generalization

If M is an arbitrary set containing zero, the concept of support is immediately generalizable to functions f : XM. M may also be any algebraic structure with identity (such as a group, monoid, or composition algebra), in which the identity element assumes the role of zero. For instance, the family ZN of functions from the natural numbers to the integers is the uncountable set of integer sequences. The subfamily { f  in ZN :f  has finite support } is the countable set of all integer sequences that have only finitely many nonzero entries.

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.

Note that the word support can refer to the logarithm of the likelihood of a probability density function.

Compact support

Functions with compact support in X are those with support that is a compact subset of X. For example, if X is the real line, they are functions of bounded support and therefore vanish at infinity (and negative infinity).

Real-valued compactly supported smooth functions on a Euclidean space are called bump functions. Mollifiers are an important special case of bump functions as they can be used in distribution theory to create sequences of smooth functions approximating nonsmooth (generalized) functions, via convolution.

In good cases, functions with compact support are dense 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, for any ε > 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

| f(x) − IC(x)f(x) | < ε

for all xX, where IC is the indicator function of C. Every continuous function on a compact topological space has compact support since every closed subset of a compact space is indeed compact.

Support of a distribution

It is possible also to talk about the support of a distribution, such as the Dirac delta function δ(x) on the real line. In that example, we can consider test functions F, which are smooth functions with support not including the point 0. Since δ(F) (the distribution δ applied as linear functional to F) is 0 for such functions, we can say that the support of δ is {0} 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 ϕ such that the support of ϕ is contained in U, f(ϕ) = 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 ϕ supported in \bigcup U_{\alpha}, a simple argument based on the compactness of the support of ϕ and a partition of unity shows that f(ϕ) = 0 as well. Hence we can define the support of f as the complement of the largest open set on which f vanishes. For example, the support of the Dirac delta is {0}.

Singular support

In Fourier analysis in particular, it is interesting to study the singular support of a distribution. This has the intuitive interpretation as the set of points at which a distribution fails to be a function.

For example, the Fourier transform of the Heaviside step function can, up to constant factors, be considered to be 1/x (a function) except at x = 0. While this is clearly a special point, it is more precise to say that the transform qua distribution has singular support {0}: it cannot accurately be expressed as a function in relation to test functions with support including 0. It can be expressed as an application of a Cauchy principal value improper integral.

For distributions in several variables, singular supports allow one to define wave front sets and understand Huygens' principle in terms of mathematical analysis. 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 family of supports on a topological space 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 Φ of closed subsets of X is a family of supports, if it is down-closed and closed under finite union. Its extent is the union over Φ. A paracompactifying family of supports satisfies further than any Y in Φ is, with the subspace topology, a paracompact space; and has some Z in Φ which is a neighbourhood. If X is a locally compact space, assumed Hausdorff the family of all compact subsets satisfies the further conditions, making it paracompactifying.

See also

References

  1. ^ Pascucci, Andrea (2011) PDE and Martingale Methods in Option Pricing. Berlin: Springer-Verlag

Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Support — may refer to the following:* Sympathy, emotional support; * Technical support (a.k.a tech support) in computer hardware, software or electronic goods; * Support (mathematics), a kind of subset of the domain of a function; * Support (measure… …   Wikipedia

  • Mathematics and science partnerships — (MSP) is education policy from Title 2, Part B, Sections 2201 2203 of the No Child Left Behind Act of 2001. The purpose of MSP is to increase student achievement in science and mathematics by partnering IHE science, math, and engineering… …   Wikipedia

  • Support vector machine — Support vector machines (SVMs) are a set of related supervised learning methods used for classification and regression. Viewing input data as two sets of vectors in an n dimensional space, an SVM will construct a separating hyperplane in that… …   Wikipedia

  • Mathematics and Physical Sciences — ▪ 2003 Introduction Mathematics       Mathematics in 2002 was marked by two discoveries in number theory. The first may have practical implications; the second satisfied a 150 year old curiosity.       Computer scientist Manindra Agrawal of the… …   Universalium

  • mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… …   Universalium

  • Mathematics, Engineering, Science Achievement — For other organizations with the acronym Mesa, see Mesa (disambiguation). Mathematics, Engineering, Science Achievement (MESA) is an academic preparation program for K 12, community college and university level students in California. Established …   Wikipedia

  • mathematics, South Asian — Introduction       the discipline of mathematics as it developed in the Indian (India) subcontinent.       The mathematics of classical Indian civilization is an intriguing blend of the familiar and the strange. For the modern individual, Indian… …   Universalium

  • Mathematics education in the United States — From kindergarten through high school, the mathematics education in public schools in the United States varies widely from state to state, and often even varies considerably within individual states. Contents 1 Curricular content and age levels 2 …   Wikipedia

  • Mathematics Genealogy Project — The Mathematics Genealogy Project is a web based database for the academic genealogy of mathematicians.[1][2][3] As of September, 2010, it contained information on approximately 145,000 mathematical scientists who contribute to research level… …   Wikipedia

  • Mathematics of general relativity — For a generally accessible and less technical introduction to the topic, see Introduction to mathematics of general relativity. General relativity Introduction Mathematical formulation Resources …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”