nLab linear mapping spaces




This page is part of the collections of pages relating to the differential topology of mapping spaces. Here, we consider the linear situation. That is, we consider mapping spaces of the form C (N,E)C^\infty(N, E) where NN is a sequentially compact Frölicher space and EE is a convenient vector space. The reason for studying these is that such spaces are the model spaces for the more general mapping spaces.

The properties that we need to prove for these spaces are, essentially, inheritance properties. These are:

  1. C (N,E)C^\infty(N,E) is a convenient vector space.
  2. If UEU \subseteq E is a 00-neighbourhood then C (N,U)C^\infty(N,U) is a 00-neighbourhood.
  3. If ϕ:UV\phi \colon U \to V is a diffeomorphism of open subsets of EE then C (N,ϕ)C^\infty(N,\phi) is a diffeomorphism C (N,U)C (N,V)C^\infty(N,U) \to C^\infty(N,V).

These properties are what is needed to propogate the manifold structure of the target to the mapping space.

Smooth Structure

Let EE be a convenient vector space and let NN be a Frölicher space whose curvaceous topology is sequentially compact. As a convenient vector space is a special Frölicher space, and the category of Frölicher spaces is cartesian closed, the mapping space C (N,E)C^\infty(N,E) is again a Frölicher space and is characterised by the fact that smooth maps XC (N,E)X \to C^\infty(N,E) correspond to smooth maps X×NEX \times N \to E in the obvious way. In particular, the smooth curves in C (N,E)C^\infty(N,E) correspond to the smooth maps ×NE\mathbb{R} \times N \to E.

Linear Structure

The space C (N,E)C^\infty(N,E) is a Frölicher space and a vector space. We want to know that these two structures are compatible. What we want to be able to say is that C (N,E)C^\infty(N,E) is a convenient vector space. To do this, we need to find a locally convex structure on C (N,E)C^\infty(N,E) which is locally complete and such that the corresponding smooth structure has smooth curves given as above.

Before looking for a suitable locally convex structure, it is worth making two remarks:

  1. It is possible that the curvaceous topology is not locally convex; this is not a problem except in that it means we must devise a possibly new topology.
  2. There may be several different topologies that all give the same smooth structure; indeed, the smooth structure only depends on the bornology of the lctvs.

Although the first point seems to say that there is not a natural topology to check, in fact if there is a suitable locally convex topology on C (N,E)C^\infty(N,E) then its bornologification will be the same as the topology achieved by starting with the curvaceous topology and forcing it to be locally convex. However, to do this we would need a complete and accessible description of the curvaceous topology on C (N,E)C^\infty(N,E) and this is more than we need elsewhere. Instead, we shall look for the weakest suitable topology. For this, we use the fact that if we take a lctvs, say FF, and replace the topology with the weak topology, let us write this as wFw F, then FF and wFw F have the same bounded sets and thus the same bornologification and the same smooth structures.

Thus we are searching for a suitable family of linear functions C (N,E)C^\infty(N,E) \to \mathbb{R}. From the characterisation of convenient vector spaces, we want this family to satisfy the condition:

If c:C (N,E)c \colon \mathbb{R} \to C^\infty(N,E) is a curve such that lc:l \circ c \colon \mathbb{R} \to \mathbb{R} is smooth for all ll in our family, then cC (,C (N,E))c \in C^\infty(\mathbb{R}, C^\infty(N,E)).

This leads us to the definition of the family.


We define a smooth functional on C (N,E)C^\infty(N,E) to be a linear functional C (N,E)C^\infty(N,E) \to \mathbb{R} constructed in the following way. We start with ϕE *\phi \in E^* and αC (,N)\alpha \in C^\infty(\mathbb{R},N). These define a linear function C (N,E)C (,)C^\infty(N,E) \to C^\infty(\mathbb{R},\mathbb{R}) by composition: gϕgαg \mapsto \phi \circ g \circ \alpha. Then we add in ψC (,) *\psi \in C^\infty(\mathbb{R},\mathbb{R})^* to get a linear functional on C (N,E)C^\infty(N,E) defined by

gψ(ϕgα). g \mapsto \psi(\phi \circ g \circ \alpha).

We define the smooth dual of C (N,E)C^\infty(N,E) to be the vector space generated by the smooth functionals. We write this dual as C (N,E) *C^\infty(N,E)^{*\infty}.

We define the weak smooth topology on C (N,E)C^\infty(N,E) to be the weakest topology such that all linear functionals in C (N,E) *,C^\infty(N,E)^{*,\infty} are continuous.

An immediate consequence of the construction is the following result.


