Exponential laws for spaces of differentiable functions on topological groups

Abstract

Smooth functions $f:G\to E$ from a topological group $G$ to a locally convex space $E$ were considered by Riss (1953), Boseck, Czichowski and Rudolph (1981), Beltiţă and Nicolae (2015), and others, in varying degrees of generality. The space $C^{\infty }(G,E)$ of such functions carries a natural topology, the compact-open $C^{\infty }$-topology. For topological groups $G$ and $H$, we show that $C^{\infty }(G\times H,E)\cong C^{\infty }(G,C^{\infty }(H,E))$ as a locally convex space, whenever both $G$ and $H$ are metrizable or both $G$ and $H$ are locally compact. Likewise, $C^k(G,C^l(H,E))$ can be identified with a suitable space of functions on $G\times H$.

26 pages

References in corpus (2)

• Lie group structures on groups of smooth and holomorphic maps on non-compact manifolds
• Exponential laws for ultrametric partially differentiable functions and applications

Cited by in corpus (1)

• Products of locally compact spaces are k_R-spaces