Generalización de la acotación
En análisis funcional y áreas relacionadas de las matemáticas , un conjunto en un espacio vectorial topológico se llama acotado o acotado de von Neumann , si cada vecindad del vector cero se puede inflar para incluir el conjunto. Un conjunto que no está acotado se llama ilimitado .
Los conjuntos acotados son una forma natural de definir topologías polares localmente convexas en los espacios vectoriales de un par dual , ya que el conjunto polar de un conjunto acotado es un conjunto absolutamente convexo y absorbente . El concepto fue introducido por primera vez por John von Neumann y Andrey Kolmogorov en 1935 .
Definición
Supongamos que es un espacio vectorial topológico (TVS) sobre un campo.
Un subconjunto de se llama von Neumann acotado o simplemente acotado si se cumple alguna de las siguientes condiciones equivalentes:
- Definición : Para cada vecindad del origen existe un real tal que [nota 1] para todos los escalares que satisfacen
- es absorbido por cada barrio del origen.
- Para cada vecindad del origen existe un escalar tal que
- Para cada vecindad del origen existe un real tal que para todos los escalares satisface
- Para cada vecindad del origen existe un real tal que para todo real
- Cualquiera de las afirmaciones (1) a (5) anteriores, pero con la palabra "vecindario" reemplazada por cualquiera de las siguientes: " vecindario equilibrado ", "vecindario equilibrado abierto", "vecindario equilibrado cerrado", "vecindario abierto", "barrio cerrado". vecindario".
- por ejemplo, el enunciado (2) puede llegar a ser: está acotado si y sólo si es absorbido por cada vecindad equilibrada del origen.
- Si es localmente convexo , entonces también se puede agregar el adjetivo "convexo" a cualquiera de estos 5 reemplazos.
- Para cada secuencia de escalares que converge y cada secuencia de la secuencia converge en
- Esta fue la definición de "limitado" que utilizó Andrey Kolmogorov en 1934, que es la misma definición introducida por Stanisław Mazur y Władysław Orlicz en 1933 para TVS metrizables. Kolmogorov usó esta definición para demostrar que un TVS es seminormable si y sólo si tiene una vecindad convexa acotada del origen.
- Para cada secuencia en la secuencia converge en
- Cada subconjunto contable de está acotado (según cualquier condición definitoria distinta de ésta).
Si se trata de una base de vecindad en el origen, esta lista puede ampliarse para incluir:
- Cualquiera de las declaraciones (1) a (5) anteriores pero con los vecindarios limitados a aquellos que pertenecen a
- por ejemplo, la afirmación (3) puede convertirse en: Para cada existe un escalar tal que
Si es un espacio localmente convexo cuya topología está definida por una familia de seminormas continuas , entonces esta lista puede ampliarse para incluir:
- está limitado para todos
- Existe una secuencia de escalares distintos de cero tal que para cada secuencia de la secuencia está limitada (de acuerdo con cualquier condición definitoria distinta de esta).
- Porque todo está acotado (según cualquier condición definitoria distinta de ésta) en el espacio seminormado
- B está débilmente acotado, es decir, todo funcional lineal continuo está acotado en B [5]
Si es un espacio normado con norma (o más generalmente, si es un espacio seminorma y es simplemente una seminorma ), [nota 2] entonces esta lista puede ampliarse para incluir:
- es un subconjunto acotado por normas de Por definición, esto significa que existe un número real tal que para todo
- Por lo tanto, si es un mapa lineal entre dos espacios normados (o seminormados) y si la bola unitaria cerrada (alternativamente, abierta) está centrada en el origen, entonces es un operador lineal acotado (lo que, recordando, significa que su operador norma es finito) si y sólo si la imagen de esta pelota debajo es un subconjunto acotado por normas de
- es un subconjunto de alguna bola (abierta o cerrada). [nota 3]
- No es necesario que esta bola esté centrada en el origen, pero su radio debe (como de costumbre) ser positivo y finito.
Si es un subespacio vectorial del TVS , esta lista puede ampliarse para incluir:
- está contenido en el cierre de
- En otras palabras, un subespacio vectorial de está acotado si y sólo si es un subconjunto de (el espacio vectorial)
- Recuerde que es un espacio de Hausdorff si y sólo si está cerrado. Entonces, el único subespacio vectorial acotado de un TVS de Hausdorff es
Un subconjunto que no está acotado se llama ilimitado .
Bornología y sistemas fundamentales de conjuntos acotados.
La colección de todos los conjuntos acotados en un espacio vectorial topológico se llama bornología de von Neumann o bornología ( canónica ) de
Un sistema base o fundamental de conjuntos acotados de es un conjunto de subconjuntos acotados de tal que cada subconjunto acotado de es un subconjunto de algunos
El conjunto de todos los subconjuntos acotados de forma trivialmente un sistema fundamental de conjuntos acotados de
Ejemplos
En cualquier TVS localmente convexo , el conjunto de discos cerrados y acotados son una base del conjunto acotado.
Ejemplos y condiciones suficientes
A menos que se indique lo contrario, un espacio vectorial topológico (TVS) no necesita ser de Hausdorff ni localmente convexo .
- Los conjuntos finitos están acotados.
- Todo subconjunto totalmente acotado de un TVS está acotado.
- Todo conjunto relativamente compacto en un espacio vectorial topológico está acotado. Si el espacio está equipado con una topología débil, lo contrario también es cierto.
- El conjunto de puntos de una secuencia de Cauchy está acotado, el conjunto de puntos de una red de Cauchy no necesita estar acotado.
- El cierre del origen (refiriéndose al cierre del conjunto ) es siempre un subespacio vectorial cerrado acotado. Este conjunto es el único subespacio vectorial acotado más grande (con respecto a la inclusión de conjuntos ) de En particular, si es un subconjunto acotado de entonces también lo es
Conjuntos ilimitados
Un conjunto que no está acotado se dice que es ilimitado .
Cualquier subespacio vectorial de un TVS que no esté contenido en el cierre de es ilimitado
Existe un espacio de Fréchet que tiene un subconjunto acotado y también un subespacio vectorial denso tal que no está contenido en la clausura (en ) de ningún subconjunto acotado de
Propiedades de estabilidad
- En cualquier TVS, las uniones finitas , las sumas finitas de Minkowski , los múltiplos escalares, las traslaciones, los subconjuntos, los cierres , los interiores y los cascos equilibrados de conjuntos acotados están nuevamente acotados.
- En cualquier TVS localmente convexo , la cubierta convexa (también llamada envolvente convexa ) de un conjunto acotado vuelve a estar acotada. Sin embargo, esto puede ser falso si el espacio no es localmente convexo, ya que los espacios Lp (no localmente convexos) no tienen subconjuntos convexos abiertos no triviales.
- La imagen de un conjunto acotado bajo un mapa lineal continuo es un subconjunto acotado del codominio.
- Un subconjunto de un producto arbitrario (cartesiano) de TVS está acotado si y sólo si su imagen bajo cada proyección de coordenadas está acotada.
- Si y es un subespacio vectorial topológico de entonces está acotado en si y sólo si está acotado en
- En otras palabras, un subconjunto está acotado si y sólo si está acotado en cada (o equivalentemente, en algún) superespacio vectorial topológico de
Propiedades
Un espacio vectorial topológico localmente convexo tiene una vecindad acotada de cero si y sólo si su topología puede definirse mediante una única seminorma .
El polar de un conjunto acotado es un conjunto absolutamente convexo y absorbente .
Condición de contabilidad de Mackey : sies una secuencia contable de subconjuntos acotados de unespacio vectorial topológico localmente convexometrizable, entonces existe un subconjunto acotadodey una secuenciade números reales positivos tal quepara todos(o equivalentemente, tal que).
Utilizando la definición de conjuntos uniformemente acotados que se da a continuación, la condición de contabilidad de Mackey se puede reformular como: Si hay subconjuntos acotados de un espacio localmente convexo metrizable , entonces existe una secuencia de números reales positivos tales que están acotados uniformemente. En palabras, dada cualquier familia contable de conjuntos acotados en un espacio metrizable localmente convexo, es posible escalar cada conjunto según su propio real positivo para que queden uniformemente acotados.
Generalizaciones
Conjuntos uniformemente acotados
Se dice que una familia de conjuntos de subconjuntos de un espacio vectorial topológico es uniformemente acotado siexiste algún subconjunto acotadodetal que
normadoseminormadoacotada por normasSe dice que un conjunto de mapas desde hasta esuniformemente acotado en un conjunto dado si la familiaestá uniformemente acotada enlo que por definición significa que existe algún subconjunto acotadodetal queo equivalentemente, si y sólo sies un subconjunto acotado de
Un conjuntode aplicaciones lineales entre dos normados (o seminormados) espaciosyestá uniformemente acotada en alguna (o equivalentemente, cada) bola abierta (y/o bola cerrada no degenerada) siy sólo si susnormas de operadorestán uniformemente acotadas; es decir, si y sólo si
Dado que cada subconjunto singleton de es también un subconjunto acotado, se deduce que si es un conjunto equicontinuo de operadores lineales continuos entre dos espacios vectoriales topológicos y (no necesariamente Hausdorff o localmente convexo), entonces la órbita de cada es un subconjunto acotado de
Subconjuntos acotados de módulos topológicos.
La definición de conjuntos acotados se puede generalizar a módulos topológicos . Un subconjunto de un módulo topológico sobre un anillo topológico está acotado si para cualquier vecindad de existe una vecindad tal que
Ver también
Referencias
- ^ Narici Beckenstein (2011). Espacios vectoriales topológicos (2ª ed.). págs.253, teorema 8.8.7. ISBN 978-1-58488-866-6.
Notas
- ^ Para cualquier conjunto y escalar, la notación denota el conjunto.
- ^ Esto significa que la topología es igual a la topología inducida por Tenga en cuenta que cada espacio normado es un espacio seminorma y cada norma es una seminorma. La definición de topología inducida por una seminorma es idéntica a la definición de topología inducida por una norma.
- ^ Si es un espacio normado o un espacio seminormado , entonces las bolas abiertas y cerradas de radio (donde es un número real) centradas en un punto son, respectivamente, los conjuntos y cualquier conjunto de este tipo se llama bola (no degenerada) .
Bibliografía
- Adasch, Norberto; Ernst, Bruno; Keim, Dieter (1978). Espacios vectoriales topológicos: la teoría sin condiciones de convexidad . Apuntes de conferencias de matemáticas. vol. 639. Berlín Nueva York: Springer-Verlag . ISBN 978-3-540-08662-8. OCLC 297140003.
- Berberiano, Sterling K. (1974). Conferencias sobre Análisis Funcional y Teoría del Operador . Textos de Posgrado en Matemáticas. vol. 15. Nueva York: Springer. ISBN 978-0-387-90081-0. OCLC 878109401.
- Bourbaki, Nicolás (1987) [1981]. Espacios vectoriales topológicos: capítulos 1 a 5 . Elementos matemáticos . Traducido por Eggleston, HG; Madan, S. Berlín Nueva York: Springer-Verlag. ISBN 3-540-13627-4. OCLC 17499190.
- Conway, Juan (1990). Un curso de análisis funcional . Textos de Posgrado en Matemáticas . vol. 96 (2ª ed.). Nueva York: Springer-Verlag . ISBN 978-0-387-97245-9. OCLC 21195908.
- Edwards, Robert E. (1995). Análisis funcional: teoría y aplicaciones . Nueva York: Publicaciones de Dover. ISBN 978-0-486-68143-6. OCLC 30593138.
- Grothendieck, Alejandro (1973). Espacios vectoriales topológicos . Traducido por Chaljub, Orlando. Nueva York: Gordon y Breach Science Publishers. ISBN 978-0-677-30020-7. OCLC 886098.
- Jarchow, Hans (1981). Espacios localmente convexos . Stuttgart: BG Teubner. ISBN 978-3-519-02224-4. OCLC 8210342.
- Köthe, Gottfried (1983) [1969]. Espacios vectoriales topológicos I. Grundlehren der mathematischen Wissenschaften. vol. 159. Traducido por Garling, DJH Nueva York: Springer Science & Business Media. ISBN 978-3-642-64988-2. SEÑOR 0248498. OCLC 840293704.
- Narici, Lorenzo; Beckenstein, Eduardo (2011). Espacios vectoriales topológicos . Matemática pura y aplicada (Segunda ed.). Boca Ratón, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834.
- Robertson, AP; WJ Robertson (1964). Espacios vectoriales topológicos . Tratados de Cambridge en Matemáticas. vol. 53. Prensa de la Universidad de Cambridge . págs. 44–46.
- Rudin, Walter (1991). Análisis funcional. Serie Internacional en Matemática Pura y Aplicada. vol. 8 (Segunda ed.). Nueva York, NY: McGraw-Hill Ciencias/Ingeniería/Matemáticas . ISBN 978-0-07-054236-5. OCLC 21163277.
- Robertson, Alex P.; Robertson, Wendy J. (1980). Espacios vectoriales topológicos . Tratados de Cambridge en Matemáticas. vol. 53. Cambridge Inglaterra: Cambridge University Press . ISBN 978-0-521-29882-7. OCLC 589250.
- Schaefer, HH (1970). Espacios vectoriales topológicos . GTM . vol. 3. Springer-Verlag . págs. 25-26. ISBN 0-387-05380-8.
- Schaefer, Helmut H .; Wolff, Manfred P. (1999). Espacios vectoriales topológicos . GTM . vol. 8 (Segunda ed.). Nueva York, NY: Springer Nueva York Pie de imprenta Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
- Wilansky, Albert (2013). Métodos modernos en espacios vectoriales topológicos . Mineola, Nueva York: Dover Publications, Inc. ISBN 978-0-486-49353-4. OCLC 849801114.