Notions et raisonnements logiques

Introduction

En mathématiques, les ensembles sont des notions fondamentales. Nous étudions comment ils se rapportent entre eux : appartenance, inclusion, opérations comme la réunion, l'intersection, et la notion de complémentaire.

1. Appartenance

Un élément \(a\) appartient à un ensemble \(A\) : on écrit \(a \in A\).
Exemple : si \(A = \{1, 2, 3\}\), alors \(2 \in A\).

2. Inclusion

Un ensemble \(A\) est inclus dans un ensemble \(B\) (ou \(A\) est un sous-ensemble de \(B\)) si tout élément de \(A\) appartient à \(B\).
On note : \(A \subseteq B\).

Par exemple, si \(A = \{1, 2\}\) et \(B = \{1, 2, 3\}\), alors \(A \subseteq B\).

3. La réunion

La réunion de deux ensembles \(A\) et \(B\), notée \(A \cup B\), est l'ensemble des éléments qui appartiennent à \(A\) ou à \(B\) (ou aux deux).

Exemple : si \(A = \{1, 2\}\) et \(B = \{2, 3\}\), alors \(A \cup B = \{1, 2, 3\}\).

4. L'intersection

L'intersection de deux ensembles \(A\) et \(B\), notée \(A \cap B\), est l'ensemble des éléments qui appartiennent à la fois à \(A\) et à \(B\).

Exemple : si \(A = \{1, 2\}\) et \(B = \{2, 3\}\), alors \(A \cap B = \{2\}\).

5. Le complémentaire

Le complémentaire d'un ensemble \(A\) par rapport à un ensemble universel \(U\), noté \(A^c\) ou \(U \setminus A\), est l'ensemble des éléments de \(U\) qui ne sont pas dans \(A\).

Exemple : si \(U = \{1, 2, 3, 4, 5\}\) et \(A = \{1, 2\}\), alors \(A^c = \{3, 4, 5\}\).

Résumé des propriétés

• Pour tout ensemble \(A\), on a \(A \subseteq A\) (triples).
• Si \(A \subseteq B\) et \(B \subseteq C\), alors \(A \subseteq C\) (transitivité).
• Le réunion est associative et commutative :
  • \(A \cup (B \cup C) = (A \cup B) \cup C\)
  • \(A \cup B = B \cup A\)
• L'intersection est aussi associative et commutative :
  • \(A \cap (B \cap C) = (A \cap B) \cap C\)
  • \(A \cap B = B \cap A\)

Conclusion

Les notions d'appartenance, d'inclusion, et d'opérations sur les ensembles permettent d'organiser la réflexion en logique et en mathématiques. Elles sont essentielles pour comprendre la structure des connaissances mathématiques.