Conjunto exiguo

concepto en topología

En el campo matemático de la topología general, un conjunto exiguo (también llamado conjunto escaso o conjunto de primera categoría) es un subconjunto de un espacio topológico que es pequeño o negligible en el sentido preciso que se detalla a continuación. Un conjunto que no es exiguo se denomina no exiguo, o de segunda categoría. Consúltense a continuación las definiciones de otros términos relacionados.

Los subconjuntos exiguos de un espacio fijo forman un ideal σ de subconjuntos, es decir, cualquier subconjunto de un conjunto exiguo es exiguo, y la unión numerable de muchos conjuntos exiguos es exigua.

Los conjuntos exiguos juegan un papel importante en la formulación de la noción de espacio de Baire y del teorema de categorías de Baire, que se utilizan en la demostración de varios resultados fundamentales del análisis funcional.

Definiciones

editar

En todo momento,   será un espacio topológico.

La definición de conjunto exiguo utiliza la noción de un subconjunto denso en ninguna parte de  , es decir, un subconjunto de   cuya clausura tiene un interior vacío (consúltese el artículo correspondiente para más detalles).

Un subconjunto de   se llama exiguo en  , subconjunto exiguo de  , o de primera categoría en   si es una unión numerable de subconjuntos densos en ninguna parte de  .[1]​ En caso contrario, el subconjunto se llama no exiguo en  , subconjunto no exiguo de  , o de segunda categoría en  .[1]​ El calificativo "en  " se puede omitir si el espacio entorno se fija y se entiende desde el contexto.

Un espacio topológico se llama exiguo (respectivamente, no exiguo) si es un subconjunto exiguo (respectivamente, no exiguo) de sí mismo.

Un subconjunto   de   se denomina coexiguo en  , o conjunto residual en  , si su complemento   es exiguo en   (este uso del prefijo "co" es consistente con su uso en otros términos como "cofinito"). Un subconjunto es igual a   si y solo si es igual a una intersección numerable de conjuntos, cada uno de cuyos interiores es denso en  .

Observaciones sobre terminología

No deben confundirse los conceptos de no exiguo y coexiguo. Si el espacio   es exiguo, cada subconjunto es al mismo tiempo exiguo y coexiguo, y no hay conjuntos que no sean exiguos. Si el espacio   no es exiguo, ningún conjunto es al mismo tiempo exiguo y coexiguo, todo conjunto coexiguo es no exiguo y puede haber conjuntos no exiguos que no lo sean, es decir, con complemento no exiguo (consúltese la sección de Ejemplos a continuación).

Como punto adicional de terminología, si a un subconjunto   de un espacio topológico   se le da la topología traza inducida a partir de  , se puede hablar de que es un espacio exiguo, es decir, un subconjunto exiguo de sí mismo (cuando se lo considera como un espacio topológico propiamente dicho). En este caso,   también puede denominarse un subespacio exiguo de  , lo que significa un espacio exiguo cuando se le da la topología del subespacio. Es importante destacar que esto no es lo mismo que ser exiguo en todo el espacio   (consúltense las secciones Propiedades y Ejemplos a continuación para conocer la relación entre los dos). De manera similar, un subespacio no exiguo será un conjunto que no es exiguo en sí mismo, lo cual no es lo mismo que ser no exiguo en todo el espacio. Sin embargo, debe tenerse en cuenta que en el contexto de un espacio vectorial topológico algunos autores pueden usar la frase "subespacio exiguo/no exiguo" para referirse a un subespacio vectorial que es un conjunto exiguo/no exiguo en relación con todo el espacio.[2]

Los términos primera categoría y segunda categoría fueron los utilizados originalmente por René-Louis Baire en su tesis de 1899.[3]​ La denominación empleada en inglés, meagre ("pobre", "exiguo" o "escaso" en francés), fue introducida por Bourbaki en 1948.[4][5]

Ejemplos

