I est un intervalle ssi ?
(caractérisation)
∀(a,b) ∈ I², [a;b] ⊂ I
Un majorant M de A une partie de R
∀ 𝑥∈A , 𝑥⩽ M
Ex: 12 est un majorant de [0;1]
Un minorant m de A
∀ 𝑥∈A , 𝑥 ⩾m
Ex: -6 est un minorant de [0;1]
A est majoré si ?
∃M∈R, ∀𝑥∈A , 𝑥⩽ M
Ex: ]-∞ ; 1] est majorée par 1, 2…
A est minoré si ?
∃m∈R, ∀𝑥∈A , 𝑥⩾m
Ex: N est minorée par 0
A est borné si ?
Si majorée et minorée
∃(m,M)∈R², ∀𝑥∈A , m⩽𝑥⩽M
Ex: [0;1] est borné
Négation de A est borné
∀(m,M)∈R², ∃𝑥∈A, 𝑥>M ou 𝑥<m
Le maximum M de A
M∈A et ∀𝑥∈A , 𝑥⩽ M
M appartient à A et est un majorant
Ex: max([0;1]) = 1
Le minimum m de A
m∈A et ∀𝑥∈A , 𝑥 ⩾m
m appartient à A et est un minorant
Ex: m([0;1]) = 0
Méthode pour démontrer l’unicité
Prendre deux éléments M,M’ de l’ensemble
Montrer qu’ils sont égaux
A admet une borne supérieure si ?
Ce minimum (plus petit majorant) = sup(A)
Le maximum est une borne supérieure
A admet une borne inférieure si ?
Ce maximum (plus grand des minorants) = in(A)
Le minimum est une borne inférieure
Caractérisation de la borne supérieure
M = sup(A) ⇔ ∀a∈A , a⩽ M et ∀y∈M, ∃a∈A, y<a⩽ M
Théorème de la borne supérieure
(propriété particulière à R)
Toute partie majorée et non vide de R admet une borne supérieure
Théorème de la borne inférieure
Toute partie minorée et non vide de R admet une borne inférieure
Partie entière ⌊𝑥⌋
L’unique entier ∈ Z tel que
⌊𝑥⌋ ⩽ 𝑥 < ⌊𝑥⌋+1
Valeur absolue
|𝑥| = - 𝑥 si 𝑥⩾0
- -𝑥 si 𝑥 <0
Disjonction de cas
A,B,C trois propositions logiques
(A ou B) ⇒ C ⇔ (A⇒C) et (B⇒C)
Pour montrer la propriété C, on montre la partie de droite
Inégalité triangulaire
|𝑥 + y| ⩽ |𝑥|+|y|