Espacio normado auxiliar

En análisis funcional, Alexander Grothendieck (1928-2014) empleó sistemáticamente dos métodos para construir espacios normados a partir de discos con el fin de definir operadores nucleares y espacios nucleares:​

• El primero de estos métodos se utiliza si el disco $D$ está acotado. En este caso, el espacio normado auxiliar es $\operatorname {expan} D$, con la norma

$p_{D}(x):=\inf _{x\in rD,r>0}r.$

• El otro método se utiliza si el disco $D$ es absorbente. En este segundo caso, el espacio normado auxiliar es el espacio cociente $X/p_{D}^{-1}(0).$

Si el disco está acotado y es absorbente, entonces los dos espacios normados auxiliares son canónicamente isomorfos (como espacios vectoriales topológicos y espacios normados).

Inducido por un disco acotado – Discos de Banach

En este artículo, $X$ será un espacio vectorial real o complejo (aunque no necesariamente un EVT) y $D$ será un disco en $X.$

Espacio seminormado inducido por un disco

Sea $X$ un espacio vectorial real o complejo. Para cualquier subconjunto $D$ de $X,$ el Funcional de Minkowski de $D$ se define por:

• Si $D=\varnothing$, entonces define $p_{\varnothing }(x):\{0\}\to [0,\infty )$ como la aplicación trivial $p_{\varnothing }=0$​ y se asumirá que $\operatorname {expan} \varnothing =\{0\}.$​
• Si $D\neq \varnothing$ y si $D$ es absorbente en $\operatorname {expan} D$, entonces denota el funcional de Minkowski de $D$ en $\operatorname {expan} D$ por

$p_{D}:\operatorname {expan} D\to [0,\infty )$

donde para todos los $x\in \operatorname {expan} D,$ esto se define por :$p_{D}(x):=\inf _{}\{r:x\in rD,r>0\}.$

Sea $X$ un espacio vectorial real o complejo. Para cualquier subconjunto $D$ de $X$ tal que el $p_{D}$ funcional de Minkowski sea una seminorma en $\operatorname {expan} D,$ denótese por $X_{D}$

$X_{D}:=\left(\operatorname {expan} D,p_{D}\right)$

que se denomina seminorma inducida por $D,$ donde si $p_{D}$ es una norma, entonces se llama espacio normado inducido por $D.$

Supuesto (Topología): $X_{D}=\operatorname {expan} D$ está dotado de la topología de la seminorma inducida por $p_{D},$ que se denotará por $\tau _{D}$ o $\tau _{p_{D}}.$

Es importante destacar que esta topología surge "completamente" del conjunto $D,$ la estructura algebraica de $X,$ y la topología habitual en $\mathbb {R}$ (ya que $p_{D}$ se define usando solo el conjunto $D$ y la multiplicación escalar). Esto justifica el estudio de los discos de Banach y es parte de la razón por la que juegan un papel importante en la teoría de operadores nucleares y espacios nucleares.

La aplicación de inclusión $\operatorname {In} _{D}:X_{D}\to X$ se denomina "aplicación canónica".​

Supóngase que $D$ es un disco. Entonces, ${\textstyle \operatorname {expan} D=\bigcup _{n=1}^{\infty }nD}$ para que $D$ sea absorbente en $\operatorname {expan} D,$ el sistema generador de $D.$ El conjunto $\{rD:r>0\}$ de todos los múltiplos escalares positivos de $D$ forma una base en el entorno del origen para una topología inducida en un espacio localmente convexo $\tau _{D}$ en $\operatorname {expan} D.$ El funcional de Minkowski del disco $D$ en $\operatorname {expan} D$ garantiza que $p_{D}$ esté bien definido y forme una seminorma en $\operatorname {expan} D.$​ La topología localmente convexa inducida por esta seminorma es la topología $\tau _{D}$ que se definió anteriormente.

Definición de disco de Banach

Un disco acotado $D$ en un espacio vectorial topológico $X$ tal que $\left(X_{D},p_{D}\right)$ sea un espacio de Banach, se denomina disco de Banach, infracompleto o completante acotado en $X.$

Si se muestra que $\left(\operatorname {expan} D,p_{D}\right)$ es un espacio de Banach, entonces $D$ será un disco de Banach en cualquier EVT que contenga $D$ como un subconjunto acotado.

