Algebra de

Conjuntos

Renata de
Freitas e
Petrucio
Viana

Algebra de
conjuntos

Algebra de Conjuntos
Provas
alg
ebricas

Diagramas
gerais

Diagramas
Renata de Freitas e Petrucio Viana
numerados

Instituto de Matematica e Estatstica, UFF

Marco de 2011

Algebra de
Conjuntos

Renata de
Sumario
Freitas e
Petrucio
Viana

Algebra de
conjuntos
Algebra de conjuntos.
Provas
alg
ebricas

Diagramas
gerais
Provas alg
ebricas.
Diagramas
numerados

Diagramas gerais.

Diagramas numerados.

Algebra de
Conjuntos

Renata de
Venn
Freitas e
Petrucio
Viana

Algebra de
conjuntos

Provas
alg
ebricas

Diagramas
gerais

Diagramas
numerados
Matem
atico ingles.
Levou os diagramas a s
erio.

John Venn
(1834 1923)

Algebra de
Conjuntos

Algebra de conjuntos
Renata de
Freitas e
Petrucio
Viana Dados:

Algebra de
conjuntos
Letras mai
usculas:
Provas
alg
ebricas

Diagramas A, B, C , . . . , A1 , B1 , C1 , . . . , An , Bn , Cn , . . .
gerais

Diagramas
numerados Smbolos para operac
oes:

, ,

Express
oes (bem formadas) envolvendo letras e smbolos
para operac
oes.

Igualdade e inclus
oes entre estas operacoes.

Algebra de
Conjuntos

Algebra de conjuntos
Renata de
Freitas e
Petrucio
Viana

Algebra de
conjuntos
Problema:
Provas
alg
ebricas

Diagramas
gerais

Diagramas
numerados
Identificar igualdades e inclus
oes que sao verdadeiras
para quaisquer conjuntos A, B, C , . . .

Algebra de
Conjuntos

Renata de
Provas algebricas
Freitas e
Petrucio
Viana

Algebra de Ideia:
conjuntos

Provas
alg
ebricas

Diagramas
gerais (1) Escolher um repertorio de igualdades e inclusoes que sao
Diagramas
numerados
intuitivamente verdadeiras para quaisquer conjuntos
A, B, C , . . ..

(2) Provar as outras igualdades e inclus

oes a partir daquelas
listadas em (1), usando as propriedades basicas da
igualdade e da inclusao.

Algebra de
Conjuntos

Renata de
Problema 1
Freitas e
Petrucio
Viana

Algebra de
conjuntos Apresente uma prova algebrica das seguintes inclusao e
Provas
alg
ebricas
igualdade:
Diagramas
gerais

Diagramas
numerados

(a) A B A B

(b) A B C = (A B) (A C )

Algebra de
Conjuntos

Renata de
Provas algebricas
Freitas e
Petrucio
Viana Igualdades e inclus
oes intuitivamente verdadeiras para

Algebra de quaisquer conjuntos A, B, C :

conjuntos

Provas
alg
ebricas
(1) Associatividade de e de :
Diagramas
gerais A (B C ) = (A B) C
Diagramas A (B C ) = (A B) C
numerados

(2) Comutatividade de e de :
AB =B A
AB =B A

(3) Idempotencia de e de :
AA=A
AA=A

Algebra de
Conjuntos

Renata de
Provas algebricas
Freitas e
Petrucio
Viana

Algebra de (4) Elemento neutro de e de :

conjuntos
AU =A
Provas
alg
ebricas A=A
Diagramas
gerais

Diagramas
numerados (5) Elemento zero de e de :
A=
AU =U

(6) Distributividade de sobre , e de sobre :

A (B C ) = (A B) (A C )
A (B C ) = (A B) (A C )

Algebra de
Conjuntos

Renata de
Provas algebricas
Freitas e
Petrucio
Viana
(7) Involutividade de :

Algebra de
conjuntos A=A
Provas
alg
ebricas
(8) Leis de De Morgan:
Diagramas
gerais AB =AB
Diagramas
numerados
AB =AB

(9) Leis de absorcao:

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

(10) Definicoes de e U:
AA=
AA=U

Algebra de
Conjuntos

Renata de
Provas algebricas
Freitas e
Petrucio
Viana

Algebra de
conjuntos (11) = U
Provas
alg
ebricas

Diagramas
gerais
(12) U =
Diagramas
numerados

(13) A B A

(14) A A B

Algebra de
Conjuntos

