Producto tensorial proyectivo

En análisis funcional, un área de las matemáticas, el producto tensorial proyectivo de dos espacios localmente convexos es una estructura de espacio vectorial topológico natural en su producto tensorial. Es decir, dados los espacios vectoriales topológicos localmente convexos $X$ e $Y$, la topología proyectiva, o topología p, en $X\otimes Y$ es la topología más fuerte que hace de $X\otimes Y$ un espacio vectorial topológico localmente convexo tal que la aplicación canónica $(x,y)\mapsto x\otimes y$ (de $X\times Y$ a $X\otimes Y$) es continua. Cuando está equipado con esta topología, $X\otimes Y$ se denota como $X{\otimes }_{\pi }Y$ y se denomina producto tensorial proyectivo de $X$ e $Y$.

Definiciones

Sean $X$ e $Y$ espacios vectoriales topológicos localmente convexos. Su producto tensor proyectivo $X{\otimes }_{\pi }Y$ es el único espacio vectorial topológico localmente convexo con el espacio vectorial subyacente $X\otimes Y$ que tiene la siguiente propiedad universal:Plantilla:Sfn

Para cualquier espacio vectorial topológico localmente convexo $Z$, si ${\mathrm{\Phi }}_Z$ es la aplicación canónica desde el espacio vectorial de aplicaciones bilineales $X\times Y\to Z$ al espacio vectorial de aplicaciones lineales $X\otimes Y\to Z$; entonces la imagen de la restricción de ${\mathrm{\Phi }}_Z$ a las aplicaciones bilineales continuas es el espacio de las aplicaciones lineales continuas $X{\otimes }_{\pi }Y\to Z$.

Cuando las topologías de $X$ e $Y$ son inducidas por una seminorma, la topología de $X{\otimes }_{\pi }Y$ es inducida por seminormas construidas a partir de aquellas en $X$ e $Y$ de la siguiente manera. Si $p$ es una seminorma en $X$ y $q$ es una seminorma en $Y$, se define su producto tensorial $p\otimes q$ como la seminorma en $X\otimes Y$ dada por

$(p\otimes q)(b)=\underset{r>0,b\in rW}{\inf }r$

para todo $b$ en $X\otimes Y$, donde $W$ es la envolvente convexa equilibrada del conjunto $\{x\otimes y:p(x)\le 1,q(y)\le 1\}$. La topología proyectiva en $X\otimes Y$ se genera mediante la colección de dichos productos tensoriales de las seminormas en $X$ e $Y$.Plantilla:SfnPlantilla:Sfn Cuando $X$ e $Y$ son espacios normados, esta definición aplicada a las normas en $X$ e $Y$ da una norma, llamada norma proyectiva, en $X\otimes Y$ que genera la topología proyectiva.Plantilla:Sfn

Propiedades

Siempre se supone que todos los espacios son localmente convexos. El símbolo $X{\hat{\otimes }}_{\pi }Y$ denota la completación del producto tensorial proyectivo de $X$ e $Y$.

• Si $X$ e $Y$ son ambos espacios de Hausdorff, entonces también lo es $X{\otimes }_{\pi }Y$;Plantilla:Sfn si $X$ e $Y$ son espacios de Fréchet, entonces $X{\otimes }_{\pi }Y$ es barrilado.Plantilla:Sfn
• Para dos operadores lineales continuos cualesquiera $u_1:X_1\to Y_1$ y $u_2:X_2\to Y_2$, su producto tensorial (como aplicaciones lineales) $u_1\otimes u_2:X_1{\otimes }_{\pi }{X}_2\to Y_1{\otimes }_{\pi }{Y}_2$ es continuo.Plantilla:Sfn
• En general, el producto tensorial proyectivo no respeta subespacios (por ejemplo, si $Z$ es un subespacio vectorial de $X$, entonces el EVT $Z{\otimes }_{\pi }Y$ tiene en general una topología más gruesa que la topología del subespacio heredada de $X{\otimes }_{\pi }Y$).Plantilla:Sfn
• Si $E$ y $F$ son subespacios complementados de $X$ e $Y,$ respectivamente, entonces $E\otimes F$ es un subespacio vectorial complementado de $X{\otimes }_{\pi }Y$ y la norma proyectiva en $E{\otimes }_{\pi }F$ es equivalente a la norma proyectiva en $X{\otimes }_{\pi }Y$ restringida al subespacio $E\otimes F$. Además, si $X$ y $F$ se complementan con proyecciones de la norma 1, entonces $E\otimes F$ se complementa con una proyección de la norma 1.Plantilla:Sfn
• Sean $E$ y $F$ subespacios vectoriales de los espacios de Banach $X$ e $Y$, respectivamente. Entonces $E\hat{\otimes }F$ es un subespacio del EVT $X{\hat{\otimes }}_{\pi }Y$ si y solo si cada forma bilineal acotada en $E\times F$ se extiende a una forma bilineal continua en $X\times Y$ con la misma norma.Plantilla:Sfn

