Droite réelle achevée

Cet article est une ébauche concernant les mathématiques.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

En mathématiques, la droite réelle achevée est l'ensemble ordonné constitué des nombres réels auxquels sont adjoints deux éléments supplémentaires : un plus grand élément, noté $+\infty$ et un plus petit élément, noté $-\infty$ ^[1]. Elle est notée $[-\infty, +\infty]$ , ℝ ∪ ${-\infty, +\infty}$ ou ℝ (notation toutefois ambiguë, car la barre signifie généralement « complémentaire » en théorie des ensembles, ou « adhérence » en topologie).

Cet ensemble est très utile en analyse, notamment pour généraliser les formules et théorèmes sur les limites sans avoir à effectuer une disjonction des cas, et dans certaines théories de l'intégration^[2].

Propriétés

Opérations

L'addition et la multiplication, définies sur l'ensemble des réels, sont partiellement étendues comme suit à la droite achevée^[1].

Addition

Pour tout $x \in ]-\infty, +\infty]$ , $x + (+\infty) = +\infty$ .

Pour tout $x \in [-\infty, +\infty[$ , $x + (-\infty) = -\infty$ .

Multiplication

Pour tout $x \in ℝ$ :

$x \times (+\infty) = +\infty$ si $x > 0$ et $-\infty$ si $x < 0$ ;
$x \times (-\infty) = -\infty$ si $x > 0$ et $+\infty$ si $x < 0$ ;

Opérations indéterminées

Il est impossible de munir ℝ d'une structure de groupe dont (ℝ, +) soit un sous-groupe^{[réf. souhaitée]}, parce qu'on ne rajoute pas suffisamment d'éléments (voir « Indice d'un sous-groupe »). On préfère donc ne pas définir ( $+\infty$ ) + ( $-\infty$ ).

De même, dans le cadre des calculs de limites, on ne donne aucun sens aux produits ou quotients par $0$ de $+\infty$ ou $-\infty$ . Cependant, en théorie de la mesure et en analyse convexe, on adopte souvent la convention $0\times \pm \infty =0$ .

Récapitulatif

L'addition et la multiplication partiellement étendues à la droite réelle achevée sont résumées dans les tableaux suivants, les cases grisées représentant les formes indéterminées :

$+$	$-\infty$	$y\in \mathbb {R}$	$+\infty$
$-\infty$	$-\infty$	$-\infty$
$x\in \mathbb {R}$	$-\infty$	$x+y$	$+\infty$
$+\infty$		$+\infty$	$+\infty$

$\times$	$-\infty$	$y<0$	$0$	$y>0$	$+\infty$
$-\infty$	$+\infty$	$+\infty$		$-\infty$	$-\infty$
$x<0$	$+\infty$	$x\times y$	$0$	$x\times y$	$-\infty$
$0$		$0$	$0$	$0$
$x>0$	$-\infty$	$x\times y$	$0$	$x\times y$	$+\infty$
$+\infty$	$-\infty$	$-\infty$		$+\infty$	$+\infty$

Relation d'ordre

L'ensemble ℝ est muni d'une relation d'ordre, notée ⩽, qui étend la relation d'ordre usuelle sur ℝ. Cette relation est telle que $-\infty$ est le plus petit élément de ℝ et $+\infty$ le plus grand élément^[1].

Ainsi, si $(a,b)\in \mathbb {R} ^{2}$ , avec $a\leqslant b$ au sens de la relation d'ordre usuelle sur ℝ, on a :

-\infty \leqslant a\leq b\leqslant +\infty .

Comme celle sur ℝ, la relation d'ordre usuelle sur ℝ est totale.

La droite réelle achevée est un treillis complet, c'est-à-dire que toute partie de cet ensemble admet une borne supérieure et une borne inférieure^[1], y compris l'ensemble vide ∅ ( $+\infty$ est sa borne inférieure et $-\infty$ sa borne supérieure, comme expliqué dans le § « Exemples » de l'article sur les bornes supérieure et inférieure).

Métriques et topologie

L'ordre sur ℝ induit une topologie de l'ordre : une base d'ouverts est constituée des intervalles de la forme ]a, $+\infty$ ] ou [ $-\infty$ , b[ ou ]a, b[ avec a et b réels. La topologie induite sur ℝ par cette topologie sur ℝ est donc la topologie de l'ordre de ℝ, c'est-à-dire sa topologie usuelle^[1]. Autrement dit : les voisinages dans ℝ d'un réel x sont les mêmes que ceux définis par la topologie usuelle sur ℝ, augmentés éventuellement de $-\infty$ et/ou de $+\infty$ .

Tout point de ℝ possède une base de voisinages dénombrable. Par exemple :

les intervalles ]n, $+\infty$ ] avec n entier (ou entier positif) forment une base de voisinages de $+\infty$ ;
les intervalles [ $-\infty$ , n[ avec n entier (ou entier négatif) forment une base de voisinages de $-\infty$ ;
pour tout réel x, les intervalles ]x – 1/n, x + 1/n[ avec n entier strictement positif forment une base de voisinages de x.

L'espace topologique ℝ est même métrisable, mais aucune distance ne s'impose naturellement plus qu'une autre ; en particulier, il n'existe sur ℝ aucune distance continue qui soit une extension de la distance usuelle sur ℝ.

Parmi les distances induisant la topologie de ℝ, on peut citer :

$d'(x,y)=|\arctan y-\arctan x|$ , en comptant $\arctan \pm \infty =\pm \pi /2$
$d'(x,y)=|\tanh y-\tanh x|$ , en comptant $\tanh \pm \infty =\pm 1$

En effet, l'application $arctan$ (resp.respectivement $tanh$ ) est un isomorphisme d'ensembles ordonnés de ℝ dans $]-π/2, π/2[$ (resp. dans $]-1, 1[$ ), donc^[1] se prolonge en un isomorphisme d'ensembles ordonnés de ℝ dans $[-π/2, π/2]$ (resp. dans $[-1, 1]$ ), qui est par conséquent un homéomorphisme entre les topologies associées à ces ordres.

Ces homéomorphismes montrent aussi que ℝ est compact^[1].

Notes et références

↑ ^{a b c d e f et g} N. Bourbaki, Éléments de mathématique, livre III : Topologie générale [détail des éditions], chap. IV, § 4, p. IV.13-17.
↑ Cf. par exemple N. Bourbaki, Éléments de mathématique, livre VI : Intégration, chap. IV, § 1 et 5.

Voir aussi

Portail de l'analyse

[Bourbak-1] {a b c d e f et g} N. Bourbaki, Éléments de mathématique, livre III : Topologie générale [détail des éditions], chap. IV, § 4, p. IV.13-17.

[2] Cf. par exemple N. Bourbaki, Éléments de mathématique, livre VI : Intégration, chap. IV, § 1 et 5.

[1]

[2]

v · m Notion de nombre
Ensembles usuels	Entier naturel ( $\scriptstyle \mathbb {N}$ ) Entier relatif ( $\scriptstyle \mathbb {Z}$ ) Nombre décimal ( $\scriptstyle \mathbb {D}$ ) Nombre rationnel ( $\scriptstyle \mathbb {Q}$ ) Nombre réel ( $\scriptstyle \mathbb {R}$ ) Nombre complexe ( $\scriptstyle \mathbb {C}$ )
Extensions	Quaternion ( $\scriptstyle \mathbb {H}$ ) Octonion ( $\scriptstyle \mathbb {O}$ ) Sédénion ( $\scriptstyle \mathbb {S}$ ) Nombre complexe déployé Tessarine Nombre bicomplexe ( $\scriptstyle \mathbb {C} _{2}$ ) Nombre multicomplexe ( $\scriptstyle \mathbb {C} _{n}$ $\scriptstyle {\mathcal {M}}\mathbb {C} _{n}$ ) Biquaternion Coquaternion Quaternion hyperbolique Octonion déployé Nombre hypercomplexe Nombre p-adique ( $\scriptstyle \mathbb {Q} _{p}$ ) Nombre hyperréel Nombre superréel Nombre dual Droite réelle achevée Nombre cardinal Nombre ordinal Nombre surréel Nombre pseudo-réel
Propriétés particulières	Parité Nombre premier Nombre composé Nombre figuré Nombre parfait Nombre positif Nombre négatif Fraction dyadique Nombre irrationnel Nombre algébrique Nombre transcendant Nombre imaginaire pur Nombre de Liouville Période Nombre normal Nombre univers Nombre constructible Nombre réel calculable Nombre transfini Infiniment petit
Exemples	Pi ( $π$ ) Racine carrée de deux ( $\scriptstyle {\sqrt {2}}$ ) Nombre d’or (φ) Zéro (0) Unité imaginaire ( $i$ ) Constante de Neper ( $e$ ) Aleph-zéro (ℵ₀) Table de constantes mathématiques
Articles liés	Chiffre Numération Fraction Opération Calcul Algèbre Arithmétique Suite d'entiers Infini ( $\infty$ ) Chiffre significatif