Espacio bornológico

En matemáticas, particularmente en análisis funcional, un espacio bornológico es un tipo de espacio que, en cierto sentido, posee la cantidad mínima de estructura necesaria para abordar cuestiones de acotación de conjuntos y aplicaciones lineales, de la misma manera que un espacio topológico posee la cantidad mínima de estructura necesaria para abordar cuestiones sobre continuidad. Los espacios bornológicos se distinguen por la propiedad de que una aplicación lineal desde un espacio bornológico a cualquier espacio localmente convexo es continua si y solo si es un operador lineal acotado.

Los espacios bornológicos fueron estudiados por primera vez por George Mackey, y el nombre fue acuñado por Bourbaki en referencia a la palabra francesa "borné", con el significado de acotado.

Bornologías y aplicaciones acotadas

Una Plantilla:Enf en un conjunto $X$ es una colección $ℬ$ de subconjuntos de $X$ que satisfacen todas las condiciones siguientes:

1. $ℬ$ recubre $X;$, es decir, $X=\cup ℬ$;
2. $ℬ$ es estable bajo inclusiones; es decir, si $B\in ℬ$ y $A\subseteq B,$ entonces $A\in ℬ$;
3. $ℬ$ es estable bajo uniones finitas; es decir, si $B_1,\dots ,B_n\in ℬ$ entonces $B_1\cup \cdots \cup B_n\in ℬ$;

Los elementos de la colección $ℬ$ se denominan Plantilla:Enf o simplemente Plantilla:Enf si se sobrentiende la existencia de $ℬ$.Plantilla:Sfn El par $(X,ℬ)$ se denomina Plantilla:Enf o Plantilla:Enf.Plantilla:Sfn

Una Plantilla:Enf o Plantilla:Enf de una bornología $ℬ$ es un subconjunto ${ℬ}_0$ de $ℬ$ tal que cada elemento de $ℬ$ es un subconjunto de algún elemento de ${ℬ}_0.$ Dada una colección $𝒮$ de subconjuntos de $X,$ la bornología más pequeña que contiene $𝒮$ se denomina bornología Plantilla:EnfPlantilla:Sfn

Si $(X,ℬ)$ e $(Y,𝒞)$ son conjuntos bornológicos, entonces su Plantilla:Enf en $X\times Y$ es la bornología que tiene como base la colección de todos los conjuntos con la forma $B\times C,$ donde $B\in ℬ$ y $C\in 𝒞.$Plantilla:Sfn Un subconjunto de $X\times Y$ está acotado en la bornología del producto si y solo si su imagen bajo las proyecciones canónicas sobre $X$ e $Y$ están acotadas.

Aplicaciones acotadas

Si $(X,ℬ)$ e $(Y,𝒞)$ son conjuntos bornológicos, entonces se dice que una función $f:X\to Y$ es una Plantilla:Enf o una Plantilla:Enf' (con respecto a estas bornologías) si asigna subconjuntos acotados $ℬ$ de $X$ a subconjuntos acotados $𝒞$ de $Y,$ es decir, si $f(ℬ)\subseteq 𝒞.$Plantilla:Sfn Si además $f$ es una biyección y $f^{-1}$ también está acotado, entonces $f$ se denomina Plantilla:Enf.

Bornologías vectoriales

Sea $X$ un espacio vectorial sobre un cuerpo $𝕂,$ donde $𝕂$ tiene una bornología ${ℬ}_{𝕂}.$ Una bornología $ℬ$ en $X$ se denomina Plantilla:Enf si es estable ante la suma de vectores, la multiplicación escalar y la formación de envolventes equilibradas (es decir, si la suma de dos conjuntos acotados está acotada, etc.).

Si $X$ es un espacio vectorial topológico (EVT) y $ℬ$ es una bornología en $X,$ entonces, las siguientes expresiones son equivalentes:

