1. Ordre, valeur absolue et intervalles
- est un corps totalement ordonné : , et , .
- Valeur absolue : , et, pour , .
- Inégalités triangulaires : et .
- Intervalles : une partie est un intervalle si . Ce sont les ensembles , , , , etc.
Licence 1 · Analyse Réelle · L1-06
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.
Soit non vide.
1. ;
2. .
Théorème : .
Démonstration.
1. Supposons avec , et la fraction irréductible. Alors , donc est pair.
2. Le carré d'un entier impair vaut , impair ; donc est pair : .
3. Alors , soit : est pair, donc est pair.
4. et sont tous deux pairs, ce qui contredit l'irréductibilité. Donc est irrationnel.
Conséquence : est une partie non vide et majorée de sans borne supérieure dans (sa borne supérieure dans est ). L'axiome de la borne supérieure est exactement ce qui distingue de .
Théorème (Archimède) : . Plus généralement, pour et , il existe tel que .
Démonstration. Sinon, serait non vide et majoré par ; soit . Comme ne majore pas , il existe avec , d'où avec : contradiction.
Partie entière : pour tout , il existe un unique tel que ; on le note .
Démonstration.
1. Unicité : si et , alors et , donc .
2. Existence : est non vide (par Archimède, il existe avec , et alors ) et majorée par . Une partie non vide et majorée de admet un plus grand élément ; on a et , c'est-à-dire .
Exemples : , . Approximations décimales : vérifie .
Une partie est dense dans si tout intervalle avec contient un élément de .
Théorème : et sont denses dans .
Démonstration.
1. Soient . Par Archimède, il existe tel que .
2. Posons . Par définition de la partie entière, .
3. Comme , on obtient , soit : contient un rationnel.
4. Pour les irrationnels : on applique ce qui précède à , qui contient un rationnel . Alors , et est irrationnel (sinon serait rationnel).
Corollaire : tout réel est limite d'une suite de rationnels (par exemple ses approximations décimales ) et d'une suite d'irrationnels.
Exemple
Déterminer, s'ils existent, , , et pour .
Étape 1 (majorant) : pour tout , , donc : majore .
Étape 2 (caractérisation) : soit . Par Archimède, il existe avec ; alors . Donc ne majore pas , et .
Étape 3 (maximum) : (car ), donc n'a pas de plus grand élément.
Étape 4 (minimum) : pour tout , avec égalité pour : .
Exemple
Montrer que pour tout et tout , .
Étape 1 (encadrement de référence) : posons , de sorte que , puis .
Étape 2 (passage à la partie entière) : est un entier inférieur ou égal à , donc ; et .
Étape 3 (division par ) : , et .
Conclusion : par unicité de la partie entière, . Contrôle : , : et .
Essaie de répondre de tête avant d'afficher la réponse.
et .
L'axiome de la borne supérieure : toute partie non vide et majorée de admet une borne supérieure dans .
L'unique entier tel que .
Pour tout et tout , il existe tel que .
Choisir avec , puis : on a .
est fermée si et seulement si toute suite d'éléments de qui converge a sa limite dans .
Palier 1 · découverte
Quelle est la borne supérieure dans de l'ensemble , et admet-il un maximum ?
Pour tout , , donc 1 majore strictement .
Bonne réponse : A. et n'existe pas
1 est le plus petit des majorants de , donc . Comme (l'équation n'a pas de solution dans ), le plus grand élément n'existe pas.
Palier 2 · application
Soit une partie non vide et majorée. Quelle est la caractérisation en exacte de ?
1. doit être un majorant de .
Bonne réponse : A.
est le plus petit des majorants : majore (), et dès qu'on soustrait un réel arbitraire , n'est plus un majorant, ce qui assure l'existence d'un tel que .
Palier 3 · approfondissement
Quelle est l'énoncé quantifié exact de la propriété d'Archimède dans ?
Elle signifie que l'ensemble n'est pas majoré dans .
Bonne réponse : A.
Le corps est archimédien : . C'est ce qui garantit l'existence de la partie entière pour tout réel.
Palier 4 · défi
Soit la partie . Que vaut dans , et admet-il un plus grand élément ?
Par définition, majore .
Bonne réponse : A. et n'admet aucun plus grand élément
L'ensemble est majoré par . Par densité de dans , pour tout , il existe tel que . Comme , . Donc . Comme , , d'où n'admet pas de plus grand élément.