Esto se debe a que el funcional $p_{D}$ de Minkowski se define en términos puramente algebraicos. En consecuencia, la cuestión de si $\left(X_{D},p_{D}\right)$ forma o no un espacio de Banach depende únicamente del disco $D$ y de $p_{D},$ el funcional de Minkowski, y no de ninguna topología del EVT particular que $X$ pueda tener inducida. Por lo tanto, el requisito de que un disco de Banach en un EVT $X$ sea un subconjunto acotado de $X$ es la única propiedad que vincula la topología de un disco de Banach con la topología del EVT $X$ que lo contiene.

Propiedades de los espacios seminormados inducidos por un disco

Discos acotados

El siguiente resultado explica por qué es necesario limitar los discos de Banach.

Teorema​​​ Si $D$ es un disco en un espacio vectorial topológico (EVT) $X,$ entonces $D$ está acotado en $X$ si y solo si la aplicación de inclusión $\operatorname {In} _{D}:X_{D}\to X$ es continua.

Demostración

Si el disco $D$ está delimitado en el EVT $X$, entonces para todos los entornos $U$ del origen en $X,$ existe algún $r>0$ tal que $rD\subseteq U\cap X_{D}.$ De ello se deduce que en este caso la topología de $\left(X_{D},p_{D}\right)$ es más fina que la topología subespacial que $X_{D}$ hereda de $X,$ lo que implica que la aplicación de inclusión $\operatorname {In} _{D}:X_{D}\to X$ es continua. Por el contrario, si $X$ tiene una topología EVT tal que $\operatorname {In} _{D}:X_{D}\to X$ es continua, entonces para cada entorno $U$ del origen en $X$ existe algún $r>0$ tal que $rD\subseteq U\cap X_{D},$ lo que demuestra que $D$ está acotado en $X.$

Hausdorffsidad

El espacio $\left(X_{D},p_{D}\right)$ es de Hausdorff si y solo si $p_{D}$ es una norma, lo que ocurre si y solo si $D$ no contiene ningún subespacio vectorial no trivial.​ En particular, si existe una topología en un EVT de Hausdorff $X$, de modo que $D$ esté acotado en $X$, entonces $p_{D}$ es una norma. Un ejemplo en el que $X_{D}$ no es de Hausdorff se obtiene dejando que $X=\mathbb {R} ^{2}$ y dejando que $D$ sea el eje $x$.

Convergencia de redes

Supóngase que $D$ es un disco en $X$ tal que $X_{D}$ es de Hausdorff y sea $x_{\bullet }=\left(x_{i}\right)_{i\in I}$ una red en $X_{D}.$ Entonces, $x_{\bullet }\to 0$ en $X_{D}$ si y solo si existe un $r_{\bullet }=\left(r_{i}\right)_{i\in I}$ red de números reales tal que $r_{\bullet }\to 0$ y $x_{i}\in r_{i}D$ para todo $i$; además, en este caso se asumirá sin pérdida de generalidad que $r_{i}\geq 0$ para todo $i.$

Relación entre espacios inducidos por un disco

Si $C\subseteq D\subseteq X$, entonces $\operatorname {expan} C\subseteq \operatorname {expan} D$ y $p_{D}\leq p_{C}$ en $\operatorname {expan} C,$ se define la siguiente aplicación lineal continua:​

Si $C$ y $D$ son discos en $X$ con $C\subseteq D$, entonces denomínese a la aplicación de inclusión $\operatorname {In} _{C}^{D}:X_{C}\to X_{D}$ la "inclusión canónica" de $X_{C}$ en $X_{D}.$

En particular, la topología subespacial que $\operatorname {expan} C$ hereda de $\left(X_{D},p_{D}\right)$ es más débil que la topología inducida por la seminorma de $\left(X_{C},p_{C}\right)$.​

El disco como bola unitaria cerrada

El disco $D$ es un subconjunto cerrado de $\left(X_{D},p_{D}\right)$ si y solo si $D$ es la bola unitaria cerrada de la seminorma $p_{D}$; esto es

$D=\left\{x\in \operatorname {expan} D:p_{D}(x)\leq 1\right\}.$

