Teoria Dos Conjuntos

Pontifcia Universidade Catlica do Rio Grande do Sul
Faculdade de Matemtica - Departamento de Matemtica

E
E
s
s
t
t
r
r
u
u
t
t
u
u
r
r
a
a
s
s
A
A
l
l
g
g
b
b
r
r
i
i
c
c
a
a
s
s

Prof. M.Sc. Guilherme Lus Rohe Vaccaro
e-mail: vaccaro@mat.pucrs.br

Prof. M.Sc. Eliane Allgayer Canto

Verso deste material: 1.3.5

Porto Alegre, agosto de 2001.

Este material de apoio para a disciplina de Estruturas Algbricas, oferecida ao curso de Informtica da Pontifcia
Universidade Catlica do Rio Grande do Sul, no tendo a pretenso de esgotar os assuntos aqui abordados, mas sim de
enfocar os aspectos importantes para o uso em Informtica.
O relato de quaisquer erros ou outras sugestes e criticas construtivas ser sempre bem-vindo.
No alterar este material!

Estruturas Algbricas i
S Su um m r ri io o

1 Introduo e Conceitos Bsicos __________________________________________________ 1
1.1 Comentrios Iniciais ________________________________________________________ 1
1.2 Conjunto, Elemento & Relao de Pertena _____________________________________ 1
1.2.1 Exemplos_____________________________________________________________ 1
1.2.2 Notaes _____________________________________________________________ 2
1.2.3 Observaes Importantes ________________________________________________ 2
1.3 Formas de Representao de Conjuntos ________________________________________ 2
1.3.1 Por Extenso__________________________________________________________ 2
1.3.2 Por Compreenso ______________________________________________________ 3
1.3.3 Por Grficos___________________________________________________________ 3
1.3.4 Por Diagramas de Venn _________________________________________________ 4
1.4 Conjunto Vazio & Conjunto Universo ___________________________________________ 4
1.4.1 Notaes _____________________________________________________________ 4
1.4.2 Observaes __________________________________________________________ 4
1.4.3 Uma Propriedade Importante _____________________________________________ 5
1.5 Intervalos ________________________________________________________________ 5
2 Relaes Entre Conjuntos _______________________________________________________ 6
2.1 Incluso _________________________________________________________________ 6
2.1.1 Exemplos_____________________________________________________________ 6
2.1.2 Propriedades __________________________________________________________ 6
2.1.3 Exemplos_____________________________________________________________ 7
2.1.4 Observaes __________________________________________________________ 7
2.2 Incluso Estrita ____________________________________________________________ 7
2.2.1 Exemplos_____________________________________________________________ 7
2.2.2 Propriedades __________________________________________________________ 7
2.3 Igualdade ________________________________________________________________ 7
2.3.1 Exemplos_____________________________________________________________ 8
2.3.2 Propriedades __________________________________________________________ 8
3 Operaes Entre Conjuntos______________________________________________________ 9
3.1 Unio ___________________________________________________________________ 9
3.1.1 Exemplos_____________________________________________________________ 9
3.1.2 Propriedades __________________________________________________________ 9
3.1.3 Observao Importante__________________________________________________ 9
3.1.4 Exemplos____________________________________________________________ 10
3.2 Interseo_______________________________________________________________ 10
3.2.1 Exemplos____________________________________________________________ 10
3.2.2 Propriedades _________________________________________________________ 11
Vedada a alterao ou o uso sem o consentimento prvio dos autores Vaccaro & Canto

Estruturas Algbricas ii
3.2.3 Observao Importante_________________________________________________ 11
3.2.4 Exemplos____________________________________________________________ 11
3.3 Propriedades Comuns Unio e Interseo___________________________________ 12
3.4 Diferena _______________________________________________________________ 12
3.4.1 Exemplos____________________________________________________________ 12
3.4.2 Propriedades _________________________________________________________ 12
3.5 Complementao _________________________________________________________ 13
3.5.1 Exemplos____________________________________________________________ 13
3.5.2 Propriedades _________________________________________________________ 13
3.5.3 Exemplos____________________________________________________________ 14
3.5.4 Uma Identidade Fundamental ____________________________________________ 14
3.6 Leis de De Morgan ________________________________________________________ 14
3.7 Diferena Simtrica _______________________________________________________ 14
3.7.1 Exemplos____________________________________________________________ 15
3.7.2 Propriedades _________________________________________________________ 15
3.7.3 Exemplo_____________________________________________________________ 15
4 Produto Cartesiano ___________________________________________________________ 16
4.1 Seqncias Ordenadas de Elementos _________________________________________ 16
4.2 Produto Cartesiano de Dois Conjuntos_________________________________________ 17
4.2.1 Definio ____________________________________________________________ 17
4.2.2 Exemplos____________________________________________________________ 17
4.2.3 Propriedades _________________________________________________________ 18
4.2.5 Exemplos____________________________________________________________ 18
4.3 Observao: Produto Cartesiano de Trs Conjuntos ______________________________ 19
5 Guia de Consulta Rpida_______________________________________________________ 20
5.1 Notao ________________________________________________________________ 20
5.2 Propriedades das Relaes Entre Conjuntos____________________________________ 21
5.3 Propriedades Fundamentais das Operaes Entre Conjuntos_______________________ 21
5.4 Propriedades Auxiliares das Operaes Entre Conjuntos __________________________ 22
5.5 Propriedades do Produto Cartesiano __________________________________________ 22
6 Exerccios __________________________________________________________________ 23
7 Respostas dos Exerccios ______________________________________________________ 25


Estruturas Algbricas 1
1 1 I In nt tr ro od du u o o e e C Co on nc ce ei it to os s B B s si ic co os s
1 1. .1 1 C Co om me en nt t r ri io os s I In ni ic ci ia ai is s
Conjuntos so fundamentais para a formalizao de qualquer teoria. Uma teoria normalmente
construda a partir de um conjunto de pressupostos bsicos (axiomas), os quais fazem referncia a
um conjunto de elementos primitivos (que no precisam ser definidos). A partir destes elementos, e
utilizando um conjunto de regras de inferncia (tais como as leis e propriedades da Lgica
Matemtica), criado um conjunto de propriedades, enunciados e provados atravs de teoremas.
Em particular, em Informtica e Cincia da Computao, a Teoria de Conjuntos apresenta-se das
mais diversas formas:
Como fundamento para a construo das lgebras Booleanas, cerne da Computao Digital;
Como fundamento terico para o desenvolvimento e validao da Teoria de Bancos de Dados;
Como fundamento terico para o desenvolvimento de Linguagens Formais;
Etc.
1 1. .2 2 C Co on nj ju un nt to o, , E El le em me en nt to o & & R Re el la a o o d de e P Pe er rt te en n a a
Os conceitos primitivos da Teoria de Conjuntos so:
Conjunto
Elemento
Relao de Pertena (ou Relao de Pertinncia)
No se pode definir um destes conceitos sem fazer referncia aos demais. Com efeito:
Um conjunto uma reunio de elementos segundo uma caracterstica comum;
Um elemento uma entidade que pertence a um conjunto;
A relao de pertena indica se um elemento pertence a um conjunto ou no. Se o elemento
pertence ao conjunto porque possui a caracterstica de define aquele conjunto, e vice-versa.

Todos estes conceitos podem ser resumidos em uma expresso:
um elemento pertence a um conjunto.
1 1. .2 2. .1 1 E Ex xe em mp pl lo os s
So exemplos de conjuntos:
(a). A = { a }
(b). B = { 0, 3, 6, 9, 12, 15, ... }
(c). C = { 1, 2, 3, 4, 6, 12, ... }
(d). D = { Terra, Sol, Lua }

