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 Plantilla:Math, que consisten en sucesiones sumables de potencias Plantilla:Math, con la norma p, casos especiales de espacios L^p 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 c₀ 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 $x_{\bullet }={\left(x_n\right)}_{n\in \mathbb{N}}$ en un conjunto $X$ es simplemente una aplicación $X$ valorada en $x_{\bullet }:\mathbb{N}\to X$, cuyo valor en $n\in \mathbb{N}$ se denota por $x_n$ en lugar de la notación habitual entre paréntesis $x(n).$

Espacio de todas las secuenciasPlantilla:AnclaPlantilla:Ancla

Sea $𝕂$ el campo de los números reales o complejos. El conjunto ${𝕂}^{\mathbb{N}}$ de todas las sucesiones de elementos de $𝕂$ es un espacio vectorial para la suma por componentes de

${\left(x_n\right)}_{n\in \mathbb{N}}+{\left(y_n\right)}_{n\in \mathbb{N}}={(x_n+y_n)}_{n\in \mathbb{N}},$

y la multiplicación escalar por componentes

$\alpha {\left(x_n\right)}_{n\in \mathbb{N}}={\left(\alpha x_n\right)}_{n\in \mathbb{N}}.$

Un espacio secuencial es cualquier subespacio vectorial de ${𝕂}^{\mathbb{N}}.$

Como espacio topológico, ${𝕂}^{\mathbb{N}}$ está naturalmente dotado de una topología producto. Bajo esta topología, ${𝕂}^{\mathbb{N}}$ 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 ${𝕂}^{\mathbb{N}}$ (y por lo tanto, la topología del producto no puede ser definida por ninguna norma).Plantilla:Sfn Entre los espacios de Fréchet, ${𝕂}^{\mathbb{N}}$ es mínimo al no tener normas continuas:

Pero la topología del producto también es inevitable: ${𝕂}^{\mathbb{N}}$ no admite una topología localmente convexa de Hausdorff estrictamente más gruesa.Plantilla:Sfn 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 Plantilla:Math

Para $0<p<\mathrm{\infty },$ ${\ell }^p$ es el subespacio de ${𝕂}^{\mathbb{N}}$ que consta de todas las sucesiones $x_{\bullet }={\left(x_n\right)}_{n\in \mathbb{N}}$ que satisfacen

$\sum _n|x_n{|}^p<\mathrm{\infty }.$

Si $p\ge 1,$ entonces la función de valor real $\Vert \cdot {\Vert }_p$ en ${\ell }^p$ definida por

$\Vert x{\Vert }_p={(\sum _n|x_n{|}^p)}^{1/p}\text{for all }x\in {\ell }^p$

define una norma sobre ${\ell }^p.$ De hecho, ${\ell }^p$ es un espacio métrico completo con respecto a esta norma, y por tanto es un espacio de Banach.

Si $p=2$, entonces ${\ell }^2$ también es un espacio de Hilbert cuando está dotado de su espacio prehilbertiano canónico, llamado Plantilla:Nowrap definido para todos los $x_{\bullet },y_{\bullet }\in {\ell }^p$ por

$⟨x_{\bullet },y_{\bullet }⟩=\sum _n\overline{x_n}{y}_n.$

La norma canónica inducida por este producto interno es la norma ${\ell }^2$ habitual, lo que significa que $\Vert 𝐱{\Vert }_2=\sqrt{⟨𝐱,𝐱⟩}$ para todo $𝐱\in {\ell }^p.$

Si $p=\mathrm{\infty },$ entonces ${\ell }^{\mathrm{\infty }}$ se define como el espacio de todos los bounded sequence dotados de la norma

$\Vert x{\Vert }_{\mathrm{\infty }}=\underset{n}{\sup }|x_n|,$

${\ell }^{\mathrm{\infty }}$ también es un espacio de Banach.

Si $0<p<1,$ entonces ${\ell }^p$ no conlleva una norma, sino más bien un metric definido por

$d(x,y)=\sum _n{|x_n-y_n|}^p.$

c, c₀ y c₀₀

