View source for Space of mappings, topological

A set $F$ of mappings from a set $X$ into a [[topological space]] $Y$ with some natural topology $\mathfrak{T}$ on $F$. For fixed $X$ and $Y$ one obtains different spaces of mappings, depending on which mappings $X \rightarrow Y$ are included in $F$ and what natural topology $F$ is endowed with. The choice of $F$ is related to the presence of additional structures on $X$ and $Y$ and to particularities of the situation considered. Thus, for $F$ one can take: the set $Y^X$ of all mappings $X \rightarrow Y$, the set $C(X,Y)$ of all continuous mappings from a topological space $X$ to $Y$, the set of all continuous linear mappings from a [[topological vector space]] $X$ into a topological vector space $Y$, the set of all continuous homomorphisms from a [[topological group]] $X$ into a topological group $Y$, the set of all smooth mappings from an interval into the straight line, etc.

The importance of considering spaces of mappings is to a certain extent related to the fact that mappings are the most general method of comparing mathematical objects.

Natural topologies (on $F$) are usually determined in the following way. A family $S$ of subsets of $X$ is fixed, and a [[pre-base]] for a topology $\mathfrak{T}$ on $F$ is formed by sets of the form
$$
V(A,U) = \{ f \in F : f[A] \subseteq U \}
$$
where $A \in S$ and $U$ is an open set in $Y$. If $S$ is the family of finite (or singleton) subsets of $X$, then $\mathfrak{T}$ is called the [[Pointwise convergence, topology of|topology of pointwise convergence]] on $F$. If $S$ consists of all compact subsets of the topological space $X$, then $\mathfrak{T}$ is called the [[compact-open topology]]. If $X \in S$, then $\mathfrak{T}$ is called the topology of uniform convergence (on $X$). Moreover, every topology $\mathfrak{T}$ on $F$ obtained by this scheme is called the topology of uniform convergence on elements of $S$.

Depending on the branch of mathematics, some spaces of mappings turn out to be especially important. Among the central objects in functional analysis one counts the Banach spaces of continuous functions on compacta in the norm topology, i.e. the topology of uniform convergence, and in the weak topology, which can be described in terms of pointwise convergence. In homotopy theory an important role is played by the path space of a topological space, i.e. the space of continuous mappings from a closed interval into this topological space. Homotopy of one mapping into another is represented by a path in the space of mappings. The space of mappings from a sphere into a sphere arises in the definition of homotopy and cohomotopy groups.

The compact-open topology on the set of mappings of one $k$-space into another turns out to be especially natural. An advantage of the topology of uniform convergence (on the entire space) is its [[Metrizable space|metrizability]]. This topology is the strongest in a large class of natural topologies on a space of mappings. However, the topology of pointwise convergence too has its advantages — as the weakest in this class of topologies. First, this topology best reflects the compactness, and compactness is one of the most useful properties of a set of functions. Secondly, there is the fundamental result of J. Nagata that puts the study of arbitrary [[Tikhonov space]]s in direct relation to the study of [[topological ring]]s. More precisely, two Tikhonov spaces $X,Y$ are homeomorphic if and only if the topological rings $C_p(X)$ and $C_p(Y)$ of continuous real-valued functions on $X$ and $Y$, respectively, with the topology of pointwise convergence are topologically isomorphic.

The consideration of topological properties of spaces of mappings is useful in proving theorems on the existence of mappings with some property. The completeness of the metric space of continuous real-valued functions on a compactum is used, via the contraction-mapping principle, in the proof of the fundamental theorem on the existence of a solution to a differential equation under certain assumptions. A consequence of the completeness of a metric space of functions is the [[Baire property]]. Using it one can prove, e.g., the existence of a continuous nowhere-differentiable function on an interval. The Baire property of spaces of functions plays a central role in the proof of the theorem on [[general position]], in the proof of the well-known theorem on the imbeddability of each $n$-dimensional compactum with a countable base into $(2n+1)$>-dimensional Euclidean space, etc.

The influence of spaces of real-valued functions on general topology becomes clear in the following problem, of a general character: In what way are the properties of two spaces $X$ and $Y$ related if the spaces of continuous real-valued functions on them (in the topology of pointwise convergence, in the compact-open topology) are homeomorphic (linearly homeomorphic). It is known, e.g., that linear homeomorphisms preserve compactness and dimension.

The fact that duality between properties of a topological space and topological properties of the space of functions on them with the topology of pointwise convergence is inherited is of special significance. As an example of a useful result in this respect one can invoke the following theorem: Any finite power of a space is [[Lindelöf space|Lindelöf]] if and only if the space of functions on it has countable [[Cardinal characteristic|tightness]]. This result is used, in particular, in the study of the structure of [[Eberlein compactum|Eberlein compacta]] — compacta in Banach spaces, endowed with the weak topology.

====References====
<table>
<TR><TD valign="top">[1]</TD> <TD valign="top">  J.L. Kelley,   "General topology" , Springer  (1975)</TD></TR>
</table>



====Comments====
See also [[Normed space]]; [[Path space]]; [[Topology of compact convergence]]; [[Topology of uniform convergence]]; [[Weak topology]].

A fair amount of attention has been paid to the question of finding (large enough) categories of topological spaces which are Cartesian closed (cf. [[Closed category]]), i.e., roughly, such that $\text{Mor}(X,Y)$ is again a space of the same kind and such that a number of other nice properties hold.

This has led, among other things, to the class of $k$-spaces, or compactly-generated spaces, [[#References|[a7]]]. A space is a $k$-space, (the  "k"  stands for Kelley, the author of [[#References|[1]]]) if a set is closed if and only if its intersection with every compact subspace is closed. The $k$-spaces are precisely the quotients of locally compact spaces. For each topological space there exists a stronger topology that agrees with the original one on compact subspaces making that space a $k$-space, [[#References|[1]]].

The quest for categories of topological spaces with nice categorical properties, such as Cartesian closedness, has also led to other ways of capturing the idea of  "nearness"  (in analysis, geometry and elsewhere) and has contributed to the emergence of categorical topology and the theory of [[topological structures]], [[#References|[a5]]].

====References====
<table>
<TR><TD valign="top">[a1]</TD> <TD valign="top">  R. Engelking,   "General topology" , Heldermann  (1989)</TD></TR>
<TR><TD valign="top">[a2]</TD> <TD valign="top">  A.V. Arkhangel'skii,   "Topological function spaces" , Kluwer  (1991)  (Translated from Russian)</TD></TR>
<TR><TD valign="top">[a3]</TD> <TD valign="top">  L. Gillman,   M. Jerison,   "Rings of continuous functions" , v. Nostrand  (1960)</TD></TR>
<TR><TD valign="top">[a4]</TD> <TD valign="top">  R.A. McCoy,   I. Ntantu,   "Topological properties of spaces of continuous functions" , Springer  (1988)</TD></TR>
<TR><TD valign="top">[a5]</TD> <TD valign="top">  G. Preuss,   "Theory of topological structures" , Kluwer  (1988)</TD></TR>
<TR><TD valign="top">[a6]</TD> <TD valign="top">  K. Kunen (ed.)  J.E. Vaughan (ed.) , ''Handbook of set-theoretic topology'' , North-Holland  (1984)  pp. 136, 144</TD></TR>
<TR><TD valign="top">[a7]</TD> <TD valign="top">  S. MacLane,   "Categories for the working mathematician" , Springer  (1979)  pp. Chapt. VII, §8</TD></TR>
</table>

{{TEX|done}}