1. $ℬ$ es una bornología vectorial.
2. Las sumas finitas y las envolventes equilibradas de conjuntos acotados por $ℬ$ están acotadas por $ℬ$.Plantilla:Sfn
3. La aplicación multiplicación escalar $𝕂\times X\to X$ definida por $(s,x)\mapsto sx$ y la aplicación suma $X\times X\to X$ definida por $(x,y)\mapsto x+y,$ están acotadas cuando sus dominios portan sus bornologías de producto (es decir, asignan subconjuntos acotados a subconjuntos acotados).Plantilla:Sfn

Una bornología vectorial $ℬ$ se llama Plantilla:Enf si es estable bajo la formación de envolventes convexas (es decir, la envolvente convexa de un conjunto acotado está acotada), entonces $ℬ.$ Y una bornología vectorial $ℬ$ se llama Plantilla:Enf si el único subespacio vectorial acotado de $X$ es el espacio trivial de dimensión 0 $\{0\}.$

Generalmente, $𝕂$ son los números reales o los complejos, en cuyo caso una bornología vectorial $ℬ$ sobre $X$ se llamará Plantilla:Enf si $ℬ$ tiene una base que consta de conjuntos convexos.

Subconjuntos bornívoros

Un subconjunto $A$ de $X$ se llama Plantilla:Enf y un Plantilla:Enf si es absorbente respecto a cada conjunto acotado.

En una bornología vectorial, $A$ es bornívoro si absorbe todos los conjuntos equilibrados acotados y en una bornología vectorial convexa, $A$ es bornívoro si absorbe todos los discos acotados.

Dos topologías EVT en el mismo espacio vectorial tienen los mismos subconjuntos acotados si y solo si tienen los mismos bornívoros.Plantilla:Sfn

Cada subconjunto bornívoro de un espacio vectorial topológico metrizable localmente convexo es un entorno del origen.Plantilla:Sfn

Convergencia de Mackey

Se dice que una secuencia $x_{\bullet }=(x_i{)}_{i=1}^{\mathrm{\infty }}$ en un EVT $X$ es Plantilla:Enf a $0$ si existe una secuencia de números reales positivos $r_{\bullet }=(r_i{)}_{i=1}^{\mathrm{\infty }}$ que divergen a $\mathrm{\infty }$ de modo que $(r_i{x}_i{)}_{i=1}^{\mathrm{\infty }}$ converge a $0$ en $X.$Plantilla:Sfn

Bornología de un espacio vectorial topológico

Cada espacio vectorial topológico $X,$ al menos en un cuerpo valorado no discreto da una bornología en $X$ al definir un subconjunto $B\subseteq X$ como acotado (o acotado de von-Neumann), si y solo si para todos los conjuntos abiertos $U\subseteq X$ que contienen el cero existe un $r>0$ con $B\subseteq rU.$ Si $X$ es un espacio vectorial topológico localmente convexo, entonces $B\subseteq X$ está acotado si y solo si todas las seminormas continuas en $X$ están acotadas en $B.$

El conjunto de todos los subconjuntos acotados de un espacio vectorial topológico $X$ se llama Plantilla:Enf o Plantilla:Enf de $X.$

Si $X$ es un espacio localmente convexo, entonces un disco absorbente $D$ en $X$ es bornívoro (respectivamente, infrabornívoro) si y solo si su funcional de Minkowski está localmente acotado (respectivamente, infraacotado).Plantilla:Sfn

Topología inducida

Si $ℬ$ es una bornología vectorial convexa en un espacio vectorial $X,$ entonces la colección ${𝒩}_{ℬ}(0)$ de todos los subconjuntos convexos equilibrados de $X$ que son bornívoros forma una base de entornos en el origen de una topología localmente convexa en $X$ llamada Plantilla:Enf.Plantilla:Sfn

Si $(X,\tau )$ es un EVT, entonces el Plantilla:Enf es el espacio vectorial $X$ dotado de la topología localmente convexa inducida por la bornología de von Neumann de $(X,\tau ).$Plantilla:Sfn.

Espacios cuasi bornológicos

Los espacios cuasi bornológicos fueron introducidos por S. Iyahen en 1968.Plantilla:Sfn

