# Conjunto exiguo

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

En todo momento, $X$ será un espacio topológico.
La definición de conjunto exiguo utiliza la noción de un subconjunto denso en ninguna parte de $X$, es decir, un subconjunto de $X$ cuya clausura tiene un interior vacío (consúltese el artículo correspondiente para más detalles).
Un subconjunto de $X$ se llama exiguo en $X$, subconjunto exiguo de $X$, o de primera categoría en $X$ si es una unión numerable de subconjuntos densos en ninguna parte de $X$. En caso contrario, el subconjunto se llama no exiguo en $X$, subconjunto no exiguo de $X$, o de segunda categoría en $X$. El calificativo "en $X$" 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 $A$ de $X$ se denomina coexiguo en $X$, o conjunto residual en $X$, si su complemento $X\setminus A$ es exiguo en $X$ (este uso del prefijo "co" es consistente con su uso en otros términos como "cofinito"). Un subconjunto es igual a $X$ si y solo si es igual a una intersección numerable de conjuntos, cada uno de cuyos interiores es denso en $X$.
Observaciones sobre terminología
No deben confundirse los conceptos de no exiguo y coexiguo. Si el espacio $X$ es exiguo, cada subconjunto es al mismo tiempo exiguo y coexiguo, y no hay conjuntos que no sean exiguos. Si el espacio $X$ 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 $A$ de un espacio topológico $X$ se le da la topología traza inducida a partir de $X$, 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, $A$ también puede denominarse un subespacio exiguo de $X$, 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 $X$ (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.
Los términos primera categoría y segunda categoría fueron los utilizados originalmente por René-Louis Baire en su tesis de 1899. La denominación empleada en inglés, meagre ("pobre", "exiguo" o "escaso" en francés), fue introducida por Bourbaki en 1948.

## Ejemplos

* 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 $X=[0,1]\cup ([2,3]\cap \mathbb {Q} )$ el conjunto $[2,3]\cap \mathbb {Q}$ es exiguo. El conjunto $[0,1]$ no es exiguo y es coexiguo.
* En el espacio no exiguo $X=[0,2]$, el conjunto $[0,1]$ no es exiguo. Pero no es coexiguo, ya que su complemento $(1,2]$ también lo es.
* Un espacio T$_1$ numerable sin puntos aislados es exiguo. Por lo tanto, también es exiguo en cualquier espacio que lo contenga como subespacio. Por ejemplo, $\mathbb {Q}$ es a la vez un subespacio exiguo de $\mathbb {R}$ (es decir, exiguo en sí mismo con la topología del subespacio inducida a partir de $\mathbb {R}$) y un subconjunto exiguo de $\mathbb {R}$.
* El conjunto de Cantor no es denso en ninguna parte en $\mathbb {R}$ y, por lo tanto, exiguo en $\mathbb {R}$. Pero no es exiguo en sí mismo, ya que es un espacio métrico completo.
* El conjunto $([0,1]\cap \mathbb {Q} )\cup \{2\}$ no es denso en $\mathbb {R}$, pero es exiguo en $\mathbb {R}$. No es exiguo en sí mismo (ya que, como subespacio, contiene un punto aislado).
* La recta $\mathbb {R} \times \{0\}$ es exigua en el plano $\mathbb {R} ^{2}$; pero es un subespacio no exiguo, es decir, no es exiguo en sí mismo.
* El conjunto $S=(\mathbb {Q} \times \mathbb {Q} )\cup (\mathbb {R} \times \{0\})$ es un subconjunto exiguo de $\mathbb {R} ^{2}$ aunque su subconjunto exiguo $\mathbb {R} \times \{0\}$ es un subespacio no exiguo (es decir, $\mathbb {R}$) no es un espacio topológico exiguo).
* Un espacio de Hausdorff numerable sin puntos aislados es exiguo, mientras que cualquier espacio topológico que contenga un punto aislado no es exiguo.
* Debido a que los números racionales son numerables, son exiguos como subconjunto de los reales y como espacio, es decir, no forman un espacio de Baire.
* Cualquier espacio topológico que contenga un punto aislado no es exiguo (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 $H$ de los números reales $\mathbb {R}$ que divide cada conjunto abierto no vacío en dos conjuntos no exiguos. Es decir, para cada conjunto abierto no vacío $U\subseteq \mathbb {R}$, los conjuntos $U\cap H$ y $U\setminus H$ no son exiguos.
* En el espacio $C([0,1])$ de funciones continuas de valores reales en $[0,1]$ con una topología de convergencia uniforme, el conjunto $A$ de funciones continuas de valores reales en $[0,1]$ que tienen una derivada en algún punto es exiguo. Dado que $C([0,1])$ es un espacio métrico completo, no es exiguo. Por lo tanto, el complemento de $A$, que consta de funciones diferenciables continuas de valor real en $[0,1]$, 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

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. 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.
Cualquier subconjunto de un conjunto exiguo es un conjunto exiguo, al igual que la unión de una cantidad numerable de conjuntos exiguos.
Si $h:X\to X$ es un homeomorfismo, entonces un subconjunto $S\subseteq X$ es exiguo si y solo si $h(S)$ es exiguo.
Todo subconjunto denso en ninguna parte es un conjunto exiguo. En consecuencia, cualquier subconjunto cerrado de $X$ cuyo interior en $X$ esté vacío es de primera categoría de $X$ (es decir, es un subconjunto exiguo de $X$).
El teorema de categorías de Banach establece que en cualquier espacio $X$, 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 $A\subseteq Y\subseteq X$, donde $Y$ tiene la topología del subespacio inducida a partir de $X$. El conjunto $A$ puede ser exiguo en $X$ sin ser exiguo en $Y$. Sin embargo, se cumplen los siguientes resultados:
* Si $A$ es exiguo en $Y$, entonces $A$ es exiguo en $X$.
* Si $Y$ está abierto en $X$, entonces $A$ es exiguo en $Y$ si y solo si $A$ es exiguo en $X$.
* Si $Y$ es denso en $X$, entonces $A$ es exiguo en $Y$ si y solo si $A$ es exiguo en $X$.
Y correspondientemente para conjuntos no exiguos:
* Si $A$ es no exiguo en $X$, entonces $A$ es no exiguo en $Y.$
* Si $Y$ está abierto en $X$, entonces $A$ es no exiguo en $Y$ si y solo si $A$ es no exiguo en $X$.
* Si $Y$ es denso en $X$, entonces $A$ no es exiguo en $Y$ si y solo si $A$ no es exiguo en $X$.
En particular, cada subconjunto de $X$ que es exiguo en sí mismo es exiguo en $X$. Cada subconjunto de $X$ que es no exiguo en $X$ es no exiguo en sí mismo. Y para un conjunto abierto o denso en $X$, ser exiguo en $X$ equivale a ser exiguo en sí mismo, y lo mismo ocurre con la propiedad no exiguo.
Un espacio topológico $X$ es no exiguo si y solo si cada intersección numerable de conjuntos abiertos densos en $X$ no está vacía.
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

Un espacio localmente convexo no exiguo es un espacio barrilado.
Todos los subconjuntos de $X$ 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 $X$ que es de segunda categoría en $X$ debe tener un interior no vacío en $X$ (porque de lo contrario, no sería denso en ninguna parte y, por lo tanto, sería de primera categoría).
Si $B\subseteq X$ es de segunda categoría en $X$ y si $S_{1},S_{2},\ldots$ son subconjuntos de $X$ tales que $B\subseteq S_{1}\cup S_{2}\cup \cdots$, entonces al menos un $S_{n}$ es de segunda categoría en $X$.

### Subconjuntos exiguos y la medida de Lebesgue

Existen subconjuntos densos en ninguna parte (que, por lo tanto, son subconjuntos exiguos) que tengan medida de Lebesgue positiva.
Un conjunto exiguo en $\mathbb {R}$ no necesita tener medida de Lebesgue cero, e incluso puede tener medida completa. Por ejemplo, en el intervalo $[0,1]$, 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 $1$. La unión de una cantidad numerable de tales conjuntos con medida cercana a $1$ da un subconjunto exiguo de $[0,1]$ con medida $1$.
Dualmente, pueden existir conjuntos no exiguos con medida cero. El complemento de cualquier conjunto exiguo de medida $1$ en $[0,1]$ (por ejemplo el del párrafo anterior) tiene medida $0$ y es coexiguo en $[0,1]$, y por lo tanto, no exiguo en $[0,1]$ ya que $[0,1]$ es un espacio de Baire.
A continuación figura otro ejemplo de un conjunto no exiguo en $\mathbb {R}$ con medida $0$:
    $\bigcap _{m=1}^{\infty }\bigcup _{n=1}^{\infty }\left(r_{n}-\left({\tfrac {1}{2}}\right)^{n+m},r_{n}+\left({\tfrac {1}{2}}\right)^{n+m}\right)$
donde $r_{1},r_{2},\ldots$ es una secuencia que enumera los números racionales.

### Relación con la jerarquía de Borel

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 $F_{\sigma }$ (unión numerable de conjuntos cerrados), sino que siempre está contenido en un conjunto $F_{\sigma }$ 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 $G_{\delta }$ (intersección numerable de conjuntos abiertos), sino que contiene un conjunto $G_{\delta }$ denso formado a partir de conjuntos abiertos densos.

## Conjunto de Banach-Mazur

Los conjuntos exiguos tienen una caracterización alternativa útil en términos del juego de Banach-Mazur. Sea $Y$ un espacio topológico, ${\mathcal {W}}$ una familia de subconjuntos de $Y$ que tienen interiores no vacíos de modo que cada conjunto abierto no vacío tenga un subconjunto perteneciente a ${\mathcal {W}},$ y $X$ sea cualquier subconjunto de $Y$. Y a continuación, se considera el juego de Banach-Mazur $MZ(X,Y,{\mathcal {W}})$.
En el juego Banach-Mazur, dos jugadores, $P$ y $Q$, eligen alternativamente elementos sucesivamente más pequeños de ${\mathcal {W}}$ para producir una secuencia $W_{1}\supseteq W_{2}\supseteq W_{3}\supseteq \cdots$. El jugador $P$ gana si la intersección de esta secuencia contiene un punto en $X$; de lo contrario, gana el jugador $Q$.
* Teorema
* Para cualquier ${\mathcal {W}}$ que cumpla los criterios anteriores, el jugador $Q$ tiene una estrategia ganadora si y solo si $X$ es exiguo.

## Dualidad de Erdos-Sierpinski

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. 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.