Function space

Last updated March 26, 2024

In mathematics, a function space is a set of functions between two fixed sets. Often, the domain and/or codomain will have additional structure which is inherited by the function space. For example, the set of functions from any set X into a vector space has a natural vector space structure given by pointwise addition and scalar multiplication. In other scenarios, the function space might inherit a topological or metric structure, hence the name function space.

In linear algebra

Let F be a field and let X be any set. The functions X → F can be given the structure of a vector space over F where the operations are defined pointwise, that is, for any f, g : X → F, any x in X, and any c in F, define

{\begin{aligned}(f+g)(x)&=f(x)+g(x)\\(c\cdot f)(x)&=c\cdot f(x)\end{aligned}}

When the domain X has additional structure, one might consider instead the subset (or subspace) of all such functions which respect that structure. For example, if V and also X itself are vector spaces over F, the set of linear maps X → V form a vector space over F with pointwise operations (often denoted Hom(X,V)). One such space is the dual space of X: the set of linear functionals X → F with addition and scalar multiplication defined pointwise.

Examples

Function spaces appear in various areas of mathematics:

In set theory, the set of functions from X to Y may be denoted {X → Y} or Y^X.
- As a special case, the power set of a set X may be identified with the set of all functions from X to {0, 1}, denoted 2^X.
The set of bijections from X to Y is denoted $X\leftrightarrow Y$ . The factorial notation X! may be used for permutations of a single set X.
In functional analysis, the same is seen for continuous linear transformations, including topologies on the vector spaces in the above, and many of the major examples are function spaces carrying a topology; the best known examples include Hilbert spaces and Banach spaces.
In functional analysis, the set of all functions from the natural numbers to some set X is called a sequence space . It consists of the set of all possible sequences of elements of X.
In topology, one may attempt to put a topology on the space of continuous functions from a topological space X to another one Y, with utility depending on the nature of the spaces. A commonly used example is the compact-open topology, e.g. loop space. Also available is the product topology on the space of set theoretic functions (i.e. not necessarily continuous functions) Y^X. In this context, this topology is also referred to as the topology of pointwise convergence.
In algebraic topology, the study of homotopy theory is essentially that of discrete invariants of function spaces;
In the theory of stochastic processes, the basic technical problem is how to construct a probability measure on a function space of paths of the process (functions of time);
In category theory, the function space is called an exponential object or map object. It appears in one way as the representation canonical bifunctor; but as (single) functor, of type [X, -], it appears as an adjoint functor to a functor of type (-×X) on objects;
In functional programming and lambda calculus, function types are used to express the idea of higher-order functions.
In domain theory, the basic idea is to find constructions from partial orders that can model lambda calculus, by creating a well-behaved Cartesian closed category.
In the representation theory of finite groups, given two finite-dimensional representations V and W of a group G, one can form a representation of G over the vector space of linear maps Hom(V,W) called the Hom representation.^[1]

Functional analysis

Functional analysis is organized around adequate techniques to bring function spaces as topological vector spaces within reach of the ideas that would apply to normed spaces of finite dimension. Here we use the real line as an example domain, but the spaces below exist on suitable open subsets $\Omega \subseteq \mathbb {R} ^{n}$

$C(\mathbb {R} )$ continuous functions endowed with the uniform norm topology
$C_{c}(\mathbb {R} )$ continuous functions with compact support
$B(\mathbb {R} )$ bounded functions
$C_{0}(\mathbb {R} )$ continuous functions which vanish at infinity
$C^{r}(\mathbb {R} )$ continuous functions that have continuous first r derivatives.
$C^{\infty }(\mathbb {R} )$ smooth functions
$C_{c}^{\infty }(\mathbb {R} )$ smooth functions with compact support
$C^{\omega }(\mathbb {R} )$ real analytic functions
$L^{p}(\mathbb {R} )$ , for $1\leq p\leq \infty$ , is the L^p space of measurable functions whose p-norm ${\textstyle \|f\|_{p}=\left(\int _{\mathbb {R} }|f|^{p}\right)^{1/p}}$ is finite
${\mathcal {S}}(\mathbb {R} )$ , the Schwartz space of rapidly decreasing smooth functions and its continuous dual, ${\mathcal {S}}'(\mathbb {R} )$ tempered distributions
$D(\mathbb {R} )$ compact support in limit topology
$W^{k,p}$ Sobolev space of functions whose weak derivatives up to order k are in $L^{p}$
${\mathcal {O}}_{U}$ holomorphic functions
linear functions
piecewise linear functions
continuous functions, compact open topology
all functions, space of pointwise convergence
Hardy space
Hölder space
Càdlàg functions, also known as the Skorokhod space
${\text{Lip}}_{0}(\mathbb {R} )$ , the space of all Lipschitz functions on $\mathbb {R}$ that vanish at zero.