Renata de
Provas algebricas
Freitas e
Petrucio
Viana Propriedades basicas da igualdade

(para quaisquer conjuntos A, B, C ):

Algebra de
conjuntos

Provas (1) Reflexividade:

alg
ebricas

Diagramas
A = A.
gerais

Diagramas (2) Simetria:

numerados
Se A = B, entao B = A.

(3) Transitividade:
Se A = B e B = C , entao A = C .

(4) Substitutividade:
Se A = B, entao se substituimos qualquer ocorrencia de A
por uma ocorrencia de B em uma expressao C , obtendo
uma expressao C [A B], temos que C [A B] C .

Algebra de
Conjuntos

Renata de
Provas algebricas
Freitas e
Petrucio
Viana
Propriedades basicas da inclusao

Algebra de
conjuntos (para quaisquer conjuntos A, B, C ):
Provas
alg
ebricas

Diagramas
gerais (1) Reflexividade:
Diagramas A A.
numerados

(2) Antissimetria:
Se A B e B A, entao A = B.

(3) Transitividade:
Se A B e B C , entao A C .

Algebra de
Conjuntos

Renata de
Problema 2
Freitas e
Petrucio
Viana

Algebra de
conjuntos
Apresente uma prova algebrica das seguintes igualdades:
Provas
alg
ebricas

Diagramas
gerais

Diagramas
numerados
(a) (A B) B = A B

(b) A B (B C ) = A B

Algebra de
Conjuntos

Renata de
Provas algebricas
Freitas e
Petrucio Dados os conjuntos A e B, tais que A = B,
Viana
uma prova algebrica da igualdade deve seguir

Algebra de o seguinte modelo de redacao:

conjuntos

Provas
alg
ebricas
1. Escreva Prova: ao iniciar a prova;
Diagramas 2. Escreva
gerais

Diagramas A = C1 (justificativa 1)
numerados
= C2 (justificativa 2)
= C3 (justificativa 3)
.. .. ..
. . .
= Cn (justificativa n)
= B (justificativa n + 1)

onde (justificativa i) e uma indicacao de quais

propriedades basicas ou hipoteses do problema justificam a
igualdade na linha i.

Algebra de
Conjuntos

Renata de
Provas algebricas
Freitas e
Petrucio Dados os conjuntos A e B, tais que A B,
Viana
uma prova algebrica da inclusao deve seguir

Algebra de o seguinte modelo de redacao:

conjuntos

Provas
alg
ebricas
1. Escreva Prova: ao iniciar a prova;
Diagramas 2. Escreva
gerais

Diagramas
numerados
A C1 (justificativa 1)
C2 (justificativa 2)
C3 (justificativa 3)
.. .. ..
. . .
Cn (justificativa n)
B (justificativa n + 1)

onde (justificativa i) e uma indicacao de quais

propriedades basicas ou hipoteses do problema justificam a
inclusao na linha i.

Algebra de
Conjuntos

Renata de
Diagramas gerais
Freitas e
Petrucio
Viana Diagramas gerais s
ao diagramas que representam todas as

Algebra de possibilidades de relac

oes de inclusao entre um
conjuntos
determinado n umero de conjuntos.
Provas
alg
ebricas

Diagramas
Em um diagrama geral os conjuntos s
ao representados por
gerais
regioes conexas, simples e fechadas do plano. Estas regioes
Diagramas
numerados sao usualmente representadas por crculos ou elipses.

G@A
FBEDC G@A
FBEDC HOI
NJ MLK G@FECD
'!&%"#$

nao conexas nao simples nao fechada

Dados n conjuntos, sempre existe um diagrama geral para

eles. Estes diagramas podem ser difceis de desenhar,
quando n 5.

Algebra de
Conjuntos

Renata de
Diagramas gerais
Freitas e
Petrucio
Viana

Diagrama geral para 1 conjunto:

Algebra de
conjuntos

Provas
alg
ebricas

Diagramas U
gerais
A
p
wvqu
rst
Diagramas
numerados

As regioes representadas sao A e A.


Algebra de
Conjuntos

Renata de
Diagramas gerais
Freitas e
Petrucio
Viana

Diagrama geral para 2 conjuntos:

Algebra de
conjuntos

Provas
alg
ebricas

Diagramas U
gerais
A B
p
wvqp
w
u
rvqs
tu
rst
Diagramas
numerados

As regioes representadas sao A B, A B, B A e A B.


Algebra de
Conjuntos

