- 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'é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 un ensemble d'indices, et pour chaque , un ensemble Ai. Alors les ensembles de la famille sont mutuellement disjoints si
Par exemple, les singletons de la famille ({1},{2},{3}) sont mutuellement disjoints.
Si est une famille d'ensembles mutuellement disjoints, et s'il y a au moins deux indices dans I, alors l'intersection de la famille est vide :
Cependant, 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 sous-ensembles de X non vides, mutuellement disjoints et tels que :
Voir aussi
- Ensembles presque disjoints (en)
- Connectivité
- Union disjointe
- Union-Find
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Disjoint sets » (voir la liste des auteurs)
Wikimedia Foundation. 2010.