View source for Nuclear space

{{Short description|A generalization of finite-dimensional Euclidean spaces different from Hilbert spaces}}
In [[mathematics]], '''nuclear spaces''' are [[topological vector space]]s that can be viewed as a generalization of finite-dimensional [[Euclidean space]]s 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 [[seminorm]]s whose [[Unit sphere#Unit balls in normed vector spaces|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 function]]s on a [[compact manifold]]. All finite-dimensional vector spaces are nuclear. There are no [[Banach space]]s 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 {{em|not}} a Banach space, then there is a good chance that it is nuclear.

== Original motivation: The Schwartz kernel theorem ==

{{See also|Distribution (mathematics)#Topology on the space of distributions|Schwartz kernel theorem}}
Much of the theory of nuclear spaces was developed by [[Alexander Grothendieck]] while investigating the [[Schwartz kernel theorem]] and published in {{harv|Grothendieck|1955}}. We now describe this motivation.

For any open subsets <math>\Omega_1 \subseteq \R^m</math> and <math>\Omega_2 \subseteq \R^n,</math> the canonical map <math>\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)</math> is an isomorphism of TVSs (where <math>L_b\left(C_c^\infty\left(\Omega_2\right); \mathcal{D}^{\prime}\left(\Omega_1\right)\right)</math> has the [[Topology of uniform convergence|topology of uniform convergence on bounded subsets]]) and furthermore, both of these spaces are canonically TVS-isomorphic to <math>\mathcal{D}^{\prime}\left(\Omega_1\right) \mathbin{\widehat{\otimes}} \mathcal{D}^{\prime}\left(\Omega_2\right)</math> (where since <math>\mathcal{D}^{\prime}\left(\Omega_1\right)</math> is nuclear, this tensor product is simultaneously the [[injective tensor product]] and [[projective tensor product]]).{{sfn|Trèves|2006|p=531}} 
In short, the Schwartz kernel theorem states that:
<math display="block">\mathcal{D}^{\prime}\left(\Omega_1 \times \Omega_2\right) 
\cong \mathcal{D}^{\prime}\left(\Omega_1\right) \mathbin{\widehat{\otimes}} \mathcal{D}^{\prime}\left(\Omega_2\right) 
\cong L_b\left( C_c^{\infty}\left(\Omega_2\right); \mathcal{D}^{\prime}\left(\Omega_1\right)\right)</math>
where all of these [[TVS-isomorphism]]s are canonical.

This result is false if one replaces the space <math>C_c^\infty</math> with <math>L^2</math> (which is a [[reflexive space]] that is even isomorphic to its own strong dual space) and replaces <math>\mathcal{D}^{\prime}</math> with the dual of this <math>L^2</math> space.{{sfn|Trèves|2006|pp=509-510}} 
Why does such a nice result hold for the space of distributions and test functions but not for the [[Hilbert space]] <math>L^2</math> (which is generally considered one of the "nicest" TVSs)? 
This question led Grothendieck to discover nuclear spaces, [[nuclear map]]s, and the [[injective tensor product]].

=== Motivations from geometry ===

Another set of motivating examples comes directly from geometry and smooth manifold theory<ref>{{Cite book|last=Costello |first= Kevin |url=https://www.worldcat.org/oclc/692084741|title=Renormalization and effective field theory|date=2011|publisher=American Mathematical Society|isbn=978-0-8218-5288-0|location=Providence, R.I.|oclc=692084741}}</ref><sup>appendix 2</sup>. Given smooth manifolds <math>M,N</math> and a locally convex Hausdorff topological vector space, then there are the following isomorphisms of nuclear spaces

* <math>C^\infty(M) \otimes C^\infty(N) \cong C^\infty(M \times N)</math>
* <math>C^\infty(M) \otimes F \cong \{ f : M \to F : f \text{ is smooth } \}</math>

== Definition ==

This section lists some of the more common definitions of a nuclear space. The definitions below are all equivalent. Note that some authors use a more restrictive definition of a nuclear space, by adding the condition that the space should also be a [[Fréchet space]]. (This means that the space is complete and the topology is given by a {{em|countable}} family of seminorms.)

The following definition was used by Grothendieck to define nuclear spaces.{{sfn|Schaefer|Wolff|1999|p=170}}

'''Definition 0''': Let <math>X</math> be a locally convex topological vector space. Then <math>X</math> is nuclear if for every locally convex space <math>Y,</math> the canonical vector space embedding <math>X \otimes_\pi Y \to \mathcal{B}_\varepsilon\left(X^{\prime}_\sigma, Y^{\prime}_\sigma \right)</math> is an embedding of TVSs whose image is dense in the codomain (where the domain <math>X \otimes_\pi Y</math> is the [[projective tensor product]] and the codomain is the space of all separately continuous bilinear forms on <math>X^{\prime}_\sigma \times Y^{\prime}_\sigma</math> endowed with the [[Injective tensor product|topology of uniform convergence on equicontinuous subsets]]).

We start by recalling some background. A [[locally convex topological vector space]] <math>X</math> has a topology that is defined by some family of [[seminorm]]s. For every seminorm, the unit ball is a closed convex symmetric neighborhood of the origin, and conversely every closed convex symmetric neighborhood of 0 is the unit ball of some seminorm. (For complex vector spaces, the condition "symmetric" should be replaced by "[[Balanced set|balanced]]".) 
If <math>p</math> is a seminorm on  <math>X,</math> then <math>X_p</math> denotes the [[Banach space]] given by [[Complete topological vector space|completing]] the [[auxiliary normed space]] using the seminorm <math>p.</math> There is a natural map <math>X \to X_p</math> (not necessarily injective).

If <math>q</math> is another seminorm, larger than <math>p</math> (pointwise as a function on <math>X</math>), then there is a natural map from <math>X_q</math> to <math>X_p</math> such that the first map factors as <math>X \to X_q \to X_p.</math> These maps are always continuous. The space <math>X</math> is nuclear when a stronger condition holds, namely that these maps are [[Nuclear operator#On Banach spaces|nuclear operators]]. The condition of being a nuclear operator is subtle, and more details are available in the corresponding article.

'''Definition 1''': A '''nuclear space''' is a locally convex topological vector space such that for every seminorm <math>p</math> we can find a larger seminorm <math>q</math> so that the natural map <math>X_q \to X_p</math> is [[nuclear operator|nuclear]].

Informally, this means that whenever we are given the unit ball of some seminorm, we can find a "much smaller" unit ball of another seminorm inside it, or that every neighborhood of 0 contains a "much smaller" neighborhood. It is not necessary to check this condition for all seminorms  <math>p</math>; it is sufficient to check it for a set of seminorms that generate the topology, in other words, a set of seminorms that are a [[subbase]] for the topology.

Instead of using arbitrary Banach spaces and nuclear operators, we can give a definition in terms of [[Hilbert space]]s and [[trace class]] operators, which are easier to understand. 
(On Hilbert spaces nuclear operators are often called trace class operators.)
We will say that a seminorm <math>p</math> is a '''Hilbert seminorm''' if <math>X_p</math> is a Hilbert space, or equivalently if <math>p</math> comes from a sesquilinear positive semidefinite form on  <math>X.</math>

'''Definition 2''': A '''nuclear space''' is a topological vector space with a topology defined by a family of Hilbert seminorms, such that for every Hilbert seminorm <math>p</math> we can find a larger Hilbert seminorm <math>q</math> so that the natural map from <math>X_q</math> to <math>X_p</math> is [[trace class]].

Some authors prefer to use [[Hilbert–Schmidt operator]]s rather than trace class operators. This makes little difference, because every trace class operator is Hilbert–Schmidt, and the product of two Hilbert–Schmidt operators is of trace class.

'''Definition 3''': A '''nuclear space''' is a topological vector space with a topology defined by a family of Hilbert seminorms, such that for every Hilbert seminorm <math>p</math> we can find a larger Hilbert seminorm <math>q</math> so that the natural map from <math>X_q</math> to <math>X_p</math> is Hilbert–Schmidt.

If we are willing to use the concept of a nuclear operator from an arbitrary locally convex topological vector space to a Banach space, we can give shorter definitions as follows:

'''Definition 4''': A '''nuclear space''' is a locally convex topological vector space such that for every seminorm <math>p</math> the natural map from <math>X \to X_p</math> is [[nuclear operator|nuclear]].

'''Definition 5''': A '''nuclear space''' is a locally convex topological vector space such that every continuous linear map to a Banach space is nuclear.

Grothendieck used a definition similar to the following one:

'''Definition 6''': A '''nuclear space''' is a locally convex topological vector space <math>A</math> such that for every locally convex topological vector space <math>B</math> the natural map from the projective to the injective tensor product of <math>A</math> and <math>B</math> is an isomorphism.

In fact it is sufficient to check this just for Banach spaces <math>B,</math> or even just for the single Banach space <math>\ell^1</math> of absolutely convergent series.

== Characterizations ==

Let <math>X</math> be a Hausdorff locally convex space. Then the following are equivalent:
# <math>X</math> is nuclear; 
# for any locally convex space <math>Y,</math> the canonical vector space embedding <math>X \otimes_{\pi} Y \to \mathcal{B}_{\epsilon}\left( X^{\prime}_{\sigma}, Y^{\prime}_{\sigma} \right)</math> is an embedding of TVSs whose image is dense in the codomain; 
# for any [[Banach space]] <math>Y,</math> the canonical vector space embedding <math>X \widehat{\otimes}_{\pi} Y \to X \widehat{\otimes}_{\epsilon} Y</math> is a surjective isomorphism of TVSs;{{sfn|Trèves|2006|p=511}} 
# for any locally convex Hausdorff space <math>Y,</math> the canonical vector space embedding <math>X \widehat{\otimes}_{\pi} Y \to X \widehat{\otimes}_{\epsilon} Y</math> is a surjective isomorphism of TVSs;{{sfn|Trèves|2006|p=511}} 
# the canonical embedding of <math>\ell^1[\N, X]</math> in <math>\ell^1(\N, X)</math> is a surjective isomorphism of TVSs;{{sfn|Schaefer|Wolff|1999|p=184}} 
# the canonical map of <math>\ell^1 \widehat{\otimes}_{\pi} X \to \ell^1 \widehat{\otimes}_{\epsilon} X</math> is a surjective TVS-isomorphism.{{sfn|Schaefer|Wolff|1999|p=184}} 
# for any seminorm <math>p</math> we can find a larger seminorm <math>q</math> so that the natural map <math>X_q \to X_p</math> is [[nuclear operator|nuclear]]; 
# for any seminorm <math>p</math> we can find a larger seminorm <math>q</math> so that the canonical injection <math>X^{\prime}_p \to X^{\prime}_q</math> is nuclear;{{sfn|Trèves|2006|p=511}} 
# the topology of <math>X</math> is defined by a family of Hilbert seminorms, such that for any Hilbert seminorm <math>p</math> we can find a larger Hilbert seminorm <math>q</math> so that the natural map <math>X_q \to X_p</math> is [[trace class]]; 
# <math>X</math> has a topology defined by a family of Hilbert seminorms, such that for any Hilbert seminorm <math>p</math> we can find a larger Hilbert seminorm <math>q</math> so that the natural map <math>X_q \to X_p</math> is Hilbert–Schmidt; 
# for any seminorm <math>p</math> the natural map from <math>X \to X_p</math> is [[Nuclear operator|nuclear]]. 
# any continuous linear map to a Banach space is nuclear; 
# every continuous seminorm on <math>X</math> is prenuclear;{{sfn|Schaefer|Wolff|1999|p=178}} 
# every [[equicontinuous]] subset of <math>X^{\prime}</math> is prenuclear;{{sfn|Schaefer|Wolff|1999|p=178}} 
# every linear map from a Banach space into <math>X^{\prime}</math> that transforms the unit ball into an equicontinuous set, is nuclear;{{sfn|Trèves|2006|p=511}} 
# the completion of <math>X</math> is a nuclear space;

If <math>X</math> is a [[Fréchet space]] then the following are equivalent:
# <math>X</math> is nuclear; 
# every summable sequence in <math>X</math> is absolutely summable;{{sfn|Schaefer|Wolff|1999|p=184}}
# the strong dual of <math>X</math> is nuclear;

== Sufficient conditions ==

* A locally convex Hausdorff space is nuclear if and only if its completion is nuclear.
* Every subspace of a nuclear space is nuclear.{{sfn|Schaefer|Wolff|1999|p=103}} 
* Every Hausdorff quotient space of a nuclear space is nuclear.{{sfn|Schaefer|Wolff|1999|p=103}} 
* The inductive limit of a countable sequence of nuclear spaces is nuclear.{{sfn|Schaefer|Wolff|1999|p=103}} 
* The locally convex direct sum of a countable sequence of nuclear spaces is nuclear.{{sfn|Schaefer|Wolff|1999|p=103}} 
* The strong dual of a nuclear Fréchet space is nuclear.{{sfn|Schaefer|Wolff|1999|p=172}}
** In general, the strong dual of a nuclear space may fail to be nuclear.{{sfn|Schaefer|Wolff|1999|p=172}}
* A Fréchet space whose strong dual is nuclear is itself nuclear.{{sfn|Schaefer|Wolff|1999|p=172}}
* The limit of a family of nuclear spaces is nuclear.{{sfn|Schaefer|Wolff|1999|p=103}} 
* The product of a family of nuclear spaces is nuclear.{{sfn|Schaefer|Wolff|1999|p=103}} 
* The completion of a nuclear space is nuclear (and in fact a space is nuclear if and only if its completion is nuclear).
* The [[topological tensor product|tensor product]] of two nuclear spaces is nuclear.
* The [[projective tensor product]], as well as its completion, of two nuclear spaces is nuclear.{{sfn|Schaefer|Wolff|1999|p=105}}

Suppose that <math>X, Y,</math> and <math>N</math> are locally convex space with <math>N</math> is nuclear. 
* If <math>N</math> is nuclear then the vector space of continuous linear maps <math>L_{\sigma}(X, N)</math> endowed with the topology of simple convergence is a nuclear space.{{sfn|Schaefer|Wolff|1999|p=172}}
* If <math>X</math> is a [[semi-reflexive]] space whose strong dual is nuclear and if <math>N</math> is nuclear then the  vector space of continuous linear maps <math>L_b(X, N)</math> (endowed with the topology of uniform convergence on bounded subsets of <math>X</math> ) is a nuclear space.{{sfn|Schaefer|Wolff|1999|p=173}}

=== Examples ===

If <math>d</math> is a set of any cardinality, then <math>\R^d</math> and <math>\Complex^d</math> (with the [[product topology]]) are both nuclear spaces.{{sfn|Schaefer|Wolff|1999|p=100}}

A relatively simple infinite-dimensional example of a nuclear space is the space of all rapidly decreasing sequences <math>c = \left(c_1, c_2, \ldots \right).</math> ("Rapidly decreasing" means that <math>c_n p(n)</math> is bounded for any polynomial <math>p</math>). For each real number <math>s,</math> it is possible to define a norm <math>\|\,\cdot\,\|_s</math> by 
<math display="block">\|c\|_s = \sup_{} \left|c_n\right| n^s</math>
If the completion in this norm is <math>C_s,</math> then there is a natural map from <math>C_s \to C_t</math> whenever <math>s \geq t,</math> and this is nuclear whenever <math>s > t + 1</math> essentially because the series <math>\sum n^{t - s}</math> is then absolutely convergent. In particular for each norm <math>\|\,\cdot\,\|_t</math> this is possible to find another norm, say <math>\|\,\cdot\,\|_{t + 1},</math> such that the map <math>C_{t+2} \to C_t</math> is nuclear. So the space is nuclear.

* The space of smooth functions on any compact manifold is nuclear.
* The [[Schwartz space]] of smooth functions on <math>\R^n </math> for which the derivatives of all orders are rapidly decreasing is a nuclear space.
* The space of entire holomorphic functions on the complex plane is nuclear.
* The [[Distribution (mathematics)#Distributions|space of distributions]] <math>\mathcal{D}^{\prime},</math> the strong dual of <math>\mathcal{D},</math> is nuclear.{{sfn|Schaefer|Wolff|1999|p=173}}

== Properties ==

Nuclear spaces are in many ways similar to finite-dimensional spaces and have many of their good properties.

* Every finite-dimensional Hausdorff space is nuclear.
* A Fréchet space is nuclear if and only if its strong dual is nuclear.
* Every [[Bounded set (topological vector space)|bounded subset]] of a nuclear space is precompact (recall that a set is precompact if its closure in the completion of the space is compact).{{sfn|Schaefer|Wolff|1999|p=101}} This is analogous to the [[Heine-Borel theorem]]. In contrast, no infinite-dimensional normed space has this property (although the finite-dimensional spaces do). 
* If <math>X</math> is a [[quasi-complete]] (i.e. all closed and bounded subsets are complete) nuclear space then <math>X</math> has the [[Heine-Borel theorem#In the theory of topological vector spaces|Heine-Borel property]].{{sfn|Trèves|2006|p=520}}
* A nuclear [[quasi-complete]] [[barrelled space]] is a [[Montel space]].
* Every closed equicontinuous subset of the dual of a nuclear space is a compact metrizable set (for the strong dual topology).
* Every nuclear space is a subspace of a product of Hilbert spaces.
* Every nuclear space admits a basis of seminorms consisting of Hilbert norms.
* Every nuclear space is a Schwartz space.
* Every nuclear space possesses the approximation property.{{sfn|Schaefer|Wolff|1999|p=110}}
* Any subspace and any quotient space by a closed subspace of a nuclear space is nuclear.
* If <math>A</math> is nuclear and <math>B</math> is any locally convex topological vector space, then the natural map from the projective tensor product of ''A'' and <math>B</math> to the injective tensor product is an isomorphism. Roughly speaking this means that there is only one sensible way to define the tensor product. This property characterizes nuclear spaces <math>A.</math>
* In the theory of measures on topological vector spaces, a basic theorem states that any continuous [[cylinder set measure]] on the dual of a nuclear Fréchet space automatically extends to a [[Radon measure]]. This is useful because it is often easy to construct cylinder set measures on topological vector spaces, but these are not good enough for most applications unless they are Radon measures (for example, they are not even countably additive in general).

=== The kernel theorem ===
Much of the theory of nuclear spaces was developed by [[Alexander Grothendieck]] while investigating the [[Schwartz kernel theorem]] and published in {{harv|Grothendieck|1955}}. We have the following generalization of the theorem.

'''Schwartz kernel theorem''':{{sfn|Schaefer|Wolff|1999|p=172}} Suppose that <math>X</math> is nuclear, <math>Y</math> is locally convex, and <math>v</math> is a continuous bilinear form on <math>X \times Y.</math> Then <math>v</math> originates from a space of the form <math>X^{\prime}_{A^{\prime}} \widehat{\otimes}_{\epsilon} Y^{\prime}_{B^{\prime}}</math> where <math>A^{\prime}</math> and <math>B^{\prime}</math> are suitable equicontinuous subsets of <math>X^{\prime}</math> and <math>Y^{\prime}.</math> Equivalently, <math>v</math> is of the form, 
<math display="block">v(x, y) = \sum_{i=1}^{\infty} \lambda_i \left\langle x, x_i^{\prime} \right\rangle \left\langle y, y_i^{\prime} \right\rangle \quad \text{ for all } (x, y) \in X \times Y</math>
where <math>\left(\lambda_i\right) \in \ell^1</math> and each of <math>\left\{ x^{\prime}_1, x^{\prime}_2, \ldots \right\}</math> and <math>\left\{ y^{\prime}_1, y^{\prime}_2, \ldots \right\}</math> are equicontinuous. Furthermore, these sequences can be taken to be null sequences (that is, convergent to 0) in <math>X^{\prime}_{A^{\prime}}</math> and <math>Y^{\prime}_{B^{\prime}},</math> respectively.

== Bochner–Minlos theorem ==
{{see also|Bochner's theorem|Kernel embedding of distributions#Universal kernels}}
Any continuous [[positive-definite function]]al <math>C</math> on a nuclear space <math>A</math> is called a '''characteristic functional''' if <math>C(0) = 1,</math> and for any <math>z_j\in\mathbb{C},</math> <math>x_j \in A</math> and <math>j, k = 1, \ldots, n,</math>{{sfn | Holden | Øksendal | Ubøe | Zhang | 2009 | p=258}}{{sfn | Simon | 2005 | pp=10-11}} 
<math display="block">\sum_{j=1}^n \sum_{k=1}^n z_j \bar z_k C(x_j - x_k) \geq 0.</math>

Given a characteristic functional on a nuclear space <math>A,</math> the '''Bochner–Minlos theorem''' (after [[Salomon Bochner]] and [[Robert Adol'fovich Minlos]]) guarantees the existence and uniqueness of a corresponding [[probability measure]] <math>\mu</math> on the dual space <math>A^{\prime}</math> such that
<math display="block">C(y) = \int_{A^{\prime}} e^{i\langle x, y\rangle} \, d\mu(x),</math>

where <math>C(y)</math> is the [[Fourier_transform#Fourier–Stieltjes_transform_on_measurable_spaces|Fourier-Stieltjes transform]] of <math>\mu</math>, thereby extending the [[inverse Fourier transform]] to nuclear spaces.<ref>T. R. Johansen, ''[https://web.archive.org/web/20160304081333/http://www3.math.uni-paderborn.de/~johansen/seminars/minlos.pdf The Bochner-Minlos Theorem for nuclear spaces and an abstract white noise space]'', 2003.</ref>

In particular, if <math>A</math> is the nuclear space
<math display="block">A = \bigcap_{k=0}^\infty H_k,</math>
where <math>H_k</math> are Hilbert spaces, the Bochner–Minlos theorem guarantees the existence of a probability measure with the characteristic function <math>e^{-\frac{1}{2}\|y\|_{H_0}^2},</math> that is, the existence of the Gaussian measure on the [[dual space]]. Such measure is called '''[[white noise]] measure'''. When <math>A</math> is the Schwartz space, the corresponding [[random element]] is a [[random]] [[Distribution (mathematics)|distribution]].

== Strongly nuclear spaces ==

A '''strongly nuclear space''' is a locally convex topological vector space such that for any seminorm <math>p</math> there exists a larger seminorm <math>q</math> so that the natural map <math>X_q \to X_p</math> is a strongly [[nuclear operator|nuclear]].

== See also ==

* [[Auxiliary normed space]]
* [[Fredholm kernel]] – type of a kernel on a Banach space
* [[Injective tensor product]]
* [[Locally convex topological vector space]] – a vector space with a topology defined by convex open sets
* [[Nuclear operator]]
* [[Projective tensor product]] – a tensor product defined on two topological vector spaces
* [[Rigged Hilbert space]] – a construction linking the study of "bound" and continuous eigenvalues in functional analysis
* [[Trace class]] – the class of compact operators for which a finite trace can be defined
* [[Topological vector space]] – a vector space with a notion of nearness

== References ==
{{Reflist}}

==Bibliography==
* {{cite book|last=Becnel|first=Jeremy|title=Tools for Infinite Dimensional Analysis|publisher=CRC Press|location= |year=2021|isbn=978-0-367-54366-2|oclc= 1195816154 }}  
* {{Cite journal|last=Grothendieck|first= Alexandre|author-link=Grothendieck|title=Produits tensoriels topologiques et espaces nucléaires|year= 1955 |journal=Memoirs of the American Mathematical Society|volume=16 }}
* {{cite book|last=Diestel|first=Joe|title=The metric theory of tensor products : Grothendieck's résumé revisited|publisher=American Mathematical Society|location=Providence, R.I|year=2008|isbn=978-0-8218-4440-3|oclc=185095773 }} <!-- {{sfn|Diestel|2008|p=}} -->
* {{cite book|last=Dubinsky|first=Ed|title=The structure of nuclear Fréchet spaces|publisher=Springer-Verlag|location=Berlin New York|year=1979|isbn=3-540-09504-7|oclc=5126156 }} <!-- {{sfn|Dubinsky|1979|p=}} -->
* {{cite book|last=Grothendieck|first=Grothendieck|title=Produits tensoriels topologiques et espaces nucléaires|publisher=American Mathematical Society|location=Providence|year=1966|isbn=0-8218-1216-5|oclc=1315788|language=fr }} <!-- {{sfn|Grothendieck|1966|p=}} -->
* {{Hogbe-Nlend Bornologies and Functional Analysis}} <!--{{sfn|Hogbe-Nlend|1977|p=}}-->
* {{Hogbe-Nlend Moscatelli Nuclear and Conuclear Spaces}} <!--{{sfn|Hogbe-Nlend|Moscatelli|1981|p=}}-->
* {{cite book | last=Holden | first=Helge | last2=Øksendal | first2=Bernt | last3=Ubøe | first3=Jan | last4=Zhang | first4=Tusheng | title=Stochastic Partial Differential Equations | publisher=Springer Science & Business Media | publication-place=London New York | date=2009 | isbn=978-0-387-89488-1}}
* {{cite book|last=Husain|first=Taqdir|title=Barrelledness in topological and ordered vector spaces|publisher=Springer-Verlag|location=Berlin New York|year=1978|isbn=3-540-09096-7|oclc=4493665 }} <!-- {{sfn|Husain|1978|p=}} -->
* {{Khaleelulla Counterexamples in Topological Vector Spaces}} <!-- {{sfn|Khaleelulla|{{{year| 1982 }}}|p=}} --> 
* {{Cite book|last1=Gel'fand|first1= I. M.|first2= N. Ya. |last2=Vilenkin|title=Generalized Functions – vol. 4: Applications of harmonic analysis|year=1964 |location=New York |publisher=Academic Press |oclc=310816279 }}
* Takeyuki Hida and Si Si, ''Lectures on white noise functionals'', World Scientific Publishing, 2008. {{ISBN|978-981-256-052-0}}
*{{springer|id=N/n067860|title=Nuclear space|author=G.L. Litvinov}}
* {{Narici Beckenstein Topological Vector Spaces|edition=2}} <!-- {{sfn|Narici|Beckenstein|2011|p=}} -->
*{{Cite book|last1=Pietsch|first1=Albrecht|title=Nuclear locally convex spaces|orig-year=1965|url=https://books.google.com/books?id=v6IdSAAACAAJ|publisher=[[Springer-Verlag]]|location=Berlin, New York|series=Ergebnisse der Mathematik und ihrer Grenzgebiete|isbn=978-0-387-05644-9|year=1972|volume=66|mr=0350360  }}
* {{cite book|last=Pietsch|first=Albrecht|title=Nuclear locally convex spaces|publisher=Springer-Verlag|location=Berlin, New York|year=1972|isbn=0-387-05644-0|oclc=539541 }} <!-- {{sfn|Pietsch|1972|p=}} -->
* {{cite book |last=Robertson |first=A.P. |author2=W.J. Robertson  |title= Topological vector spaces |series=Cambridge Tracts in Mathematics |volume=53 |year=1964 |publisher= [[Cambridge University Press]]|page=141}}
* {{cite book|last=Robertson|first=A. P.|title=Topological vector spaces|publisher=University Press|location=Cambridge England|year=1973|isbn=0-521-29882-2|oclc=589250 }} <!-- {{sfn|Robertson|1973|p=}} -->
* {{cite book|last=Ryan|first=Raymond|title=Introduction to tensor products of Banach spaces|publisher=Springer|location=London New York|year=2002|isbn=1-85233-437-1|oclc=48092184 }} <!-- {{sfn|Ryan|2002|p=}} -->
* {{Schaefer Wolff Topological Vector Spaces|edition=2}} <!-- {{sfn|Schaefer|Wolff|1999|p=}} -->
* {{cite book | last=Simon | first=Barry | title=Functional Integration and Quantum Physics | publisher=American Mathematical Soc. | publication-place=Providence, R.I | date=2005 | isbn=978-0-8218-3582-1 | oclc=ocm56894469}}
* {{Trèves François Topological vector spaces, distributions and kernels}} <!-- {{sfn|Trèves|2006|p=}} -->
* {{cite book|author=Wong|title=Schwartz spaces, nuclear spaces, and tensor products|publisher=Springer-Verlag|location=Berlin New York|year=1979|isbn=3-540-09513-6|oclc=5126158 }} <!-- {{sfn|Wong|1979|p=}} -->

{{Topological tensor products and nuclear spaces}}
{{Topological vector spaces}}
{{Functional analysis}}

[[Category:Operator theory]]
[[Category:Topological vector spaces]]
[[Category:Topological tensor products]]