Você está na página 1de 34

Pontifcia Universidade Catlica do Rio Grande do Sul

Faculdade de Matemtica - Departamento de Matemtica

Estruturas Algbricas

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

Sumrio
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

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

Notaes _____________________________________________________________ 4

1.4.2

Observaes __________________________________________________________ 4

1.4.3

Uma Propriedade Importante _____________________________________________ 5

Intervalos ________________________________________________________________ 5

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

Conjunto Vazio & Conjunto Universo ___________________________________________ 4

1.4.1

1.5
2

Formas de Representao de Conjuntos ________________________________________ 2

Igualdade ________________________________________________________________ 7

2.3.1

Exemplos_____________________________________________________________ 8

2.3.2

Propriedades __________________________________________________________ 8

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

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.4.3

Observao Importante _________________________________________________ 13

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

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.4

Observao Importante _________________________________________________ 18

4.2.5

Exemplos____________________________________________________________ 18

4.3
5

ii

Observao: Produto Cartesiano de Trs Conjuntos ______________________________ 19

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

Exerccios __________________________________________________________________ 23

Respostas dos Exerccios ______________________________________________________ 25

Vedada a alterao ou o uso sem o consentimento prvio dos autores

Vaccaro & Canto

Estruturas Algbricas

1 Introduo e Conceitos Bsicos


1.1 Comentrios Iniciais
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.2 Conjunto, Elemento & Relao de Pertena


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.2.1 Exemplos
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 }

Vedada a alterao ou o uso sem o consentimento prvio dos autores

Vaccaro & Canto

Estruturas Algbricas

1.2.2 Notaes
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.
xA

significa

o elemento x pertence ao conjunto A

xA

significa

o elemento x no pertence ao conjunto A

1.2.3 Observaes Importantes


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.3 Formas de Representao de Conjuntos


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.3.1 Por Extenso


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.3.1.1

Exemplos

(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.3.1.2

Observaes

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.

Vedada a alterao ou o uso sem o consentimento prvio dos autores

Vaccaro & Canto

Estruturas Algbricas

1.3.2 Por Compreenso


Consiste em descrever o conjunto atravs de uma propriedade lgica (uma proposio) comum a
todos seus elementos.
1.3.2.1

Exemplos

(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 =

m
m
m Z n Z* } = {
/ m Z n Z* }
n
n

(f). S = { x / x N } ou, simplesmente, S = N


(g). P = { k / k = 2n n N }
1.3.2.2

Observaes

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.3.3 Por Grficos


Consiste em descrever o conjunto atravs de grficos cartesianos.
1.3.3.1

Exemplos

(a). A = { x R / -1 x < 2 }
-1

(b). B = { ( x, y ) / x Z y R }

-2

1.3.3.2

-1

Observaes

Pontos positivos: So teis para a compreenso de propriedades grficas.


Pontos negativos: Em geral so difceis de construir.

Vedada a alterao ou o uso sem o consentimento prvio dos autores

Vaccaro & Canto

Estruturas Algbricas

1.3.4 Por Diagramas de Venn


Diagramas de Venn so representaes esquemticas de conjuntos.
1.3.4.1

Exemplos

(a). A = { 1, 2, 3 }

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

B
1

1.3.4.2

Observaes

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
discretos1.

1.4 Conjunto Vazio & Conjunto Universo


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.4.1 Notaes
Conjunto Universo: usualmente representado pelo smbolo U.
Conjunto Vazio: usualmente representado pelos smbolos ou { }.

1.4.2 Observaes
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...
Vedada a alterao ou o uso sem o consentimento prvio dos autores

Vaccaro & Canto

Estruturas Algbricas

= { x / x x } = { x R / x > x+1 } = { x R / x2 < 0 }


Observe tambm que: { }. Por qu?

1.4.3 Uma Propriedade Importante


Proposio: O conjunto vazio nico.
Demonstrao2:
Sejam A1 e A2 dois conjuntos vazios.
A1 A2 , pois (x) (x A1 x A2) verdadeira, j que x A1 sempre falso.
Da mesma forma, (x) (x A2 x A1) verdadeira; assim A2 A1.
Portanto, (x) (x A1 x A2).
Logo, A1 = A2.

1.5 Intervalos
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

{xR/axb}

[a;b]

{xR/a<xb}
{xR/ax<b}
{xR/a<x<b}

(a;b]
]a;b]
[a;b)
[a;b[
(a;b)
]a;b[

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.

Vedada a alterao ou o uso sem o consentimento prvio dos autores

Vaccaro & Canto

Estruturas Algbricas

2 Relaes Entre Conjuntos


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.1 Incluso
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)

2.1.1 Exemplos
(a). N Z
(b). { x Z / ( y Z )( y = 6x ) } { x Z / ( y Z )( y = 2x ) }
(c). { x / x par } { x /

x
Z}
2

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

(Reflexividade)

(AB)(BC)AC

(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.

Vedada a alterao ou o uso sem o consentimento prvio dos autores

Vaccaro & Canto

Estruturas Algbricas

2.1.3 Exemplos
(a). N Z Z Q N Q
(b). { x / x par } { x /

x
x
x
Z } { x / Z } { x / x par } { x / x par } = { x / Z }
2
2
2

2.1.4 Observaes
Pode-se tambm dizer que B contm A, denotando por B A.
Em Teoria da Computao muito comum se utilizar a notao
intepretao da incluso feita de maneira diferente:

em vez de . Isto porque a

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 Incluso Estrita


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 )

2.2.1 Exemplos
(a). N Z
(b). Z R

2.2.2 Propriedades
Sejam A, B e C conjuntos. Ento so vlidas as seguintes propriedades:
AA
(AB)(BC)AC

(Transitividade)

No provaremos as propriedades acima pelo fato de as demonstraes serem semelhantes s


apresentadas para a relao de Incluso.

2.3 Igualdade
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 )

Vedada a alterao ou o uso sem o consentimento prvio dos autores

Vaccaro & Canto

Estruturas Algbricas

2.3.1 Exemplos
(a). { 3 ,

3 } = { x / x2 = 3 }

(b). { -4, -2, -1, 1, 2, 4 } = { x / x divisor de 4 }


(c). { x / x par } = { x /

x
Z}
2

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

(Reflexividade)

A=BB=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.

Vedada a alterao ou o uso sem o consentimento prvio dos autores

Vaccaro & Canto

Estruturas Algbricas

3 Operaes Entre Conjuntos


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.1 Unio
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:
AB={x/xAxB}

3.1.1 Exemplos
(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

3.1.2 Propriedades
Sejam A, B e C conjuntos. Ento so vlidas as seguintes propriedades:
AB=BA

(Comutatividade)

(AB)C=A(BC)

(Associatividade)

AA=A

(Idempotncia)

A=A

(elemento neutro)

AU=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.1.3 Observao Importante


Note que
(AB)C=A(BC)=ABC
pois, pela propriedade de associatividade, tanto faz resolver primeiro a unio de A com B como a de
B com C.

Vedada a alterao ou o uso sem o consentimento prvio dos autores

Vaccaro & Canto

Estruturas Algbricas

10

3.1.4 Exemplos
3.1.4.1

Exemplo

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.1.4.2

Exemplo

Mostre que, sendo A e B conjuntos, ento A A B.


Demonstrao:
Sejam A e B conjuntos.
(x) (xA* xA xB x A B)
*ppq
3.1.4.3

Exemplo

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.2 Interseo
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 }

3.2.1 Exemplos
(a). Sejam A = { a, b, c } e B = { a, b, d }. Ento A B = { a, b }
(b). Sejam A = { , ,

}eB={

}. 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 }
Vedada a alterao ou o uso sem o consentimento prvio dos autores

Vaccaro & Canto

Estruturas Algbricas

11

3.2.2 Propriedades
Sejam A, B e C conjuntos. Ento so vlidas as seguintes propriedades:
AB=BA

(Comutatividade)

(AB)C=A(BC)

(Associatividade)

AA=A

(Idempotncia)

A=

(elemento absorvente)

AU=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.

3.2.3 Observao Importante


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.2.4 Exemplos
3.2.4.1

Exemplo

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.2.4.2

Exemplo

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:
xABxAxBxA
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 ).

Vedada a alterao ou o uso sem o consentimento prvio dos autores

Vaccaro & Canto

Estruturas Algbricas

12

3.3 Propriedades Comuns Unio e Interseo


Sejam A, B e C conjuntos. Ento so vlidas as seguintes propriedades:
(AB)C=(AC)(BC)

(Distributividade da unio em relao interseo)

(AB)C=(AC)(BC)

(Distributividade da interseo em relao unio)

(AB)A=A

(Absoro)

(AB)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.4 Diferena
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:
AB={x/xAxB}

3.4.1 Exemplos
(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, ... }

3.4.2 Propriedades
Sejam A, B e C conjuntos. Ento so vlidas as seguintes propriedades:
ABA
AB=AB=A
AB=AB=CA =CB
(AB)B=
(AB)B=AB
(AB)C=(AC)(BC)

(Distributividade)

(AB)C=(AC)(BC)

(Distributividade)

A=A
AU=
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.
Vedada a alterao ou o uso sem o consentimento prvio dos autores

Vaccaro & Canto

Estruturas Algbricas

13

3.4.3 Observao Importante


Note que, em geral a comutatividade no vlida. Isto , para A e B conjuntos,
A B B A, em geral.

3.5 Complementao
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 CEA ,
por AE ou por A E .
Em notao lgica:
CEA = { 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.

3.5.1 Exemplos
(a). Sejam A = { 1, 2, 3 } e B = { 2 }. Ento CBA no est definido, pois A B.
(b). Sejam A = { 1, 2, 3 } e B = { 1,2, 3, 4, 5, 6 }. Ento CBA = {4, 5, 6}
(c). Seja A = { 1, 2, 3 }. Ento AN = { 0, 4, 5, 6, ...}

3.5.2 Propriedades
Sejam A, B e E conjuntos tais que A E e B E. Ento so vlidas as seguintes propriedades:
Propriedade geral

Em particular

( AE )E = A.

( A ) = A.

A B BE AE

A B B A

AE A = E

A A = U

AE A =

A A =

( U ) =
( ) = U
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.

Vedada a alterao ou o uso sem o consentimento prvio dos autores

Vaccaro & Canto

Estruturas Algbricas

14

3.5.3 Exemplos
3.5.3.1

Exemplo

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.5.3.2

Exemplo

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.5.4 Uma Identidade Fundamental


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.6 Leis de De Morgan


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.7 Diferena Simtrica


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.
Vedada a alterao ou o uso sem o consentimento prvio dos autores

Vaccaro & Canto

Estruturas Algbricas

15

Em notao lgica:
A B = { x / ( x A x B ) ( x B x A ) } = (A B) (B A)

3.7.1 Exemplos
(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}

3.7.2 Propriedades
Sejam A, B e C conjuntos. Ento so vlidas as seguintes propriedades:
AB=(AB)(BA)
AB=(AB)(BA)
AB=BA

(Comutatividade)

(AB)C=(AC)(BC)

(Distributividade)

(AB)C=(AC)(BC)

(Distributividade)

A=A
AB=AB=AB
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.

3.7.3 Exemplo
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).

Vedada a alterao ou o uso sem o consentimento prvio dos autores

Vaccaro & Canto

Estruturas Algbricas

16

4 Produto Cartesiano
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.1 Seqncias Ordenadas de Elementos


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:
( a1, a2, a3, ..., an )
Vale ressaltar que as seqncias ( a1, a2, a3, ..., an ) e ( a2, a1, a3, ..., an ) no so iguais, por exemplo.
Alm disso, observe-se que a natureza dos elementos ai (1 i n ) no precisa ser a mesma. Isto ,
a1 pode ser um nmero, enquanto que a2 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

Joo

20

Porto Alegre

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 )

Vedada a alterao ou o uso sem o consentimento prvio dos autores

Vaccaro & Canto

Estruturas Algbricas

17

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.2 Produto Cartesiano de Dois Conjuntos


4.2.1 Definio
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 }

4.2.2 Exemplos
(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.

Vedada a alterao ou o uso sem o consentimento prvio dos autores

Vaccaro & Canto

Estruturas Algbricas

18

(c). O plano cartesiano dado pelo conjunto R x R.


Observao: Uma outra notao para R x R R2, 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:


AxB=
BxA=

4.2.3 Propriedades
Sejam A, B, C e D conjuntos. Ento so vlidas as seguintes propriedades:
Ax(BC)=(AxB)(AxC)
Ax(BC)=(AxB)(AxC)
ABAxCBxC
(AxB)(CxD)=(AC)x(BD)
AxB=(A=)(B=)
AxB=BxA(A=)(B=)(A=B)
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.

4.2.4 Observao Importante


Note que, em geral a comutatividade no vlida. Isto , para A e B conjuntos,
A x B B x A, em geral.

4.2.5 Exemplos
4.2.5.1

Exemplo

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.2.5.2

Exemplo

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.
Vedada a alterao ou o uso sem o consentimento prvio dos autores

Vaccaro & Canto

Estruturas Algbricas

4.2.5.3

19

Exemplo

Represente graficamente o subconjunto do produto cartesiano R2 definido por S = { ( x, y ) / x+y 1 }.


Soluo:

4.3 Observao: Produto Cartesiano de Trs Conjuntos


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

(AxB)xCAxBxC

Da mesma forma

Ax(BxC)AxBxC

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/xA}
B={y/yB}
C={z/zC}
Ento: B x C = { ( y, z ) / y B z C }
Ora, mas
Ax(BxC)

= { ( x, w ) / x A w B x C }
= { ( x, ( y, z ) ) / x A y B z C }

Da definio acima, temos que


AxBxC

= { ( 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!

Vedada a alterao ou o uso sem o consentimento prvio dos autores

Vaccaro & Canto

Estruturas Algbricas

20

5 Guia de Consulta Rpida


5.1 Notao
Representados sempre usando chaves. A nica exceo feita aos intervalos, que
possuem notao prpria.
Conjuntos

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 ).

AE ou CEA

A ou CA

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.
AB={x/xAxB}
Operao de Interseo.
AB={x/xAxB}
Operao de Diferena.
AB={x/xAxB}
Operao de Complementao do conjunto A em relao ao conjunto E.
A E AE = E A = { x / x E x A }
Operao de Complementao do conjunto A em relao ao conjunto Universo.
A = U A = { x / x A }
Operao de Diferena Simtrica.
AB={x/(xAxB)(xBxA)}
Operao de Produto Cartesiano de dois conjuntos.
A x B = { ( x, y ) / x A y B }

Vedada a alterao ou o uso sem o consentimento prvio dos autores

Vaccaro & Canto

Estruturas Algbricas

21

5.2 Propriedades das Relaes Entre Conjuntos


Sejam A, B e C conjuntos. Seja o conjunto vazio. Ento:
(1).

A=A

(Reflexividade)

(2).

A=BB=A

(Simetria)

(3).

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

(Transitividade)

(4).

(5).

AA

(Reflexividade)

(6).

(AB)(BC)AC

(Transitividade)

(7).

(AB)(BA)A=B

(Anti-Simetria)

(8).

AA

(9).

(AB)(BC)AC

(Transitividade)

5.3 Propriedades Fundamentais das Operaes Entre Conjuntos


Sejam A, B e C conjuntos. Sejam o conjunto vazio e U o conjunto universo. Ento:
(1).

AA=A

(Idempotncia ou Idemponncia)

(2).

AB=BA

(Comutatividade)

(3).

(AB)C=A(BC)

(Associatividade)

(4).

A=A

(5).

AU=U

(6).

AA=A

(Idempotncia ou Idemponncia)

(7).

AB=BA

(Comutatividade)

(8).

(AB)C=A(BC)

(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)

Vedada a alterao ou o uso sem o consentimento prvio dos autores

Vaccaro & Canto

Estruturas Algbricas

22

5.4 Propriedades Auxiliares das Operaes Entre Conjuntos


Sejam A, B e C conjuntos. Sejam o conjunto vazio e U o conjunto universo. Ento:
(1).

ABA

(2).

AB=AB=A

(3).

AB=AB=CA =CB

(4).

(AB)B=

(5).

(AB)B=AB

(6).

(AB)C=(AC)(BC)

(7).

(AB)C=(AC)(BC)

(8).

A=A

(9).

AU=

(10). A =
(11). ( AE )E = A.
(12). A B BE AE
(13). A B B A
(14). AE A = E
(15). AE 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 Propriedades do Produto Cartesiano


Sejam A, B e C conjuntos. Seja o conjunto vazio. Ento:
(1).

Ax(BC)=(AxB)(AxC)

(2).

Ax(BC)=(AxB)(AxC)

(3).

ABAxCBxC

(4).

(AxB)(CxD)=(AC)x(BD)

(5).

AxB=(A=)(B=)

(6).

AxB=BxA(A=)(B=)(A=B)

Vedada a alterao ou o uso sem o consentimento prvio dos autores

Vaccaro & Canto

Estruturas Algbricas

23

6 Exerccios
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?

4.

(a) a C

(b) b A

(c) c A

(d) b B

(e) e A

(f) f A

Sejam A = { ( x, y ) / ( x, y ) est a trs unidades do ponto ( 1, 4 ) }


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.x2 + 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 =

(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:

(c) A B A B

(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

Vedada a alterao ou o uso sem o consentimento prvio dos autores

Vaccaro & Canto

Estruturas Algbricas

24

(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 / x2 + 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) CDxD 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 p1 de pertencer a A e a probabilidade p2 de
pertencer a B, ento a probabilidade de x ser um elemento de A B dada por p1 + p2 p1.p2.
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

Vedada a alterao ou o uso sem o consentimento prvio dos autores

Vaccaro & Canto

Estruturas Algbricas

25

7 Respostas dos Exerccios


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).

Vedada a alterao ou o uso sem o consentimento prvio dos autores

Vaccaro & Canto

Estruturas Algbricas

26

(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 :
pq(pq)(qp)
(pq)r(pr)(qr)
(pq)r(pr)(qr)
pqp
pfp
ppv
(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:
Sejam A e B conjuntos.
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.
Vedada a alterao ou o uso sem o consentimento prvio dos autores

Vaccaro & Canto

Estruturas Algbricas

27

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:
Sejam A e B conjuntos.
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.
Vedada a alterao ou o uso sem o consentimento prvio dos autores

Vaccaro & Canto

Estruturas Algbricas

28

Concluso final : Por (1) e (2) vem que A' B' = B' A B.
(g). A proposio verdadeira. PROVA:
Sejam A e B conjuntos.
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'.

Vedada a alterao ou o uso sem o consentimento prvio dos autores

Vaccaro & Canto

Estruturas Algbricas

29

(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}eA-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:
AxB=eBxA=
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:
Vedada a alterao ou o uso sem o consentimento prvio dos autores

Vaccaro & Canto

Estruturas Algbricas

30

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)
(xAyC)(xByC)
((xAyC)xB)((xAyC)yC)
(xAxB)(yCxB))(xAyC)(yCyC)
(xAxB)(yCxB))(xAyC)yC
(xAxB)yC
( 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:
AB={x/(xAxB)(xBxA)}=
={x/((xAxB)xB)((xAxB)xA)}=
={x/(xAxB)(xAxB)}=
={x/(xAxB)(xAxB)}=
={x/xABxAB}=
= ( 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.

Vedada a alterao ou o uso sem o consentimento prvio dos autores

Vaccaro & Canto

Estruturas Algbricas

31

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).

CDxD A x B =

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

Vedada a alterao ou o uso sem o consentimento prvio dos autores

Vaccaro & Canto