Norm

If $y$ is an element of the function space ${\mathcal {C}}(a,b)$ of all continuous functions that are defined on a closed interval $[a, b]$ , the norm $\|y\|_{\infty }$ defined on ${\mathcal {C}}(a,b)$ is the maximum absolute value of $y (x)$ for $a \leq x \leq b$ ,^[2]

\|y\|_{\infty }\equiv \max _{a\leq x\leq b}|y(x)|\qquad {\text{where}}\ \ y\in {\mathcal {C}}(a,b)

is called the uniform norm or supremum norm ('sup norm').

Bibliography

Kolmogorov, A. N., & Fomin, S. V. (1967). Elements of the theory of functions and functional analysis. Courier Dover Publications.
Stein, Elias; Shakarchi, R. (2011). Functional Analysis: An Introduction to Further Topics in Analysis. Princeton University Press.

Related Research Articles

In mathematics, more specifically in functional analysis, a Banach space is a complete normed vector space. Thus, a Banach space is a vector space with a metric that allows the computation of vector length and distance between vectors and is complete in the sense that a Cauchy sequence of vectors always converges to a well-defined limit that is within the space.

In mathematics, any vector space has a corresponding dual vector space consisting of all linear forms on together with the vector space structure of pointwise addition and scalar multiplication by constants.

In mathematics, a normed vector space or normed space is a vector space over the real or complex numbers on which a norm is defined. A norm is a generalization of the intuitive notion of "length" in the physical world. If $is a vector space over, where is a field equal to or to, then a norm on is a map, typically denoted by, satisfying the following four axioms:$

Non-negativity: for every $, .$
Positive definiteness: for every $, if and only if is the zero vector.$
Absolute homogeneity: for every $and,$
Triangle inequality: for every $and,$

In mathematics, weak topology is an alternative term for certain initial topologies, often on topological vector spaces or spaces of linear operators, for instance on a Hilbert space. The term is most commonly used for the initial topology of a topological vector space with respect to its continuous dual. The remainder of this article will deal with this case, which is one of the concepts of functional analysis.

In mathematics, the $L p$ spaces are function spaces defined using a natural generalization of the $p$ -norm for finite-dimensional vector spaces. They are sometimes called Lebesgue spaces, named after Henri Lebesgue, although according to the Bourbaki group they were first introduced by Frigyes Riesz.

In mathematics, a topological vector space is one of the basic structures investigated in functional analysis. A topological vector space is a vector space that is also a topological space with the property that the vector space operations are also continuous functions. Such a topology is called a vector topology and every topological vector space has a uniform topological structure, allowing a notion of uniform convergence and completeness. Some authors also require that the space is a Hausdorff space. One of the most widely studied categories of TVSs are locally convex topological vector spaces. This article focuses on TVSs that are not necessarily locally convex. Banach spaces, Hilbert spaces and Sobolev spaces are other well-known examples of TVSs.

Distributions, also known as Schwartz distributions or generalized functions, are objects that generalize the classical notion of functions in mathematical analysis. Distributions make it possible to differentiate functions whose derivatives do not exist in the classical sense. In particular, any locally integrable function has a distributional derivative.

In the area of mathematics known as functional analysis, a reflexive space is a locally convex topological vector space for which the canonical evaluation map from $into its bidual is a homeomorphism. A normed space is reflexive if and only if this canonical evaluation map is surjective, in which case this evaluation map is an isometric isomorphism and the normed space is a Banach space. Those space for which the canonical evaluation map is surjective are called semi-reflexive spaces.$

In functional analysis and related areas of mathematics, Fréchet spaces, named after Maurice Fréchet, are special topological vector spaces. They are generalizations of Banach spaces. All Banach and Hilbert spaces are Fréchet spaces. Spaces of infinitely differentiable functions are typical examples of Fréchet spaces, many of which are typically not Banach spaces.

In mathematics, the uniform boundedness principle or Banach–Steinhaus theorem is one of the fundamental results in functional analysis. Together with the Hahn–Banach theorem and the open mapping theorem, it is considered one of the cornerstones of the field. In its basic form, it asserts that for a family of continuous linear operators whose domain is a Banach space, pointwise boundedness is equivalent to uniform boundedness in operator norm.

In mathematics, particularly in functional analysis, a seminorm is a vector space norm that need not be positive definite. Seminorms are intimately connected with convex sets: every seminorm is the Minkowski functional of some absorbing disk and, conversely, the Minkowski functional of any such set is a seminorm.

