100%(1)100% нашли этот документ полезным (1 голос)
43 просмотров7 страниц
1) O documento apresenta exercícios resolvidos sobre teoria de conjuntos, utilizados no estudo de análise na reta.
2) As demonstrações incluem provas de propriedades como igualdade de conjuntos, subconjuntos, reunião, interseção, diferença e leis de De Morgan.
3) São apresentadas 21 questões com suas respectivas demonstrações.
1) O documento apresenta exercícios resolvidos sobre teoria de conjuntos, utilizados no estudo de análise na reta.
2) As demonstrações incluem provas de propriedades como igualdade de conjuntos, subconjuntos, reunião, interseção, diferença e leis de De Morgan.
3) São apresentadas 21 questões com suas respectivas demonstrações.
1) O documento apresenta exercícios resolvidos sobre teoria de conjuntos, utilizados no estudo de análise na reta.
2) As demonstrações incluem provas de propriedades como igualdade de conjuntos, subconjuntos, reunião, interseção, diferença e leis de De Morgan.
3) São apresentadas 21 questões com suas respectivas demonstrações.
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