Si $D$ es un disco en un espacio vectorial $X$ y si existe una topología EVT $\tau$ en $\operatorname {expan} D$ tal que $D$ es un subconjunto cerrado y acotado de $\left(\operatorname {expan} D,\tau \right),$ entonces $D$ es la bola unitaria cerrada de $\left(X_{D},p_{D}\right)$ (es decir, $D=\left\{x\in \operatorname {expan} D:p_{D}(x)\leq 1\right\}$) (véase nota al pie para su demostración).​

Condiciones suficientes para un disco de Banach

El siguiente teorema se puede utilizar para establecer que $\left(X_{D},p_{D}\right)$ es un espacio de Banach.

Una vez establecido esto, $D$ será un disco Banach en cualquier EVT en el que $D$ esté acotado.

Teorema​ Sea $D$ un disco en un espacio vectorial $X.$ Si existe una topología EVT de Hausdorff $\tau$ en $\operatorname {expan} D$ tal que $D$ es un subconjunto secuencialmente completo acotado de $(\operatorname {expan} D,\tau ),$ entonces $\left(X_{D},p_{D}\right)$ es un espacio de Banach.

Demostración

Supóngase sin pérdida de generalidad que $X=\operatorname {expan} D$ y sea $p:=p_{D}$ el funcional de Minkowski de $D.$ Dado que $D$ es un subconjunto acotado de un EVT de Hausdorff, $D$ no contiene ningún subespacio vectorial no trivial, lo que implica que $p$ es una norma. Sea $\tau _{D}$ la topología de una norma en $X$ inducida por $p$ donde, dado que $D$ es un subconjunto acotado de $(X,\tau ),$ $\tau _{D}$ es más fina que $\tau .$ Debido a que $D$ es convexo y equilibrado, para cualquier $0<m<n$ $2^{-(n+1)}D+\cdots +2^{-(m+2)}D=2^{-(m+1)}\left(1-2^{m-n}\right)D\subseteq 2^{-(m+2)}D.$ Sea $x_{\bullet }=\left(x_{i}\right)_{i=1}^{\infty }$ una secuencia de Cauchy en $\left(X_{D},p\right).$ Al reemplazar $x_{\bullet }$ con una subsecuencia, podemos asumir sin pérdida de generalidad† que para todo $i,$ $x_{i+1}-x_{i}\in {\frac {1}{2^{i+2}}}D.$ Esto implica que para cualquier $0<m<n,$ $x_{n}-x_{m}=\left(x_{n}-x_{n-1}\right)+\left(x_{m+1}-x_{m}\right)\in 2^{-(n+1)}D+\cdots +2^{-(m+2)}D\subseteq 2^{-(m+2)}D$ de modo que en particular, tomando $m=1$ se deduce que $x_{\bullet }$ está contenido en $x_{1}+2^{-3}D.$ Dado que $\tau _{D}$ es más fina que $\tau ,$ $x_{\bullet }$ es una secuencia de Cauchy en $(X,\tau ).$ Para todo $m>0,$ $2^{-(m+2)}D$ es un subconjunto secuencialmente completo de Hausdorff de $(X,\tau ).$ En particular, esto es cierto para $x_{1}+2^{-3}D$, por lo que existe algún $x\in x_{1}+2^{-3}D$ tal que $x_{\bullet }\to x$ en $(X,\tau ).$ Dado que $x_{n}-x_{m}\in 2^{-(m+2)}D$ para todos los $0<m<n,$ fijando $m$ y tomando el límite (en $(X,\tau )$) como $n\to \infty ,$ se deduce que $x-x_{m}\in 2^{-(m+2)}D$ para cada $m>0.$ Esto implica que $p\left(x-x_{m}\right)\to 0$ es $m\to \infty ,$ lo que implica exactamente que $x_{\bullet }\to x$ en $\left(X_{D},p\right).$ Esto demuestra que $\left(X_{D},p\right)$ está completo. † Esta suposición está permitida porque $x_{\bullet }$ es una secuencia de Cauchy en un espacio métrico (por lo que los límites de todas las subsecuencias son iguales) y una secuencia en un espacio métrico converge si y solo si cada subsecuencia tiene una subsubsecuencia que converge.

Tenga en cuenta que incluso si $D$ no es un subconjunto acotado y secuencialmente completo de cualquier EVT de Hausdorff, aún se podría concluir que $\left(X_{D},p_{D}\right)$ es un espacio de Banach aplicando este teorema a algún disco $K$ que satisfaga

