Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.
Concept
Longue droite
Résumé
La longue droite est un espace topologique analogue à la droite réelle, « en beaucoup plus long ».
En tant qu'ensemble ordonné, la longue droite, L, est le produit lexicographique du premier ordinal non dénombrable ω1 par l'ensemble des réels positifs ou nuls.
En tant qu'espace topologique, c'est cet ensemble (totalement) ordonné muni de la topologie de l'ordre (les intervalles ouverts forment une base de la topologie). Cet espace topologique est une variété topologique à bord non séparable. Mieux, on peut la munir d'une structure de variété différentiable lisse (i.e. de classe ), et même analytique réelle (ω).
Des variantes de la définition consistent à retirer l'origine, ou à prolonger la droite indéfiniment vers la gauche de la même façon que vers la droite. Le terme de « longue droite » peut, selon les auteurs, désigner un quelconque de ces trois espaces. Nous adoptons ici la convention qu'il y a un bord à gauche.
Pour tout x dans L, l'intervalle fermé [0, x] est homéomorphe à l'intervalle réel [0, 1].
De même que ω1, L est non compact mais (c'est-à-dire que toute partie dénombrable de L est relativement compacte). Il s'ensuit que :
toute fonction continue de R (ou n'importe quel espace séparable) vers L est bornée ;
L est séquentiellement compact (puisqu'il est de plus à bases dénombrables de voisinages) donc dénombrablement compact donc (c'est-à-dire que toute fonction continue de L vers R est bornée).
L n'est pas métacompacte et donc pas paracompacte.
Toute fonction continue de L vers R (ou vers n'importe quel espace de Lindelöf séparé à bases dénombrables de voisinages) est même constante à partir d'un certain point (la démonstration est identique à celle de la propriété analogue pour ω1). Par conséquent, le compactifié d'Alexandroff de L (qui s'obtient en rajoutant un seul point à L, à l'infini à droite) est aussi son compactifié de Stone-Čech. Ce compactifié est connexe mais (contrairement à L) non connexe par arcs.
Puisque L est dénombrablement compact mais non compact, il n'est ni métrisable, ni de Lindelöf.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.