# Operador nuclear

En matemáticas, los operadores nucleares son una clase importante de operadores lineales introducidos por Alexander Grothendieck en su tesis doctoral. Están íntimamente ligados al producto tensorial proyectivo de dos espacios vectoriales topológicos (EVT).

## Preliminares y notación

Sean X,Y y Z tres espacios vectoriales topológicos (EVT) y L : X → Y sea un operador lineal (sin suposición de continuidad a menos que se indique lo contrario).
* El producto tensorial proyectivo de dos EVT localmente convexos X e Y se indica con $X\otimes _{\pi }Y$ y la completación de este espacio se indicará con $X{\widehat {\otimes }}_{\pi }Y$.
* L : X → Y es un homomorfismo topológico o un homomorfismo, si es lineal, continuo, y $L:X\to \operatorname {Im} L$ es una aplicación abierta, donde $\operatorname {Im} L$, la imagen de L, tiene la topología subespacial inducida por Y.
** Si S es un subespacio de X, entonces tanto la aplicación cociente X → X/S como la inyección canónica S → X son homomorfismos.
* El conjunto de aplicaciones lineales continuas X → Z (respectivamente, aplicaciones bilineales continuas $X\times Y\to Z$) se denotará por L(X, Z) (respectivamente, B(X, Y; Z)) donde si Z es el cuerpo escalar subyacente, entonces se puede escribir L(X) (respectivamente, B(X, Y)).
* Cualquier aplicación lineal $L:X\to Y$ se puede descomponer canónicamente de la siguiente manera: $X\to X/\ker L\;\xrightarrow {L_{0}} \;\operatorname {Im} L\to Y$ donde $L_{0}\left(x+\ker L\right):=L(x)$ define una biyección llamada biyección canónica asociada con L.
* X* o $X'$ denotarán el espacio dual continuo de X.
** Para aumentar la claridad de la exposición, se utiliza la convención común de escribir elementos de $X'$ con un número primo después del símbolo (por ejemplo, $x'$ denota un elemento de $X'$ y no una derivada, y las variables x y $x'$ no necesita estar relacionado de ninguna manera).
* $X^{\#}$ denotará el espacio dual de X (que es el espacio vectorial de todos los funcionales lineales en X, sean continuos o no).
* Una aplicación lineal L : H → H desde un espacio de Hilbert hacia sí mismo se llama positiva si $\langle L(x),x\rangle \geq 0$ para cada $x\in H$. En este caso, existe una única aplicación positiva r: H → H, llamada raíz cuadrada de L, tal que $L=r\circ r$.
** Si $L:H_{1}\to H_{2}$ es cualquier aplicación lineal continua entre espacios de Hilbert, entonces $L^{*}\circ L$ es siempre positivo. Ahora, denótese con R : H → H su raíz cuadrada positiva, que se denomina valor absoluto de L. Defina $U:H_{1}\to H_{2}$ primero en $\operatorname {Im} R$ configurando $U(x)=L(x)$ para $x=R\left(x_{1}\right)\in \operatorname {Im} R$ y extendiendo $U$ continuamente a ${\overline {\operatorname {Im} R}}$, y luego defínase U en $\ker R$ configurando $U(x)=0$ para $x\in \ker R$ y extiéndase esta aplicación linealmente a todo $H_{1}$. La aplicación $U{\big \vert }_{\operatorname {Im} R}:\operatorname {Im} R\to \operatorname {Im} L$ es una isometría sobreyectiva y $L=U\circ R$.
* Un aplicación lineal $\Lambda :X\to Y$ se llama compacta o completamente continua si existe un entorno U del origen en X tal que $\Lambda (U)$ es precompacto en Y.
** En un espacio de Hilbert, los operadores lineales compactos positivos, póngase por caso L : H → H, tienen una descomposición espectral simple descubierta a principios del siglo XX por Fredholm y F. Riesz:Existe una sucesión de números positivos, decrecientes y finitos o convergentes a 0, $r_{1}>r_{2}>\cdots >r_{k}>\cdots$ y una sucesión de subespacios de dimensión finita distinta de cero $V_{i}$ de H (i= 1, 2, $\ldots$) con las siguientes propiedades: (1) los subespacios $V_{i}$ son ortogonales por pares; (2) para cada i y cada $x\in V_{i}$, $L(x)=r_{i}x$; y (3) el elemento ortogonal del subespacio abarcado por ⋃$_i$V$_i${\textstyle \bigcup _{i}V_{i}} es igual al núcleo de L.

### Notación para topologías

* σ(X, X′) denota la topología más gruesa en X, lo que hace que cada aplicación en X′ sea continua y $X_{\sigma \left(X,X'\right)}$ o $X_{\sigma }$ denota X dotado de esta topología.
* σ(X′, X) denota la topología *débil en X* y $X_{\sigma \left(X',X\right)}$ o $X'_{\sigma }$ denota X′ dotado con esta topología.
** Téngase en cuenta que cada $x_{0}\in X$ induce un aplicación $X'\to \mathbb {R}$ definida por $\lambda \mapsto \lambda \left(x_{0}\right)$. σ(X′, X) es la topología más gruesa en X′, lo que hace que todas estas aplicaciones sean continuas.
* b(X, X′) denota la topología de convergencia limitada en X y $X_{b\left(X,X'\right)}$ o $X_{b}$ denota X dotado con esta topología.
* b(X′, X) denota la topología de convergencia limitada en X' o la topología dual fuerte en X' y $X_{b\left(X',X\right)}$ o $X'_{b}$ denota X′ dotado con esta topología.
** Como es habitual, si X* se considera un espacio vectorial topológico pero no se ha dejado claro con qué topología está dotado, entonces se asumirá que la topología es b(X′, X).

### Producto tensorial canónico como subespacio del dual de Bi(X, Y)

Sean X e Y espacios vectoriales (aún no se necesita topología) y sea Bi(X, Y) el espacio de todos los operadores bilineales definidos en $X\times Y$ y sobre el cuerpo escalar subyacente.
Para cada $(x,y)\in X\times Y$, sea $\chi _{(x,y)}$ la forma lineal canónica en Bi(X, Y) definida por $\chi _{(x,y)}(u):=u(x,y)$ para cada u ∈ Bi(X, Y ). Esto induce un aplicación canónico $\chi :X\times Y\to \mathrm {Bi} (X,Y)^{\#}$ definida por $\chi (x,y):=\chi _{(x,y)}$, donde $\mathrm {Bi} (X,Y)^{\#}$ denota el espacio dual de Bi(X, Y). Si se denota el intervalo del rango de 𝜒 por X ⊗ Y, entonces se puede demostrar que X ⊗ Y junto con 𝜒 forma un producto tensorial de X e Y (donde x ⊗ y := 𝜒(x, y)), que es un producto tensorial canónico de X e Y.
Si Z es cualquier otro espacio vectorial, entonces la aplicación Li(X ⊗ Y; Z) → Bi(X, Y; Z) dada por u ↦ u ∘ 𝜒 es un isomorfismo de espacios vectoriales. En particular, esto permite identificar el espacio dual de X ⊗ Y con el espacio de formas bilineales en X × Y. Además, si X e Y son espacios vectoriales topológicos localmente convexos (EVT) y si a X ⊗ Y se le da la topología 𝜋, entonces para cada EVT localmente convexo Z, este aplicación se restringe a un isomorfismo de espacios vectoriales $L(X\otimes _{\pi }Y;Z)\to B(X,Y;Z)$ desde el espacio de aplicaciones lineales "continuas" al espacio de aplicaciones bilineales "continuas". En particular, el dual continuo de X ⊗ Y puede identificarse canónicamente con el espacio B(X, Y) de formas bilineales continuas en X × Y. Además, bajo esta identificación, los subconjuntos equicontinuos de B(X, Y) son los mismos que los subconjuntos equicontinuos de $(X\otimes _{\pi }Y)'$.

## Operadores nucleares entre espacios de Banach

Existe un espacio vectorial canónico que incorpora $I:X'\otimes Y\to L(X;Y)$ definido haciendo corresponder z:=∑$_i$$^n$x$_i$$^′$⊗y$_i${\textstyle z:=\sum _{i}^{n}x_{i}'\otimes y_{i}} a la aplicación
    $x\mapsto \sum _{i}^{n}x_{i}'(x)y_{i}.$
Suponiendo que X e Y son espacios de Banach, entonces la aplicación $I:X'_{b}\otimes _{\pi }Y\to L_{b}(X;Y)$ tiene la norma $1$ (para ver que la norma es $\leq 1$, obsérvese que ‖I(z)‖=sup$_{‖x‖≤1}$‖I(z)(x)‖=sup$_{‖x‖≤1}$‖∑$_{i=1}$$^n$x$_i$$^′$(x)y$_i$‖≤sup$_{‖x‖≤1}$∑$_{i=1}$$^n$‖x$_i$$^′$‖‖x‖‖y$_i$‖≤∑$_{i=1}$$^n$‖x$_i$$^′$‖‖y$_i$‖{\textstyle \|I(z)\|=\sup _{\|x\|\leq 1}\|I(z)(x)\|=\sup _{\|x\|\leq 1}\left\|\sum _{i=1}^{n}x_{i}'(x)y_{i}\right\|\leq \sup _{\|x\|\leq 1}\sum _{i=1}^{n}\left\|x_{i}'\right\|\|x\|\left\|y_{i}\right\|\leq \sum _{i=1}^{n}\left\|x_{i}'\right\|\left\|y_{i}\right\|} es $\left\|I(z)\right\|\leq \left\|z\right\|_{\pi }$). Por tanto, tiene una extensión continua a una aplicación ${\hat {I}}:X'_{b}{\widehat {\otimes }}_{\pi }Y\to L_{b}(X;Y)$, donde se sabe que esta aplicación no es necesariamente inyectiva. El rango de este aplicación se denota por $L^{1}(X;Y)$ y sus elementos se denominan operadores nucleares. $L^{1}(X;Y)$ es un EVT-isomorfo a $\left(X'_{b}{\widehat {\otimes }}_{\pi }Y\right)/\ker {\hat {I}}$ y la norma en este espacio cociente, cuando se transfiere a elementos de $L^{1}(X;Y)$ a través dla aplicación inducida ${\hat {I}}:\left(X'_{b}{\widehat {\otimes }}_{\pi }Y\right)/\ker {\hat {I}}\to L^{1}(X;Y)$, se denomina norma de la traza y se denota por $\|\cdot \|_{\operatorname {Tr} }$. Explícitamente, si $T:X\to Y$ es un operador nuclear, entonces ‖T‖$_{Tr}$:=inf$_{z∈I^−1(T)}$‖z‖$_π${\textstyle \left\|T\right\|_{\operatorname {Tr} }:=\inf _{z\in {\hat {I}}^{-1}\left(T\right)}\left\|z\right\|_{\pi }}.

### Caracterización

Supóngase que X e Y son espacios de Banach y que $N:X\to Y$ es un operador lineal continuo.
* Los siguientes enunciados son equivalentes:
** $N:X\to Y$ es nuclear.
** Existe una secuencia $\left(x_{i}'\right)_{i=1}^{\infty }$ en la bola unitaria cerrada de $X'$, una sucesión $\left(y_{i}\right)_{i=1}^{\infty }$ en la bola unitaria cerrada de $Y$ y una sucesión compleja $\left(c_{i}\right)_{i=1}^{\infty }$ tal que ∑$_{i=1}$$^∞$|c$_i$|<∞{\textstyle \sum _{i=1}^{\infty }|c_{i}|<\infty } y $N$ son iguales a la aplicación: N(x)=∑$_{i=1}$$^∞$c$_i$x$_i$$^′$(x)y$_i${\textstyle N(x)=\sum _{i=1}^{\infty }c_{i}x'_{i}(x)y_{i}} para todo $x\in X$. Además, la norma de la traza $\|N\|_{\operatorname {Tr} }$ es igual al mínimo de los números ∑$_{i=1}$$^∞$|c$_i$|{\textstyle \sum _{i=1}^{\infty }|c_{i}|} sobre el conjunto de todas las representaciones de $N$ como tal serie.
* Si Y es reflexivo, entonces $N:X\to Y$ es nuclear si y solo si $^{t}N:Y'_{b}\to X'_{b}$ es nuclear, en cuyo caso ‖$^t$N‖$_{Tr}$=‖N‖$_{Tr}${\textstyle \left\|^{t}N\right\|_{\operatorname {Tr} }=\left\|N\right\|_{\operatorname {Tr} }}.

### Propiedades

Sean X e Y espacios de Banach y sea $N:X\to Y$ un operador lineal continuo.
* Si $N:X\to Y$ es una aplicación nuclear, entonces su transposición $^{t}N:Y'_{b}\to X'_{b}$ es un aplicación nuclear continua (cuando los espacios duales tienen sus topologías duales fuertes) y ‖$^t$N‖$_{Tr}$≤‖N‖$_{Tr}${\textstyle \left\|^{t}N\right\|_{\operatorname {Tr} }\leq \left\|N\right\|_{\operatorname {Tr} }}.

## Operadores nucleares entre espacios de Hilbert

Los automorfismos nucleares de un espacio de Hilbert se denominan operadores de clase de traza.
Sean X e Y espacios de Hilbert y sea N : X → Y una aplicación lineal continua. Supóngase que $N=UR$ donde R : X → X es la raíz cuadrada de $N^{*}N$ y U : X → Y es tal que $U{\big \vert }_{\operatorname {Im} R}:\operatorname {Im} R\to \operatorname {Im} N$ es una isometría sobreyectiva. Entonces, N es una aplicación nuclear si y solo si R es una aplicación nuclear. Por lo tanto, para estudiar aplicaciones nucleares entre espacios de Hilbert basta con restringir la atención a los operadores autoadjuntos positivos R.

### Caracterizaciones

Sean X e Y espacios de Hilbert y sea N : X → Y una aplicación lineal continua cuyo valor absoluto es R : ' 'X → X. Son equivalentes los enunciados siguientes:
* N : X → Y es nuclear.
* R : X → X es nuclear.
* R : X → X es compacto y $\operatorname {Tr} R$ es finito, en cuyo caso $\operatorname {Tr} R=\|N\|_{\operatorname {Tr} }$.
** Aquí, $\operatorname {Tr} R$ es la traza de R y se define de la siguiente manera: dado que R es un operador positivo compacto continuo, existe una sucesión (que puede ser finita) $\lambda _{1}>\lambda _{2}>\cdots$ de números positivos con los correspondientes espacios vectoriales no triviales de dimensión finita y mutuamente ortogonales $V_{1},V_{2},\ldots$ tales que el ortogonal (en H) de $\operatorname {span} \left(V_{1}\cup V_{2}\cup \cdots \right)$ es igual a $\ker R$ (y por lo tanto, también a $\ker N$) y para todo k, $R(x)=\lambda _{k}x$ para todos los $x\in V_{k}$. La traza se define como Tr⁡R:=∑$_k$λ$_k$dim⁡V$_k${\textstyle \operatorname {Tr} R:=\sum _{k}\lambda _{k}\dim V_{k}}.
* $^{t}N:Y'_{b}\to X'_{b}$ es nuclear, en cuyo caso $\|^{t}N\|_{\operatorname {Tr} }=\|N\|_{\operatorname {Tr} }$.
* Hay dos secuencias ortogonales $\left(x_{i}\right)_{i=1}^{\infty }$ en X y $\left(y_{i}\right)_{i=1}^{\infty }$ en Y, y una sucesión $\left(\lambda _{i}\right)_{i=1}^{\infty }$ en $l^{1}$ tal que para todo $x\in X$, N(x)=∑$_i$λ$_i$⟨x, x$_i$⟩y$_i${\textstyle N(x)=\sum _{i}\lambda _{i}\langle x, x_{i}\rangle y_{i}}.
* N : X → Y es una aplicación integral.

## Operadores nucleares entre espacios localmente convexos

Supóngase que U es un entorno cerrado equilibrado convexo del origen en X y que B es un espacio normado auxiliar acotado equilibrado convexo en Y, siendo X e Y espacios localmente convexos. Sea p$_U$(x)=inf$_{r>0, x∈rU}$r{\textstyle p_{U}(x)=\inf _{r>0, x\in rU}r} y $\pi :X\to X/p_{U}^{-1}(0)$ la proyección canónica. Se puede definir el espacio de Banach auxiliar ${\hat {X}}_{U}$ con la aplicación canónica ${\hat {\pi }}_{U}:X\to {\hat {X}}_{U}$ cuya imagen, $X/p_{U}^{-1}(0)$, es densa en ${\hat {X}}_{U}$ así como el espacio auxiliar $F_{B}=\operatorname {span} B$ normado por p$_B$(y)=inf$_{r>0, y∈rB}$r{\textstyle p_{B}(y)=\inf _{r>0, y\in rB}r} y con un aplicación canónica $\iota :F_{B}\to F$, siendo la inyección canónica (continua). Dada cualquier aplicación lineal continua $T:{\hat {X}}_{U}\to Y_{B}$, se obtiene mediante composición la aplicación lineal continua ${\hat {\pi }}_{U}\circ T\circ \iota :X\to Y$. Por tanto, se tiene una inyección L(X$^^$$_U$;Y$_B$)→L(X;Y){\textstyle L\left({\hat {X}}_{U};Y_{B}\right)\to L(X;Y)} y de ahora en adelante se usará esta aplicación para identificar L(X$^^$$_U$;Y$_B$){\textstyle L\left({\hat {X}}_{U};Y_{B}\right)} como un subespacio de $L(X;Y)$.
Definición: Sean X e Y espacios localmente convexos de Hausdorff. La unión de todos los rangos L$^1$(X$^^$$_U$;Y$_B$){\textstyle L^{1}\left({\hat {X}}_{U};Y_{B}\right)} como U sobre todos los entornos equilibrados convexos cerrados del origen en X y los rangos B sobre todos los espacios normados auxiliares acotados en Y, se denota por $L^{1}(X;Y)$ y sus elementos se denominan aplicaciones nucleares de X en Y.
Cuando X e Y son espacios de Banach, entonces esta nueva definición de aplicación nuclear es consistente con la original dada para el caso especial, en el que X e Y son espacios de Banach.

### Condiciones suficientes para la nuclearidad

* Sean W, X, Y y Z espacios localmente convexos de Hausdorff, $N:X\to Y$ una aplicación nuclear y $M:W\to X$ y $P:Y\to Z$ sean aplicaciones lineales continuas. Entonces, $N\circ M:W\to Y$, $P\circ N:X\to Z$ y $P\circ N\circ M:W\to Z$ son nucleares, y si además W, X, Y y Z son todos espacios de Banach, entonces ‖P∘N∘M‖$_{Tr}$≤‖P‖‖N‖$_{Tr}$‖‖M‖{\textstyle \left\|P\circ N\circ M\right\|_{\operatorname {Tr} }\leq \left\|P\right\|\left\|N\right\|_{\operatorname {Tr} }\|\left\|M\right\|}.
* Si $N:X\to Y$ es un aplicación nuclear entre dos espacios localmente convexos de Hausdorff, entonces su transposición $^{t}N:Y'_{b}\to X'_{b}$ es un aplicación nuclear continuo (cuando los espacios duales tienen sus fuertes topologías duales).
** Si además X e Y son espacios de Banach, entonces ‖$^t$N‖$_{Tr}$≤‖N‖$_{Tr}${\textstyle \left\|^{t}N\right\|_{\operatorname {Tr} }\leq \left\|N\right\|_{\operatorname {Tr} }}.
* Si $N:X\to Y$ es una aplicación nuclear entre dos espacios localmente convexos de Hausdorff y si ${\hat {X}}$ es una terminación de X, entonces la extensión continua única ${\hat {N}}:{\hat {X}}\to Y$ de N es nuclear.

### Caracterizaciones

Sean X e Y espacios localmente convexos de Hausdorff y sea $N:X\to Y$ un operador lineal continuo.
* Son equivalentes los siguientes enunciados:
** $N:X\to Y$ es nuclear.
** (Definición) Existe un entorno del origen equilibrado convexo U en X y un espacio normado auxiliar B acotado en Y tal que $N(U)\subseteq B$ y la aplicación inducida ${\overline {N}}_{0}:{\hat {X}}_{U}\to Y_{B}$ son nucleares, donde ${\overline {N}}_{0}$ es la extensión continua única de $N_{0}:X_{U}\to Y_{B}$, que es la aplicación única que satisface $N=\operatorname {In} _{B}\circ N_{0}\circ \pi _{U}$ donde $\operatorname {In} _{B}:Y_{B}\to Y$ es la inclusión natural y $\pi _{U}:X\to X/p_{U}^{-1}(0)$ es la proyección canónica.
** Existen espacios de Banach $B_{1}$ y $B_{2}$ y aplicaciones lineales continuas $f:X\to B_{1}$, $n:B_{1}\to B_{2}$ y $g:B_{2}\to Y$ tales que $n:B_{1}\to B_{2}$ es nuclear y $N=g\circ n\circ f$.
** Existe una sucesión equicontinua $\left(x_{i}'\right)_{i=1}^{\infty }$ en $X'$, un espacio normado auxiliar acotado $B\subseteq Y$, una sucesión $\left(y_{i}\right)_{i=1}^{\infty }$ en B y una sucesión compleja $\left(c_{i}\right)_{i=1}^{\infty }$ tal que ∑$_{i=1}$$^∞$|c$_i$|<∞{\textstyle \sum _{i=1}^{\infty }|c_{i}|<\infty } y $N$ son iguales a la aplicación: N(x)=∑$_{i=1}$$^∞$c$_i$x$_i$$^′$(x)y$_i${\textstyle N(x)=\sum _{i=1}^{\infty }c_{i}x'_{i}(x)y_{i}} para todo $x\in X$.
* Si X es barrilado e Y es un espacio cuasi completo, entonces N es nuclear si y solo si N tiene una representación de la forma N(x)=∑$_{i=1}$$^∞$c$_i$x$_i$$^′$(x)y$_i${\textstyle N(x)=\sum _{i=1}^{\infty }c_{i}x'_{i}(x)y_{i}} con $\left(x_{i}'\right)_{i=1}^{\infty }$ acotado en $X'$, $\left(y_{i}\right)_{i=1}^{\infty }$ acotado en Y y ∑$_{i=1}$$^∞$|c$_i$|<∞{\textstyle \sum _{i=1}^{\infty }|c_{i}|<\infty }.

### Propiedades

A continuación se muestra un tipo de teorema de Hahn–Banach empleado para ampliar aplicaciones nucleares:
* Si $E:X\to Z$ es un embebido de un EVT y $N:X\to Y$ es un aplicación nuclear, entonces existe un aplicación nuclear ${\tilde {N}}:Z\to Y$ tal que ${\tilde {N}}\circ E=N$. Además, cuando X e Y son espacios de Banach y E es una isometría, entonces, para cualquier $\epsilon >0$, se puede elegir ${\tilde {N}}$ de modo que $\|{\tilde {N}}\|_{\operatorname {Tr} }\leq \|N\|_{\operatorname {Tr} }+\epsilon$.
* Supóngase que $E:X\to Z$ es un embebido de un EVT cuya imagen está cerrada en Z, y sea $\pi :Z\to Z/\operatorname {Im} E$ la proyección canónica. Supóngase que cada disco compacto en $Z/\operatorname {Im} E$ es la imagen bajo $\pi$ de un disco de Banach acotado en Z (esto es cierto, por ejemplo, si X y Z son espacios de Fréchet, o si Z es el dual fuerte de un espacio de Fréchet y $\operatorname {Im} E$ está débilmente cerrado en Z). Entonces, para cada aplicación nuclear $N:Y\to Z/\operatorname {Im} E$ existe una aplicación nuclear ${\tilde {N}}:Y\to Z$ tal que $\pi \circ {\tilde {N}}=N$.
** Además, cuando X y Z son espacios de Banach y E es una isometría, entonces para cualquier $\epsilon >0$, se puede elegir ${\tilde {N}}$ de modo que ‖N$^~$‖$_{Tr}$≤‖N‖$_{Tr}$+ϵ{\textstyle \left\|{\tilde {N}}\right\|_{\operatorname {Tr} }\leq \left\|N\right\|_{\operatorname {Tr} }+\epsilon }.
Sean X e Y espacios localmente convexos de Hausdorff y sea $N:X\to Y$ un operador lineal continuo.
* Cualquier aplicación nuclear es compacta.
* Para cada topología de convergencia uniforme en $L(X;Y)$, las aplicaciones nucleares están contenidas en el cierre de $X'\otimes Y$ (cuando $X'\otimes Y$ se ve como un subespacio de $L(X;Y)$).