For ϕE *\phi \in E^* and αC (,N)\alpha \in C^\infty(\mathbb{R},N), the map gϕgαg \mapsto \phi \circ g \circ \alpha is a bounded linear map from C (,N)C^\infty(\mathbb{R},N) to C (,)C^\infty(\mathbb{R},\mathbb{R}).

Note that we say bounded and not continuous. It would be continuous if we put the weak topology on C (,)C^\infty(\mathbb{R},\mathbb{R}) or if we took the bornologification of C (,N)C^\infty(\mathbb{R},N). Neither of these is necessary for what we want to do, though.


With the weak smooth topology, C (N,E)C^\infty(N,E) is a convenient vector space. Its associated Frölicher space is C (N,E)C^\infty(N,E).

We have to be careful here with where things are happening. In categorical language, we have constructed a functor from the some subcategory of Frölicher spaces to that of locally convex topological vector spaces. There is a functor in the opposite direction which takes a locally convex topological vector space and defines a family of smooth curves using differentiability. We wish to show that going back and forth takes us back to where we began.

To avoid confusion, we shall use the nomenclature C C^\infty for a function that is infinitely differentiable and “smooth” for the property of taking smooth curves to smooth curves. For functions n\mathbb{R}^n \to \mathbb{R}, C C^\infty and “smooth” mean the same thing by Boman's theorem.


We consider a curve c:C (N,E)c \colon \mathbb{R} \to C^\infty(N,E). This curve defines a map cˇ:×NE\check{c} \colon \mathbb{R} \times N \to E by cˇ(r,x)=c(r)(x)\check{c}(r,x) = c(r)(x). We recall that by the exponential law for Frölicher spaces, cc is smooth if and only if cˇ\check{c} is smooth.
Let us start by assuming that cc is C C^\infty. Then for ϕE *\phi \in E^* and αC (,N)\alpha \in C^\infty(\mathbb{R},N), the map gϕgαg \mapsto \phi \circ g \circ \alpha is a bounded linear function from C (N,E)C^\infty(N,E) to C (,)C^\infty(\mathbb{R},\mathbb{R}) and so takes C C^\infty-curves to C C^\infty-curves. Hence the curve

s(ϕc(s)α) s \mapsto (\phi \circ c(s) \circ \alpha)

is a C C^\infty-map C (,)\mathbb{R} \to C^\infty(\mathbb{R},\mathbb{R}).

By the exponential law for convenient vector spaces, this means that the map (s,t)(ϕc(s)α)(t)(s,t) \mapsto (\phi \circ c(s) \circ \alpha)(t) is a C C^\infty-map, 2\mathbb{R}^2 \to \mathbb{R}. We can rewrite that in terms of cˇ\check{c} as (s,t)ϕ(cˇ(s,α(t)))(s,t) \mapsto \phi(\check{c}(s,\alpha(t))).

Now let a:×Na \colon \mathbb{R} \to \mathbb{R} \times N be a smooth curve. By characterisation of the product, a=(a ,a N)a = (a_{\mathbb{R}}, a_N) where a C (,)a_{\mathbb{R}} \in C^\infty(\mathbb{R},\mathbb{R}) and a NC (,N)a_N \in C^\infty(\mathbb{R},N). Putting α=a N\alpha = a_N, we see that the map r(ϕcˇa)(r)r \mapsto (\phi \circ \check{c} \circ a)(r) is C C^\infty because it is rϕ(cˇ(a (r),a N(r)))r \mapsto \phi(\check{c}(a_{\mathbb{R}}(r), a_N(r))).

As EE is a convenient vector space, and this holds for all ϕE *\phi \in E^*, we conclude that the map cˇa\check{c} \circ a is a smooth curve in EE. As this holds for all aC (×N)a \in C^\infty(\mathbb{R} \times N), cˇ:×NE\check{c} \colon \mathbb{R} \times N \to E is smooth. Thus cc is a smooth map C (N,E)\mathbb{R} \to C^\infty(N,E).

Now let us assume that cc is smooth. Then the associated function cˇ:×NE\check{c} \colon \mathbb{R} \times N \to E is smooth. We can switch the order to define a function c^:NC (,E)\hat{c} \colon N \to C^\infty(\mathbb{R},E), where c^(x)(t)=cˇ(t,x)=c(t)(x)\hat{c}(x)(t) = \check{c}(t,x) = c(t)(x). This is again smooth. As EE is a convenient vector space, the differentiation operator, C (,E)C (,E)C^\infty(\mathbb{R},E) \to C^\infty(\mathbb{R},E) is smooth. Thus there is a smooth map b^:NC (,E)\hat{b} \colon N \to C^\infty(\mathbb{R},E) such that for each xNx \in N, c^(x)=b^(x)\hat{c}(x)' = \hat{b}(x) (note the order). Now we transfer b^\hat{b} to a smooth map b:C (N,E)b \colon \mathbb{R} \to C^\infty(N,E). It then follows that c=bc' = b. This shows that cc is C C^\infty.

