Bornología
# Bornología

En matemáticas, especialmente en análisis funcional, una bornología en un conjunto X es una colección de subconjuntos de X que satisfacen axiomas que generalizan la noción de conjunto acotado. Una de las motivaciones clave detrás de las bornologías y el análisis bornológico es el hecho de que los espacios bornológicos proporcionan un entorno conveniente para el álgebra homológica en el análisis funcional. Esto se debe a que$^{pg9}$ la categoría de los espacios bornológicos es aditiva, completa, cocompleta y tiene un producto tensorial adjunto por el hom interno, todos ellos componentes necesarios para definir un álgebra homológica.

# Bornología
## Historia

La bornología se origina en el análisis funcional. Hay dos formas naturales de estudiar los problemas de análisis funcional: una es estudiar nociones relacionadas con la topología (topologías vectoriales, operadores continuos, subconjuntos abiertos/compactos, etc.) y la otra es estudiar nociones relacionadas con acotaciones (bornologías vectoriales, operadores lineales acotados, subconjuntos acotados, etc.).
Para los espacios vectoriales normados, de los cuales surgió el análisis funcional, las nociones topológicas y bornológicas son distintas pero complementarias y están estrechamente relacionadas. Por ejemplo, la bola unitaria centrada en el origen es a la vez un entorno del origen y un subconjunto acotado. Además, un subconjunto de un espacio normado es un entorno del origen (respectivamente, es "un conjunto acotado") exactamente cuando contiene (respectivamente, está contenido en) un múltiplo escalar distinto de cero de esta bola. Entonces, este es un caso donde las nociones topológicas y bornológicas son distintas pero complementarias, en el sentido de que sus definiciones difieren solo según qué relación se usa ($\,\subseteq \,$ y $\,\supseteq \,$). En otras ocasiones, la distinción entre nociones topológicas y bornológicas puede incluso resultar innecesaria. Por ejemplo, para aplicaciones lineales entre espacios normados, ser continuo (una noción topológica) equivale a ser acotado (una noción bornológica). Aunque la distinción entre topología y bornología suele ser confusa o innecesaria para espacios normados, se vuelve más importante cuando se estudian generalizaciones de espacios normados. Sin embargo, la bornología y la topología todavía pueden considerarse dos aspectos necesarios, distintos y complementarios de una misma realidad.
La teoría general de los espacios vectoriales topológicos surgió primero de la teoría de los espacios normados y luego la bornología surgió de esta teoría general de los espacios vectoriales topológicos, aunque desde entonces la bornología ha sido reconocida como una noción fundamental en el análisis funcional. Nacido del trabajo de George Mackey (que da nombre al espacio de Mackey), la importancia de los subconjuntos acotados se hizo evidente por primera vez en teoría de la dualidad, especialmente debido al teorema de Mackey-Arens y a la topología de Mackey. A partir de la década de 1950, se hizo evidente que los espacios vectoriales topológicos eran inadecuados para el estudio de ciertos problemas importantes. Por ejemplo, la operación de multiplicación de algunas álgebras topológicas importantes no era continua, aunque a menudo estaba acotada. Otros problemas importantes para los cuales se encontró que los EVTs eran inadecuados fue el desarrollo de una teoría más general del cálculo diferencial, la generalización de las distribuciones desde las distribuciones con valores escalares (las habituales) a distribuciones con valores vectoriales o de operadores, y la extensión del cálculo funcional holomórfico de Gelfand (que está concertado principalmente con el álgebra de Banach o con el álgebra localmente convexa) a una clase más amplia de operadores, incluidos aquellos cuyos espectros no son compactos. Se ha descubierto que la bornología es una herramienta útil para investigar estos problemas y otros, incluidos problemas en geometría algebraica y topología general.

# Bornología
## Definiciones

