Espacio LB

En matemáticas, un espacio LB, también escrito como (LB)-espacio, es un espacio vectorial topológico (EVT) $X$ que es un límite directo localmente convexo de un sistema inductivo numerable $(X_n,i_{nm})$ de espacios de Banach. Esto significa que $X$ es un límite directo de un sistema directo $(X_n,i_{nm})$ en la categoría de espacios vectoriales topológicos localmente convexos y que cada $X_n$ es un espacio de Banach.

Si cada una de las aplicaciones de enlace $i_{nm}$ es una incorporación de EVT, entonces el espacio LB se denomina espacio LB estricto. Esto significa que la topología inducida en $X_n$ por $X_{n+1}$ es idéntica a la topología original en $X_n.$Plantilla:Sfn Algunos autores (por ejemplo, Schaefer) definen el término "espacio LB" como "espacio LB estricto", por lo que al leer determinados textos matemáticos, se recomienda comprobar siempre cómo se ha definido el espacio LB.

Definición

La topología de $X$ se puede describir especificando que un subconjunto absolutamente convexo $U$ es un entorno de $0$ si y solo si $U\cap X_n$ es un entorno absolutamente convexo de $0$ en $X_n$ para cada $n.$

Propiedades

Un espacio LB estricto es completo,Plantilla:Sfn barrilado,Plantilla:Sfn y bornológicoPlantilla:Sfn (y por lo tanto, ultrabornológico).

Ejemplos

Si $D$ es un espacio topológico localmente compacto que es numerable en el infinito (es decir, es igual a una unión contable de subespacios compactos), entonces el espacio $C_c(D)$ de todas las funciones continuas de valores complejos en $D$ con soporte compacto es un espacio LB estricto.Plantilla:Sfn Para cualquier subconjunto compacto $K\subseteq D,$ denótese por $C_c(K)$ el espacio de Banach de funciones de valores complejos admitidas por $K$ con la norma uniforme y ordénese la familia de subconjuntos compactos de $D$ por inclusión.Plantilla:Sfn

Topología final en el límite directo de espacios euclidianos de dimensión finita

Sea

$\begin{array}{cc}{ℝ}^{\mathrm{\infty }}& :=\{(x_1,x_2,\dots )\in {ℝ}^{\mathbb{N}}:\text{all but finitely many }{x}_i\text{are equal to 0 }\},\end{array}$

que denota el Plantilla:Enf, donde ${ℝ}^{\mathbb{N}}$ denota todas las secuencias de números reales. Para cada número natural $n\in \mathbb{N},$ sea ${ℝ}^n$ el espacio euclídeo habitual dotado con una topología euclídea y sea ${\mathrm{In}}_{{ℝ}^n}:{ℝ}^n\to {ℝ}^{\mathrm{\infty }}$ la inclusión canónica definida por ${\mathrm{In}}_{{ℝ}^n}(x_1,\dots ,x_n):=(x_1,\dots ,x_n,0,0,\dots )$ de modo que su imagen sea

$\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).$