Una Plantilla:Enf es una secuencia $x_{\bullet }\in {𝕂}^{\mathbb{N}}$ tal que exista $\underset{n\to \mathrm{\infty }}{\lim }{x}_n$. El conjunto Plantilla:Anclavisde todas las secuencias convergentes es un subespacio vectorial de ${𝕂}^{\mathbb{N}}$ llamado [[espacio c|Plantilla:Enf]]Dado que toda secuencia convergente está acotada, $c$ es un subespacio lineal de ${\ell }^{\mathrm{\infty }}.$. Además, este espacio de secuencia es un subespacio cerrado de ${\ell }^{\mathrm{\infty }}$ con respecto a norma del supremo, por lo que es un espacio de Banach con respecto a esta norma.

Una secuencia que converge a $0$ se llama Plantilla:Enf y se denomina Plantilla:Enf El conjunto de todas las sucesiones que convergen a $0$ es un subespacio vectorial cerrado de $c$ que, cuando está dotado de la norma del supremo, se convierte en un espacio de Banach que se denota por Plantilla:Anclavisy se llama Plantilla:Enfo Plantilla:Enf.

El Plantilla:Enf Plantilla:Anclavises el subespacio de $c_0$ 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 ${\left(x_{nk}\right)}_{k\in \mathbb{N}}$ donde $x_{nk}=1/k$ para las primeras entradas de $n$ (para $k=1,\dots ,n$) y es cero en el resto (es decir, ${\left(x_{nk}\right)}_{k\in \mathbb{N}}=(1,1/2,\dots ,1/(n-1),1/n,0,0,\dots )$) es una sucesión de Cauchy, pero no converge a una sucesión en $c_{00}.$

Espacio de todas las secuencias finitas

Sea:

${𝕂}^{\mathrm{\infty }}=\{(x_1,x_2,\dots )\in {𝕂}^{\mathbb{N}}:\text{all but finitely many }{x}_i\text{equal }0\}$

que denota el espacio de sucesiones finitas sobre $𝕂$. Como espacio vectorial, ${𝕂}^{\mathrm{\infty }}$ es igual a $c_{00}$, pero ${𝕂}^{\mathrm{\infty }}$ tiene una topología diferente.

Para cada número natural Plantilla:Nowrap ${𝕂}^n$ denota el espacio euclídeo habitual dotado con la topología euclídea, y sea ${\mathrm{In}}_{{𝕂}^n}:{𝕂}^n\to {𝕂}^{\mathrm{\infty }}$ denote la inclusión canónica.

${\mathrm{In}}_{{𝕂}^n}(x_1,\dots ,x_n)=(x_1,\dots ,x_n,0,0,\dots )$.

La imagen de cada inclusión es

$\mathrm{Im}\left({\mathrm{In}}_{{𝕂}^n}\right)=\{(x_1,\dots ,x_n,0,0,\dots ):x_1,\dots ,x_n\in 𝕂\}={𝕂}^n\times \{(0,0,\dots )\}$

y consecuentemente,

${𝕂}^{\mathrm{\infty }}=\bigcup _{n\in \mathbb{N}}\mathrm{Im}\left({\mathrm{In}}_{{𝕂}^n}\right).$

Esta familia de inclusiones le da a ${𝕂}^{\mathrm{\infty }}$ una topología final ${\tau }^{\mathrm{\infty }}$, definida como la topología más fina en ${𝕂}^{\mathrm{\infty }}$, de modo que todas las inclusiones sean continuas (un ejemplo de topología coherente). Con esta topología, ${𝕂}^{\mathrm{\infty }}$ se convierte en un espacio vectorial topológico, secuencial, localmente convexo, de Hausdorff y completo, es decir, Plantilla:Enf es un espacio de Fréchet-Urysohn. La topología ${\tau }^{\mathrm{\infty }}$ también es estrictamente más fina que la topología del subespacio inducida en ${𝕂}^{\mathrm{\infty }}$ por ${𝕂}^{\mathbb{N}}$.

La convergencia en ${\tau }^{\mathrm{\infty }}$ tiene una descripción natural: si $v\in {𝕂}^{\mathrm{\infty }}$ y $v_{\bullet }$ es una sucesión en ${𝕂}^{\mathrm{\infty }}$, entonces $v_{\bullet }\to v$ en ${\tau }^{\mathrm{\infty }}$ si y solo si $v_{\bullet }$ finalmente está contenida en una imagen única $\mathrm{Im}\left({\mathrm{In}}_{{𝕂}^n}\right)$ y $v_{\bullet }\to v$ bajo la topología natural de esa imagen.

