Escolar Documentos
Profissional Documentos
Cultura Documentos
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
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 , . . ..
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
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
Diagramas
numerados (5) Elemento zero de e de :
A=
AU =U
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
(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
Diagramas
A = A.
gerais
(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
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)
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
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)
Renata de
Diagramas gerais
Freitas e
Petrucio
Viana Diagramas gerais s
ao diagramas que representam todas as
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
'!&%"#$
Renata de
Diagramas gerais
Freitas e
Petrucio
Viana
Provas
alg
ebricas
Diagramas U
gerais
A
p
wvqu
rst
Diagramas
numerados
Renata de
Diagramas gerais
Freitas e
Petrucio
Viana
Provas
alg
ebricas
Diagramas U
gerais
A B
p
wvqp
w
u
rvqs
tu
rst
Diagramas
numerados
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
Renata de
Diagramas gerais
Freitas e
Petrucio
Viana
Diagramas
gerais
Diagramas
E para 5 conjuntos?
numerados
http://www.combinatorics.org/Surveys/ds5/VennEJC.html
Algebra de
Conjuntos
Renata de
Diagramas numerados
Freitas e
Petrucio
Viana
Algebra de
conjuntos
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
Provas
alg
ebricas
Diagramas
gerais
1. provar que uma inclusao ou igualdade e verdadeira, para
Diagramas
todos os conjuntos;
numerados
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
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
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
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
Diagramas
gerais U = {1, 2, 3, 4}
Diagramas
numerados
A = {2, 4} e B = {3, 4}
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.