In functional analysis and related areas of mathematics, locally convex topological vector spaces (LCTVS) or locally convex spaces are examples of topological vector spaces (TVS) that generalize normed spaces. They can be defined as topological vector spaces whose topology is generated by translations of balanced, absorbent, convex sets. Alternatively they can be defined as a vector space with a family of seminorms, and a topology can be defined in terms of that family. Although in general such spaces are not necessarily normable, the existence of a convex local base for the zero vector is strong enough for the Hahn–Banach theorem to hold, yielding a sufficiently rich theory of continuous linear functionals.

In functional analysis and related branches of mathematics, the Banach–Alaoglu theorem states that the closed unit ball of the dual space of a normed vector space is compact in the weak* topology. A common proof identifies the unit ball with the weak-* topology as a closed subset of a product of compact sets with the product topology. As a consequence of Tychonoff's theorem, this product, and hence the unit ball within, is compact.

The Arzelà–Ascoli theorem is a fundamental result of mathematical analysis giving necessary and sufficient conditions to decide whether every sequence of a given family of real-valued continuous functions defined on a closed and bounded interval has a uniformly convergent subsequence. The main condition is the equicontinuity of the family of functions. The theorem is the basis of many proofs in mathematics, including that of the Peano existence theorem in the theory of ordinary differential equations, Montel's theorem in complex analysis, and the Peter–Weyl theorem in harmonic analysis and various results concerning compactness of integral operators.

In functional analysis and related areas of mathematics, a barrelled space is a topological vector space (TVS) for which every barrelled set in the space is a neighbourhood for the zero vector. A barrelled set or a barrel in a topological vector space is a set that is convex, balanced, absorbing, and closed. Barrelled spaces are studied because a form of the Banach–Steinhaus theorem still holds for them. Barrelled spaces were introduced by Bourbaki.

In functional analysis and related areas of mathematics, a set in a topological vector space is called bounded or von Neumann bounded, if every neighborhood of the zero vector can be inflated to include the set. A set that is not bounded is called unbounded.

In mathematics, the injective tensor product of two topological vector spaces (TVSs) was introduced by Alexander Grothendieck and was used by him to define nuclear spaces. An injective tensor product is in general not necessarily complete, so its completion is called the completed injective tensor products. Injective tensor products have applications outside of nuclear spaces. In particular, as described below, up to TVS-isomorphism, many TVSs that are defined for real or complex valued functions, for instance, the Schwartz space or the space of continuously differentiable functions, can be immediately extended to functions valued in a Hausdorff locally convex TVS $with out any need to extend definitions from real/complex-valued functions to -valued functions.$

In functional analysis and related areas of mathematics, the strong dual space of a topological vector space (TVS) $is the continuous dual space of equipped with the strong (dual) topology or the topology of uniform convergence on bounded subsets of where this topology is denoted by or The coarsest polar topology is called weak topology. The strong dual space plays such an important role in modern functional analysis, that the continuous dual space is usually assumed to have the strong dual topology unless indicated otherwise. To emphasize that the continuous dual space, has the strong dual topology, or may be written.$

In functional analysis and related areas of mathematics, a metrizable topological vector space (TVS) is a TVS whose topology is induced by a metric. An LM-space is an inductive limit of a sequence of locally convex metrizable TVS.

In mathematical analysis, the spaces of test functions and distributions are topological vector spaces (TVSs) that are used in the definition and application of distributions. Test functions are usually infinitely differentiable complex-valued functions on a non-empty open subset $that have compact support. The space of all test functions, denoted by is endowed with a certain topology, called the canonical LF-topology, that makes into a complete Hausdorff locally convex TVS. The strong dual space of is called the space of distributions on and is denoted by where the " " subscript indicates that the continuous dual space of denoted by is endowed with the strong dual topology.$

References

↑ Fulton, William; Harris, Joe (1991). Representation Theory: A First Course. Springer Science & Business Media. p. 4. ISBN 9780387974958.
↑ Gelfand, I. M.; Fomin, S. V. (2000). Silverman, Richard A. (ed.). Calculus of variations (Unabridged repr. ed.). Mineola, New York: Dover Publications. p. 6. ISBN 978-0486414485.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Fulton, William; Harris, Joe (1991). Representation Theory: A First Course. Springer Science & Business Media. p. 4. ISBN 9780387974958.

[GelfandFominP6-2] Gelfand, I. M.; Fomin, S. V. (2000). Silverman, Richard A. (ed.). Calculus of variations (Unabridged repr. ed.). Mineola, New York: Dover Publications. p. 6. ISBN 978-0486414485.

[1]

[2]