Topologie générale/Ordre
Intervalle dans un ensemble ordonné
modifierSoient un ensemble ordonné et l'ordre strict associé. On appelle intervalles ouverts de les ensembles de l'une des formes suivantes, où et désignent des éléments quelconques de :
- une demi-droite ouverte à droite ou à gauche : ou ;
- un intervalle de la forme : ;
- l'intervalle .
Remarquons que l'ensemble vide est un intervalle ouvert : lorsqu'il n'existe aucun tel que , en particulier dès que n'est pas strictement inférieur à .
Il suffit de vérifier que est de la forme et que est de la forme , ce qui résulte du fait que dans un ensemble totalement ordonné, toute paire possède un maximum et un minimum.
Topologie de l’ordre
modifier
La droite réelle achevée est l'ensemble muni de son ordre naturel : c'est l'ensemble ordonné usuel , auquel on ajoute un plus petit élément, , et un plus grand élément, . Cet ordre est total. Pour la topologie associée :
- les voisinages d'un réel sont les mêmes que ceux définis par la topologie usuelle sur , augmentés éventuellement de ou de ;
- les voisinages de sont les parties de contenant une demi-droite ;
- de même, les voisinages de sont les parties contenant une demi-droite .
- les voisinages d'un entier sont les parties de contenant cet entier ;
- les voisinages de sont les complémentaires d'un ensemble fini d'entiers.