|
Uno o varios wikipedistas están trabajando actualmente en este artículo o sección. Es posible que a causa de ello haya lagunas de contenido o deficiencias de formato. Si quieres, puedes ayudar y editar, pero antes de realizar correcciones mayores contáctalos en sus páginas de discusión o en la del artículo para poder coordinar la redacción.
Uso de esta plantilla: {{En desarrollo|nombre de usuario|t={{sust:CURRENTTIMESTAMP}}}} o {{sust:En desarrollo}} |
En matemáticas, el producto tensorial inyectivo de dos espacios vectoriales topológicos (EVTs) fue introducido por Alexander Grothendieck, que lo utilizó para definir los espacios nucleares. En general, un producto tensorial inyectivo no es necesariamente completo, por lo que su completación se denomina productos tensoriales inyectivos completos. Los productos tensoriales inyectivos tienen aplicaciones fuera de los espacios nucleares. En particular, como se describe a continuación, muchos EVTs que se definen para funciones con valores reales o complejos, por ejemplo, el espacio de Schwartz o el espacio de funciones continuamente diferenciables, se pueden extender inmediatamente a funciones valoradas en un EVT localmente convexo de Hausdorff sin necesidad alguna de extender definiciones (como "diferenciable en un punto") de funciones con valores reales/complejos a funciones con valores en .
Preliminares y notación
Sean y espacios vectoriales topológicos, y una aplicación lineal.
- es un homomorfismo topológico u homomorfismo, si es lineal, continuo, y es una aplicación abierta, donde tiene la topología subespacial inducida por
- Si es un subespacio de , entonces tanto la aplicación cociente como la inyección canónica son homomorfismos. En particular, cualquier aplicación lineal se puede descomponer canónicamente de la siguiente manera: donde define una biyección.
- El conjunto de aplicaciones lineales continuas (respectivamente, aplicaciones bilineales continuas ) se denotará por (respectivamente, ), donde si es el cuerpo escalar, entonces se puede escribir (respectivamente, ).
- El conjunto de aplicaciones bilineales continuas separadamente (es decir, continuas en cada variable cuando la otra variable es fija) se denotará por donde, si es el cuerpo escalar, entonces se puede escribir
- Denótese el espacio dual de por y el espacio dual algebraico (que es el espacio vectorial de todos los funcionales lineales en sean continuas o no) por
- Para aumentar la claridad de la exposición, se usa la convención común de escribir elementos de con una comilla después del símbolo (por ejemplo, denota un elemento de (no confundir con una derivada) y las variables y en general no están relacionadas de manera alguna).
Notación para topologías
- denota la topología más gruesa en , lo que hace que cada aplicación en sea continua y o denota dotado con esta topología.
- denota la topología *débil sobre y o denota dotado con esta topología.
- Téngase en cuenta que cada induce una aplicación definida por es la topología más gruesa en X', lo que hace que todas esas aplicaciones sean continuas.
- denota la topología de convergencia acotada en y o denota dotado con esta topología.
- denota la topología de convergencia limitada en o la topología dual fuerte en y o denota dotado con esta topología.
- Como es habitual, si se considera como 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
- denota la topología de Mackey en o la topología de convergencia uniforme en los subconjuntos convexos equilibrados débilmente compactos de y o denota dotado con esta topología. es la topología más fina en un EVT localmente convexo , cuyo espacio dual continuo es igual a
- denota la topología de Mackey sobre o la topología de convergencia uniforme en los subconjuntos convexos equilibrados débilmente compactos de y o denota dotado de esta topología.
- Téngase en cuenta que
- denota la 'topología de convergencia uniforme en subconjuntos equicontinuos de y o denota dotado con esta topología.
- Si es un conjunto de aplicaciones lineales , entonces es equicontinuo si y solo si es equicontinuo en el origen; es decir, si y solo si para cada entorno del origen en existe un entorno del origen en tal que para cada
- Un conjunto de aplicaciones lineales de a se llama equicontinuo si para cada entorno del origen en existe un entorno del origen en tal que para todo
Definición
En todo momento, se considra que e son espacios vectoriales topológicos con espacios duales continuos e Téngase en cuenta que casi todos los resultados descritos son independientes de si estos espacios vectoriales están sobre o sobre , pero para simplificar la exposición se asume que están sobre el cuerpo
Aplicaciones bilineales continuas como producto tensorial
A pesar de que el producto tensorial es una construcción puramente algebraica (su definición no implica ninguna topología), el espacio vectorial de funcionales bilineales continuos es siempre un producto tensorial de e (es decir, ) cuando se define en la forma ahora descrita.
Para cada denótese por la forma bilineal en definida por
Este aplicación es siempre continua, y por lo tanto, la asignación que envía a la forma bilineal induce una aplicación canónica.
cuya imagen está contenida en
De hecho, cada forma bilineal continua en pertenece al intervalo de la imagen de esta aplicación (es decir, ).
El siguiente teorema se puede utilizar para verificar que
- junto con la aplicación anterior es un producto tensorial de e
Sean y espacios vectoriales, y sea una aplicación bilineal. Entonces, es un producto tensorial de e si y solo si la imagen de abarca todo (es decir, ), y los espacios vectoriales e son -linealmente disjuntos, lo que por definición significa que para todas las sucesiones de elementos y de la misma longitud finita que satisfacen
- Si todos los son linealmente independientes, entonces todos los son y
- Si todos los son linealmente independientes, entonces todos los son
De manera equivalente, e son linealmente disjuntos si y solo si para todas las sucesiones linealmente independientes en y todas las sucesiones linealmente independientes en los vectores son linealmente independientes.
|
Topología
De ahora en adelante, se supondrá que todos los espacios vectoriales topológicos considerados son localmente convexos.
Si es cualquier espacio vectorial topológico localmente convexo, entonces y para cualquier subconjunto equicontinuo y y cualquier entorno en definen
donde cada conjunto está acotado en lo que es necesario y suficiente para que la colección de todos los forme una topología en un EVT localmente convexa en
Esta topología se llama topología y siempre que un espacio vectorial esté dotado de la topología , esto se indicará colocando como subíndice antes del paréntesis de apertura. Por ejemplo, dotado con la topología se indicará como
Si es de Hausdorff, entonces también lo es la topología .
En el caso especial en el que es el cuerpo escalar subyacente, es el producto tensorial , por lo que el espacio vectorial topológico se denomina producto tensorial inyectivo de e y se denota por
Este EVT no es necesariamente completo, por lo que se construirá su completación, indicada por .
Cuando todos los espacios son de Hausdorff, entonces está completo si y solo si tanto como están completos, en cuyo caso la completación de es un subespacio vectorial de
Si e son espacios normados, entonces también lo es donde es un espacio de Banach si y solo si esto es cierto tanto para como para
Conjuntos equicontinuos
Una razón para converger en subconjuntos equicontinuos (de todos los tipos) es el siguiente hecho importante:
- Un conjunto de funcionales lineales continuas en un EVT [nota 1] es equicontinuo si y solo si está contenido en el polar de algún entorno del origen en ; es decir,
La topología de un EVT está completamente determinada por los entornos abiertos del origen. Este hecho, junto con el teorema bipolar, significa que mediante la operación de tomar la polar de un subconjunto, la colección de todos los subconjuntos equicontinuos de "codifica" toda la información sobre la topología dada de . Específicamente, distintas topologías de un EVT localmente convexas en producen distintas colecciones de subconjuntos equicontinuos y, a la inversa, dada cualquier colección de conjuntos equicontinuos, la topología original de un EVT se puede recuperar tomando el polar de cada conjunto (equicontinuo) de la colección. Así, a través de esta identificación, la convergencia uniforme en la colección de subconjuntos equicontinuos es esencialmente una convergencia uniforme en la topología misma del EVT. Esto permite relacionar directamente la topología inyectiva con las topologías dadas de e
Además, la topología de un espacio de Hausdorff localmente convexo es idéntica a la topología de convergencia uniforme en los subconjuntos equicontinuos de .
Por esta razón, en el artículo se enumeran algunas propiedades de conjuntos equicontinuos que son relevantes para tratar con el producto tensorial inyectivo. e son cualquier espacio localmente convexo y es una colección de aplicaciones lineales de sobre
- Si es equicontinua, entonces las topologías subespaciales que hereda de las siguientes topologías en son idénticas:
- La topología de la convergencia precompacta.
- La topología de la convergencia compacta.
- La topología de la convergencia puntual.
- La topología de la convergencia puntual en un subconjunto denso dado de
- Un conjunto equicontinuo está acotado en la topología de convergencia acotada (es decir, acotado en ). Entonces, en particular, también estará acotado en cada topología del EVT que sea más gruesa que la topología de convergencia acotada.
- Si es un espacio barrilado e es localmente convexo, entonces para cualquier subconjunto las siguientes expresiones son equivalentes:
- es equicontinuo.
- está acotado en la topología de convergencia puntual (es decir, acotado en ).
- está acotado en la topología de convergencia acotada (es decir, acotado en ).
En particular, para demostrar que un conjunto es equicontinuo basta demostrar que está acotado en la topología de convergencia puntual.
- Si es un espacio de Baire, entonces cualquier subconjunto que esté acotado en es necesariamente equicontinuo.
- Si es separable, es metrizable y es un subconjunto denso de entonces la topología de convergencia puntual en hace que sea metrizable, de modo que, en particular, la topología subespacial que cualquier subconjunto equicontinuo hereda de es metrizable.
Para subconjuntos equicontinuos del espacio dual continuo (donde es ahora el campo escalar subyacente de ), se cumple lo siguiente:
- El cierre débil de un conjunto equicontinuo de funcionales lineales en es un subespacio compacto de
- Si es separable, entonces cada subconjunto equicontinuo débilmente cerrado de es un espacio compacto metrizable cuando se le da la topología débil (es decir, la topología subespacial heredada de ).
- Si es un espacio normal, entonces un subconjunto es equicontinuo si y solo si está fuertemente acotado (es decir, acotado en ).
- Si es un espacio barrilado, entonces para cualquier subconjunto lo siguiente es equivalente:
- es equicontinuo;
- es relativamente compacto en la topología dual débil;
- está débilmente acotado;
- está fuertemente acotado.
Mencionamos algunas propiedades básicas importantes adicionales relevantes para el producto tensor inyectivo:
- Supongamos que es una aplicación bilineal donde es Espacio de Fréchet, es metrizable e es localmente convexo. Si es continuo por separado, entonces es continuo.
Identificación canónica de aplicaciones bilineales continuas por separado con aplicaciones lineales
La igualdad establecida siempre se cumple; es decir, si es una aplicación lineal, entonces es continuo si y solo si es continuo, donde aquí tiene su topología original.
También existe un isomorfismo canónico en el espacio vectorial
Para definirlo, para cada forma bilineal continua por separado definida en y cada dejemos que se defina por
Debido a que es canónicamente isomorfo en el espacio vectorial de (a través del valor dla aplicación canónico en ), se identificará como un elemento de que se denotará por
Esto define una aplicación dado por y, por lo tanto, el isomorfismo canónico está, por supuesto, definido por
Cuando a se le da la topología de convergencia uniforme en subconjuntos equicontinuos de la aplicación canónico se convierte en un isomorfismo EVT
En particular, puede integrarse canónicamente en EVT en ; además, la imagen en de bajo la aplicación canónico consiste exactamente en el espacio de aplicaciones lineales continuas cuya imagen es de dimensión finita.
La inclusión siempre se mantiene. Si está normado, entonces es de hecho un subespacio vectorial topológico de Y si además es Banach, entonces también lo es (incluso si no está completo).
Propiedades
la aplicación canónico es siempre continuo y la topología e es siempre más basta que π-topology, que a su vez es más basta que inductive topology (la topología EVT localmente convexa más fina que hace que sea continuo por separado).
El espacio es Hausdorff si y solo si tanto como son Hausdorff.
Si e están normalizados, entonces es normal, en cuyo caso para todos
Supongamos que y son dos aplicaciones lineales entre espacios localmente convexos. Si tanto como son continuos, entonces también lo es su producto tensor Además:
- Si y son ambos Espacio vectorial topológico, entonces también lo es
- Si (respectivamente, ) es un subespacio lineal de (respectivamente, ), entonces es canónicamente isomorfo a un subespacio lineal de y es canónicamente isomorfo a un subespacio lineal de
- Hay ejemplos de y de modo que tanto como son homomorfismos sobreyectivos, pero es , no , un homomorfismo.
- Si los cuatro espacios están normalizados entonces
Relación con el producto tensorial proyectivo y los espacios nucleares
La topología proyectiva o la topología es la topología localmente convexa de finest sobre que hace continuo la aplicación canónico definido enviando a la forma bilineal Cuando está dotado de esto topología, entonces se denotará por y se llamará producto tensorial proyectivo de e
Grothendieck utilizó la siguiente definición para definir los espacios nucleares.
Definición 0: Sea un espacio vectorial topológico localmente convexo. Entonces es nuclear si para cualquier espacio localmente convexo el espacio vectorial canónico que incrusta es una incrustación de EVT cuya imagen es densa en el codominio.
Identificaciones canónicas de aplicaciones bilineales y lineales
En esta sección describimos identificaciones canónicas entre espacios de aplicaciones bilineales y lineales. Estas identificaciones se utilizarán para definir subespacios y topologías importantes (particularmente aquellos que se relacionan con operador nuclear y espacio nuclear).
Espacios duales del producto tensorial inyectivo y su terminación
Suponer que
denota la incrustación EVT de en su finalización y deja
sea su matriz transpuesta, que es un isomorfismo espacial vectorial. Esto identifica el espacio dual continuo de como idéntico al espacio dual continuo de
la aplicación de identidad
es continuo (por definición de π-topology), por lo que existe una extensión lineal continua única
Si e son Espacio de Hilbert, entonces es inyectivo y el dual de es canónicamente isométricamente isomorfo al espacio vectorial de operador nuclear de a (con la norma de traza).
Producto tensor inyectivo de espacios de Hilbert
Hay una aplicación canónico.
que envía al aplicación lineal definido por
donde se puede demostrar que la definición de no depende de la elección particular de representación de la aplicación
es continuo y cuando está completo, tiene una extensión continua
Cuando e son Espacio de Hilbert, entonces es una incrustación de EVT y isometría (cuando los espacios reciben sus normas habituales) cuyo rango es el espacio de todos los operadores lineales compactos desde hasta (que es un subespacio vectorial cerrado de , por lo tanto es idéntico al espacio de operadores compactos de a (tenga en cuenta el número primo en ). El espacio de operadores lineales compactos entre dos Espacio de Banach cualesquiera (que incluye Espacio de Hilbert) e es un subconjunto cerrado de
Además, la aplicación canónica es inyectiva cuando e son espacios de Hilbert.
===Formas integrales y operadores===.
Formas bilineales integrales
Denota la aplicación de identidad por
y deja
denotamos su matriz transpuesta, que es una inyección continua. Recuerde que se identifica canónicamente con el espacio de aplicaciones bilineales continuas en De esta manera, el espacio dual continuo de se puede identificar canónicamente como un espacio subvectorial de denotado por Los elementos de se denominan integrales'. ('bilineal) formas en El siguiente teorema justifica la palabra integral .
'Theorem'
The dual of consists of exactly those continuous bilinear forms v on that can be represented in the form of a map
where and are some closed, equicontinuous subsets of and respectively, and is a positive Radon measure on the compact set with total mass
Furthermore, if is an equicontinuous subset of then the elements can be represented with fixed and running through a norm bounded subset of the space of Radon measures on
|
Operadores lineales integrales
Dado una aplicación lineal se puede definir una forma bilineal canónica llamada forma bilineal asociada en mediante
una aplicación continuo se llama integral si su forma bilineal asociada es una forma bilineal integral. una aplicación integral es de la forma, para cada e
para subconjuntos equicontinuos y débilmente cerrados adecuados y de e respectivamente, y alguna medida positiva de radón de la masa total
aplicación canónico en L(X; Y)
Existe una aplicación canónico que envía al aplicación lineal definido por donde se puede demostrar que la definición de no depende de la elección particular de representación de
Ejemplos
Espacio de familias sumables
En esta sección arreglamos algunos conjuntos arbitrarios (posiblemente conjunto no numerable) de a EVT y dejamos que sea el conjunto dirigido de todos los subconjuntos finitos de dirigidos por la inclusión de
Sea una familia de elementos en un EVT y para cada subconjunto finito sea Llamamos a summable en si el límite del net converge en a algún elemento (cualquier elemento de este tipo es llamada su suma). El conjunto de todas estas familias sumables es un subespacio vectorial de denotado por
Ahora definimos una topología en de una manera muy natural. Esta topología resulta ser la topología inyectiva tomada de y transferida a mediante un isomorfismo canónico del espacio vectorial (el obvio). Esto es algo común cuando se estudian los inyectivos y producto tensorial proyectivo de espacios de función/secuencia y EVT: la "forma natural" en la que uno definiría (desde cero) una topología en dicho producto tensorial es frecuentemente equivalente a la topología inyectiva o producto tensorial proyectivo.
Sea una base de entornos equilibradas convexas de 0 en y para cada sea su Funcional de Minkowski. Para cualquier y cualquier permita
donde define una seminorma en La familia de seminormas genera una topología que convierte a en un espacio localmente convexo. El espacio vectorial dotado de esta topología se denotará por . El caso especial donde es el campo escalar se denotará por
Hay una incrustación canónica de espacios vectoriales definidos linealizando la aplicación bilineal definido por
'Theorem':
The canonical embedding (of vector spaces) becomes an embedding of topological vector spaces when is given the injective topology and furthermore, its range is dense in its codomain. If is a completion of then the continuous extension of this embedding is an isomorphism of EVTs. So in particular, if is complete then is canonically isomorphic to
|
Espacio de funciones vectoriales continuamente diferenciables
En todo momento, sea un subconjunto abierto de donde es un número entero y sea un espacio vectorial topológico localmente convexo (EVT).
'Definición Supongamos que y son una función tal que con es un punto límite de Digamos que es diferenciable en si existen vectores en llamados derivadas parciales de , tales que
donde
Naturalmente, se puede ampliar la noción de función continuamente diferenciable a funciones con valores definidas en
Para cualquier sea el espacio vectorial de todos los aplicaciones con valores definidos en y sea el subespacio vectorial de que consiste de todos los aplicaciones en que tienen soporte compacto.
Luego se pueden definir topologías en y de la misma manera que se definen las topologías en y para space of distributions and test functions (consulte el artículo: Differentiable vector-valued functions from Euclidean space).
Todo este trabajo para ampliar la definición de diferenciabilidad y varias topologías resulta ser exactamente equivalente a simplemente tomar el producto tensorial inyectivo completo:
'Theorem'
If is a complete Hausdorff locally convex space, then is canonically isomorphic to the injective tensor product
|
Espacios de aplicaciones continuos desde un espacio compacto
Si es un espacio normado y si es un conjunto compacto, entonces la norma en es igual a
Si y son dos espacios compactos
espacios ct, luego donde este aplicación canónico es un isomorfismo de espacios de Banach.
===Espacios de secuencias que convergen a 0===.
Si es un espacio normado, entonces denota el espacio de todas las secuencias en que convergen al origen y le dan a este espacio la norma
Sea denotar
Entonces, para cualquier espacio de Banach, es canónicamente isométricamente isomorfo a .
Espacio de funciones de Schwartz
Ahora generalizaremos el Espacio de Schwartz a funciones valoradas en un EVT.
Sea el espacio de todos los tal que para todos los pares de polinomios y en variables , es un subconjunto acotado de
Para generalizar la topología de Espacio de Schwartz a le damos a la topología de convergencia uniforme sobre de las funciones ya que y varían en todos los pares posibles de polinomios en variables .
Theorem
If is a complete locally convex space, then is canonically isomorphic to
|
Véase también
Notas
- ↑ Esto es cierto incluso si no se supone que sea de Hausdorff o localmente convexo.
Referencias
Bibliografía
- 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, Grothendieck (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.
Enlaces externos