Producto tensorial topológico , la enciclopedia libre
En matemáticas, normalmente hay muchas formas diferentes de construir un producto tensorial topológico de dos espacios vectoriales topológicos. Para espacios de Hilbert o espacios nucleares existe una teoría sencilla con buen comportamiento del producto tensorial (véase producto tensorial de espacios de Hilbert), pero para espacios de Banach o espacios vectoriales topológicos convexos generales la teoría es notoriamente sutil.
Motivación
[editar]Una de las motivaciones originales de los productos tensoriales topológicos es el hecho de que los productos tensoriales de los espacios de funciones suaves de valores reales en no se comportan como se esperaba. Existe una inyección
pero este no es un isomorfismo. Por ejemplo, la función no se puede expresar como una combinación lineal finita de funciones suaves en
- [1]
Solo se obtiene un isomorfismo después de construir el producto tensorial topológico; es decir,
Este artículo detalla primero la construcción en el caso de los espacios de Banach. El espacio no es un espacio de Banach, y al final se analizan más casos.
Productos tensoriales de espacios de Hilbert
[editar]El producto tensorial algebraico de dos espacios de Hilbert A y B tiene una forma sesquilineal (producto escalar) definido positivo natural inducido por las formas sesquilineales de A y B. Entonces, en particular, posee una forma cuadrática definida positiva natural, y la completación correspondiente es un espacio de Hilbert A ⊗ B, llamado producto tensorial (espacio de Hilbert) de A y B.
Si los vectores ai y bj son bases ortonormales de A y de B, entonces los vectores ai⊗bj forman una base ortonormal de A ⊗ B.
Normas cruzadas y productos tensoriales de espacios de Banach
[editar]Se usará la notación de (Ryan, 2002) en esta sección. La forma obvia de definir el producto tensorial de dos espacios de Banach y es emplear el método de los espacios de Hilbert: definir una norma en el producto tensorial algebraico y luego completar el espacio con esta norma. El problema es que existe más de una forma natural de definir una norma sobre el producto tensorial.
Si y son espacios de Banach, el producto tensorial algebraico de y significa el producto tensorial de y como espacios vectoriales y se denota por . El producto tensorial algebraico consta de todas las sumas finitas
donde es un número natural que depende de y y para
Cuando y son espacios de Banach, una norma cruzada (o ) en el producto tensorial algebraico es una norma que satisface las condiciones
Aquí y son elementos de espacios duales topológicos de y respectivamente, y es normal dual de El término norma cruzada razonable también se utiliza para la definición anterior.
Existe una norma cruzada llamada norma cruzada proyectiva, dada por
donde
Resulta que la norma cruzada proyectiva concuerda con la norma cruzada más grande ((Ryan, 2002), proposición 2.1).
Existe una norma cruzada llamada norma cruzada inyectiva, dada por
donde Aquí y denotan los duales topológicos de y respectivamente.
Téngase en cuenta que la norma cruzada inyectiva es solo en algún sentido razonable la "más pequeña".
Las terminaciones del producto tensorial algebraico en estas dos normas se denominan productos tensoriales proyectivos e inyectivos y se denotan por y
Cuando y son espacios de Hilbert, la norma utilizada para su producto tensorial en espacios de Hilbert no es igual a ninguna de estas normas en general. Algunos autores lo denotan como por lo que el producto del tensor espacial de Hilbert en la sección anterior sería
Una norma cruzada uniforme es una asignación a cada par de espacios de Banach de una norma cruzada razonable en , de modo que si son espacios de Banach arbitrarios, entonces para todos los operadores (lineales continuos) y el operador es continuo y Si y son dos espacios de Banach y es una norma cruzada uniforme, entonces define una norma cruzada razonable en el producto tensorial algebraico El espacio lineal normado obtenido al equipar a con esa norma se denota por La terminación de es un espacio de Banach, se denota por El valor de la norma dada por en y en el producto tensor completo para un elemento en (o ) se denota por
Se dice que una norma cruzada uniforme es finitamente generada si, para cada par de espacios de Banach y cada
Una norma cruzada uniforme es cofinitamente generada si, para cada par de espacios de Banach y cada
Una norma tensorial se define como una norma cruzada uniforme generada de forma finita. La norma cruzada proyectiva y la norma cruzada inyectiva definidas anteriormente son normas tensoriales y se denominan norma tensorial proyectiva y norma tensorial inyectiva, respectivamente.
Si y son espacios de Banach arbitrarios y es una norma cruzada uniforme arbitraria, entonces
Productos tensoriales de espacios vectoriales topológicos localmente convexos
[editar]Las topologías de los espacios vectoriales topológicos localmente convexos y están dadas por familias de seminormas. Para cada elección de seminorma en y en se puede definir la correspondiente familia de normas cruzadas en el tensor algebraico producto y al elegir una norma cruzada de cada familia se obtienen algunas normas cruzadas en que definen una topología. En general, hay una enorme cantidad de formas de hacer esto. Las dos formas más importantes son tomar todas las normas cruzadas proyectivas o todas las normas cruzadas inyectivas. Las completaciones de las topologías resultantes en se denominan productos tensoriales proyectivos e inyectivos, y se denotan por y Existe una aplicación natural de a
Si o es un espacio nuclear, entonces la aplicación natural de a es un isomorfismo. En términos generales, esto significa que si o es nuclear, entonces solo hay un producto tensorial sensible de y . Esta propiedad caracteriza a los espacios nucleares.
Véase también
[editar]- Espacio de Fréchet
- Núcleo de Fredholm
- Producto tensorial inductivo
- Producto tensorial inyectivo
- Producto tensorial proyectivo
- Topología inicial
- Producto tensorial de espacios de Hilbert
Referencias
[editar]Bibliografía
[editar]- Ryan, R.A. (2002), Introduction to Tensor Products of Banach Spaces, New York: Springer..
- Grothendieck, A. (1955), «Produits tensoriels topologiques et espaces nucléaires», Memoirs of the American Mathematical Society 16..