La droite de Michael, nommée d'après le mathématicien américain , est un espace topologique particulier. Ce fut le premier exemple d'espace normal dont le produit par un certain espace métrisable n'est pas normal..
Définition La droite de Michael. M = (ℝ, ) est la droite réelle, munie de la topologie , 38. dont chaque ouvert est l'union d'un ouvert usuel de ℝ et d'un ensemble quelconque d'irrationnels.
Propriétés Dans M, tout irrationnel est un point isolé. La topologie est séparée, car plus fine que la topologie usuelle sur ℝ. Elle est à bases dénombrables de voisinages. Puisqu'elle a une infinité non dénombrable de points isolés, elle ne vérifie pas la condition de chaîne dénombrable donc elle n'est pas séparable. La droite de Michael est un espace normal (donc complètement régulier) et même paracompact., . donc collectivement normal. Le produit M×X, où X est l'espace des irrationnels (muni de la topologie induite par la topologie usuelle de ℝ) n'est pas normal, .. La droite M n'est donc pas métrisable (puisque X l'est et M×X ne l'est pas). Elle n'est d'ailleurs même pas parfaitement normale car dans M, le fermé ℚ n'est pas un G (puisqu'il n'en est pas un dans ℝ usuel., qui induit la même topologie sur ℚ). Elle n'est ni localement compacte, ni dénombrablement compacte. Elle n'est pas de Lindelöf.
Ce n'est donc pas un « espace de Michael », c'est-à-dire un espace de Lindelöf dont le produit par l'espace des irrationnels n'est pas normal (l'existence de tels espaces est une question de théorie des ensembles.).
Notes et références
Lien externe
Catégorie:Espace topologique remarquable