Espacio bornológico
# 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.

# Espacio bornológico
## Bornologías y aplicaciones acotadas

Una bornología en un conjunto $X$ es una colección ${\mathcal {B}}$ de subconjuntos de $X$ que satisfacen todas las condiciones siguientes:
* ${\mathcal {B}}$ recubre $X;$, es decir, $X=\cup {\mathcal {B}}$;
* ${\mathcal {B}}$ es estable bajo inclusiones; es decir, si $B\in {\mathcal {B}}$ y $A\subseteq B,$ entonces $A\in {\mathcal {B}}$;
* ${\mathcal {B}}$ es estable bajo uniones finitas; es decir, si $B_{1},\ldots ,B_{n}\in {\mathcal {B}}$ entonces $B_{1}\cup \cdots \cup B_{n}\in {\mathcal {B}}$;
Los elementos de la colección ${\mathcal {B}}$ se denominan ${\mathcal {B}}$- o simplemente conjuntos acotados si se sobrentiende la existencia de ${\mathcal {B}}$. El par $(X,{\mathcal {B}})$ se denomina estructura acotada o conjunto bornológico.
Una base o sistema fundamental de una bornología ${\mathcal {B}}$ es un subconjunto ${\mathcal {B}}_{0}$ de ${\mathcal {B}}$ tal que cada elemento de ${\mathcal {B}}$ es un subconjunto de algún elemento de ${\mathcal {B}}_{0}.$ Dada una colección ${\mathcal {S}}$ de subconjuntos de $X,$ la bornología más pequeña que contiene ${\mathcal {S}}$ se denomina bornología generada por ${\mathcal {S}}.$
Si $(X,{\mathcal {B}})$ e $(Y,{\mathcal {C}})$ son conjuntos bornológicos, entonces su producto de la bornología 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 {\mathcal {B}}$ y $C\in {\mathcal {C}}.$ 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.

# Espacio bornológico
## Bornologías y aplicaciones acotadas
### Aplicaciones acotadas

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

# Espacio bornológico
## Bornologías vectoriales

Sea $X$ un espacio vectorial sobre un cuerpo $\mathbb {K} ,$ donde $\mathbb {K}$ tiene una bornología ${\mathcal {B}}_{\mathbb {K} }.$ Una bornología ${\mathcal {B}}$ en $X$ se denomina bornología vectorial en $X$ 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 ${\mathcal {B}}$ es una bornología en $X,$ entonces, las siguientes expresiones son equivalentes:
* ${\mathcal {B}}$ es una bornología vectorial.
* Las sumas finitas y las envolventes equilibradas de conjuntos acotados por ${\mathcal {B}}$ están acotadas por ${\mathcal {B}}$.
* La aplicación multiplicación escalar $\mathbb {K} \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).
Una bornología vectorial ${\mathcal {B}}$ se llama bornología vectorial convexa si es estable bajo la formación de envolventes convexas (es decir, la envolvente convexa de un conjunto acotado está acotada), entonces ${\mathcal {B}}.$ Y una bornología vectorial ${\mathcal {B}}$ se llama separada si el único subespacio vectorial acotado de $X$ es el espacio trivial de dimensión 0 $\{0\}.$
Generalmente, $\mathbb {K}$ son los números reales o los complejos, en cuyo caso una bornología vectorial ${\mathcal {B}}$ sobre $X$ se llamará bornología vectorial convexa si ${\mathcal {B}}$ tiene una base que consta de conjuntos convexos.

# Espacio bornológico
## Bornologías vectoriales
### Subconjuntos bornívoros

Un subconjunto $A$ de $X$ se llama bornívoro y un bornívoro 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.
Cada subconjunto bornívoro de un espacio vectorial topológico metrizable localmente convexo es un entorno del origen.

# Espacio bornológico
## Bornologías vectoriales
### Subconjuntos bornívoros
#### Convergencia de Mackey

Se dice que una secuencia $x_{\bullet }=(x_{i})_{i=1}^{\infty }$ en un EVT $X$ es convergente de Mackey a $0$ si existe una secuencia de números reales positivos $r_{\bullet }=(r_{i})_{i=1}^{\infty }$ que divergen a $\infty$ de modo que $(r_{i}x_{i})_{i=1}^{\infty }$ converge a $0$ en $X.$