1 1. .2 2. .2 2 N No ot ta a e es s
A seguinte notao a usual em Teoria de Conjuntos:
Elementos: so normalmente representados por letras latinas minsculas
Exemplos: a, b, c, ...
Conjuntos: so normalmente representados por letras latinas MAISCULAS
Exemplos: A, B, C, ...
Relao de Pertena: representada pelo smbolo , criado por Georg Cantor.
x A significa o elemento x pertence ao conjunto A
x A significa o elemento x no pertence ao conjunto A

1 1. .2 2. .3 3 O Ob bs se er rv va a e es s I Im mp po or rt ta an nt te es s
A definio de um conjunto sempre feita atravs de uma igualdade =.
Quando definidos em termos de seus elementos, conjuntos so sempre representados por
expresses entre chaves.
Exemplo: A = { 1, 2, 3 }
1 1. .3 3 F Fo or rm ma as s d de e R Re ep pr re es se en nt ta a o o d de e C Co on nj ju un nt to os s
H diversas formas de representao de conjuntos. Algumas so mais adequadas para a
compreenso de propriedades e caractersticas. Outras, so necessrias para a demonstrao de
teoremas, comprovao de propriedades, ou mesmo, para simplificao da representao.
1 1. .3 3. .1 1 P Po or r E Ex xt te en ns s o o
Consiste em descrever, um a um, todos os elementos do conjunto. Em conjuntos com muitos ou
mesmo infinitos elementos podem ser usadas expresses indicando a lei de formao dos elementos
pertencentes ao conjunto.
1 1. .3 3. .1 1. .1 1 E Ex xe em mp pl lo os s
(a). A = { C++, Delphi, Smalltalk, Java, ... }
(b). B = { anlise, projeto, implementao, teste, correo, trmino }
(c). C = { 1, 3, 5 }
(d). D = { N, R, Q, I, C }
(e). E = { ( 2, sair da cama ), ( 4, acordar ), ( 3, escovar os dentes ), ( 1, abrir os olhos ) }
(f). F = { a, e, i, o, u }
(g). G = { (1, a), (3, b), (5, c) }
1 1. .3 3. .1 1. .2 2 O Ob bs se er rv va a e es s
Pontos positivos: permite a visualizao de todos os elementos do conjunto, facilitando
raciocnios de inspeo.
Pontos negativos: s prtica ao se trabalhar com conjuntos finitos e com poucos elementos.

1 1. .3 3. .2 2 P Po or r C Co om mp pr re ee en ns s o o
Consiste em descrever o conjunto atravs de uma propriedade lgica (uma proposio) comum a
todos seus elementos.
(a). C = { x / x N x mpar x 5 }
(b). F = { z / z mltiplo de 4 }
(c). U = { T / T conjunto }
(d). G = { ( x, y ) / x R y = x + 1 }
(e). Q = { x / x =
n
m
m Z n Z* } = {
n
m
/ m Z n Z* }
(f). S = { x / x N } ou, simplesmente, S = N
(g). P = { k / k = 2
n
n N }
Pontos positivos: sucinta, fcil de manipular, formal e til para o desenvolvimento de raciocnios.
Permite representar conjuntos com muitos (ou infinitos) elementos.
Pontos negativos: no permite a visualizao direta dos elementos, exige a determinao formal
de uma proposio para a propriedade que define o conjunto.
1 1. .3 3. .3 3 P Po or r G Gr r f fi ic co os s
Consiste em descrever o conjunto atravs de grficos cartesianos.
(a). A = { x R / -1 x < 2 }

R
-1 2

R
-1 -2 1 1 0
(b). B = { ( x, y ) / x Z y R }

Z

Pontos positivos: So teis para a compreenso de propriedades grficas.
Pontos negativos: Em geral so difceis de construir.

1 1. .3 3. .4 4 P Po or r D Di ia ag gr ra am ma as s d de e V Ve en nn n
Diagramas de Venn so representaes esquemticas de conjuntos.
A
3
2
1
(a). A = { 1, 2, 3 }

(b). B = { 1, 2, 4 }
C
3
6
B
4
2
1
C = { 2, 3, 4, 6 }

Pontos positivos: So teis apenas para a compreenso de propriedades atravs de exemplos.
Pontos negativos: No podem ser usados em provas formais, pois no so capazes de
representar propriedades de forma abstrata. Somente podem representar conjuntos finitos e
discretos
1
.
1 1. .4 4 C Co on nj ju un nt to o V Va az zi io o & & C Co on nj ju un nt to o U Un ni iv ve er rs so o
Outros elementos primitivos da Teoria de Conjuntos so
o conjunto universo
o conjunto vazio
O conjunto universo definido como o conjunto que contm todos os conjuntos. Isto , um conjunto
do qual so tirados todos os elementos usados para a criao dos conjuntos com os quais se est
trabalhando. Sua existncia fundamental para garantir a coerncia da Teoria de Conjuntos.
O conjunto vazio definido como um conjunto que no possui elementos. Sua existncia tambm
fundamental para a definio das operaes entre conjuntos.
1 1. .4 4. .1 1 N No ot ta a e es s
Conjunto Universo: usualmente representado pelo smbolo U.
Conjunto Vazio: usualmente representado pelos smbolos ou { }.
1 1. .4 4. .2 2 O Ob bs se er rv va a e es s

H muitas formas de se definir, por compreenso, estes conjuntos. Por exemplo:
U = { x / x = x } = { x / x existe }

1
Isto , cujos elementos no necessitam ser dispostos de forma contgua, ou seja, podem ser contados com os dedos.
Formalmente diz-se que a propriedade de densidade no satisfeita, ou seja, que, chegar o momento que entre dois
elementos quaisquer do conjunto no ser possvel encontrar outro elemento do mesmo conjunto. Por exemplo, no conjunto
dos nmeros naturais, N, no possvel encontrar outro nmero natural entre 2 e 3. O mesmo acontece com todos os naturais
consecutivos...

= { x / x x } = { x R / x > x+1 } = { x R / x
2
< 0 }
Observe tambm que: { }. Por qu?
1 1. .4 4. .3 3 U Um ma a P Pr ro op pr ri ie ed da ad de e I Im mp po or rt ta an nt te e
Proposio: O conjunto vazio nico.
Demonstrao
2
:
Sejam A
1
e A
2
dois conjuntos vazios.
A
1
A
2
, pois (x) (x A
1
x A
2
) verdadeira, j que x A
1
sempre falso.
Da mesma forma, (x) (x A
2
x A
1
) verdadeira; assim A
2
A
1
.
Portanto, (x) (x A
1
x A
2
).
Logo, A
1
= A
2
.
1 1. .5 5 I In nt te er rv va al lo os s
Intervalos so conjuntos de nmeros reais. Devido a sua importncia e para facilitar sua escrita, foi
adotada a seguinte notao:

Notao de Conjunto Notao de Intervalo
{ x R / a x b } [ a ; b ]
{ x R / a < x b }
( a ; b ]
] a ; b ]
{ x R / a x < b }
[ a ; b )
[ a ; b [
{ x R / a < x < b }
( a ; b )
] a ; b [

2
Explicao da Demonstrao:
Vamos demonstrar isto atravs de um raciocnio denominado por contradio ou reduo ao absurdo. A idia da prova
simples, apesar de os detalhes poderem ser um pouco indigestos para o leitor de primeira viagem...
Queremos mostrar que o conjunto vazio nico. Pois bem:
Inicialmente, vamos supor, por mais absurdo que seja, que existam dois conjuntos vazios diferentes;
Em seguida, vamos chegar concluso de que isto no pode acontecer. Ento estaremos mostrando que no h outra
alternativa a no ser existir somente um conjunto vazio.


2 2 R Re el la a e es s E En nt tr re e C Co on nj ju un nt to os s
O relacionamento entre conjuntos o que torna a Teoria de Conjuntos til. Este tpico ser
oportunamente abordado de forma mais geral posteriormente. Por hora, ser suficiente compreender
as relaes bsicas apresentadas a seguir. No entanto, fundamental compreender que o
relacionamento entre conjuntos sempre feito atravs de proposies. Isto , uma relao entre dois
entes sempre gera uma proposio.
2 2. .1 1 I In nc cl lu us s o o
Dados dois conjuntos, A e B, diz-se que A est contido em B se e somente se qualquer elemento de
A for tambm elemento de B. Nestas condies escreve-se A B.
Em notao lgica:
A B (x) (x A x B)
(a). N Z
(b). { x Z / ( y Z )( y = 6x ) } { x Z / ( y Z )( y = 2x ) }
(c). { x / x par } { x /
2
x
Z }
2 2. .1 1. .2 2 P Pr ro op pr ri ie ed da ad de es s
Sejam A, B e C conjuntos. Ento so vlidas as seguintes propriedades:
A
A A (Reflexividade)
( A B ) ( B C ) A C (Transitividade)
Prova:
Seja A um conjunto. Ento: A
Pela definio de incluso temos que (x)( x x A ).
Como a primeira proposio falsa, ento a implicao verdadeira.
Logo, A.
(Reflexividade)
Seja A um conjunto. Ento: A A
(x)( x A x A ), j que x A uma proposio verdadeira, ento a implicao
verdadeira.
(Transitividade)
Sejam A, B, C conjuntos. Ento A B B C A C
Seja x A. Como A B, temos que x B. Da mesma forma, como x B e B C, ento x C.
Logo, podemos concluir que A C.


(a). N Z Z Q N Q
(b). { x / x par } { x /
2
x
Z } { x /
2
x
Z } { x / x par } { x / x par } = { x /
2
x
Z }
2 2. .1 1. .4 4 O Ob bs se er rv va a e es s
Pode-se tambm dizer que B contm A, denotando por B A.
Em Teoria da Computao muito comum se utilizar a notao em vez de . Isto porque a
intepretao da incluso feita de maneira diferente:
Ao se escrever A B est-se dizendo que B contm todos os elementos de A e, provavelmente,
mais alguns.
Ao se escrever A B, que matematicamente a mesma coisa, est-se dando a interpretao de
que A possui mais qualidade de informao que B, pois possui menos elementos que B.
2 2. .2 2 I In nc cl lu us s o o E Es st tr ri it ta a
Dados dois conjuntos, A e B, diz-se que A est estritamente contido em B se e somente se
qualquer elemento de A for tambm elemento de B, mas A for diferente de B. Nestas condies
escreve-se A B.
Em notao lgica:
A B (x)( x A x B ) ( y B / y A )
(a). N Z
(b). Z R
A A
( A B ) ( B C ) A C (Transitividade)
No provaremos as propriedades acima pelo fato de as demonstraes serem semelhantes s
apresentadas para a relao de Incluso.
2 2. .3 3 I Ig gu ua al ld da ad de e
Dois conjuntos, A e B, so iguais se e somente se tiverem exatamente os mesmos elementos.
Nestas condies escreve-se A = B.
Em notao lgica:
A = B (x)( x A x B )

(a). { 3 , 3 } = { x / } 3 x
2
=
(b). { -4, -2, -1, 1, 2, 4 } = { x / x divisor de 4 }
(c). { x / x par } = { x /
2
x
Z }
A = A (Reflexividade)
A = B B = A (Simetria)
( A = B ) ( B = C ) A = C (Transitividade)
Prova:
(Reflexividade)
Seja A um conjunto. Ento: A = A
Para todo x, x A se e somente se x A. Como a primeira proposio verdadeira, logo a
equivalncia verdadeira.
(Simetria)
Sejam A e B conjuntos tais que A = B. Ento: B = A
Como A = B para todo x, x A se e somente se x B. Pela equivalncia lgica ( p q )
( p q ) (q p), vem que (x ) ( x A x B ). Assim, temos que B A. Desta forma,
A B e B A. Logo, B = A.
(Transitividade)
Sejam A, B, C conjuntos, tais que A = B e B = C A = C
Como A = B, pela hiptese, ento A B e B A. Tomando B = C, temos que B C e C B.
Como A B e B C, pela propriedade transitiva da incluso, vem que A C e C A. Logo,
A = C.

3 3 O Op pe er ra a e es s E En nt tr re e C Co on nj ju un nt to os s
Relaes e Operaes no so sinnimos. Enquanto que as relaes ( igualdade, incluso, ... ) so
essencialmente formas de comparar conjuntos, as operaes so formas de se criar novos conjuntos
a partir de conjuntos j existentes. Na verdade, a definio de operaes entre conjuntos permite-nos
construir uma Estrutura Algbrica de Conjuntos, de forma semelhante Estrutura Algbrica das
Proposies.
Finalmente, importante notar que uma operao entre conjuntos sempre gera um novo conjunto
como resposta.
3 3. .1 1 U Un ni i o o
Dados dois conjuntos, A e B, a operao de unio gera um novo conjunto cujos elementos so
provenientes tanto de A, como de B. O conjunto unio de A e B denotado por A B.
Em notao lgica:
A B = { x / x A x B }
(a). Sejam A = { a, b, c } e B = { a, b, d }. Ento A B = { a, b, c, d }
(b). Sejam A = e B = { 1, 2, 4 }. Ento A B = { 1, 2, 4 }
(c). Sejam A = U e B = { 1, 2, 4 }. Ento A B =U
A B = B A (Comutatividade)
( A B ) C = A ( B C ) (Associatividade)
A A = A (Idempotncia)
A = A (elemento neutro)
A U = U (elemento absorvente)
Observao: As provas das propriedades acima so obtidas a partir da definio de unio, no
sendo apresentadas aqui, mas deixadas a ttulo de exerccio de aula ou extra-classe.
3 3. .1 1. .3 3 O Ob bs se er rv va a o o I Im mp po or rt ta an nt te e
Note que
( A B ) C = A ( B C ) = A B C
pois, pela propriedade de associatividade, tanto faz resolver primeiro a unio de A com B como a de
B com C.

3 3. .1 1. .4 4. .1 1 E Ex xe em mp pl lo o
N Z = Z, pois N Z
Seja x N Z. Ento, x N, ou x Z. Como N Z, ento podemos concluir que x Z.
Por outro lado, se x Z, ento x N Z.
Logo, N Z = Z
3 3. .1 1. .4 4. .2 2 E Ex xe em mp pl lo o
Mostre que, sendo A e B conjuntos, ento A A B.
Demonstrao:
Sejam A e B conjuntos.
(x) (xA
*
xA xB x A B)
* p p q
3 3. .1 1. .4 4. .3 3 E Ex xe em mp pl lo o
Mostre que ( A, B )( A B A B = B ).
Demonstrao:
Sejam A e B conjuntos, tais que
Caso 1: Seja x A B.
Ento x A ou x B.
Como x B, temos que A B B.
Logo, A B = B
Caso 2: Seja x B.
Como B A B e A B B.
Logo, A B = B
Logo ( A, B )( A B A B = B ).
3 3. .2 2 I In nt te er rs se e o o
Dados dois conjuntos, A e B, a operao de interseo gera um novo conjunto cujos elementos
devem ser os comuns a A e B. O conjunto interseo de A e B denotado por A B.
Em notao lgica:
A B = { x U / x A x B }
(a). Sejam A = { a, b, c } e B = { a, b, d }. Ento A B = { a, b }
(b). Sejam A = { , , } e B = { , }. Ento A B =
(c). Sejam A = e B = { 1, 2, 4 }. Ento A B =
(d). Sejam A = U e B = { 1, 2, 4 }. Ento A B = { 1, 2, 4 }

( A B ) C = A ( B C ) (Associatividade)
A A = A (Idempotncia)
A = (elemento absorvente)
A U = A (elemento neutro)
Observao: As provas das propriedades acima so obtidas a partir da definio de interseo, no
sendo apresentadas aqui, mas deixadas a ttulo de exerccio de aula ou extra-classe.
Note que
( A B ) C = A ( B C ) = A B C
pois, pela propriedade de associatividade, tanto faz resolver primeiro a interseo de A com B como a
de B com C.
3 3. .2 2. .4 4. .1 1 E Ex xe em mp pl lo o
Mostre que ( A )( A = ).

Demonstrao:
Seja A um conjunto. Ento A =
Vamos supor que A . Ento existe x A .
Assim, x A e x . Porm, x falso. Ento x A falso.
Logo, A =
3 3. .2 2. .4 4. .2 2 E Ex xe em mp pl lo o
Mostre que ( A, B )( A B A B = A ).
Demonstrao:
Sejam A e B conjuntos, tais que A B. Mostraremos a tese observando que
A B = A ( A B A ) ( A A B ).
Caso 1: Seja x A B. Ento:
x A B x A x B x A
Logo, A B A
Caso 2: Seja x A.
Se x A, ento, pela hiptese, x B, pois A B x, x A x B V.
Logo, A B A A B
Logo ( A, B )( A B A B = A ).


3 3. .3 3 P Pr ro op pr ri ie ed da ad de es s C Co om mu un ns s U Un ni i o o e e I In nt te er rs se e o o
( A B ) C = ( A C ) ( B C ) (Distributividade da unio em relao interseo)
( A B ) C = ( A C ) ( B C ) (Distributividade da interseo em relao unio)
( A B ) A = A (Absoro)
( A B ) A = A (Absoro)
Observao: As provas das propriedades acima so obtidas a partir da associao com
propriedades dos operadores lgicos, no sendo apresentadas aqui, mas deixadas a ttulo de
exerccio de aula ou extra-classe.
3 3. .4 4 D Di if fe er re en n a a
Dados dois conjuntos, A e B, a operao de diferena entre A e B gera um novo conjunto cujos
elementos so aqueles que pertencem a A, mas no pertencem a B. O conjunto diferena de A e B
denotado por A B.
Em notao lgica:
A B = { x / x A x B }
(a). Sejam A = { 1, 2, 3 } e B = { 2, 4 }. Ento A B = { 1, 3 }
(b). Sejam A = { 1, 2, 3 } e B = { 4, 5, 6 }. Ento A B = { 1, 2, 3 }
(c). Sejam A = { 1, 2, 3 } e B = { , , , }. Ento A B = { 1, 2, 3 }
(d). Sejam A = { 1, 2, 3 } e B = . Ento A B = { 1, 2, 3 }
(e). Sejam A = { x N / x mltiplo de 5 } e B = { x N / x par }. Ento
A B = { 5, 15, 25, 35, ... }
A B A
A B = A B = A
A B = A B = C A = C B
( A B ) B =
( A B ) B = A B
( A B ) C = ( A C ) ( B C ) (Distributividade)
A = A
A U =
A =
Observao: As provas das propriedades acima so obtidas a partir da definio de diferena de
conjuntos, no sendo apresentadas aqui, mas deixadas a ttulo de exerccio de aula ou extra-classe.

Note que, em geral a comutatividade no vlida. Isto , para A e B conjuntos,
A B B A, em geral.
3 3. .5 5 C Co om mp pl le em me en nt ta a o o
Sejam A e E conjuntos tais que A E. Ento:
Define-se o conjunto complementar de A em relao a E como o conjunto formado por todos os
elementos de E que no pertencem a A. Neste caso, o conjunto complementar denotado por C
E
A ,
por A
E
ou por
E
A .
Em notao lgica:
C
E
A = { x / x E x A }
Um caso particular, mas muito til, o conjunto complementar de A em relao ao conjunto universo.
Neste caso, temos E = U. Ento o conjunto complementar denotado por CA , por A ou por A .
Em notao lgica:
A = { x U / x A }
Observao: A Complementao um caso particular (muito importante) da operao de diferena.
(a). Sejam A = { 1, 2, 3 } e B = { 2 }. Ento C
B
A no est definido, pois A B.
(b). Sejam A = { 1, 2, 3 } e B = { 1,2, 3, 4, 5, 6 }. Ento C
B
A = {4, 5, 6}
(c). Seja A = { 1, 2, 3 }. Ento A
N
= { 0, 4, 5, 6, ...}
Sejam A, B e E conjuntos tais que A E e B E. Ento so vlidas as seguintes propriedades:

Propriedade geral Em particular
( A
E
)
E
= A. ( A ) = A.
A B B
E
A
E
A B B A
A
E
A = E A A = U
A
E
A = A A =
( U ) =
( ) = U


3 3. .5 5. .3 3. .1 1 E Ex xe em mp pl lo o
Mostre que ( U ) = .
Demonstrao:
Pela definio de conjunto complementar, temos que ( U )' o complementar de ( U )em relao ao
conjunto Universo. Como U o prprio conjunto universo.
Logo, s podemos ter ( U )' =
3 3. .5 5. .3 3. .2 2 E Ex xe em mp pl lo o
Mostre que ( A, B )( A B A = )
Demonstrao:
Seja x A B. Assim x A e x B. Como x A, pela definio de complementar, x A'. Assim,
podemos concluir que se x A B, ento x A'.
Logo, A B A' =
3 3. .5 5. .4 4 U Um ma a I Id de en nt ti id da ad de e F Fu un nd da am me en nt ta al l
Sejam A e B conjuntos. Ento A B = A B.
Demonstrao:
Seja x A B, ento x A e x B. Assim, x B'. Como x A e x B', ento x A B'.
3 3. .6 6 L Le ei is s d de e D De e M Mo or rg ga an n
Sejam A e B conjuntos. So vlidas as seguintes propriedades:
( A B ) = A B
( A B ) = A B
Vamos demonstrar a primeira destas propriedades. A demonstrao da outra similar e poder ser
feita seguindo os passos aqui apresentados.
Demonstrao:
Sejam A e B conjuntos. Seja x ( A B ). Ento: x A'B'
x ( A B ) x U x A B.
Seja x (A B)', pela definio de complementar, x A B. Ento x U, mas x A e x B.
Assim, x A' e x B'.
Logo, x A' B'.
3 3. .7 7 D Di if fe er re en n a a S Si im m t tr ri ic ca a
Dados dois conjuntos, A e B, define-se a diferena simtrica entre A e B como o conjunto formado por
todos os elementos que pertencem a apenas um conjuntos. Isto , o conjunto resultante da diferena
simtrica entre A e B o conjunto formado por todos os elementos que pertencem a A e no
pertencem a B, juntamente com os elementos que pertencem a B e no pertencem a A. A notao
utilizada para representar este conjunto A B.

Em notao lgica:
A B = { x / ( x A x B ) ( x B x A ) } = (A B) (B A)
(a). Sejam A = { 1, 2, 3 } e B = { 2, 3, 4 }. Ento A B = { 1 } { 4 }
(b). Sejam A = { 1, 2, 3 } e B = { 4, 5, 6 }. Ento A B = { 1, 2, 3 } { 4, 5, 6 }
(c). Sejam A = { 1, 2, 3 } e B = { 3, 6, 9 }. Ento A B = {1, 2 } { 6, 9}
A B = ( A B ) ( B A )
A B = ( A B ) ( B A )
A = A
A B = A B = A B
3 3. .7 7. .3 3 E Ex xe em mp pl lo o
Mostre que
( A, B )( ( A B ) ( B A ) = ( A B ) ( B A ) )
Demonstrao:
Sejam A e B conjuntos. Seja x (A B) (B A). Ento x (A B) ou x (B A).
Como x ( A B ), ento x A e x B. Assim, x A B e x B A.
Logo, x (A B) (B A).
Um outro modo:
Demonstrao:
Sejam A e B conjuntos. Seja x (A B) (B A). Ento x (A B) e x (B A).
Como x (A B), ento x A ou x B. Porm, x (B A), ento x B ou x A.
Logo, x (A B) (B A).

4 4 P Pr ro od du ut to o C Ca ar rt te es si ia an no o
O produto cartesiano de conjuntos ocupa lugar de destaque dentre as operaes definidas na Teoria
de Conjuntos, principalmente no que toca as suas aplicaes Informtica. Isto porque permite
definir conjuntos de natureza diferente dos originais, atravs da associao ordenada de seus
elementos. Aplicaes comuns do produto cartesiano so, entre outras:
grficos;
especificao de relaes entre conjuntos de dados;
representao de regras lgicas atravs de relaes.
4 4. .1 1 S Se eq q n nc ci ia as s O Or rd de en na ad da as s d de e E El le em me en nt to os s
Seqncias ordenadas de elementos (ou n-uplas ordenadas) so arranjos de elementos de forma
seqencial. H diversas formas de se representar tais seqncias, tais como vetores ou matrizes
linha. Na Teoria de Conjuntos, a representao adequada para uma seqncia ordenada de n
elementos dada da seguinte forma:
( a
1
, a
2
, a
3
, ..., a
n
)
Vale ressaltar que as seqncias ( a
1
, a
2
, a
3
, ..., a
n
) e ( a
2
, a
1
, a
3
, ..., a
n
) no so iguais, por exemplo.
Alm disso, observe-se que a natureza dos elementos a
i
(1 i n ) no precisa ser a mesma. Isto ,
a
1
pode ser um nmero, enquanto que a
2
pode ser um nome, por exemplo. O importante perceber
que cada posio define a natureza do elemento que ali pode ser colocado.
O conceito de seqncia ordenada fundamental em Informtica, pois usado como fundamento
para a definio de listas ordenadas, de vetores e de registros de bancos de dados. Por exemplo, os
registros de banco de dados

Nmero Nome Idade Cidade
1 Joo 20 Porto Alegre
2 Maria 19 Caxias do Sul

Podem ser conceitualmente representados pelas tetra-uplas:
( 1, Joo, 20, Porto Alegre )
(2, Maria, 19, Caxias do Sul )

Matematicamente, os tipos mais usados de seqncias ordenadas so:

Pares Ordenados: Um par ordenado uma seqncia ordenada de dois elementos.
Exemplos: ( 1, 2 ),
( a, 1 ),
( Informtica, 401 ),
( ( nome, endereo ), cdigo )


Ternas Ordenadas: Uma terna ordenada uma seqncia ordenada de trs elementos.
Exemplos: ( 1, 2, 3 ),
( a, 1, v ),
( Informtica, 401, PUCRS ),
( ( nome, endereo ), cdigo, saldo )
4 4. .2 2 P Pr ro od du ut to o C Ca ar rt te es si ia an no o d de e D Do oi is s C Co on nj ju un nt to os s
4 4. .2 2. .1 1 D De ef fi in ni i o o
Sejam A e B conjuntos. O produto cartesiano de A e B o conjunto formado por pares ordenados
cujo primeiro elemento proveniente de A e o segundo, de B. Este conjunto denotado por A x B.
Em notao lgica:
A x B = { ( x, y ) / x A y B }
(a). Sejam A = { 1, 2, 3 } e B = { 4, 5 }. Ento:
A x B = { ( 1, 4 ), ( 1, 5 ), ( 2, 4 ), ( 2, 5 ), ( 3, 4 ), ( 3, 5 ) }
B x A = { ( 4, 1 ), ( 4, 2 ), ( 4, 3 ), ( 5, 1 ), ( 5, 2 ), ( 5, 3 ) }
Estes conjuntos podem ser representados pelos grficos abaixo:

Em particular, observe que A x B B x A.

(b). Sejam A = [ 1, 2 ] e B = [ 3, 4 ). Ento, o produto A x B
pode ser representado pelo grfico ao lado.


(c). O plano cartesiano dado pelo conjunto R x R.
Observao: Uma outra notao para R x R R
2
, mas isto nada tem a ver com elevar os
nmeros reais ao quadrado! apenas uma notao!!!

(d). Sejam A = { -1, 1 } e B = [ -2, 3 ]. O produto cartesiano
A x B o conjunto representado no grfico ao lado.

(e). Sejam A = e B = [ 2, 3 ]. Ento:
A x B =
B x A =
Sejam A, B, C e D conjuntos. Ento so vlidas as seguintes propriedades:
A x ( B C ) = ( A x B ) ( A x C )
A x ( B C ) = ( A x B ) ( A x C )
A B A x C B x C
( A x B ) ( C x D ) = ( A C ) x ( B D )
A x B = ( A = ) ( B = )
A x B = B x A ( A = ) ( B = ) ( A = B )
conjuntos, no sendo apresentadas aqui, mas deixadas a ttulo de exerccio de aula ou
extra-classe.
Note que, em geral a comutatividade no vlida. Isto , para A e B conjuntos,
A x B B x A, em geral.
4 4. .2 2. .5 5. .1 1 E Ex xe em mp pl lo o
Determine { x N / ( x 1 )( x 3 ) = 0 } x { x N / ( x 2 )( x 3 ) = 0 }.
Soluo: { 1, 3 } x { 2, 3 } = { ( 1, 2 ), ( 1, 3 ), ( 3, 2 ), ( 3, 3 ) }
4 4. .2 2. .5 5. .2 2 E Ex xe em mp pl lo o
Encontre o valor lgico da proposio ( A, B, C )( A x C = B x C A = B )
Soluo:
Seja ( x, y ) A x C. Ento x A e y C. Como A x C = B x C, ento ( x, y ) B x C. Assim, x B e
y C.
Logo, A = B.
Logo, a proposio verdadeira.

4 4. .2 2. .5 5. .3 3 E Ex xe em mp pl lo o
Represente graficamente o subconjunto do produto cartesiano R
2
definido por S = { ( x, y ) / x+y 1 }.
Soluo:

4 4. .3 3 O Ob bs se er rv va a o o: : P Pr ro od du ut to o C Ca ar rt te es si ia an no o d de e T Tr r s s C Co on nj ju un nt to os s
Sejam A, B e C conjuntos. O produto cartesiano de A, B e C o conjunto formado por ternas
ordenadas cujo primeiro elemento proveniente de A, o segundo, de B e o terceiro, de C. Este
conjunto denotado por A x B x C.
Em notao lgica:
A x B x C = { ( x, y, z ) / x A y B z C }
Note que ( A x B ) x C A x B x C
Da mesma forma A x ( B x C ) A x B x C
Por qu ?
Observe que os elementos do conjunto gerado por A x ( B x C ) sero, na verdade, pares ordenados!
No entanto, os elementos do conjunto gerado pela operao de produto cartesiano triplo, A x B x C,
sero ternas ordenadas. Isto fica mais fcil de se entender se descrevermos os conjuntos em termos
de seus elementos:
Utilizaremos, apenas por simplicidade, a varivel x para referir aos elementos do conjunto A, a
varivel y para referir aos elementos do conjunto B e a varivel z para referir aos de C. Isto :
A = { x / x A }
B = { y / y B }
C = { z / z C }
Ento: B x C = { ( y, z ) / y B z C }
Ora, mas
A x ( B x C ) = { ( x, w ) / x A w B x C }
= { ( x, ( y, z ) ) / x A y B z C }
Da definio acima, temos que
A x B x C = { ( x, y, z ) / x A y B z C }
Observe-se, ento, que a proposio que define os conjuntos a mesma, mas a estrutura dos
elementos, no!


5 5 G Gu ui ia a d de e C Co on ns su ul lt ta a R R p pi id da a
5 5. .1 1 N No ot ta a o o
Conjuntos
Representados sempre usando chaves. A nica exceo feita aos intervalos, que
possuem notao prpria.
Os nomes so dados por letras maisculas. A atribuio feita pelo sinal de
igualdade.
Exemplo: A = { 1, 2, 3 }.
Elementos
Representados por letras minsculas. Um elemento pertence a um conjunto.
Exemplo: x R.
Relao de pertena. Um elemento pertence a um conjunto.

Negao da relao de pertena. Indica que um elemento no pertence a um
conjunto. Escrever x A o mesmo que escrever ( x A ).
=
Relao de igualdade.
A = B ( x )( x A x B )

Relao de incluso.
A B ( x )( x A x B )

Relao de incluso estrita
A B ( x )( x A x B ) ( y )( y B y A )

Negao da relao de incluso.
A B ( x )( x A x B )

Operao de unio.
A B = { x / x A x B }

Operao de Interseo.
A B = { x / x A x B }

Operao de Diferena.
A B = { x / x A x B }
A
E
ou C
E
A
Operao de Complementao do conjunto A em relao ao conjunto E.
A E A
E
= E A = { x / x E x A }
A ou CA
Operao de Complementao do conjunto A em relao ao conjunto Universo.
A = U A = { x / x A }

Operao de Diferena Simtrica.
A B = { x / ( x A x B ) ( x B x A ) }
x
Operao de Produto Cartesiano de dois conjuntos.
A x B = { ( x, y ) / x A y B }


5 5. .2 2 P Pr ro op pr ri ie ed da ad de es s d da as s R Re el la a e es s E En nt tr re e C Co on nj ju un nt to os s
Sejam A, B e C conjuntos. Seja o conjunto vazio. Ento:
(1). A = A (Reflexividade)
(2). A = B B = A (Simetria)
(3). ( A = B ) ( B = C ) A = C (Transitividade)
(4). A
(5). A A (Reflexividade)
(6). ( A B ) ( B C ) A C (Transitividade)
(7). ( A B ) ( B A ) A = B (Anti-Simetria)
(8). A A
(9). ( A B ) ( B C ) A C (Transitividade)
5 5. .3 3 P Pr ro op pr ri ie ed da ad de es s F Fu un nd da am me en nt ta ai is s d da as s O Op pe er ra a e es s E En nt tr re e C Co on nj ju un nt to os s
Sejam A, B e C conjuntos. Sejam o conjunto vazio e U o conjunto universo. Ento:
(1). A A = A (Idempotncia ou Idemponncia)
(2). A B = B A (Comutatividade)
(3). ( A B ) C = A ( B C ) (Associatividade)
(4). A = A
(5). A U = U
(6). A A = A (Idempotncia ou Idemponncia)
(7). A B = B A (Comutatividade)
(8). ( A B ) C = A ( B C ) (Associatividade)
(9). A =
(10). A U = A
(11). ( A B ) C = ( A C ) ( B C ) (Distributividade da unio em relao interseo)
(12). ( A B ) C = ( A C ) ( B C ) (Distributividade da interseo em relao unio)
(13). ( A B ) A = A (Absoro)
(14). ( A B ) A = A (Absoro)
(15). A A = U
(16). A A =
(17). ( A ) = A
( U ) =
( ) = U
(18). ( A B ) = A B (Lei de De Morgan)
(19). ( A B ) = A B (Lei de De Morgan)

5 5. .4 4 P Pr ro op pr ri ie ed da ad de es s A Au ux xi il li ia ar re es s d da as s O Op pe er ra a e es s E En nt tr re e C Co on nj ju un nt to os s
Sejam A, B e C conjuntos. Sejam o conjunto vazio e U o conjunto universo. Ento:
(1). A B A
(2). A B = A B = A
(3). A B = A B = C A = C B
(4). ( A B ) B =
(5). ( A B ) B = A B
(6). ( A B ) C = ( A C ) ( B C )
(7). ( A B ) C = ( A C ) ( B C )
(8). A = A
(9). A U =
(10). A =
(11). ( A
E
)
E
= A.
(12). A B B
E
A
E

(13). A B B A
(14). A
E
A = E
(15). A
E
A =
(16). A B = ( A B ) ( B A )
(17). A B = ( A B ) ( B A )
(18). A B = B A
(19). ( A B ) C = ( A C ) ( B C )
(20). ( A B ) C = ( A C ) ( B C )
(21). A = A
(22). A B = A B = A B
5 5. .5 5 P Pr ro op pr ri ie ed da ad de es s d do o P Pr ro od du ut to o C Ca ar rt te es si ia an no o
Sejam A, B e C conjuntos. Seja o conjunto vazio. Ento:
(1). A x ( B C ) = ( A x B ) ( A x C )
(2). A x ( B C ) = ( A x B ) ( A x C )
(3). A B A x C B x C
(4). ( A x B ) ( C x D ) = ( A C ) x ( B D )
(5). A x B = ( A = ) ( B = )
(6). A x B = B x A ( A = ) ( B = ) ( A = B )


6 6 E Ex xe er rc c c ci io os s
1. Descreva cada um dos conjuntos a seguir, listando seus elementos :
(a) { x R / | x | < 2 }
(b) { x N / ( y ) ( y par x y ) }

2. Determine os conjuntos A e B tais que A' = { f, g, h, l }, A B = { d, e } e
A B = { a, b, d, e, f }.

3. Sejam A, B e C conjuntos tais que A B e B C. Sejam a, b, c, d, e, f U tais que a A,
b B-A, c C-B, d A, e B e f C. Quais das afirmaes abaixo so corretas?
(a) a C (b) b A (c) c A
(d) b B (e) e A (f) f A

4. Sejam A = { ( x, y ) / ( x, y ) est a trs unidades do ponto ( 1, 4 ) } e
B = { ( x, y ) / ( x 1 )
2
+ ( y 4 )
2
25 } .Prove que A B.
Dica: Pense em termos de circunferncias. As frmulas voc encontra no seu material de 2
Grau.

5. programa QUAD encontra e imprime solues de equaes quadrticas da forma
a.x
2
+ b.x +c = 0. O programa PAR lista todos os inteiros da forma -2n a 2n, para cada n dado.
Seja Q o conjunto dos valores de sada de QUAD e E o conjunto dos valores de sada de PAR.
Mostre que para a = 1 , b = -2 ,c = -24 e n =50 , Q E.

6. Para cada uma das sentenas a seguir, encontre as condies mais gerais possveis para os
conjuntos A e B de modo a tornar as sentenas verdadeiras:
(a) A B = A (b) A = (c) A B A B
(d) A B = A (e) B - A =

7. Sejam A e B dois conjuntos. Prove que: A B A B = A.

8. Sejam A, B e C conjuntos. Prove que:
(a) A - B = B' - A'
(b) A ( B - C ) = ( A B ) - ( C - A )
(c) ( A - B )' = A' B

9. Sejam A, B e C conjuntos. Verifique se as proposies abaixo so verdadeiras ou falsas,
justificando a sua resposta.
(a) A B = C B B - A = B C
(b) A ( B - A ) = A B

(c) A B = A C B = C
(d) ( A' B' )' = A B
(e) ( A B ) - C = A ( B - C )
(f) ( A B )' = B' A B
(g) ( A B ) B' = A A B =
(h) A B = A B'
(i) A - B = A - C B = C
(j) A x B = B x A A = B
(k) ( A x C ) ( B x C ) = ( A B ) x C
(l) ( A B ) C = A ( B C )
(m) A B = ( A B ) - ( A B )
(n) A B A B

10. Sejam os conjuntos A = { 1, 2, 3, 4 }, B = [-2,1] e C = { x R / x
2
+ 3.x + 2 0 }. Represente
graficamente os produtos cartesianos:
(a) A x B (b) C x B
(c) C x C (d) B x C

Seja A um conjunto. Chamamos de Conjunto das Partes de A ao conjunto formado por todos os
subconjuntos de A. Notao: P(A)
Ex.: A = { 1, 2 } P(A) = { , {1}, {2}, A }

11. Sejam os conjuntos A = { 1 } e B = { 2, 3 }. Determine:
(a) P( A B ) (b) P( A B ) B (c) C
DxD
AxB onde D = { n N | n < 8 }

12. De acordo com o nosso uso da palavra conjunto, se A um subconjunto do conjunto universo S,
ento qualquer elemento de S ou pertence ou no pertence a A. Em outras palavras, a
probabilidade de um elemento x de S pertencer a A 1 (quando x um elemento de A) ou 0
(quando x no um elemento de A) .A um conjunto FUZZY se todo elemento de S tem a
probabilidade p, 0 p 1, de ser um elemento de A. A probabilidade p associada a x uma
estimativa da possibilidade de que x possa pertencer a A quando a composio de A
desconhecida. Operaes de conjuntos podem ser realizadas com conjuntos FUZZY da seguinte
maneira: Se o elemento x tem a probabilidade p
1
de pertencer a A e a probabilidade p
2
de
pertencer a B, ento a probabilidade de x ser um elemento de A B dada por p
1
+ p
2
p
1
.p
2
.
Seja S um conjunto de possveis agentes causadores de doenas,
S = { gentica, vrus, nutrio, bactria, ambiente }.
Os conjuntos FUZZY "AIDS" e "mal de ALZHEIMER" so definidos como:
AIDS = { gentica, 0.2; vrus, 0.8; nutrio, 0.1; bactria, 0.4; ambiente, 0.3 } e
ALZHEIMER = { gentica, 0.7; vrus, 0.4; nutrio, 0.3; bactria, 0.3; ambiente, 0.4 }
Encontre o conjunto FUZZY AIDS ALZHEIMER


7 7 R Re es sp po os st ta as s d do os s E Ex xe er rc c c ci io os s
1.
(a). ( -2; 2 ) = { x R / -2 < x < 2 }
(b). { 1, 3, 5, 7, ..., 2n+1, ... } = { x / x = 2n + 1, n N }

2. A = { a, b, d, e }, B = { d, e, f }

3. (a). V (b). F (c). F (d). V (e). V (f). V

4. Seja ( x ,y ) A. Ento ( x, y ) est a trs unidades do ponto ( 1, 4 ).
Neste caso temos que ( ( x 1 )
2
+ ( y 4 )
2
)
1/2
= 3 ,
ou seja ( x 1 )
2
+ ( y 4 )
2
= 9 25.
Logo ( x, y ) B.
Temos ento que ( x, y ), ( x, y ) A ( x, y ) B A B.

5. Q = { -4 , 6 } { x Z / -100 x 100 } = E

6. (a) B A (b) A = (c) A = B (d) A B (e) B A

7. Sejam A, B conjuntos tais que A B. Seja x A.
Como A B ,temos que x B.
Ento x A x B x A B. Portanto, A A B.
Por outro lado, temos que: x A B x A x B. Portanto x A.
Temos ento que A B A. Desta forma podemos concluir que A B = A.
Logo, A B A B = A.

8.
(a). Sejam A, B conjuntos.
Ento: B' - A'= { x / x B' x A'} = { x / x B x A } = { x / x A x B } = A - B
Logo, A B = B - A'.

(b). Sejam A, B, C conjuntos. Ento:
x, x A ( B - C ) x A x (B - C) x A ( x B x C )
( x A x B ) ( x A x C ) x (A B) - (C - A)
Logo, A ( B - C ) = (A B) - (C - A).


(c). Sejam A, B conjuntos.
x, x (A - B)' x A - B x A x B x A' B
Logo, (A - B)' = A' B.

9.
OBSERVAO: Equivalncias lgicas usadas em vrios itens :
p q ( p q ) ( q p )
( p q ) r ( p r ) ( q r )
( p q ) r ( p r ) ( q r )
p q p
p f p
p p v

(a). A proposio verdadeira. PROVA:
Sejam A e B conjuntos tais que A B = C B.
B - A = { x / x B x A }. Ento:
Usando a equivalncia lgica p q ( p q ) ( q p ), iremos separar a prova da proposio
em duas etapas:
x, x B - A x B x A x A B, pois x A.
Como A B = C B x C B.
Mas, como x B x C. Portanto, x B x C x B - C.
Temos ento que x, x B - A x B - C. Logo B - A B - C.
(Note que h implicaes no raciocnio e, ento, s vale a ida. Precisamos agora provar a volta!)
Por outro lado x, x B - C x B x C x B C, pois x C.
Como A B = C B x A B.
Mas, como x B x A. Portanto, x B x A x B - A.
Temos ento que x, x B - C x B - A. Logo B - C B - A.
Logo, A B = C B B A = B C.

(b). A proposio verdadeira. PROVA:
x, x A ( B - A ) x A ( x B x A ) ( x A x B ) (x A x A )
( x A x B ) x A B.
Logo, A ( B - A ) = A B.

(c). A proposio falsa. PROVA:
Existem os conjuntos A = { 1, 2 }, B = { 1, 3, 4 } e C = { 1, 5, 9 } tais que:
A B = { 1 } A C = { 1 }, ou seja: A B = A C.

Mas B C.
Logo, (A B = A C B = C).
Logo, a proposio (A B = A C B = C) falsa.

(d). A proposio verdadeira. PROVA:
Sejam A e B conjuntos. Ento, usando uma das leis de De Morgan para conjuntos, temos:
( A' B' )' = ( A' )' (B' ) ' = A B.
Logo, ( A' B' )' = A B.

(e). A proposio falsa. PROVA:
Existem os conjuntos A = { 1, 2, 3 }, B = { 4, 5 } e C = { 1, 5 } tais que:
A B = { 1, 2, 3, 4, 5 } e
(A B) - C = {2, 3, 4 }
Mas:
B - C = { 4, 5 } - { 1, 5 } = { 4 }
A ( B - C ) = { 1, 2, 3, 4 }
Ento, neste caso, (A B) - C A ( B - C ).
Logo, a proposio falsa.

(f). A proposio verdadeira. PROVA:
Sabemos que ( A B )' = A' B'.
Ento mostrar que A' B' = B' A B o mesmo que mostrar a proposio original.
Usando a equivalncia lgica p q ( p q ) ( q p ), iremos separar a prova da proposio
em duas etapas:
Parte 1: A' B' = B' A B.
Suponhamos que A' B' = B'.
x, x A x A' x A' B'.
Como A' B' = B ento x A' B' x B' x B.
Concluso : x, x A x B.
Logo: A' B' = B' A B.
Parte 2: A B A' B' = B'
Suponhamos que A B.
x, x B' x B.
Como A B ento x B x A x A'.
Concluso: x B' x A' B'. Ento B' A' B'.
Por outro lado, x, x A' B' x A' x B' x B'.
Concluso: x A' B' x B'. Ento A' B' B.

Concluso final : Por (1) e (2) vem que A' B' = B' A B.

(g). A proposio verdadeira. PROVA:
Sabemos que dados conjuntos E, F e H quaisquer, temos ( E F ) H = ( E H ) ( F H ).
Usando esta propriedade, temos:
( A B ) B' = ( A B' ) ( B B' ) = ( A B' ) = A B'.
Ento, a proposio A B' = A A B = diz o mesmo que a original.
Vamos prov-la dividindo-a em duas partes:
Parte 1: A B' = A A B = .
Iremos fazer esta prova usando a equivalncia lgica p q q p. Isto se chama
prova por contraposio. Para isto, escreveremos a proposio na seguinte forma:
A B A B' A.
PROVA:
Suponhamos que A B . Ento h pelo menos um elemento nesta interseco. Isto :
( x )( x A B ) ( x )( x A x B ).
Mas: x A x B x A x B' x A x A B'.
Ento, A e A B tm pelo menos um elemento diferente.
Logo A - A B' A.
Logo A B A B' A.
Logo A B' = A A B = .
Parte 2: A B = A B' = A
PROVA :
Suponhamos que A B = .
x A B x A x B' x A x B.
Como A B = ento x A x B x A
Logo x A.
Logo A B = A B' = A.
Concluso: A B' = A A B =
Concluso geral: ( A B ) B' = A A B =

(h). A proposio verdadeira. PROVA:
Sejam A e B conjuntos tais que A B = . Ento:
x, x A x B, pois A B = .
Mas: x B x B'.
Logo, x, x A x B'.
Concluso : A B'.


(i). A proposio falsa. PROVA:
Precisamos dividir a proposio em duas partes, usando a equivalncia lgica
p q ( p q ) ( q p ).
Assim, temos de mostrar duas partes:
Sejam A, B, C conjuntos.
Parte 1: A - B = A - C B = C
Suponhamos que A B = A C.
Esta proposio falsa. Com efeito, existem os conjuntos A = { 1, 2 }, B = { 2, 3 } e C = { 2, 4 }
tais que
A - B = { 1 } e A - C = { 1 }
Mas B C.
Logo a proposio falsa.
Note que isto suficiente para mostrar que a proposio A - B = A - C B = C falsa, em
geral.
(Apenas como curiosidade, apresentamos uma prova para a validade da parte 2.)
Parte 2: B = C A - B = A - C
Suponhamos que B = C. Ento:
A B = A B = A C = A C.
Logo, B = C A - B = A - C.

(j). A proposio falsa. PROVA:
Precisamos dividir a proposio em duas partes, usando a equivalncia lgica
p q ( p q ) ( q p ).
Assim, temos de mostrar duas partes:
Sejam A, B conjuntos.
Parte 1: A x B = B x A A = B
Suponhamos que A x B = B x A.
A proposio falsa. Se escolhermos A = { 1, 2 } e B = , teremos:
A x B = e B x A =
Porm A B.
Logo, a proposio falsa, em geral.
Note que isto suficiente para mostrar que a proposio A x B = B x A A = B falsa, em geral.
(Apenas como curiosidade, apresentamos uma prova para a validade da parte 2.)
Parte 2: A = B A x B = B x A
Suponhamos que A = B. Ento:
A x B = { ( x, y ) / x A y B } = { ( x, y ) / y B x A } = B x A
Logo, A = B A x B = B x A.