$\left\{x\in \operatorname {expan} D:p_{D}(x)<1\right\}\subseteq K\subseteq \left\{x\in \operatorname {expan} D:p_{D}(x)\leq 1\right\}$

porque $p_{D}=p_{K}.$

Las siguientes son consecuencias del teorema anterior:

• Un disco acotado secuencialmente completo en un EVT de Hausdorff es un disco de Banach.​
• Cualquier disco en un EVT de Hausdorff que esté completo y acotado (por ejemplo, compacto) es un disco de Banach.​
• La bola cerrada unidad en un espacio de Fréchet está secuencialmente completa y, por lo tanto, es un disco de Banach.​

Supóngase que $D$ es un disco acotado en un EVT $X.$

• Si $L:X\to Y$ es una aplicación lineal continua y $B\subseteq X$ es un disco de Banach, entonces $L(B)$ es un disco de Banach y $L{\big \vert }_{X_{B}}:X_{B}\to L\left(X_{B}\right)$ induce un isomorfismo sobre el EVT $Y_{L(B)}\cong X_{B}/\left(X_{B}\cap \operatorname {ker} L\right).$

Propiedades de los discos de Banach

Sea $X$ un EVT y $D$ sea un disco limitado en $X.$

Si $D$ es un disco de Banach acotado en un espacio localmente convexo de Hausdorff $X$, y si $T$ es barrilado en $X$, entonces $T$ absorbe a $D$ (es decir, hay un número $r>0$ tal que $D\subseteq rT.$​

Si $U$ es un entorno cerrado equilibrado convexo del origen en $X$, entonces la colección de todos los entornos $rU,$ donde $r>0$ abarca los números reales positivos, induce una topología de espacio vectorial topológico en $X.$ Cuando $X$ tiene esta topología, se denota por $X_{U}.$ Dado que la topología no es necesariamente de Hausdorff ni completa, la completación del espacio de Hausdorff $X/p_{U}^{-1}(0)$ se denota por ${\overline {X_{U}}}$, de modo que ${\overline {X_{U}}}$ es un espacio de Hausdorff completo y $p_{U}(x):=\inf _{x\in rU,r>0}r$ es una norma en este espacio que convierte a ${\overline {X_{U}}}$ en un espacio de Banach. El polar de $U,$ $U^{\circ },$ es un disco equicontinuo acotado débilmente compacto en $X^{\prime }$ y, por lo tanto, es infracompleto.

Si $X$ es un EVT metrizable localmente convexo, entonces para cada subconjunto acotado $B$ de $X,$ existe un disco $D$ acotado en $X$ tal que $B\subseteq X_{D},$ y tanto $X$ como $X_{D}$ inducen la misma topología del subespacio en $B.$​

Inducido por un disco radial – cociente

Supóngase que $X$ es un espacio vectorial topológico y $V$ es un conjunto convexo equilibrado y radial. Entonces, $\left\{{\tfrac {1}{n}}V:n=1,2,\ldots \right\}$ es una base del entorno en el origen para alguna topología localmente convexa $\tau _{V}$ en $X.$ Esta topología de EVT $\tau _{V}$ está dada por el funcional de Minkowski, y está formada por $V,$ $p_{V}:X\to \mathbb {R} ,$ que es una seminorma en $X$ definida por $p_{V}(x):=\inf _{x\in rV,r>0}r.$ La topología $\tau _{V}$ es de Hausdorff si y solo si $p_{V}$ es una norma, o equivalentemente, si y solo si $X/p_{V}^{-1}(0)=\{0\}$ o equivalente, para lo cual basta que $V$ esté acotado en $X.$ La topología $\tau _{V}$ no tiene por qué ser de Hausdorff, pero $X/p_{V}^{-1}(0)$ sí que lo es. $X/p_{V}^{-1}(0)$ induce una norma sobre $\left\|x+X/p_{V}^{-1}(0)\right\|:=p_{V}(x),$ donde este valor es, de hecho, independiente del representante de la clase de equivalencia $x+X/p_{V}^{-1}(0)$ elegida. El espacio normado $\left(X/p_{V}^{-1}(0),\|\cdot \|\right)$ se denota por $X_{V}$ y su completación se denota por ${\overline {X_{V}}}.$

Si además, $V$ está acotado en $X$, entonces la seminorma $p_{V}:X\to \mathbb {R}$ es una norma, por lo que en particular, $p_{V}^{-1}(0)=\{0\}.$ En este caso, se toma $X_{V}$ como el espacio vectorial $X$ en lugar de $X/\{0\}$, de modo que la notación $X_{V}$ no sea ambigua (si $X_{V}$ denota el espacio inducido por un disco radial o el espacio inducido por un disco acotado).​

La topología cociente $\tau _{Q}$ en $X/p_{V}^{-1}(0)$ (heredada de la topología original de $X$) es más fina (en general, estrictamente más fina) que la topología normal.

Aplicaciones canónicas

La aplicación canónica es la clase de equivalencia $q_{V}:X\to X_{V}=X/p_{V}^{-1}(0),$ que es continua cuando $X_{V}$ tiene la topología normal o la topología del cociente.​

Si $U$ y $V$ son discos radiales tales como $U\subseteq V$, entonces $p_{U}^{-1}(0)\subseteq p_{V}^{-1}(0)$, por lo que existe una aplicación canónica sobreyectiva lineal continua $q_{V,U}:X/p_{U}^{-1}(0)\to X/p_{V}^{-1}(0)=X_{V}$, definida enviando $x+p_{U}^{-1}(0)\in X_{U}=X/p_{U}^{-1}(0)$ a la clase de equivalencia $x+p_{V}^{-1}(0),$ donde se puede verificar que la definición no depende del representante de la clase de equivalencia $x+p_{U}^{-1}(0)$ que se elija.​

Esta aplicación canónica tiene la norma $\,\leq 1$,​ y posee una extensión canónica lineal continua única a ${\overline {X_{U}}}$ que se denota por ${\overline {g_{V,U}}}:{\overline {X_{U}}}\to {\overline {X_{V}}}.$

Supóngase además que $B\neq \varnothing$ y $C$ son discos acotados en $X$ con $B\subseteq C$, de modo que $X_{B}\subseteq X_{C}$ y la inclusión $\operatorname {In} _{B}^{C}:X_{B}\to X_{C}$ sea una aplicación lineal continua. Sean $\operatorname {In} _{B}:X_{B}\to X,$ $\operatorname {In} _{C}:X_{C}\to X,$ y $\operatorname {In} _{B}^{C}:X_{B}\to X_{C}$ las aplicaciones canónicas. Entonces, $\operatorname {In} _{C}=\operatorname {In} _{B}^{C}\circ \operatorname {In} _{C}:X_{B}\to X_{C}$ y $q_{V}=q_{V,U}\circ q_{U}.$​

Inducido por un disco radial acotado

Supóngase que $S$ es un disco radial acotado. Dado que $S$ es un disco acotado, si $D:=S$, entonces se puede crear el espacio normado auxiliar $X_{D}=\operatorname {expan} D$ con la norma $p_{D}(x):=\inf _{x\in rD,r>0}r$. Como $S$ es radial, $X_{S}=X.$ Dado que $S$ es un disco radial, si $V:=S$, entonces se puede crear el espacio de la seminorma auxiliar $X/p_{V}^{-1}(0)$ con la seminorma $p_{V}(x):=\inf _{x\in rV,r>0}r$. Debido a que $S$ está acotado, esta seminorma es una norma y $p_{V}^{-1}(0)=\{0\}$, por lo que entonces $X/p_{V}^{-1}(0)=X/\{0\}=X.$ Así, en este caso, los dos espacios normados auxiliares producidos por estos dos métodos diferentes dan como resultado el mismo espacio normado.

Dualidad

Supongamos que $H$ es un disco equicontinuo débilmente cerrado en $X^{\prime }$ (esto implica que $H$ es débilmente compacto) y sea

$U:=H^{\circ }=\{x\in X:|h(x)|\leq 1{\text{for all }}h\in H\}$

el polar de $H.$ Debido a que $U^{\circ }=H^{\circ \circ }=H$ según el teorema bipolar, se deduce que un funcional lineal continuo $f$ pertenece a $X_{H}^{\prime }=\operatorname {expan} H$ si y solo si $f$ pertenece al espacio dual continuo de $\left(X,p_{U}\right),$ donde $p_{U}$ es el funcional de Minkowski de $U$ definido por $p_{U}(x):=\inf _{x\in rU,r>0}r.$​

Conceptos relacionados

Un disco en un EVT se llama infrabornivoro​ si absorbe todos los discos de Banach.

Un aplicación lineal entre en dos EVT se llama infra-acotada​ si asigna discos de Banach a discos delimitados.

Convergencia rápida

Se dice que una sucesión $x_{\bullet }=\left(x_{i}\right)_{i=1}^{\infty }$ en un EVT $X$ es "rápidamente convergente"​ a un punto $x\in X$ si existe un disco de Banach $D$ tal que tanto $x$ como la sucesión estén (finalmente) contenidos en $\operatorname {expan} D$ y $x_{\bullet }\to x$ en $\left(X_{D},p_{D}\right).$

Toda sucesión rápidamente convergente es Mackey convergente.​

Véase también

• Espacio bornológico
• Espacio localmente convexo
• Topología inicial
• Producto tensorial de espacios de Hilbert
• Espacio ultrabornológico

Bibliografía

• Burzyk, Józef; Gilsdorf, Thomas E. (1995). «Some remarks about Mackey convergence». International Journal of Mathematics and Mathematical Sciences (Hindawi Limited) 18 (4): 659-664. ISSN 0161-1712. doi:10.1155/s0161171295000846. 
• Diestel, Joe (2008). The Metric Theory of Tensor Products: Grothendieck's Résumé Revisited 16. Providence, R.I.: American Mathematical Society. ISBN 9781470424831. OCLC 185095773. 
• Dubinsky, Ed (1979). The Structure of Nuclear Fréchet Spaces. Lecture Notes in Mathematics 720. Berlin New York: Springer-Verlag. ISBN 978-3-540-09504-0. OCLC 5126156. 
• Grothendieck, Alexander (1955). «Produits Tensoriels Topologiques et Espaces Nucléaires» [Topological Tensor Products and Nuclear Spaces]. Memoirs of the American Mathematical Society Series (en francés) (Providence: American Mathematical Society) 16. ISBN 978-0-8218-1216-7. MR 0075539. OCLC 1315788. 
• Hogbe-Nlend, Henri (1977). Bornologies and Functional Analysis: Introductory Course on the Theory of Duality Topology-Bornology and its use in Functional Analysis. North-Holland Mathematics Studies 26. Amsterdam New York New York: North Holland. ISBN 978-0-08-087137-0. MR 0500064. OCLC 316549583. 
• Hogbe-Nlend, Henri; Moscatelli, V. B. (1981). Nuclear and Conuclear Spaces: Introductory Course on Nuclear and Conuclear Spaces in the Light of the Duality "topology-bornology". North-Holland Mathematics Studies 52. Amsterdam New York New York: North Holland. ISBN 978-0-08-087163-9. OCLC 316564345. 
• Husain, Taqdir; Khaleelulla, S. M. (1978). Barrelledness in Topological and Ordered Vector Spaces. Lecture Notes in Mathematics 692. Berlin, New York, Heidelberg: Springer Science+Business Media. ISBN 978-3-540-09096-0. OCLC 4493665. 
• Khaleelulla, S. M. (1982). Counterexamples in Topological Vector Spaces. Lecture Notes in Mathematics 936. Berlin, Heidelberg, New York: Springer Science+Business Media. ISBN 978-3-540-11565-6. OCLC 8588370. 
• Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second edición). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. 
• Pietsch, Albrecht (1979). Nuclear Locally Convex Spaces. Ergebnisse der Mathematik und ihrer Grenzgebiete 66 (Second edición). Berlin, New York: Springer-Verlag. ISBN 978-0-387-05644-9. OCLC 539541. 
• Robertson, Alex P.; Robertson, Wendy J. (1980). Topological Vector Spaces. Cambridge Tracts in Mathematics 53. Cambridge England: Cambridge University Press. ISBN 978-0-521-29882-7. OCLC 589250. 
• Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM 8 (Second edición). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135. 
• Trèves, François (2006) [1967]. Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322. 
• Wong, Yau-Chuen (1979). Schwartz Spaces, Nuclear Spaces, and Tensor Products. Lecture Notes in Mathematics 726. Berlin New York: Springer-Verlag. ISBN 978-3-540-09513-2. OCLC 5126158. 

Enlaces externos

• Espacio nuclear en ncatlab

• Datos: Q96372819