Unione (insiemistica)

Questa voce o sezione sull'argomento matematica non cita le fonti necessarie o quelle presenti sono insufficienti.

Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti. Segui i suggerimenti del progetto di riferimento.

In matematica, e in particolare in teoria degli insiemi, esiste un'operazione detta unione (simbolo $\cup$ $\cup$ ) di insiemi. Dati due insiemi $A$ $A$ e $B$ $B$ , la loro unione è un insieme formato da tutti e soli gli elementi che appartengono:

al solo insieme $A$ $A$ ,
al solo insieme $B$ $B$ ,
a entrambi.

L'unione è una operazione binaria. Nell'algebra booleana corrisponde all'operatore OR; in logica, corrisponde alla disgiunzione.

Definizione[modifica | modifica wikitesto]

L'unione di due insiemi $A$ $A$ e $B$ $B$ si denota comunemente con $A\cup B$ $A\cup B$ . Si ha che $x$ $x$ è un elemento di $A\cup B$ $A\cup B$ se e solo se $x$ $x$ è un elemento di almeno uno degli insiemi $A$ $A$ e $B$ $B$ , in simboli:

(x \in A \cup B) \Leftrightarrow (x \in A \vee x \in B)

L'unione di due o più insiemi è detta disgiunta se gli insiemi, presi a due a due, hanno intersezione vuota. In generale, data una arbitraria famiglia $\{A_{\alpha },\,\alpha \in {\mathcal {I}}\}$ $\{A_\alpha,\,\alpha\in \mathcal{I}\}$ di insiemi, l'unione è definita come l'insieme $\displaystyle \bigcup _{\alpha \in {\mathcal {I}}}A_{\alpha }$ $\displaystyle \bigcup_{\alpha \in \mathcal{I}} A_\alpha$ a cui un elemento $x$ $x$ appartiene se e solo se appartiene ad almeno uno degli $A_{\alpha }$ $A_{\alpha }$ .

Esempi[modifica | modifica wikitesto]

Ad esempio si possono considerare due insiemi finiti, un insieme con un numero finito di elementi: $A=\{1,2,3\}$ $A = \{1, 2, 3\}$ e $B=\{2,3,4\}$ $B = \{2, 3, 4\}$ . In questo caso si ottiene l'unione prendendo gli elementi che appartengono ad almeno uno dei due insiemi: