In mathematics, nuclear spaces are topological vector spaces that can be viewed as a generalization of finite-dimensional Euclidean spaces and share many of their desirable properties. Nuclear spaces are however quite different from Hilbert spaces, another generalization of finite-dimensional Euclidean spaces. They were introduced by Alexander Grothendieck. The topology on nuclear spaces can be defined by a family of seminorms whose unit balls decrease rapidly in size. Vector spaces whose elements are "smooth" in some sense tend to be nuclear spaces; a typical example of a nuclear space is the set of smooth functions on a compact manifold. All finite-dimensional vector spaces are nuclear. There are no Banach spaces that are nuclear, except for the finite-dimensional ones. In practice a sort of converse to this is often true: if a "naturally occurring" topological vector space is not a Banach space, then there is a good chance that it is nuclear.
Original motivation: The Schwartz kernel theorem
Much of the theory of nuclear spaces was developed by Alexander Grothendieck while investigating the Schwartz kernel theorem and published in (Grothendieck 1955). We now describe this motivation. For any open subsets Ω 1 ⊆ R m {\displaystyle \Omega _{1}\subseteq \mathbb {R} ^{m}} and Ω 2 ⊆ R n , {\displaystyle \Omega _{2}\subseteq \mathbb {R} ^{n},} the canonical map D ′ ( Ω 1 × Ω 2 ) → L b ( C c ∞ ( Ω 2 ) ; D ′ ( Ω 1 ) ) {\displaystyle {\mathcal {D}}^{\prime }\left(\Omega _{1}\times \Omega _{2}\right)\to L_{b}\left(C_{c}^{\infty }\left(\Omega _{2}\right);{\mathcal {D}}^{\prime }\left(\Omega _{1}\right)\right)} is an isomorphism of TVSs (where L b ( C c ∞ ( Ω 2 ) ; D ′ ( Ω 1 ) ) {\displaystyle L_{b}\left(C_{c}^{\infty }\left(\Omega _{2}\right);{\mathcal {D}}^{\prime }\left(\Omega _{1}\right)\right)} has the topology of uniform convergence on bounded subsets) and furthermore, both of these spaces are canonically TVS-isomorphic to D ′ ( Ω 1 ) ⊗ ^ D ′ ( Ω 2 ) {\displaystyle {\mathcal {D}}^{\prime }\left(\Omega _{1}\right)\mathbin {\widehat {\otimes }} {\mathcal {D}}^{\prime }\left(\Omega _{2}\right)} (where since D ′ ( Ω 1 ) {\displaystyle {\mathcal {D}}^{\prime }\left(\Omega _{1}\right)} is nuclear, this tensor product is simultaneously the injective tensor product and projective tensor product). In short, the Schwartz kernel theorem states that:
… excerpt ends here. Continue reading the full article.
