Logique et ensemblesObjet mathématique · Glossaire
Polonais (espace)
Un espace polonais est un espace topologique séparable et complètement métrisable, c'est-à-dire homéomorphe à un espace métrique complet séparable. Les espaces polonais ont des propriétés de mesurabilité remarquables : ils sont en particulier les espaces sur lesquels la théorie de la mesure est la plus développée. La droite réelle, l'espace des entiers naturels et tout espace de Banach séparable sont des exemples d'espaces polonais. Ce cadre est fondamental en théorie descriptive des ensembles.
Sommaire
Ce que vous allez apprendre
- Identifier la séparabilité et la complète métrisabilité qui caractérisent un espace polonais.
- Vérifier pas à pas que la droite réelle est un espace polonais.
- Distinguer une métrique incomplète d’une topologie complètement métrisable.
- Reconnaître pourquoi ℚ et un discret non dénombrable échouent chacun sur une condition différente.
En clair
Sur la droite réelle, on peut approcher n’importe quel point aussi finement que souhaité avec des nombres rationnels. Cette réserve d’approximations est dénombrable : c’est l’idée de séparabilité.
De plus, une suite de réels dont les termes finissent par être arbitrairement proches ne perd pas sa limite hors de la droite. Un espace polonais réunit ces deux qualités, après avoir choisi une distance qui décrit exactement ses ouverts : un ensemble dense dénombrable et aucune limite manquante.
Définition
Un espace topologique est polonais lorsque sa topologie est séparable et complètement métrisable. Séparable signifie qu’il possède une partie dénombrable dense : tout ouvert non vide rencontre cette partie. Complètement métrisable signifie qu’il existe au moins une métrique compatible avec la topologie pour laquelle toute suite de Cauchy converge dans l’espace. Une métrique est compatible lorsqu’elle engendre exactement les ouverts de la topologie considérée.
De façon équivalente, l’espace est homéomorphe à un espace métrique complet et séparable. L’adjectif « complet » porte donc sur une métrique compatible que l’on peut choisir, et non sur toutes les métriques compatibles. Cette distinction rend la propriété topologique : elle est préservée par homéomorphisme.
La droite réelle munie de sa topologie usuelle, l’ensemble des entiers naturels avec la topologie discrète et tout espace de Banach séparable sont polonais. Ce cadre associe une base dénombrable permettant de contrôler les ouverts à une complétude empêchant les suites de Cauchy de sortir de l’espace. Il fournit ainsi un domaine privilégié pour les ensembles boréliens, la théorie de la mesure et la théorie descriptive des ensembles.
De quoi c'est fait
Cinq éléments permettent de reconnaître la structure. L’ensemble sous-jacent rassemble les points. Sa topologie fixe les ouverts et donc la notion de voisinage. Une partie dénombrable dense fournit des points témoins dans chaque ouvert non vide. Une métrique compatible mesure les écarts sans changer ces ouverts. Enfin, la complétude garantit que toute suite de Cauchy pour cette métrique possède une limite dans l’ensemble.
La densité dépend de la topologie, tandis que la complétude dépend d’abord de la métrique choisie. La compatibilité relie ces deux niveaux : elle assure que la distance décrit bien la topologie de départ. L’existence simultanée d’une partie dense dénombrable et d’une métrique compatible complète suffit à établir que l’espace est polonais. Le dessin, l’échelle ou le nom des points ne participent pas à cette définition.
Un exemple, pas à pas
Considérons l’ensemble des réels, noté ℝ, avec sa topologie usuelle. On dispose de la métrique définie, pour deux réels x et y, par , et de l’ensemble ℚ des nombres rationnels.
1. Entre deux réels distincts se trouve un rationnel. L’ensemble ℚ est dénombrable et dense dans ℝ : la séparabilité est vérifiée.
2. Toute suite de Cauchy pour cette métrique converge vers un réel. La métrique est donc complète.
3. Les boules ouvertes de cette métrique sont les intervalles ouverts usuels. La métrique engendre bien la topologie choisie.
Les trois contrôles prouvent que ℝ est polonais. On peut refaire le test sur le point réel √2 : les rationnels 1, puis 1,4, puis 1,414 en sont des approximations successivement plus précises. Cette observation illustre la densité ; indépendamment, la complétude assure que toute suite de Cauchy de réels converge vers un réel.
En pratique
En théorie de la mesure, reconnaître un espace polonais donne accès à un cadre où les ensembles boréliens et les applications mesurables se comportent particulièrement bien. On vérifie alors la séparabilité et l’existence d’une métrique compatible complète, plutôt que de travailler dans un espace topologique arbitraire.
En probabilités, de nombreuses variables aléatoires prennent leurs valeurs dans ℝ ou dans un espace de Banach séparable. Identifier ce support comme polonais permet d’utiliser la structure borélienne associée ; si le support n’est pas séparable, ces résultats ne se transfèrent pas automatiquement.
En théorie descriptive des ensembles, le cadre polonais sert à étudier la complexité des sous-ensembles définissables. Le bon geste consiste à contrôler la topologie et non une présentation particulière par une distance, car plusieurs métriques peuvent engendrer les mêmes ouverts.
À ne pas confondre
Espace métrique complet. La complétude seule ne suffit pas : il faut aussi la séparabilité. Un ensemble non dénombrable muni de la métrique discrète est complet, mais il n’est pas séparable et n’est donc pas polonais.
Espace métrisable séparable. Il manque encore l’existence d’une métrique compatible complète. Les rationnels ℚ avec leur topologie usuelle sont séparables et métrisables, mais ne sont pas polonais.
Espace de Baire. Tout espace polonais est un espace de Baire, mais la réciproque échoue. Un ensemble discret non dénombrable est un espace de Baire sans être séparable ; ce critère tranche immédiatement.
Limites et pièges
Une métrique familière peut être incomplète. L’intervalle ouvert ]0, 1[ n’est pas complet pour la distance usuelle : la suite de terme 1/n y est de Cauchy et tend vers 0, qui est absent. Pourtant, cet intervalle est polonais, car il est homéomorphe à ℝ et admet donc une autre métrique compatible complète. Il faut chercher l’existence d’une telle métrique, non tester une seule distance.
La séparabilité ne répare pas une limite manquante. Les rationnels ℚ sont dénombrables, donc séparables, mais leur topologie usuelle n’admet aucune métrique compatible complète. Le symptôme est topologique : ℚ est réunion dénombrable de singletons sans intérieur et n’est pas un espace de Baire.
La complétude sans séparabilité reste insuffisante. Dans un espace discret non dénombrable, toute suite de Cauchy est finalement constante pour la métrique discrète, donc converge. L’espace est complet et métrisable, mais aucune partie dénombrable n’y est dense.
Un espace dénombrable peut néanmoins être polonais. Les entiers naturels avec la topologie discrète possèdent une métrique complète et sont eux-mêmes une partie dense dénombrable. Le caractère dénombrable n’est donc pas le problème : ℚ échoue au critère de Baire parce qu’il est une réunion dénombrable de singletons fermés d’intérieur vide.
Pour aller plus loin
Trois notions précisent les deux conditions de la définition et l’une de leurs conséquences majeures.
L’article Séparable (espace) détaille le rôle d’une partie dénombrable dense et la manière dont elle sonde tous les ouverts.
L’article espace de Banach présente une famille importante d’espaces polonais dès que la séparabilité est satisfaite.
L’article espace de Baire développe la propriété qui exclut notamment la topologie usuelle de ℚ du cadre polonais.
Explorez les mathématiques autrement
Retrouvez nos magazines, podcasts et jeux pour explorer les mathématiques autrement.
Découvrir les offres