Module

Ensembles

Domaine
Logique
Prérequis
Assertions

Généralités sur les ensembles

Définition Appartenance et ensemble vide

Si \(x\) est un élément d’un ensemble \(E\), on dit que \(x\) appartient à \(E\), on note : \(x\in E\).

Si \(x\) n’appartient pas à \(E\), on note : \(x\notin E\).

On note \(\varnothing\) l’ensemble vide qui ne contient aucun élément.

Définition Inclusion de deux ensembles

Soit \(E\) et \(F\) deux ensembles.

\(F\) est inclus dans \(E\) si tout élément de \(F\) est élément de \(E\).

Cette inclusion se note : \(F\subset E\) et sa négation se note \(F\not\subset E\).

On dit que \(F\) est un sous ensemble de \(E\), ou une partie de \(E\).

Ainsi : \(F\subset E\Leftrightarrow(\forall x\in F,\ x\in E)\).

Propriété Inclusion et singleton

De plus, pour toute partie \(F\) de \(E\) et pour tout \(x\) de \(E\), on a : \(\varnothing\subset F\), \(F\subset E\) et \(x\in F\Leftrightarrow\{x\}\subset F\).

Exemple résolu Inclusions des ensembles de nombres réservé aux comptes

Définition Égalité de deux ensembles

Deux ensembles \(E\) et \(F\) sont égaux s’ils ont les mêmes éléments : \(E=F\Leftrightarrow(E\subset F\text{ et }F\subset E)\).

Exemple résolu Caractérisation des réels négatifs réservé aux comptes

Opérations sur les parties

Définition Réunion de deux ensembles

Soient \(A\) et \(B\) deux parties d’un ensemble \(E\).

La réunion de \(A\) et \(B\), notée \(A\cup B\), est une partie de \(E\) définie par : \(x\in A\cup B\Leftrightarrow(x\in A\text{ ou }x\in B)\).

Définition Intersection de deux ensembles

L’intersection de \(A\) et \(B\), notée \(A\cap B\), est une partie de \(E\) définie par : \(x\in A\cap B\Leftrightarrow(x\in A\text{ et }x\in B)\).

Exemple résolu Intersection et réunion de deux ensembles réservé aux comptes

Remarques Remarques

Remarque Intersection avec l’ensemble vide et l’ensemble de référence

\(A\cap\varnothing=\varnothing\) ; \(A\cap E=A\).

Remarque Réunion avec l’ensemble vide et l’ensemble de référence

\(A\cup\varnothing=A\) ; \(A\cup E=E\).

Exemple résolu Inclusion et intersection réservé aux comptes

Exemple résolu Intersection d’ensembles définis réservé aux comptes