Longue Droite

Longue Droite

Longue droite

La longue droite est un espace topologique analogue à la droite réelle, « en beaucoup plus long ».

Définition

En tant qu'ensemble ordonné, la longue droite, L, est le produit du premier ordinal non dénombrable ω1 et de l'ensemble des réels positifs ou nuls, l'ordre sur le produit étant l'ordre lexicographique (donnant le plus de poids à l'élément de ω1).

En tant qu'espace topologique, c'est cet ensemble 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 C^\infty), 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.

Propriétés

Pour tout x dans L (la longue droite en question), l'intervalle fermé [0;x] est homéomorphe à l'intervalle réel [0;1]. Pourtant, L a des propriétés exceptionnelles. Par exemple :

  • Toute suite croissante à valeurs dans L a une limite (cela découle presque immédiatement de la propriété correspondante pour ω1, puisque la réunion d'une famille dénombrable d'ordinaux dénombrables est encore dénombrable). En particulier, toute suite à valeurs dans L admet une valeur d'adhérence (et, si elle n'en admet qu'une, converge vers cette valeur) ; car toute suite à valeurs dans L est bornée. Il s'ensuit que toute fonction continue de \mathbb R vers L est bornée.
  • De façon peut-être plus surprenante, toute fonction continue de L vers \mathbb R est bornée. En effet, si f:L \to \mathbb R était continue non bornée, on trouverait x0 dans L tel que f(x0) > 0, puis x1 dans L tel que f(x1) > 1 et x1 > x0, puis x2 > x1 tel que f(x2) > 2, et ainsi de suite. Soit x la limite de la suite x_0,x_1,x_2, \dots ; en appliquant la continuité de f en x, on arriverait à une contradiction. En raffinant ce raisonnement, on obtient en fait bien mieux : toute fonction continue de L vers \mathbb R est constante à partir d'un certain point.
  • Le compactifié de Stone-Cech de L s'obtient en rajoutant un seul point à L, à l'infini à droite. C'est donc aussi son compactifié d'Alexandroff.
  • Toute application continue injective (donc strictement croissante) de L dans L est non bornée. De plus, une telle application a des points fixes arbitrairement grands (donc une infinité non dénombrable de points fixes).
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Longue droite ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Longue Droite de Wikipédia en français (auteurs)

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

  • Longue droite — La longue droite est un espace topologique analogue à la droite réelle, « en beaucoup plus long ». Définition En tant qu ensemble ordonné, la longue droite, L, est le produit du premier ordinal non dénombrable ω1 et de l ensemble des… …   Wikipédia en Français

  • Longue Traîne — La longue queue, représentée en jaune L’expression longue traîne (de l anglais Long Tail, expression parfois traduite par « longue queue ») a été employée pour la première fois en 2004 par Chris Anderson dans un article de Wired[ …   Wikipédia en Français

  • Longue queue — Longue traîne La longue queue, représentée en jaune L’expression longue traîne (de l anglais Long Tail, expression parfois traduite par « longue queue ») a été employée pour la première fois en 2004 par Chris Anderson dans un article de …   Wikipédia en Français

  • Longue traine — Longue traîne La longue queue, représentée en jaune L’expression longue traîne (de l anglais Long Tail, expression parfois traduite par « longue queue ») a été employée pour la première fois en 2004 par Chris Anderson dans un article de …   Wikipédia en Français

  • Longue-Vue — Une longue vue est un instrument d optique monoculaire destiné à obtenir une vision rapprochée des objets éloignés. Elle comprend un objectif optique et un oculaire, généralement monté sur un tube coulissant. Son principe est donc exactement… …   Wikipédia en Français

  • Longue vue — Une longue vue est un instrument d optique monoculaire destiné à obtenir une vision rapprochée des objets éloignés. Elle comprend un objectif optique et un oculaire, généralement monté sur un tube coulissant. Son principe est donc exactement… …   Wikipédia en Français

  • Longue-vue — Exemple de longue vue. Une longue vue est un instrument d optique monoculaire destiné à obtenir une vision rapprochée des objets éloignés. Description …   Wikipédia en Français

  • Longue traîne — La longue traîne, représentée en jaune L’expression longue traîne (de l anglais Long Tail, expression parfois traduite par « longue queue ») a été employée pour la première fois en 2004 par Chris Anderson dans un article de Wired[1] …   Wikipédia en Français

  • Droite —          ARON (Raymond)     Bio express : Philosophe et sociologue français (1905 1983)     «Être de droite, être de gauche, c est être hémiplégique.»     Source : Discours, entretiens et autres sources     Mot(s) clé(s) : Droite Gauche     … …   Dictionnaire des citations politiques

  • La Longue Marche (Blueberry) — La Longue Marche 19e album de la série Blueberry Scénario Jean Michel Charlier Dessin Jean Giraud Genre(s) franco belge western Personnages principaux M …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”