📘 Fiche de cours
L'essentiel du cours
- Corps des réels ($\mathbb{R}$) : $\mathbb{R}$ est un corps commutatif totalement ordonné et archimédien.
- Borne supérieure : Toute partie non vide et majorée de $\mathbb{R}$ admet une borne supérieure dans $\mathbb{R}$ (Axiome de la borne supérieure).
- Valeur absolue : $|x| = \max(x, -x)$. Inégalité triangulaire : $|x+y| \leq |x| + |y|$.
- Densité : $\mathbb{Q}$ est dense dans $\mathbb{R}$ : $\forall (x,y) \in \mathbb{R}^2, x < y \implies \exists q \in \mathbb{Q}, x < q < y$.
- Partie entière : Pour tout $x \in \mathbb{R}$, il existe un unique entier $n = \lfloor x \rfloor$ tel que $n \leq x < n+1$.
Méthodes à maîtriser
- Démontrer une borne supérieure : Pour montrer que $M = \sup A$, vérifier :
- $\forall x \in A, x \leq M$ (M est un majorant).
- $\forall \epsilon > 0, \exists x \in A, x > M - \epsilon$ (M est le plus petit des majorants).
- Utiliser la partie entière : Encadrer $x$ par $\lfloor x \rfloor \leq x < \lfloor x \rfloor + 1$.
- Raisonnement par l'absurde : Souvent utilisé pour démontrer des propriétés de densité ou d'irrationnalité.
Exemples corrigés
- Borne supérieure : Soit $A = {1 - \frac{1}{n} \mid n \in \mathbb{N}^*}$. On montre que $\sup A = 1$.
- $1 - \frac{1}{n} < 1$ pour tout $n$.
- Soit $\epsilon > 0$. On cherche $n$ tel que $1 - \frac{1}{n} > 1 - \epsilon \iff \frac{1}{n} < \epsilon \iff n > \frac{1}{\epsilon}$. Il suffit de prendre $n = \lfloor \frac{1}{\epsilon} \rfloor + 1$.
- Inégalité : Montrer que $|x| - |y| \leq |x-y|$. On a $|x| = |x-y+y| \leq |x-y| + |y|$, donc $|x| - |y| \leq |x-y|$.
Erreurs fréquentes
- Confondre majorant et borne supérieure (la borne supérieure appartient à l'ensemble si et seulement si c'est un maximum).
- Oublier la condition "non vide" pour l'existence de la borne supérieure.
- Appliquer la propriété d'Archimède sans vérifier que les réels sont strictement positifs.