- Ensembles Disjoints
-
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
De manière formelle, deux ensembles A et B sont disjoints si leur intersection est l'ensemble vide, c'est-à-dire si
Cette définition s'étends à une collection d'ensembles. Une collection d'ensembles disjoints deux à deux ou mutuellement disjoint si tout couple de 2 ensembles de cette collection sont disjoints.
Formellement, soit I un ensemble indexé, et pour chaque , on définit Ai comme un ensemble. Alors la famille d'ensembles est mutuellement disjointe si
Par exemple, la famille de singletons {{1},{2},{3}} est mutuellement disjointe.
Si {Ai} est une famille mutuellement dijointe, alors l'intersection de tous ses ensembles est vide:
Cependant, la réciproque est fausse: l'intersection de la famille {{1,2},{2,3},{3,4}} est vide, mais cette famille n'est pas mutuellement disjointe.
Une partition X est une famille de sous-ensembles non vides de X telle que les Ai sont mutuellement disjoints et que :
Voir aussi
- Ensembles presque disjoints
- Connectivité
- Union disjointe
- Union-Find
- Portail des mathématiques
Catégorie : Théorie des ensembles
Wikimedia Foundation. 2010.