stringtranslate.com

Espacio totalmente delimitado

En topología y ramas relacionadas de las matemáticas , la acotación total es una generalización de la compacidad para circunstancias en las que un conjunto no es necesariamente cerrado . Un conjunto totalmente acotado puede estar cubierto por un número finito de subconjuntos de cada “tamaño” fijo (donde el significado de “tamaño” depende de la estructura del espacio circundante ).

El término precompacto (o precompacto ) se utiliza a veces con el mismo significado, pero precompacto también se utiliza para significar relativamente compacto . Estas definiciones coinciden para subconjuntos de un espacio métrico completo , pero no en general.

En espacios métricos

Un cuadrado unitario puede estar cubierto por un número finito de discos de radio ε < 1/2, 1/3, 1/4
[0, 1] 2 es un espacio totalmente acotado porque para cada ε > 0, el cuadrado unitario puede ser cubierto por un número finito de discos abiertos de radio ε .

Un espacio métrico está totalmente acotado si y solo si para cada número real , existe una colección finita de bolas abiertas de radio cuyos centros están en M y cuya unión contiene  a M . De manera equivalente, el espacio métrico M está totalmente acotado si y solo si para cada , existe una cubierta finita tal que el radio de cada elemento de la cubierta es como máximo . Esto es equivalente a la existencia de una ε-red finita . [1] Se dice que un espacio métrico está totalmente acotado si cada sucesión admite una subsucesión de Cauchy; en espacios métricos completos, un conjunto es compacto si y solo si es cerrado y totalmente acotado. [2]

Todo espacio totalmente acotado está acotado (como lo está la unión de un número finito de conjuntos acotados). Lo inverso es cierto para los subconjuntos del espacio euclidiano (con la topología de subespacio ), pero no en general. Por ejemplo, un conjunto infinito equipado con la métrica discreta está acotado pero no totalmente acotado: [3] toda bola discreta de radio o menos es un singleton, y ninguna unión finita de singletons puede cubrir un conjunto infinito.

Espacios uniformes (topológicos)

Una métrica aparece en la definición de acotación total sólo para asegurar que cada elemento de la cobertura finita sea de tamaño comparable, y pueda ser debilitado al de una estructura uniforme . Un subconjunto S de un espacio uniforme X está totalmente acotado si y sólo si, para cualquier entorno E , existe una cobertura finita de S por subconjuntos de X, cada uno de cuyos cuadrados cartesianos es un subconjunto de E. (En otras palabras, E reemplaza al "tamaño" ε , y un subconjunto es de tamaño E si su cuadrado cartesiano es un subconjunto de E. ) [4]

La definición puede extenderse aún más, a cualquier categoría de espacios con una noción de compacidad y completitud de Cauchy : un espacio está totalmente acotado si y sólo si su completitud (de Cauchy) es compacta.

Ejemplos y propiedades elementales

Comparación con conjuntos compactos

En los espacios métricos, un conjunto es compacto si y sólo si es completo y totalmente acotado; [5] sin el axioma de elección sólo se cumple la dirección hacia delante. Los conjuntos precompactos comparten una serie de propiedades con los conjuntos compactos.

En grupos topológicos

Aunque la noción de acotación total está estrechamente ligada a los espacios métricos, la mayor estructura algebraica de los grupos topológicos permite prescindir de algunas propiedades de separación . Por ejemplo, en los espacios métricos, un conjunto es compacto si y solo si es completo y totalmente acotado. Según la definición que se incluye a continuación, lo mismo se aplica a cualquier espacio vectorial topológico (no necesariamente Hausdorff ni completo). [6] [7] [8]

La forma lógica general de la definición es: un subconjunto de un espacio está totalmente acotado si y solo si, dado cualquier tamaño, existe una cubierta finita de tal que cada elemento de tiene un tamaño como máximo , entonces está totalmente acotado si y solo si está totalmente acotado cuando se lo considera como un subconjunto de sí mismo.

