Ensembles disjoints

Trois ensembles disjoints

En mathématiques, deux ensembles sont dits disjoints s'ils n'ont pas d'éléments en commun. Par exemple, $\{1;2;3\}$ et $\{4;5;6\}$ sont deux ensembles disjoints.

Explication et généralisation

De manière formelle, deux ensembles Modèle:Mvar et Modèle:Mvar sont disjoints si leur intersection est l'ensemble vide, c'est-à-dire si

$A\cap B=\varnothing$.

(Dans le cas contraire, on dit que Modèle:Mvar et Modèle:Mvar « se rencontrent ».)

Cette définition s'étend à une famille d'ensembles. Les ensembles d'une famille sont dits disjoints deux à deux ou mutuellement disjoints si deux ensembles quelconques de cette famille sont disjoints.

Plus précisément, soient Modèle:Mvar un ensemble d'indices, et pour chaque $i\in I$, un ensemble $A_i$. Alors les ensembles de la famille $(A_i{)}_{i\in I}$ sont mutuellement disjoints si

$\mathrm{\forall }(i,j)\in I^2(i\ne j\Rightarrow A_i\cap A_j=\varnothing )$.

Par exemple, les singletons de la famille $(\{1\},\{2\},\{3\})$ sont mutuellement disjoints.

Si $(A_i{)}_{i\in I}$ est une famille d'ensembles mutuellement disjoints et s'il y a au moins deux indices dans Modèle:Mvar, alors l'intersection de la famille est vide :

${\cap }_{i\in I}{A}_i=\varnothing$.

La réciproque est fausse : l'intersection de la famille $(\{1,2\},\{2,3\},\{3,4\})$ est vide, mais ces trois ensembles ne sont pas mutuellement disjoints.

Une partition d'un ensemble X est une famille de parties non vides de X, disjointes deux à deux, dont la réunion est égale à X.

Voir aussi

• Modèle:Lien
• Connectivité
• Règle de la somme
• Union disjointe
• Union-Find
• Famille intersectante