# Espacio bornológico
## Bornologías vectoriales
### 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 la bornología o la bornología de von Neumann 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).

# Espacio bornológico
## Bornologías vectoriales
### Topología inducida

Si ${\mathcal {B}}$ es una bornología vectorial convexa en un espacio vectorial $X,$ entonces la colección ${\mathcal {N}}_{\mathcal {B}}(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 topología inducida por ${\mathcal {B}}$.
Si $(X,\tau )$ es un EVT, entonces el espacio bornológico asociado con $X$ es el espacio vectorial $X$ dotado de la topología localmente convexa inducida por la bornología de von Neumann de $(X,\tau ).$.
* Teorema
* Sean $X$ e $Y$ EVTs localmente convexos, y $X_{b}$ denota a $X$ dotado de la topología inducida por la bornología de von Neumann de $X.$ Defínase $Y_{b}$ de manera similar. Entonces, una aplicación lineal $L:X\to Y$ es un operador lineal acotado si y solo si $L:X_{b}\to Y$ es continuo.
* Además, si $X$ es bornológico, $Y$ es de Hausdorff y $L:X\to Y$ es una aplicación lineal continua, entonces también lo es $L:X\to Y_{b}.$ Si además $X$ también es ultrabornológico, entonces la continuidad de $L:X\to Y$ implica la continuidad de $L:X\to Y_{ub},$ donde $Y_{ub}$ es el espacio ultrabornológico asociado con $Y.$

# Espacio bornológico
## Espacios cuasi bornológicos

Los espacios cuasi bornológicos fueron introducidos por S. Iyahen en 1968.
Un espacio vectorial topológico (EVT) $(X,\tau )$ con un espacio dual $X^{\prime }$ se denomina espacio cuasi bornológico si se cumple alguna de las siguientes condiciones equivalentes:
* Cada operador lineal acotado desde $X$ hacia otro EVT es continuo.
* Todo operador lineal acotado desde $X$ hacia un EVT metrizable completo es continuo.
* Cada nudo en una cuerda bornívora es un entorno del origen.
Todo EVT pseudometrizable es cuasi bornológico. Un EVT $(X,\tau )$ en el que cada conjunto bornívoro es un entorno del origen es un espacio cuasi bornológico. 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
## Espacios cuasi bornológicos
### 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 no son cuasi bornológicos.
Un espacio vectorial topológico (EVT) $(X,\tau )$ con un espacio dual $X^{\prime }$ se denomina espacio bornológico si es localmente convexo y se cumple cualquiera de las siguientes condiciones equivalentes:
* Todo conjunto convexo, equilibrado y bornívoro en $X$ es un entorno de cero.
* Cada operador lineal acotado desde $X$ hacia un EVT localmente convexo es continuo.
** 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. En particular, cualquier aplicación lineal que sea secuencialmente continua en el origen está acotada.
* Todo operador lineal acotado desde $X$ hacia un espacio seminormado es continuo.
* Todo operador lineal acotado desde $X$ hacia un espacio de Banach es continuo.
Si $X$ es un espacio localmente convexo de Hausdorff, entonces se puede agregar a esta lista:
* 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$.
* Todo espacio seminormado acotado en $X$ es continuo.
* 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 .$
* $X$ es el límite inductivo de espacios normados.
* $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$).
* $X$ porta la topología de Mackey $\tau (X,X^{\prime })$ y todas las funciones lineales acotadas en $X$ son continuas.
* $X$ tiene las dos propiedades siguientes: donde un subconjunto $A$ de $X$ se llama secuencialmente abierto si cada sucesión que converge a $0$ finalmente pertenece a $A.$
** $X$ es secuencial convexo o secuencial C, lo que significa que cada subconjunto convexo secuencialmente abierto de $X$ es abierto.
** $X$ es bornológico secuencialmente o bornológico S, lo que significa que cada subconjunto convexo y bornívoro de $X$ es secuencialmente abierto.
Todo operador lineal secuencialmente continuo desde un espacio bornológico localmente convexo hacia un EVT localmente convexo es continuo, 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.

