Function space

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 ${\displaystyle 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 ${\displaystyle [X,-]}$, it appears as an adjoint functor to a functor of type ${\displaystyle -\times X}$ on objects;
• In functional programming and lambda calculus, function types are used to express the idea of higher-order functions
• In programming more generally, many higher-order function concepts occur with or without explicit typing, such as closures.
• 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.

Exponential law

For (not necessarily continuous) functions, there is the exponential law that relates functions on a product on one hand and function-valued functions on the other; namely,

${\displaystyle \mathrm{Fun}(X\times Y,Z)\underset{\sim }{\stackrel{f\mapsto \tilde{f}}{\to }}\mathrm{Fun}(X,\mathrm{Fun}(Y,Z)),\tilde{f}(x)(y)=f(x,y)}$

is bijective, where ${\displaystyle \mathrm{Fun}(X,Y)}$ denotes the set of functions from a set ${\displaystyle X}$ to a set ${\displaystyle Y}$. (That is, ${\displaystyle -\times Y}$ is left adjoint to ${\displaystyle \mathrm{Fun}(Y,-).}$)

In practice, we are usually interested in the analog of the above for continuous functions. In general, however, the exponential law for continuous maps can fail. What we have is this. We write ${\displaystyle C(X,Y)}$ for the set of all continuous maps from a topological space ${\displaystyle X}$ to another ${\displaystyle Y}$. Suppose ${\displaystyle X,Y,Z}$ are topological spaces. If ${\displaystyle C(Y,Z)}$ has a coarsest topology such that the evaluation map ${\displaystyle e:C(Y,Z)\times Y\to Z}$ is continuous, the exponential law holds:

${\displaystyle C(X\times Y,Z)\underset{\sim }{\stackrel{f\mapsto \tilde{f}}{\to }}C(X,C(Y,Z))}$

is bijective. But such a coarsest topology may not exist in general (in some cases, a compact-open topology is such a coarsest topology).

Functional analysis

A main theme of functional analysis is to study function spaces and vector spaces with more structure than the bare minimum of linear structure. Specifically, some are topological vector spaces, some are Banach spaces, some are Hilbert spaces, etc. This allows mathematicians to apply intuitions from finite-dimensional vector spaces.

The functional spaces have intricate interrelationships, such as interpolation, embedding, representation, Banach space isomorphism, etc. Many fundamental theorems and constructions in functional analysis deals with their relationships, such as the Riesz representation theorem, the Riesz–Thorin theorem, the Gagliardo–Nirenberg interpolation inequality, the Rellich–Kondrachov theorem, the Hardy–Littlewood maximal function, etc.

Let ${\displaystyle \mathrm{\Omega }\subseteq {\mathbb{R}}^n}$ be an open subset.

• ${\displaystyle B(\mathrm{\Omega })}$ bounded functions
• continuous ones
  • ${\displaystyle C(\mathrm{\Omega })}$ continuous functions endowed with the uniform norm topology
  • ${\displaystyle C_c(\mathrm{\Omega })}$ continuous functions with compact support
  • ${\displaystyle C_b(\mathrm{\Omega })}$ continuous bounded functions
  • ${\displaystyle C_0(\mathrm{\Omega })}$ continuous functions which vanish at infinity; a closed subspace of ${\displaystyle C_b(\mathrm{\Omega })}$
  • ${\displaystyle C^r(\mathrm{\Omega })}$ continuous functions that have r continuous derivatives.
• smooth ones
  • ${\displaystyle C^{\mathrm{\infty }}(\mathrm{\Omega })}$ smooth functions
  • ${\displaystyle C_c^{\mathrm{\infty }}(\mathrm{\Omega })}$ smooth functions with compact support (i.e. the set of bump functions)
  • ${\displaystyle C^{\omega }(\mathrm{\Omega })}$ real analytic functions
• ${\displaystyle L^p(\mathrm{\Omega })}$, for ${\displaystyle 1\le p\le \mathrm{\infty }}$, is the L^p space of measurable functions whose p-norm $\Vert f{\Vert }_p={\left({\int }_{\mathrm{\Omega }}|f{|}^p\right)}^{1/p}$ is finite
• ${\displaystyle \mathcal{S}(\mathrm{\Omega })}$, the Schwartz space of rapidly decreasing smooth functions and its continuous dual, ${\displaystyle {\mathcal{S}}^{\prime }(\mathrm{\Omega })}$ tempered distributions
• ${\displaystyle D(\mathrm{\Omega })}$ compact support in limit topology
• ${\displaystyle {\text{Lip}}_0(\mathrm{\Omega })}$, the space of all Lipschitz functions on ${\displaystyle \mathrm{\Omega }}$ that vanish at zero.
• ${\displaystyle W^{k,p}}$ Sobolev space of functions whose weak derivatives up to order k are in ${\displaystyle L^p}$
• ${\displaystyle {\mathcal{O}}_U}$ holomorphic functions
• ${\displaystyle BMO(\mathrm{\Omega })}$, space of bounded mean oscillation. Also called John–Nirenberg space
• linear functions
• piecewise linear functions
• continuous functions, compact open topology
• all functions, space of pointwise convergence
• Hardy space
• Hölder space
• Skorokhod space: the space of càdlàg functions.
• Besov space
• Souček space
• Triebel–Lizorkin space
• Barron space

Uniform norm

If y is an element of the function space ${\displaystyle \mathcal{C}(a,b)}$ of all continuous functions that are defined on a closed interval [a, b], the norm ${\displaystyle \Vert y{\Vert }_{\mathrm{\infty }}}$ defined on ${\displaystyle \mathcal{C}(a,b)}$ is the maximum absolute value of y (x) for a ≤ x ≤ b, $${\displaystyle \Vert y{\Vert }_{\mathrm{\infty }}\equiv \underset{a\le x\le b}{max}|y(x)|\text{where}y\in \mathcal{C}(a,b)}$$

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