editar
  • El conjunto vacío es siempre un subconjunto cerrado en ninguna parte denso (y por tanto, exiguo) de todo espacio topológico.
  • En el espacio no exiguo   el conjunto   es exiguo. El conjunto   no es exiguo y es coexiguo.
  • En el espacio no exiguo  , el conjunto   no es exiguo. Pero no es coexiguo, ya que su complemento   también lo es.
  • Un espacio T1 numerable sin puntos aislados es exiguo. Por lo tanto, también es exiguo en cualquier espacio que lo contenga como subespacio. Por ejemplo,   es a la vez un subespacio exiguo de   (es decir, exiguo en sí mismo con la topología del subespacio inducida a partir de  ) y un subconjunto exiguo de  .
  • El conjunto de Cantor no es denso en ninguna parte en   y, por lo tanto, exiguo en  . Pero no es exiguo en sí mismo, ya que es un espacio métrico completo.
  • El conjunto   no es denso en  , pero es exiguo en  . No es exiguo en sí mismo (ya que, como subespacio, contiene un punto aislado).
  • La recta   es exigua en el plano  ; pero es un subespacio no exiguo, es decir, no es exiguo en sí mismo.
  • El conjunto   es un subconjunto exiguo de   aunque su subconjunto exiguo   es un subespacio no exiguo (es decir,  ) no es un espacio topológico exiguo).[6]
  • Un espacio de Hausdorff numerable sin puntos aislados es exiguo, mientras que cualquier espacio topológico que contenga un punto aislado no es exiguo.[6]
  • Cualquier espacio topológico que contenga un punto aislado no es exiguo[6]​ (porque ningún conjunto que contenga el punto aislado puede ser denso en ninguna parte). En particular, cada espacio discreto no vacío no es exiguo.
  • Hay un subconjunto   de los números reales   que divide cada conjunto abierto no vacío en dos conjuntos no exiguos. Es decir, para cada conjunto abierto no vacío  , los conjuntos   y   no son exiguos.
  • En el espacio   de funciones continuas de valores reales en   con una topología de convergencia uniforme, el conjunto   de funciones continuas de valores reales en   que tienen una derivada en algún punto es exiguo.[7][8]​ Dado que   es un espacio métrico completo, no es exiguo. Por lo tanto, el complemento de  , que consta de funciones diferenciables continuas de valor real en  , es coexiguo y no exiguo. En particular, ese conjunto no está vacío. Esta es una forma de mostrar la existencia de funciones continuas no diferenciables en ninguna parte.

Caracterizaciones y condiciones suficientes

editar

Cada espacio de Baire no vacío no es exiguo. En particular, según el teorema de categorías de Baire, cada espacio métrico completo no vacío y cada espacio localmente compacto de Hausdorff no vacío no es exiguo.

Todo espacio de Baire es no exiguo, pero existen espacios no exiguos que no son espacios de Baire.[6]​ Dado que los espacios métricos pseudométricos completos, en su condición de espacios de Hausdorff localmente compactos son espacios de Baire, también son espacios no exiguos.[9]

Cualquier subconjunto de un conjunto exiguo es un conjunto exiguo, al igual que la unión de una cantidad numerable de conjuntos exiguos.[10]

Si   es un homeomorfismo, entonces un subconjunto   es exiguo si y solo si   es exiguo.[10]

Todo subconjunto denso en ninguna parte es un conjunto exiguo.[10]​ En consecuencia, cualquier subconjunto cerrado de   cuyo interior en   esté vacío es de primera categoría de   (es decir, es un subconjunto exiguo de  ).

El teorema de categorías de Banach[11]​ establece que en cualquier espacio  , la unión de cualquier familia numerable de conjuntos abiertos de primera categoría es de primera categoría.

Todos los subconjuntos y todas las uniones numerables de conjuntos exiguos son exiguos. Así, los subconjuntos exiguos de un espacio fijo forman un ideal σ de subconjuntos, una noción adecuada de conjunto negligible. Dualmente, todos los superconjuntos y todas las intersecciones numerables son conjuntos iguales. Todo superconjunto de un conjunto no exiguo es no exiguo.

Supóngase que  , donde   tiene la topología del subespacio inducida a partir de  . El conjunto   puede ser exiguo en   sin ser exiguo en  . Sin embargo, se cumplen los siguientes resultados:[5]

  • Si   es exiguo en  , entonces   es exiguo en  .
  • Si   está abierto en  , entonces   es exiguo en   si y solo si   es exiguo en  .
  • Si   es denso en  , entonces   es exiguo en   si y solo si   es exiguo en  .

Y correspondientemente para conjuntos no exiguos:

  • Si   es no exiguo en  , entonces   es no exiguo en  
  • Si   está abierto en  , entonces   es no exiguo en   si y solo si   es no exiguo en  .
  • Si   es denso en  , entonces   no es exiguo en   si y solo si   no es exiguo en  .

En particular, cada subconjunto de   que es exiguo en sí mismo es exiguo en  . Cada subconjunto de   que es no exiguo en   es no exiguo en sí mismo. Y para un conjunto abierto o denso en  , ser exiguo en   equivale a ser exiguo en sí mismo, y lo mismo ocurre con la propiedad no exiguo.

Un espacio topológico   es no exiguo si y solo si cada intersección numerable de conjuntos abiertos densos en   no está vacía.[12]

Cualquier superconjunto de un conjunto coexiguo es coexiguo, al igual que la intersección de muchos conjuntos coexiguos numerables (debido a que la unión numerable de conjuntos numerables es numerable).

Propiedades

editar

Un espacio localmente convexo no exiguo es un espacio barrilado.[6]

Todos los subconjuntos de   que no son densos en ninguna parte son exiguos. En consecuencia, cualquier subconjunto cerrado con interior vacío es exiguo. Por lo tanto, un subconjunto cerrado de   que es de segunda categoría en   debe tener un interior no vacío en  [13]​ (porque de lo contrario, no sería denso en ninguna parte y, por lo tanto, sería de primera categoría).

Si   es de segunda categoría en   y si   son subconjuntos de   tales que  , entonces al menos un   es de segunda categoría en  .

Subconjuntos exiguos y la medida de Lebesgue

editar

Existen subconjuntos densos en ninguna parte (que, por lo tanto, son subconjuntos exiguos) que tengan medida de Lebesgue positiva.[6]

Un conjunto exiguo en   no necesita tener medida de Lebesgue cero, e incluso puede tener medida completa. Por ejemplo, en el intervalo  , los conjuntos grusos de Cantor, como el conjunto de Smith-Volterra-Cantor, no son densos en ningún lugar cerrado y pueden construirse con una medida arbitrariamente cercana a  . La unión de una cantidad numerable de tales conjuntos con medida cercana a   da un subconjunto exiguo de   con medida  .[14]

Dualmente, pueden existir conjuntos no exiguos con medida cero. El complemento de cualquier conjunto exiguo de medida   en   (por ejemplo el del párrafo anterior) tiene medida   y es coexiguo en  , y por lo tanto, no exiguo en   ya que   es un espacio de Baire.

A continuación figura otro ejemplo de un conjunto no exiguo en   con medida  :

 

donde   es una secuencia que enumera los números racionales.

Relación con la jerarquía de Borel

editar

Así como un subconjunto no denso en ningún lugar no necesita ser cerrado, sino que siempre está contenido en un subconjunto cerrado denso en ningún lugar (es decir, su cierre), un conjunto exiguo no necesita ser un conjunto   (unión numerable de conjuntos cerrados), sino que siempre está contenido en un conjunto   formado a partir de conjuntos densos en ninguna parte (tomando el cierre de cada conjunto).

Dualmente, así como el complemento de un conjunto no denso en ninguna parte no necesita ser abierto, pero tiene un interior denso (es decir, contiene un conjunto abierto denso), un conjunto coexiguo no necesita ser un conjunto   (intersección numerable de conjuntos abiertos), sino que contiene un conjunto   denso formado a partir de conjuntos abiertos densos.

Conjunto de Banach-Mazur

editar

Los conjuntos exiguos tienen una caracterización alternativa útil en términos del juego de Banach-Mazur. Sea   un espacio topológico,   una familia de subconjuntos de   que tienen interiores no vacíos de modo que cada conjunto abierto no vacío tenga un subconjunto perteneciente a   y   sea cualquier subconjunto de  . Y a continuación, se considera el juego de Banach-Mazur  .

En el juego Banach-Mazur, dos jugadores,   y  , eligen alternativamente elementos sucesivamente más pequeños de   para producir una secuencia  . El jugador   gana si la intersección de esta secuencia contiene un punto en  ; de lo contrario, gana el jugador  .

Teorema

Para cualquier   que cumpla los criterios anteriores, el jugador   tiene una estrategia ganadora si y solo si   es exiguo.

Dualidad de Erdos-Sierpinski

editar

Muchos argumentos sobre conjuntos exiguos también se aplican a conjuntos nulos, es decir, conjuntos de medida de Lebesgue 0. El teorema de dualidad de Erdos-Sierpinski establece que si la hipótesis del continuo se cumple, existe una involución de reales a reales donde la imagen de un conjunto nulo de reales es un conjunto exiguo, y viceversa.[15]​ De hecho, la imagen de un conjunto de reales bajo la aplicación es nula si y solo si el conjunto original era exiguo, y viceversa.[16]

Véase también

editar

Referencias

editar
  1. a b Narici y Beckenstein, 2011, p. 389.
  2. Schaefer, Helmut H. (1966). «Topological Vector Spaces». Macmillan. 
  3. Baire, René (1899). «Sur les fonctions de variables réelles». Annali di Mat. Pura ed Appl. 3: 1-123. , page 65
  4. Oxtoby, J. (1961). «Cartesian products of Baire spaces». Fundamenta Mathematicae 49 (2): 157-166. doi:10.4064/fm-49-2-157-166. "Following Bourbaki [...], a topological space is called a Baire space if ..."
  5. a b Bourbaki, 1989, p. 192.
  6. a b c d e f Narici y Beckenstein, 2011, pp. 371-423.
  7. Banach, S. (1931). «Über die Baire'sche Kategorie gewisser Funktionenmengen». Studia Math. 3 (1): 174-179. doi:10.4064/sm-3-1-174-179. 
  8. Willard, 2004, Theorem 25.5.
  9. Narici y Beckenstein, 2011, pp. 371–423.
  10. a b c Rudin, 1991, p. 43.
  11. Oxtoby, 1980, p. 62.
  12. Willard, 2004, Theorem 25.2.
  13. Rudin, 1991, pp. 42-43.
  14. «Is there a measure zero set which isn't meagre?». MathOverflow. 
  15. Quintanilla, M. (2022). «The real numbers in inner models of set theory». arXiv:2206.10754.  (p.25)
  16. S. Saito, The Erdos-Sierpinski Duality Theorem, notes. Accessed 18 January 2023.

Bibliografía

editar