Conteúdo
Vamos provar o exercício 24: que A está contido em A ∪ B, para qualquer conjunto A.
Primeiro, lembra qual é a definição de "estar contido". A está contido em A ∪ B se, e somente se, para todo elemento x, se x pertence a A, então x pertence a A ∪ B.
![]()
Vamos chamar essa definição de (1). E a gente também sabe, por definição de união, que A ∪ B é o conjunto dos elementos x tais que x pertence a A ou x pertence a B.
![]()
Vamos chamar essa de (2). Agora, para provar a propriedade, a gente pega um elemento y qualquer, supondo que esse y pertence a A.
![]()
Como y pertence a A, então, por definição de união, que é a (2), y também pertence a A ∪ B — afinal, para estar na união basta pertencer a A ou a B, e aqui já vale a primeira parte.
![]()
E isso é exatamente o que a definição (1) pede: que todo elemento de A também seja elemento de A ∪ B. Então fica provado que A está contido em A ∪ B, para qualquer conjunto A.
Ainda não é membro? Registrar agora
Já se cadastrou? Fala login
Me conte qual é o erro e eu corrijo. Escreva para contato@estudoemserie.com.br, citando o exercício — ou use um dos atalhos abaixo, que já vão preenchidos.