Espace monotonement normal

En mathématiques, un espace monotonement normal est un espace topologique vérifiant une certaine propriété de séparation, plus forte que la normalité complète.

Définition

Un [[Espace T1|espace TModèle:Ind]] X est dit monotonement normal lorsqu'il vérifie les propriétés équivalentes suivantesModèle:,Modèle:,Modèle:, :

1. il existe une base d'ouverts de X et une application H qui à tout ouvert U de la base et tout point x de U associe un ouvert H(x, U), telle que :
   • H(x, U) est inclus dans U et contient x,
   • et si H(x, U) rencontre H(y, V) alors x appartient à V ou y à U ;
2. il existe une application H qui associe plus généralement un ouvert H(x, U) à tout ouvert U et tout point x de U, qui vérifie les deux mêmes conditions et qui est croissante par rapport à U ;
3. il existe une application G qui à tous fermés disjoints A et B associe un ouvert G(A, B), telle que
   • $A\subset G(A,B)\subset \overline{G(A,B)}\subset X\setminus B\text{ et}$
   • $(A\subset A^{\prime }\text{ et }B\supset B^{\prime })\Rightarrow G(A,B)\subset G(A^{\prime },B^{\prime })$

   (G peut alors être choisie telle que G(A, B) et G(B, A) soient toujours disjoints, en remplaçant chaque G(A, B) par G(A, B)\[[Adhérence (mathématiques)|Modèle:Surligner]]) ;

4. il existe une application G qui associe plus généralement un ouvert G(A, B) à toutes parties A et B « séparées » — c'est-à-dire telles que A ∩ Modèle:Surligner = ∅ = B ∩ Modèle:Surligner — et qui vérifie les deux mêmes conditions.

Exemples

La première des quatre définitions équivalentes est commode pour traiter les trois exemples suivants :

• tout ensemble totalement ordonné muni de la topologie de l'ordre est monotonement normal, l'axiome du choix étant ici indispensable ;
• tout espace métrisable est monotonement normal ;
• la droite de Sorgenfrey (ni ordonnable, ni métrisable) aussi.

• Tout ensemble totalement ordonné muni de la topologie de l'ordre est monotonement normal : soit (X, ≤) totalement ordonné. Pour tout intervalle ouvert ]c, d[ et tout point x de ]c, d[, on pose H(x, ]c, d[) = ]GModèle:Ind(x), DModèle:Ind(x)[, les bornes GModèle:Ind(x) et DModèle:Ind(x) étant définies comme suit, à l'aide d'un bon ordre ≼ sur X préalablement choisi (indépendant de ≤) :
  • si ]c, x[ est vide alors GModèle:Ind(x) = c et sinon, GModèle:Ind(x) = l'élément de ]c, x[ le plus petit pour ≼ ;
  • de même, si ]x, d[ est vide alors DModèle:Ind(x) = d et sinon, DModèle:Ind(x) = l'élément de ]x, d[ le plus petit pour ≼.

Si x appartient à ]c, d[ mais pas à ]e, f[ et si y appartient à ]e, f[ mais pas à ]c, d[, avec par exemple x < y, montrons par l'absurde que ]GModèle:Ind(x), DModèle:Ind(x)[ et ]GModèle:Ind(y), DModèle:Ind(y)[ ne peuvent avoir un point commun z : on aurait alors x ≤ e < z < d ≤ y donc ]x, d[ non vide et par conséquent DModèle:Ind(x) ∈ ]z, d[ ⊂ ]e, y[ d'où, par définition, GModèle:Ind(y) ≼ DModèle:Ind(x) et de même, ]e, y[ non vide d'où Modèle:Nobr si bien que finalement DModèle:Ind(x) serait égal à GModèle:Ind(y), ce qui contredirait l'existence de z.

• Tout espace métrisable est monotonement normal : il suffit de poser, pour toute boule ouverte B(y, R) contenant x : H(x, B(y, R)) = B(x, r) pour un r > 0 tel que Modèle:Nobr
• La droite de Sorgenfrey aussi : il suffit de poser, pour tout intervalle [a, b[ contenant x : H(x, [a, b[) = [x, b[.

Propriétés

La première ou la deuxième des quatre définitions équivalentes montre que la normalité monotone est héréditaire, c'est-à-dire qu'elle passe aux sous-espaces.

La troisième justifie le nom de « monotonement normal » et a pour conséquence que X est collectivement normalModèle:,.

On déduit de ces deux propriétés : Modèle:Énoncé En particulier, il est héréditairement normal, autrement dit complètement normal, ce qui se déduit aussi directement de la dernière des quatre définitions équivalentes.

Toute image d'un espace monotonement normal par une application continue fermée est monotonement normaleModèle:,.

Une conjecture de Modèle:Lien, démontrée par Mary Ellen Rudin, fournit une forme de réciproque : tout espace compact monotonement normal est l'image continue d'un compact ordonnable.