A menudo, cada imagen $\mathrm{Im}\left({\mathrm{In}}_{{𝕂}^n}\right)$ se identifica con el ${𝕂}^n$ correspondiente; explícitamente, se identifican los elementos $(x_1,\dots ,x_n)\in {𝕂}^n$ y $(x_1,\dots ,x_n,0,0,0,\dots )$. Esto se ve facilitado por el hecho de que la topología subespacial en $\mathrm{Im}\left({\mathrm{In}}_{{𝕂}^n}\right)$, el espacio cociente de la aplicación ${\mathrm{In}}_{{𝕂}^n}$ y la topología euclídea en ${𝕂}^n$ coinciden. Con esta identificación, $(({𝕂}^{\mathrm{\infty }},{\tau }^{\mathrm{\infty }}),{\left({\mathrm{In}}_{{𝕂}^n}\right)}_{n\in \mathbb{N}})$ es el límite directo del sistema dirigido $({\left({𝕂}^n\right)}_{n\in \mathbb{N}},{\left({\mathrm{In}}_{{𝕂}^m\to {𝕂}^n}\right)}_{m\le n\in \mathbb{N}},\mathbb{N}),$ donde cada inclusión agrega ceros a la derecha:

${\mathrm{In}}_{{𝕂}^m\to {𝕂}^n}(x_1,\dots ,x_m)=(x_1,\dots ,x_m,0,\dots ,0)$.

Esto muestra que $({𝕂}^{\mathrm{\infty }},{\tau }^{\mathrm{\infty }})$ es un espacio LB.

Otros espacios de sucesiones

El espacio de series acotado, denotado por bs, es el espacio de sucesiones $x$ para las que

$\underset{n}{\sup }\left|\sum _{i=0}^n{x}_i\right|<\mathrm{\infty }.$

Este espacio, cuando está equipado con la norma

$\Vert x{\Vert }_{bs}=\underset{n}{\sup }\left|\sum _{i=0}^n{x}_i\right|,$

es un espacio de Banach isométricamente isomorfo a ${\ell }^{\mathrm{\infty }},$ a través de la aplicación lineal

$(x_n{)}_{n\in \mathbb{N}}\mapsto {\left(\sum _{i=0}^n{x}_i\right)}_{n\in \mathbb{N}}.$

El subespacio cs que consta de todas las series convergentes es un subespacio que pasa al espacio c bajo este isomorfismo.

El espacio Φ o $c_{00}$ 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 c₀

El espacio ℓ² 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.

$\Vert x+y{\Vert }_p^2+\Vert x-y{\Vert }_p^2=2\Vert x{\Vert }_p^2+2\Vert y{\Vert }_p^2.$

Sustituir dos vectores unitarios distintos por x e y muestra directamente que la identidad no es verdadera a menos que p = 2.

Cada Plantilla:Math es distinto, en el sentido de que Plantilla:Math es un subconjunto estricto de Plantilla:Math siempre que p < s; además, Plantilla:Math no es linealmente de isomorfo a Plantilla:Math cuando Plantilla:Math. De hecho, según el teorema de Pitt Plantilla:Harv, todo operador lineal acotado de Plantilla:Math a Plantilla:Math es compacto cuando Plantilla:Math. 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 Plantilla:Math 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 Plantilla:Math el funcional

$L_x(y)=\sum _n{x}_n{y}_n$

para y en Plantilla:Math. La desigualdad de Hölder implica que L_x es un funcional lineal acotado en Plantilla:Math y, de hecho,

$|L_x(y)|\le \Vert x{\Vert }_q\Vert y{\Vert }_p$

para que la norma del operador satisfaga que

$\Vert L_x{\Vert }_{({\ell }^p{)}^{*}}\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}\underset{y\in {\ell }^p,y=0}{\sup }\frac{|L_x(y)|}{\Vert y{\Vert }_p}\le \Vert x{\Vert }_q.$

