El tamiz del infinito: cómo los Q-espacios se entrelazan con los cardinales medibles ✛ ✎

En matemáticas existe un tamiz que no cierne polvo, sino el infinito mismo. Se llama Q-espacio: aquí cualquier conjunto resulta ser un conjunto Gδ — intersección contable de abiertos, como tamizado a través de una red de malla increíblemente fina. Mucho más enigmática es la pregunta: ¿puede este tamiz ser “pleno” — denso en sí mismo (sin puntos aislados) y poseer la propiedad de Baire (ser denso en el sentido categórico)? La respuesta, según descubrieron Iványos y Székely, está escondida en los fundamentos de las matemáticas y requiere la existencia de un gigantesco cardinal medible.

Un cardinal medible no es simplemente un número enorme. Es un punto especial en el que se puede definir una medida no trivial de dos valores: asigna a cada subconjunto o 0 o 1, y esta medida no está concentrada en puntos individuales. Quien primero concibió tal construcción fue John von Neumann. La existencia de cardinales medibles no es demostrable ni refutable en la axiomática estándar; esto añade toda una nueva capa a la teoría de conjuntos. Mediante el método de forcing (expansión forzada del universo de conjuntos), los autores tomaron un modelo con un cardinal medible κ y le inyectaron κ números aleatorios usando álgebra estocástica, algo así como una simulación numérica de un nuevo mundo probabilístico. En el universo resultante construyeron un ideal especial que convierte a κ en un Q-espacio, y además con medida estrictamente positiva (los conjuntos abiertos tienen peso positivo y los puntos, cero).

La conclusión principal, cristalina: la existencia de un cardinal medible es exactamente equivalente a la posibilidad de construir varios espacios exóticos. Si existe el cardinal, aparecen un Δ-espacio de Baire denso en sí mismo, su análogo Q, así como Δ- y Q-espacios con medida que anula los puntos. Si no hay cardinal, todos estos objetos desaparecen. De paso se demostró una restricción para los Q-espacios de Lindelöf (aquellos que se cubren con un número contable de abiertos): la cardinalidad de X es estrictamente menor que la cofinalidad del continuo: $$|X| < \operatorname{cf}(\mathfrak{c})$$ Esta fórmula se sigue de desigualdades cardinales de la teoría de la información: el número de conjuntos abiertos o(X) no supera c, y además o(X) ≤ |C(X)| ≤ o(X)^ω, donde C(X) es el conjunto de funciones continuas. De aquí c^|X| ≤ c, y por el lema de König |X| debe ser pequeño. En términos coloquiales: para Q-espacios de Lindelöf, localmente compactos o compactos “grandes” no queda sitio en la matemática ordinaria: o bien deben tener peso mayor que el continuo, o directamente no existen sin axiomas sobrenaturales.

El trabajo tiende un puente entre la topología y los grandes cardinales, recordándonos que incluso las ramas más abstractas de las matemáticas a menudo están ligadas a cuestiones de incompletud. Así como el grafo de los universos matemáticos posibles depende de la admisión del cardinal medible, clases enteras de espacios ora aparecen, ora desaparecen. Ahora la optimización de la estructura del espacio se vincula directamente con la elección de axiomas. Queda abierta una pregunta tentadora: ¿se puede construir un Q-espacio de Lindelöf con peso mayor que el continuo sin invocar cardinales gigantescos? La respuesta influirá en el famoso problema de Moore sobre L-espacios. Y mientras tanto, la lógica probabilística de los grandes cardinales sigue tamizando el infinito a través del tamiz de la topología.