(k). A proposio verdadeira. PROVA:

Sejam A, B e C conjuntos. Ento:
( x, y ), ( x, y ) (A x C) (B x C)
( x, y ) (A x C) ( x, y ) (B x C)
( x A y C ) ( x B y C )
( ( x A y C ) x B ) ( ( x A y C ) y C )
( x A x B ) ( y C x B ) ) ( x A y C ) ( y C y C )
( x A x B ) ( y C x B ) ) ( x A y C ) y C
( x A x B ) y C
( x, y ) ( A B ) x C.
Logo, ( A x C ) ( B x C ) = ( A B ) x C.

(l). A proposio falsa. PROVA:
Existem A = { 1, 2 } e B = { 3, 4 }, C = { 4, 5 }. Ento:
A B = { 1, 2, 3, 4 } e ( A B ) C ={ 4 }.
B C = { 4 } e A ( B C ) = {1,2,4 }.
Como { 4 } { 1, 2, 4 }, a proposio falsa, em geral.

(m). A proposio verdadeira. PROVA:
Sejam A e B conjuntos. Ento:
A B = { x / ( x A x B ) ( x B x A ) } =
= { x / ( ( x A x B ) x B ) ( ( x A x B ) x A ) } =
= { x / ( x A x B ) ( x A x B ) } =
= { x / ( x A x B ) ( x A x B ) } =
= { x / x A B x A B } =
= ( A B ) - ( A B ).
Logo, A B = ( A B ) - ( A B ).