De hecho, tomando y como el elemento de Plantilla:Math con

$y_n=\{\begin{array}{cc}0& \text{if}{x}_n=0\\ x_n^{-1}|x_n{|}^q& \text{if}{x}_n\ne 0\end{array}$

resulta en que L_x(y) = ||x||_q, de modo que de hecho

$\Vert L_x{\Vert }_{({\ell }^p{)}^{*}}=\Vert x{\Vert }_q.$

Por el contrario, dada una L funcional lineal acotada en Plantilla:Math, la secuencia definida por Plantilla:Math se encuentra en ℓ^q. Por lo tanto, la aplicación $x\mapsto L_x$ da una isometría

${\kappa }_q:{\ell }^q\to ({\ell }^p{)}^{*}.$

La aplicación

${\ell }^q\stackrel{{\kappa }_q}{\to }({\ell }^p{)}^{*}\stackrel{({\kappa }_q^{*}{)}^{-1}}{\to }$

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 c₀ 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 c₀ es ℓ¹; el dual de ℓ¹ es ℓ^∞. Para el caso del conjunto de índices de números naturales, ℓ^p y c₀ son separables, con la única excepción de ℓ^∞. El dual de ℓ^∞ es el espacio ba.

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

El espacio ℓ¹ cumple la propiedad de Schur: en ℓ¹, cualquier sucesión que sea débilmente convergente también es fuertemente convergente Plantilla:Harv. 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 ℓ¹ 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 c₀, 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 ℓ¹, fue respondida afirmativamente por Plantilla:Harvtxt. Es decir, para cada espacio de Banach separable X, existe una función cociente $Q:{\ell }^1\to X$, de modo que X es isomorfo a ${\ell }^1/\ker Q$. En general, el núcleo Q no está complementado en ℓ¹, es decir, no existe un subespacio Y de ℓ¹ tal que ${\ell }^1=Y\oplus \ker Q$. De hecho, ℓ¹ tiene incontables subespacios no complementados que no son isomorfos entre sí (por ejemplo, considérese $X={\ell }^p$; dado que hay muchos no numerables de estos XPlantilla:', y dado que ningún ℓ^p es isomorfo a ningún otro, hay, por lo tanto, incontablemente muchos núcleos QPlantilla:'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 $p\in [1,\mathrm{\infty }]$, los espacios ${\ell }^p$ son crecientes en $p$, siendo el operador de inclusión continuo: para $1\le p<q\le \mathrm{\infty }$, se tiene que $\Vert x{\Vert }_q\le \Vert x{\Vert }_p$. De hecho, la desigualdad es homogénea en $x_i$, por lo que es suficiente probarlo bajo el supuesto de que $\Vert x{\Vert }_p=1$. En este caso, solo se necesita mostrar que $\sum |x_i{|}^q\le 1$ para $q>p$. Pero si $\Vert x{\Vert }_p=1$, entonces $|x_i|\le 1$ para todos los $i$ y luego $\sum |x_i{|}^q\le \sum |x_i{|}^p=1$.

ℓ² 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 ${\mathrm{\aleph }}_0$ finito). Las dos sentencias siguientes están relacionadas:

• Si H es de dimensión infinita, entonces es isomorfo a ℓ²
• Si Plantilla:Math, entonces H es isomorfo a ${ℂ}^N$

Propiedades de los espacios ℓ¹

Una sucesión de elementos en ℓ¹ converge en el espacio de sucesiones complejas ℓ¹ si y solo si converge débilmente en este espacio.Plantilla:Sfn Si K es un subconjunto de este espacio, entonces las siguientes expresiones son equivalentes:Plantilla:Sfn

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

Aquí, K es equipequeño en el infinito significa que para cada $\epsilon >0$, existe un número natural $n_{\epsilon }\ge 0$ tal que ${\sum }_{n=n_{ϵ}}^{\mathrm{\infty }}|s_n|<\epsilon$ para todo $s={\left(s_n\right)}_{n=1}^{\mathrm{\infty }}\in K$.

Véase también

• Espacios L^p
• Espacio de Tsirelson
• Espacio dual beta
• Espacio secuencial de Orlicz
• Espacio de Hilbert

Bibliografía

• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro