Union (mathématiques)

Cet article est une ébauche concernant les mathématiques.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Dans la théorie des ensembles, l'union ou réunion^[1] est une opération ensembliste de base. En algèbre booléenne, l'union est associée à l'opérateur logique « ou inclusif » et est notée ∪.

Union de deux ensembles modifier

L'union de deux ensembles A et B est l'ensemble qui contient tous les éléments qui appartiennent à A ou appartiennent à B. On la note A ∪ B et on la dit « A union B »

Formellement :

x\in A\cup B\Leftrightarrow \left(x\in A\lor x\in B\right)

.

Par exemple l'union des ensembles A = {1, 2, 3} et B = {2, 3, 4} est l'ensemble {1, 2, 3, 4}.

Propriétés algébriques modifier

L'union est associative, c'est-à-dire que, pour des ensembles A, B et C quelconques, on a :
(A ∪ B) ∪ C = A ∪ (B ∪ C).
L'union est commutative, c'est-à-dire que, pour des ensembles A et B quelconques, on a :
A ∪ B = B ∪ A.
L'intersection est distributive sur l'union, c'est-à-dire que, pour des ensembles A, B et C quelconques, on a :
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C).
L'union est distributive sur l'intersection, c'est-à-dire que, pour des ensembles A, B et C quelconques, on a :
A ∪ (B ∩ C) = (A ∪B) ∩(A ∪ C).

Union d'une famille d'ensembles modifier

On généralise ce concept à un ensemble quelconque $X$ d'ensembles (non nécessairement réduit à une paire, ni même fini) : sa réunion, notée $\bigcup X$ , a pour éléments tous les $x$ pour lesquels il existe un $E\in X$ tel que $x\in E$ (si X est l'ensemble vide, cette réunion est donc vide^[2]). L'axiome de la réunion est l'affirmation que $\bigcup X$ est un ensemble^[3].

On peut alors définir la réunion d'une famille quelconque d'ensembles $(E_{i})_{i\in I}$ : c'est la réunion de l'ensemble $X=\{E_{i}|i\in I\}$ . Cette réunion notée $\bigcup _{i\in I}E_{i}$ est donc l'ensemble des éléments $x$ pour lesquels il existe un $i\in I$ tel que $x\in E_{i}$ . Formellement :

x\in \bigcup _{i\in I}E_{i}\Leftrightarrow (\exists i\in I,\ x\in E_{i})

.

La distributivité de l'intersection ci-dessus s'étend aux familles :

A\cap \left(\bigcup _{i\in I}E_{i}\right)=\bigcup _{i\in I}(A\cap E_{i})

.

Notes et références modifier

↑ Dans ce contexte, ces deux mots sont synonymes (cf. entrées union et réunion sur le portail lexical du CNRTL). Ils sont utilisés indifféremment, parfois dans un même ouvrage, comme S. Balac et L. Chupin, Analyse et algèbre : cours de mathématiques de deuxième année avec exercices corrigés et illustrations avec Maple, Lausanne, PPUR, 2008, 1035 p. (ISBN 978-2-88074-782-4, lire en ligne).
↑ Jean-Pierre Ramis, André Warusfel et al., Mathématiques Tout-en-un pour la Licence 1, Dunod, 2018, 3^e éd. (lire en ligne), p. 22.
↑ René Cori et Daniel Lascar, Logique mathématique II. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles [détail des éditions], p. 124 de l'édition de 1993.

Articles connexes modifier

Union disjointe
Algèbre des parties d'un ensemble
Diagramme de Venn
L'axiome de la réunion en théorie des ensembles

Portail des mathématiques

[1] Dans ce contexte, ces deux mots sont synonymes (cf. entrées union et réunion sur le portail lexical du CNRTL). Ils sont utilisés indifféremment, parfois dans un même ouvrage, comme S. Balac et L. Chupin, Analyse et algèbre : cours de mathématiques de deuxième année avec exercices corrigés et illustrations avec Maple, Lausanne, PPUR, 2008, 1035 p. (ISBN 978-2-88074-782-4, lire en ligne).

[2] Jean-Pierre Ramis, André Warusfel et al., Mathématiques Tout-en-un pour la Licence 1, Dunod, 2018, 3^e éd. (lire en ligne), p. 22.

[3] René Cori et Daniel Lascar, Logique mathématique II. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles [détail des éditions], p. 124 de l'édition de 1993.

[1]

[2]

[3]