Sous-ensemble, intersection et ensemble puissance

Une partie importante de la théorie des ensembles consiste à comparer et à combiner des ensembles. Ici, nous examinons les sous-ensembles, les sous-ensembles propres, les intersections, les ensembles puissance et le produit cartésien.

 

Sous-ensemble

Un ensemble \( \large A\) est un sous-ensemble d’un autre ensemble \( \large B\) si tous les éléments de \( \large A\) se trouvent aussi dans \( \large B\). Cela s’écrit :

 

$$ \large A \subseteq B $$

 

Sous-ensemble

 

Formellement, cela peut se définir ainsi :

 

$$ \large A \subseteq B \;\;\Leftrightarrow\;\; \forall x \in A \Rightarrow x \in B $$

 

Exemples :

 

  • \( \large \{1,2\} \subseteq \{1,2,3,4\}\)
  • L’ensemble vide est toujours un sous-ensemble : \( \large \emptyset \subseteq A\) pour tout ensemble \( \large A\).

 

Remarque : Dans certains livres, le symbole \( \large \subset\) est utilisé à la place de \( \large \subseteq\) pour désigner les sous-ensembles. Ici, nous utilisons \( \large \subseteq\) comme norme.

 

 

Sous-ensemble propre

Un ensemble \( \large A\) est un sous-ensemble propre de \( \large B\) si \( \large A \subseteq B\) mais \( \large A \neq B\).

Cela signifie que \( \large B\) contient au moins un élément qui n’est pas dans \( \large A\).

La notation est :

 

$$ \large A \subset B $$

 

Exemple : \( \large \{1,2\} \subset \{1,2,3\}\).

 

 

Intersection

L’intersection de deux ensembles \( \large A\) et \( \large B\) est l’ensemble des éléments qui appartiennent aux deux ensembles. Elle s’écrit :

 

$$ \large A \cap B = \{x \mid x \in A \;\wedge\; x \in B\} $$

 

Exemple : Si \( \large A = \{1,2,3\}\) et \( \large B = \{3,4,5\}\), alors \( \large A \cap B = \{3\}\).

 

 

Intersection

 

 

Ensemble puissance

L’ensemble puissance d’un ensemble \( \large A\) est l’ensemble de tous les sous-ensembles de \( \large A\).

Il s’écrit \( \large \mathcal{P}(A)\).

 

Si \( \large A = \{0,1\}\), alors :

 

$$ \large \mathcal{P}(A) = \{\emptyset, \{0\}, \{1\}, \{0,1\}\} $$

 

Le nombre d’éléments d’un ensemble puissance est \( \large 2^{|A|}\).

Par exemple, si \( \large |A| = 3\), alors \( \large \mathcal{P}(A)\) a \( \large 2^3 = 8\) éléments.

 

 

Produit cartésien

Le produit cartésien de deux ensembles \( \large A\) et \( \large B\) est l’ensemble de tous les couples ordonnés où la première composante provient de \( \large A\) et la seconde de \( \large B\).

Il s’écrit :

 

$$ \large A \times B = \{(a,b) \mid a \in A \;\wedge\; b \in B\} $$

 

Exemple : Si \( \large A = \{1,2\}\) et \( \large B = \{a,b\}\), alors :

 

$$ \large A \times B = \{(1,a),(1,b),(2,a),(2,b)\} $$

 

Remarque : l’ordre a de l’importance : \( \large A \times B \neq B \times A\) en général.

 

 

 

 

Formules

Symboles logiques

$$ \begin{array}{rl} \forall & = \; \text{for all} \\[12pt] \exists & = \; \text{there exists} \\[12pt] \wedge & = \; \text{and} \\[12pt] \vee & = \; \text{or} \\[12pt] \neg & = \; \text{not} \\[12pt] \Rightarrow & = \; \text{if ... then} \\[12pt] \Leftrightarrow & = \; \text{if and only if} \end{array} $$

Notation

$$ \begin{array}{rl} a \in A & = \; \text{element $a$ is in the set $A$} \\[12pt] a \notin A & = \; \text{element $a$ is not in the set $A$} \\[12pt] A = B & = \; \text{$A$ is equal to $B$} \\[12pt] A \subseteq B & = \; \text{$A$ is a subset of $B$} \\[12pt] A \subset B & = \; \text{$A$ is a proper subset of $B$} \\[12pt] A \supseteq B & = \; \text{$A$ is a superset of $B$} \\[12pt] A \supset B & = \; \text{$A$ is a proper superset of $B$} \\[12pt] A \cup B & = \; \text{union of $A$ and $B$} \\[12pt] A \cap B & = \; \text{intersection of $A$ and $B$} \\[12pt] A \setminus B & = \; \text{difference of $A$ and $B$} \\[12pt] A^c & = \; \text{complement of $A$} \\[12pt] |A| & = \; \text{cardinality of $A$} \\[12pt] \varnothing & = \; \text{empty set} \end{array} $$