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^{pg 9} 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.

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 acotacionesPlantilla:Sfn (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.Plantilla:Sfn

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.Plantilla:Sfn 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.Plantilla:Sfn 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.Plantilla:Sfn Por ejemplo, la operación de multiplicación de algunas álgebras topológicas importantes no era continua, aunque a menudo estaba acotada.Plantilla:Sfn 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, incluidosPlantilla:Sfn problemas en geometría algebraica y topología general.

Definiciones

Una Plantilla:Enf 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 Plantilla:Enf.

Explícitamente, una Plantilla:Enfen un conjunto $X$ es una familia $ℬ\ne \varnothing$ de subconjuntos de $X$ tales que

1. $ℬ$ es estable bajo inclusión o Plantilla:Enfsi $B\in ℬ$, y entonces cada subconjunto de $B$ es un elemento de $ℬ.$
   • Expresado en lenguaje coloquial, esto significa que los subconjuntos de conjuntos acotados están acotados.
2. $ℬ$ recubre $X.$ Cada punto de $X$ es un elemento de algún $B\in ℬ,$ o equivalente, $X=\bigcup _{B\in ℬ}B.$
   • Suponiendo (1), esta condición puede reemplazarse por: para cada $x\in X,$ $\{x\}\in ℬ.$ En lenguaje sencillo, esto dice que cada punto está acotado.
3. $ℬ$ es estable bajo uniones finitas: la unión de un número finito de elementos de $ℬ$ es un elemento de $ℬ,$ o, de manera equivalente, la unión de cualquier Plantilla:Enf que pertenecen a $ℬ$ también pertenece a $ℬ.$
   • En términos sencillos, esto dice que la unión de dos conjuntos acotados es un conjunto acotado.

en cuyo caso el par $(X,ℬ)$ se denomina Plantilla:Enfo Plantilla:Enf.Plantilla:Sfn

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 Plantilla:Enf (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 $ℬ$ se denominan Plantilla:Enf o simplemente Plantilla:Enf, si se sobreentiende $ℬ$. 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,ℬ)$ es una estructura acotada y $X\notin ℬ,$ entonces el conjunto de complementos $\{X\setminus B:B\in ℬ\}$ es un filtro (adecuado) llamado Plantilla:Enf;Plantilla:Sfn siempre es un Plantilla:Enf, lo que por definición significa que tiene una intersección vacía/núcleo, porque $\{x\}\in ℬ$ para cada $x\in X.$

Bases y subbases

Si $𝒜$ y $ℬ$ son bornologías en $X$, entonces se dice que $ℬ$ es Plantilla:Enfo Plantilla:Enfque $𝒜$ y también se dice que $𝒜$ es Plantilla:Enfo Plantilla:Enf que $ℬ$ si $𝒜\subseteq ℬ.$Plantilla:Sfn

Una familia de conjuntos $𝒜$ se llama Plantilla:Enfo Plantilla:Enfde una bornología $ℬ$ si $𝒜\subseteq ℬ$ y por cada $B\in ℬ,$ existe un $A\in 𝒜$ tal que $B\subseteq A.$

Una familia de conjuntos $𝒮$ se llama Plantilla:Enfde una bornología $ℬ$ si $𝒮\subseteq ℬ$ y la colección de todas las uniones finitas de conjuntos en $𝒮$ forman una base para $ℬ.$Plantilla:Sfn.

Cada base de una bornología es también una subbase de ella.

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 $ℬ$ es una bornología en $X$ y $F\subseteq X$ es finito, entonces $F\in ℬ$). 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 $𝒮$ de subconjuntos de $X,$, la bornología más pequeña en $X$ que contiene $𝒮$ se llama Plantilla:Enfpor $𝒮$.Plantilla:Sfn Es igual a la intersección de todas las bornologías en $X$ que contienen $𝒮$ como subconjunto. Esta intersección está bien definida porque el conjunto potencia $\mathrm{\wp }(X)$ de $X$ es siempre una bornología en $X,$ por lo que cada familia $𝒮$ de subconjuntos de $X$ siempre está contenida en al menos una bornología en $X.$

