Professional Documents
Culture Documents
como sendo U A.
Problema resolvido: Sejam A e B conjuntos. Temos que
A B = A B
.
A.C.Bianchi (Unifesp) 15/09/2014 27 / 53
Complementos
Nota: Embora o conjunto universal no sentido absoluto, i.e, o conjunto
de todos os conjuntos, no exista (conforme veremos o Paradoxo de
Russel), no h problema em assumirmos temporariamente que todos
os conjuntos mencionados, no restante deste e dos demais captulos,
so subconjuntos de um conjunto xado U, que pode ser considerado
(temporariamente) como um conjunto universal no sentido restrito. De
modo a enunciar as regras bsicas a respeito de complementaes,
do modo mais simples possvel, assumiremos, a menos que seja dito
em contrrio, que todos os complementos so formados relativamente
a este conjunto U. Escreveremos ento A
como sendo U A.
Problema resolvido: Sejam A e B conjuntos. Temos que
A B = A B
.
A.C.Bianchi (Unifesp) 15/09/2014 27 / 53
Complementos
Proposio
Sejam A e B conjuntos. Ento,
1 (A
= A.
2
= U e U
= .
3 A A
= e A A
= U.
4 A B se, e somente se, B
.
5 (Teorema de De Morgan) (A B)
= A
e (A B)
= A
.
Problema: Sejam A, B, e C trs conjuntos quaisquer. Decida se o
conjunto A (B C) o mesmo que (A B) (A C).
A.C.Bianchi (Unifesp) 15/09/2014 28 / 53
Complementos
Proposio
Sejam A e B conjuntos. Ento,
1 (A
= A.
2
= U e U
= .
3 A A
= e A A
= U.
4 A B se, e somente se, B
.
5 (Teorema de De Morgan) (A B)
= A
e (A B)
= A
.
Problema: Sejam A, B, e C trs conjuntos quaisquer. Decida se o
conjunto A (B C) o mesmo que (A B) (A C).
A.C.Bianchi (Unifesp) 15/09/2014 28 / 53
Complementos
Proposio
Sejam A e B conjuntos. Ento,
1 (A
= A.
2
= U e U
= .
3 A A
= e A A
= U.
4 A B se, e somente se, B
.
5 (Teorema de De Morgan) (A B)
= A
e (A B)
= A
.
Problema: Sejam A, B, e C trs conjuntos quaisquer. Decida se o
conjunto A (B C) o mesmo que (A B) (A C).
A.C.Bianchi (Unifesp) 15/09/2014 28 / 53
Complementos
Proposio
Sejam A e B conjuntos. Ento,
1 (A
= A.
2
= U e U
= .
3 A A
= e A A
= U.
4 A B se, e somente se, B
.
5 (Teorema de De Morgan) (A B)
= A
e (A B)
= A
.
Problema: Sejam A, B, e C trs conjuntos quaisquer. Decida se o
conjunto A (B C) o mesmo que (A B) (A C).
A.C.Bianchi (Unifesp) 15/09/2014 28 / 53
Complementos
Proposio
Sejam A e B conjuntos. Ento,
1 (A
= A.
2
= U e U
= .
3 A A
= e A A
= U.
4 A B se, e somente se, B
.
5 (Teorema de De Morgan) (A B)
= A
e (A B)
= A
.
Problema: Sejam A, B, e C trs conjuntos quaisquer. Decida se o
conjunto A (B C) o mesmo que (A B) (A C).
A.C.Bianchi (Unifesp) 15/09/2014 28 / 53
Complementos
Proposio
Sejam A e B conjuntos. Ento,
1 (A
= A.
2
= U e U
= .
3 A A
= e A A
= U.
4 A B se, e somente se, B
.
5 (Teorema de De Morgan) (A B)
= A
e (A B)
= A
.
Problema: Sejam A, B, e C trs conjuntos quaisquer. Decida se o
conjunto A (B C) o mesmo que (A B) (A C).
A.C.Bianchi (Unifesp) 15/09/2014 28 / 53
Complementos
Proposio
Sejam A e B conjuntos. Ento,
1 (A
= A.
2
= U e U
= .
3 A A
= e A A
= U.
4 A B se, e somente se, B
.
5 (Teorema de De Morgan) (A B)
= A
e (A B)
= A
.
Problema: Sejam A, B, e C trs conjuntos quaisquer. Decida se o
conjunto A (B C) o mesmo que (A B) (A C).
A.C.Bianchi (Unifesp) 15/09/2014 28 / 53
Complementos
Proposio
Sejam A e B conjuntos. Ento,
1 (A
= A.
2
= U e U
= .
3 A A
= e A A
= U.
4 A B se, e somente se, B
.
5 (Teorema de De Morgan) (A B)
= A
e (A B)
= A
.
Problema: Sejam A, B, e C trs conjuntos quaisquer. Decida se o
conjunto A (B C) o mesmo que (A B) (A C).
A.C.Bianchi (Unifesp) 15/09/2014 28 / 53
Exerccios
1 Sejam A e B conjuntos.
1 Demonstre que A B = A (A B).
2 Demonstre que B A
do
conjunto A.
Figura 3
A.C.Bianchi (Unifesp) 15/09/2014 34 / 53
Diagramas de Venn - Exemplos
A rea sombreada na Figura 3 representa o complemento A
do
conjunto A.
Figura 3
A.C.Bianchi (Unifesp) 15/09/2014 34 / 53
Diagramas de Venn - Exemplos
A rea sombreada na Figura 3 representa o complemento A
do
conjunto A.
Figura 3
A.C.Bianchi (Unifesp) 15/09/2014 34 / 53
Diagramas de Venn - Exemplos
O conjunto A B, o complemento relativo de B em A,
representado pela parte sombreada na Figura 4.
Figura 4
A.C.Bianchi (Unifesp) 15/09/2014 35 / 53
Diagramas de Venn - Exemplos
O conjunto A B, o complemento relativo de B em A,
representado pela parte sombreada na Figura 4.
Figura 4
A.C.Bianchi (Unifesp) 15/09/2014 35 / 53
Diagramas de Venn - Exemplos
O conjunto A B, o complemento relativo de B em A,
representado pela parte sombreada na Figura 4.
Figura 4
A.C.Bianchi (Unifesp) 15/09/2014 35 / 53
Diagramas de Venn - Exemplos
Um diagrama de Venn tpico de trs conjuntos A, B, e C pode ser
desenhado como na Figura 5. Esses trs conjuntos dividem o
conjunto universal U em 8 partes, tal como indicado na Figura 6.
Figura 5
Figura 6
A.C.Bianchi (Unifesp) 15/09/2014 36 / 53
Diagramas de Venn - Exemplos
Um diagrama de Venn tpico de trs conjuntos A, B, e C pode ser
desenhado como na Figura 5. Esses trs conjuntos dividem o
conjunto universal U em 8 partes, tal como indicado na Figura 6.
Figura 5
Figura 6
A.C.Bianchi (Unifesp) 15/09/2014 36 / 53
Diagramas de Venn - Exemplos
Um diagrama de Venn tpico de trs conjuntos A, B, e C pode ser
desenhado como na Figura 5. Esses trs conjuntos dividem o
conjunto universal U em 8 partes, tal como indicado na Figura 6.
Figura 5
Figura 6
A.C.Bianchi (Unifesp) 15/09/2014 36 / 53
Diagramas de Venn - Utilidade
Usando os diagramas acima, podemos dar argumentos
heursticos simples para a validade de uma propriedade sobre
conjuntos. Entretanto, em matemtica, um argumento heurstico
no pode ser aceito como uma demonstrao, mas ajuda na
intuio!
Por exemplo, para a lei distributiva A(B C) = (AB) (AC),
note: da Figura 6, A (B C) consiste das reas 2, 3 e 7. Por
outro lado, (A B) (A C) representada pela unio das reas
2 e 7 e reas 3 e 7. Portanto, a igualdade parece plausvel.
A.C.Bianchi (Unifesp) 15/09/2014 37 / 53
Diagramas de Venn - Utilidade
Usando os diagramas acima, podemos dar argumentos
heursticos simples para a validade de uma propriedade sobre
conjuntos. Entretanto, em matemtica, um argumento heurstico
no pode ser aceito como uma demonstrao, mas ajuda na
intuio!
Por exemplo, para a lei distributiva A(B C) = (AB) (AC),
note: da Figura 6, A (B C) consiste das reas 2, 3 e 7. Por
outro lado, (A B) (A C) representada pela unio das reas
2 e 7 e reas 3 e 7. Portanto, a igualdade parece plausvel.
A.C.Bianchi (Unifesp) 15/09/2014 37 / 53
Diagramas de Venn - Utilidade
Usando os diagramas acima, podemos dar argumentos
heursticos simples para a validade de uma propriedade sobre
conjuntos. Entretanto, em matemtica, um argumento heurstico
no pode ser aceito como uma demonstrao, mas ajuda na
intuio!
Por exemplo, para a lei distributiva A(B C) = (AB) (AC),
note: da Figura 6, A (B C) consiste das reas 2, 3 e 7. Por
outro lado, (A B) (A C) representada pela unio das reas
2 e 7 e reas 3 e 7. Portanto, a igualdade parece plausvel.
A.C.Bianchi (Unifesp) 15/09/2014 37 / 53
Exerccios
1 Desenhe um diagrama de Venn para A B.
2 Desenhe diagramas de Venn para A B
, A
B e A
.
3 Desenhe diagramas de Venn para A B
, A
B e A
.
4 Nas igualdades abaixo, desenhe diagramas de Venn e d
argumentos heursticos de que cada uma das armaes
plausvel.
1 (A B)
= A
.
2 (A B)
= A
.
3 A (B A) = e A (B A) = A B.
4 (A B) (A B) = (A B) (B A).
A.C.Bianchi (Unifesp) 15/09/2014 38 / 53
Exerccios
1 Desenhe um diagrama de Venn para A B.
2 Desenhe diagramas de Venn para A B
, A
B e A
.
3 Desenhe diagramas de Venn para A B
, A
B e A
.
4 Nas igualdades abaixo, desenhe diagramas de Venn e d
argumentos heursticos de que cada uma das armaes
plausvel.
1 (A B)
= A
.
2 (A B)
= A
.
3 A (B A) = e A (B A) = A B.
4 (A B) (A B) = (A B) (B A).
A.C.Bianchi (Unifesp) 15/09/2014 38 / 53
Exerccios
1 Desenhe um diagrama de Venn para A B.
2 Desenhe diagramas de Venn para A B
, A
B e A
.
3 Desenhe diagramas de Venn para A B
, A
B e A
.
4 Nas igualdades abaixo, desenhe diagramas de Venn e d
argumentos heursticos de que cada uma das armaes
plausvel.
1 (A B)
= A
.
2 (A B)
= A
.
3 A (B A) = e A (B A) = A B.
4 (A B) (A B) = (A B) (B A).
A.C.Bianchi (Unifesp) 15/09/2014 38 / 53
Exerccios
1 Desenhe um diagrama de Venn para A B.
2 Desenhe diagramas de Venn para A B
, A
B e A
.
3 Desenhe diagramas de Venn para A B
, A
B e A
.
4 Nas igualdades abaixo, desenhe diagramas de Venn e d
argumentos heursticos de que cada uma das armaes
plausvel.
1 (A B)
= A
.
2 (A B)
= A
.
3 A (B A) = e A (B A) = A B.
4 (A B) (A B) = (A B) (B A).
A.C.Bianchi (Unifesp) 15/09/2014 38 / 53
Exerccios
1 Desenhe um diagrama de Venn para A B.
2 Desenhe diagramas de Venn para A B
, A
B e A
.
3 Desenhe diagramas de Venn para A B
, A
B e A
.
4 Nas igualdades abaixo, desenhe diagramas de Venn e d
argumentos heursticos de que cada uma das armaes
plausvel.
1 (A B)
= A
.
2 (A B)
= A
.
3 A (B A) = e A (B A) = A B.
4 (A B) (A B) = (A B) (B A).
A.C.Bianchi (Unifesp) 15/09/2014 38 / 53
Exerccios
1 Desenhe um diagrama de Venn para A B.
2 Desenhe diagramas de Venn para A B
, A
B e A
.
3 Desenhe diagramas de Venn para A B
, A
B e A
.
4 Nas igualdades abaixo, desenhe diagramas de Venn e d
argumentos heursticos de que cada uma das armaes
plausvel.
1 (A B)
= A
.
2 (A B)
= A
.
3 A (B A) = e A (B A) = A B.
4 (A B) (A B) = (A B) (B A).
A.C.Bianchi (Unifesp) 15/09/2014 38 / 53
Exerccios
1 Desenhe um diagrama de Venn para A B.
2 Desenhe diagramas de Venn para A B
, A
B e A
.
3 Desenhe diagramas de Venn para A B
, A
B e A
.
4 Nas igualdades abaixo, desenhe diagramas de Venn e d
argumentos heursticos de que cada uma das armaes
plausvel.
1 (A B)
= A
.
2 (A B)
= A
.
3 A (B A) = e A (B A) = A B.
4 (A B) (A B) = (A B) (B A).
A.C.Bianchi (Unifesp) 15/09/2014 38 / 53
Exerccios
1 Desenhe um diagrama de Venn para A B.
2 Desenhe diagramas de Venn para A B
, A
B e A
.
3 Desenhe diagramas de Venn para A B
, A
B e A
.
4 Nas igualdades abaixo, desenhe diagramas de Venn e d
argumentos heursticos de que cada uma das armaes
plausvel.
1 (A B)
= A
.
2 (A B)
= A
.
3 A (B A) = e A (B A) = A B.
4 (A B) (A B) = (A B) (B A).
A.C.Bianchi (Unifesp) 15/09/2014 38 / 53
Exerccios
1 Desenhe um diagrama de Venn para A B.
2 Desenhe diagramas de Venn para A B
, A
B e A
.
3 Desenhe diagramas de Venn para A B
, A
B e A
.
4 Nas igualdades abaixo, desenhe diagramas de Venn e d
argumentos heursticos de que cada uma das armaes
plausvel.
1 (A B)
= A
.
2 (A B)
= A
.
3 A (B A) = e A (B A) = A B.
4 (A B) (A B) = (A B) (B A).
A.C.Bianchi (Unifesp) 15/09/2014 38 / 53
Um longo desao - parte I
Um lsofo cometeu algum crime muito grave: olhou para uma das
esposas do Rei. Por isso, deve ser executado. O Generoso Rei,
porm, permite que ele escolha se quer ser enforcado ou decapitado,
desde que ele diga, respectivamente, uma verdade ou uma mentira. O
lsofo, ento, diz Eu serei decapitado.
O que aconteceu com o lsofo?
O que aconteceu com o Rei?
A.C.Bianchi (Unifesp) 15/09/2014 39 / 53
Um longo desao - parte I
Um lsofo cometeu algum crime muito grave: olhou para uma das
esposas do Rei. Por isso, deve ser executado. O Generoso Rei,
porm, permite que ele escolha se quer ser enforcado ou decapitado,
desde que ele diga, respectivamente, uma verdade ou uma mentira. O
lsofo, ento, diz Eu serei decapitado.
O que aconteceu com o lsofo?
O que aconteceu com o Rei?
A.C.Bianchi (Unifesp) 15/09/2014 39 / 53
Um longo desao - parte I
Um lsofo cometeu algum crime muito grave: olhou para uma das
esposas do Rei. Por isso, deve ser executado. O Generoso Rei,
porm, permite que ele escolha se quer ser enforcado ou decapitado,
desde que ele diga, respectivamente, uma verdade ou uma mentira. O
lsofo, ento, diz Eu serei decapitado.
O que aconteceu com o lsofo?
O que aconteceu com o Rei?
A.C.Bianchi (Unifesp) 15/09/2014 39 / 53
Um longo desao - parte I
Um lsofo cometeu algum crime muito grave: olhou para uma das
esposas do Rei. Por isso, deve ser executado. O Generoso Rei,
porm, permite que ele escolha se quer ser enforcado ou decapitado,
desde que ele diga, respectivamente, uma verdade ou uma mentira. O
lsofo, ento, diz Eu serei decapitado.
O que aconteceu com o lsofo?
O que aconteceu com o Rei?
A.C.Bianchi (Unifesp) 15/09/2014 39 / 53
Um longo desao - parte I
Um lsofo cometeu algum crime muito grave: olhou para uma das
esposas do Rei. Por isso, deve ser executado. O Generoso Rei,
porm, permite que ele escolha se quer ser enforcado ou decapitado,
desde que ele diga, respectivamente, uma verdade ou uma mentira. O
lsofo, ento, diz Eu serei decapitado.
O que aconteceu com o lsofo?
O que aconteceu com o Rei?
A.C.Bianchi (Unifesp) 15/09/2014 39 / 53
Um longo desao - parte II
Suponha-se que exista uma cidade com apenas um barbeiro, do sexo
masculino. Nesta cidade, todos os homens se mantm bem
barbeados e eles fazem isso apenas de duas maneiras:
(1) Barbeando-se ou (2) Frequentando o barbeiro.
Outra maneira de denir isso : O barbeiro um homem da cidade
que faz a barba de todos aqueles, e somente dos homens da cidade,
que no barbeiam a si mesmos.
Quem barbeia o barbeiro??
A.C.Bianchi (Unifesp) 15/09/2014 40 / 53
Um longo desao - parte II
Suponha-se que exista uma cidade com apenas um barbeiro, do sexo
masculino. Nesta cidade, todos os homens se mantm bem
barbeados e eles fazem isso apenas de duas maneiras:
(1) Barbeando-se ou (2) Frequentando o barbeiro.
Outra maneira de denir isso : O barbeiro um homem da cidade
que faz a barba de todos aqueles, e somente dos homens da cidade,
que no barbeiam a si mesmos.
Quem barbeia o barbeiro??
A.C.Bianchi (Unifesp) 15/09/2014 40 / 53
Um longo desao - parte II
Suponha-se que exista uma cidade com apenas um barbeiro, do sexo
masculino. Nesta cidade, todos os homens se mantm bem
barbeados e eles fazem isso apenas de duas maneiras:
(1) Barbeando-se ou (2) Frequentando o barbeiro.
Outra maneira de denir isso : O barbeiro um homem da cidade
que faz a barba de todos aqueles, e somente dos homens da cidade,
que no barbeiam a si mesmos.
Quem barbeia o barbeiro??
A.C.Bianchi (Unifesp) 15/09/2014 40 / 53
Um longo desao - parte II
Suponha-se que exista uma cidade com apenas um barbeiro, do sexo
masculino. Nesta cidade, todos os homens se mantm bem
barbeados e eles fazem isso apenas de duas maneiras:
(1) Barbeando-se ou (2) Frequentando o barbeiro.
Outra maneira de denir isso : O barbeiro um homem da cidade
que faz a barba de todos aqueles, e somente dos homens da cidade,
que no barbeiam a si mesmos.
Quem barbeia o barbeiro??
A.C.Bianchi (Unifesp) 15/09/2014 40 / 53
Um longo desao - parte II
Suponha-se que exista uma cidade com apenas um barbeiro, do sexo
masculino. Nesta cidade, todos os homens se mantm bem
barbeados e eles fazem isso apenas de duas maneiras:
(1) Barbeando-se ou (2) Frequentando o barbeiro.
Outra maneira de denir isso : O barbeiro um homem da cidade
que faz a barba de todos aqueles, e somente dos homens da cidade,
que no barbeiam a si mesmos.
Quem barbeia o barbeiro??
A.C.Bianchi (Unifesp) 15/09/2014 40 / 53
Um longo desao - parte II
Suponha-se que exista uma cidade com apenas um barbeiro, do sexo
masculino. Nesta cidade, todos os homens se mantm bem
barbeados e eles fazem isso apenas de duas maneiras:
(1) Barbeando-se ou (2) Frequentando o barbeiro.
Outra maneira de denir isso : O barbeiro um homem da cidade
que faz a barba de todos aqueles, e somente dos homens da cidade,
que no barbeiam a si mesmos.
Quem barbeia o barbeiro??
A.C.Bianchi (Unifesp) 15/09/2014 40 / 53
Situao paradoxal
Esta questo leva a um paradoxo porque, de acordo com a armao
acima, ele pode ser barbeado por:
1 Ele mesmo, ou
2 O barbeiro (que passa a ser ele mesmo)
No entanto, nenhuma destas possibilidades so vlidas, porque:
1 Se o barbeiro barbear-se a si mesmo, ento o barbeiro (ele
mesmo) no deve barbear a si mesmo.
2 Se o barbeiro no se barbeia a si mesmo, ento ele (o barbeiro)
deve barbear a si mesmo.
A.C.Bianchi (Unifesp) 15/09/2014 41 / 53
Situao paradoxal
Esta questo leva a um paradoxo porque, de acordo com a armao
acima, ele pode ser barbeado por:
1 Ele mesmo, ou
2 O barbeiro (que passa a ser ele mesmo)
No entanto, nenhuma destas possibilidades so vlidas, porque:
1 Se o barbeiro barbear-se a si mesmo, ento o barbeiro (ele
mesmo) no deve barbear a si mesmo.
2 Se o barbeiro no se barbeia a si mesmo, ento ele (o barbeiro)
deve barbear a si mesmo.
A.C.Bianchi (Unifesp) 15/09/2014 41 / 53
Situao paradoxal
Esta questo leva a um paradoxo porque, de acordo com a armao
acima, ele pode ser barbeado por:
1 Ele mesmo, ou
2 O barbeiro (que passa a ser ele mesmo)
No entanto, nenhuma destas possibilidades so vlidas, porque:
1 Se o barbeiro barbear-se a si mesmo, ento o barbeiro (ele
mesmo) no deve barbear a si mesmo.
2 Se o barbeiro no se barbeia a si mesmo, ento ele (o barbeiro)
deve barbear a si mesmo.
A.C.Bianchi (Unifesp) 15/09/2014 41 / 53
Situao paradoxal
Esta questo leva a um paradoxo porque, de acordo com a armao
acima, ele pode ser barbeado por:
1 Ele mesmo, ou
2 O barbeiro (que passa a ser ele mesmo)
No entanto, nenhuma destas possibilidades so vlidas, porque:
1 Se o barbeiro barbear-se a si mesmo, ento o barbeiro (ele
mesmo) no deve barbear a si mesmo.
2 Se o barbeiro no se barbeia a si mesmo, ento ele (o barbeiro)
deve barbear a si mesmo.
A.C.Bianchi (Unifesp) 15/09/2014 41 / 53
Situao paradoxal
Esta questo leva a um paradoxo porque, de acordo com a armao
acima, ele pode ser barbeado por:
1 Ele mesmo, ou
2 O barbeiro (que passa a ser ele mesmo)
No entanto, nenhuma destas possibilidades so vlidas, porque:
1 Se o barbeiro barbear-se a si mesmo, ento o barbeiro (ele
mesmo) no deve barbear a si mesmo.
2 Se o barbeiro no se barbeia a si mesmo, ento ele (o barbeiro)
deve barbear a si mesmo.
A.C.Bianchi (Unifesp) 15/09/2014 41 / 53
Situao paradoxal
Esta questo leva a um paradoxo porque, de acordo com a armao
acima, ele pode ser barbeado por:
1 Ele mesmo, ou
2 O barbeiro (que passa a ser ele mesmo)
No entanto, nenhuma destas possibilidades so vlidas, porque:
1 Se o barbeiro barbear-se a si mesmo, ento o barbeiro (ele
mesmo) no deve barbear a si mesmo.
2 Se o barbeiro no se barbeia a si mesmo, ento ele (o barbeiro)
deve barbear a si mesmo.
A.C.Bianchi (Unifesp) 15/09/2014 41 / 53
Situao paradoxal
Esta questo leva a um paradoxo porque, de acordo com a armao
acima, ele pode ser barbeado por:
1 Ele mesmo, ou
2 O barbeiro (que passa a ser ele mesmo)
No entanto, nenhuma destas possibilidades so vlidas, porque:
1 Se o barbeiro barbear-se a si mesmo, ento o barbeiro (ele
mesmo) no deve barbear a si mesmo.
2 Se o barbeiro no se barbeia a si mesmo, ento ele (o barbeiro)
deve barbear a si mesmo.
A.C.Bianchi (Unifesp) 15/09/2014 41 / 53
O que um paradoxo?
Um paradoxo uma proposio que leva a uma contradio lgica.
Num sentido mais amplo, uma declarao que leva a uma situao
que contradiz a intuio comum.
A maioria de ns, fazendo um curso de teoria dos conjuntos pela
primeira vez, no perceberia o que h de errado em considerar o
conjunto de todos os conjuntos ou o assim chamado conjunto
universal no sentido absoluto. Na verdade, por um perodo de
tempo (pelo menos de 1895, quando George Cantor
pioneiramente criou uma teoria dos conjuntos, at 1902, quando
o Paradoxo de Russel apareceu), a existncia de um tal conjunto
universal era considerada como certa. Foi o famoso lsofo ingls
Bertrand Russel (1872-1970) que chocou a comunidade
matemtica em 1902, declarando que a admisso de um conjunto
de todos os conjuntos levaria a uma contradio. Este o famoso
Paradoxo de Russel, apresentado a seguir.
A.C.Bianchi (Unifesp) 15/09/2014 42 / 53
O que um paradoxo?
Um paradoxo uma proposio que leva a uma contradio lgica.
Num sentido mais amplo, uma declarao que leva a uma situao
que contradiz a intuio comum.
A maioria de ns, fazendo um curso de teoria dos conjuntos pela
primeira vez, no perceberia o que h de errado em considerar o
conjunto de todos os conjuntos ou o assim chamado conjunto
universal no sentido absoluto. Na verdade, por um perodo de
tempo (pelo menos de 1895, quando George Cantor
pioneiramente criou uma teoria dos conjuntos, at 1902, quando
o Paradoxo de Russel apareceu), a existncia de um tal conjunto
universal era considerada como certa. Foi o famoso lsofo ingls
Bertrand Russel (1872-1970) que chocou a comunidade
matemtica em 1902, declarando que a admisso de um conjunto
de todos os conjuntos levaria a uma contradio. Este o famoso
Paradoxo de Russel, apresentado a seguir.
A.C.Bianchi (Unifesp) 15/09/2014 42 / 53
O que um paradoxo?
Um paradoxo uma proposio que leva a uma contradio lgica.
Num sentido mais amplo, uma declarao que leva a uma situao
que contradiz a intuio comum.
A maioria de ns, fazendo um curso de teoria dos conjuntos pela
primeira vez, no perceberia o que h de errado em considerar o
conjunto de todos os conjuntos ou o assim chamado conjunto
universal no sentido absoluto. Na verdade, por um perodo de
tempo (pelo menos de 1895, quando George Cantor
pioneiramente criou uma teoria dos conjuntos, at 1902, quando
o Paradoxo de Russel apareceu), a existncia de um tal conjunto
universal era considerada como certa. Foi o famoso lsofo ingls
Bertrand Russel (1872-1970) que chocou a comunidade
matemtica em 1902, declarando que a admisso de um conjunto
de todos os conjuntos levaria a uma contradio. Este o famoso
Paradoxo de Russel, apresentado a seguir.
A.C.Bianchi (Unifesp) 15/09/2014 42 / 53
O Paradoxo de Russel.
Em 1918 Russel escreveu
Quero posicionar-me na borda do mundo e perscrutar a escurido
alm, e ver um pouco mais do que outros viram... Quero trazer de
volta ao mundo dos homens um pouquinho de sabedoria.
Ele seguramente o fez, bem mais do que um pouquinho.
Paradoxo de Russel
1 (Lema 1) Suponhamos que existe um conjunto U de todos os
conjuntos. Seja R = {S U | S / S}. Ento, R / R.
2 (Lema 2) Suponhamos que existe um conjunto U de todos os
conjuntos. Seja R = {S U | S / S}. Ento, R R.
Em particular, no existe um conjunto de todos os conjuntos.
A.C.Bianchi (Unifesp) 15/09/2014 43 / 53
O Paradoxo de Russel.
Em 1918 Russel escreveu
Quero posicionar-me na borda do mundo e perscrutar a escurido
alm, e ver um pouco mais do que outros viram... Quero trazer de
volta ao mundo dos homens um pouquinho de sabedoria.
Ele seguramente o fez, bem mais do que um pouquinho.
Paradoxo de Russel
1 (Lema 1) Suponhamos que existe um conjunto U de todos os
conjuntos. Seja R = {S U | S / S}. Ento, R / R.
2 (Lema 2) Suponhamos que existe um conjunto U de todos os
conjuntos. Seja R = {S U | S / S}. Ento, R R.
Em particular, no existe um conjunto de todos os conjuntos.
A.C.Bianchi (Unifesp) 15/09/2014 43 / 53
O Paradoxo de Russel.
Em 1918 Russel escreveu
Quero posicionar-me na borda do mundo e perscrutar a escurido
alm, e ver um pouco mais do que outros viram... Quero trazer de
volta ao mundo dos homens um pouquinho de sabedoria.
Ele seguramente o fez, bem mais do que um pouquinho.
Paradoxo de Russel
1 (Lema 1) Suponhamos que existe um conjunto U de todos os
conjuntos. Seja R = {S U | S / S}. Ento, R / R.
2 (Lema 2) Suponhamos que existe um conjunto U de todos os
conjuntos. Seja R = {S U | S / S}. Ento, R R.
Em particular, no existe um conjunto de todos os conjuntos.
A.C.Bianchi (Unifesp) 15/09/2014 43 / 53
O Paradoxo de Russel.
Em 1918 Russel escreveu
Quero posicionar-me na borda do mundo e perscrutar a escurido
alm, e ver um pouco mais do que outros viram... Quero trazer de
volta ao mundo dos homens um pouquinho de sabedoria.
Ele seguramente o fez, bem mais do que um pouquinho.
Paradoxo de Russel
1 (Lema 1) Suponhamos que existe um conjunto U de todos os
conjuntos. Seja R = {S U | S / S}. Ento, R / R.
2 (Lema 2) Suponhamos que existe um conjunto U de todos os
conjuntos. Seja R = {S U | S / S}. Ento, R R.
Em particular, no existe um conjunto de todos os conjuntos.
A.C.Bianchi (Unifesp) 15/09/2014 43 / 53
O Paradoxo de Russel.
Em 1918 Russel escreveu
Quero posicionar-me na borda do mundo e perscrutar a escurido
alm, e ver um pouco mais do que outros viram... Quero trazer de
volta ao mundo dos homens um pouquinho de sabedoria.
Ele seguramente o fez, bem mais do que um pouquinho.
Paradoxo de Russel
1 (Lema 1) Suponhamos que existe um conjunto U de todos os
conjuntos. Seja R = {S U | S / S}. Ento, R / R.
2 (Lema 2) Suponhamos que existe um conjunto U de todos os
conjuntos. Seja R = {S U | S / S}. Ento, R R.
Em particular, no existe um conjunto de todos os conjuntos.
A.C.Bianchi (Unifesp) 15/09/2014 43 / 53
O Paradoxo de Russel.
Em 1918 Russel escreveu
Quero posicionar-me na borda do mundo e perscrutar a escurido
alm, e ver um pouco mais do que outros viram... Quero trazer de
volta ao mundo dos homens um pouquinho de sabedoria.
Ele seguramente o fez, bem mais do que um pouquinho.
Paradoxo de Russel
1 (Lema 1) Suponhamos que existe um conjunto U de todos os
conjuntos. Seja R = {S U | S / S}. Ento, R / R.
2 (Lema 2) Suponhamos que existe um conjunto U de todos os
conjuntos. Seja R = {S U | S / S}. Ento, R R.
Em particular, no existe um conjunto de todos os conjuntos.
A.C.Bianchi (Unifesp) 15/09/2014 43 / 53
Comentrios nais...
Paul Halmos, em Naive Set Theory (Teoria Ingnua dos Conjuntos), D. Van
Nostrand Company, Inc., New York, 1960, p.6, coloca da seguinte forma:
Nada contm tudo!
Nota: A teoria moderna dos conjuntos geralmente considerada ter
sido criada em 1859 pelo matemtico famoso George Cantor
(1845-1918), que notou a necessidade de uma tal teoria quando
estudava sries trigonomtricas. A partir da denio de conjunto feita
por Cantor, nada probe algum de considerar o conjunto de todos os
conjuntos, como o fez Bertrand Russel. A diculdade real na denio
de Cantor sobre o que um conjunto est na palavra coleo. Anal,
o que uma coleo?
A.C.Bianchi (Unifesp) 15/09/2014 44 / 53
Comentrios nais...
Paul Halmos, em Naive Set Theory (Teoria Ingnua dos Conjuntos), D. Van
Nostrand Company, Inc., New York, 1960, p.6, coloca da seguinte forma:
Nada contm tudo!
Nota: A teoria moderna dos conjuntos geralmente considerada ter
sido criada em 1859 pelo matemtico famoso George Cantor
(1845-1918), que notou a necessidade de uma tal teoria quando
estudava sries trigonomtricas. A partir da denio de conjunto feita
por Cantor, nada probe algum de considerar o conjunto de todos os
conjuntos, como o fez Bertrand Russel. A diculdade real na denio
de Cantor sobre o que um conjunto est na palavra coleo. Anal,
o que uma coleo?
A.C.Bianchi (Unifesp) 15/09/2014 44 / 53
Comentrios nais...
Paul Halmos, em Naive Set Theory (Teoria Ingnua dos Conjuntos), D. Van
Nostrand Company, Inc., New York, 1960, p.6, coloca da seguinte forma:
Nada contm tudo!
Nota: A teoria moderna dos conjuntos geralmente considerada ter
sido criada em 1859 pelo matemtico famoso George Cantor
(1845-1918), que notou a necessidade de uma tal teoria quando
estudava sries trigonomtricas. A partir da denio de conjunto feita
por Cantor, nada probe algum de considerar o conjunto de todos os
conjuntos, como o fez Bertrand Russel. A diculdade real na denio
de Cantor sobre o que um conjunto est na palavra coleo. Anal,
o que uma coleo?
A.C.Bianchi (Unifesp) 15/09/2014 44 / 53
Comentrios nais...
Quando constri-se uma denio, no para que seja um mero
sinnimo, tal como o so coleo e conjunto num dicionrio.
Aparentemente, Cantor no estava consciente de que o termo
conjunto era realmente indenvel. Para evitar qualquer
diculdade, tal como o Paradoxo de Russel na teoria dos
conjuntos, devemos aceitar os termos conjunto e elemento como
termos indenidos, ou primitivos, e guiar estes conceitos
primitivos por um nmero de axiomas, tais como o Axioma da
Especicao, o Axioma do Conjunto das Partes, o Axioma da
Extenso, o Axioma do Conjunto Vazio, o Axioma do
Emparelhamento, o Axioma das Unies etc, para dar um
tratamento axiomticos da teoria dos conjuntos.
Apesar das diculdades supracitadas, a teoria dos conjuntos de
Cantor penetrou em todos os ramos da matemtica moderna e
provou ser de importncia particular nos fundamentos das
cincias.
A.C.Bianchi (Unifesp) 15/09/2014 45 / 53
Comentrios nais...
Quando constri-se uma denio, no para que seja um mero
sinnimo, tal como o so coleo e conjunto num dicionrio.
Aparentemente, Cantor no estava consciente de que o termo
conjunto era realmente indenvel. Para evitar qualquer
diculdade, tal como o Paradoxo de Russel na teoria dos
conjuntos, devemos aceitar os termos conjunto e elemento como
termos indenidos, ou primitivos, e guiar estes conceitos
primitivos por um nmero de axiomas, tais como o Axioma da
Especicao, o Axioma do Conjunto das Partes, o Axioma da
Extenso, o Axioma do Conjunto Vazio, o Axioma do
Emparelhamento, o Axioma das Unies etc, para dar um
tratamento axiomticos da teoria dos conjuntos.
Apesar das diculdades supracitadas, a teoria dos conjuntos de
Cantor penetrou em todos os ramos da matemtica moderna e
provou ser de importncia particular nos fundamentos das
cincias.
A.C.Bianchi (Unifesp) 15/09/2014 45 / 53
Comentrios nais...
Quando constri-se uma denio, no para que seja um mero
sinnimo, tal como o so coleo e conjunto num dicionrio.
Aparentemente, Cantor no estava consciente de que o termo
conjunto era realmente indenvel. Para evitar qualquer
diculdade, tal como o Paradoxo de Russel na teoria dos
conjuntos, devemos aceitar os termos conjunto e elemento como
termos indenidos, ou primitivos, e guiar estes conceitos
primitivos por um nmero de axiomas, tais como o Axioma da
Especicao, o Axioma do Conjunto das Partes, o Axioma da
Extenso, o Axioma do Conjunto Vazio, o Axioma do
Emparelhamento, o Axioma das Unies etc, para dar um
tratamento axiomticos da teoria dos conjuntos.
Apesar das diculdades supracitadas, a teoria dos conjuntos de
Cantor penetrou em todos os ramos da matemtica moderna e
provou ser de importncia particular nos fundamentos das
cincias.
A.C.Bianchi (Unifesp) 15/09/2014 45 / 53
Famlias indexadas de conjuntos
Denio
Seja um conjunto e suponhamos que, para cada elemento ,
existe um conjunto associado A
| }. Cada
conjunto A
| }. Cada
conjunto A
| }. Cada
conjunto A
AF
A ou
AF
A = {x U | x A para algum A F}.
Se a famlia F indexada pelo conjunto , tambm usual a
seguinte notao:
= {x U | x A
para algum }.
Se o conjunto de ndices nito, i.e. = {1, 2, 3, . . . , n},
notaes mais intuitivas, tais como
n
i =1
A
i
e A
1
A
n
so
frequentemente usadas.
A.C.Bianchi (Unifesp) 15/09/2014 48 / 53
Unio dos conjuntos de uma famlia
Denio
Seja F uma famlia arbitrria de conjuntos. A unio dos conjuntos em
F, denotada por
AF
A ou
AF
A = {x U | x A para algum A F}.
Se a famlia F indexada pelo conjunto , tambm usual a
seguinte notao:
= {x U | x A
para algum }.
Se o conjunto de ndices nito, i.e. = {1, 2, 3, . . . , n},
notaes mais intuitivas, tais como
n
i =1
A
i
e A
1
A
n
so
frequentemente usadas.
A.C.Bianchi (Unifesp) 15/09/2014 48 / 53
Unio dos conjuntos de uma famlia
Denio
Seja F uma famlia arbitrria de conjuntos. A unio dos conjuntos em
F, denotada por
AF
A ou
AF
A = {x U | x A para algum A F}.
Se a famlia F indexada pelo conjunto , tambm usual a
seguinte notao:
= {x U | x A
para algum }.
Se o conjunto de ndices nito, i.e. = {1, 2, 3, . . . , n},
notaes mais intuitivas, tais como
n
i =1
A
i
e A
1
A
n
so
frequentemente usadas.
A.C.Bianchi (Unifesp) 15/09/2014 48 / 53
Unio dos conjuntos de uma famlia
Denio
Seja F uma famlia arbitrria de conjuntos. A unio dos conjuntos em
F, denotada por
AF
A ou
AF
A = {x U | x A para algum A F}.
Se a famlia F indexada pelo conjunto , tambm usual a
seguinte notao:
= {x U | x A
para algum }.
Se o conjunto de ndices nito, i.e. = {1, 2, 3, . . . , n},
notaes mais intuitivas, tais como
n
i =1
A
i
e A
1
A
n
so
frequentemente usadas.
A.C.Bianchi (Unifesp) 15/09/2014 48 / 53
Unio dos conjuntos de uma famlia
Denio
Seja F uma famlia arbitrria de conjuntos. A unio dos conjuntos em
F, denotada por
AF
A ou
AF
A = {x U | x A para algum A F}.
Se a famlia F indexada pelo conjunto , tambm usual a
seguinte notao:
= {x U | x A
para algum }.
Se o conjunto de ndices nito, i.e. = {1, 2, 3, . . . , n},
notaes mais intuitivas, tais como
n
i =1
A
i
e A
1
A
n
so
frequentemente usadas.
A.C.Bianchi (Unifesp) 15/09/2014 48 / 53
Interseo dos conjuntos de uma famlia
Denio
Seja F uma famlia arbitrria de conjuntos. A interseo dos conjuntos
em F, denotada por
AF
A ou
F, o conjunto de todos os
elementos que esto em A para todo A F. Ou seja,
AF
A = {x U | x A para todo A F}.
Se a famlia F indexada pelo conjunto , tambm usual a
seguinte notao:
= {x U | x A
para todo }.
Se o conjunto de ndices nito, i.e. = {1, 2, 3, . . . , n},
notaes mais intuitivas, tais como
n
i =1
A
i
e A
1
A
n
so
frequentemente usadas.
A.C.Bianchi (Unifesp) 15/09/2014 49 / 53
Interseo dos conjuntos de uma famlia
Denio
Seja F uma famlia arbitrria de conjuntos. A interseo dos conjuntos
em F, denotada por
AF
A ou
F, o conjunto de todos os
elementos que esto em A para todo A F. Ou seja,
AF
A = {x U | x A para todo A F}.
Se a famlia F indexada pelo conjunto , tambm usual a
seguinte notao:
= {x U | x A
para todo }.
Se o conjunto de ndices nito, i.e. = {1, 2, 3, . . . , n},
notaes mais intuitivas, tais como
n
i =1
A
i
e A
1
A
n
so
frequentemente usadas.
A.C.Bianchi (Unifesp) 15/09/2014 49 / 53
Interseo dos conjuntos de uma famlia
Denio
Seja F uma famlia arbitrria de conjuntos. A interseo dos conjuntos
em F, denotada por
AF
A ou
F, o conjunto de todos os
elementos que esto em A para todo A F. Ou seja,
AF
A = {x U | x A para todo A F}.
Se a famlia F indexada pelo conjunto , tambm usual a
seguinte notao:
= {x U | x A
para todo }.
Se o conjunto de ndices nito, i.e. = {1, 2, 3, . . . , n},
notaes mais intuitivas, tais como
n
i =1
A
i
e A
1
A
n
so
frequentemente usadas.
A.C.Bianchi (Unifesp) 15/09/2014 49 / 53
Interseo dos conjuntos de uma famlia
Denio
Seja F uma famlia arbitrria de conjuntos. A interseo dos conjuntos
em F, denotada por
AF
A ou
F, o conjunto de todos os
elementos que esto em A para todo A F. Ou seja,
AF
A = {x U | x A para todo A F}.
Se a famlia F indexada pelo conjunto , tambm usual a
seguinte notao:
= {x U | x A
para todo }.
Se o conjunto de ndices nito, i.e. = {1, 2, 3, . . . , n},
notaes mais intuitivas, tais como
n
i =1
A
i
e A
1
A
n
so
frequentemente usadas.
A.C.Bianchi (Unifesp) 15/09/2014 49 / 53
Interseo dos conjuntos de uma famlia
Denio
Seja F uma famlia arbitrria de conjuntos. A interseo dos conjuntos
em F, denotada por
AF
A ou
F, o conjunto de todos os
elementos que esto em A para todo A F. Ou seja,
AF
A = {x U | x A para todo A F}.
Se a famlia F indexada pelo conjunto , tambm usual a
seguinte notao:
= {x U | x A
para todo }.
Se o conjunto de ndices nito, i.e. = {1, 2, 3, . . . , n},
notaes mais intuitivas, tais como
n
i =1
A
i
e A
1
A
n
so
frequentemente usadas.
A.C.Bianchi (Unifesp) 15/09/2014 49 / 53
A armao x A para todo A F pode ser expressada
alternativamente como A F x A. Esta ltima expresso
melhor na demonstrao de teoremas!
A.C.Bianchi (Unifesp) 15/09/2014 50 / 53
A armao x A para todo A F pode ser expressada
alternativamente como A F x A. Esta ltima expresso
melhor na demonstrao de teoremas!
A.C.Bianchi (Unifesp) 15/09/2014 50 / 53
Exemplos
Exemplo 1
A unio da famlia de conjuntos
{1}, {2, 3}, {3, 4, 5}, . . . , {n, n + 1, . . . , 2n 1},
para algum n N xado {1, 2, 3, . . . , 2n 1}. (Por que?)
Exemplo 2
A interseo da famlia de intervalos abertos
]0, 1[, ]0, 1/2[, . . . , ]0, 1/n[, . . .
vazia. (Por que?)
A.C.Bianchi (Unifesp) 15/09/2014 51 / 53
Exemplos
Exemplo 1
A unio da famlia de conjuntos
{1}, {2, 3}, {3, 4, 5}, . . . , {n, n + 1, . . . , 2n 1},
para algum n N xado {1, 2, 3, . . . , 2n 1}. (Por que?)
Exemplo 2
A interseo da famlia de intervalos abertos
]0, 1[, ]0, 1/2[, . . . , ]0, 1/n[, . . .
vazia. (Por que?)
A.C.Bianchi (Unifesp) 15/09/2014 51 / 53
Exemplos
Exemplo 1
A unio da famlia de conjuntos
{1}, {2, 3}, {3, 4, 5}, . . . , {n, n + 1, . . . , 2n 1},
para algum n N xado {1, 2, 3, . . . , 2n 1}. (Por que?)
Exemplo 2
A interseo da famlia de intervalos abertos
]0, 1[, ]0, 1/2[, . . . , ]0, 1/n[, . . .
vazia. (Por que?)
A.C.Bianchi (Unifesp) 15/09/2014 51 / 53
Propriedades
Muitos teoremas, a respeito de operaes de um nmero nito de
conjuntos, podem ser generalizados a teoremas a respeito de
operaes de uma famlia arbitrria de conjuntos. Vejamos:
Teorema
Seja A um conjunto e seja F = {B
.
2 (
.
3 A (
) =
(A B
).
4 A (
) =
(A B
).
A.C.Bianchi (Unifesp) 15/09/2014 52 / 53
Propriedades
Muitos teoremas, a respeito de operaes de um nmero nito de
conjuntos, podem ser generalizados a teoremas a respeito de
operaes de uma famlia arbitrria de conjuntos. Vejamos:
Teorema
Seja A um conjunto e seja F = {B
.
2 (
.
3 A (
) =
(A B
).
4 A (
) =
(A B
).
A.C.Bianchi (Unifesp) 15/09/2014 52 / 53
Propriedades
Muitos teoremas, a respeito de operaes de um nmero nito de
conjuntos, podem ser generalizados a teoremas a respeito de
operaes de uma famlia arbitrria de conjuntos. Vejamos:
Teorema
Seja A um conjunto e seja F = {B
.
2 (
.
3 A (
) =
(A B
).
4 A (
) =
(A B
).
A.C.Bianchi (Unifesp) 15/09/2014 52 / 53
Propriedades
Muitos teoremas, a respeito de operaes de um nmero nito de
conjuntos, podem ser generalizados a teoremas a respeito de
operaes de uma famlia arbitrria de conjuntos. Vejamos:
Teorema
Seja A um conjunto e seja F = {B
.
2 (
.
3 A (
) =
(A B
).
4 A (
) =
(A B
).
A.C.Bianchi (Unifesp) 15/09/2014 52 / 53
Propriedades
Muitos teoremas, a respeito de operaes de um nmero nito de
conjuntos, podem ser generalizados a teoremas a respeito de
operaes de uma famlia arbitrria de conjuntos. Vejamos:
Teorema
Seja A um conjunto e seja F = {B
.
2 (
.
3 A (
) =
(A B
).
4 A (
) =
(A B
).
A.C.Bianchi (Unifesp) 15/09/2014 52 / 53
Propriedades
Muitos teoremas, a respeito de operaes de um nmero nito de
conjuntos, podem ser generalizados a teoremas a respeito de
operaes de uma famlia arbitrria de conjuntos. Vejamos:
Teorema
Seja A um conjunto e seja F = {B
.
2 (
.
3 A (
) =
(A B
).
4 A (
) =
(A B
).
A.C.Bianchi (Unifesp) 15/09/2014 52 / 53
Propriedades
Muitos teoremas, a respeito de operaes de um nmero nito de
conjuntos, podem ser generalizados a teoremas a respeito de
operaes de uma famlia arbitrria de conjuntos. Vejamos:
Teorema
Seja A um conjunto e seja F = {B
.
2 (
.
3 A (
) =
(A B
).
4 A (
) =
(A B
).
A.C.Bianchi (Unifesp) 15/09/2014 52 / 53
Exerccios
1 Sejam = {1, 2, 3, 4} e A
1
= {a, b, c, d}, A
2
= {b, c, d},
A
3
= {a, b, c}, A
4
= {a, b}. Encontre o seguinte:
1
4
i =1
A
i
.
2
4
i =1
A
i
.
2 Expanda
1 (A
1
A
2
) (B
1
B
2
B
3
) em uma unio de intersees; e
2 (A
1
A
2
) (B
1
B
2
B
3
) em uma interseo de unies.
3 Sejam {A
| } e {B
) (
) (
4
i =1
A
i
.
2
4
i =1
A
i
.
2 Expanda
1 (A
1
A
2
) (B
1
B
2
B
3
) em uma unio de intersees; e
2 (A
1
A
2
) (B
1
B
2
B
3
) em uma interseo de unies.
3 Sejam {A
| } e {B
) (
) (
4
i =1
A
i
.
2
4
i =1
A
i
.
2 Expanda
1 (A
1
A
2
) (B
1
B
2
B
3
) em uma unio de intersees; e
2 (A
1
A
2
) (B
1
B
2
B
3
) em uma interseo de unies.
3 Sejam {A
| } e {B
) (
) (
4
i =1
A
i
.
2
4
i =1
A
i
.
2 Expanda
1 (A
1
A
2
) (B
1
B
2
B
3
) em uma unio de intersees; e
2 (A
1
A
2
) (B
1
B
2
B
3
) em uma interseo de unies.
3 Sejam {A
| } e {B
) (
) (
4
i =1
A
i
.
2
4
i =1
A
i
.
2 Expanda
1 (A
1
A
2
) (B
1
B
2
B
3
) em uma unio de intersees; e
2 (A
1
A
2
) (B
1
B
2
B
3
) em uma interseo de unies.
3 Sejam {A
| } e {B
) (
) (
4
i =1
A
i
.
2
4
i =1
A
i
.
2 Expanda
1 (A
1
A
2
) (B
1
B
2
B
3
) em uma unio de intersees; e
2 (A
1
A
2
) (B
1
B
2
B
3
) em uma interseo de unies.
3 Sejam {A
| } e {B
) (
) (
4
i =1
A
i
.
2
4
i =1
A
i
.
2 Expanda
1 (A
1
A
2
) (B
1
B
2
B
3
) em uma unio de intersees; e
2 (A
1
A
2
) (B
1
B
2
B
3
) em uma interseo de unies.
3 Sejam {A
| } e {B
) (
) (
4
i =1
A
i
.
2
4
i =1
A
i
.
2 Expanda
1 (A
1
A
2
) (B
1
B
2
B
3
) em uma unio de intersees; e
2 (A
1
A
2
) (B
1
B
2
B
3
) em uma interseo de unies.
3 Sejam {A
| } e {B
) (
) (
4
i =1
A
i
.
2
4
i =1
A
i
.
2 Expanda
1 (A
1
A
2
) (B
1
B
2
B
3
) em uma unio de intersees; e
2 (A
1
A
2
) (B
1
B
2
B
3
) em uma interseo de unies.
3 Sejam {A
| } e {B
) (
) (
4
i =1
A
i
.
2
4
i =1
A
i
.
2 Expanda
1 (A
1
A
2
) (B
1
B
2
B
3
) em uma unio de intersees; e
2 (A
1
A
2
) (B
1
B
2
B
3
) em uma interseo de unies.
3 Sejam {A
| } e {B
) (
) (