Renata de
Diagramas gerais
Freitas e
Petrucio
Viana Diagrama geral para 3 conjuntos:

Algebra de
conjuntos

Provas
alg
ebricas
U
Diagramas A B
p
wvqp
w
u
r v
qs
tu
rst
gerais

Diagramas

p
wvqu
rst
numerados

As regioes representadas sao A B C , A B C , B A C ,

C A B, A B C , A C B, B C A, e A B C .

Algebra de
Conjuntos

Renata de
Diagramas gerais
Freitas e
Petrucio
Viana

Algebra de Quantas regioes tera um diagrama geral para 4 conjuntos?

conjuntos
Quais sao elas?
Provas
alg
ebricas

Diagramas
gerais

Diagramas
E para 5 conjuntos?
numerados

Voce seria capaz de generalizar este resultado para um n

generico? Boa sorte!

http://www.combinatorics.org/Surveys/ds5/VennEJC.html

Algebra de
Conjuntos

Renata de
Diagramas numerados
Freitas e
Petrucio
Viana

Algebra de
conjuntos

Provas Um diagrama numerado para n conjuntos e um diagrama geral

alg
ebricas
para n conjuntos onde cada regiao esta rotulada com um dos
Diagramas
gerais umeros 1, 2, 3, . . . , 2n .
n
Diagramas
numerados

Que n
umero rotula cada regiao nao e muito importante. Mas
vamos seguir o padrao exemplificado nos exemplos que seguem.

Algebra de
Conjuntos

Renata de
Diagramas numerados
Freitas e
Petrucio
Viana

Algebra de
conjuntos Diagrama numerado para 1 conjunto:
Provas
alg
ebricas

Diagramas
gerais

Diagramas
numerados
U
A
p
wvqu
r2s
t

1

Algebra de
Conjuntos

Renata de
Diagramas numerados
Freitas e
Petrucio
Viana

Algebra de
conjuntos Diagrama numerado para 2 conjuntos:
Provas
alg
ebricas

Diagramas
gerais

Diagramas
numerados
U
A B
p
wvq u
r
2 p
w 4s
v
qtu
r3s
t

1

Algebra de
Conjuntos

Renata de
Diagramas numerados
Freitas e
Petrucio
Viana

Algebra de
Diagrama numerado para 3 conjuntos:
conjuntos

Provas
alg
ebricas

Diagramas
gerais U
Diagramas
A B
p
wvq
2 p
w
u
rvqs
tu
r3s
t
numerados
5

p
wvq
6 u
r7s
t
8

4
C
1

Algebra de
Conjuntos

Renata de
Diagramas numerados
Freitas e
Petrucio
Viana

Algebra de Diagramas numerados podem ser usados para:

conjuntos

Provas
alg
ebricas

Diagramas
gerais
1. provar que uma inclusao ou igualdade e verdadeira, para
Diagramas
todos os conjuntos;
numerados

2. provar que uma inclusao ou igualdade e falsa, exibindo

conjuntos (finitos!) que falsificam a inclusao ou igualdade.

Primeiramente, vamos ver alguns exemplos.


Algebra de
Conjuntos

Renata de
Diagramas numerados
Freitas e
Petrucio
Viana

Algebra de
Exemplo 1
conjuntos
Para verificar se A B A B, para todos os conjuntos A e
Provas
alg
ebricas B, fazemos o seguinte:
Diagramas
gerais 1. Consideramos o diagrama numerado para 2 conjuntos.
Diagramas
numerados U
A B
p
wvq u
r
2 p
w 4s
v
qtu
r3s
t

1

Algebra de
Conjuntos

Renata de
Diagramas numerados
Freitas e
Petrucio
Viana

Algebra de
conjuntos otulos r (A B) que
2. Calculamos uma sequencia de r
Provas corresponde `a regiao A B.
alg
ebricas

Diagramas
gerais
U
A B
p
wv2 p
q w
u
r v
qtu
4sr3s
t
Diagramas
numerados

r (A B) = 4

Algebra de
Conjuntos

Renata de
Diagramas numerados
Freitas e
Petrucio
Viana

Algebra de
conjuntos otulos r (A B) que
3. Calculamos uma sequencia de r
Provas corresponde `a regiao A B.
alg
ebricas

Diagramas
gerais
U
A B
p
wv2 p
q w
u
r v
qtu
4sr3s
t
Diagramas
numerados

r (A B) = 234

Algebra de
Conjuntos