Una bornología en un conjunto es un recubrimiento del conjunto que está cerrado bajo uniones finitas y tomando subconjuntos. Los elementos de una bornología se denominan conjuntos acotados.
Explícitamente, una bornología en un conjunto $X$ es una familia ${\mathcal {B}}\neq \varnothing$ de subconjuntos de $X$ tales que
* ${\mathcal {B}}$ es estable bajo inclusión o cerrada hacia abajo si $B\in {\mathcal {B}}$, y entonces cada subconjunto de $B$ es un elemento de ${\mathcal {B}}.$
** Expresado en lenguaje coloquial, esto significa que los subconjuntos de conjuntos acotados están acotados.
* ${\mathcal {B}}$ recubre $X.$ Cada punto de $X$ es un elemento de algún $B\in {\mathcal {B}},$ o equivalente, $X={\textstyle \bigcup \limits _{B\in {\mathcal {B}}}B}.$
** Suponiendo (1), esta condición puede reemplazarse por: para cada $x\in X,$ $\{x\}\in {\mathcal {B}}.$ En lenguaje sencillo, esto dice que cada punto está acotado.
* ${\mathcal {B}}$ es estable bajo uniones finitas: la unión de un número finito de elementos de ${\mathcal {B}}$ es un elemento de ${\mathcal {B}},$ o, de manera equivalente, la unión de cualquier par de conjuntos que pertenecen a ${\mathcal {B}}$ también pertenece a ${\mathcal {B}}.$
** En términos sencillos, esto dice que la unión de dos conjuntos acotados es un conjunto acotado.
en cuyo caso el par $(X,{\mathcal {B}})$ se denomina estructura acotada o conjunto bornológico .
Por lo tanto, una bornología puede definirse de manera equivalente como un recubrimiento cerrado hacia abajo que está cerrado bajo uniones binarias. Una familia de conjuntos no vacía que se cierra bajo uniones finitas y toma subconjuntos (propiedades (1) y (3)) se llama ideal (porque es un ideal en el álgebra de Boole/álgebra de conjuntos que consta de todos los subconjuntos). Por lo tanto, una bornología en un conjunto $X$ puede definirse de manera equivalente como un ideal que recubre $X.$
Los elementos de ${\mathcal {B}}$ se denominan conjuntos acotados ${\mathcal {B}}$ o simplemente conjuntos acotados , si se sobreentiende ${\mathcal {B}}$. Las propiedades (1) y (2) implican que cada subconjunto unitario de $X$ es un elemento de cada bornología en $X;$ la propiedad (3), a su vez, garantiza que lo mismo ocurre con cada subconjunto finito de $X.$ En otras palabras, los puntos y los subconjuntos finitos siempre están acotados en cada bornología. En particular, el conjunto vacío siempre está acotado.
Si $(X,{\mathcal {B}})$ es una estructura acotada y $X\notin {\mathcal {B}},$ entonces el conjunto de complementos $\{X\setminus B:B\in {\mathcal {B}}\}$ es un filtro (adecuado) llamado filtro en el infinito ; siempre es un filtro libre, lo que por definición significa que tiene una intersección vacía/núcleo, porque $\{x\}\in {\mathcal {B}}$ para cada $x\in X.$

# Bornología
## Definiciones
### Bases y subbases

Si ${\mathcal {A}}$ y ${\mathcal {B}}$ son bornologías en $X$, entonces se dice que ${\mathcal {B}}$ es más fina o más fuerte que ${\mathcal {A}}$ y también se dice que ${\mathcal {A}}$ es más gruesa o más débil que ${\mathcal {B}}$ si ${\mathcal {A}}\subseteq {\mathcal {B}}.$
Una familia de conjuntos ${\mathcal {A}}$ se llama base de una bornología o sistema fundamental de una bornología ${\mathcal {B}}$ si ${\mathcal {A}}\subseteq {\mathcal {B}}$ y por cada $B\in {\mathcal {B}},$ existe un $A\in {\mathcal {A}}$ tal que $B\subseteq A.$
Una familia de conjuntos ${\mathcal {S}}$ se llama subbase de una bornología ${\mathcal {B}}$ si ${\mathcal {S}}\subseteq {\mathcal {B}}$ y la colección de todas las uniones finitas de conjuntos en ${\mathcal {S}}$ forman una base para ${\mathcal {B}}.$.
Cada base de una bornología es también una subbase de ella.

# Bornología
## Definiciones
### Bornología generada

