stringtranslate.com

Espacio de secuencia

En el análisis funcional y áreas relacionadas de las matemáticas , un espacio de secuencias es un espacio vectorial cuyos elementos son secuencias infinitas de números reales o complejos . De manera equivalente, es un espacio de funciones cuyos elementos son funciones desde los números naturales hasta el cuerpo K de números reales o complejos. El conjunto de todas esas funciones se identifica naturalmente con el conjunto de todas las posibles secuencias infinitas con elementos en K , y se puede convertir en un espacio vectorial mediante las operaciones de adición puntual de funciones y multiplicación escalar puntual. Todos los espacios de secuencias son subespacios lineales de este espacio. Los espacios de secuencias suelen estar equipados con una norma , o al menos con la estructura de un espacio vectorial topológico .

Los espacios de secuencias más importantes en el análisis son los espacios p , que consisten en las secuencias sumables de potencias p , con la norma p . Estos son casos especiales de espacios L p para la medida de conteo en el conjunto de números naturales. Otras clases importantes de secuencias como las secuencias convergentes o secuencias nulas forman espacios de secuencias, denotados respectivamente c y c 0 , con la norma sup . Cualquier espacio de secuencia también puede estar equipado con la topología de convergencia puntual , bajo la cual se convierte en un tipo especial de espacio de Fréchet llamado FK-espacio .

Definición

Una secuencia en un conjunto es simplemente un mapa con valores cuyo valor en se denota por en lugar de la notación habitual de paréntesis.

Espacio de todas las secuencias

Sea el campo de números reales o complejos. El conjunto de todas las sucesiones de elementos de es un espacio vectorial para la adición por componentes.

y multiplicación escalar por componentes

Un espacio de secuencia es cualquier subespacio lineal de

Como espacio topológico, está naturalmente dotado de la topología de producto . Bajo esta topología, es Fréchet , lo que significa que es un espacio vectorial topológico (TVS) completo , metrizable y localmente convexo . Sin embargo, esta topología es bastante patológica: no hay normas continuas en (y por lo tanto la topología de producto no puede definirse por ninguna norma ). [1] Entre los espacios de Fréchet, es mínimo al no tener normas continuas:

Teorema [1]  —  Sea un espacio de Fréchet sobre Entonces los siguientes son equivalentes:

  1. no admite ninguna norma continua (es decir, cualquier seminorma continua en tiene un espacio nulo no trivial).
  2. contiene un subespacio vectorial TVS-isomorfo a .
  3. contiene un subespacio vectorial complementado TVS-isomorfo a .

Pero la topología del producto también es inevitable: no admite una topología de Hausdorff estrictamente más burda , localmente convexa. [1] Por esa razón, el estudio de las sucesiones comienza por encontrar un subespacio estrictamente lineal de interés, y dotarlo de una topología diferente de la topología del subespacio .

ℓ pespacios

Porque es el subespacio de que consiste en todas las secuencias que satisfacen

Si entonces la función de valor real en definida por define una norma en De hecho, es un espacio métrico completo con respecto a esta norma, y ​​por lo tanto es un espacio de Banach .

Si entonces es también un espacio de Hilbert cuando está dotado de su producto interno canónico , llamadoProducto interno euclidiano , definido para todospor La norma canónica inducida por este producto interno es lanorma -usual, lo que significa quepara todos

Si entonces se define como el espacio de todas las secuencias acotadas dotadas de la norma, también es un espacio de Banach.

Si entonces no lleva una norma, sino más bien una métrica definida por

do,do0y do00

Una sucesión convergente es cualquier sucesión tal que existe. El conjuntode todas las secuencias convergentes es un subespacio vectorial llamadoespacio de sucesiones convergentes . Puesto que toda sucesión convergente está acotada,es un subespacio lineal de Además, este espacio de sucesiones es un subespacio cerrado decon respecto a lanorma supremay, por lo tanto, es un espacio de Banach con respecto a esta norma.

Una secuencia que converge a se llama secuencia nula y se dice quese desvanecen . El conjunto de todas las secuencias que convergen aes un subespacio vectorial cerrado deque cuando se le dota de lanorma supremase convierte en un espacio de Banach que se denota pory se llama elespacio de secuencias nulas o elespacio de secuencias evanescentes .

Elespacio de secuencias eventualmente cero ,es el subespacio de que consiste en todas las secuencias que tienen sólo 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 de infinito. Por ejemplo, la secuencia donde para las primeras entradas (para ) y es cero en todos los demás lugares (es decir, ) es una secuencia de Cauchy pero no converge a una secuencia en

Espacio de todas las sucesiones finitas

Dejar

,

denota el espacio de sucesiones finitas sobre . Como espacio vectorial, es igual a , pero tiene una topología diferente.

Para cada número natural , sea el espacio euclidiano usual dotado de la topología euclidiana y sea la inclusión canónica

.

La imagen de cada inclusión es

y por consiguiente,