Completación

En general, el espacio $X{\otimes }_{\pi }Y$ no está completo, incluso si tanto $X$ como $Y$ están completos (de hecho, si $X$ e $Y$ son espacios de Banach de dimensión infinita, entonces $X{\otimes }_{\pi }Y$ Plantilla:Enf es necesariamente completo).Plantilla:Sfn Sin embargo, $X{\otimes }_{\pi }Y$ siempre se puede embeber linealmente como un subespacio vectorial denso de algún EVT localmente convexo completo, que generalmente se denota como $X{\hat{\otimes }}_{\pi }Y$.

El espacio dual continuo de $X{\hat{\otimes }}_{\pi }Y$ es el mismo que el de $X{\otimes }_{\pi }Y$, es decir, el espacio de formas bilineales continuas $B(X,Y)$.Plantilla:Sfn

Representación de Grothendieck de elementos en la completación

En un espacio localmente convexo de Hausdorff $X,$ una sucesión ${\left(x_i\right)}_{i=1}^{\mathrm{\infty }}$ en $X$ es absolutamente convergente si $\sum _{i=1}^{\mathrm{\infty }}p\left(x_i\right)<\mathrm{\infty }$ para cada seminorma continua $p$ en $X.$Plantilla:Sfn Se escribe $x=\sum _{i=1}^{\mathrm{\infty }}{x}_i$ si la sucesión de sumas parciales ${\left(\sum _{i=1}^n{x}_i\right)}_{n=1}^{\mathrm{\infty }}$ converge a $x$ en $X.$Plantilla:Sfn

El siguiente resultado fundamental en la teoría de productos tensoriales topológicos se debe a Alexander Grothendieck.Plantilla:Sfn

El siguiente teorema muestra que es posible hacer que la representación de $z$ sea independiente de las sucesiones ${\left(x_i\right)}_{i=1}^{\mathrm{\infty }}$ y ${\left(y_i\right)}_{i=1}^{\mathrm{\infty }}.$.

Topología de la convergencia bilimitada

Sean ${𝔅}_X$ y ${𝔅}_Y$ las familias de todos los subconjuntos acotados de $X$ e $Y,$ respectivamente. Dado que el espacio dual continuo de $X{\hat{\otimes }}_{\pi }Y$ es el espacio de formas bilineales continuas $B(X,Y),$ se puede colocar en $B(X,Y)$ la topología de convergencia uniforme en conjuntos en ${𝔅}_X\times {𝔅}_Y,$ que también se denomina topología de convergencia bilimitada. Esta topología es más gruesa que la topología fuerte en $B(X,Y)$.Plantilla:Harv Alexander Grothendieck estaba interesado en saber cuándo estas dos topologías eran idénticas. Esto es equivalente al problema siguiente: dado un subconjunto acotado $B\subseteq X\hat{\otimes }Y,$, ¿existen subconjuntos acotados $B_1\subseteq X$ y $B_2\subseteq Y$ tales que $B$ sea un subconjunto de la envolvente convexa cerrada de $B_1\otimes B_2:=\{b_1\otimes b_2:b_1\in B_1,b_2\in B_2\}$?

Grothendieck demostró que estas topologías son iguales cuando $X$ e $Y$ son ambos espacios de Banach o ambos son espacios DF (una clase de espacios introducida por GrothendieckPlantilla:Sfn).

También son iguales cuando ambos espacios son de Fréchet y uno de ellos es nuclear.Plantilla:Sfn

Dual fuerte y bidual

Sea $X$ un espacio vectorial topológico localmente convexo y sea $X^{\prime }$ su espacio dual continuo. Alexander Grothendieck caracterizó el dual y el bidual fuertes para determinadas situaciones:

Ejemplos

• Para $(X,𝒜,\mu )$ un espacio mesurable, sea $L^1$ el espacio de Lebesgue real $L^1(\mu )$. Considérese ahora que $E$ sea un verdadero espacio de Banach. Sea $L_E^1$ la completación del espacio de funciones simples $X\to E$, módulo el subespacio de funciones $X\to E$ cuyas normas puntuales, consideradas como funciones $X\to ℝ$, tienen integral $0$ con respecto a $\mu$. Entonces, $L_E^1$ es isométricamente isomorfo a $L^1{\hat{\otimes }}_{\pi }E$.Plantilla:Sfn

Véase también

• Producto tensorial inductivo
• Producto tensorial inyectivo
• Producto tensorial de espacios de Hilbert
• Producto tensorial topológico

Bibliografía

• Plantilla:Cite book
• Plantilla:Cita libro
• Plantilla:Cita libro

Lecturas adicionales

• Plantilla:Cite book
• Plantilla:Cite journal
• Plantilla:Cite book
• Plantilla:Cite book
• Plantilla:Cite book

Enlaces externos

• Espacio nuclear en ncatlab