Espacio secuencial
En análisis funcional y en otras áreas relacionadas de las matemáticas, un espacio de secuencial (también espacio de sucesiones o espacio de secuencias) es un espacio vectorial cuyos elementos son sucesiones infinitas de números reales o de números complejos. De manera equivalente, es un espacio funcional cuyos elementos son funciones que establecen correspondencias entre los números naturales y el cuerpo K de los números reales o complejos. El conjunto de todas estas funciones se identifica naturalmente con el conjunto de todas las sucesiones posibles con elementos en K, y puede convertirse en un espacio vectorial bajo las operaciones adición puntual y multiplicación escalar puntual de funciones. Todos los espacios secuenciales son subespacios lineales de este espacio. Los espacios secuenciales suelen estar equipados con una norma, o al menos, con la estructura de un espacio vectorial topológico.
Los espacios secuenciales más importantes en el análisis son los espacios ℓp, que consisten en sucesiones sumables de potencias p, con la norma p, casos especiales de espacios Lp de medida numerable en el conjunto de los números naturales. Otras clases importantes de sucesiones como las sucesiones convergentes o las sucesiones nulas forman espacios secuenciales, denominados respectivamente c y c0 con la norma del supremo. Cualquier espacio secuencial también puede equiparse con una topología de convergencia puntual, bajo la que se convierte en un tipo especial de espacio de Fréchet, llamado espacio FK.
Definición
Una sucesión en un conjunto es simplemente una aplicación valorada en , cuyo valor en se denota por en lugar de la notación habitual entre paréntesis
Espacio de todas las secuencias
Sea el campo de los números reales o complejos. El conjunto de todas las sucesiones de elementos de es un espacio vectorial para la suma por componentes de
y la multiplicación escalar por componentes
Un espacio secuencial es cualquier subespacio vectorial de
Como espacio topológico, está naturalmente dotado de una topología producto. Bajo esta topología, es un espacio de Fréchet, lo que significa que es un espacio vectorial topológico (EVT) localmente convexo, metrizable y completo. Sin embargo, esta topología es bastante patológica: no hay normas continuas en (y por lo tanto, la topología del producto no puede ser definida por ninguna norma).[1] Entre los espacios de Fréchet, es mínimo al no tener normas continuas:
|
Pero la topología del producto también es inevitable: no admite una topología localmente convexa de Hausdorff estrictamente más gruesa.[1] Por esa razón, el estudio de sucesiones comienza encontrando un subespacio vectorial estricto de interés, y dotándolo de una topología diferente a la topología del subespacio.
Espacios ℓp
Para es el subespacio de que consta de todas las sucesiones que satisfacen
Si entonces la función de valor real en definida por
define una norma sobre De hecho, es un espacio métrico completo con respecto a esta norma, y por tanto es un espacio de Banach.
Si , entonces también es un espacio de Hilbert cuando está dotado de su espacio prehilbertiano canónico, llamado producto interno euclídeo, definido para todos los por
La norma canónica inducida por este producto interno es la norma habitual, lo que significa que para todo
Si entonces se define como el espacio de todos los bounded sequence dotados de la norma
también es un espacio de Banach.
Si entonces no conlleva una norma, sino más bien un metric definido por
c, c0 y c00
Una sucesión convergente es una secuencia tal que exista . El conjunto de todas las secuencias convergentes es un subespacio vectorial de llamado Dado que toda secuencia convergente está acotada, es un subespacio lineal de . Además, este espacio de secuencia es un subespacio cerrado de con respecto a norma del supremo, por lo que es un espacio de Banach con respecto a esta norma.
Una secuencia que converge a se llama límite de una sucesión y se denomina evanescente. El conjunto de todas las sucesiones que convergen a es un subespacio vectorial cerrado de que, cuando está dotado de la norma del supremo, se convierte en un espacio de Banach que se denota por y se llama espacio de sucesiones nulas o espacio de sucesiones evanescentes. .
El espacio de sucesiones finalmente cero, es el subespacio de que consta de todas las secuencias que tienen solo un número finito de elementos distintos de cero. Este no es un subespacio cerrado, y por lo tanto, no es un espacio de Banach con respecto a la norma del infinito. Por ejemplo, la secuencia donde para las primeras entradas de (para ) y es cero en el resto (es decir, ) es una sucesión de Cauchy, pero no converge a una sucesión en
Espacio de todas las secuencias finitas
Sea:
que denota el espacio de sucesiones finitas sobre . Como espacio vectorial, es igual a , pero tiene una topología diferente.
Para cada número natural , denota el espacio euclídeo habitual dotado con la topología euclídea, y sea denote la inclusión canónica.
- .
La imagen de cada inclusión es
y consecuentemente,
Esta familia de inclusiones le da a una topología final , definida como la topología más fina en , de modo que todas las inclusiones sean continuas (un ejemplo de topología coherente). Con esta topología, se convierte en un espacio vectorial topológico, secuencial, localmente convexo, de Hausdorff y completo, es decir, no es un espacio de Fréchet-Urysohn. La topología también es estrictamente más fina que la topología del subespacio inducida en por .
La convergencia en tiene una descripción natural: si y es una sucesión en , entonces en si y solo si finalmente está contenida en una imagen única y bajo la topología natural de esa imagen.
A menudo, cada imagen se identifica con el correspondiente; explícitamente, se identifican los elementos y . Esto se ve facilitado por el hecho de que la topología subespacial en , el espacio cociente de la aplicación y la topología euclídea en coinciden. Con esta identificación, es el límite directo del sistema dirigido donde cada inclusión agrega ceros a la derecha:
- .
Esto muestra que es un espacio LB.
Otros espacios de sucesiones
El espacio de series acotado, denotado por bs, es el espacio de sucesiones para las que
Este espacio, cuando está equipado con la norma
es un espacio de Banach isométricamente isomorfo a a través de la aplicación lineal
El subespacio cs que consta de todas las series convergentes es un subespacio que pasa al espacio c bajo este isomorfismo.
El espacio Φ o se define como el espacio de todas las sucesiones infinitas con solo un número finito de términos distintos de cero (secuencias con soporte finito). Este conjunto es denso en muchos espacios de sucesiones.
Propiedades de los espacios ℓp y del espacio c0
El espacio ℓ2 es el único espacio ℓp que es un de Hilbert, ya que cualquier norma inducida por un espacio prehilbertiano debe satisfacer la regla del paralelogramo.
Sustituir dos vectores unitarios distintos por x e y muestra directamente que la identidad no es verdadera a menos que p = 2.
Cada ℓp es distinto, en el sentido de que ℓp es un subconjunto estricto de ℓs siempre que p < s; además, ℓp no es linealmente de isomorfo a ℓs cuando p ≠ s. De hecho, según el teorema de Pitt (Pitt, 1936), todo operador lineal acotado de ℓs a ℓp es compacto cuando p < s. Ningún operador de este tipo puede ser un isomorfismo; y además, no puede ser un isomorfismo en ningún subespacio de dimensión infinita de ℓs y, por lo tanto, se dice que es estrictamente singular.
Si 1 < p < ∞, entonces el espacio dual (continuo de ℓp es isométricamente isomorfo a ℓq, donde q es el conjugado de Hölder de p: 1/p+ 1/q= 1. El isomorfismo específico asocia a un elemento x de ℓq el funcional
para y en ℓp. La desigualdad de Hölder implica que Lx es un funcional lineal acotado en ℓp y, de hecho,
para que la norma del operador satisfaga que
De hecho, tomando y como el elemento de ℓp con
resulta en que Lx(y) = ||x||q, de modo que de hecho
Por el contrario, dada una L funcional lineal acotada en ℓp, la secuencia definida por xn= L(en) se encuentra en ℓq. Por lo tanto, la aplicación da una isometría
La aplicación
obtenida componiendo κp con el inverso de su traspuesto coincide con la inyección canónica de ℓq en su espacio dual. Como consecuencia, ℓq es un espacio reflexivo. Por un mal uso de la notación, es habitual identificar ℓq con el dual de ℓp: (ℓp)* = ℓq. Entonces, se entiende por reflexividad la sucesión de identidades (ℓp)** = (ℓq)* = ℓp.
El espacio c0 se define como el espacio de todas las secuencias que convergen a cero, con norma idéntica a ||x||∞. Es un subespacio cerrado de ℓ∞, y por lo tanto, un espacio de Banach. El dual de c0 es ℓ1; el dual de ℓ1 es ℓ∞. Para el caso del conjunto de índices de números naturales, ℓp y c0 son separables, con la única excepción de ℓ∞. El dual de ℓ∞ es el espacio ba.
Los espacios c0 y ℓp (para 1 ≤ p < ∞) tienen una base de Schauder canónica incondicional {ei | i = 1, 2,...}, donde ei es la secuencia que es cero excepto por un 1 en la entrada i th.
El espacio ℓ1 cumple la propiedad de Schur: en ℓ1, cualquier sucesión que sea débilmente convergente también es fuertemente convergente (Schur, 1921). Sin embargo, dado que la topología débil en espacios de dimensión infinita es estrictamente más débil que la topología fuerte, hay redes en ℓ1 que son convergentes débiles pero no convergentes fuertes.
Los espacios ℓp pueden ser embebidos en numerosos espacios de Banach. La pregunta de si todo espacio de Banach de dimensión infinita contiene un isomorfismo de algún ℓp o de c0, fue respondida negativamente por la construcción del espacio de Tsirelson por B. S. Tsirelson en 1974. La afirmación recíproca de que todo espacio de Banach separable es linealmente isométrico a un espacio cociente de ℓ1, fue respondida afirmativamente por Banach y Mazur (1933). Es decir, para cada espacio de Banach separable X, existe una función cociente , de modo que X es isomorfo a . En general, el núcleo Q no está complementado en ℓ1, es decir, no existe un subespacio Y de ℓ1 tal que . De hecho, ℓ1 tiene incontables subespacios no complementados que no son isomorfos entre sí (por ejemplo, considérese ; dado que hay muchos no numerables de estos X', y dado que ningún ℓp es isomorfo a ningún otro, hay, por lo tanto, incontablemente muchos núcleos Q's).
Excepto en el caso trivial de dimensión finita, una característica inusual de ℓp es que no es polinómicamente reflexivo.
Incremento de los espacios ℓp en p
Para , los espacios son crecientes en , siendo el operador de inclusión continuo: para , se tiene que . De hecho, la desigualdad es homogénea en , por lo que es suficiente probarlo bajo el supuesto de que . En este caso, solo se necesita mostrar que para . Pero si , entonces para todos los y luego .
ℓ2 es isomorfo a todos los espacios de Hilbert separables y de dimensión infinita
Sea H un espacio de Hilbert separable. Todo conjunto ortogonal en H es, como máximo, numerable (es decir, tiene dimensión o finito).[2] Las dos sentencias siguientes están relacionadas:
- Si H es de dimensión infinita, entonces es isomorfo a ℓ2
- Si dim(H)= N, entonces H es isomorfo a
Propiedades de los espacios ℓ1
Una sucesión de elementos en ℓ1 converge en el espacio de sucesiones complejas ℓ1 si y solo si converge débilmente en este espacio.[3] Si K es un subconjunto de este espacio, entonces las siguientes expresiones son equivalentes:[3]
- K es compacto;
- K es débilmente compacto;
- K es acotado, cerrado y equipequeño en el infinito.
Aquí, K es equipequeño en el infinito significa que para cada , existe un número natural tal que para todo .
Véase también
- Espacios Lp
- Espacio de Tsirelson
- Espacio dual beta
- Espacio secuencial de Orlicz
- Espacio de Hilbert
Referencias
- ↑ a b c Jarchow, 1981, pp. 129-130.
- ↑ Debnath, Lokenath; Mikusinski, Piotr (2005). Hilbert Spaces with Applications. Elsevier. pp. 120-121. ISBN 978-0-12-2084386.
- ↑ a b Trèves, 2006, pp. 451-458.
Bibliografía
- Banach, Stefan; Mazur, S. (1933). «Zur Theorie der linearen Dimension». Studia Mathematica 4. pp. 100-112.
- Dunford, Nelson; Schwartz, Jacob T. (1958). Linear operators, volume I. Wiley-Interscience.
- Jarchow, Hans (1981). Locally convex spaces. Stuttgart: B.G. Teubner. ISBN 978-3-519-02224-4. OCLC 8210342.
- Pitt, H.R. (1936). «A note on bilinear forms». J. London Math. Soc. 11 (3). pp. 174-180. doi:10.1112/jlms/s1-11.3.174.
- 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.
- 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.
- Schur, J. (1921). «Über lineare Transformationen in der Theorie der unendlichen Reihen». Journal für die reine und angewandte Mathematik 151. pp. 79-111. doi:10.1515/crll.1921.151.79.
- 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.
Datos: Q289411