Renata de
Diagramas numerados
Freitas e
Petrucio
Viana

Algebra de
conjuntos

Provas
alg
ebricas
4. Comparamos as sequencias r (A B) = 4 e
Diagramas
r (A B) = 234.
gerais

Diagramas
numerados

Como todos os r otulos que estao em r (A B) = 4 estao

tambem em r (A B) = 234, temos que
a inclusao e verdadeira para quaisquer conjuntos.

Algebra de
Conjuntos

Renata de
Provas por diagramas numerados
Freitas e
Petrucio
Viana
Dados os conjuntos A e B, tais que A B,

Algebra de
conjuntos uma prova por diagramas numerados da inclusao deve seguir
Provas o seguinte modelo de redacao:
alg
ebricas

Diagramas
gerais

Diagramas
1. Escreva Prova: ao iniciar a prova;
numerados
2. Desenhe o diagrama numerado para n conjuntos, onde n e
a quantidade de letras maiusculas que ocorrem na
apresentacao dos conjuntos A e B.
3. Explique, tao detalhadamente quanto achar necessario,
por que todos os rotulos da sequencia de rotulos associada
a A ocorrem na sequencia de rotulos associada a B.
4. Escreva para terminar a prova.

Algebra de
Conjuntos

Renata de
Diagramas numerados
Freitas e
Petrucio
Viana

Algebra de
Exemplo 2
conjuntos
Para verificar se A B A B, para todos os conjuntos A e
Provas
alg
ebricas B, fazemos o seguinte:
Diagramas
gerais 1. Consideramos o diagrama numerado para 2 conjuntos.
Diagramas
numerados U
A B
p
wvq u
r
2 p
w 4s
v
qtu
r3s
t

1

Algebra de
Conjuntos

Renata de
Diagramas numerados
Freitas e
Petrucio
Viana

Algebra de otulos r (A B) que

2. Calculamos uma sequencia de r
conjuntos
corresponde `a regiao A B.
Provas
alg
ebricas

Diagramas U
gerais
A B
p
wvq
2 p
w
u
r v
q
4s
tu
r3s
t
Diagramas
numerados

r (A B) = 4
r (A B) = 123

Algebra de
Conjuntos

Renata de
Diagramas numerados
Freitas e
Petrucio
Viana otulos r (A B) que
3. Calculamos uma sequencia de r

Algebra de
corresponde `a regiao A B.
conjuntos

Provas
alg
ebricas
U
A B
p
wvq
2 p
w
u
r v
q
4s
tu
r3s
t
Diagramas
gerais

Diagramas
numerados

r (A) = 24
r (A) = 13
r (B) = 34
r (B) = 12
r (A B) = 1

Algebra de
Conjuntos

Renata de
Diagramas numerados
Freitas e
Petrucio
Viana

Algebra de
conjuntos

Provas
alg
ebricas
4. Comparamos as sequencias r (A B) = 123 e
Diagramas
r (A B) = 1.
gerais

Diagramas
numerados

Como nem todos os r otulos em r (A B) = 123 aparecem

em r (A B) = 1, temos que
existem conjuntos para os quais a inclusao e falsa.

Algebra de
Conjuntos

Renata de
Diagramas numerados
Freitas e
Petrucio
Viana

Algebra de
conjuntos

Provas
alg
ebricas

Diagramas
gerais Usando o diagrama numerado, podemos obter um
Diagramas contra-exemplo para a inclusao A B A B, isto e,
numerados
podemos obter conjuntos A e B em um universo U tais que
A B 6 A B.

Algebra de
Conjuntos

Renata de
Diagramas numerados
Freitas e
Petrucio
Viana
Contra-exemplo:

Algebra de
conjuntos

Provas Considere o universo como o conjunto de todos os rotulos:

alg
ebricas

Diagramas
gerais U = {1, 2, 3, 4}
Diagramas
numerados

Defina A e B como sendo os conjuntos cujos elementos sao os

rotulos que ocorrem nas sequencias r (A) e r (B):

A = {2, 4} e B = {3, 4}

Neste caso, temos que A B = {1, 2, 3} 6 {1} = A B.


Algebra de
Conjuntos

Renata de
Exerccios
Freitas e
Petrucio
Viana

Algebra de
conjuntos

Provas
alg
ebricas

Diagramas
gerais

Diagramas
Refaca os exerccios indicados nos slides das aulas 1, 2, 4 e 5,
numerados utilizando provas algebricas e provas por diagramas numerados.