La intersección de cualquier colección de (una o más) bornologías en $X$ es una vez más una bornología en $X.$ Tal intersección de bornologías recubrirá $X$ porque cada bornología en $X$ contiene cada subconjunto finito de $X$ (es decir, si ${\mathcal {B}}$ es una bornología en $X$ y $F\subseteq X$ es finito, entonces $F\in {\mathcal {B}}$). Se verifica fácilmente que dicha intersección también se cerrará bajo inclusión (subconjunto) y uniones finitas y, por lo tanto, será una bornología en $X.$.
Dada una colección ${\mathcal {S}}$ de subconjuntos de $X,$, la bornología más pequeña en $X$ que contiene ${\mathcal {S}}$ se llama bornología generada por ${\mathcal {S}}$. Es igual a la intersección de todas las bornologías en $X$ que contienen ${\mathcal {S}}$ como subconjunto. Esta intersección está bien definida porque el conjunto potencia $\wp (X)$ de $X$ es siempre una bornología en $X,$ por lo que cada familia ${\mathcal {S}}$ de subconjuntos de $X$ siempre está contenida en al menos una bornología en $X.$

# Bornología
## Aplicaciones acotadas

Supóngase que $(X,{\mathcal {A}})$ e $(Y,{\mathcal {B}})$ son estructuras acotadas. Un aplicación $f:X\to Y$ se llama aplicación localmente acotada, o simplemente aplicación acotada , si la imagen bajo $f$ de cada conjunto acotado ${\mathcal {A}}$ es un conjunto acotado ${\mathcal {B}}$; es decir, si por cada $A\in {\mathcal {A}},$ $f(A)\in {\mathcal {B}}.$
Dado que la composición de dos aplicaciones acotadas localmente está nuevamente acotada localmente, está claro que la clase de todas las estructuras acotadas forma una categoría cuyos morfismos son aplicaciones acotadas. Un isomorfismo en esta categoría se llama bornomorfismo y es un aplicación biyectiva acotada localmente cuya inversa también está acotada localmente.

# Bornología
## Aplicaciones acotadas
### Caracterizaciones

Supóngase que $X$ e $Y$ son espacios vectoriales topológicos (EVT) y $f:X\to Y$ es un aplicación lineal. Entonces, las siguientes afirmaciones son equivalentes:
* $f$ es una aplicación acotada (localmente);
* Por cada disco bornívoro (es decir, acotado en el sentido bornológico) $D$ en $Y,$ $f^{-1}(D)$ también es bornívoro.
Si $X$ e $Y$ son localmente convexos, entonces esta lista puede ampliarse para incluir:
* $f$ hace corresponder discos acotados con discos acotados;
Si $X$ está seminormado e $Y$ es localmente convexo, entonces esta lista puede ampliarse para incluir:
* $f$ asigna secuencias nulas (es decir, secuencias que convergen al origen $0$) en subconjuntos acotados de $Y.$

# Bornología
## Aplicaciones acotadas
### Ejemplos de aplicaciones acotadas

Si $f:X\to Y$ es un operador lineal continuo entre dos espacios vectoriales topológicos (ni siquiera necesitan ser de Hausdorff), entonces es un operador lineal acotado (cuando $X$ y $Y$ tienen sus bornologías de von-Neumann). Lo contrario es en general falso.
Un aplicación secuencialmente continua $f:X\to Y$ entre dos EVTs está necesariamente acotada localmente.

# Bornología
## Construcciones generales

Bornología discreta
Para cualquier conjunto $X,$ el conjunto potencia $\wp (X)$ de $X$ es una bornología en $X$ llamada bornología discreta. Dado que cada bornología en $X$ es un subconjunto de $\wp (X),$ la bornología discreta es la bornología más fina en $X.$ Si $(X,{\mathcal {B}})$ es una estructura acotada, entonces (porque las bornologías son cerradas hacia abajo) ${\mathcal {B}}$ es la bornología discreta si y solo si $X\in {\mathcal {B}}.$
Bornología no discreta
Para cualquier conjunto $X,$ el conjunto de todos los subconjuntos finitos de $X$ es una bornología en $X$ llamada bornología no discreta. Es la bornología más gruesa en $X,$ lo que significa que es un subconjunto de todas las bornologías en $X.$
Conjuntos de cardinalidad acotada
El conjunto de todos los subconjuntos numerables de $X$ es una bornología en $X.$ De manera más general, para cualquier cardinal infinito, $\kappa ,$ el conjunto de todos los subconjuntos de $X$ que tienen cardinalidad como máximo $\kappa$ es una bornología en $X.$

