Droite réelle achevée
La droite réelle achevée est l'ensemble $\overline{\mathbb R}$ constituée de $\mathbb R$ auquel on ajoute deux éléments notés $+\infty$ et $-\infty$ : $$\overline{\mathbb R}=\mathbb R\cup\{+\infty\}\cup\{-\infty\}.$$
Ainsi définie, la droite réelle achevée n'est qu'une notation commode, qui permet d'éviter de séparer les cas "un réel" et "l'infini" dans les énoncés. Par exemple, les intervalles ouverts sont ceux qui s'écrivent $]a,b[$ avec $a,b\in\overline{\mathbb R}$.
On peut aussi munir la droite réelle achevée de diverses structures :
- on étend l'ordre de $\mathbb R$ à $\overline{\mathbb R}$ par $-\infty\leq x\leq +\infty$ pour tout $x\in\mathbb R$;
- on étend l'addition $+$ à $\overline{\mathbb R}$ en posant, pour tout $x\in\mathbb R$, $$x+(+\infty)=(+\infty)+x=+\infty,\ x+(-\infty)=(-\infty)+x=-\infty$$ et $$(+\infty)+(+\infty)=+\infty,\ (-\infty)+(-\infty)=-\infty;$$
- on étend la multiplication $\times$ à $\overline{\mathbb R}$ en posant, pour tout $x\in\overline{\mathbb R}\backslash\{0\}$, $$x\times(+\infty)=(+\infty)\times x=\left\{ \begin{array}{ll} +\infty&\textrm{ si }x>0\\ -\infty&\textrm{ si }x<0 \end{array}\right.$$ $$ x\times(-\infty)=(-\infty)\times x=\left\{ \begin{array}{ll} -\infty&\textrm{ si }x>0\\ +\infty&\textrm{ si }x<0 \end{array}\right. .$$
- on étend le passage à l'inverse en posant $\frac{1}{+\infty}=0$ et $\frac{1}{-\infty}=0.$
- on étend la topologie de $\mathbb R$ à $\overline{\mathbb R}$ en définissant les voisinages de $+\infty$ comme les ensembles contenant un intervalle du type $[a,+\infty[$, $a\in \mathbb R$ et les voisinages de $-\infty$ comme les ensembles contenant un intervalle du type $]-\infty,a]$, $a\in\mathbb R$. Une distance compatible est $$d(x,y)=|\arctan y-\arctan x|$$ avec les conventions $\arctan(+\infty)=\pi/2$ et $\arctan(-\infty)=-\pi/2$. Muni de cette topologie, $\overline{\mathbb R}$ est compact.
Recherche alphabétique
Recherche thématique