★ À maîtriser
📌 Deux ensembles sont égaux si chacun est inclus dans l’autre, ce qui se démontre par double inclusion.
📐 Formule - Si E possède n éléments, alors .
Compléments
📌 Dans un ensemble, l’ordre et les répétitions ne comptent pas, contrairement à une liste Python où l’ordre et les doublons sont conservés.
Un ensemble peut être défini en extension en listant ses éléments ou en compréhension en donnant une propriété vérifiée par ses éléments.
Deux ensembles A et B sont disjoints si leur intersection est l’ensemble vide.
Les correspondances entre logique et ensembles sont :
L’union et l’intersection sont commutatives et distributives l’une par rapport à l’autre.
📌 Les lois de De Morgan donnent le complémentaire de A ∩ B comme l’union des complémentaires de A et B, et le complémentaire de A ∪ B comme l’intersection de ces complémentaires.
★ À maîtriser
Compléments
E² désigne E × E et Eᵏ désigne l’ensemble des k-uplets d’éléments de E.
La fonction réelle x ↦ √x n’est pas une application de ℝ dans ℝ, mais elle en est une de [0, +∞[ dans ℝ.
Un dictionnaire associe une valeur unique à chaque clé, mais plusieurs clés peuvent avoir la même valeur.
Pour f(x)=x² sur ℝ, l’image directe de [−1, 2] est [0, 4], et non [f(−1), f(2)] = [1, 4], car le minimum est atteint en 0.
En général, g ◦ f n’est pas égal à f ◦ g.
Pour composer, on suit d’abord f, puis g.
Une application injective équivaut à une application où chaque élément de F a au plus un antécédent.
Pour établir l’injectivité, on suppose f(x)=f(x′) et on démontre x=x′ ; pour la réfuter, on donne deux éléments distincts ayant la même image.
Pour établir la surjectivité, on fixe y ∈ F et on résout f(x)=y en trouvant x ∈ E ; pour la réfuter, on exhibe un élément de F sans antécédent.
Injective : pas de collision ; surjective : aucune cible oubliée.
Une bijection est un aller-retour où chaque flèche peut être inversée.
★ À maîtriser
📌 Un codage réversible, comme une compression sans perte ou un chiffrement, doit être injectif.
📌 Une même formule peut définir des applications injectives ou non, surjectives ou non, selon les ensembles de départ et d’arrivée.
Compléments
📐 Formule - Pour une bijection f : E → F, et .
Pour f : ℝ → ℝ définie par f(x) = 3x + 2, l’application est bijective et sa réciproque est f⁻¹(y) = (y − 2)/3.
Le chiffrement de César sur E = {0, 1, …, 25} est défini par c(x) = (x + 3) mod 26 et se déchiffre par c⁻¹(y) = (y − 3) mod 26.
Injective : pas de collision ; surjective : aucune arrivée oubliée.
Le cardinal de l’ensemble vide est 0, et Card({a, b, c}) = 3.
Dans un ensemble, les répétitions ne comptent pas : Card({1, 1, 2}) = 2.
📌 Si A ⊂ B, alors Card(A) ≤ Card(B) et Card(B \ A) = Card(B) − Card(A).
★ À maîtriser
📐 Formule - Pour deux ensembles finis A et B, .
📐 Formule - Si Card(E) = n, alors et .
Compléments
📌 Si A et B sont disjoints, alors Card(A ∪ B) = Card(A) + Card(B).
Dans le crible, la zone commune est comptée deux fois : on la retranche une fois.
★ À maîtriser
Pour une application f : E → F entre ensembles finis, l’injectivité implique Card(E) ≤ Card(F), la surjectivité implique Card(E) ≥ Card(F), et la bijectivité implique Card(E) = Card(F).
Si E et F sont finis et ont le même cardinal, alors f : E → F est injective si et seulement si elle est surjective, et ces propriétés équivalent à la bijectivité.
Le principe des tiroirs affirme que ranger n objets dans k tiroirs avec n > k impose qu’au moins un tiroir contienne au moins deux objets.
Si Card(E) > Card(F), aucune application de E vers F n’est injective.
Compléments
📌 La réciproque selon laquelle une application injective entre ensembles finis de même cardinal est surjective ne s’étend pas aux ensembles infinis : n ↦ 2n est injective de ℤ vers ℤ mais non surjective.
Plus d’objets que de tiroirs → collision inévitable.
En Python, les opérateurs |, &, -, <= et len correspondent respectivement à l’union, l’intersection, la différence, l’inclusion et au calcul du cardinal des ensembles.
En SQL, UNION, INTERSECT et EXCEPT réalisent respectivement l’union, l’intersection et la différence de résultats de requêtes.
En SQL, CROSS JOIN construit le produit cartésien des lignes des deux tables.
Propriétés des applications finies
| Propriété | Condition sur les cardinaux | Conséquence si mêmes cardinaux |
|---|---|---|
| Injective | Card(E) ≤ Card(F) | Équivalente à la surjectivité |
| Surjective | Card(E) ≥ Card(F) | Équivalente à l’injectivité |
| Bijective | Card(E) = Card(F) | Injective et surjective |
Teste tes connaissances sur Ensembles et applications avec 27 questions à choix multiples et corrections détaillées.
1. Soient A = {2, 4} et B = {1, 2, 3, 4}. Quelle relation décrit le fait que chaque élément de A appartient aussi à B ?
2. Pour établir que deux ensembles A et B contiennent exactement les mêmes éléments, quelle démarche de preuve faut-il suivre ?
Mémorisez les concepts clés de Ensembles et applications avec 70 flashcards interactives.
Quand dit-on qu'A est inclus dans B ?
Lorsque tout élément de A appartient à B.
Comment démontre-t-on l’égalité de deux ensembles ?
Par double inclusion.
Que contient l’ensemble des parties P(E) ?
Tous les sous-ensembles de E.
Importe ton cours et l'IA génère fiches, QCM et flashcards en 30 secondes.
Générateur de fiches