Un tamis qui exige un point d'appui géant ✛ ✎

À travers un tamis infiniment fin, rien d'extra ne s'échappe. C'est ainsi que fonctionne le Q-espace : tout ensemble y est obtenu comme intersection d'une quantité dénombrable d'ensembles ouverts. Mais un tel tamis peut-il être sans couture, sans points isolés qui feraient des trous, et garantir que l'intersection de parties denses reste dense ? Cette propriété, au sens catégorique, s'appelle la complétude de Baire.

Il s'avère que l'intégrité du tamis dépend de l'existence d'un nombre monstrueusement grand : le cardinal mesurable. Ce n'est pas un simple nombre, mais un point spécial pour lequel on peut définir une mesure inhabituelle : elle attribue à chaque sous-ensemble soit 0, soit 1, et ce de manière non triviale — la mesure ne « reste pas coincée » sur des points individuels. Un tel cardinal a été décrit pour la première fois par John von Neumann. À l'aide du forçage (extension forcée de l'univers mathématique), les auteurs ont pris un modèle avec un cardinal mesurable et y ont « injecté » des nombres aléatoires par des méthodes d'algèbre stochastique — comme une simulation numérique d'un nouveau monde probabiliste. Dans la construction résultante, l'idéal transforme le cardinal en Q-espace, et de plus avec une mesure positive sur les ouverts, ce qui protège contre la « maigreur » topologique.

Ainsi, un tamis « optimal » qui tamise tout exige l'hypothèse d'un cardinal mesurable. Sans lui, ces espaces n'existent pas. Cela rappelle comment les branches des possibilités mathématiques dépendent d'axiomes apparemment lointains. Même la complexité informationnelle de l'espace — combien d'ouverts sont nécessaires pour le décrire — est bornée par le continu, ce qui impose des limites strictes. Et la logique probabiliste des grands cardinaux tamise l'infini de plus en plus profondément à travers le tamis de la topologie.