PONTIFCIA UNIVERSIDADE CATLICA DO RIO GRANDE DO SUL

Faculdade de Matemtica - Departamento de Matemtica

Matemtica Discreta

Tpico 03 Relaes entre conjuntos e lgebra dos Conjuntos

Consulta indicada: MENEZES, P. B.: Matemtica discreta para computao e informtica. Porto Alegre: Instituto de Informtica da
UFRGS: Editora Sagra Luzzato, 2004. (Srie Livros Didticos n16).

RELAES ENTRE CONJUNTOS

Incluso
Dados dois conjuntos quaisquer A e B, dizemos que A est contido em B se e somente se
qualquer elemento de A for tambm elemento de B.

A B (x) (x A x B)
Propriedades
Sejam A, B e C conjuntos quaisquer. Ento so vlidas as seguintes propriedades:

AA (Reflexividade)

(A B) (B C) A C (Transitividade)

Incluso Estrita
Dados dois conjuntos quaisquer A e B, dizemos 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

A B (x) (x A x B) ( y B | y A)
Propriedades
Sejam A, B e C conjuntos quaisquer. Ento so vlidas as seguintes propriedades:

A A

(A B) (B C) A C (Transitividade)

1
 Igualdade
Dados dois conjuntos quaisquer A e B, dizemos que A e B so iguais se e somente se tiverem
exatamente os mesmos elementos.
A = B (x) (x A x B)
Propriedades
Sejam A, B e C conjuntos quaisquer. Ento so vlidas as seguintes propriedades:

A=A (Reflexividade)

A = B B =A (Simetria)

(A B) (B A) A = B (Anti-simetria)

(A = B) (B = C) A = C (Transitividade)

LGEBRA DE CONJUNTOS
Consideremos (informalmente) que uma lgebra de Conjuntos constituda de operaes definidas
sobre conjuntos.
Relaes e Operaes entre conjuntos no so a mesma coisa. Enquanto que as relaes so
essencialmente formas de comparar conjuntos, as operaes so formas de se criar novos conjuntos a
partir de conjuntos j existentes. Ou seja, uma operao entre conjuntos sempre gera um novo conjunto
como resposta.
A maioria dos assuntos que estudaremos do conhecimento de todos, mas neste estudo vamos
verificar uma relao entre os conetivos lgicos e as operaes sobre conjuntos.
Unio
Dados dois conjuntos quaisquer A e B, a operao de unio ou reunio gera o conjunto com todos
os elementos que pertencem ao conjunto A ou ao conjunto B; correspondendo noo de disjuno da
Lgica Proposicional.
A B = {x | x A x B}
2
Propriedades
Sejam A, B e C conjuntos quaisquer. Ento so vlidas as seguintes propriedades:

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)

Demonstraes (Prova) das Propriedades:

A B = B A

(A B)C = A (B C)

A A = A

A = A

A U = U

3
 Interseo
Dados dois conjuntos quaisquer A e B, a operao de interseo ou interseco gera o conjunto
com todos os elementos que so comuns ao conjunto A e ao conjunto B; correspondendo noo de
conjuno da Lgica Proposicional.
A B = {x | x A x B}
Exemplos:

Propriedades
Sejam A, B e C conjuntos quaisquer. Ento so vlidas as seguintes propriedades:

A B = B A (Comutatividade)
(A B) C = A (B C) (Associatividade)
A A = A (Idempotncia)

A U = A (Elemento Neutro)

A = (Elemento Absorvente)

Demonstraes (Prova) das Propriedades: anlogas as provas das propriedades da unio!!!!

A B = B A

(A B) C = A (B C)

A A = A

A U = A

A =

4
 Propriedades Comuns a Unio e a interseo
Sejam A, B e C conjuntos quaisquer. Ento so vlidas as seguintes propriedades:

(A B) C = (A C) (B C) (Distributividade)
(A B) C = (A C) (B C) (Distributividade)
(A B) A = A (Absoro)

(A B) A = A (Absoro)

Demonstraes (Prova) das Propriedades:

(A B) C = (A C) (B C)

(A B) C = (A C) (B C)

(A B) A = A

(A B) A = A

Diferena
Dados dois conjuntos quaisquer A e B, a operao de diferena gera o conjunto com todos os
elementos que pertencem ao conjunto A mas no pertencem ao conjunto B.
A B = {x | x A x B}
Exemplos:

5
 Diferena Simtrica
Dados dois conjuntos quaisquer A e B, a operao de diferena simtrica entre A e B gera o
conjunto formado por todos os elementos que pertencem a apenas um dos 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.

A B = { x / ( x A x B ) ( x B x A ) } = (A B) (B A)
Exemplos:

Exerccio: Prova que A B = ( A B ) ( A B ).

Complementao
Dado um conjunto A qualquer, o conjunto complementar de A em relao ao Universo formado
por todos os elementos do Universo que no pertencem ao conjunto A. A notao utilizada para representar
este conjunto A ou A ou A ou CA.
A = {x U | x A}
Exemplos:

Propriedades
Sejam A e B conjuntos quaisquer. Ento so vlidas as seguintes propriedades:

A A = U

A A =

(A ) =A

A B B A

A B = A B

(A B) = A B (Lei de De Morgan)

(A B) = A B (Lei de De Morgan)

Exerccio: prova a validade das propriedades acima.

6
 CONJUNTO DAS PARTES
Seja A um conjunto qualquer. Chamamos de Conjunto das Partes de A ou Conjunto Potncia de A,
e denotamos por, P(A) o conjunto formado por todos os subconjuntos de A. Considerando n o nmero de
elementos de A, 2n ser o nmero de elementos de P(A).
P(A) = {x U | x A}
Exemplos:

PRODUTO CARTESIANO
O produto cartesiano de conjuntos uma operao definida na Teoria de Conjuntos que chama
ateno por suas aplicaes Informtica como grficos; especificao de relaes entre conjuntos de
dados; representao de regras lgicas atravs de relaes, etc. Isto porque permite definir conjuntos de
natureza diferente dos originais, atravs da associao ordenada de seus elementos.
A x B = {(x, y) | x A y B}
usual denotar o produto cartesiano de um conjunto com ele mesmo como um expoente. Por
exemplo, A x A = A2.
Exemplos:

7
 RELAO ENTRE LGICA E TEORIA DOS CONJUNTOS
Conforme j comentamos, a Lgica Proposicional fundamental no estudo da teoria dos Conjuntos.
Existe uma relao direta entre os operadores lgicos e algumas operaes sobre conjuntos. Assim,
terminamos com a seguinte tabela que mostra tal analogia:
Idempotncia pp p AA=A
pp p
AA=A
Comutatividade pq qp AB=BA
pq qp
AB=BA
Associatividade p (q r ) ( p q ) r A (B C) = (A B) C
p (q r ) ( p q ) r A (B C) = (A B) C
Distributividade p (q r ) ( p q ) ( p r ) A (B C) = (A B) (A C)
p (q r ) ( p q ) ( p r ) A (B C) = (A B) (A C)
Negao/Complementao ~ ~ p p (A) = A
p ~ p f A A =
p ~ p v
A A = U
De Morgan ~ ( p q ) ~ p ~ q (A B) = A B
~ ( p q ) ~ p ~ q (A B) = A B
Elemento neutro p v p AU=A
pf p
A=A
Elemento absorvente pf f A=
pv v AU=U
Absoro p (p q) p A (A B) = A
p (p q) p A (A B) = A