Aller au contenu

« Réunion disjointe » : différence entre les versions

Un article de Wikipédia, l'encyclopédie libre.
Contenu supprimé Contenu ajouté
Glag9 (discuter | contributions)
Fonctionnalité de suggestions de liens : 2 liens ajoutés.
m Remplacement de {{Lien}} par un lien interne, suite à la création de l'article correspondant
 
Ligne 35 : Ligne 35 :
Dans la définition ci-dessus, si chaque ''E{{ind|i}}'' est un [[espace topologique]], on dispose d'une topologie naturelle sur ∐{{ind|''i''∈''I''}} ''E{{ind|i}}'', dont les [[Ouvert (topologie)|ouverts]] sont les réunions disjointes ∐{{ind|''i''∈''I''}} ''U{{ind|i}}'' où chaque ''U{{ind|i}}'' est un ouvert de ''E{{ind|i}}''.
Dans la définition ci-dessus, si chaque ''E{{ind|i}}'' est un [[espace topologique]], on dispose d'une topologie naturelle sur ∐{{ind|''i''∈''I''}} ''E{{ind|i}}'', dont les [[Ouvert (topologie)|ouverts]] sont les réunions disjointes ∐{{ind|''i''∈''I''}} ''U{{ind|i}}'' où chaque ''U{{ind|i}}'' est un ouvert de ''E{{ind|i}}''.


Cette construction, appelée {{Lien|trad=Disjoint union (topology)|somme topologique}}, joue le rôle de somme dans la [[catégorie des espaces topologiques]]. Alliée avec l'[[Topologie quotient|espace quotient]], elle permet de construire de nombreux espaces, notamment les [[variété (géométrie)|variétés topologiques]] et les [[CW-complexe|complexes cellulaires]] ou [[complexe simplicial|simpliciaux]].
Cette construction, appelée [[somme topologique]], joue le rôle de somme dans la [[catégorie des espaces topologiques]]. Alliée avec l'[[Topologie quotient|espace quotient]], elle permet de construire de nombreux espaces, notamment les [[variété (géométrie)|variétés topologiques]] et les [[CW-complexe|complexes cellulaires]] ou [[complexe simplicial|simpliciaux]].


== Notes et références ==
== Notes et références ==

Dernière version du 25 août 2024 à 06:50

En mathématiques, la réunion disjointe est une opération ensembliste. Contrairement à l'union usuelle, le cardinal d'une union disjointe d'ensembles est toujours égal à la somme de leurs cardinaux. L'union disjointe d'une famille d'ensembles correspond à leur somme en théorie des catégories, c'est pourquoi on l'appelle aussi somme disjointe. C’est une opération fréquente en topologie et en informatique théorique.

Union disjointe de deux ensembles

[modifier | modifier le code]

Dans une réunion AB de 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 directement A et B, mais deux ensembles disjoints, copies de A et B de la forme  { α } × A  et  { β } × B , où α et β sont deux symboles quelconques distincts servant à identifier les ensembles A et B (par exemple 0 et 1) et × désigne le produit cartésien.

L'union disjointe, encore appelée « somme disjointe » ou « somme cartésienne », de deux ensembles A et B est ainsi définie par :

Exemples
  • Soient A la paire {1, 2} et B l'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 arbitraires a et b : on pose I = {a, b}, Ea = A et Eb = B. Puis on prend la réunion de deux « copies » de A et B qui, elles, sont disjointes : {aA et {bB. La réunion disjointe de (Ei)iI est 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 quelconques A, B et C:

On peut définir plus généralement la somme disjointe de n ensembles quelconques :

On peut également généraliser cette notion à des ensembles quelconques (non nécessairement finis) d'indices, et former par exemple des unions disjointes dénombrables.

Exemple

Union disjointe d'une famille quelconque d'ensembles

[modifier | modifier le code]

Pour toute famille (Ei)iI d'ensembles, les ensembles produits {iEi (i parcourant l'ensemble I des indices de la famille) sont disjoints deux à deux. La réunion disjointe ∐iI Ei des Ei est, par définition, la réunion (ordinaire) de ces ensembles disjoints. Formellement :

Il s'agit bien d'un ensemble car, vue sa définition, ∐iI Ei peut se décrire en compréhension comme une partie de I×E, le produit cartésien de I par la réunion (ordinaire) E des Ei.

La définition de la somme disjointe souffre d'un arbitraire inessentiel. On peut définir la somme disjointe comme étant la réunion ou bien [1]. Ces deux possibilités correspondent respectivement à un marquage « à droite » ou « à gauche » des éléments de la réunion ordinaire E, selon l'indice associé à l'ensemble dont ils proviennent. Dans les deux cas, il existe une surjection de la somme disjointe sur la réunion, qui est une bijection si les ensembles de la famille (Ei)iI sont disjoints deux à deux.

On peut remarquer que la somme disjointe de deux ensembles vérifie la propriété fondamentale des couples. De plus, contrairement aux couples de Kuratowski, cette notion, qui n'utilise que des opérations ensemblistes élémentaires, peut s'appliquer aux classes propres. C'est pourquoi les sommes disjointes sont parfois appelées couples généralisés, et utilisées ainsi en théorie des classes.

Réunion disjointe d'espaces topologiques

[modifier | modifier le code]

Dans la définition ci-dessus, si chaque Ei est un espace topologique, on dispose d'une topologie naturelle sur ∐iI Ei, dont les ouverts sont les réunions disjointes ∐iI Ui où chaque Ui est un ouvert de Ei.

Cette construction, appelée somme topologique, joue le rôle de somme dans la catégorie des espaces topologiques. Alliée avec l'espace quotient, elle permet de construire de nombreux espaces, notamment les variétés topologiques et les complexes cellulaires ou simpliciaux.

Notes et références

[modifier | modifier le code]
  1. N. Bourbaki, Théorie des ensembles, 1970, p. II.30, donne la première de ces deux définition, mais il utilise la seconde dans Algèbre, chapitres 1 à 3, 1970, p. I.80.

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.