Generalización de la acotación
En el análisis funcional y áreas relacionadas de las matemáticas , un conjunto en un espacio vectorial topológico se denomina acotado o acotado por von Neumann si cada entorno del vector cero se puede inflar para incluir el conjunto. Un conjunto que no está acotado se denomina 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 denomina acotado por von Neumann o simplemente acotado si se cumple alguna de las siguientes condiciones equivalentes:
- Definición : Para cada entorno del origen existe un real tal que [nota 1] para todos los escalares que satisfacen
- es absorbido por todos los alrededores del origen.
- Para cada vecindad del origen existe un escalar tal que
- Para cada entorno del origen existe un real tal que para todos los escalares que satisfacen
- Para cada entorno 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", "vecindario cerrado".
- Por ejemplo, la afirmación (2) puede convertirse en: está acotada si y sólo si es absorbida por cada vecindad equilibrada del origen.
- Si es localmente convexo , entonces el adjetivo "convexo" también puede agregarse a cualquiera de estos 5 reemplazos.
- Para cada secuencia de escalares que converge a y cada secuencia en la secuencia converge a en
- Esta fue la definición de "acotado" que Andrey Kolmogorov utilizó en 1934, que es la misma que la definición introducida por Stanisław Mazur y Władysław Orlicz en 1933 para TVS metrizables. Kolmogorov utilizó esta definición para demostrar que un TVS es seminormable si y solo si tiene un entorno convexo acotado del origen.
- Para cada secuencia en la secuencia converge a en
- Todo 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, entonces esta lista puede ampliarse para incluir:
- Cualquiera de las afirmaciones (1) a (5) anteriores, pero con los vecindarios limitados a los 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 extenderse para incluir:
- está acotado para todos
- Existe una secuencia de escalares distintos de cero tales que para cada secuencia en la secuencia está acotada (de acuerdo con cualquier condición definitoria distinta de ésta).
- Porque todo está acotado (de acuerdo con cualquier condición definitoria distinta de ésta) en el espacio semi normado .
- 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 seminormado y es meramente una seminorma ), [nota 2] entonces esta lista puede extenderse para incluir:
- es un subconjunto acotado por norma de Por definición, esto significa que existe un número real tal que para todo
- Por lo tanto, si es una función lineal entre dos espacios normados (o semirregulados) y si es la bola unitaria cerrada (alternativamente, abierta) centrada en el origen, entonces es un operador lineal acotado (lo que, recordemos, significa que su norma de operador es finita) si y solo si la imagen de esta bola debajo es un subconjunto acotado por norma de
- es un subconjunto de alguna bola (abierta o cerrada). [nota 3]
- Esta bola no necesita estar centrada en el origen, pero su radio debe (como de costumbre) ser positivo y finito.
Si es un subespacio vectorial del TVS , entonces 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)
- Recordemos que es un espacio de Hausdorff si y solo si es cerrado en Por lo tanto, 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 denomina 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 algún
El conjunto de todos los subconjuntos acotados de forma trivial 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 la topología débil, la inversa también es cierta.
- 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 (que se refiere 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 del conjunto ) 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 no está acotado .
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 de Minkowski finitas , los múltiplos escalares, las traducciones, los subconjuntos, los cierres , los interiores y las envolturas equilibradas de conjuntos acotados están a su vez acotados.
- En cualquier TVS localmente convexo , la envoltura convexa (también llamada envoltura convexa ) de un conjunto acotado está a su vez acotada. Lp (no localmente convexos) para no tienen subconjuntos convexos abiertos no triviales.
- La imagen de un conjunto acotado bajo una función lineal continua es un subconjunto acotado del codominio.
- Un subconjunto de un producto arbitrario (cartesiano) de TVS está acotado si y solo 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 solo si está acotado en
- En otras palabras, un subconjunto está acotado si y solo 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 solo 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 tales quepara todos(o equivalentemente, tales que).
Utilizando la definición de conjuntos uniformemente acotados que se da a continuación, la condición de numerabilidad de Mackey se puede reformular como: Si son subconjuntos acotados de un espacio localmente convexo metrizable , entonces existe una secuencia de números reales positivos tales que están uniformemente acotados. En palabras, dada cualquier familia contable de conjuntos acotados en un espacio localmente convexo metrizable, es posible escalar cada conjunto por su propio real positivo de modo que se vuelvan uniformemente acotados.
Generalizaciones
Conjuntos uniformemente acotados
Se dice que una familia de conjuntos de subconjuntos de un espacio vectorial topológico es uniformemente acotado ensi existe algún subconjunto acotadodetal que
lo cual sucede si y solo si su unión
es un subconjunto acotado de
En el caso de unnormado(osemirregulado), una familiaestá uniformemente acotada si y solo si su uniónestánormada, lo que significa que existe algún realtal quepara cadao equivalentemente, si y solo si
Se dice que un conjunto de mapas de a 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 solo sies un subconjunto acotado de
Un conjuntode aplicaciones lineales entre dos espacios normados (o semirregulados)yestá uniformemente acotado en alguna (o equivalentemente, cada) bola abierta (y/o bola cerrada no degenerada) ensi y solo si susnormas de operadorestán uniformemente acotadas; es decir, si y solo 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 convexos), 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 entorno de existe un entorno de tal que
Véase también
Referencias
- ^ Narici Beckenstein (2011). Espacios vectoriales topológicos (2.ª ed.). pp. 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 en es igual a la topología inducida en ella por Nótese que todo espacio normado es un espacio seminormado y toda norma es una seminorma. La definición de la topología inducida por una seminorma es idéntica a la definición de la topología inducida por una norma.
- ^ Si es un espacio normado o un espacio semirnormalizado , 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 denomina bola (no degenerada) .
Bibliografía
- Adasch, Norbert; Ernst, Bruno; Keim, Dieter (1978). Espacios vectoriales topológicos: la teoría sin condiciones de convexidad . Apuntes de clase en matemáticas. Vol. 639. Berlín, Nueva York: Springer-Verlag . ISBN. 978-3-540-08662-8.OCLC 297140003 .
- Berberian, Sterling K. (1974). Lecciones de análisis funcional y teoría de operadores . 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, John (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: Dover Publications. ISBN 978-0-486-68143-6.OCLC 30593138 .
- Grothendieck, Alexander (1973). Espacios vectoriales topológicos . Traducido por Chaljub, Orlando. Nueva York: Gordon and 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. Sr. 0248498. OCLC 840293704.
- Narici, Lawrence; Beckenstein, Edward (2011). Espacios vectoriales topológicos . Matemáticas puras y aplicadas (segunda edición). Boca Raton, FL: CRC Press. ISBN 978-1584888666.OCLC 144216834 .
- Robertson, AP; WJ Robertson (1964). Espacios vectoriales topológicos . Cambridge Tracts in Mathematics. Vol. 53. Cambridge University Press . págs. 44–46.
- Rudin, Walter (1991). Análisis funcional. Serie internacional de matemáticas puras y aplicadas. Vol. 8 (segunda edición). Nueva York, NY: McGraw-Hill Science/Engineering/Math . ISBN 978-0-07-054236-5.OCLC 21163277 .
- Robertson, Alex P.; Robertson, Wendy J. (1980). Espacios vectoriales topológicos . Cambridge Tracts in Mathematics. 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 New York 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 .