# Bornología
## Construcciones generales
### Bornología de imagen inversa

Si $f:S\to X$ es un aplicación y ${\mathcal {B}}$ es una bornología en $X,$ entonces $\left[f^{-1}({\mathcal {B}})\right]$ denota la bornología generada por $f^{-1}({\mathcal {B}}):=\left\{f^{-1}(B):B\in {\mathcal {B}}\right\},$, que se denomina bornología de imagen inversa o bornología inicial inducida por $f$ en $S.$.
Sea $S$ un conjunto, $\left(T_{i},{\mathcal {B}}_{i}\right)_{i\in I}$ sea una familia de estructuras acotadas indexada por $I$ y sea $\left(f_{i}\right)_{i\in I}$ una familia de aplicaciones indexada por $I,$ donde $f_{i}:S\to T_{i}$ para cada $i\in I.$ La bornología de imagen inversa ${\mathcal {A}}$ en $S$ determinada por estas aplicaciones es la bornología más fuerte en $S$, lo que hace que cada $f_{i}:(S,{\mathcal {A}})\to \left(T_{i},{\mathcal {B}}_{i}\right)$ esté limitada localmente. Esta bornología es igual a ${\textstyle \bigcap \limits _{i\in I}\left[f^{-1}\left({\mathcal {B}}_{i}\right)\right]}.$

# Bornología
## Construcciones generales
### Bornología de imagen directa

Sea $S$ un conjunto, sea $\left(T_{i},{\mathcal {B}}_{i}\right)_{i\in I}$ una familia de estructuras acotadas indexada por $I$ y sea $\left(f_{i}\right)_{i\in I}$ una familia de aplicaciones indexada por $I$ donde $f_{i}:T_{i}\to S$ para cada $i\in I.$ La bornología de imagen directa ${\mathcal {A}}$ en $S$ determinada por estas aplicaciones es la bornología más débil en $S$, lo que hace que cada $f_{i}:\left(T_{i},{\mathcal {B}}_{i}\right)\to (S,{\mathcal {A}})$ esté limitada localmente. Si para cada $i\in I,$ ${\mathcal {A}}_{i}$ denota la bornología generada por $f\left({\mathcal {B}}_{i}\right),$ entonces esta bornología es igual a la colección de todos los subconjuntos $A$ de $S$ de la forma $\cup _{i\in I}A_{i}$ donde cada $A_{i}\in {\mathcal {A}}_{i}$ y todos menos un número finito de $A_{i}$ están vacíos.

# Bornología
## Construcciones generales
### Bornología subespacial

Supóngase que $(X,{\mathcal {B}})$ es una estructura acotada y $S$ es un subconjunto de $X.$ La bornología subespacial ${\mathcal {A}}$ en $S$ es la bornología más fina en $S$, lo que convierte la inyección canónica $(S,{\mathcal {A}})\to (X,{\mathcal {B}})$ de $S$ en $X$ (definida por $s\mapsto s$) limitada localmente.

# Bornología
## Construcciones generales
### Bornología del producto

Sea $\left(X_{i},{\mathcal {B}}_{i}\right)_{i\in I}$ una familia de estructuras acotadas indexada por $I$, sea $X={\textstyle \prod \limits _{i\in I}X_{i}},$ y para cada $i\in I,$ sea $f_{i}:X\to X_{i}$ la proyección canónica. La bornología del producto en $X$ es la bornología de imagen inversa determinada por las proyecciones canónicas $f_{i}:X\to X_{i}.$ Es decir, es la bornología más fuerte en $X$ que hace que cada una de las proyecciones canónicas esté limitada localmente. ${\textstyle \left\{\prod \limits _{i\in I}B_{i}~:~B_{i}\in {\mathcal {B}}_{i}{\text{for all }}i\in I\right\}}.$ proporciona una base para la bornología del producto.

# Bornología
## Construcciones topológicas
### Bornología compacta