Aplicaciones acotadas

Supóngase que $(X,𝒜)$ e $(Y,ℬ)$ son estructuras acotadas. Un aplicación $f:X\to Y$ se llama Plantilla:Enf o simplemente Plantilla:Enf, si la imagen bajo $f$ de cada conjunto acotado $𝒜$ es un conjunto acotado $ℬ$; es decir, si por cada $A\in 𝒜,$ $f(A)\in ℬ.$Plantilla:Sfn

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 Plantilla:Enfy es un aplicación biyectiva acotada localmente cuya inversa también está acotada localmente.Plantilla:Sfn

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:

1. $f$ es una aplicación acotada (localmente);
2. Por cada disco bornívoro (es decir, acotado en el sentido bornológico) $D$ en $Y,$ $f^{-1}(D)$ también es bornívoro.Plantilla:Sfn

Si $X$ e $Y$ son localmente convexos, entonces esta lista puede ampliarse para incluir:

3. $f$ hace corresponder discos acotados con discos acotados;

Si $X$ está seminormado e $Y$ es localmente convexo, entonces esta lista puede ampliarse para incluir:

4. $f$ asigna secuencias nulas (es decir, secuencias que convergen al origen $0$) en subconjuntos acotados de $Y.$Plantilla:Sfn

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.Plantilla:Sfn

Construcciones generales

Bornología discreta

Para cualquier conjunto $X,$ el conjunto potencia $\mathrm{\wp }(X)$ de $X$ es una bornología en $X$ llamada Plantilla:EnfPlantilla:Sfn Dado que cada bornología en $X$ es un subconjunto de $\mathrm{\wp }(X),$ la bornología discreta es la bornología más fina en $X.$ Si $(X,ℬ)$ es una estructura acotada, entonces (porque las bornologías son cerradas hacia abajo) $ℬ$ es la bornología discreta si y solo si $X\in ℬ.$

Bornología no discreta

Para cualquier conjunto $X,$ el conjunto de todos los subconjuntos finitos de $X$ es una bornología en $X$ llamada Plantilla:EnfEs 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 de imagen inversa

Si $f:S\to X$ es un aplicación y $ℬ$ es una bornología en $X,$ entonces $[f^{-1}(ℬ)]$ denota la bornología generada por $f^{-1}(ℬ):=\{f^{-1}(B):B\in ℬ\},$, que se denomina bornología de Plantilla:Enf o Plantilla:Enf inducida por $f$ en $S.$Plantilla:Sfn.

