title: Droite de Michael
text: # Droite de Michael
  
  La droite de Michael, nommée d'après le mathématicien américain Ernest Michael (en), 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 = (ℝ, $τ_M)$ est la droite réelle, munie de la topologie $τ_M$ 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 $τ_M$ 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.
  
  Voici deux variantes d'une preuve que M n'est pas de Lindelöf.
  
  * Il contient des fermés discrets infinis non dénombrables, par exemple : des fermés de ℝ usuel constitués d'une infinité non dénombrable d'irrationnels (comme le complémentaire de la réunion des intervalles $]r_n$ – $2^{–n},$ $r_n$ + $2^{–n}[$ ci-dessous).
  * Soit $(r_n)$ une énumération des rationnels. Le recouvrement ouvert constitué des singletons d'irrationnels et des intervalles $]r_n$ – $2^{–n},$ $r_n$ + $2^{–n}[$ ne possède pas de sous-recouvrement dénombrable car la mesure de Lebesgue de toute réunion d'une sous-famille dénombrable est majorée par 4.
  * 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).
  