Английская Википедия:Function space
Шаблон:Short description Шаблон:Functions 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 Шаблон:Var 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
Шаблон:See also Шаблон:Unreferenced section
Let Шаблон:Var be a vector space over a field Шаблон:Var and let Шаблон:Var be any set. The functions Шаблон:Var → Шаблон:Var can be given the structure of a vector space over Шаблон:Var where the operations are defined pointwise, that is, for any Шаблон:Var, Шаблон:Var : Шаблон:Var → Шаблон:Var, any Шаблон:Var in Шаблон:Var, and any Шаблон:Var in Шаблон:Var, define <math display="block"> \begin{align}
(f+g)(x) &= f(x)+g(x) \\ (c\cdot f)(x) &= c\cdot f(x)
\end{align} </math> When the domain Шаблон:Var has additional structure, one might consider instead the subset (or subspace) of all such functions which respect that structure. For example, if Шаблон:Var is also a vector space over Шаблон:Var, the set of linear maps Шаблон:Var → Шаблон:Var form a vector space over Шаблон:Var with pointwise operations (often denoted Hom(Шаблон:Var,Шаблон:Var)). One such space is the dual space of Шаблон:Var: the set of linear functionals Шаблон:Var → Шаблон:Var 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 YX.
- 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 2X.
- The set of bijections from X to Y is denoted <math>X \leftrightarrow Y</math>. 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) YX. 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 Шаблон:Var and Шаблон:Var of a group Шаблон:Var, one can form a representation of Шаблон:Var over the vector space of linear maps Hom(Шаблон:Var,Шаблон:Var) 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 <math>\Omega \subseteq \R^n</math>
- <math>C(\R)</math> continuous functions endowed with the uniform norm topology
- <math>C_c(\R)</math> continuous functions with compact support
- <math>B(\R)</math> bounded functions
- <math>C_0(\R)</math> continuous functions which vanish at infinity
- <math>C^r(\R)</math> continuous functions that have continuous first r derivatives.
- <math>C^{\infty}(\R)</math> smooth functions
- <math>C^{\infty}_c(\R)</math> smooth functions with compact support
- <math>C^\omega(\R)</math> real analytic functions
- <math>L^p(\R)</math>, for <math>1\leq p \leq \infty</math>, is the Lp space of measurable functions whose p-norm <math display="inline">\|f\|_p = \left( \int_\R |f|^p \right)^{1/p}</math> is finite
- <math>\mathcal{S}(\R)</math>, the Schwartz space of rapidly decreasing smooth functions and its continuous dual, <math>\mathcal{S}'(\R)</math> tempered distributions
- <math>D(\R)</math> compact support in limit topology
- <math>W^{k,p}</math> Sobolev space of functions whose weak derivatives up to order k are in <math>L^p</math>
- <math>\mathcal{O}_U</math> 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
- <math>\text{Lip}_0(\R)</math>, the space of all Lipschitz functions on <math>\R</math> that vanish at zero.
Norm
If Шаблон:Math is an element of the function space <math> \mathcal {C}(a,b) </math> of all continuous functions that are defined on a closed interval Шаблон:Closed-closed, the norm <math>\|y\|_\infty</math> defined on <math> \mathcal {C}(a,b) </math> is the maximum absolute value of Шаблон:Math for Шаблон:Math,[2] <math display="block"> \| y \|_\infty \equiv \max_{a \le x \le b} |y(x)| \qquad \text{where} \ \ y \in \mathcal {C}(a,b) </math>
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.
See also
References
Шаблон:Lp spaces Шаблон:Measure theory
