Un tamiz que exige un punto de apoyo gigantesco ✛ ✎

Ni un solo residuo escapa a través de un tamiz infinitamente fino. Así está diseñado un Q-espacio: cualquier conjunto se obtiene aquí como intersección de una cantidad numerable de regiones abiertas. Pero, ¿puede este tamiz ser íntegro, sin puntos aislados y con la garantía de que la intersección de partes densas vuelva a ser densa? Esta propiedad, en sentido categórico, se llama completitud de Baire.

Resulta que la integridad del tamiz depende de la existencia de un número monstruosamente grande: un cardinal medible. No es solo un número, sino un punto especial para el que se puede definir una medida inusual: asigna a cada subconjunto o bien 0 o bien 1, y además lo hace de manera no trivial: la medida no se «estanca» en puntos aislados. Tal cardinal fue descrito por primera vez por John von Neumann. Mediante forcing (una expansión forzada del universo matemático), los autores tomaron un modelo con un cardinal medible y le «inyectaron» números aleatorios utilizando métodos de la álgebra estocástica — como una simulación numérica de un nuevo mundo probabilístico. En la construcción resultante, un ideal convierte al cardinal en un Q-espacio, y además con medida positiva sobre los conjuntos abiertos, lo que lo protege de la «delgadez» topológica.

Así pues, un tamiz óptimo que todo lo cierne requiere aceptar la existencia de un cardinal medible. Sin él, estos espacios no existen. Esto recuerda cómo las ramas de las posibilidades matemáticas dependen de axiomas aparentemente lejanos. Incluso la complejidad informática del espacio —cuántos conjuntos abiertos se necesitan para describirlo— está acotada por el continuo, lo que impone restricciones estrictas. Y la lógica probabilística de los grandes cardinales sigue tamizando el infinito a través del cedazo de la topología.