Lista 3’ - Bases Matemáticas (Última versão: 18/6/2017 - 12:40)

Conjuntos

Exercı́cios Resolvidos

1 — Mostre que, ∀ A, B, C

A ∩ (B ∪ C) = ( A ∩ B) ∪ ( A ∩ C)

Solução:

B Observe primeiro que se trata de uma igualdade de conjuntos. Para provar uma igualdade
de conjuntos X = Y , devemos mostrar, separadamente, as inclusões X ⊂ Y e Y ⊂ X. E para
provar uma inclusão do tipo X ⊂ Y , toma-se um elemento z ∈ X e mostra-se que z ∈ Y .

B B Comecemos com a inclusão

A ∩ (B ∪ C) ⊂ ( A ∩ B) ∪ ( A ∩ C).

Dado x ∈ A ∩ (B ∪ C), tem-se, pelo significado de intersecção, que x ∈ A e x ∈ (B ∪ C). Guar-

demos que x ∈ A. Como x ∈ B ∪ C, temos, pelo significado de união, que x ∈ B ou x ∈ C. No
caso em que x ∈ B, sabendo que x ∈ A, resulta x ∈ A ∩ B; no caso em que x ∈ C, ainda sabendo
que x ∈ A, resulta x ∈ A ∩ C. Como vale um ou outro, temos que x ∈ ( A ∩ B) ou x ∈ ( A ∩ C),
ou seja, x ∈ ( A ∩ B) ∪ ( A ∩ C).

B B Consideremos agora a outra inclusão

( A ∩ B) ∪ ( A ∩ C) ⊂ A ∩ (B ∪ C).

Dado x ∈ ( A ∩ B) ∪ ( A ∩ C), temos, novamente pelo significado de união, que x ∈ ( A ∩ B) ou

x ∈ ( A ∩ C). Em qualquer um dos casos, pelo significado de intersecção, temos que x ∈ A.
Guardemos essa informação por enquanto. Por outro lado, se x ∈ A ∩ B, então x ∈ B, enquanto
que se x ∈ A ∩ C, então x ∈ C. Assim, x ∈ B ou x ∈ C, ou seja, x ∈ B ∪ C. Juntando as
duas informações, que valem em conjunção, temos que x ∈ A e x ∈ B∪C, ou seja, x ∈ A∩(B∪C).

B Em conclusão, como provamos as duas inclusões, foi provada a igualdade acima formulada.

2 — Prove que ∀ A, B,

A ∩ B = A ∪ B se e somente se A = B

Solução:

B Notamos que se trata de uma bi-implicação, isto é, de uma equivalência lógica. Uma tal
proposição corresponde a duas implicações e ambas devem ser provadas. Em outras palavras,
para provar uma bi-implicação da forma p ⇔ q, devemos provar as implicações (independentes)
p ⇒ q e q ⇒ p.

B B Comecemos (é indiferente a ordem) com a mais simples:

A= B ⇒ A∩ B = A∪ B

Sendo A = B, resulta claramente A ∩ B = A (ou B, tanto faz), assim como A ∪ B = A (ou B),
logo A ∩ B = A ∪ B.

B B Provemos agora que

A∩ B = A∪ B ⇒ A= B
Comecemos com a inclusão A ⊂ B. Se x ∈ A, então x ∈ A ∪ B. Como A ∪ B = A ∩ B, temos
que x ∈ A ∩ B, ou seja, x ∈ B. Logo, A ⊂ B. A inclusão B ⊂ A é totalmente análoga.

Alternativa de demonstração desta última implicação (na verdade, trata-se da mesma ideia,
mas escrita de forma levemente diferente). Ela se baseia nas propriedades elementares dos
conjuntos: X ⊂ X ∪ Y e X ∩ Y ⊂ X (veja Exercı́cio 10, itens 3 e 4). Assim, se A ∩ B = A ∪ B,
temos
A ⊂ A∪ B = A∩ B ⊂ B
donde A ⊂ B. Analogamente, prova-se a outra inclusão.

B Tendo provado as duas implicações (⇐ e ⇒), resulta demonstrada a proposição inicial.