Dótese ahora al conjunto ${ℝ}^{\mathrm{\infty }}$ con la topología final ${\tau }^{\mathrm{\infty }}$ inducido por la familia $ℱ:=\{{\mathrm{In}}_{{ℝ}^n}:n\in \mathbb{N}\}$ de todas las inclusiones canónicas. 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 }}$ es estrictamente más fina que la topología del subespacio inducida en ${ℝ}^{\mathrm{\infty }}$ por ${ℝ}^{\mathbb{N}},$ donde ${ℝ}^{\mathbb{N}}$ está dotada de su topología producto habitual. Dota a la imagen $\mathrm{Im}\left({\mathrm{In}}_{{ℝ}^n}\right)$ de la topología final inducida en ella por la función biyectiva ${\mathrm{In}}_{{ℝ}^n}:{ℝ}^n\to \mathrm{Im}\left({\mathrm{In}}_{{ℝ}^n}\right);$, es decir, está dotada de la topología euclídea transferida a ella desde ${ℝ}^n$ a través de ${\mathrm{In}}_{{ℝ}^n}.$ Esta topología en $\mathrm{Im}\left({\mathrm{In}}_{{ℝ}^n}\right)$ es igual a la topología subespacial inducida por $({ℝ}^{\mathrm{\infty }},{\tau }^{\mathrm{\infty }}).$ Un subconjunto $S\subseteq {ℝ}^{\mathrm{\infty }}$ está abierto (o cerrado) en $({ℝ}^{\mathrm{\infty }},{\tau }^{\mathrm{\infty }})$ si y solo si para cada $n\in \mathbb{N},$ el conjunto $S\cap \mathrm{Im}\left({\mathrm{In}}_{{ℝ}^n}\right)$ es un subconjunto abierto (o cerrado) de $\mathrm{Im}\left({\mathrm{In}}_{{ℝ}^n}\right).$ La topología ${\tau }^{\mathrm{\infty }}$ es coherente con la familia de subespacios $𝕊:=\{\mathrm{Im}\left({\mathrm{In}}_{{ℝ}^n}\right):n\in \mathbb{N}\}.$ Esto convierte a $({ℝ}^{\mathrm{\infty }},{\tau }^{\mathrm{\infty }})$ en un espacio LB. En consecuencia, si $v\in {ℝ}^{\mathrm{\infty }}$ y $v_{\bullet }$ son una secuencia en ${ℝ}^{\mathrm{\infty }}$, entonces $v_{\bullet }\to v$ en $({ℝ}^{\mathrm{\infty }},{\tau }^{\mathrm{\infty }})$ si y solo si existe algún $n\in \mathbb{N}$ tal que tanto $v$ como $v_{\bullet }$ estén contenidos en $\mathrm{Im}\left({\mathrm{In}}_{{ℝ}^n}\right)$ y $v_{\bullet }\to v$ en $\mathrm{Im}\left({\mathrm{In}}_{{ℝ}^n}\right).$

A menudo, para cada $n\in \mathbb{N},$ se utiliza la inclusión canónica ${\mathrm{In}}_{{ℝ}^n}$ para identificar ${ℝ}^n$ con su imagen $\mathrm{Im}\left({\mathrm{In}}_{{ℝ}^n}\right)$ en ${ℝ}^{\mathrm{\infty }};$ de forma explícita, los elementos $(x_1,\dots ,x_n)\in {ℝ}^n$ y $(x_1,\dots ,x_n,0,0,0,\dots )$ se identifican juntos. Bajo esta identificación, $(({ℝ}^{\mathrm{\infty }},{\tau }^{\mathrm{\infty }}),{\left({\mathrm{In}}_{{ℝ}^n}\right)}_{n\in \mathbb{N}})$ se convierte en un límite directo del sistema directo $({\left({ℝ}^n\right)}_{n\in \mathbb{N}},{\left({\mathrm{In}}_{{ℝ}^m}^{{ℝ}^n}\right)}_{m\le n\text{in }\mathbb{N}},\mathbb{N}),$ donde para cada $m\le n,$ la aplicación ${\mathrm{In}}_{{ℝ}^m}^{{ℝ}^n}:{ℝ}^m\to {ℝ}^n$ es la inclusión canónica definida por ${\mathrm{In}}_{{ℝ}^m}^{{ℝ}^n}(x_1,\dots ,x_m):=(x_1,\dots ,x_m,0,\dots ,0),$ donde hay $n-m$ ceros finales.

Contraejemplos

Existe un espacio LB bornológico cuyo bidual fuerte es Plantilla:Enf.Plantilla:Sfn Existe un espacio LB que no es cuasi completo.Plantilla:Sfn

Véase también

• Espacio DF
• Límite directo
• Topología final
• Espacio F
• Espacio LF

Bibliografía

• Plantilla:Cita libro
• Plantilla:Cite journal
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cite journal
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro