'

CONJUNTOS
Prof. Csar Francisco de Moura Couto e Matemtica Discreta a

&

'

CEFET-MG

Operaoes com Conjuntos c

Introduo ca
Sejam A e B conjuntos. A unio dos conjuntos A e B, indicada por A B, o conjunto que a e contm aqueles elementos que esto em A ou em B, ou em ambos. e a A B = {x|x A x B} Diagrama de Venn A unio dos conjuntos {1, 3, 5} e {1, 2, 3} o conjunto {1, 2, 3, 5} a e Sejam A e B conjuntos. A interseo dos conjuntos A e B, indicada por A B, o ca e conjunto que contm aqueles elementos que esto em A e em B, simultaneamente. e a A B = {x|x A x B} Diagrama de Venn A interseo dos conjuntos {1, 3, 5} e {1, 2, 3} o conjunto {1, 3} ca e

&

Prof. Csar Francisco de Moura Couto e

'

CEFET-MG

Operaoes com Conjuntos c

Introduo ca
Dois conjuntos so chamados de disjuntos se sua interseo um conjunto vazio. a ca e Sejam A e B conjuntos. A diferena entre A e B, indicada por A B. o conjunto que c e contm aqueles elementos que esto em A mas no esto em B. A diferena entre A e B e a a a c e tambm chamada de complemente de B em relao a A. A B = {x|x A x B} e ca / Diagrama de Venn A diferena dos conjuntos {1, 3, 5} e {1, 2, 3} o conjunto {5} c e e Considere U como conjunto universo. O complemento do conjunta A, indicado por A, o complemento de A em relao ` U . Em outras palavras, o complemento do conjunto A ca a e U A. A = {x|x A} / Diagrama de Venn

&

Prof. Csar Francisco de Moura Couto e

'

CEFET-MG

Operaoes com Conjuntos c

Identidades de Conjuntos
Identidades de Conjuntos Identidade Nome A=A Propriedades dos elementos neutros AU =A AU =U Propriedades de dominao ca A= AA=A Propriedades idempotentes AA=A (A) = A Propriedade da complementaao c AB =BA Propriedades comutativas AB =BA (A B) C = A (B C) Propriedades associativas (A B) C = A (B C) A (B C) = (A B) (A C) Propriedades distributivas A (B C) = (A B) (A C) (A B) = A B Leis de De Morgan (A B) = A B A (A B) = A Propriedades de absoro ca A (A B) = A AA=U Propriedades dos complementares AA=

&

Prof. Csar Francisco de Moura Couto e

'

CEFET-MG

Operaoes com Conjuntos c

Identidade de Conjuntos
Demonstre que A B = A B. a Soluo: Para mostrar que A B = A B, ser mostrado que A B A B e que ca A B A B. Primeiro ser mostrado que A B A B. Ento, suponha que a a x A B. Pela denio de complemento, x A B. Pela denio de interseo, ca / ca ca ((x A) (x B)) verdadeira. Aplicando a lei de De Morgan (da lgica), vemos que e o (x A) ou (x B). Assim, pela denio de negao, x A ou x B. Pela ca ca / / denio de complemento, x A ou x B. Tem-se que, pela denio de unio, ca ca a x A B. Isso mostra que A B A B. Agora, ser mostrado que A B A B. Suponha agora que x A B. Pela denio a ca de unio, x A ou x B. Usando a denio de complemento, tem-se que x A ou a ca / x B. Consequentemente,(x A) (x B) verdadeira. Pela lei de De Morgan (da / e lgica), conclui-se que ((x A) (x B)) verdadeira. Pela denio de interseo, o e ca ca tem-se que (x A B) mantm-se. Usa-se a denio de complemento para concluir que e ca e x (A B). Isso mostra que A B A B. Como mostra-se que cada conjunto um subconjunto do outro, os dois conjuntos so iguais e a identidade est demonstrada. a a
Prof. Csar Francisco de Moura Couto e 4

&

'

CEFET-MG

Operaoes com Conjuntos c

Identidade de Conjuntos
Use a notao de construo do conjunto e equivalncias lgicas para estabelecer a segunda lei ca ca e o de De Morgan A B = A B Soluo: Pode-se demonstrar essa identidade seguindo os seguintes passos. ca AB = = = = = = = = {x|x A B} / {x|(x (A B)} {x|(x A x B)} {x|(x A) (x B)} {x|x A x B} / / {x|x A x B} {x|x A B} AB

pelo deniao de complemento c pela deniao do s c mbolo: no pertence a pela deniao de interseo c ca pela primeira lei de De Morgan para equivalncias lgi e o pela deniao do s c mbolo: no pertence a pela deniao do complemento c pela deniao da unio c a pelo signicado da notao de ca construao do conjunto c

&

Prof. Csar Francisco de Moura Couto e

'

CEFET-MG

Operaoes com Conjuntos c

Identidade de Conjuntos
Demonstre a propriedade distributiva que arma que A (B C) = (A B) (A C) Soluo: ca A (B C) = {x A x (B C)} pelo deniao de interseo c ca = {x A (x B x C)} pela deniao de unio c a = {(x A x B) (x A x C)} pela propriedade distributiva (da Lgica) o = {x (A B) x (A C)} pela deniao de interseao c c = {x (A B) x (A C)} pela deniao de unio c a = (A B) (A C) pelo signicado da notao de ca construao do conjunto c

&

Prof. Csar Francisco de Moura Couto e

'

CEFET-MG

Operaoes com Conjuntos c

Identidade de Conjuntos
Demonstre que A (B C) = (C B) A Soluo: ca A (B C) = = = = A (B C) A (B C) (B C) A (C B) A pela pela pela pela primeira lei de De Morgan segunda lei de De Morgan propriedade comutativa para interseoes c propriedade comutativa para unies o

&

Prof. Csar Francisco de Moura Couto e

'

CEFET-MG

Operaoes com Conjuntos c

Identidade de Conjuntos
Demonstre que (A B) C = A (B C) Soluo: ? ca

&

Prof. Csar Francisco de Moura Couto e