ALEGRIA FINANCEIRA FUNDAMENTAL MDIO GEOMETRIA TRIGONOMETRIA CLCULOS SUPERIOR

ENSINO SUPERIOR :: ANLISE NA RETA: EXERCCIOS DE TEORIA DOS CONJUNTOS

Desvia de ti a falsidade da boca, e afasta de ti a perversidade dos lbios. Bblia Sagrada: Provrbios 4:24
Apresentamos aqui alguns exerccios resolvidos sobre a Teoria de Conjuntos. Tais
exerccios so utilizados estudo de Anlise na reta, embora devessem estar em algum
tpico relacionado com a Teoria dos Conjuntos.
Provar que se A , isto , A um subconjunto do conjunto vazio, ento A=.
Dem: O conjunto vazio um subconjunto de todo conjunto e em particular A.
Por hiptese, A , pois A um subconjunto do conjunto vazio.
Como A e A, por definio de igualdade de conjuntos, segue que A=.
1.
Provar que A B=B A (Comutatividade).
Dem: Seja y(A B). Ento yA ou yB. Pela equivalncia lgica pq qp segue
que yB ou yA. Logo yB A. Conclui-se que A B=B A.
2.
Provar que A B=B A (Comutatividade).
Dem: Seja x(A B). Ento xA e xB. Pela equivalncia lgica pq qp segue
que xB e xA. Logo xB A. Conclui-se que A B=B A.
3.
Provar que A e B so subconjuntos de A B.
Para a prova, deve-se demonstrar as incluses: (a) A (A B) e (b) B (A B).
Dem de a: Seja xA. Pela implicao lgica p pq segue que xA ou xB. Logo
xA B e segue que A (A B).
Dem de b: Se xB, ento pela implicao lgica q pq segue que xB ou xA.
Logo xB A.
Como a reunio de conjuntos comutativa, segue que xA B, logo B (A B).
Portanto A e B so subconjuntos de A B.
4.
Provar que A=A A (Idempotncia).
Deve-se mostrar que: (a) A (A A) e (b) (A A) A.
Dem de a: Como A (A B), tomando B=A segue que A (A A).
Dem de b: Seja xA A. Segue que xA ou xA.
Pela implicao lgica pp p segue que xA. Logo, (A A) A.
5.
MAPA DO SITE
Matematica Essencial: Superior: Analise na Reta: Exercicios de Conjuntos http://www.uel.br/projetos/matessencial/superior/analise/conjuntos.htm
1 de 7 23/7/2014 19:47
Como A (A A) e (A A) A, ento pela definio de igualdade de conjuntos,
conclui-se que A=A A.
Provar que U A=U.
Deve-se mostrar que (a) U (U A) e (b) (U A) U.
Dem de a: Como A (A B). Tomando A=U e B=A segue que U (U A).
Dem de b: Se yU A, ento yU ou yA, logo yU, pois todo conjunto um
subconjunto do conjunto universo.
Ento, (U A) U. Conclui-se que U A=U.
6.
Provar que A =A (Identidade com respeito reunio).
Deve-se mostrar que (a) (A ) A e (b) A ( A ).
Dem de a: Se xA , segue que xA ou x. Pela definio de conjunto vazio,
segue que xA, logo (A ) A.
Dem de b: Como A (A B). Tomando B= segue que A (A ).
Como (A ) A e A ( A ), pela definio de igualdade de conjuntos, conclui-se
ento que A =A.
7.
Provar que se A B= ento A= e B=.
Dem: Sabe-se que A (A B). Por hiptese A B=, logo A . Como o conjunto
vazio um subconjunto de todo conjunto, segue que A. Pela definio de
igualdade de conjuntos A=. Analogamente mostra-se que B=.
Portanto, se A B= ento A= e B=.
8.
Provar que (A B) um subconjunto de A e de B.
Deve-se provar que (A B) A e (b) (A B) B.
Dem de a: Se x(A B), ento xA e xB. Em particular, xA. Logo (A B) A.
Dem de b: Se y(A B), ento, yA e yB. Em particular, yB. Logo (A B) B.
Conclui-se que (A B) um subconjunto de A e de B.
9.
Provar que A A=A (Idempotncia).
Deve-se mostrar que (a) (A A) A e (b) A (A A).
Dem de a: Como (A B) A. Tomando B=A segue que (A A) A.
10.
Matematica Essencial: Superior: Analise na Reta: Exercicios de Conjuntos http://www.uel.br/projetos/matessencial/superior/analise/conjuntos.htm
2 de 7 23/7/2014 19:47
Dem de b: Se xA, ento xA e xA, logo x(A A), assim A (A A).
Conclui-se ento que A A=A.
Provar que U A=A (Identidade com respeito interseo).
Deve-se demonstrar que: (a) (U A) A e (b) A (U A).
Dem de a: Como (A B) B, tomando A=U e B=A segue que (U A) A.
Dem de b: Se xA, ento xU, pois o conjunto U representa o conjunto universo.
Assim xU e xA. Logo x(U A). Portanto A (U A).
Conclui-se ento que U A=A.
11.
Provar que A =.
Deve-se mostrar que: (a) (A ) e (b) (A ).
Dem de a: Como (A B) B, ento tomando B= segue que (A ) .
Dem de b: Como o conjunto vazio um subconjunto de todo conjunto, segue que
(A ).
Conclui-se que A =.
12.
Provar que (AB) A.
Dem: Se y(AB), ento yA e y B, logo yA. Conclui-se ento que (AB) A.
13.
Provar que (AB) B=.
Dem: Por reduo ao absurdo. Nega-se a tese, aceita-se a hiptese para obter
uma contradio.
Se (AB) B # , ento existe p(AB) B. Assim, p(AB) e pB, isto , (pA e
p B) e pB. Pela equivalncia lgica (pq)r p(qr) segue que pA e (p B e
pB), o que uma contradio.
Conclui-se ento que (AB) B=.
14.
Provar a lei de De Morgan (A B)
c
=A
c
B
c
.
Deve-se mostrar que: (a) (A B)
c
A
c
B
c
e (b) A
c
B
c
(A B)
c
.
Dem de a: Se x(A B)
c
ento x (A B). Assim, x A e x B, isto , xA
c
e xB
c
.
Disto segue que xA
c
B
c
. Logo (A B)
c
A
c
B
c
.
15.
Matematica Essencial: Superior: Analise na Reta: Exercicios de Conjuntos http://www.uel.br/projetos/matessencial/superior/analise/conjuntos.htm
3 de 7 23/7/2014 19:47
Dem de b: Se yA
c
B
c
ento yA
c
e yB
c
. Assim, y A e y B. Disto segue que
y (A B), ou seja, y(A B)
c
. Logo A
c
B
c
(A B)
c
Conclui-se que (A B)
c
=A
c
B
c
.
Provar a lei de De Morgan (A B)
c
=A
c
B
c
.
Deve-se mostrar que (a) (A B)
c
A
c
B
c
e (b) A
c
B
c
(A B)
c
.
Dem de a: Se x(A B)
c
ento x (A B). Logo, x A ou x B, isto , xA
c
ou xB
c
.
Disto segue que xA
c
B
c
. Assim, (A B)
c
A
c
B
c
.
Dem de b: Se yA
c
B
c
ento yA
c
ou yB
c
. Assim, y A ou y B. Segue que
y (A B), ou seja, y(A B)
c
. Logo A
c
B
c
(A B)
c
.
Conclui-se ento que (A B)
c
=A
c
B
c
.
16.
Provar a proposio de De Morgan (A B C)
c
=A
c
B
c
C
c
.
Deve-se mostrar que: (a) (A B C)
c
A
c
B
c
C
c
e (b) A
c
B
c
C
c
(A B C)
c
.
Dem de a: Se x(A B C)
c
, ento x (A B C). Desse modo, x A ou x B ou x C,
isto , xA
c
ou xB
c
ou xC
c
. Assim xA
c
B
c
C
c
. Logo (A B C)
c
A
c
B
c
C
c
.
Dem de b: Se yA
c
B
c
C
c
, ento yA
c
ou yB
c
ou yC
c
. Assim, y A ou y B ou
y C. Segue que y (A B C), ou seja, y(A B C)
c
. Logo A
c
B
c
C
c
(A B C)
c
.
Conclui-se ento que (A B C)
c
=A
c
B
c
C
c
.
Dem. alternativa: Como (A B)
c
A
c
B
c
, ento tomando X=A B, segue que
(A B C)
c
=(X C)
c
=X
c
C
c
=(A B)
c
C
c
=(A
c
B
c
) C
c
=A
c
B
c
C
c
17.
Provar a proposio de De Morgan (A B C)
c
=A
c
B
c
C
c
.
Deve-se mostrar que: (a) (A B C)
c
A
c
B
c
C
c
e (b) A
c
B
c
C
c
(A B C)
c
.
Dem de a: Se x(A B C)
c
, ento x (A B C). Desse modo, x A e x B e x C,
isto , xA
c
e xB
c
e xC
c
. Segue que xA
c
B
c
C
c
. Logo (A B C)
c
A
c
B
c
C
c
.
Dem de b: Se yA
c
B
c
C
c
, ento yA
c
e yB
c
e yC
c
, isto , y A e y B e y C.
Assim y (A B C), ou seja, y(A B C)
c
. Logo A
c
B
c
C
c
(A B C)
c
.
Conclui-se que (A B C)
c
=A
c
B
c
C
c
.
18.
Matematica Essencial: Superior: Analise na Reta: Exercicios de Conjuntos http://www.uel.br/projetos/matessencial/superior/analise/conjuntos.htm
4 de 7 23/7/2014 19:47
Dem. alternativa: Como A
c
B
c
(A B)
c
, tomando Y=A B, segue que
(A B C)
c
=(Y C)
c
=Y
c
C
c
=(A B)
c
C
c
=(A
c
B
c
) C
c
=A
c
B
c
C
c
Provar que A (B C)=(A B) C (Associatividade).
Dem: Se xA (B C), ento xA ou x(B C). Desse modo, xA ou (xB ou xC).
Pela equivalncia lgica p(qr) (pq)r segue que (xA ou xB) ou xC. Logo,
x(A B) ou xC, isto , x(A B) C.
Conclui-se que A (B C)=(A B) C.
19.
Provar que A (B C)=(A B) C (Associatividade).
Dem: Se xA (B C), ento xA e x(B C). Desse modo, xA e (xB e xC).
Pela equivalncia lgica p(qr) (pq)r segue que (xA e xB) e xC. Logo,
x(A B) e xC, isto , x(A B) C.
Conclui-se ento que A (B C)=(A B) C.
20.
Provar que A (A B)=A (Lei de Absoro).
Deve-se mostrar que: (a) A (A B) A e (b) A A (A B).
Dem de a: Se xA (A B), ento xA ou xA B. Mas A B A, assim se xA B
ento xA. Desse modo, xA ou xA. Logo, xA. Portanto, A (A B) A .
Dem de b: Esta demonstrao segue direto de A (A B) com B=(A B).
Conclui-se ento que A (A B)=A.
21.
Provar que A (A B)=A.
Deve-se mostrar que: (a) A (A B) A e (b) A A (A B).
Dem de a: A demonstrao segue direto de (A B) A, tomando B=(A B).
Dem de b: Seja xA. Como A A B, segue que xA B. Assim xA e xA B.
Logo, xA (A B). Portanto, A A (A B).
Conclui-se ento que A (A B)=A.
22.
Provar que A (B C)=(A B) (A C) (Distributividade).
Dem: Se xA (B C), ento xA ou x(B C). Desse modo, xA ou (xB e xC).
Pela equivalncia lgica p(qr) (pq)(pr) segue que (xA ou xB) e (xA ou
23.
Matematica Essencial: Superior: Analise na Reta: Exercicios de Conjuntos http://www.uel.br/projetos/matessencial/superior/analise/conjuntos.htm
5 de 7 23/7/2014 19:47
xC). Logo, x(A B) e x(A C), isto , x(A B) (A C).
Conclui-se ento que A (B C)=(A B) (A C).
Provar que A (B C)=(A B) (A C) (Distributividade).
Dem: Se xA (B C), segue que xA e x(B C). Desse modo, xA e (xB ou
xC).
Pela equivalncia lgica p(qr) (pq)(pr) segue que (xA e xB) ou (xA e
xC). Logo, x(A B) ou x(A C), isto , x(A B) (A C).
Conclui-se ento que A (B C)=(A B) (A C).
24.
Provar que (AB) (BA)=.
Deve-se mostrar que: (a) (AB) (BA) e (b) (AB) (BA).
Dem de a: Se x(AB) (BA), ento x(AB) e x(BA), ou seja, xA e x B e xB
e x A. Assim, xA e x A e xB e x B. No existe qualquer elemento que satisfaa
xA e x A. Tambm no existe qualquer elemento que satisfaa xB e x B ao
mesmo tempo, logo, (AB) (BA) .
Dem de b: (AB) (BA) uma propriedade trivial, pois o conjunto vazio um
subconjunto de todo conjunto.
Logo conclui-se que (AB) (BA)=.
25.
Demonstrar que se S U, ento US=U S
c
.
Mostraremos que: (a) US U S
c
e (b) U S
c
US.
Dem de a: Se xUS, ento xU e x S. Como S U, por definio, xS
c
. Mas
S
c
=S
c
U e disto segue que xS
c
U. De fato, S
c
U=U S
c
, assim xU S
c
.
Portanto, US U S
c
.
Dem de b: Se xU S
c
, ento xU e xS
c
. Como S U, segue que xU e x S.
Desse modo, por definio, xUS. Logo, U S
c
US.
Conclui-se ento que US=U S
c
.
26.
Se A e B so conjuntos tal que A B, ento A=(AB) (B A).
Dem: Se A B ento AB=A B
c
. Alm disso, B A=A B. Logo A=(AB) (B A),
pois
(AB) (B A)=(A B
c
) (A B)=A (B
c
B)=A U=A
27.
Matematica Essencial: Superior: Analise na Reta: Exercicios de Conjuntos http://www.uel.br/projetos/matessencial/superior/analise/conjuntos.htm
6 de 7 23/7/2014 19:47
Sejam A e B conjuntos. Demonstrar que so equivalentes as seguintes
afirmaes:
(a) A B, (b) A=A B, (c) B=A B.
Dem que (a) implica (b), isto , se A B ento A=A B.
Para mostrar que A=A B, devemos mostrar que A A B e que A B A.
Se xA, por hiptese, A B e disto segue que xB. Ento xA e xB, ento xA B
e conclumos que a incluso A B implica que A A B.
Como (A B) A, segue que A B A. Assim, como A A B e A B A, segue que
A=A B, logo A B implica que A=A B.
Dem que (b) implica (c), segue que A=A B implica que B=A B.
Vamos assumir a hiptese: A=A B.
Para mostrar que B=A B, devemos mostrar que B A B e A B B.
Como mostrado entes, temos que B A B.
Se xA B, ento, xA ou xB. Por hiptese, A=A B. Disto segue que xA B ou
xB. Logo, xB. Portanto, A B B. Assim, como B A B e A B B, segue que
B=A B.
Portanto, A=A B implica que B=A B.
Dem (c) implica (a), segue que B=A B implica que A B.
Se xA, ento xA ou xB, isto , xA B.
Como por hiptese A B=B, ento xB, logo B=A B implica que A B.
Como A B implica que A=A B, A=A B implica que B=A B e B=A B implica que
A B, conclumos que as trs afirmaes so equivalentes.
28.
Construda por Maringela Gallo, Thiago Batista, Carolina Gonalves, Bruno Teixeira e Ulysses Sodr.
Home-page atualizada em 17/nov/2006.
Matematica Essencial: Superior: Analise na Reta: Exercicios de Conjuntos http://www.uel.br/projetos/matessencial/superior/analise/conjuntos.htm
7 de 7 23/7/2014 19:47