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[1]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 acotaciones[2] (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 ( y ). 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.[2]
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.[3] 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.[3] 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.[3] Por ejemplo, la operación de multiplicación de algunas álgebras topológicas importantes no era continua, aunque a menudo estaba acotada.[3] 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[4] problemas en geometría algebraica y topología general.
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 es una familia de subconjuntos de tales que
- es estable bajo inclusión o cerrada hacia abajo si , y entonces cada subconjunto de es un elemento de
- Expresado en lenguaje coloquial, esto significa que los subconjuntos de conjuntos acotados están acotados.
- recubre Cada punto de es un elemento de algún o equivalente,
- Suponiendo (1), esta condición puede reemplazarse por: para cada En lenguaje sencillo, esto dice que cada punto está acotado.
- 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 par de conjuntos 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 se denomina estructura acotada o conjunto bornológico .[5]
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 puede definirse de manera equivalente como un ideal que recubre
Los elementos de se denominan conjuntos acotados o simplemente conjuntos acotados , si se sobreentiende . Las propiedades (1) y (2) implican que cada subconjunto unitario de es un elemento de cada bornología en la propiedad (3), a su vez, garantiza que lo mismo ocurre con cada subconjunto finito de 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 es una estructura acotada y entonces el conjunto de complementos es un filtro (adecuado) llamado filtro en el infinito ;[5] siempre es un filtro libre, lo que por definición significa que tiene una intersección vacía/núcleo, porque para cada
Bases y subbases
Si y son bornologías en , entonces se dice que es más fina o más fuerte que y también se dice que es más gruesa o más débil que si [5]
Una familia de conjuntos se llama base de una bornología o sistema fundamental de una bornología si y por cada existe un tal que
Una familia de conjuntos se llama subbase de una bornología si y la colección de todas las uniones finitas de conjuntos en forman una base para [5].
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 es una vez más una bornología en Tal intersección de bornologías recubrirá porque cada bornología en contiene cada subconjunto finito de (es decir, si es una bornología en y es finito, entonces ). 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 .
Dada una colección de subconjuntos de , la bornología más pequeña en que contiene se llama bornología generada por .[5] Es igual a la intersección de todas las bornologías en que contienen como subconjunto. Esta intersección está bien definida porque el conjunto potencia de es siempre una bornología en por lo que cada familia de subconjuntos de siempre está contenida en al menos una bornología en
Aplicaciones acotadas
Supóngase que e son estructuras acotadas. Un aplicación se llama aplicación localmente acotada, o simplemente aplicación acotada , si la imagen bajo de cada conjunto acotado es un conjunto acotado ; es decir, si por cada [5]
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.[5]
Caracterizaciones
Supóngase que e son espacios vectoriales topológicos (EVT) y es un aplicación lineal. Entonces, las siguientes afirmaciones son equivalentes:
- es una aplicación acotada (localmente);
- Por cada disco bornívoro (es decir, acotado en el sentido bornológico) en también es bornívoro.[5]
Si e son localmente convexos, entonces esta lista puede ampliarse para incluir:
- hace corresponder discos acotados con discos acotados;
Si está seminormado e es localmente convexo, entonces esta lista puede ampliarse para incluir:
- asigna secuencias nulas (es decir, secuencias que convergen al origen ) en subconjuntos acotados de [5]
Ejemplos de aplicaciones acotadas
Si es un operador lineal continuo entre dos espacios vectoriales topológicos (ni siquiera necesitan ser de Hausdorff), entonces es un operador lineal acotado (cuando y tienen sus bornologías de von-Neumann). Lo contrario es en general falso.
Un aplicación secuencialmente continua entre dos EVTs está necesariamente acotada localmente.[5]
Construcciones generales
Bornología discreta
Para cualquier conjunto el conjunto potencia de es una bornología en llamada bornología discreta. [5] Dado que cada bornología en es un subconjunto de la bornología discreta es la bornología más fina en Si es una estructura acotada, entonces (porque las bornologías son cerradas hacia abajo) es la bornología discreta si y solo si
Bornología no discreta
Para cualquier conjunto el conjunto de todos los subconjuntos finitos de es una bornología en llamada bornología no discreta. Es la bornología más gruesa en lo que significa que es un subconjunto de todas las bornologías en
Conjuntos de cardinalidad acotada
El conjunto de todos los subconjuntos numerables de es una bornología en De manera más general, para cualquier cardinal infinito, el conjunto de todos los subconjuntos de que tienen cardinalidad como máximo es una bornología en
Bornología de imagen inversa
Si es un aplicación y es una bornología en entonces denota la bornología generada por , que se denomina bornología de imagen inversa o bornología inicial inducida por en [5].
Sea un conjunto, sea una familia de estructuras acotadas indexada por y sea una familia de aplicaciones indexada por donde para cada La bornología de imagen inversa en determinada por estas aplicaciones es la bornología más fuerte en , lo que hace que cada esté limitada localmente. Esta bornología es igual a[5]
Bornología de imagen directa
Sea un conjunto, sea una familia de estructuras acotadas indexada por y sea una familia de aplicaciones indexada por donde para cada La bornología de imagen directa en determinada por estas aplicaciones es la bornología más débil en , lo que hace que cada esté limitada localmente. Si para cada denota la bornología generada por entonces esta bornología es igual a la colección de todos los subconjuntos de de la forma donde cada y todos menos un número finito de están vacíos.[5]
Bornología subespacial
Supóngase que es una estructura acotada y es un subconjunto de La bornología subespacial en es la bornología más fina en , lo que convierte la inyección canónica de en (definida por ) limitada localmente.[5]
Bornología del producto
Sea una familia de estructuras acotadas indexada por , sea y para cada sea la proyección canónica. La bornología del producto en es la bornología de imagen inversa determinada por las proyecciones canónicas Es decir, es la bornología más fuerte en que hace que cada una de las proyecciones canónicas esté limitada localmente. [5] proporciona una base para la bornología del producto.
Construcciones topológicas
Bornología compacta
Un subconjunto de un espacio topológico se llama relativamente compacta si su cierre es un subespacio compacto de Para cualquier espacio topológico en el que los subconjuntos unitarios sean relativamente compactos (como el espacio T1), el conjunto de todos los subconjuntos relativamente compactos de forma una bornología en llamada bornología compacta en [5] 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 para .
Bornología métrica
Dado un espacio métrico su bornología métrica consta de todos los subconjuntos tales que el supremo es finito.
De manera similar, dado un espacio de medida la familia de todos los subconjuntos medibles de medida finita (es decir, ) forman una bornología en
Cierre y bornologías interiores
Supóngase que es un espacio topológico y es una bornología en
La bornología generada por el conjunto de todos los interiores de los conjuntos en (es decir, generada por se llama bornología interior de y se denota por [5] La bornología se llama abierta si
La bornología generada por el conjunto de todas las clausuras de conjuntos en (es decir, generada por ) se llama clausura de y se denota por [5] Necesariamente, se tiene que
La bornología se denomina cerrada si satisface alguna de las siguientes condiciones equivalentes:
- Los subconjuntos cerrados de generan ;[5]
- El cierre de cada pertenece a [5]
La bornología se llama propia si es abierta y cerrada.[5]
El espacio topológico se llama localmente acotado o simplemente localmente acotado si cada tiene un entorno que pertenece a Todo subconjunto compacto de un espacio topológico acotado localmente está acotado.[5]
Bornología de un espacio vectorial topológico
Si es un espacio vectorial topológico (EVT), entonces el conjunto de todos los subconjuntos acotados de forman una bornología (de hecho, incluso un bornología vectorial) en llamada bornología de von Neumann de , bornología usual o simplemente la bornología de y se denomina acotación natural. .[5] En cualquier EVT localmente convexo el conjunto de todos los discos acotados cerrados forma una base para la bornología habitual de [5]
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 es un anillo topológico conmutativo. Un subconjunto de se llama subconjunto acotado si para cada entorno del origen en existe un entorno del origen en tal que [5]
Véase también
- Conjunto bornívoro
- Espacio bornológico
- Estructura gruesa#Conjunto acotado
- Espacio de aplicaciones lineales
- Espacio ultrabornológico
- Bornología vectorial
Referencias
- ↑ Block, Jonathan; Daenzer, Calder (2009-01-09). «Mukai duality for gerbes with connection». arXiv:0803.1529 [math.QA].
- ↑ a b Hogbe-Nlend, 1971, p. 5.
- ↑ a b c d Hogbe-Nlend, 1971, pp. 1-2.
- ↑ Hogbe-Nlend, 1971.
- ↑ a b c d e f g h i j k l m n ñ o p q r s t u v w x y Narici y Beckenstein, 2011, pp. 156-175.
Bibliografía
- Hogbe-Nlend, Henri (1977). Bornologies and Functional Analysis: Introductory Course on the Theory of Duality Topology-Bornology and its use in Functional Analysis. North-Holland Mathematics Studies 26. Amsterdam New York New York: North Holland. ISBN 978-0-08-087137-0. MR 0500064. OCLC 316549583.
- Hogbe-Nlend, Henri (1971). «Les racines historiques de la bornologie moderne». Séminaire Choquet: Initiation à l'analyse (en francés) 10 (1): 1-7. MR 477660.
- Khaleelulla, S. M. (1982). Counterexamples in Topological Vector Spaces. Lecture Notes in Mathematics 936. Berlin, Heidelberg, New York: Springer Science+Business Media. pp. 29-33, 49, 104. ISBN 978-3-540-11565-6. OCLC 8588370.
- Kriegl, Andreas; Michor, Peter W. (1997). The Convenient Setting of Global Analysis. Mathematical Surveys and Monographs 53. Providence, R.I: American Mathematical Society. ISBN 978-0-8218-0780-4. OCLC 37141279.
- Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second edición). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834.
- Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM 8 (Second edición). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
Datos: Q96373820