Propriedades

das operações
sobre
conjuntos
Inclusão

Teorema
 
Dados dois conjuntos e , tem-se que:
 
 se e somente se .
 
 se e somente se .

Estas propriedades facilmente se

compreendem por observação de um
diagrama de Venn.

As propriedades acima podem ser demonstradas através da definição de

inclusão de conjuntos e das propriedades das operações lógicas estudadas
em anos anteriores.
Inclusão

Demonstração
 
Provemos que se e somente se .
 
Comecemos por provar que é equivalente a , utilizando uma tabela de
verdade:

V V V V V
V F F F F
F V V F V
F F V F V
 
As colunas correspondentes às proposições e são iguais, logo é
equivalente a .
 
e são conjuntos tais que , ou seja, por definição, , o que vimos ser
equivalente a .
Pelas definições de interseção e de igualdade de conjuntos, tem-se que
  .
Inclusão
 
Provemos agora que se e somente se .
 
Comecemos por provar que é equivalente a .

V V V V V
V F F V F
F V V V V
F F V F V
 
As colunas correspondentes às proposições e são iguais, logo é
equivalente a .
 
e são conjuntos tais que , ou seja, por definição, , o que é equivalente a ,.

Pelas definições de reunião e de igualdade de conjuntos, resulta que

  .
Inclusão

Nota:
 
Um caso particular do teorema anterior acontece quando .
 
Nesse caso, porque , obtém-se:
 
 ;
 
 .
Inclusão

Teorema
 
O conjunto vazio está contido em qualquer conjunto , ou seja, .

 
De facto, se tal não fosse verdade, existiria um elemento tal que , o que é
impossível.

Nota:
 
Conciliando os dois teoremas, como o conjunto vazio está contido em
qualquer conjunto , tem-se que:
 
 ;
 
 .
Inclusão

Teorema
 
Dados dois subconjuntos e de um conjunto , tem-se que:
 
se e somente se .

Este resultado compreende-se facilmente por observação dos seguintes

diagramas de Venn.

 𝐴 ⊂ 𝐵 ´
 ´ ⊂ 𝐴
𝐵
Interseção e reunião
 
Consideremos , e três conjuntos de um universo .
Tem-se que:

 Propriedade comutativa

Interseção Reunião
   

 Propriedade associativa

Interseção Reunião
  ( 𝐴 ∪ 𝐵 ) ∪𝐶 =𝐴 ∪ ( 𝐵 ∪𝐶 )
 
Interseção e reunião

 Existência de elemento neutro

Interseção Reunião
   
é o elemento neutro da interseção é o elemento neutro da reunião

 Existência de elemento absorvente

Interseção Reunião
   
é o elemento absorvente da é o elemento absorvente da reunião
interseção
Interseção e reunião

 Idempotência

Interseção Reunião
   

 Distributividade da interseção em relação à reunião

 
𝐴 ∩( 𝐵 ∪ 𝐶 )=( 𝐴 ∩ 𝐵 )∪ ( 𝐴 ∩ 𝐶 )
 Distributividade da reunião em relação à interseção
 
𝐴 ∪( 𝐵 ∩ 𝐶 )=( 𝐴 ∪ 𝐵 )∩ ( 𝐴 ∪ 𝐶 )
 Leis de De Morgan para conjuntos
  ´ 𝐵= 𝐴
𝐴∩ ´ ∪𝐵
´   ´ 𝐵= 𝐴
𝐴∪ ´ ∩𝐵
´
Exercício
 
Sejam e dois conjuntos de um universo . Mostra que:
 
a)
 
b)
 
c)

Sugestão de resolução:
 
a) ´ )  c)
¿  ( 𝐴 ∩ 𝐵 ) ∪ ( 𝐴 ∩ 𝐴 ´
¿  𝐴 ∩( 𝐵 ∪ 𝐵)
¿  ( 𝐴 ∩ 𝐵 ) ∪ ∅ ¿  𝐴 ∩𝑈
¿  𝑨 ∩ 𝑩 ¿  𝑨
  ´ ∩( 𝐴 ∩´ 𝐵)
b) ¿  𝐴
´ ∪𝐵
¿  𝐴 ∩ ( 𝐴 ´)
´ ) ∪( 𝐴 ∩ 𝐵
¿  ( 𝐴 ∩ 𝐴 ´)
´)
¿  ∅ ∪ ( 𝐴 ∩ 𝐵
´
¿  𝐴 ∩ 𝐵
 ¿ 𝑨¿
Interseção e reunião

Recorda:
 
Dados os conjuntos e , chama-se produto cartesiano de por ao conjunto
dos pares ordenados tais que e pertencem, respetivamente, a e a .

 
Representa-se por .
Interseção e reunião

Teorema
 
Dados os conjuntos , e , tem-se que:
 
 ;
 
 .

Demonstração
  ¿  { ( 𝑥 , 𝑦 ) : 𝑥 ∈ 𝐴 ∪ 𝐵 ∧ 𝑦 ∈𝐶 }

¿  { ( 𝑥 , 𝑦 ) : ( 𝑥 ∈ 𝐴 ∨ 𝑥 ∈ 𝐵 ) ∧ 𝑦 ∈𝐶 }
¿  { ( 𝑥 , 𝑦 ) : ( 𝑥 ∈ 𝐴 ∧ 𝑦 ∈ 𝐶 ) ∨ ( 𝑥 ∈ 𝐵∧ 𝑦 ∈ 𝐶 ) }
¿  { ( 𝑥 , 𝑦 ) : 𝑥 ∈ 𝐴 ∧ 𝑦 ∈ 𝐶 } ∪ { ( 𝑥 , 𝑦 ) : 𝑥 ∈ 𝐵 ∧ 𝑦 ∈𝐶 }
¿  ( 𝐴 ×𝐶 ) ∪( 𝐵× 𝐶)
Interseção e reunião
  ×( 𝐴 ∪ 𝐵)¿  { ( 𝑥 , 𝑦 ) : 𝑥 ∈𝐶 ∧ 𝑦 ∈ 𝐴 ∪ 𝐵 }
𝐶
¿  { ( 𝑥 , 𝑦 ) : 𝑥 ∈𝐶 ∧ ( 𝑦 ∈ 𝐴 ∨ 𝑦 ∈ 𝐵 ) }
¿  { ( 𝑥 , 𝑦 ) : ( 𝑥 ∈𝐶 ∧ 𝑦 ∈ 𝐴 ) ∨ ( 𝑥 ∈ 𝐶 ∧ 𝑦 ∈ 𝐵 ) }
¿  { ( 𝑥 , 𝑦 ) : 𝑥 ∈𝐶 ∧ 𝑦 ∈ 𝐴 } ∪ { ( 𝑥 , 𝑦 ) : 𝑥 ∈ 𝐶 ∧ 𝑦 ∈ 𝐵 }
¿  ( 𝐶 × 𝐴 ) ∪(𝐶 × 𝐵)