A união de conjuntos, como o próprio nome sugere, é a criação de um novo conjunto com a união de todos os elementos de dois (ou mais) conjuntos. A união é denotada por $A \cup B$, aonde $A$ e $B$ são dois subconjuntos quaisquer de um conjunto universal $U$.
Em notação lógica: $A \cup B = \left \{x \in U / x \in A \: ou \: x \in B \right \}$.
Acerca desta operação cabem as seguintes propriedades:
$i.$ $A \cup A = A$ (Idempotência)
Demonstração: Seja $x$ tal que $x \in A \cup A$, então
$A \cup A$ $\Leftrightarrow$ $(x \in U / x \in (A \: ou A))$
$\Leftrightarrow$ $(x \in U / x \in A)$
$\Leftrightarrow A$
$ii.$ $A \cup B = B \cup A$ (Comutatividade)
Demonstração: Seja $x$ tal que $x \in A \cup B$, então
$A \cup B$ $\Leftrightarrow (x \in U / x \in (A \cup B))$
$\Leftrightarrow (x \in U / x \in A \: ou \: x \in B)$
$\Leftrightarrow $ $(x \in U / x \in B \: ou \: x \in A)$
$\Leftrightarrow $ $B \cup A$.
$iii.$ $(A \cup B) \cup C = A \cup (B \cup C) $ (Associatividade)
Demonstração: Seja $x$ tal que $x \in (A \cup B) \cup C = A \cup (B \cup C)$, então
$(A \cup B) \cup C \Leftrightarrow (x \in U/ (x \in A \: ou \: x \in B) \: ou \: x \in C)$
$\Leftrightarrow (x \in U/ x \in A \: ou \: (x \in B \: ou \: x \in C)$
$\Leftrightarrow A \cup (B \cup C)$
$iv.$ $A \cup \varnothing = A$ (Elemento neutro)
Demonstração: Seja $x$ tal que $x \in (A \cup \varnothing)$, então
$A \cup \varnothing$ $\Leftrightarrow (x \in U / x \in (A \cup \varnothing))$
$\Leftrightarrow (x \in U / x \in A \: ou \: x \in \varnothing)$
$\Leftrightarrow (x \in U / x \in A)$
$\Leftrightarrow A$
$v.$ $A \cup U = U$ (Elemento absorvente)
Demonstração: Seja $x$ tal que $x \in (A \cup U)$, então
$A \cup U$ $\Leftrightarrow (x \in U/ x \in (A \cup U))$
$\Leftrightarrow (x \in U/ x \in A \: ou \: x \in U)$
$\Leftrightarrow (x \in U/ x \in U)$
$\Leftrightarrow U$
0 comentários:
Postar um comentário