Un espacio vectorial topológico (EVT) $(X,\tau )$ con un espacio dual $X^{\prime }$ se denomina Plantilla:EnfPlantilla:Sfn si se cumple alguna de las siguientes condiciones equivalentes:

1. Cada operador lineal acotado desde $X$ hacia otro EVT es continuo.Plantilla:Sfn
2. Todo operador lineal acotado desde $X$ hacia un EVT metrizable completo es continuo.Plantilla:SfnPlantilla:Sfn
3. Cada nudo en una cuerda bornívora es un entorno del origen.Plantilla:Sfn

Todo EVT pseudometrizable es cuasi bornológico.Plantilla:Sfn Un EVT $(X,\tau )$ en el que cada conjunto bornívoro es un entorno del origen es un espacio cuasi bornológico.Plantilla:Sfn Si $X$ es un EVT cuasi bornológico, entonces la topología localmente convexa más fina en $X$ que es más gruesa que $\tau$ convierte a $X$ en un espacio bornológico localmente convexo.

Espacio bornológico

En análisis funcional, un espacio localmente convexo es un espacio bornológico si su topología puede recuperarse de su bornología de forma natural.

Todo espacio cuasi bornológico localmente convexo es bornológico, pero existen espacios bornológicos que Plantilla:Enf son cuasi bornológicos.Plantilla:Sfn

Un espacio vectorial topológico (EVT) $(X,\tau )$ con un espacio dual $X^{\prime }$ se denomina Plantilla:Enf si es localmente convexo y se cumple cualquiera de las siguientes condiciones equivalentes:

1. Todo conjunto convexo, equilibrado y bornívoro en $X$ es un entorno de cero.Plantilla:Sfn
2. Cada operador lineal acotado desde $X$ hacia un EVT localmente convexo es continuo.Plantilla:Sfn
   • Recuérdese que un aplicación lineal está acotada si y solo si asigna cualquier sucesión que converja a $0$ en el dominio a un subconjunto acotado del codominio.Plantilla:Sfn En particular, cualquier aplicación lineal que sea secuencialmente continua en el origen está acotada.
3. Todo operador lineal acotado desde $X$ hacia un espacio seminormado es continuo.Plantilla:Sfn
4. Todo operador lineal acotado desde $X$ hacia un espacio de Banach es continuo.Plantilla:Sfn

Si $X$ es un espacio localmente convexo de Hausdorff, entonces se puede agregar a esta lista:Plantilla:Sfn

5. La topología localmente convexa inducida por la bornología de von Neumann en $X$ es la misma que la topología dada de $\tau ,$ $X$.
6. Todo espacio seminormado acotado en $X$ es continuo.Plantilla:Sfn
7. Cualquier otra topología de un espacio vectorial topológico localmente convexo de Hausdorff en $X$ que tenga la misma bornología (de von Neumann) que $(X,\tau )$ es necesariamente más gruesa que $\tau .$
8. $X$ es el límite inductivo de espacios normados.Plantilla:Sfn
9. $X$ es el límite inductivo de los espacios normados $X_D,$ ya que $D$ varía sobre los discos cerrados y acotados de $X$ (o como $D$ varía sobre los discos acotados de $X$).Plantilla:Sfn
10. $X$ porta la topología de Mackey $\tau (X,X^{\prime })$ y todas las funciones lineales acotadas en $X$ son continuas.Plantilla:Sfn
11. $X$ tiene las dos propiedades siguientes:
    • $X$ es Plantilla:Enf o Plantilla:Enf, lo que significa que cada subconjunto convexo secuencialmente abierto de $X$ es abierto.
    • $X$ es Plantilla:Enf o Plantilla:Enf, lo que significa que cada subconjunto convexo y bornívoro de $X$ es secuencialmente abierto.
    donde un subconjunto $A$ de $X$ se llama Plantilla:Enf si cada sucesión que converge a $0$ finalmente pertenece a $A.$

Todo operador lineal secuencialmente continuo desde un espacio bornológico localmente convexo hacia un EVT localmente convexo es continuo,Plantilla:Sfn donde debe recordarse que un operador lineal es secuencialmente continuo si y solo si es secuencialmente continuo en el origen. Así, para aplicaciones lineales desde un espacio bornológico a un espacio localmente convexo, la continuidad es equivalente a la continuidad secuencial en el origen. De manera más general, se tiene el enunciado siguiente:

• Cualquier aplicación lineal $F:X\to Y$ desde un espacio bornológico localmente convexo a un espacio localmente convexo $Y$ que haga corresponder sucesiones nulas en $X$ a subconjuntos acotados de $Y$ es necesariamente continuo.

Condiciones suficientes

Como consecuencia del teorema de Mackey-Ulam, "a todos los efectos prácticos, el producto de espacios bornológicos es bornológico."Plantilla:Sfn

Los siguientes espacios vectoriales topológicos son todos bornológicos:

• Cualquier EVT pseudometrizable localmente convexo es bornológico.Plantilla:SfnPlantilla:Sfn
  • Por tanto, cada espacio vectorial normado y cada espacio de Fréchet es bornológico.
• Cualquier límite inductivo estricto de espacios bornológicos, en particular cualquier espacio LF estricto, es bornológico.
  • Esto demuestra que existen espacios bornológicos que no son metrizables.
• Un producto numerable de espacios bornológicos localmente convexos es bornológico.Plantilla:SfnPlantilla:Sfn
• Los cocientes de espacios bornológicos localmente convexos de Hausdorff son bornológicos.Plantilla:Sfn
• La suma directa y el límite inductivo de los espacios bornológicos localmente convexos de Hausdorff son bornológicos.Plantilla:Sfn
• Los espacios de Fréchet y de Montel tienen duales fuertes bornológicos.
• El dual fuerte de cada espacio de Fréchet reflexivo es bornológico.Plantilla:Sfn
• Si el dual fuerte de un espacio localmente convexo metrizable es separable, entonces es bornológico.Plantilla:Sfn
• Un subespacio vectorial de un espacio bornológico localmente convexo de Hausdorff $X$ que tiene codimensión finita en $X$ es bornológico.Plantilla:SfnPlantilla:Sfn
• La topología localmente convexa más fina en un espacio vectorial es bornológica.Plantilla:Sfn

Contraejemplos

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

Un subespacio vectorial cerrado de un espacio bornológico localmente convexo no es necesariamente bornológico.Plantilla:SfnPlantilla:Sfn Existe un subespacio vectorial cerrado de un espacio bornológico localmente convexo que es completo (y por lo tanto, secuencialmente completo) pero no es barrilado ni es bornológico.Plantilla:Sfn

Los espacios bornológicos no necesitan ser barrilados y los espacios barrilados no necesitan ser bornológicos.Plantilla:Sfn Debido a que todo espacio ultrabornológico localmente convexo es barrilado,Plantilla:Sfn se deduce que un espacio bornológico no es necesariamente ultrabornológico.

Propiedades

• El espacio dual fuerte de un espacio bornológico localmente convexo es completo.Plantilla:Sfn
• Todo espacio bornológico localmente convexo es infrabarrilado.Plantilla:Sfn
• Cada EVT bornológico secuencialmente completo de Hausdorff es ultrabornológico.Plantilla:Sfn
  • Así, todo espacio bornológico completo de Hausdorff es ultrabornológico.
  • En particular, todo espacio de Fréchet es ultrabornológico.Plantilla:Sfn
• El producto finito de espacios ultrabornológicos localmente convexos es ultrabornológico.Plantilla:Sfn
• Todo espacio bornológico de Hausdorff es cuasi barrilado.Plantilla:Sfn
• Dado un espacio bornológico $X$ con espacio dual $X^{\prime },$ la topología de $X$ coincide con la topología de Mackey $\tau (X,X^{\prime }).$
  • En particular, los espacios bornológicos son espacios de Mackey.
