Réunion disjointe
Enmathématiques,laréunion disjointeest uneopération ensembliste.Contrairement à l'union usuelle,lecardinal d'uneunion disjointed'ensemblesest toujours égal à la somme de leurscardinaux.L'union disjointe d'une famille d'ensembles correspond à leursommeenthéorie des catégories,c'est pourquoi on l'appelle aussisomme disjointe.C’est une opération fréquente entopologieet eninformatique théorique.
Union disjointe de deux ensembles
[modifier|modifier le code]Dans une réunionA∪Bde deux ensembles, l'origine des éléments y figurant est perdue et les éléments de l'intersection ne sont comptés qu'une seule fois. Dans certaines situations, on désire conserver cette information et prendre en compte deux fois les éléments de l'intersection. Pour cela, on réunit non pas directementAetB,mais deuxensembles disjoints,copies deAetBde la forme { α } ×Aet { β } ×B,où α et β sont deux symboles quelconques distincts servant à identifier les ensemblesAetB(par exemple 0 et 1) et × désigne leproduit cartésien.
L'union disjointe, encore appelée « somme disjointe » ou « somme cartésienne », de deux ensemblesAetBest ainsi définie par:
- Exemples
-
- SoientAlapaire{1, 2} etBl'ensemble à trois éléments {2, 3, 4}. Leur réunion (ordinaire) n'a que quatre éléments car ces deux ensembles ne sont pas disjoints. Pour construire leur union disjointe, on commence par les « numéroter » par deux « indices » distincts arbitrairesaetb:on poseI= {a,b},Ea= AetEb= B.Puis on prend la réunion de deux « copies » deAetBqui, elles, sont disjointes: {a}×Aet {b}×B.La réunion disjointe de (Ei)i∈Iest la partiede {a,b}×{1, 2, 3, 4}. Elle a 2 + 3 = 5 éléments.
- De même, l'union disjointe de la paire {1, 2} avec elle-même est (en choisissant arbitrairement deux indices distincts, par exemple cette fois: 0 et 1):
Union disjointe d'une famille finie ou dénombrable d'ensembles
[modifier|modifier le code]La somme disjointe peut se généraliser à plus de deux ensembles. Par exemple, pour trois ensembles quelconquesA,BetC:
On peut définir plus généralement la somme disjointe denensemblesquelconques:
On peut également généraliser cette notion à des ensembles quelconques (non nécessairement finis) d'indices, et former par exemple des unions disjointesdénombrables.
- Exemple
Union disjointe d'une famille quelconque d'ensembles
[modifier|modifier le code]Pour toutefamille (Ei)i∈Id'ensembles,les ensembles produits {i}×Ei(iparcourant l'ensembleIdes indices de la famille) sont disjoints deux à deux. La réunion disjointe ∐i∈IEidesEiest, par définition, laréunion (ordinaire)de ces ensembles disjoints. Formellement:
Il s'agit bien d'un ensemble car, vue sa définition, ∐i∈IEipeut se décrireen compréhensioncomme une partie deI×E,le produit cartésien deIpar la réunion (ordinaire)EdesEi.
La définition de la somme disjointe souffre d'un arbitraire inessentiel. On peut définir la somme disjointe comme étant la réunionou bien[1].Ces deux possibilités correspondent respectivement à un marquage « à droite » ou « à gauche » des éléments de la réunion ordinaireE,selon l'indice associé à l'ensemble dont ils proviennent. Dans les deux cas, il existe unesurjectionde la somme disjointe sur la réunion, qui est unebijectionsi les ensembles de la famille (Ei)i∈Isont disjoints deux à deux.
On peut remarquer que la somme disjointe de deux ensembles vérifie la propriété fondamentale descouples.De plus, contrairement aux couples de Kuratowski, cette notion, qui n'utilise que des opérations ensemblistes élémentaires, peut s'appliquer auxclasses propres.C'est pourquoi les sommes disjointes sont parfois appeléescouples généralisés,et utilisées ainsi enthéorie des classes.
Réunion disjointe d'espaces topologiques
[modifier|modifier le code]Dans la définition ci-dessus, si chaqueEiest unespace topologique,on dispose d'une topologie naturelle sur ∐i∈IEi,dont lesouvertssont les réunions disjointes ∐i∈IUioù chaqueUiest un ouvert deEi.
Cette construction, appeléesomme topologique,joue le rôle de somme dans lacatégorie des espaces topologiques.Alliée avec l'espace quotient,elle permet de construire de nombreux espaces, notamment lesvariétés topologiqueset lescomplexes cellulairesousimpliciaux.
Notes et références
[modifier|modifier le code]- Cet article est partiellement ou en totalité issu de l'article intitulé «Produit cartésien»(voirla liste des auteurs).
- N. Bourbaki,Théorie des ensembles,1970, p. II.30, donne la première de ces deux définition, mais il utilise la seconde dansAlgèbre, chapitres 1 à 3,1970, p. I.80.
Voir aussi
[modifier|modifier le code]Multiensemble:généralisation de la notion d'ensemble, où l'on permet plusieurs occurrences (indiscernables) d'un même élément; l'union de deux multiensembles ayant des éléments communs n’amène pas à les disjoindre comme ci-dessus mais à cumuler les nombres d'occurrences de chaque élément.