# Espacio bornológico
## Espacios cuasi bornológicos
### Condiciones suficientes

* Teorema de Mackey-Ulam
* El producto de una colección $X_{\bullet }=(X_{i})_{i\in I}$ de espacios bornológicos localmente convexos es bornológico si y solo si $I$ no admite una medida de Ulam.
Como consecuencia del teorema de Mackey-Ulam, "a todos los efectos prácticos, el producto de espacios bornológicos es bornológico."
Los siguientes espacios vectoriales topológicos son todos bornológicos:
* Cualquier EVT pseudometrizable localmente convexo es bornológico.
** 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.
* Los cocientes de espacios bornológicos localmente convexos de Hausdorff son bornológicos.
* La suma directa y el límite inductivo de los espacios bornológicos localmente convexos de Hausdorff son bornológicos.
* 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.
* Si el dual fuerte de un espacio localmente convexo metrizable es separable, entonces es bornológico.
* Un subespacio vectorial de un espacio bornológico localmente convexo de Hausdorff $X$ que tiene codimensión finita en $X$ es bornológico.
* La topología localmente convexa más fina en un espacio vectorial es bornológica.

# Espacio bornológico
## Espacios cuasi bornológicos
### Condiciones suficientes
#### Contraejemplos

Existe un espacio LB bornológico cuyo bidual fuerte es no bornológico.
Un subespacio vectorial cerrado de un espacio bornológico localmente convexo no es necesariamente bornológico. 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.
Los espacios bornológicos no necesitan ser barrilados y los espacios barrilados no necesitan ser bornológicos. Debido a que todo espacio ultrabornológico localmente convexo es barrilado, se deduce que un espacio bornológico no es necesariamente ultrabornológico.

# Espacio bornológico
## Espacios cuasi bornológicos
### Propiedades

* El espacio dual fuerte de un espacio bornológico localmente convexo es completo.
* Todo espacio bornológico localmente convexo es infrabarrilado.
* Cada EVT bornológico secuencialmente completo de Hausdorff es ultrabornológico.
** Así, todo espacio bornológico completo de Hausdorff es ultrabornológico.
** En particular, todo espacio de Fréchet es ultrabornológico.
* El producto finito de espacios ultrabornológicos localmente convexos es ultrabornológico.
* Todo espacio bornológico de Hausdorff es cuasi barrilado.
* 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:
** $\beta (X^{\prime },X)$ es bornológico.
** $\beta (X^{\prime },X)$ es cuasi barrilado.
** $\beta (X^{\prime },X)$ es barrilado.
** $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:
** $L:X\to Y$ es continua.
** $L:X\to Y$ es secuencialmente continua.
** Por cada conjunto $B\subseteq X$ que está acotado en $X,$ $L(B)$ está acotada.
** Si $x_{\bullet }=(x_{i})_{i=1}^{\infty }$ es una sucesión nula en $X$, entonces $L\circ x_{\bullet }=(L(x_{i}))_{i=1}^{\infty }$ es una sucesión nula en $Y.$
** Si $x_{\bullet }=(x_{i})_{i=1}^{\infty }$ es una sucesión nula convergente de Mackey en $X$, entonces $L\circ x_{\bullet }=(L(x_{i}))_{i=1}^{\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.
** En particular, el dual fuerte de un espacio bornológico localmente convexo es completo. Sin embargo, no es necesario que sea bornológico.

# Espacio bornológico
## Espacios cuasi bornológicos
### Propiedades
#### Subconjuntos

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

# Espacio bornológico
## Espacios ultrabornológicos

Un disco en un espacio vectorial topológico $X$ se llama infrabornívoro 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 ultrabornológico si se cumple alguna de las siguientes condiciones equivalentes:
* Cada disco infrabornívoro es una entorno del origen.
* $X$ es el límite inductivo de los espacios $X_{D}$, ya que $D$ varía en todos los discos compactos en $X.$
* Una seminorma en $X$ que está limitada en cada disco de Banach es necesariamente continua.
* 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.
* 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.

# Espacio bornológico
## Espacios ultrabornológicos
### Propiedades

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