• Cada espacio bornológico casi completo (es decir, todos los subconjuntos cerrados y acotados están completos) es barrilado. Existen, sin embargo, espacios bornológicos que no están cerrados.
• Todo espacio bornológico es el límite inductivo de los espacios normados (y de los espacios de Banach si el espacio también es casi completo).
• Sea $X$ un espacio localmente convexo metrizable con $X^{\prime }.$ su dual continuo. Entonces, los siguientes enunciados son equivalentes:
  1. $\beta (X^{\prime },X)$ es bornológico.
  2. $\beta (X^{\prime },X)$ es cuasi barrilado.
  3. $\beta (X^{\prime },X)$ es barrilado.
  4. $X$ es un espacio distinguido.
• Si $L:X\to Y$ es una aplicación lineal entre espacios localmente convexos y si $X$ es bornológico, entonces las expresiones siguientes son equivalentes:
  1. $L:X\to Y$ es continua.
  2. $L:X\to Y$ es secuencialmente continua.Plantilla:Sfn
  3. Por cada conjunto $B\subseteq X$ que está acotado en $X,$ $L(B)$ está acotada.
  4. Si $x_{\bullet }=(x_i{)}_{i=1}^{\mathrm{\infty }}$ es una sucesión nula en $X$, entonces $L\circ x_{\bullet }=(L(x_i){)}_{i=1}^{\mathrm{\infty }}$ es una sucesión nula en $Y.$
  5. Si $x_{\bullet }=(x_i{)}_{i=1}^{\mathrm{\infty }}$ es una sucesión nula convergente de Mackey en $X$, entonces $L\circ x_{\bullet }=(L(x_i){)}_{i=1}^{\mathrm{\infty }}$ es un subconjunto acotado de $Y.$
• Supóngase que $X$ e $Y$ son EVTs localmente convexos y que el espacio de aplicaciones lineales continuas $L_b(X;Y)$ está dotado de la topología de convergencia uniforme en subconjuntos acotados de $X.$ Si $X$ es un espacio bornológico y si $Y$ es completo, entonces $L_b(X;Y)$ es un EVT completo.Plantilla:Sfn
  • En particular, el dual fuerte de un espacio bornológico localmente convexo es completo.Plantilla:Sfn Sin embargo, no es necesario que sea bornológico.

Subconjuntos

• En un espacio bornológico localmente convexo, cada conjunto bornívoro convexo $B$ es un entorno de $0$ (Plantilla:Enf se requiere que $B$ sea un disco).Plantilla:Sfn
• Cada subconjunto bornívoro de un espacio vectorial topológico metrizable localmente convexo es un entorno del origen.Plantilla:Sfn
• Los subespacios vectoriales cerrados del espacio bornológico no necesitan ser bornológicos.Plantilla:Sfn

Espacios ultrabornológicos

Un disco en un espacio vectorial topológico $X$ se llama Plantilla:Enf si absorbe todos los discos de Banach.

Si $X$ es localmente convexo y de Hausdorff, entonces un disco es infrabornívoro si y solo si absorbe todos los discos compactos.

Un espacio localmente convexo se denomina Plantilla:Enf si se cumple alguna de las siguientes condiciones equivalentes:

1. Cada disco infrabornívoro es una entorno del origen.
2. $X$ es el límite inductivo de los espacios $X_D$, ya que $D$ varía en todos los discos compactos en $X.$
3. Una seminorma en $X$ que está limitada en cada disco de Banach es necesariamente continua.
4. Para cada espacio localmente convexo $Y$ y cada aplicación lineal $u:X\to Y,$ si $u$ está acotado en cada disco de Banach, entonces $u$ es continua.
5. Para cada espacio de Banach $Y$ y cada aplicación lineal $u:X\to Y,$ si $u$ está acotada en cada disco de Banach, entonces $u$ es continua.

Propiedades

El producto finito de espacios ultrabornológicos es ultrabornológico. Los límites inductivos de los espacios ultrabornológicos son ultrabornológicos.

Véase también

• Bornología
• Conjunto bornívoro
• Conjunto acotado (espacio vectorial topológico)
• Espacio localmente convexo
• Espacio de aplicaciones lineales
• Espacio vectorial topológico
• Bornología vectorial

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
• 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