Operador nuclear , la enciclopedia libre
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).[1]
Preliminares y notación
[editar]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 y la completación de este espacio se indicará con .
- L : X → Y es un homomorfismo topológico o un homomorfismo, si es lineal, continuo, y es una aplicación abierta, donde , 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 ) 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 se puede descomponer canónicamente de la siguiente manera: donde define una biyección llamada biyección canónica asociada con L.
- X* o 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 con un número primo después del símbolo (por ejemplo, denota un elemento de y no una derivada, y las variables x y no necesita estar relacionado de ninguna manera).
- 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 para cada . En este caso, existe una única aplicación positiva r: H → H, llamada raíz cuadrada de L, tal que .[2]
- Si es cualquier aplicación lineal continua entre espacios de Hilbert, entonces es siempre positivo. Ahora, denótese con R : H → H su raíz cuadrada positiva, que se denomina valor absoluto de L. Defina primero en configurando para y extendiendo continuamente a , y luego defínase U en configurando para y extiéndase esta aplicación linealmente a todo . La aplicación es una isometría sobreyectiva y .
- Un aplicación lineal se llama compacta o completamente continua si existe un entorno U del origen en X tal que es precompacto en Y.[3]
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:[4]
Existe una sucesión de números positivos, decrecientes y finitos o convergentes a 0, y una sucesión de subespacios de dimensión finita distinta de cero de H (i= 1, 2, ) con las siguientes propiedades: (1) los subespacios son ortogonales por pares; (2) para cada i y cada , ; y (3) el elemento ortogonal del subespacio abarcado por es igual al núcleo de L. [4]
Notación para topologías
[editar]- σ(X, X′) denota la topología más gruesa en X, lo que hace que cada aplicación en X′ sea continua y o denota X dotado de esta topología.
- σ(X′, X) denota la topología *débil en X* y o denota X′ dotado con esta topología.
- Téngase en cuenta que cada induce un aplicación definida por . σ(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 o 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 o 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)
[editar]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 y sobre el cuerpo escalar subyacente.
Para cada , sea la forma lineal canónica en Bi(X, Y) definida por para cada u ∈ Bi(X, Y ). Esto induce un aplicación canónico definida por , donde 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.[5] 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 desde el espacio de aplicaciones lineales "continuas" al espacio de aplicaciones bilineales "continuas".[6] 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 .[6]
Operadores nucleares entre espacios de Banach
[editar]Existe un espacio vectorial canónico que incorpora definido haciendo corresponder a la aplicación
Suponiendo que X e Y son espacios de Banach, entonces la aplicación tiene la norma (para ver que la norma es , obsérvese que es ). Por tanto, tiene una extensión continua a una aplicación , donde se sabe que esta aplicación no es necesariamente inyectiva.[7] El rango de este aplicación se denota por y sus elementos se denominan operadores nucleares.[8] es un EVT-isomorfo a y la norma en este espacio cociente, cuando se transfiere a elementos de a través dla aplicación inducida , se denomina norma de la traza y se denota por . Explícitamente, si es un operador nuclear, entonces .
Caracterización
[editar]Supóngase que X e Y son espacios de Banach y que es un operador lineal continuo.
- Los siguientes enunciados son equivalentes:
- es nuclear.
- Existe una secuencia en la bola unitaria cerrada de , una sucesión en la bola unitaria cerrada de y una sucesión compleja tal que y son iguales a la aplicación:[9] para todo . Además, la norma de la traza es igual al mínimo de los números sobre el conjunto de todas las representaciones de como tal serie.[9]
- Si Y es reflexivo, entonces es nuclear si y solo si es nuclear, en cuyo caso .[10]
Propiedades
[editar]Sean X e Y espacios de Banach y sea un operador lineal continuo.
- Si es una aplicación nuclear, entonces su transposición es un aplicación nuclear continua (cuando los espacios duales tienen sus topologías duales fuertes) y .[11]
Operadores nucleares entre espacios de Hilbert
[editar]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 donde R : X → X es la raíz cuadrada de y U : X → Y es tal que 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.[12]
Caracterizaciones
[editar]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.[13]
- R : X → X es compacto y es finito, en cuyo caso .[13]
- Aquí, 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) de números positivos con los correspondientes espacios vectoriales no triviales de dimensión finita y mutuamente ortogonales tales que el ortogonal (en H) de es igual a (y por lo tanto, también a ) y para todo k, para todos los . La traza se define como .
- es nuclear, en cuyo caso .[10]
- Hay dos secuencias ortogonales en X y en Y, y una sucesión en tal que para todo , .[13]
- N : X → Y es una aplicación integral.[14]
Operadores nucleares entre espacios localmente convexos
[editar]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 y la proyección canónica. Se puede definir el espacio de Banach auxiliar con la aplicación canónica cuya imagen, , es densa en así como el espacio auxiliar normado por y con un aplicación canónica , siendo la inyección canónica (continua). Dada cualquier aplicación lineal continua , se obtiene mediante composición la aplicación lineal continua . Por tanto, se tiene una inyección y de ahora en adelante se usará esta aplicación para identificar como un subespacio de .[8]
Definición: Sean X e Y espacios localmente convexos de Hausdorff. La unión de todos los rangos 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 y sus elementos se denominan aplicaciones nucleares de X en Y.[8]
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
[editar]- Sean W, X, Y y Z espacios localmente convexos de Hausdorff, una aplicación nuclear y y sean aplicaciones lineales continuas. Entonces, , y son nucleares, y si además W, X, Y y Z son todos espacios de Banach, entonces .[15][16]
- Si es un aplicación nuclear entre dos espacios localmente convexos de Hausdorff, entonces su transposición es un aplicación nuclear continuo (cuando los espacios duales tienen sus fuertes topologías duales).[3]
- Si además X e Y son espacios de Banach, entonces .[10]
- Si es una aplicación nuclear entre dos espacios localmente convexos de Hausdorff y si es una terminación de X, entonces la extensión continua única de N es nuclear.[16]
Caracterizaciones
[editar]Sean X e Y espacios localmente convexos de Hausdorff y sea un operador lineal continuo.
- Son equivalentes los siguientes enunciados:
- 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 y la aplicación inducida son nucleares, donde es la extensión continua única de , que es la aplicación única que satisface donde es la inclusión natural y es la proyección canónica.[7]
- Existen espacios de Banach y y aplicaciones lineales continuas , y tales que es nuclear y .[9]
- Existe una sucesión equicontinua en , un espacio normado auxiliar acotado , una sucesión en B y una sucesión compleja tal que y son iguales a la aplicación:[9] para todo .
- 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 con acotado en , acotado en Y y .[9]
Propiedades
[editar]A continuación se muestra un tipo de teorema de Hahn–Banach empleado para ampliar aplicaciones nucleares:
- Si es un embebido de un EVT y es un aplicación nuclear, entonces existe un aplicación nuclear tal que . Además, cuando X e Y son espacios de Banach y E es una isometría, entonces, para cualquier , se puede elegir de modo que .[17]
- Supóngase que es un embebido de un EVT cuya imagen está cerrada en Z, y sea la proyección canónica. Supóngase que cada disco compacto en es la imagen bajo 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 está débilmente cerrado en Z). Entonces, para cada aplicación nuclear existe una aplicación nuclear tal que .
- Además, cuando X y Z son espacios de Banach y E es una isometría, entonces para cualquier , se puede elegir de modo que .[17]
Sean X e Y espacios localmente convexos de Hausdorff y sea un operador lineal continuo.
- Cualquier aplicación nuclear es compacta.[3]
- Para cada topología de convergencia uniforme en , las aplicaciones nucleares están contenidas en el cierre de (cuando se ve como un subespacio de ).[7]
Véase también
[editar]- Espacio normado auxiliar
- Operador covarianza
- Topología inicial
- Producto tensorial inductivo
- Producto tensorial inyectivo
- Espacio localmente convexo
- Operadores nucleares entre espacios de Banach
- Espacio nuclear
- Producto tensorial proyectivo
- Producto tensorial de espacios de Hilbert
- Producto tensorial topológico
- Operador de clase de traza
- Espacio vectorial topológico
Referencias
[editar]- ↑ V.I. Bogachev, O.G. Smolyanov (2017). Topological Vector Spaces and Their Applications. Springer. pp. 134 de 456. ISBN 9783319571171. Consultado el 10 de febrero de 2024.
- ↑ Trèves, 2006, p. 488.
- ↑ a b c Trèves, 2006, p. 483.
- ↑ a b Trèves, 2006, p. 490.
- ↑ Schaefer y Wolff, 1999, p. 92.
- ↑ a b Schaefer y Wolff, 1999, p. 93.
- ↑ a b c Schaefer y Wolff, 1999, p. 98.
- ↑ a b c Trèves, 2006, pp. 478-479.
- ↑ a b c d e Trèves, 2006, pp. 481-483.
- ↑ a b c Trèves, 2006, p. 484.
- ↑ Trèves, 2006, pp. 483-484.
- ↑ Trèves, 2006, pp. 488-492.
- ↑ a b c Trèves, 2006, pp. 492-494.
- ↑ Trèves, 2006, pp. 502-508.
- ↑ Trèves, 2006, pp. 479-481.
- ↑ a b Schaefer y Wolff, 1999, p. 100.
- ↑ a b Trèves, 2006, p. 485.
Bibliografía
[editar]- Diestel, Joe (2008). The metric theory of tensor products : Grothendieck's résumé revisited. Providence, R.I: American Mathematical Society. ISBN 978-0-8218-4440-3. OCLC 185095773.
- Dubinsky, Ed (1979). The structure of nuclear Fréchet spaces. Berlin New York: Springer-Verlag. ISBN 3-540-09504-7. OCLC 5126156.
- Grothendieck, Alexander (1966). Produits tensoriels topologiques et espaces nucléaires (en francés). Providence: American Mathematical Society. ISBN 0-8218-1216-5. OCLC 1315788.
- Husain, Taqdir (1978). Barrelledness in topological and ordered vector spaces. Berlin New York: Springer-Verlag. ISBN 3-540-09096-7. OCLC 4493665.
- Khaleelulla, S. M. (1982). Counterexamples in Topological Vector Spaces. Lecture Notes in Mathematics 936. Berlin, Heidelberg, New York: Springer-Verlag. 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.
- Nlend, H (1977). Bornologies and functional analysis : introductory course on the theory of duality topology-bornology and its use in functional analysis. Amsterdam New York New York: North-Holland Pub. Co. Sole distributors for the U.S.A. and Canada, Elsevier-North Holland. ISBN 0-7204-0712-5. OCLC 2798822.
- Nlend, H (1981). Nuclear and conuclear spaces : introductory courses on nuclear and conuclear spaces in the light of the duality. Amsterdam New York New York, N.Y: North-Holland Pub. Co. Sole distributors for the U.S.A. and Canada, Elsevier North-Holland. ISBN 0-444-86207-2. OCLC 7553061.
- Pietsch, Albrecht (1972). Nuclear locally convex spaces. Berlin,New York: Springer-Verlag. ISBN 0-387-05644-0. OCLC 539541.
- Robertson, A. P. (1973). Topological vector spaces. Cambridge England: University Press. ISBN 0-521-29882-2. OCLC 589250.
- Ryan, Raymond (2002). Introduction to tensor products of Banach spaces. London New York: Springer. ISBN 1-85233-437-1. OCLC 48092184.
- 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 (1979). Schwartz spaces, nuclear spaces, and tensor products. Berlin New York: Springer-Verlag. ISBN 3-540-09513-6. OCLC 5126158.