Sea $S$ un conjunto, ${(T_i,{ℬ}_i)}_{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 Plantilla:Enf$𝒜$ en $S$ determinada por estas aplicaciones es la bornología más fuerte en $S$, lo que hace que cada $f_i:(S,𝒜)\to (T_i,{ℬ}_i)$ esté limitada localmente. Esta bornología es igual aPlantilla:Sfn $\bigcap _{i\in I}\left[f^{-1}\left({ℬ}_i\right)\right].$

Bornología de imagen directa

Sea $S$ un conjunto, sea ${(T_i,{ℬ}_i)}_{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 Plantilla:Enf$𝒜$ en $S$ determinada por estas aplicaciones es la bornología más débil en $S$, lo que hace que cada $f_i:(T_i,{ℬ}_i)\to (S,𝒜)$ esté limitada localmente. Si para cada $i\in I,$ ${𝒜}_i$ denota la bornología generada por $f\left({ℬ}_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 {𝒜}_i$ y todos menos un número finito de $A_i$ están vacíos.Plantilla:Sfn

Bornología subespacial

Supóngase que $(X,ℬ)$ es una estructura acotada y $S$ es un subconjunto de $X.$ La Plantilla:Enf$𝒜$ en $S$ es la bornología más fina en $S$, lo que convierte la inyección canónica $(S,𝒜)\to (X,ℬ)$ de $S$ en $X$ (definida por $s\mapsto s$) limitada localmente.Plantilla:Sfn

Bornología del producto

Sea ${(X_i,{ℬ}_i)}_{i\in I}$ una familia de estructuras acotadas indexada por $I$, sea $X=\prod _{i\in I}{X}_i,$ y para cada $i\in I,$ sea $f_i:X\to X_i$ la proyección canónica. La Plantilla:Enfen $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. $\{\prod _{i\in I}{B}_i:B_i\in {ℬ}_i\text{for all }i\in I\}.$Plantilla:Sfn proporciona una base para la bornología del producto.

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 Plantilla:Enf en $X.$Plantilla:Sfn Cada aplicación continua en el espacio T1 está limitada con respecto a sus bornologías compactas.

El conjunto de subconjuntos relativamente compactos de $ℝ$ forman una bornología en $ℝ.$ Una base para esta bornología está dada por todos los intervalos cerrados de la forma $[-n,n]$ para $n=1,2,3,\dots .$.

Bornología métrica

Dado un espacio métrico $(X,d),$ su Plantilla:Enf consta de todos los subconjuntos $S\subseteq X$ tales que el supremo $\underset{s,t\in S}{\sup }d(s,t)<\mathrm{\infty }$ es finito.

De manera similar, dado un espacio de medida $(X,\mathrm{\Omega },\mu ),$ la familia de todos los subconjuntos medibles $S\in \mathrm{\Omega }$ de medida finita (es decir, $\mu (S)<\mathrm{\infty }$) forman una bornología en $X.$

Cierre y bornologías interiores

Supóngase que $X$ es un espacio topológico y $ℬ$ es una bornología en $X.$

La bornología generada por el conjunto de todos los interiores de los conjuntos en $ℬ$ (es decir, generada por $\{\mathrm{int}B:B\in ℬ\}$ se llama Plantilla:Enfde $ℬ$ y se denota por $\mathrm{int}ℬ.$Plantilla:Sfn La bornología $ℬ$ se llama Plantilla:Enfsi $ℬ=\mathrm{int}ℬ.$

La bornología generada por el conjunto de todas las clausuras de conjuntos en $ℬ$ (es decir, generada por $\{\mathrm{cl}B:B\in ℬ\}$) se llama Plantilla:Enfde $ℬ$ y se denota por $\mathrm{cl}ℬ.$Plantilla:Sfn Necesariamente, se tiene que $\mathrm{int}ℬ\subseteq ℬ\subseteq \mathrm{cl}ℬ.$

La bornología $ℬ$ se denomina Plantilla:Enfsi satisface alguna de las siguientes condiciones equivalentes:

1. $ℬ=\mathrm{cl}ℬ;$
2. Los subconjuntos cerrados de $X$ generan $ℬ$;Plantilla:Sfn
3. El cierre de cada $B\in ℬ$ pertenece a $ℬ.$Plantilla:Sfn

La bornología $ℬ$ se llama Plantilla:Enfsi $ℬ$ es abierta y cerrada.Plantilla:Sfn

El espacio topológico $X$ se llama Plantilla:Enfo simplemente Plantilla:Enf si cada $x\in X$ tiene un entorno que pertenece a $ℬ.$ Todo subconjunto compacto de un espacio topológico acotado localmente está acotado.Plantilla:Sfn

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 Plantilla:Enf Plantilla:Enfo simplemente Plantilla:Enfde $X$ y se denomina Plantilla:Enf.Plantilla:Sfn En cualquier EVT localmente convexo $X,$ el conjunto de todos los discos acotados cerrados forma una base para la bornología habitual de $X.$Plantilla:Sfn

Una aplicación lineal entre dos espacios bornológicos es continua si y solo si está acotada (con respecto a las bornologías habituales).

Anillos topológicos

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

Véase también

• Conjunto bornívoro
• Espacio bornológico
• Estructura gruesa#Conjunto acotado
• Espacio de aplicaciones lineales
• Espacio ultrabornológico
• Bornología vectorial

Bibliografía

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