Aller au contenu

L'Établi des Maths Cours

Outils pour apprendre et pratiquer

Licence 1 · Analyse Réelle · L1-06

Cours et exercices corrigés de L1 : Corps des nombres réels, propriété de la borne supérieure et topologie de R

Construction intuitive de R, axiome de la borne supérieure, densité de Q et de R\Q dans R, valeur absolue, caractérisation par les voisinages, intervalles et segments.

Objectifs du chapitre

Le cours

1. Ordre, valeur absolue et intervalles

  • (R,+,×,≤)(\mathbb{R}, +, \times, \le) est un corps totalement ordonné : x≤y  ⟹  x+z≤y+zx \le y \implies x + z \le y + z, et x≤yx \le y, z≥0  ⟹  xz≤yzz \ge 0 \implies xz \le yz.
  • Valeur absolue : ∣x∣=max⁡(x,−x)|x| = \max(x, -x), ∣xy∣=∣x∣ ∣y∣|xy| = |x|\,|y| et, pour r≥0r \ge 0, ∣x−a∣≤r  ⟺  a−r≤x≤a+r|x - a| \le r \iff a - r \le x \le a + r.
  • Inégalités triangulaires : ∣x+y∣≤∣x∣+∣y∣|x + y| \le |x| + |y| et ∣∣x∣−∣y∣∣≤∣x−y∣\big||x| - |y|\big| \le |x - y|.
  • Intervalles : une partie II est un intervalle si ∀x,y∈I, x≤z≤y  ⟹  z∈I\forall x, y \in I,\ x \le z \le y \implies z \in I. Ce sont les ensembles [a;b][a ; b], ]a;b[]a ; b[, [a;b[[a ; b[, ]a;+∞[]a ; +\infty[, etc.

2. Borne supérieure, borne inférieure

Soit A⊂RA \subset \mathbb{R} non vide.

  • Axiome de la borne supérieure : toute partie non vide et majorée de R\mathbb{R} admet une borne supérieure sup⁡A\sup A, plus petit des majorants. De même, toute partie non vide minorée admet une borne inférieure inf⁡A\inf A.
  • Caractérisation : M=sup⁡AM = \sup A si et seulement si

1. ∀x∈A, x≤M\forall x \in A,\ x \le M ;
2. ∀ε>0, ∃x∈A, M−ε<x\forall \varepsilon > 0,\ \exists x \in A,\ M - \varepsilon < x.

  • Version séquentielle : M=sup⁡AM = \sup A si et seulement si MM majore AA et il existe une suite d'éléments de AA qui converge vers MM.
  • Maximum : AA a un plus grand élément si et seulement si sup⁡A\sup A existe et appartient à AA. Exemple : sup⁡ [0;1[=1\sup\, [0 ; 1[ = 1 mais [0;1[[0 ; 1[ n'a pas de maximum.

3. Irrationalité de √2 et insuffisance de Q

Théorème : 2∉Q\sqrt{2} \notin \mathbb{Q}.
Démonstration.
1. Supposons 2=pq\sqrt{2} = \frac{p}{q} avec p∈Np \in \mathbb{N}, q∈N∗q \in \mathbb{N}^{\ast} et la fraction irréductible. Alors p2=2q2p^2 = 2q^2, donc p2p^2 est pair.
2. Le carré d'un entier impair 2k+12k + 1 vaut 4k2+4k+14k^2 + 4k + 1, impair ; donc pp est pair : p=2mp = 2m.
3. Alors 4m2=2q24m^2 = 2q^2, soit q2=2m2q^2 = 2m^2 : q2q^2 est pair, donc qq est pair.
4. pp et qq sont tous deux pairs, ce qui contredit l'irréductibilité. Donc 2\sqrt{2} est irrationnel.

Conséquence : A={x∈Q∣x≥0, x2<2}A = \{x \in \mathbb{Q} \mid x \ge 0,\ x^2 < 2\} est une partie non vide et majorée de Q\mathbb{Q} sans borne supérieure dans Q\mathbb{Q} (sa borne supérieure dans R\mathbb{R} est 2\sqrt{2}). L'axiome de la borne supérieure est exactement ce qui distingue R\mathbb{R} de Q\mathbb{Q}.

4. Propriété d'Archimède et partie entière

Théorème (Archimède) : ∀x∈R, ∃n∈N, n>x\forall x \in \mathbb{R},\ \exists n \in \mathbb{N},\ n > x. Plus généralement, pour a>0a > 0 et x∈Rx \in \mathbb{R}, il existe n∈Nn \in \mathbb{N} tel que na>xna > x.
Démonstration. Sinon, N\mathbb{N} serait non vide et majoré par xx ; soit s=sup⁡Ns = \sup \mathbb{N}. Comme s−1s - 1 ne majore pas N\mathbb{N}, il existe n∈Nn \in \mathbb{N} avec n>s−1n > s - 1, d'où n+1>sn + 1 > s avec n+1∈Nn + 1 \in \mathbb{N} : contradiction.

Partie entière : pour tout x∈Rx \in \mathbb{R}, il existe un unique n∈Zn \in \mathbb{Z} tel que n≤x<n+1n \le x < n + 1 ; on le note ⌊x⌋\lfloor x \rfloor.
Démonstration.
1. Unicité : si n≤x<n+1n \le x < n + 1 et m≤x<m+1m \le x < m + 1, alors −1<n−m<1-1 < n - m < 1 et n−m∈Zn - m \in \mathbb{Z}, donc n=mn = m.
2. Existence : A={k∈Z∣k≤x}A = \{k \in \mathbb{Z} \mid k \le x\} est non vide (par Archimède, il existe k∈Nk \in \mathbb{N} avec k>−xk > -x, et alors −k∈A-k \in A) et majorée par xx. Une partie non vide et majorée de Z\mathbb{Z} admet un plus grand élément nn ; on a n≤xn \le x et n+1∉An + 1 \notin A, c'est-à-dire x<n+1x < n + 1.

Exemples : ⌊2,7⌋=2\lfloor 2{,}7 \rfloor = 2, ⌊−2,5⌋=−3\lfloor -2{,}5 \rfloor = -3. Approximations décimales : dn=⌊10nx⌋10nd_n = \frac{\lfloor 10^n x \rfloor}{10^n} vérifie dn≤x<dn+10−nd_n \le x < d_n + 10^{-n}.

5. Densité de Q et des irrationnels

Une partie D⊂RD \subset \mathbb{R} est dense dans R\mathbb{R} si tout intervalle ]a;b[]a ; b[ avec a<ba < b contient un élément de DD.
Théorème : Q\mathbb{Q} et R∖Q\mathbb{R} \setminus \mathbb{Q} sont denses dans R\mathbb{R}.
Démonstration.
1. Soient a<ba < b. Par Archimède, il existe q∈N∗q \in \mathbb{N}^{\ast} tel que q(b−a)>1q(b - a) > 1.
2. Posons p=⌊qa⌋+1∈Zp = \lfloor qa \rfloor + 1 \in \mathbb{Z}. Par définition de la partie entière, qa<p≤qa+1qa < p \le qa + 1.
3. Comme qa+1<qbqa + 1 < qb, on obtient qa<p<qbqa < p < qb, soit a<pq<ba < \frac{p}{q} < b : ]a;b[]a ; b[ contient un rationnel.
4. Pour les irrationnels : on applique ce qui précède à ]a−2;b−2[]a - \sqrt{2} ; b - \sqrt{2}[, qui contient un rationnel rr. Alors r+2∈ ]a;b[r + \sqrt{2} \in\, ]a ; b[, et r+2r + \sqrt{2} est irrationnel (sinon 2=(r+2)−r\sqrt{2} = (r + \sqrt{2}) - r serait rationnel).

Corollaire : tout réel est limite d'une suite de rationnels (par exemple ses approximations décimales dnd_n) et d'une suite d'irrationnels.

6. Premières notions de topologie de R

  • Voisinage de aa : partie contenant un intervalle ]a−r;a+r[]a - r ; a + r[ avec r>0r > 0.
  • Ouvert : UU est ouvert si ∀x∈U, ∃r>0, ]x−r;x+r[ ⊂U\forall x \in U,\ \exists r > 0,\ ]x - r ; x + r[\, \subset U. Exemples : ]a;b[]a ; b[, R\mathbb{R}, ∅\emptyset, toute réunion d'ouverts.
  • Fermé : FF est fermé si R∖F\mathbb{R} \setminus F est ouvert. Exemples : [a;b][a ; b], Z\mathbb{Z}, toute intersection de fermés. [0;1[[0 ; 1[ n'est ni ouvert ni fermé.
  • Caractérisation séquentielle : FF est fermé si et seulement si la limite de toute suite convergente d'éléments de FF appartient à FF.
  • Un segment [a;b][a ; b] est fermé et borné ; de toute suite à valeurs dans [a;b][a ; b] on peut extraire une suite convergeant dans [a;b][a ; b] (théorème de Bolzano-Weierstrass, chapitre L1-SUI).

Méthodes et exemples rédigés

Méthode : Déterminer une borne supérieure ou inférieure

Exemple

Déterminer, s'ils existent, sup⁡A\sup A, inf⁡A\inf A, max⁡A\max A et min⁡A\min A pour A={1−1n  |  n∈N∗}A = \left\{1 - \frac{1}{n} \;\middle|\; n \in \mathbb{N}^{\ast}\right\}.

  1. Étape 1 (majorant) : pour tout n≥1n \ge 1, 1n>0\frac{1}{n} > 0, donc 1−1n<11 - \frac{1}{n} < 1 : 11 majore AA.

  2. Étape 2 (caractérisation) : soit ε>0\varepsilon > 0. Par Archimède, il existe n≥1n \ge 1 avec n>1εn > \frac{1}{\varepsilon} ; alors 1−1n>1−ε1 - \frac{1}{n} > 1 - \varepsilon. Donc 1−ε1 - \varepsilon ne majore pas AA, et sup⁡A=1\sup A = 1.

  3. Étape 3 (maximum) : 1∉A1 \notin A (car 1n≠0\frac{1}{n} \neq 0), donc AA n'a pas de plus grand élément.

  4. Étape 4 (minimum) : 1−1n≥01 - \frac{1}{n} \ge 0 pour tout n≥1n \ge 1, avec égalité pour n=1n = 1 : min⁡A=inf⁡A=0\min A = \inf A = 0.

Méthode : Raisonner avec la partie entière

Exemple

Montrer que pour tout x∈Rx \in \mathbb{R} et tout n∈N∗n \in \mathbb{N}^{\ast}, ⌊⌊nx⌋n⌋=⌊x⌋\left\lfloor \dfrac{\lfloor nx \rfloor}{n} \right\rfloor = \lfloor x \rfloor.

  1. Étape 1 (encadrement de référence) : posons m=⌊x⌋m = \lfloor x \rfloor, de sorte que m≤x<m+1m \le x < m + 1, puis nm≤nx<nm+nnm \le nx < nm + n.

  2. Étape 2 (passage à la partie entière) : nmnm est un entier inférieur ou égal à nxnx, donc nm≤⌊nx⌋nm \le \lfloor nx \rfloor ; et ⌊nx⌋≤nx<nm+n\lfloor nx \rfloor \le nx < nm + n.

  3. Étape 3 (division par n>0n > 0) : m≤⌊nx⌋n<m+1m \le \dfrac{\lfloor nx \rfloor}{n} < m + 1, et m∈Zm \in \mathbb{Z}.

  4. Conclusion : par unicité de la partie entière, ⌊⌊nx⌋n⌋=m=⌊x⌋\left\lfloor \frac{\lfloor nx \rfloor}{n} \right\rfloor = m = \lfloor x \rfloor. Contrôle : x=2,7x = 2{,}7, n=3n = 3 : ⌊8,1⌋=8\lfloor 8{,}1 \rfloor = 8 et ⌊8/3⌋=2\lfloor 8/3 \rfloor = 2.

Pièges fréquents

Questions de révision

Essaie de répondre de tête avant d'afficher la réponse.

Énoncer la caractérisation en ε\varepsilon de M=sup⁡AM = \sup A.

∀x∈A, x≤M\forall x \in A,\ x \le M et ∀ε>0, ∃x∈A, x>M−ε\forall \varepsilon > 0,\ \exists x \in A,\ x > M - \varepsilon.

Quelle propriété distingue R\mathbb{R} de Q\mathbb{Q} ?

L'axiome de la borne supérieure : toute partie non vide et majorée de R\mathbb{R} admet une borne supérieure dans R\mathbb{R}.

Définir la partie entière ⌊x⌋\lfloor x \rfloor.

L'unique entier n∈Zn \in \mathbb{Z} tel que n≤x<n+1n \le x < n + 1.

Énoncer la propriété d'Archimède.

Pour tout a>0a > 0 et tout x∈Rx \in \mathbb{R}, il existe n∈Nn \in \mathbb{N} tel que na>xna > x.

Quelle est l'idée de la preuve de la densité de Q\mathbb{Q} ?

Choisir q≥1q \ge 1 avec q(b−a)>1q(b - a) > 1, puis p=⌊qa⌋+1p = \lfloor qa \rfloor + 1 : on a a<pq<ba < \frac{p}{q} < b.

Comment caractériser séquentiellement une partie fermée de R\mathbb{R} ?

FF est fermée si et seulement si toute suite d'éléments de FF qui converge a sa limite dans FF.

Exercices corrigés

Exercice 1 Borne supérieure et absence de maximum

Palier 1 · découverte

Quelle est la borne supérieure dans R\mathbb{R} de l'ensemble A={1−1n  |  n∈N∗}A = \left\{ 1 - \frac{1}{n} \;\middle|\; n \in \mathbb{N}^* \right\}, et AA admet-il un maximum ?

  1. sup⁡(A)=1\sup(A) = 1 et max⁡(A)\max(A) n'existe pas
  2. sup⁡(A)=1\sup(A) = 1 et max⁡(A)=1\max(A) = 1
  3. sup⁡(A)=0\sup(A) = 0 et max⁡(A)=0\max(A) = 0
  4. sup⁡(A)=+∞\sup(A) = +\infty
Un indice

Pour tout n≥1n \ge 1, 1−1/n<11 - 1/n < 1, donc 1 majore strictement AA.

Voir la correction

Bonne réponse : A. sup⁡(A)=1\sup(A) = 1 et max⁡(A)\max(A) n'existe pas

1 est le plus petit des majorants de AA, donc sup⁡(A)=1\sup(A) = 1. Comme 1∉A1 \notin A (l'équation 1−1/n=11 - 1/n = 1 n'a pas de solution dans N∗\mathbb{N}^*), le plus grand élément max⁡(A)\max(A) n'existe pas.

Exercice 2 Caractérisation en epsilon de la borne supérieure

Palier 2 · application

Soit A⊂RA \subset \mathbb{R} une partie non vide et majorée. Quelle est la caractérisation en ε\varepsilon exacte de M=sup⁡(A)M = \sup(A) ?

  1. (∀x∈A,x≤M)et(∀ε>0,∃x∈A,M−ε<x≤M)(\forall x \in A, x \le M) \quad \text{et} \quad (\forall \varepsilon > 0, \exists x \in A, M - \varepsilon < x \le M)
  2. (∀x∈A,x<M)et(∀ε>0,∃x∈A,M−ε<x<M)(\forall x \in A, x < M) \quad \text{et} \quad (\forall \varepsilon > 0, \exists x \in A, M - \varepsilon < x < M)
  3. ∀ε>0,∀x∈A,M−ε<x≤M\forall \varepsilon > 0, \forall x \in A, M - \varepsilon < x \le M
  4. (∀x∈A,x≤M)et(∃ε>0,∃x∈A,M−ε<x)(\forall x \in A, x \le M) \quad \text{et} \quad (\exists \varepsilon > 0, \exists x \in A, M - \varepsilon < x)
Un indice

1. MM doit être un majorant de AA.

Voir la correction

Bonne réponse : A. (∀x∈A,x≤M)et(∀ε>0,∃x∈A,M−ε<x≤M)(\forall x \in A, x \le M) \quad \text{et} \quad (\forall \varepsilon > 0, \exists x \in A, M - \varepsilon < x \le M)

M=sup⁡(A)M = \sup(A) est le plus petit des majorants : MM majore AA (∀x∈A,x≤M\forall x \in A, x \le M), et dès qu'on soustrait un réel arbitraire ε>0\varepsilon > 0, M−εM - \varepsilon n'est plus un majorant, ce qui assure l'existence d'un x∈Ax \in A tel que M−ε<xM - \varepsilon < x.

Exercice 3 Propriété d'Archimède dans R

Palier 3 · approfondissement

Quelle est l'énoncé quantifié exact de la propriété d'Archimède dans R\mathbb{R} ?

  1. ∀x∈R+∗,∀y∈R,∃n∈N,nx>y\forall x \in \mathbb{R}_+^*, \quad \forall y \in \mathbb{R}, \quad \exists n \in \mathbb{N}, \quad n x > y
  2. ∀x,y∈R,x<y  ⟹  x2<y2\forall x, y \in \mathbb{R}, \quad x < y \implies x^2 < y^2
  3. ∀x∈R,∃n∈N,n≤x<n+1\forall x \in \mathbb{R}, \quad \exists n \in \mathbb{N}, \quad n \le x < n+1
  4. ∀x∈R,∣x∣≥0\forall x \in \mathbb{R}, \quad |x| \ge 0
Un indice

Elle signifie que l'ensemble N\mathbb{N} n'est pas majoré dans R\mathbb{R}.

Voir la correction

Bonne réponse : A. ∀x∈R+∗,∀y∈R,∃n∈N,nx>y\forall x \in \mathbb{R}_+^*, \quad \forall y \in \mathbb{R}, \quad \exists n \in \mathbb{N}, \quad n x > y

Le corps R\mathbb{R} est archimédien : ∀x>0,∀y∈R,∃n∈N,nx>y\forall x > 0, \forall y \in \mathbb{R}, \exists n \in \mathbb{N}, nx > y. C'est ce qui garantit l'existence de la partie entière ⌊x⌋\lfloor x \rfloor pour tout réel.

Exercice 4 Complétude de Dedekind : Q vs R

Palier 4 · défi

Soit la partie A={x∈Q∣x<2}A = \{x \in \mathbb{Q} \mid x < \sqrt{2}\}. Que vaut sup⁡(A)\sup(A) dans R\mathbb{R}, et AA admet-il un plus grand élément ?

  1. sup⁡(A)=2\sup(A) = \sqrt{2} et AA n'admet aucun plus grand élément
  2. sup⁡(A)=2\sup(A) = \sqrt{2} et max⁡(A)=2\max(A) = \sqrt{2}
  3. sup⁡(A)=1,414\sup(A) = 1,414 et max⁡(A)\max(A) n'existe pas
  4. AA n'est pas majorée dans R\mathbb{R}
Un indice

Par définition, 2\sqrt{2} majore AA.

Voir la correction

Bonne réponse : A. sup⁡(A)=2\sup(A) = \sqrt{2} et AA n'admet aucun plus grand élément

L'ensemble AA est majoré par 2\sqrt{2}. Par densité de Q\mathbb{Q} dans R\mathbb{R}, pour tout ε>0\varepsilon > 0, il existe r∈Qr \in \mathbb{Q} tel que 2−ε<r<2\sqrt{2} - \varepsilon < r < \sqrt{2}. Comme r<2r < \sqrt{2}, r∈Ar \in A. Donc sup⁡(A)=2\sup(A) = \sqrt{2}. Comme 2∉Q\sqrt{2} \notin \mathbb{Q}, 2∉A\sqrt{2} \notin A, d'où AA n'admet pas de plus grand élément.