To show that C (N,E)C^\infty(N,E) is convenient, we use almost the same argument as in the previous paragraph except that instead of differentiating c^\hat{c} we integrate it (from some fixed point). This produces a curve, say a:C (N,E)a \colon \mathbb{R} \to C^\infty(N,E) such that a=ca' = c and hence shows that C (N,E)C^\infty(N,E) is convenient.

Although we have introduced the weak smooth topology to show that C (N,E)C^\infty(N,E) is a convenient, we shall not be very interested in it in the following. In the linear situation, we prefer to work with the bornologification of this topology. In the smooth situation, we work with the curvaceous topology. Note that the bornological topology is the finest locally convex topology that is weaker than the curvaceous topology.

Open Sets

The key property on the source is that it be sequentially compact (with the curvaceous topology). The reason for this is to do with relating open sets in the target to open sets in the mapping space.


Let N=(N,C N,F N)N = (N, C_N, F_N) be a Frölicher space whose curvaceous topology is sequentially compact. Let EE be a convenient vector space. Let UU be a 00-neighbourhood in EE in the c c^\infty-topology. Then the set

C (N,U){f:NE:f(N)U} C^\infty(N,U) \coloneqq \{f \colon N \to E : f(N) \subseteq U\}

is a 00-neighbourhood of C (N,E)C^\infty(N,E) in the c c^\infty-topology.


The Frölicher space structure on C (N,E)C^\infty(N,E) is such that smooth maps XC (N,E)X \to C^\infty(N,E) correspond to smooth maps X×NEX \times N \to E. Therefore, a smooth curve c:C (N,E)c \colon \mathbb{R} \to C^\infty(N,E) corresponds to a smooth map c^:×NE\hat{c} \colon \mathbb{R} \times N \to E.

The c c^\infty-topology is the curvaceous topology. In this topology, a set is open if its preimage under all smooth curves is open. So to determine whether or not C (N,U)C^\infty(N,U) is a 00-neighbourhood, we need to examine c 1(C (N,U))c^{-1}(C^\infty(N,U)). This is the set

{t:c(t)(N)U}={t:c^(t,x)UxN} \{t \in \mathbb{R} : c(t)(N) \subseteq U\} = \{t \in \mathbb{R} : \hat{c}(t,x) \in U \forall x \in N\}

Now c^:×NE\hat{c} \colon \mathbb{R} \times N \to E is smooth and so c^ 1(U)\hat{c}^{-1}(U) is open in ×N\mathbb{R} \times N. The relationship between c^ 1(U)\hat{c}^{-1}(U) and c 1(C (N,U))c^{-1}(C^\infty(N,U)) is that tc 1(C (N,U))t \in c^{-1}(C^\infty(N,U)) if and only if {t}×Nc^ 1(U)\{t\} \times N \subseteq \hat{c}^{-1}(U).

Now we apply the sequential compactness of NN to deduce that as c^ 1(U)\hat{c}^{-1}(U) is open, it contains a subset of the form (ϵ,ϵ)×N(-\epsilon,\epsilon) \times N for some ϵ>0\epsilon \gt 0. Then (ϵ,ϵ)c 1(C (N,U))(-\epsilon,\epsilon) \subseteq c^{-1}(C^\infty(N,U)) and so c 1(C (N,U))c^{-1}(C^\infty(N,U)) is a neighbourhood of 00.

Thus as cc was a generic smooth curve, C (N,U)C^\infty(N,U) is a 00-neighbourhood in C (N,E)C^\infty(N,E).

This result can fail if NN is not sequentially compact, as shown by the simplest example: N=E=N = E = \mathbb{R}. For this example, the topologies involved are all the “standard” ones. In particular, the 00-neighbourhoods in C (,)C^\infty(\mathbb{R},\mathbb{R}) are defined by uniform convergence on compact subsets of \mathbb{R}. Hence the set {f::lvertf(t)rvert<1}\{f \colon \mathbb{R} \to \mathbb{R} : \lvert f(t)\rvert \lt 1\} is not a 00-neighbourhood.


The last thing that we wish to note is that diffeomorphisms in EE extend to diffeomorphisms in C (N,E)C^\infty(N,E). That is, for U,VEU, V \subseteq E open subsets (in the c c^\infty-topology) and a diffeomorphism ϕ:UV\phi \colon U \to V, we want to show that the induced map C (N,U)C (N,V)C^\infty(N, U) \to C^\infty(N,V) is a diffeomorphism. This follows from the functorality of the C (N,)C^\infty(N,-)-construction.

Last revised on June 3, 2011 at 08:32:09. See the history of this page for a list of all contributions to it.