Les ensembles sont partout autour de nous : l'ensemble des élèves de ta classe, l'ensemble des chansons de ta liste de lecture préférée, l'ensemble des nombres pairs. Mais que se passe-t-il quand ces ensembles se « rencontrent » ? Comment peut-on les combiner, les comparer ou les séparer ?
La réponse réside dans les opérations sur les ensembles : des outils puissants qui nous permettent de construire de nouveaux ensembles à partir d'ensembles existants. Ces opérations suivent des règles précises et forment une algèbre élégante qui reflète la logique même de la pensée humaine.
Sommaire
Qu'est-ce qu'un ensemble
Avant de combiner des ensembles, rappelons ce qu'ils sont. Un ensemble est une collection d'objets distincts, appelés éléments de l'ensemble.
Exemples :
- \(A = \{1, 3, 5, 7, 9\}\) (les cinq premiers nombres impairs positifs)
- \(B = \{2, 4, 6, 8, 10\}\) (les cinq premiers nombres pairs positifs)
- \(C = \{\text{rouge, vert, bleu}\}\) (les couleurs primaires)
- \(D = \{\text{lundi, mardi, mercredi}\}\) (les trois premiers jours de la semaine)
La relation d'appartenance
Un élément peut appartenir à un ensemble (\(\in\)) ou ne pas y appartenir (\(\notin\)) :
- \(3 \in A\) (\(3\) appartient à \(A\))
- \(4 \notin A\) (\(4\) n'appartient pas à \(A\))
Cela soulève une question intéressante : que se passe-t-il lorsqu'on veut travailler avec plusieurs ensembles à la fois ? Comment les combiner de différentes façons pour en extraire de nouvelles informations ?
L'union : tout rassembler
Imagine que tu possèdes deux listes de lecture et que tu souhaites en créer une qui contienne toutes les chansons des deux. C'est exactement l'idée de l'union.
\[A \cup B = \{x : x \in A \text{ ou } x \in B\}\]
Un exemple :
Soient :
- \(A = \{1, 3, 5\}\) (nombres impairs jusqu'à \(5\))
- \(B = \{2, 4, 5, 6\}\) (quelques nombres pairs et le \(5\))
Alors : \(A \cup B = \{1, 2, 3, 4, 5, 6\}\)
Remarque importante : le nombre \(5\) figure dans les deux ensembles, mais il n'apparaît qu'une seule fois dans l'union. Un ensemble ne contient pas d'éléments répétés !
Propriétés de l'union
- Commutativité : \(A \cup B = B \cup A\) (l'ordre est sans importance)
- Associativité : \((A \cup B) \cup C = A \cup (B \cup C)\)
- Idempotence : \(A \cup A = A\) (faire l'union d'un ensemble avec lui-même ne le change pas)
- Élément neutre : \(A \cup \emptyset = A\) (l'ensemble vide n'apporte rien)
L'intersection : ce qu'ils ont en commun
Parfois on ne veut pas tout, seulement ce qui est commun à plusieurs ensembles. Si deux amis comparent leurs listes de lecture, ils voudront peut-être trouver les chansons qu'ils apprécient tous les deux. C'est là qu'intervient l'intersection.
\[A \cap B = \{x : x \in A \text{ et } x \in B\}\]
Un exemple :
Considérons :
- \(A = \{1, 2, 3, 4, 5\}\) (nombres de \(1\) à \(5\))
- \(B = \{3, 4, 5, 6, 7\}\) (nombres de \(3\) à \(7\))
Alors : \(A \cap B = \{3, 4, 5\}\) (les éléments communs)
Ensembles disjoints
Que se passe-t-il si deux ensembles n'ont aucun élément en commun ?
Exemple : \(C = \{1, 3, 5\}\) et \(D = \{2, 4, 6\}\)
Résultat : \(C \cap D = \emptyset\) (l'ensemble vide)
On dit alors que \(C\) et \(D\) sont disjoints.
Propriétés de l'intersection
- Commutativité : \(A \cap B = B \cap A\)
- Associativité : \((A \cap B) \cap C = A \cap (B \cap C)\)
- Idempotence : \(A \cap A = A\)
- Élément absorbant : \(A \cap \emptyset = \emptyset\)
La différence d'ensembles
On souhaite parfois savoir ce qui se trouve dans un ensemble mais pas dans l'autre — un peu comme comparer deux listes de courses pour repérer ce qu'on a oublié d'acheter.
\[A \setminus B = \{x : x \in A \text{ et } x \notin B\}\]
Un exemple :
Considérons :
- \(A = \{1, 2, 3, 4, 5\}\) (tous les nombres de \(1\) à \(5\))
- \(B = \{3, 4\}\) (quelques-uns de ces nombres)
Alors :
- \(A \setminus B = \{1, 2, 5\}\) (ce qui est dans \(A\) mais pas dans \(B\))
- \(B \setminus A = \emptyset\) (tout ce qui est dans \(B\) est aussi dans \(A\))
Attention : la différence n'est pas commutative !
Contrairement à l'union et à l'intersection, l'ordre compte :
Si \(A = \{1, 2, 3\}\) et \(B = \{2, 3, 4\}\), alors :
- \(A \setminus B = \{1\}\)
- \(B \setminus A = \{4\}\)
Des résultats radicalement différents !
Le complémentaire
On travaille souvent à l'intérieur d'un « univers » bien défini. Si l'on parle des élèves d'un établissement scolaire, notre univers est l'ensemble de tous les élèves. Le complémentaire d'un ensemble regroupe tout ce qui n'appartient pas à cet ensemble, tout en restant dans l'univers.
\[A^c = U \setminus A = \{x \in U : x \notin A\}\]
Un exemple :
Supposons que :
- \(U = \{1, 2, 3, 4, 5, 6, 7, 8, 9, 10\}\) (les nombres de 1 à 10)
- \(A = \{2, 4, 6, 8, 10\}\) (les nombres pairs)
Alors : \(A^c = \{1, 3, 5, 7, 9\}\) (les nombres impairs)
Les lois de De Morgan
Le complémentaire obéit aux propriétés découvertes par le mathématicien Augustus De Morgan :
- \((A \cup B)^c = A^c \cap B^c\)
- \((A \cap B)^c = A^c \cup B^c\)
En d'autres termes : « le complémentaire de l'union est l'intersection des complémentaires, et le complémentaire de l'intersection est l'union des complémentaires. » Ces lois établissent un lien profond entre l'union et l'intersection.
La différence symétrique
On cherche parfois les éléments qui figurent dans l'un ou l'autre ensemble, mais pas dans les deux à la fois.
\[A \triangle B = (A \setminus B) \cup (B \setminus A) = (A \cup B) \setminus (A \cap B)\]
Un exemple :
Considérons deux amis et leurs loisirs :
- \(A = \{\text{football, tennis, natation}\}\) (loisirs du premier ami)
- \(B = \{\text{tennis, basketball, course à pied}\}\) (loisirs du second ami)
La différence symétrique \(A \triangle B = \{\text{football, natation, basketball, course à pied}\}\) représente les loisirs que seul l'un des deux pratique.
Propriétés remarquables
- Commutativité : \(A \triangle B = B \triangle A\)
- Associativité : \((A \triangle B) \triangle C = A \triangle (B \triangle C)\)
- Élément neutre : \(A \triangle \emptyset = A\)
- Élément inverse : \(A \triangle A = \emptyset\)
Ces propriétés font de la différence symétrique une opération particulièrement intéressante en algèbre.
Le produit cartésien : toutes les combinaisons possibles
Jusqu'ici, nous avons combiné des ensembles pour obtenir de nouveaux ensembles du même « type ». Le produit cartésien fonctionne différemment : il produit des couples ordonnés d'éléments.
\[A \times B = \{(a, b) : a \in A \text{ et } b \in B\}\]
Un exemple :
Imaginons que l'on doive choisir :
- \(A = \{\text{pâtes, riz}\}\) (plats de base)
- \(B = \{\text{sauce tomate, pesto, carbonara}\}\) (sauces)
Le produit cartésien \(A \times B\) représente toutes les combinaisons possibles :
\[A \times B = \{(\text{pâtes, sauce tomate}),\ (\text{pâtes, pesto}),\ (\text{pâtes, carbonara}),\] \[(\text{riz, sauce tomate}),\ (\text{riz, pesto}),\ (\text{riz, carbonara})\}\]
Le plan cartésien
Le produit cartésien le plus célèbre est \(\mathbb{R} \times \mathbb{R} = \mathbb{R}^2\), qui représente l'ensemble de tous les points du plan cartésien. Chaque point \((x, y)\) est simplement un couple de nombres réels !
Propriétés du produit cartésien
- Non commutatif : en général, \(A \times B \neq B \times A\)
- Distributif par rapport à l'union : \(A \times (B \cup C) = (A \times B) \cup (A \times C)\)
- Cardinal : \(|A \times B| = |A| \cdot |B|\)
Les lois de l'algèbre des ensembles
Les opérations sur les ensembles obéissent à des règles précises, tout comme l'algèbre des nombres. Ces lois nous permettent de simplifier des expressions complexes et de raisonner avec rigueur.
Lois fondamentales
| Propriété | Union | Intersection |
|---|---|---|
| Commutativité | \(A \cup B = B \cup A\) | \(A \cap B = B \cap A\) |
| Associativité | \((A \cup B) \cup C = A \cup (B \cup C)\) | \((A \cap B) \cap C = A \cap (B \cap C)\) |
| Distributivité | \(A \cup (B \cap C) = (A \cup B) \cap (A \cup C)\) | \(A \cap (B \cup C) = (A \cap B) \cup (A \cap C)\) |
| Idempotence | \(A \cup A = A\) | \(A \cap A = A\) |
| Élément neutre | \(A \cup \emptyset = A\) | \(A \cap U = A\) |
| Élément absorbant | \(A \cup U = U\) | \(A \cap \emptyset = \emptyset\) |
Lois de De Morgan (rappel)
- \((A \cup B)^c = A^c \cap B^c\)
- \((A \cap B)^c = A^c \cup B^c\)
Lois d'absorption
- \(A \cup (A \cap B) = A\)
- \(A \cap (A \cup B) = A\)
Ces lois révèlent une belle symétrie : l'union et l'intersection sont des opérations « duales » — chaque propriété de l'une se retrouve en miroir dans l'autre.
Les diagrammes de Venn : visualiser les opérations
Un schéma vaut parfois mieux que mille équations. Les diagrammes de Venn, introduits par le logicien John Venn en 1880, permettent de visualiser d'un coup d'œil les opérations sur les ensembles.
Comment ça fonctionne
Chaque ensemble est représenté par un cercle (ou toute autre région fermée). L'ensemble univers est représenté par un rectangle qui englobe tout.
Les principales opérations :
- Union \(A \cup B\) : toute la surface couverte par au moins l'un des deux cercles
- Intersection \(A \cap B\) : la zone de chevauchement des deux cercles
- Différence \(A \setminus B\) : la partie de \(A\) qui ne chevauche pas \(B\)
- Complémentaire \(A^c\) : tout le rectangle sauf le cercle \(A\)
- Différence symétrique \(A \triangle B\) : les parties non chevauchantes de chaque cercle
Au-delà de deux ensembles
Les diagrammes de Venn peuvent représenter trois ensembles ou davantage, même si la figure devient alors plus complexe. Avec trois ensembles, on dénombre \(8\) régions distinctes à prendre en compte !
Avantages des diagrammes de Venn
- Intuition visuelle : les opérations deviennent immédiatement compréhensibles
- Vérification des formules : ils permettent de contrôler les lois algébriques
- Résolution de problèmes : ils aident à organiser des informations complexes
Les opérations sur les ensembles sont bien plus que de simples manipulations symboliques. Elles constituent le langage mathématique avec lequel nous décrivons les relations entre groupes, catégories et collections d'objets. Chaque fois que nous regroupons, comparons ou combinons des informations, nous faisons appel à ces outils.
La beauté de ces opérations tient à leur universalité : les mêmes règles qui régissent l'union de deux listes de lecture gouvernent aussi l'intersection de bases de données d'entreprise ou la classification d'espèces biologiques.
Mais il y a quelque chose de plus profond encore. Les opérations sur les ensembles nous enseignent que les mathématiques ne se réduisent pas au calcul : elles sont une façon d'organiser la pensée. Lorsque nous apprenons à voir le monde en termes d'ensembles et de leurs relations, nous développons un mode de raisonnement à la fois rigoureux et flexible.
Chaque opération étudiée représente une façon différente de mettre les idées en relation :
- L'union nous enseigne l'inclusivité : comment rassembler la diversité
- L'intersection montre l'importance de ce qui est partagé
- La différence aide à identifier les spécificités
- Le complémentaire nous rappelle que tout choix exclut certaines alternatives
Et comme nous l'avons vu avec les nombres, toute « impossibilité » apparente ouvre la voie à de nouvelles découvertes. Lorsque les ensembles simples ne suffisent plus, les mathématiciens ont imaginé des ensembles infinis, des ensembles d'ensembles et des structures encore plus élaborées.