E ⊂ F
si ?
∀ 𝑥∈E, 𝑥∈F
Négation de E ⊂ F
∃ 𝑥∈E, 𝑥∉F
E = F
ssi ?
E ⊂ F et F ⊂ E
Méthode par double inclusion
Si F ⊂ E,
F est ?
Sous-ensemble/ partie de E
F ∈ P(E)
P(E)
Ensemble des parties de E
2 manières d’écrire l’ensemble des N divisibles par 7
{ 7k | k ∈ N}
ou
{ n∈ N | ∃k∈ N, n=7k }
Manière d’écrire ensemble des nbrs rationnels qui possèdent un antécédent par la fonction
𝑥 -> 𝑥 + 1
{ y ∈ Q | ∃ 𝑥 ∈ R, 𝑥+1 =y }
Définir en quantificateurs Union de A U B
avec A,B ∈ P(E)
{ x ∈ E, x ∈ A ou x ∈ B }
Le “ou” n’est exclusif, les x communs à A et B sont compris
Définir en quantificateurs
Intersection de A ∩ B
avec A,B ∈ P(E)
{ x ∈ E, x ∈ A et x ∈ B }
Complémentaire de A barre de A dans E
A barre = { x ∈ E, x ∉ A}
ou E\A
∀A∈ P(E), A⊂ A et A⊂∅
Démonstration par l’absurde
Contradiction
∀ A,B∈ P(E) , A⊂B ⇔ B barre ⊂ A barre
Par double implication
et par l’absurde + contradiction dans les deux implications
∀ A,B,C ∈ P(E) , A⊂ B et B⊂C ⇒ A⊂C
Suppose partie de gauche
Soit x appartient à A
x appartient à C
∀ A,B,C ∈ P(E) , (sorte de double distributivité)
A∩ (B U C) = (A ∩ B) U (A ∩ C)
et
A U (B∩C) = (A U B) ∩ (A U C)
Par double inclusion
Soit x appartient à partie de gauche
Disjonction de cas
- Si x appartient à B
- Si x appartient à C
Alors, dans les 2 cas (partie de droite)
Définition quantifiée Produit cartésien de A,B
2 ensembles différents
A x B = { (a,b) | a ∈ A et b ∈ B }
A sur axe abscisse
B sur axe ordonné
Sur le plan cartésien R carré
Definition de l’application
Relation entre 2 ensembles pour laquelle
chaque élément de l’ensemble de départ (E)
a un unique élément dans ensemble arrivée (F)
Def quantifiée de l’application
∀𝑥∈ E, ∃! y∈ F, (x,y) ∈ A
Pour tout 𝑥∈ E, on note f(𝑥) cette unique valeur de y, appelée image de 𝑥 par f. 𝑥 est un antécédent de y.
Qu’est qu’une application mal définie ?
Elle associe un élément de départ à plusieurs images
Def quantifiée de injectivité
∀𝑥,𝑥’∈ E, f(𝑥) = f(𝑥’) ⇒ 𝑥 = 𝑥’
Chaque image a au plus un antécédent
Il peut y avoir une image sans antécédent
Def quantifiée de surjectivité
∀y∈F , ∃𝑥 ∈ E , y=f(𝑥 )
Chaque image a au moins un antécédent
Une image peut avoir plusieurs antécédent
Ensemble image de E
f(E) = { y ∈ F | ∃𝑥 ∈ E, y = f(𝑥) }
ou aussi
{ f(𝑥) | 𝑥 ∈ E }
Cardinal de E
Nbr d’éléments n dans E
|E| ou card(E)
Un ensemble E est fini si ?
f: [| 1, n |] avec n∈ N est une application bijective
Si A⊂ E et E est un ensemble fini, alors ?
|A| ⩽ |E|