Ensembles : union, intersection, complémentaire

Un ensemble est une collection d'objets, appelés éléments. On note x ∈ E pour dire que x appartient à l'ensemble E, et x ∉ E dans le cas contraire. Les ensembles forment l'un des langages de base des mathématiques modernes, et ils entretiennent un lien étroit avec la logique : chaque opération sur les ensembles correspond exactement à un connecteur logique sur les propositions d'appartenance correspondantes.

L'union de deux ensembles A et B, notée A ∪ B, regroupe tous les éléments qui appartiennent à A ou à B, au sens inclusif du OU logique. L'intersection, notée A ∩ B, ne retient que les éléments communs aux deux ensembles, ceux qui appartiennent à A et à B en même temps : c'est l'image directe du ET logique. Le complémentaire d'un ensemble A dans un ensemble de référence E, souvent noté E moins A, rassemble tous les éléments de E qui n'appartiennent pas à A : c'est la traduction ensembliste exacte de la négation logique.

Ces correspondances ne sont pas de simples analogies décoratives : elles permettent de traduire une démonstration portant sur des ensembles en une démonstration purement logique, et réciproquement. Par exemple, les lois de Morgan énoncent que le complémentaire d'une union est l'intersection des complémentaires, exactement comme la négation d'un OU est le ET des négations correspondantes.

Le diagramme de Venn est l'outil visuel de référence pour raisonner sur ces opérations : deux cercles qui se chevauchent représentent deux ensembles, et chaque région du schéma correspond à une combinaison précise d'appartenance ou de non-appartenance. Apprends à lire ces régions couramment et sans hésitation, car elles t'aideront à visualiser instantanément une propriété avant même de tenter de la démontrer formellement.

(diagramme de Venn : deux ensembles A et B qui se chevauchent)

        ____________________
       /          A         \
      /        ________      \
     |        /        \      |
     |       |   A ∩ B  |  B  |
     |        \________/      |
      \                       /
       \_____________________/

(A ∪ B) = A seul, plus B seul, plus la zone commune A ∩ B (tout le schéma)
(A ∩ B) = uniquement la zone centrale commune aux deux cercles
(complémentaire de A dans E) = tout ce qui se trouve en dehors du cercle A