(n). A proposio verdadeira. PROVA:
Sejam A e B conjuntos. Ento:
A B = ( A B ) - (A B ) = { x / x A B x A B }
Mas: x, x A B x A B x A B x A B.
Ento: x, x A B x A B.
Concluso: A B A B.


10.
(a). (b).
(c). (d).

11.
(a). A x B = { ( 1, 2 ), ( 1, 3 ) }
P( A x B ) = { , { ( 1, 2 ) }, { ( 1, 3 ) }, A x B }

(b). P( A x B ) x B = { ( , 2 ), ( , 3 ), ( { ( 1, 2 ) }, 2 ), ( { ( 1, 2 ) }, 3 ),
( { ( 1, 3 ) }, 2 ), ( { ( 1, 3 ) }, 3 ), ( A x B, 2 ), ( A x B, 3 ) }

(c). C
DxD
A x B =

12.
AIDS ALZHEIMER = { gentica, 0.76; vrus, 0.88; nutrio, 0.37; bactria, 0.58; ambiente, 0.58 }

Teoria Dos Conjuntos

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Teoria Dos Conjuntos

Enviado por

Direitos autorais:

Formatos disponíveis

Pontifcia Universidade Catlica do Rio Grande do Sul

Faculdade de Matemtica - Departamento de Matemtica

Você também pode gostar