Un subconjunto de un espacio topológico $X$ se llama relativamente compacta si su cierre es un subespacio compacto de $X.$ Para cualquier espacio topológico $X$ en el que los subconjuntos unitarios sean relativamente compactos (como el espacio T1), el conjunto de todos los subconjuntos relativamente compactos de $X$ forma una bornología en $X$ llamada bornología compacta en $X.$ Cada aplicación continua en el espacio T1 está limitada con respecto a sus bornologías compactas.
El conjunto de subconjuntos relativamente compactos de $\mathbb {R}$ forman una bornología en $\mathbb {R} .$ Una base para esta bornología está dada por todos los intervalos cerrados de la forma $[-n,n]$ para $n=1,2,3,\ldots .$.

# Bornología
## Construcciones topológicas
### Bornología métrica

Dado un espacio métrico $(X,d),$ su bornología métrica consta de todos los subconjuntos $S\subseteq X$ tales que el supremo $\sup _{s,t\in S}d(s,t)<\infty$ es finito.
De manera similar, dado un espacio de medida $(X,\Omega ,\mu ),$ la familia de todos los subconjuntos medibles $S\in \Omega$ de medida finita (es decir, $\mu (S)<\infty$) forman una bornología en $X.$

# Bornología
## Construcciones topológicas
### Cierre y bornologías interiores

Supóngase que $X$ es un espacio topológico y ${\mathcal {B}}$ es una bornología en $X.$
La bornología generada por el conjunto de todos los interiores de los conjuntos en ${\mathcal {B}}$ (es decir, generada por $\{\operatorname {int} B:B\in {\mathcal {B}}\}$ se llama bornología interior de ${\mathcal {B}}$ y se denota por $\operatorname {int} {\mathcal {B}}.$ La bornología ${\mathcal {B}}$ se llama abierta si ${\mathcal {B}}=\operatorname {int} {\mathcal {B}}.$
La bornología generada por el conjunto de todas las clausuras de conjuntos en ${\mathcal {B}}$ (es decir, generada por $\{\operatorname {cl} B:B\in {\mathcal {B}}\}$) se llama clausura de ${\mathcal {B}}$ y se denota por $\operatorname {cl} {\mathcal {B}}.$ Necesariamente, se tiene que $\operatorname {int} {\mathcal {B}}\subseteq {\mathcal {B}}\subseteq \operatorname {cl} {\mathcal {B}}.$
La bornología ${\mathcal {B}}$ se denomina cerrada si satisface alguna de las siguientes condiciones equivalentes:
* ${\mathcal {B}}=\operatorname {cl} {\mathcal {B}};$
* Los subconjuntos cerrados de $X$ generan ${\mathcal {B}}$;
* El cierre de cada $B\in {\mathcal {B}}$ pertenece a ${\mathcal {B}}.$
La bornología ${\mathcal {B}}$ se llama propia si ${\mathcal {B}}$ es abierta y cerrada.
El espacio topológico $X$ se llama ${\mathcal {B}}$ localmente acotado o simplemente localmente acotado si cada $x\in X$ tiene un entorno que pertenece a ${\mathcal {B}}.$ Todo subconjunto compacto de un espacio topológico acotado localmente está acotado.

# Bornología
## Construcciones topológicas
### Bornología de un espacio vectorial topológico

Si $X$ es un espacio vectorial topológico (EVT), entonces el conjunto de todos los subconjuntos acotados de $X$ forman una bornología (de hecho, incluso un bornología vectorial) en $X$ llamada bornología de von Neumann de $X$, bornología usual o simplemente la bornología de $X$ y se denomina acotación natural. . En cualquier EVT localmente convexo $X,$ el conjunto de todos los discos acotados cerrados forma una base para la bornología habitual de $X.$
Una aplicación lineal entre dos espacios bornológicos es continua si y solo si está acotada (con respecto a las bornologías habituales).

# Bornología
## Construcciones topológicas
### Anillos topológicos

Supóngase que $X$ es un anillo topológico conmutativo. Un subconjunto $S$ de $X$ se llama subconjunto acotado si para cada entorno $U$ del origen en $X,$ existe un entorno $V$ del origen en $X$ tal que $SV\subseteq U.$