Adoptamos la convención de que, para cualquier vecindad de la identidad, un subconjunto se llama ( izquierda ) -pequeño si y sólo si [6] Un subconjunto de un grupo topológico es ( izquierda ) totalmente acotado si satisface cualquiera de las siguientes condiciones equivalentes:

  1. Definición : Para cualquier vecindad de la identidad existen finitos tales que
  2. Para cualquier vecindad de existe un subconjunto finito tal que (donde el lado derecho es la suma de Minkowski ).
  3. Para cualquier vecindario de existen un número finito de subconjuntos de tales que y cada uno es -pequeño. [6]
  4. Para cualquier subbase de filtro dada del filtro de vecindad del elemento identidad (que consta de todas las vecindades de en ) y para cada existe una cobertura de por un número finito de subconjuntos -pequeños de [6]
  5. es Cauchy acotado : para cada vecindad de la identidad y cada subconjunto numerablemente infinito de existen distintos tales que [6] (Si es finito entonces esta condición se satisface vacíamente ).
  6. Cualquiera de los tres conjuntos siguientes satisface (cualquiera de las definiciones anteriores de) estar (por la izquierda) totalmente acotado:
    1. El cierre de en [6]
      • El hecho de que este conjunto esté en la lista significa que se cumple la siguiente caracterización: está (izquierda) totalmente acotado si y solo si está (izquierda) totalmente acotado (según cualquiera de las condiciones de definición mencionadas anteriormente). La misma caracterización se cumple para los demás conjuntos que se enumeran a continuación.
    2. La imagen de bajo el cociente canónico que se define por (donde es el elemento identidad).
    3. La suma [9]

El término precompacto suele aparecer en el contexto de los espacios vectoriales topológicos de Hausdorff. [10] [11] En ese caso, las siguientes condiciones también son todas equivalentes a estar totalmente acotado (por la izquierda):

  1. En la terminación del cierre se compacta. [10] [12]
  2. Cada ultrafiltro es un filtro Cauchy .

La definición de derecho totalmente acotado es análoga: simplemente intercambiar el orden de los productos.

La condición 4 implica que cualquier subconjunto de es totalmente acotado (de hecho, compacto; véase § Comparación con conjuntos compactos más arriba). Si no es Hausdorff entonces, por ejemplo, es un conjunto completo compacto que no es cerrado. [6]

Espacios vectoriales topológicos

Cualquier espacio vectorial topológico es un grupo topológico abeliano bajo adición, por lo que se aplican las condiciones anteriores. Históricamente, la afirmación 6(a) fue la primera reformulación de la acotación total para espacios vectoriales topológicos ; data de un artículo de 1935 de John von Neumann. [13]

Esta definición tiene la atractiva propiedad de que, en un espacio localmente convexo dotado de la topología débil , los conjuntos precompactos son exactamente los conjuntos acotados .

Para los espacios de Banach separables, existe una buena caracterización de los conjuntos precompactos (en la topología normativa) en términos de secuencias de funcionales débilmente convergentes: si es un espacio de Banach separable, entonces es precompacto si y solo si cada secuencia de funcionales débilmente convergente converge uniformemente en [14].

Interacción con la convexidad

Véase también

Referencias

  1. ^ Sutherland 1975, pág. 139.
  2. ^ "Secuencias de Cauchy, completitud y una tercera formulación de compacidad" (PDF) . Departamento de Matemáticas de Harvard .
  3. ^abc Willard 2004, pág. 182.
  4. ^ Willard, Stephen (1970). Loomis, Lynn H. (ed.). Topología general. Reading, Mass.: Addison-Wesley. pág. 262. Cf definición 39.7 y lema 39.8.
  5. ^ ab Kolmogorov, AN; Fomin, SV (1957) [1954]. Elementos de la teoría de funciones y análisis funcional. Vol. 1. Traducido por Boron, Leo F. Rochester, NY: Graylock Press. págs. 51–3.
  6. ^ abcdefghi Narici y Beckenstein 2011, págs.
  7. ^ Narici y Beckenstein 2011, págs. 55–56.
  8. ^ Narici y Beckenstein 2011, págs. 55–66.
  9. ^ Schaefer y Wolff 1999, págs. 12-35.
  10. ^ desde Schaefer & Wolff 1999, pág. 25.
  11. ^ Trèves 2006, pág. 53.
  12. ^ Jarchow 1981, págs. 56–73.
  13. ^ von Neumann, John (1935). "Sobre espacios topológicos completos". Transacciones de la American Mathematical Society . 37 (1): 1–20. doi : 10.2307/1989693 . ISSN  0002-9947.
  14. ^ Phillips, RS (1940). "Sobre transformaciones lineales". Anales de Matemáticas : 525.
  15. ^ Narici y Beckenstein 2011, págs. 156-175.
  16. ^ Narici y Beckenstein 2011, págs. 67–113.

Bibliografía