Esta familia de inclusiones da una topología final , definida como la topología más fina en tal que todas las inclusiones son continuas (un ejemplo de una topología coherente ). Con esta topología, se convierte en un espacio vectorial topológico secuencial , localmente convexo , de Hausdorff , completo , que no es Fréchet–Urysohn . La topología también es estrictamente más fina que la topología de subespacio inducida en por .

La convergencia en tiene una descripción natural: si y es una secuencia en entonces en si y sólo está eventualmente contenida en una sola imagen 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 facilita por el hecho de que la topología del subespacio en , la topología del cociente del mapa y la topología euclidiana en todas coinciden. Con esta identificación, es el límite directo del sistema dirigido donde cada inclusión agrega ceros finales:

.

Esto muestra un espacio LB.

Otros espacios de secuencia

El espacio de series acotadas , denotado por bs , es el espacio de sucesiones para las cuales

Este espacio, cuando está equipado con la norma

es un espacio de Banach isométricamente isomorfo a través de la aplicación lineal

El subespacio cs constituido por 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 ℓpagespacios y el espaciodo0

El espacio ℓ 2 es el único espacio ℓ p que es un espacio de Hilbert , ya que cualquier norma que sea inducida por un producto interno debe satisfacer la ley del paralelogramo.

Sustituir dos vectores unitarios distintos para 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 isomorfo a s cuando  ps . De hecho, por el teorema de Pitt (Pitt 1936), todo operador lineal acotado desde s hasta 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 de y en p . La desigualdad de Hölder implica que L x es un funcional lineal acotado en p , y de hecho de modo que la norma del operador satisface

De hecho, tomando y como el elemento de p con

da L x ( y ) = || x || q , de modo que de hecho

Por el contrario, dado un funcional lineal acotado L en p , la secuencia definida por x n = L ( e n ) se encuentra en ℓ q . Por lo tanto, la aplicación da una isometría

El mapa

obtenido al componer κ p con la inversa de su transpuesta coincide con la inyección canónica de ℓ q en su dual doble . En consecuencia, ℓ q es un espacio reflexivo . Por abuso de notación , es típico identificar ℓ q con el dual de ℓ p : (ℓ p ) *  = ℓ q . Entonces la reflexividad se entiende por la secuencia de identificaciones (ℓ p ) **  = (ℓ q ) *  = ℓ p .

El espacio c 0 se define como el espacio de todas las sucesiones que convergen a cero, con norma idéntica a || x || . Es un subespacio cerrado de ℓ , por lo tanto un espacio de Banach. El dual de c 0 es ℓ 1 ; el dual de ℓ 1 es ℓ . Para el caso del conjunto de índices de números naturales, ℓ p y c 0 son separables , con la única excepción de ℓ . El dual de ℓ es el espacio ba .

Los espacios c 0 y ℓ p (para 1 ≤ p  < ∞) tienen una base de Schauder incondicional canónica { e i  | i  = 1, 2,...}, donde e i es la secuencia que es cero excepto para un 1 en la i-  ésima entrada.

El espacio ℓ 1 tiene la propiedad de Schur : En ℓ 1 , cualquier secuencia 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 débilmente convergentes pero no fuertemente convergentes.

Los espacios ℓ p pueden estar incluidos en muchos espacios de Banach . La cuestión de si cada espacio de Banach de dimensión infinita contiene un isomorfo de algún ℓ p o de c 0 , fue respondida negativamente por la construcción del espacio de Tsirelson de BS Tsirelson en 1974. La afirmación dual, de que cada 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, ker Q no se complementa 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, tomemos ; dado que hay incontables X de ese tipo , y dado que ningún ℓ p es isomorfo a ningún otro, hay, por lo tanto, incontables ker Q ) .

Excepto en el caso trivial de dimensión finita, una característica inusual de ℓ p es que no es polinomialmente reflexivo .

ℓpagLos espacios están aumentando enpag

Para , los espacios son crecientes en , con el operador de inclusión siendo continuo: para , se tiene . De hecho, la desigualdad es homogénea en , por lo que es suficiente probarla bajo el supuesto de que . En este caso, solo necesitamos demostrar que para . Pero si , entonces para todos los , y entonces .

ℓ2es isomorfo a todos los espacios de Hilbert separables 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 finita o ). [2] Los dos elementos siguientes están relacionados:

Propiedades deℓ1espacios

Una secuencia de elementos en 1 converge en el espacio de secuencias complejas 1 si y sólo si converge débilmente en este espacio. [3] Si K es un subconjunto de este espacio, entonces los siguientes son equivalentes: [3]

  1. K es compacto;
  2. K es débilmente compacto;
  3. K es acotado, cerrado y equipequeño en el infinito.

Aquí, siendo K equipequeño en el infinito, significa que para cada , existe un número natural tal que para todo .

Véase también

Referencias

  1. ^ abc Jarchow 1981, págs. 129-130.
  2. ^ Debnath, Lokenath; Mikusinski, Piotr (2005). Espacios de Hilbert con aplicaciones . Elsevier. págs. 120-121. ISBN. 978-0-12-2084386.
  3. ^ ab Trèves 2006, págs. 451–458.

Bibliografía