Você está na página 1de 253

Matemtica Discreta

A.C.Bianchi (Unifesp) 15/09/2014 1 / 53


Contedo
Introduo Teoria dos Conjuntos
A.C.Bianchi (Unifesp) 15/09/2014 2 / 53
AULA 1
A.C.Bianchi (Unifesp) 15/09/2014 3 / 53
Objetivos
Neste Captulo apresentaremos os conceitos de conjuntos,
subconjuntos, e operaes entre conjuntos (unio, interseo e
complementao), juntamente com as regras fundamentais dessas
operaes.
Tudo ser desenvolvido em paralelo com o Captulo sobre Lgica.
Famlias indexadas de conjuntos sero discutidas. O Captulo
terminar com o Paradoxo de Russel e uma nota histrica.
A.C.Bianchi (Unifesp) 15/09/2014 4 / 53
Objetivos
Neste Captulo apresentaremos os conceitos de conjuntos,
subconjuntos, e operaes entre conjuntos (unio, interseo e
complementao), juntamente com as regras fundamentais dessas
operaes.
Tudo ser desenvolvido em paralelo com o Captulo sobre Lgica.
Famlias indexadas de conjuntos sero discutidas. O Captulo
terminar com o Paradoxo de Russel e uma nota histrica.
A.C.Bianchi (Unifesp) 15/09/2014 4 / 53
Objetivos
Neste Captulo apresentaremos os conceitos de conjuntos,
subconjuntos, e operaes entre conjuntos (unio, interseo e
complementao), juntamente com as regras fundamentais dessas
operaes.
Tudo ser desenvolvido em paralelo com o Captulo sobre Lgica.
Famlias indexadas de conjuntos sero discutidas. O Captulo
terminar com o Paradoxo de Russel e uma nota histrica.
A.C.Bianchi (Unifesp) 15/09/2014 4 / 53
Objetivos
Neste Captulo apresentaremos os conceitos de conjuntos,
subconjuntos, e operaes entre conjuntos (unio, interseo e
complementao), juntamente com as regras fundamentais dessas
operaes.
Tudo ser desenvolvido em paralelo com o Captulo sobre Lgica.
Famlias indexadas de conjuntos sero discutidas. O Captulo
terminar com o Paradoxo de Russel e uma nota histrica.
A.C.Bianchi (Unifesp) 15/09/2014 4 / 53
Objetivos
Neste Captulo apresentaremos os conceitos de conjuntos,
subconjuntos, e operaes entre conjuntos (unio, interseo e
complementao), juntamente com as regras fundamentais dessas
operaes.
Tudo ser desenvolvido em paralelo com o Captulo sobre Lgica.
Famlias indexadas de conjuntos sero discutidas. O Captulo
terminar com o Paradoxo de Russel e uma nota histrica.
A.C.Bianchi (Unifesp) 15/09/2014 4 / 53
O que um conjunto?
Essa uma questo muito difcil de se responder. Neste tratado
elementar, no entraremos em nenhuma abordagem axiomtica
complicada da Teoria dos Conjuntos e conter-nos-emos em
aceitar o seguinte:
Denio
Um conjunto qualquer coleo, dentro de um todo de objetos
denidos e distinguveis, chamados elementos, de nossa intuio ou
pensamento.
Esta denio intuitiva de um conjunto foi dada primeiramente por
George Cantor (1845-1918), que criou a Teoria dos Conjuntos em
1895.
A.C.Bianchi (Unifesp) 15/09/2014 5 / 53
O que um conjunto?
Essa uma questo muito difcil de se responder. Neste tratado
elementar, no entraremos em nenhuma abordagem axiomtica
complicada da Teoria dos Conjuntos e conter-nos-emos em
aceitar o seguinte:
Denio
Um conjunto qualquer coleo, dentro de um todo de objetos
denidos e distinguveis, chamados elementos, de nossa intuio ou
pensamento.
Esta denio intuitiva de um conjunto foi dada primeiramente por
George Cantor (1845-1918), que criou a Teoria dos Conjuntos em
1895.
A.C.Bianchi (Unifesp) 15/09/2014 5 / 53
O que um conjunto?
Essa uma questo muito difcil de se responder. Neste tratado
elementar, no entraremos em nenhuma abordagem axiomtica
complicada da Teoria dos Conjuntos e conter-nos-emos em
aceitar o seguinte:
Denio
Um conjunto qualquer coleo, dentro de um todo de objetos
denidos e distinguveis, chamados elementos, de nossa intuio ou
pensamento.
Esta denio intuitiva de um conjunto foi dada primeiramente por
George Cantor (1845-1918), que criou a Teoria dos Conjuntos em
1895.
A.C.Bianchi (Unifesp) 15/09/2014 5 / 53
O que um conjunto?
Essa uma questo muito difcil de se responder. Neste tratado
elementar, no entraremos em nenhuma abordagem axiomtica
complicada da Teoria dos Conjuntos e conter-nos-emos em
aceitar o seguinte:
Denio
Um conjunto qualquer coleo, dentro de um todo de objetos
denidos e distinguveis, chamados elementos, de nossa intuio ou
pensamento.
Esta denio intuitiva de um conjunto foi dada primeiramente por
George Cantor (1845-1918), que criou a Teoria dos Conjuntos em
1895.
A.C.Bianchi (Unifesp) 15/09/2014 5 / 53
Exemplos
1 O conjunto de todas as cadeiras na sala de aula de MD.
2 O conjunto de todos os estudantes desta universidade.
3 O conjunto das letras a, b, c e d.
4 O conjunto das regras de uso do laboratrio de informtica.
5 O conjunto de todos os nmeros racionais cujo quadrado 2.
6 O conjunto de todos os nmeros naturais.
7 O conjunto de todos os nmeros reais entre 0 e 1.
A.C.Bianchi (Unifesp) 15/09/2014 6 / 53
Exemplos
1 O conjunto de todas as cadeiras na sala de aula de MD.
2 O conjunto de todos os estudantes desta universidade.
3 O conjunto das letras a, b, c e d.
4 O conjunto das regras de uso do laboratrio de informtica.
5 O conjunto de todos os nmeros racionais cujo quadrado 2.
6 O conjunto de todos os nmeros naturais.
7 O conjunto de todos os nmeros reais entre 0 e 1.
A.C.Bianchi (Unifesp) 15/09/2014 6 / 53
Exemplos
1 O conjunto de todas as cadeiras na sala de aula de MD.
2 O conjunto de todos os estudantes desta universidade.
3 O conjunto das letras a, b, c e d.
4 O conjunto das regras de uso do laboratrio de informtica.
5 O conjunto de todos os nmeros racionais cujo quadrado 2.
6 O conjunto de todos os nmeros naturais.
7 O conjunto de todos os nmeros reais entre 0 e 1.
A.C.Bianchi (Unifesp) 15/09/2014 6 / 53
Exemplos
1 O conjunto de todas as cadeiras na sala de aula de MD.
2 O conjunto de todos os estudantes desta universidade.
3 O conjunto das letras a, b, c e d.
4 O conjunto das regras de uso do laboratrio de informtica.
5 O conjunto de todos os nmeros racionais cujo quadrado 2.
6 O conjunto de todos os nmeros naturais.
7 O conjunto de todos os nmeros reais entre 0 e 1.
A.C.Bianchi (Unifesp) 15/09/2014 6 / 53
Exemplos
1 O conjunto de todas as cadeiras na sala de aula de MD.
2 O conjunto de todos os estudantes desta universidade.
3 O conjunto das letras a, b, c e d.
4 O conjunto das regras de uso do laboratrio de informtica.
5 O conjunto de todos os nmeros racionais cujo quadrado 2.
6 O conjunto de todos os nmeros naturais.
7 O conjunto de todos os nmeros reais entre 0 e 1.
A.C.Bianchi (Unifesp) 15/09/2014 6 / 53
Exemplos
1 O conjunto de todas as cadeiras na sala de aula de MD.
2 O conjunto de todos os estudantes desta universidade.
3 O conjunto das letras a, b, c e d.
4 O conjunto das regras de uso do laboratrio de informtica.
5 O conjunto de todos os nmeros racionais cujo quadrado 2.
6 O conjunto de todos os nmeros naturais.
7 O conjunto de todos os nmeros reais entre 0 e 1.
A.C.Bianchi (Unifesp) 15/09/2014 6 / 53
Exemplos
1 O conjunto de todas as cadeiras na sala de aula de MD.
2 O conjunto de todos os estudantes desta universidade.
3 O conjunto das letras a, b, c e d.
4 O conjunto das regras de uso do laboratrio de informtica.
5 O conjunto de todos os nmeros racionais cujo quadrado 2.
6 O conjunto de todos os nmeros naturais.
7 O conjunto de todos os nmeros reais entre 0 e 1.
A.C.Bianchi (Unifesp) 15/09/2014 6 / 53
Exemplos
1 O conjunto de todas as cadeiras na sala de aula de MD.
2 O conjunto de todos os estudantes desta universidade.
3 O conjunto das letras a, b, c e d.
4 O conjunto das regras de uso do laboratrio de informtica.
5 O conjunto de todos os nmeros racionais cujo quadrado 2.
6 O conjunto de todos os nmeros naturais.
7 O conjunto de todos os nmeros reais entre 0 e 1.
A.C.Bianchi (Unifesp) 15/09/2014 6 / 53
Conjuntos nitos
Denio
Um conjunto que contm apenas um nmero nito de elementos
chamado um conjunto nito; um conjunto innito um conjunto que
no nito.
Conjuntos so frequentemente designados fechando-se entre
chaves os smbolos que representam seus elementos, quando for
possvel faz-lo. Um conjunto que no tem elementos chamado
de conjunto vazio, sendo denotado pelo smbolo .
Os Exemplos de (1) a (5) acima so todos de conjuntos nitos, j
os Exemplos (6) e (7) so de conjuntos innitos.
O conjunto no Exemplo (3) {a, b, c, d} e o conjunto no Exemplo
(6) pode ser denotado por {1, 2, 3, . . . }. O conjunto do Exemplo
(5) no tem elementos.
A.C.Bianchi (Unifesp) 15/09/2014 7 / 53
Conjuntos nitos
Denio
Um conjunto que contm apenas um nmero nito de elementos
chamado um conjunto nito; um conjunto innito um conjunto que
no nito.
Conjuntos so frequentemente designados fechando-se entre
chaves os smbolos que representam seus elementos, quando for
possvel faz-lo. Um conjunto que no tem elementos chamado
de conjunto vazio, sendo denotado pelo smbolo .
Os Exemplos de (1) a (5) acima so todos de conjuntos nitos, j
os Exemplos (6) e (7) so de conjuntos innitos.
O conjunto no Exemplo (3) {a, b, c, d} e o conjunto no Exemplo
(6) pode ser denotado por {1, 2, 3, . . . }. O conjunto do Exemplo
(5) no tem elementos.
A.C.Bianchi (Unifesp) 15/09/2014 7 / 53
Conjuntos nitos
Denio
Um conjunto que contm apenas um nmero nito de elementos
chamado um conjunto nito; um conjunto innito um conjunto que
no nito.
Conjuntos so frequentemente designados fechando-se entre
chaves os smbolos que representam seus elementos, quando for
possvel faz-lo. Um conjunto que no tem elementos chamado
de conjunto vazio, sendo denotado pelo smbolo .
Os Exemplos de (1) a (5) acima so todos de conjuntos nitos, j
os Exemplos (6) e (7) so de conjuntos innitos.
O conjunto no Exemplo (3) {a, b, c, d} e o conjunto no Exemplo
(6) pode ser denotado por {1, 2, 3, . . . }. O conjunto do Exemplo
(5) no tem elementos.
A.C.Bianchi (Unifesp) 15/09/2014 7 / 53
Conjuntos nitos
Denio
Um conjunto que contm apenas um nmero nito de elementos
chamado um conjunto nito; um conjunto innito um conjunto que
no nito.
Conjuntos so frequentemente designados fechando-se entre
chaves os smbolos que representam seus elementos, quando for
possvel faz-lo. Um conjunto que no tem elementos chamado
de conjunto vazio, sendo denotado pelo smbolo .
Os Exemplos de (1) a (5) acima so todos de conjuntos nitos, j
os Exemplos (6) e (7) so de conjuntos innitos.
O conjunto no Exemplo (3) {a, b, c, d} e o conjunto no Exemplo
(6) pode ser denotado por {1, 2, 3, . . . }. O conjunto do Exemplo
(5) no tem elementos.
A.C.Bianchi (Unifesp) 15/09/2014 7 / 53
Conjuntos nitos
Denio
Um conjunto que contm apenas um nmero nito de elementos
chamado um conjunto nito; um conjunto innito um conjunto que
no nito.
Conjuntos so frequentemente designados fechando-se entre
chaves os smbolos que representam seus elementos, quando for
possvel faz-lo. Um conjunto que no tem elementos chamado
de conjunto vazio, sendo denotado pelo smbolo .
Os Exemplos de (1) a (5) acima so todos de conjuntos nitos, j
os Exemplos (6) e (7) so de conjuntos innitos.
O conjunto no Exemplo (3) {a, b, c, d} e o conjunto no Exemplo
(6) pode ser denotado por {1, 2, 3, . . . }. O conjunto do Exemplo
(5) no tem elementos.
A.C.Bianchi (Unifesp) 15/09/2014 7 / 53
Consideraes
Usaremos letras maisculas para denotar conjuntos e letras
minsculas para denotar elementos.
Se a um elemento de um conjunto A, escrevemos a A, onde
l-se a um elemento de A ou a pertence a A, enquanto que
a / A signica que a no um elemento de A.
A ordem em que aparecem os elementos num conjunto no tem
importncia. Assim, o conjunto {a, b, c} o mesmo que {b, c, a}.
Os elementos de um conjunto so distintos. Com isso, {a, a, b}
no uma notao apropriada de um conjunto e deveria ser
substituda por {a, b}.
Se a um elemento de um conjunto, a e {a} so considerados
diferentes. Basta notar que {a} denota o conjunto consistindo do
elemento a somente, enquanto que a apenas o elemento do
conjunto {a}.
A.C.Bianchi (Unifesp) 15/09/2014 8 / 53
Consideraes
Usaremos letras maisculas para denotar conjuntos e letras
minsculas para denotar elementos.
Se a um elemento de um conjunto A, escrevemos a A, onde
l-se a um elemento de A ou a pertence a A, enquanto que
a / A signica que a no um elemento de A.
A ordem em que aparecem os elementos num conjunto no tem
importncia. Assim, o conjunto {a, b, c} o mesmo que {b, c, a}.
Os elementos de um conjunto so distintos. Com isso, {a, a, b}
no uma notao apropriada de um conjunto e deveria ser
substituda por {a, b}.
Se a um elemento de um conjunto, a e {a} so considerados
diferentes. Basta notar que {a} denota o conjunto consistindo do
elemento a somente, enquanto que a apenas o elemento do
conjunto {a}.
A.C.Bianchi (Unifesp) 15/09/2014 8 / 53
Consideraes
Usaremos letras maisculas para denotar conjuntos e letras
minsculas para denotar elementos.
Se a um elemento de um conjunto A, escrevemos a A, onde
l-se a um elemento de A ou a pertence a A, enquanto que
a / A signica que a no um elemento de A.
A ordem em que aparecem os elementos num conjunto no tem
importncia. Assim, o conjunto {a, b, c} o mesmo que {b, c, a}.
Os elementos de um conjunto so distintos. Com isso, {a, a, b}
no uma notao apropriada de um conjunto e deveria ser
substituda por {a, b}.
Se a um elemento de um conjunto, a e {a} so considerados
diferentes. Basta notar que {a} denota o conjunto consistindo do
elemento a somente, enquanto que a apenas o elemento do
conjunto {a}.
A.C.Bianchi (Unifesp) 15/09/2014 8 / 53
Consideraes
Usaremos letras maisculas para denotar conjuntos e letras
minsculas para denotar elementos.
Se a um elemento de um conjunto A, escrevemos a A, onde
l-se a um elemento de A ou a pertence a A, enquanto que
a / A signica que a no um elemento de A.
A ordem em que aparecem os elementos num conjunto no tem
importncia. Assim, o conjunto {a, b, c} o mesmo que {b, c, a}.
Os elementos de um conjunto so distintos. Com isso, {a, a, b}
no uma notao apropriada de um conjunto e deveria ser
substituda por {a, b}.
Se a um elemento de um conjunto, a e {a} so considerados
diferentes. Basta notar que {a} denota o conjunto consistindo do
elemento a somente, enquanto que a apenas o elemento do
conjunto {a}.
A.C.Bianchi (Unifesp) 15/09/2014 8 / 53
Consideraes
Usaremos letras maisculas para denotar conjuntos e letras
minsculas para denotar elementos.
Se a um elemento de um conjunto A, escrevemos a A, onde
l-se a um elemento de A ou a pertence a A, enquanto que
a / A signica que a no um elemento de A.
A ordem em que aparecem os elementos num conjunto no tem
importncia. Assim, o conjunto {a, b, c} o mesmo que {b, c, a}.
Os elementos de um conjunto so distintos. Com isso, {a, a, b}
no uma notao apropriada de um conjunto e deveria ser
substituda por {a, b}.
Se a um elemento de um conjunto, a e {a} so considerados
diferentes. Basta notar que {a} denota o conjunto consistindo do
elemento a somente, enquanto que a apenas o elemento do
conjunto {a}.
A.C.Bianchi (Unifesp) 15/09/2014 8 / 53
Consideraes
Usaremos letras maisculas para denotar conjuntos e letras
minsculas para denotar elementos.
Se a um elemento de um conjunto A, escrevemos a A, onde
l-se a um elemento de A ou a pertence a A, enquanto que
a / A signica que a no um elemento de A.
A ordem em que aparecem os elementos num conjunto no tem
importncia. Assim, o conjunto {a, b, c} o mesmo que {b, c, a}.
Os elementos de um conjunto so distintos. Com isso, {a, a, b}
no uma notao apropriada de um conjunto e deveria ser
substituda por {a, b}.
Se a um elemento de um conjunto, a e {a} so considerados
diferentes. Basta notar que {a} denota o conjunto consistindo do
elemento a somente, enquanto que a apenas o elemento do
conjunto {a}.
A.C.Bianchi (Unifesp) 15/09/2014 8 / 53
Consideraes
Usaremos letras maisculas para denotar conjuntos e letras
minsculas para denotar elementos.
Se a um elemento de um conjunto A, escrevemos a A, onde
l-se a um elemento de A ou a pertence a A, enquanto que
a / A signica que a no um elemento de A.
A ordem em que aparecem os elementos num conjunto no tem
importncia. Assim, o conjunto {a, b, c} o mesmo que {b, c, a}.
Os elementos de um conjunto so distintos. Com isso, {a, a, b}
no uma notao apropriada de um conjunto e deveria ser
substituda por {a, b}.
Se a um elemento de um conjunto, a e {a} so considerados
diferentes. Basta notar que {a} denota o conjunto consistindo do
elemento a somente, enquanto que a apenas o elemento do
conjunto {a}.
A.C.Bianchi (Unifesp) 15/09/2014 8 / 53
Igualdade entre conjuntos
Denio
Dois conjuntos so A e B so iguais ou idnticos quando contm os
mesmos elementos. Isto , A = B signica
(x A)(x B) (x B)(x A). Caso contrrio diz-se que os
conjuntos so diferentes ou distintos.
Para vericar que A = B, negamos a denio de A = B:
((x A)(x B) (x B)(x A))
(x A)(x / B) (x B)(x / A)
A.C.Bianchi (Unifesp) 15/09/2014 9 / 53
Igualdade entre conjuntos
Denio
Dois conjuntos so A e B so iguais ou idnticos quando contm os
mesmos elementos. Isto , A = B signica
(x A)(x B) (x B)(x A). Caso contrrio diz-se que os
conjuntos so diferentes ou distintos.
Para vericar que A = B, negamos a denio de A = B:
((x A)(x B) (x B)(x A))
(x A)(x / B) (x B)(x / A)
A.C.Bianchi (Unifesp) 15/09/2014 9 / 53
Igualdade entre conjuntos
Denio
Dois conjuntos so A e B so iguais ou idnticos quando contm os
mesmos elementos. Isto , A = B signica
(x A)(x B) (x B)(x A). Caso contrrio diz-se que os
conjuntos so diferentes ou distintos.
Para vericar que A = B, negamos a denio de A = B:
((x A)(x B) (x B)(x A))
(x A)(x / B) (x B)(x / A)
A.C.Bianchi (Unifesp) 15/09/2014 9 / 53
Igualdade entre conjuntos
Denio
Dois conjuntos so A e B so iguais ou idnticos quando contm os
mesmos elementos. Isto , A = B signica
(x A)(x B) (x B)(x A). Caso contrrio diz-se que os
conjuntos so diferentes ou distintos.
Para vericar que A = B, negamos a denio de A = B:
((x A)(x B) (x B)(x A))
(x A)(x / B) (x B)(x / A)
A.C.Bianchi (Unifesp) 15/09/2014 9 / 53
Igualdade entre conjuntos
Denio
Dois conjuntos so A e B so iguais ou idnticos quando contm os
mesmos elementos. Isto , A = B signica
(x A)(x B) (x B)(x A). Caso contrrio diz-se que os
conjuntos so diferentes ou distintos.
Para vericar que A = B, negamos a denio de A = B:
((x A)(x B) (x B)(x A))
(x A)(x / B) (x B)(x / A)
A.C.Bianchi (Unifesp) 15/09/2014 9 / 53
Subconjuntos
Denio
Sejam A e B conjuntos. Se todo elemento de A elemento de B,
ento A chamado um subconjunto de B e B chamado um
superconjunto de A.
Em smbolos: A B ou B A.
Escrevendo logicamente, A B (x)[(x A) (x B)]
Quando A B e A = B, escrevemos A B, A B, B A ou
B A. Nesse caso dizemos que A um subconjunto prprio de
B ou que B um superconjunto prprio de A. Em outras palavras,
A um subconjunto prprio de B quando todo elemento de A
um elemento de B, mas existe um elemento de B que no
elemento de A. Se A no subconjunto de B, escrevemos A B.
A.C.Bianchi (Unifesp) 15/09/2014 10 / 53
Subconjuntos
Denio
Sejam A e B conjuntos. Se todo elemento de A elemento de B,
ento A chamado um subconjunto de B e B chamado um
superconjunto de A.
Em smbolos: A B ou B A.
Escrevendo logicamente, A B (x)[(x A) (x B)]
Quando A B e A = B, escrevemos A B, A B, B A ou
B A. Nesse caso dizemos que A um subconjunto prprio de
B ou que B um superconjunto prprio de A. Em outras palavras,
A um subconjunto prprio de B quando todo elemento de A
um elemento de B, mas existe um elemento de B que no
elemento de A. Se A no subconjunto de B, escrevemos A B.
A.C.Bianchi (Unifesp) 15/09/2014 10 / 53
Subconjuntos
Denio
Sejam A e B conjuntos. Se todo elemento de A elemento de B,
ento A chamado um subconjunto de B e B chamado um
superconjunto de A.
Em smbolos: A B ou B A.
Escrevendo logicamente, A B (x)[(x A) (x B)]
Quando A B e A = B, escrevemos A B, A B, B A ou
B A. Nesse caso dizemos que A um subconjunto prprio de
B ou que B um superconjunto prprio de A. Em outras palavras,
A um subconjunto prprio de B quando todo elemento de A
um elemento de B, mas existe um elemento de B que no
elemento de A. Se A no subconjunto de B, escrevemos A B.
A.C.Bianchi (Unifesp) 15/09/2014 10 / 53
Subconjuntos
Denio
Sejam A e B conjuntos. Se todo elemento de A elemento de B,
ento A chamado um subconjunto de B e B chamado um
superconjunto de A.
Em smbolos: A B ou B A.
Escrevendo logicamente, A B (x)[(x A) (x B)]
Quando A B e A = B, escrevemos A B, A B, B A ou
B A. Nesse caso dizemos que A um subconjunto prprio de
B ou que B um superconjunto prprio de A. Em outras palavras,
A um subconjunto prprio de B quando todo elemento de A
um elemento de B, mas existe um elemento de B que no
elemento de A. Se A no subconjunto de B, escrevemos A B.
A.C.Bianchi (Unifesp) 15/09/2014 10 / 53
Subconjuntos
Denio
Sejam A e B conjuntos. Se todo elemento de A elemento de B,
ento A chamado um subconjunto de B e B chamado um
superconjunto de A.
Em smbolos: A B ou B A.
Escrevendo logicamente, A B (x)[(x A) (x B)]
Quando A B e A = B, escrevemos A B, A B, B A ou
B A. Nesse caso dizemos que A um subconjunto prprio de
B ou que B um superconjunto prprio de A. Em outras palavras,
A um subconjunto prprio de B quando todo elemento de A
um elemento de B, mas existe um elemento de B que no
elemento de A. Se A no subconjunto de B, escrevemos A B.
A.C.Bianchi (Unifesp) 15/09/2014 10 / 53
Primeiros resultados...
Proposio 1
O conjunto vazio um subconjunto de qualquer conjunto.
Proposio 2
Todo conjunto um subconjunto (e um superconjunto) de si mesmo.
Proposio 3
Sejam A, B e C conjuntos. Se A B e B C, ento A C.
A.C.Bianchi (Unifesp) 15/09/2014 11 / 53
Primeiros resultados...
Proposio 1
O conjunto vazio um subconjunto de qualquer conjunto.
Proposio 2
Todo conjunto um subconjunto (e um superconjunto) de si mesmo.
Proposio 3
Sejam A, B e C conjuntos. Se A B e B C, ento A C.
A.C.Bianchi (Unifesp) 15/09/2014 11 / 53
Primeiros resultados...
Proposio 1
O conjunto vazio um subconjunto de qualquer conjunto.
Proposio 2
Todo conjunto um subconjunto (e um superconjunto) de si mesmo.
Proposio 3
Sejam A, B e C conjuntos. Se A B e B C, ento A C.
A.C.Bianchi (Unifesp) 15/09/2014 11 / 53
Primeiros resultados...
Proposio 1
O conjunto vazio um subconjunto de qualquer conjunto.
Proposio 2
Todo conjunto um subconjunto (e um superconjunto) de si mesmo.
Proposio 3
Sejam A, B e C conjuntos. Se A B e B C, ento A C.
A.C.Bianchi (Unifesp) 15/09/2014 11 / 53
Exerccios
1 Demonstre que o conjunto de letras da palavra catarata e o
conjunto de letras da palavra catraca so iguais.
2 Decida, dentre os seguintes conjuntos, quais so subconjuntos de
quais:
(a) A = { todos os nmeros reais satisfazendo x
2
8x + 12 = 0}.
(b) B = {2, 4, 6}.
(c) C = {2, 4, 6, 8, . . . }.
(d) D = {6}
3 Liste todos os subconjuntos do conjunto {1, 0, 1}.
4 Demonstre que [(A B) (B A)] (A = B) [Nota:
Frequentemente, o melhor meio de demonstrar que A = B
mostrar que A B e B A.]
5 Demonstre que (A ) (A = ).
A.C.Bianchi (Unifesp) 15/09/2014 12 / 53
Exerccios
1 Demonstre que o conjunto de letras da palavra catarata e o
conjunto de letras da palavra catraca so iguais.
2 Decida, dentre os seguintes conjuntos, quais so subconjuntos de
quais:
(a) A = { todos os nmeros reais satisfazendo x
2
8x + 12 = 0}.
(b) B = {2, 4, 6}.
(c) C = {2, 4, 6, 8, . . . }.
(d) D = {6}
3 Liste todos os subconjuntos do conjunto {1, 0, 1}.
4 Demonstre que [(A B) (B A)] (A = B) [Nota:
Frequentemente, o melhor meio de demonstrar que A = B
mostrar que A B e B A.]
5 Demonstre que (A ) (A = ).
A.C.Bianchi (Unifesp) 15/09/2014 12 / 53
Exerccios
1 Demonstre que o conjunto de letras da palavra catarata e o
conjunto de letras da palavra catraca so iguais.
2 Decida, dentre os seguintes conjuntos, quais so subconjuntos de
quais:
(a) A = { todos os nmeros reais satisfazendo x
2
8x + 12 = 0}.
(b) B = {2, 4, 6}.
(c) C = {2, 4, 6, 8, . . . }.
(d) D = {6}
3 Liste todos os subconjuntos do conjunto {1, 0, 1}.
4 Demonstre que [(A B) (B A)] (A = B) [Nota:
Frequentemente, o melhor meio de demonstrar que A = B
mostrar que A B e B A.]
5 Demonstre que (A ) (A = ).
A.C.Bianchi (Unifesp) 15/09/2014 12 / 53
Exerccios
1 Demonstre que o conjunto de letras da palavra catarata e o
conjunto de letras da palavra catraca so iguais.
2 Decida, dentre os seguintes conjuntos, quais so subconjuntos de
quais:
(a) A = { todos os nmeros reais satisfazendo x
2
8x + 12 = 0}.
(b) B = {2, 4, 6}.
(c) C = {2, 4, 6, 8, . . . }.
(d) D = {6}
3 Liste todos os subconjuntos do conjunto {1, 0, 1}.
4 Demonstre que [(A B) (B A)] (A = B) [Nota:
Frequentemente, o melhor meio de demonstrar que A = B
mostrar que A B e B A.]
5 Demonstre que (A ) (A = ).
A.C.Bianchi (Unifesp) 15/09/2014 12 / 53
Exerccios
1 Demonstre que o conjunto de letras da palavra catarata e o
conjunto de letras da palavra catraca so iguais.
2 Decida, dentre os seguintes conjuntos, quais so subconjuntos de
quais:
(a) A = { todos os nmeros reais satisfazendo x
2
8x + 12 = 0}.
(b) B = {2, 4, 6}.
(c) C = {2, 4, 6, 8, . . . }.
(d) D = {6}
3 Liste todos os subconjuntos do conjunto {1, 0, 1}.
4 Demonstre que [(A B) (B A)] (A = B) [Nota:
Frequentemente, o melhor meio de demonstrar que A = B
mostrar que A B e B A.]
5 Demonstre que (A ) (A = ).
A.C.Bianchi (Unifesp) 15/09/2014 12 / 53
Exerccios
1 Demonstre que o conjunto de letras da palavra catarata e o
conjunto de letras da palavra catraca so iguais.
2 Decida, dentre os seguintes conjuntos, quais so subconjuntos de
quais:
(a) A = { todos os nmeros reais satisfazendo x
2
8x + 12 = 0}.
(b) B = {2, 4, 6}.
(c) C = {2, 4, 6, 8, . . . }.
(d) D = {6}
3 Liste todos os subconjuntos do conjunto {1, 0, 1}.
4 Demonstre que [(A B) (B A)] (A = B) [Nota:
Frequentemente, o melhor meio de demonstrar que A = B
mostrar que A B e B A.]
5 Demonstre que (A ) (A = ).
A.C.Bianchi (Unifesp) 15/09/2014 12 / 53
Exerccios
1 Demonstre que o conjunto de letras da palavra catarata e o
conjunto de letras da palavra catraca so iguais.
2 Decida, dentre os seguintes conjuntos, quais so subconjuntos de
quais:
(a) A = { todos os nmeros reais satisfazendo x
2
8x + 12 = 0}.
(b) B = {2, 4, 6}.
(c) C = {2, 4, 6, 8, . . . }.
(d) D = {6}
3 Liste todos os subconjuntos do conjunto {1, 0, 1}.
4 Demonstre que [(A B) (B A)] (A = B) [Nota:
Frequentemente, o melhor meio de demonstrar que A = B
mostrar que A B e B A.]
5 Demonstre que (A ) (A = ).
A.C.Bianchi (Unifesp) 15/09/2014 12 / 53
Exerccios
1 Demonstre que o conjunto de letras da palavra catarata e o
conjunto de letras da palavra catraca so iguais.
2 Decida, dentre os seguintes conjuntos, quais so subconjuntos de
quais:
(a) A = { todos os nmeros reais satisfazendo x
2
8x + 12 = 0}.
(b) B = {2, 4, 6}.
(c) C = {2, 4, 6, 8, . . . }.
(d) D = {6}
3 Liste todos os subconjuntos do conjunto {1, 0, 1}.
4 Demonstre que [(A B) (B A)] (A = B) [Nota:
Frequentemente, o melhor meio de demonstrar que A = B
mostrar que A B e B A.]
5 Demonstre que (A ) (A = ).
A.C.Bianchi (Unifesp) 15/09/2014 12 / 53
Exerccios
1 Demonstre que o conjunto de letras da palavra catarata e o
conjunto de letras da palavra catraca so iguais.
2 Decida, dentre os seguintes conjuntos, quais so subconjuntos de
quais:
(a) A = { todos os nmeros reais satisfazendo x
2
8x + 12 = 0}.
(b) B = {2, 4, 6}.
(c) C = {2, 4, 6, 8, . . . }.
(d) D = {6}
3 Liste todos os subconjuntos do conjunto {1, 0, 1}.
4 Demonstre que [(A B) (B A)] (A = B) [Nota:
Frequentemente, o melhor meio de demonstrar que A = B
mostrar que A B e B A.]
5 Demonstre que (A ) (A = ).
A.C.Bianchi (Unifesp) 15/09/2014 12 / 53
Exerccios
1 Demonstre que o conjunto de letras da palavra catarata e o
conjunto de letras da palavra catraca so iguais.
2 Decida, dentre os seguintes conjuntos, quais so subconjuntos de
quais:
(a) A = { todos os nmeros reais satisfazendo x
2
8x + 12 = 0}.
(b) B = {2, 4, 6}.
(c) C = {2, 4, 6, 8, . . . }.
(d) D = {6}
3 Liste todos os subconjuntos do conjunto {1, 0, 1}.
4 Demonstre que [(A B) (B A)] (A = B) [Nota:
Frequentemente, o melhor meio de demonstrar que A = B
mostrar que A B e B A.]
5 Demonstre que (A ) (A = ).
A.C.Bianchi (Unifesp) 15/09/2014 12 / 53
Exerccios
6 Demonstre que
(a) [(A B) (B C)] (A C).
(b) [(A B) (B C)] (A C).
7 D um exemplo de um conjunto cujos elementos so tambm
conjuntos.
8 Em cada um dos seguintes itens, determine se a armao
verdadeira ou falsa. Se for verdadeira, demonstre-a. Se for falsa,
mostre-o atravs de um exemplo (um tal exemplo, mostrando que
uma proposio falsa, chamado um contra-exemplo).
(a) Se x A e A B, ento x B.
(b) Se A B e B C, ento A C.
(c) Se A B e B C, ento A C.
(d) Se x A e A B, ento x / B.
(e) Se A B e x / B, ento x / A.
A.C.Bianchi (Unifesp) 15/09/2014 13 / 53
Exerccios
6 Demonstre que
(a) [(A B) (B C)] (A C).
(b) [(A B) (B C)] (A C).
7 D um exemplo de um conjunto cujos elementos so tambm
conjuntos.
8 Em cada um dos seguintes itens, determine se a armao
verdadeira ou falsa. Se for verdadeira, demonstre-a. Se for falsa,
mostre-o atravs de um exemplo (um tal exemplo, mostrando que
uma proposio falsa, chamado um contra-exemplo).
(a) Se x A e A B, ento x B.
(b) Se A B e B C, ento A C.
(c) Se A B e B C, ento A C.
(d) Se x A e A B, ento x / B.
(e) Se A B e x / B, ento x / A.
A.C.Bianchi (Unifesp) 15/09/2014 13 / 53
Exerccios
6 Demonstre que
(a) [(A B) (B C)] (A C).
(b) [(A B) (B C)] (A C).
7 D um exemplo de um conjunto cujos elementos so tambm
conjuntos.
8 Em cada um dos seguintes itens, determine se a armao
verdadeira ou falsa. Se for verdadeira, demonstre-a. Se for falsa,
mostre-o atravs de um exemplo (um tal exemplo, mostrando que
uma proposio falsa, chamado um contra-exemplo).
(a) Se x A e A B, ento x B.
(b) Se A B e B C, ento A C.
(c) Se A B e B C, ento A C.
(d) Se x A e A B, ento x / B.
(e) Se A B e x / B, ento x / A.
A.C.Bianchi (Unifesp) 15/09/2014 13 / 53
Exerccios
6 Demonstre que
(a) [(A B) (B C)] (A C).
(b) [(A B) (B C)] (A C).
7 D um exemplo de um conjunto cujos elementos so tambm
conjuntos.
8 Em cada um dos seguintes itens, determine se a armao
verdadeira ou falsa. Se for verdadeira, demonstre-a. Se for falsa,
mostre-o atravs de um exemplo (um tal exemplo, mostrando que
uma proposio falsa, chamado um contra-exemplo).
(a) Se x A e A B, ento x B.
(b) Se A B e B C, ento A C.
(c) Se A B e B C, ento A C.
(d) Se x A e A B, ento x / B.
(e) Se A B e x / B, ento x / A.
A.C.Bianchi (Unifesp) 15/09/2014 13 / 53
Exerccios
6 Demonstre que
(a) [(A B) (B C)] (A C).
(b) [(A B) (B C)] (A C).
7 D um exemplo de um conjunto cujos elementos so tambm
conjuntos.
8 Em cada um dos seguintes itens, determine se a armao
verdadeira ou falsa. Se for verdadeira, demonstre-a. Se for falsa,
mostre-o atravs de um exemplo (um tal exemplo, mostrando que
uma proposio falsa, chamado um contra-exemplo).
(a) Se x A e A B, ento x B.
(b) Se A B e B C, ento A C.
(c) Se A B e B C, ento A C.
(d) Se x A e A B, ento x / B.
(e) Se A B e x / B, ento x / A.
A.C.Bianchi (Unifesp) 15/09/2014 13 / 53
Exerccios
6 Demonstre que
(a) [(A B) (B C)] (A C).
(b) [(A B) (B C)] (A C).
7 D um exemplo de um conjunto cujos elementos so tambm
conjuntos.
8 Em cada um dos seguintes itens, determine se a armao
verdadeira ou falsa. Se for verdadeira, demonstre-a. Se for falsa,
mostre-o atravs de um exemplo (um tal exemplo, mostrando que
uma proposio falsa, chamado um contra-exemplo).
(a) Se x A e A B, ento x B.
(b) Se A B e B C, ento A C.
(c) Se A B e B C, ento A C.
(d) Se x A e A B, ento x / B.
(e) Se A B e x / B, ento x / A.
A.C.Bianchi (Unifesp) 15/09/2014 13 / 53
Exerccios
6 Demonstre que
(a) [(A B) (B C)] (A C).
(b) [(A B) (B C)] (A C).
7 D um exemplo de um conjunto cujos elementos so tambm
conjuntos.
8 Em cada um dos seguintes itens, determine se a armao
verdadeira ou falsa. Se for verdadeira, demonstre-a. Se for falsa,
mostre-o atravs de um exemplo (um tal exemplo, mostrando que
uma proposio falsa, chamado um contra-exemplo).
(a) Se x A e A B, ento x B.
(b) Se A B e B C, ento A C.
(c) Se A B e B C, ento A C.
(d) Se x A e A B, ento x / B.
(e) Se A B e x / B, ento x / A.
A.C.Bianchi (Unifesp) 15/09/2014 13 / 53
Exerccios
6 Demonstre que
(a) [(A B) (B C)] (A C).
(b) [(A B) (B C)] (A C).
7 D um exemplo de um conjunto cujos elementos so tambm
conjuntos.
8 Em cada um dos seguintes itens, determine se a armao
verdadeira ou falsa. Se for verdadeira, demonstre-a. Se for falsa,
mostre-o atravs de um exemplo (um tal exemplo, mostrando que
uma proposio falsa, chamado um contra-exemplo).
(a) Se x A e A B, ento x B.
(b) Se A B e B C, ento A C.
(c) Se A B e B C, ento A C.
(d) Se x A e A B, ento x / B.
(e) Se A B e x / B, ento x / A.
A.C.Bianchi (Unifesp) 15/09/2014 13 / 53
Exerccios
6 Demonstre que
(a) [(A B) (B C)] (A C).
(b) [(A B) (B C)] (A C).
7 D um exemplo de um conjunto cujos elementos so tambm
conjuntos.
8 Em cada um dos seguintes itens, determine se a armao
verdadeira ou falsa. Se for verdadeira, demonstre-a. Se for falsa,
mostre-o atravs de um exemplo (um tal exemplo, mostrando que
uma proposio falsa, chamado um contra-exemplo).
(a) Se x A e A B, ento x B.
(b) Se A B e B C, ento A C.
(c) Se A B e B C, ento A C.
(d) Se x A e A B, ento x / B.
(e) Se A B e x / B, ento x / A.
A.C.Bianchi (Unifesp) 15/09/2014 13 / 53
Exerccios
6 Demonstre que
(a) [(A B) (B C)] (A C).
(b) [(A B) (B C)] (A C).
7 D um exemplo de um conjunto cujos elementos so tambm
conjuntos.
8 Em cada um dos seguintes itens, determine se a armao
verdadeira ou falsa. Se for verdadeira, demonstre-a. Se for falsa,
mostre-o atravs de um exemplo (um tal exemplo, mostrando que
uma proposio falsa, chamado um contra-exemplo).
(a) Se x A e A B, ento x B.
(b) Se A B e B C, ento A C.
(c) Se A B e B C, ento A C.
(d) Se x A e A B, ento x / B.
(e) Se A B e x / B, ento x / A.
A.C.Bianchi (Unifesp) 15/09/2014 13 / 53
Exerccios
6 Demonstre que
(a) [(A B) (B C)] (A C).
(b) [(A B) (B C)] (A C).
7 D um exemplo de um conjunto cujos elementos so tambm
conjuntos.
8 Em cada um dos seguintes itens, determine se a armao
verdadeira ou falsa. Se for verdadeira, demonstre-a. Se for falsa,
mostre-o atravs de um exemplo (um tal exemplo, mostrando que
uma proposio falsa, chamado um contra-exemplo).
(a) Se x A e A B, ento x B.
(b) Se A B e B C, ento A C.
(c) Se A B e B C, ento A C.
(d) Se x A e A B, ento x / B.
(e) Se A B e x / B, ento x / A.
A.C.Bianchi (Unifesp) 15/09/2014 13 / 53
AULA 2
A.C.Bianchi (Unifesp) 15/09/2014 14 / 53
Especicao de conjuntos
Um modo de construir um novo conjunto, a partir de um conjunto
dado, especicar aqueles elementos, do conjunto dado, que
satisfazem uma propriedade particular.
Por exemplo, seja A o conjunto de todos os estudantes desta
universidade. A proposio x paulista verdadeira para alguns
elementos x de A e falsa para outros.
Empregaremos a notao {x A|x paulista} para especicar o
conjunto de todas os estudantes paulistas desta universidade.
Similarmente, {x A|x no paulista } especica o conjunto de
estudantes no paulistas desta universidade.
A.C.Bianchi (Unifesp) 15/09/2014 15 / 53
Especicao de conjuntos
Um modo de construir um novo conjunto, a partir de um conjunto
dado, especicar aqueles elementos, do conjunto dado, que
satisfazem uma propriedade particular.
Por exemplo, seja A o conjunto de todos os estudantes desta
universidade. A proposio x paulista verdadeira para alguns
elementos x de A e falsa para outros.
Empregaremos a notao {x A|x paulista} para especicar o
conjunto de todas os estudantes paulistas desta universidade.
Similarmente, {x A|x no paulista } especica o conjunto de
estudantes no paulistas desta universidade.
A.C.Bianchi (Unifesp) 15/09/2014 15 / 53
Especicao de conjuntos
Um modo de construir um novo conjunto, a partir de um conjunto
dado, especicar aqueles elementos, do conjunto dado, que
satisfazem uma propriedade particular.
Por exemplo, seja A o conjunto de todos os estudantes desta
universidade. A proposio x paulista verdadeira para alguns
elementos x de A e falsa para outros.
Empregaremos a notao {x A|x paulista} para especicar o
conjunto de todas os estudantes paulistas desta universidade.
Similarmente, {x A|x no paulista } especica o conjunto de
estudantes no paulistas desta universidade.
A.C.Bianchi (Unifesp) 15/09/2014 15 / 53
Especicao de conjuntos
Um modo de construir um novo conjunto, a partir de um conjunto
dado, especicar aqueles elementos, do conjunto dado, que
satisfazem uma propriedade particular.
Por exemplo, seja A o conjunto de todos os estudantes desta
universidade. A proposio x paulista verdadeira para alguns
elementos x de A e falsa para outros.
Empregaremos a notao {x A|x paulista} para especicar o
conjunto de todas os estudantes paulistas desta universidade.
Similarmente, {x A|x no paulista } especica o conjunto de
estudantes no paulistas desta universidade.
A.C.Bianchi (Unifesp) 15/09/2014 15 / 53
Especicao de conjuntos
Um modo de construir um novo conjunto, a partir de um conjunto
dado, especicar aqueles elementos, do conjunto dado, que
satisfazem uma propriedade particular.
Por exemplo, seja A o conjunto de todos os estudantes desta
universidade. A proposio x paulista verdadeira para alguns
elementos x de A e falsa para outros.
Empregaremos a notao {x A|x paulista} para especicar o
conjunto de todas os estudantes paulistas desta universidade.
Similarmente, {x A|x no paulista } especica o conjunto de
estudantes no paulistas desta universidade.
A.C.Bianchi (Unifesp) 15/09/2014 15 / 53
Especicao de conjuntos
Um modo de construir um novo conjunto, a partir de um conjunto
dado, especicar aqueles elementos, do conjunto dado, que
satisfazem uma propriedade particular.
Por exemplo, seja A o conjunto de todos os estudantes desta
universidade. A proposio x paulista verdadeira para alguns
elementos x de A e falsa para outros.
Empregaremos a notao {x A|x paulista} para especicar o
conjunto de todas os estudantes paulistas desta universidade.
Similarmente, {x A|x no paulista } especica o conjunto de
estudantes no paulistas desta universidade.
A.C.Bianchi (Unifesp) 15/09/2014 15 / 53
Especicao de conjuntos
Axioma da Especicao
A todo conjunto A e a toda proposio p(x) sobre x A, existe um
conjunto {x A|p(x)}, cujos elementos so precisamente aqueles
elementos x A para os quais a armao p(x) verdadeira.
O smbolo {x A|p(x)} lido o conjunto de todos os x em A
tais que p(x) verdadeira. A notao da forma {x A|p(x)}
para descrever um conjunto chamada a notao de
construo do conjunto.
A.C.Bianchi (Unifesp) 15/09/2014 16 / 53
Especicao de conjuntos
Axioma da Especicao
A todo conjunto A e a toda proposio p(x) sobre x A, existe um
conjunto {x A|p(x)}, cujos elementos so precisamente aqueles
elementos x A para os quais a armao p(x) verdadeira.
O smbolo {x A|p(x)} lido o conjunto de todos os x em A
tais que p(x) verdadeira. A notao da forma {x A|p(x)}
para descrever um conjunto chamada a notao de
construo do conjunto.
A.C.Bianchi (Unifesp) 15/09/2014 16 / 53
Especicao de conjuntos
Axioma da Especicao
A todo conjunto A e a toda proposio p(x) sobre x A, existe um
conjunto {x A|p(x)}, cujos elementos so precisamente aqueles
elementos x A para os quais a armao p(x) verdadeira.
O smbolo {x A|p(x)} lido o conjunto de todos os x em A
tais que p(x) verdadeira. A notao da forma {x A|p(x)}
para descrever um conjunto chamada a notao de
construo do conjunto.
A.C.Bianchi (Unifesp) 15/09/2014 16 / 53
Especicao de conjuntos
Axioma da Especicao
A todo conjunto A e a toda proposio p(x) sobre x A, existe um
conjunto {x A|p(x)}, cujos elementos so precisamente aqueles
elementos x A para os quais a armao p(x) verdadeira.
O smbolo {x A|p(x)} lido o conjunto de todos os x em A
tais que p(x) verdadeira. A notao da forma {x A|p(x)}
para descrever um conjunto chamada a notao de
construo do conjunto.
A.C.Bianchi (Unifesp) 15/09/2014 16 / 53
Exemplo
Exemplos: Seja R o conjunto dos nmeros reais. Ento,
(a) {x R|x = x + 1} o conjunto vazio.
(b) {x R|2x
2
5x 3 = 0} o conjunto {1/2, 3}.
(c) {x R|x
2
+ 1 = 0} o conjunto vazio.
A.C.Bianchi (Unifesp) 15/09/2014 17 / 53
Exemplo
Exemplos: Seja R o conjunto dos nmeros reais. Ento,
(a) {x R|x = x + 1} o conjunto vazio.
(b) {x R|2x
2
5x 3 = 0} o conjunto {1/2, 3}.
(c) {x R|x
2
+ 1 = 0} o conjunto vazio.
A.C.Bianchi (Unifesp) 15/09/2014 17 / 53
Exemplo
Exemplos: Seja R o conjunto dos nmeros reais. Ento,
(a) {x R|x = x + 1} o conjunto vazio.
(b) {x R|2x
2
5x 3 = 0} o conjunto {1/2, 3}.
(c) {x R|x
2
+ 1 = 0} o conjunto vazio.
A.C.Bianchi (Unifesp) 15/09/2014 17 / 53
Exemplo
Exemplos: Seja R o conjunto dos nmeros reais. Ento,
(a) {x R|x = x + 1} o conjunto vazio.
(b) {x R|2x
2
5x 3 = 0} o conjunto {1/2, 3}.
(c) {x R|x
2
+ 1 = 0} o conjunto vazio.
A.C.Bianchi (Unifesp) 15/09/2014 17 / 53
Exemplo
Exemplos: Seja R o conjunto dos nmeros reais. Ento,
(a) {x R|x = x + 1} o conjunto vazio.
(b) {x R|2x
2
5x 3 = 0} o conjunto {1/2, 3}.
(c) {x R|x
2
+ 1 = 0} o conjunto vazio.
A.C.Bianchi (Unifesp) 15/09/2014 17 / 53
Exemplo
Exemplos: Seja R o conjunto dos nmeros reais. Ento,
(a) {x R|x = x + 1} o conjunto vazio.
(b) {x R|2x
2
5x 3 = 0} o conjunto {1/2, 3}.
(c) {x R|x
2
+ 1 = 0} o conjunto vazio.
A.C.Bianchi (Unifesp) 15/09/2014 17 / 53
Conjunto das partes
Axioma do Conjunto das Partes
Para cada conjunto, existe um conjunto de conjuntos que consiste de
todos os subconjuntos do conjunto dado. Esse conjunto chamado
de conjunto das partes do conjunto dado.
Notao: Seja A um conjunto. O conjunto das partes de A ser
denotado por (A).
Exemplos:
() = {}, ({a}) = {, {a}}, ({a, b}) = {, {a}, {b}, {a, b}}.
A.C.Bianchi (Unifesp) 15/09/2014 18 / 53
Conjunto das partes
Axioma do Conjunto das Partes
Para cada conjunto, existe um conjunto de conjuntos que consiste de
todos os subconjuntos do conjunto dado. Esse conjunto chamado
de conjunto das partes do conjunto dado.
Notao: Seja A um conjunto. O conjunto das partes de A ser
denotado por (A).
Exemplos:
() = {}, ({a}) = {, {a}}, ({a, b}) = {, {a}, {b}, {a, b}}.
A.C.Bianchi (Unifesp) 15/09/2014 18 / 53
Conjunto das partes
Axioma do Conjunto das Partes
Para cada conjunto, existe um conjunto de conjuntos que consiste de
todos os subconjuntos do conjunto dado. Esse conjunto chamado
de conjunto das partes do conjunto dado.
Notao: Seja A um conjunto. O conjunto das partes de A ser
denotado por (A).
Exemplos:
() = {}, ({a}) = {, {a}}, ({a, b}) = {, {a}, {b}, {a, b}}.
A.C.Bianchi (Unifesp) 15/09/2014 18 / 53
Conjunto das partes
Axioma do Conjunto das Partes
Para cada conjunto, existe um conjunto de conjuntos que consiste de
todos os subconjuntos do conjunto dado. Esse conjunto chamado
de conjunto das partes do conjunto dado.
Notao: Seja A um conjunto. O conjunto das partes de A ser
denotado por (A).
Exemplos:
() = {}, ({a}) = {, {a}}, ({a, b}) = {, {a}, {b}, {a, b}}.
A.C.Bianchi (Unifesp) 15/09/2014 18 / 53
Conjunto das partes
Axioma do Conjunto das Partes
Para cada conjunto, existe um conjunto de conjuntos que consiste de
todos os subconjuntos do conjunto dado. Esse conjunto chamado
de conjunto das partes do conjunto dado.
Notao: Seja A um conjunto. O conjunto das partes de A ser
denotado por (A).
Exemplos:
() = {}, ({a}) = {, {a}}, ({a, b}) = {, {a}, {b}, {a, b}}.
A.C.Bianchi (Unifesp) 15/09/2014 18 / 53
Conjunto das partes
Teorema
Se A consiste de n elementos, ento o seu conjunto das partes (A)
contm exatamente 2
n
elementos.
Demonstrao: O teorema claramente verdadeiro para A = . Para
um conjunto no vazio A, digamos A = f {a
1
, a
2
, a
3
, . . . , a
n
}, dado um
elemento a
k
de A, para cada subconjunto de A temos duas
possibilidades: ou ele contm a
k
ou no o contm. Portanto, o
problema de encontrar o nmero de subconjuntos de A pode ser
considerado como o problema de preencher uma lista de n espaos
em branco, aleatoriamente, com os nmeros 0 e 1, um nmero em
cada espao. Cada preenchimento dos n espaos determina um
subconjunto X de A da seguinte maneira: a
k
X se, e somente se, 1
aparece no k-simo espao (para cada k {1, 2, . . . , n}. Como
existem exatamente 2
n
preenchimentos distintos, existem 2
n
subconjuntos de A.
A.C.Bianchi (Unifesp) 15/09/2014 19 / 53
Conjunto das partes
Teorema
Se A consiste de n elementos, ento o seu conjunto das partes (A)
contm exatamente 2
n
elementos.
Demonstrao: O teorema claramente verdadeiro para A = . Para
um conjunto no vazio A, digamos A = f {a
1
, a
2
, a
3
, . . . , a
n
}, dado um
elemento a
k
de A, para cada subconjunto de A temos duas
possibilidades: ou ele contm a
k
ou no o contm. Portanto, o
problema de encontrar o nmero de subconjuntos de A pode ser
considerado como o problema de preencher uma lista de n espaos
em branco, aleatoriamente, com os nmeros 0 e 1, um nmero em
cada espao. Cada preenchimento dos n espaos determina um
subconjunto X de A da seguinte maneira: a
k
X se, e somente se, 1
aparece no k-simo espao (para cada k {1, 2, . . . , n}. Como
existem exatamente 2
n
preenchimentos distintos, existem 2
n
subconjuntos de A.
A.C.Bianchi (Unifesp) 15/09/2014 19 / 53
Exerccios
1 Quais so os elementos do conjunto das partes do conjunto
{x, {y, z}}? Quantos elementos tem esse conjunto das partes?
2 Seja B um subconjunto de A e considere
(A : B) = {X (A)|X B}.
(a) Seja B = {a, b} e A = {a, b, c, d, e}. Liste os elementos do
conjunto (A : B). Quanto so eles?
(b) Demonstre que (A : ) = (A).
(c) Suponha que A um conjunto com n elementos e B um
subconjunto com m elementos, onde n m. Encontre o nmero
de elementos do conjunto (A : B).
A.C.Bianchi (Unifesp) 15/09/2014 20 / 53
Exerccios
1 Quais so os elementos do conjunto das partes do conjunto
{x, {y, z}}? Quantos elementos tem esse conjunto das partes?
2 Seja B um subconjunto de A e considere
(A : B) = {X (A)|X B}.
(a) Seja B = {a, b} e A = {a, b, c, d, e}. Liste os elementos do
conjunto (A : B). Quanto so eles?
(b) Demonstre que (A : ) = (A).
(c) Suponha que A um conjunto com n elementos e B um
subconjunto com m elementos, onde n m. Encontre o nmero
de elementos do conjunto (A : B).
A.C.Bianchi (Unifesp) 15/09/2014 20 / 53
Exerccios
1 Quais so os elementos do conjunto das partes do conjunto
{x, {y, z}}? Quantos elementos tem esse conjunto das partes?
2 Seja B um subconjunto de A e considere
(A : B) = {X (A)|X B}.
(a) Seja B = {a, b} e A = {a, b, c, d, e}. Liste os elementos do
conjunto (A : B). Quanto so eles?
(b) Demonstre que (A : ) = (A).
(c) Suponha que A um conjunto com n elementos e B um
subconjunto com m elementos, onde n m. Encontre o nmero
de elementos do conjunto (A : B).
A.C.Bianchi (Unifesp) 15/09/2014 20 / 53
Exerccios
1 Quais so os elementos do conjunto das partes do conjunto
{x, {y, z}}? Quantos elementos tem esse conjunto das partes?
2 Seja B um subconjunto de A e considere
(A : B) = {X (A)|X B}.
(a) Seja B = {a, b} e A = {a, b, c, d, e}. Liste os elementos do
conjunto (A : B). Quanto so eles?
(b) Demonstre que (A : ) = (A).
(c) Suponha que A um conjunto com n elementos e B um
subconjunto com m elementos, onde n m. Encontre o nmero
de elementos do conjunto (A : B).
A.C.Bianchi (Unifesp) 15/09/2014 20 / 53
Exerccios
1 Quais so os elementos do conjunto das partes do conjunto
{x, {y, z}}? Quantos elementos tem esse conjunto das partes?
2 Seja B um subconjunto de A e considere
(A : B) = {X (A)|X B}.
(a) Seja B = {a, b} e A = {a, b, c, d, e}. Liste os elementos do
conjunto (A : B). Quanto so eles?
(b) Demonstre que (A : ) = (A).
(c) Suponha que A um conjunto com n elementos e B um
subconjunto com m elementos, onde n m. Encontre o nmero
de elementos do conjunto (A : B).
A.C.Bianchi (Unifesp) 15/09/2014 20 / 53
Exerccios
1 Quais so os elementos do conjunto das partes do conjunto
{x, {y, z}}? Quantos elementos tem esse conjunto das partes?
2 Seja B um subconjunto de A e considere
(A : B) = {X (A)|X B}.
(a) Seja B = {a, b} e A = {a, b, c, d, e}. Liste os elementos do
conjunto (A : B). Quanto so eles?
(b) Demonstre que (A : ) = (A).
(c) Suponha que A um conjunto com n elementos e B um
subconjunto com m elementos, onde n m. Encontre o nmero
de elementos do conjunto (A : B).
A.C.Bianchi (Unifesp) 15/09/2014 20 / 53
Operaes entre conjuntos
Discutiremos trs operaes da Teoria dos conjuntos que so
anlogas s operaes de +, e entre nmeros.
Denio: unio
A unio de dois conjuntos quaisquer A e B, denotada por A B, o
conjunto dos elementos x tais que x pertence a pelo menos um dos
conjuntos A e B. Ou seja, x A B x A x B.
Denio: interseo
A interseo de dois conjuntos quaisquer A e B, denotada por A B,
o conjunto dos elementos x tais que x pertence a ambos os conjuntos
A e B. Ou seja, x A B x A x B.
Ou ainda, A B = {x A|x B}. Se A B = , diz-se que A e B so
disjuntos.
A.C.Bianchi (Unifesp) 15/09/2014 21 / 53
Operaes entre conjuntos
Discutiremos trs operaes da Teoria dos conjuntos que so
anlogas s operaes de +, e entre nmeros.
Denio: unio
A unio de dois conjuntos quaisquer A e B, denotada por A B, o
conjunto dos elementos x tais que x pertence a pelo menos um dos
conjuntos A e B. Ou seja, x A B x A x B.
Denio: interseo
A interseo de dois conjuntos quaisquer A e B, denotada por A B,
o conjunto dos elementos x tais que x pertence a ambos os conjuntos
A e B. Ou seja, x A B x A x B.
Ou ainda, A B = {x A|x B}. Se A B = , diz-se que A e B so
disjuntos.
A.C.Bianchi (Unifesp) 15/09/2014 21 / 53
Operaes entre conjuntos
Discutiremos trs operaes da Teoria dos conjuntos que so
anlogas s operaes de +, e entre nmeros.
Denio: unio
A unio de dois conjuntos quaisquer A e B, denotada por A B, o
conjunto dos elementos x tais que x pertence a pelo menos um dos
conjuntos A e B. Ou seja, x A B x A x B.
Denio: interseo
A interseo de dois conjuntos quaisquer A e B, denotada por A B,
o conjunto dos elementos x tais que x pertence a ambos os conjuntos
A e B. Ou seja, x A B x A x B.
Ou ainda, A B = {x A|x B}. Se A B = , diz-se que A e B so
disjuntos.
A.C.Bianchi (Unifesp) 15/09/2014 21 / 53
Operaes entre conjuntos
Discutiremos trs operaes da Teoria dos conjuntos que so
anlogas s operaes de +, e entre nmeros.
Denio: unio
A unio de dois conjuntos quaisquer A e B, denotada por A B, o
conjunto dos elementos x tais que x pertence a pelo menos um dos
conjuntos A e B. Ou seja, x A B x A x B.
Denio: interseo
A interseo de dois conjuntos quaisquer A e B, denotada por A B,
o conjunto dos elementos x tais que x pertence a ambos os conjuntos
A e B. Ou seja, x A B x A x B.
Ou ainda, A B = {x A|x B}. Se A B = , diz-se que A e B so
disjuntos.
A.C.Bianchi (Unifesp) 15/09/2014 21 / 53
Operaes entre conjuntos
Discutiremos trs operaes da Teoria dos conjuntos que so
anlogas s operaes de +, e entre nmeros.
Denio: unio
A unio de dois conjuntos quaisquer A e B, denotada por A B, o
conjunto dos elementos x tais que x pertence a pelo menos um dos
conjuntos A e B. Ou seja, x A B x A x B.
Denio: interseo
A interseo de dois conjuntos quaisquer A e B, denotada por A B,
o conjunto dos elementos x tais que x pertence a ambos os conjuntos
A e B. Ou seja, x A B x A x B.
Ou ainda, A B = {x A|x B}. Se A B = , diz-se que A e B so
disjuntos.
A.C.Bianchi (Unifesp) 15/09/2014 21 / 53
Operaes entre conjuntos - Exemplo
Exemplos: Se A = {1, 2, 3, 4} e B = {3, 4, 5}, ento
A B = {1, 2, 3, 4, 5} e A B = {3, 4}. Note que no estamos dizendo
que A B = {{1, 2, 3, 4}, {3, 4, 5}}!
A.C.Bianchi (Unifesp) 15/09/2014 22 / 53
Leis sobre unio e interseo
Teorema 1
Sejam X um conjunto e A, B e C subconjuntos de X. Ento temos:
1 Os elementos neutros: A = A e A X = A.
2 As leis de idempotncia: A A = A e A A = A.
3 As leis comutativas: A B = B A e A B = B A.
4 As leis associativas:
A (B C) = (A B) C e A (B C) = (A B) C.
5 As leis distributivas:
A(BC) = (AB)(AC) e A(BC) = (AB)(AC).
A.C.Bianchi (Unifesp) 15/09/2014 23 / 53
Leis sobre unio e interseo
Teorema 1
Sejam X um conjunto e A, B e C subconjuntos de X. Ento temos:
1 Os elementos neutros: A = A e A X = A.
2 As leis de idempotncia: A A = A e A A = A.
3 As leis comutativas: A B = B A e A B = B A.
4 As leis associativas:
A (B C) = (A B) C e A (B C) = (A B) C.
5 As leis distributivas:
A(BC) = (AB)(AC) e A(BC) = (AB)(AC).
A.C.Bianchi (Unifesp) 15/09/2014 23 / 53
Leis sobre unio e interseo
Teorema 1
Sejam X um conjunto e A, B e C subconjuntos de X. Ento temos:
1 Os elementos neutros: A = A e A X = A.
2 As leis de idempotncia: A A = A e A A = A.
3 As leis comutativas: A B = B A e A B = B A.
4 As leis associativas:
A (B C) = (A B) C e A (B C) = (A B) C.
5 As leis distributivas:
A(BC) = (AB)(AC) e A(BC) = (AB)(AC).
A.C.Bianchi (Unifesp) 15/09/2014 23 / 53
Leis sobre unio e interseo
Teorema 1
Sejam X um conjunto e A, B e C subconjuntos de X. Ento temos:
1 Os elementos neutros: A = A e A X = A.
2 As leis de idempotncia: A A = A e A A = A.
3 As leis comutativas: A B = B A e A B = B A.
4 As leis associativas:
A (B C) = (A B) C e A (B C) = (A B) C.
5 As leis distributivas:
A(BC) = (AB)(AC) e A(BC) = (AB)(AC).
A.C.Bianchi (Unifesp) 15/09/2014 23 / 53
Leis sobre unio e interseo
Teorema 1
Sejam X um conjunto e A, B e C subconjuntos de X. Ento temos:
1 Os elementos neutros: A = A e A X = A.
2 As leis de idempotncia: A A = A e A A = A.
3 As leis comutativas: A B = B A e A B = B A.
4 As leis associativas:
A (B C) = (A B) C e A (B C) = (A B) C.
5 As leis distributivas:
A(BC) = (AB)(AC) e A(BC) = (AB)(AC).
A.C.Bianchi (Unifesp) 15/09/2014 23 / 53
Leis sobre unio e interseo
Teorema 1
Sejam X um conjunto e A, B e C subconjuntos de X. Ento temos:
1 Os elementos neutros: A = A e A X = A.
2 As leis de idempotncia: A A = A e A A = A.
3 As leis comutativas: A B = B A e A B = B A.
4 As leis associativas:
A (B C) = (A B) C e A (B C) = (A B) C.
5 As leis distributivas:
A(BC) = (AB)(AC) e A(BC) = (AB)(AC).
A.C.Bianchi (Unifesp) 15/09/2014 23 / 53
Leis sobre unio e interseo
Teorema 1
Sejam X um conjunto e A, B e C subconjuntos de X. Ento temos:
1 Os elementos neutros: A = A e A X = A.
2 As leis de idempotncia: A A = A e A A = A.
3 As leis comutativas: A B = B A e A B = B A.
4 As leis associativas:
A (B C) = (A B) C e A (B C) = (A B) C.
5 As leis distributivas:
A(BC) = (AB)(AC) e A(BC) = (AB)(AC).
A.C.Bianchi (Unifesp) 15/09/2014 23 / 53
Exerccios
1 Demonstre que A B A B = B.
2 Demonstre que A B A B = A.
3 Demonstre que, se A C e B C, ento A B C.
4 Demonstre que, se A B e A C, ento A B C.
5 Demonstre que (A B) C = A (B C) C A.
6 Demonstre que, se A B, ento (A) (B).
7 Demonstre que A B = A B A = B.
8 Demonstre que, se A B, ento A C B C e A C B C,
para qualquer conjunto C.
9 Demonstre que, se A C e B D, ento A B C D.
A.C.Bianchi (Unifesp) 15/09/2014 24 / 53
Exerccios
1 Demonstre que A B A B = B.
2 Demonstre que A B A B = A.
3 Demonstre que, se A C e B C, ento A B C.
4 Demonstre que, se A B e A C, ento A B C.
5 Demonstre que (A B) C = A (B C) C A.
6 Demonstre que, se A B, ento (A) (B).
7 Demonstre que A B = A B A = B.
8 Demonstre que, se A B, ento A C B C e A C B C,
para qualquer conjunto C.
9 Demonstre que, se A C e B D, ento A B C D.
A.C.Bianchi (Unifesp) 15/09/2014 24 / 53
Exerccios
1 Demonstre que A B A B = B.
2 Demonstre que A B A B = A.
3 Demonstre que, se A C e B C, ento A B C.
4 Demonstre que, se A B e A C, ento A B C.
5 Demonstre que (A B) C = A (B C) C A.
6 Demonstre que, se A B, ento (A) (B).
7 Demonstre que A B = A B A = B.
8 Demonstre que, se A B, ento A C B C e A C B C,
para qualquer conjunto C.
9 Demonstre que, se A C e B D, ento A B C D.
A.C.Bianchi (Unifesp) 15/09/2014 24 / 53
Exerccios
1 Demonstre que A B A B = B.
2 Demonstre que A B A B = A.
3 Demonstre que, se A C e B C, ento A B C.
4 Demonstre que, se A B e A C, ento A B C.
5 Demonstre que (A B) C = A (B C) C A.
6 Demonstre que, se A B, ento (A) (B).
7 Demonstre que A B = A B A = B.
8 Demonstre que, se A B, ento A C B C e A C B C,
para qualquer conjunto C.
9 Demonstre que, se A C e B D, ento A B C D.
A.C.Bianchi (Unifesp) 15/09/2014 24 / 53
Exerccios
1 Demonstre que A B A B = B.
2 Demonstre que A B A B = A.
3 Demonstre que, se A C e B C, ento A B C.
4 Demonstre que, se A B e A C, ento A B C.
5 Demonstre que (A B) C = A (B C) C A.
6 Demonstre que, se A B, ento (A) (B).
7 Demonstre que A B = A B A = B.
8 Demonstre que, se A B, ento A C B C e A C B C,
para qualquer conjunto C.
9 Demonstre que, se A C e B D, ento A B C D.
A.C.Bianchi (Unifesp) 15/09/2014 24 / 53
Exerccios
1 Demonstre que A B A B = B.
2 Demonstre que A B A B = A.
3 Demonstre que, se A C e B C, ento A B C.
4 Demonstre que, se A B e A C, ento A B C.
5 Demonstre que (A B) C = A (B C) C A.
6 Demonstre que, se A B, ento (A) (B).
7 Demonstre que A B = A B A = B.
8 Demonstre que, se A B, ento A C B C e A C B C,
para qualquer conjunto C.
9 Demonstre que, se A C e B D, ento A B C D.
A.C.Bianchi (Unifesp) 15/09/2014 24 / 53
Exerccios
1 Demonstre que A B A B = B.
2 Demonstre que A B A B = A.
3 Demonstre que, se A C e B C, ento A B C.
4 Demonstre que, se A B e A C, ento A B C.
5 Demonstre que (A B) C = A (B C) C A.
6 Demonstre que, se A B, ento (A) (B).
7 Demonstre que A B = A B A = B.
8 Demonstre que, se A B, ento A C B C e A C B C,
para qualquer conjunto C.
9 Demonstre que, se A C e B D, ento A B C D.
A.C.Bianchi (Unifesp) 15/09/2014 24 / 53
Exerccios
1 Demonstre que A B A B = B.
2 Demonstre que A B A B = A.
3 Demonstre que, se A C e B C, ento A B C.
4 Demonstre que, se A B e A C, ento A B C.
5 Demonstre que (A B) C = A (B C) C A.
6 Demonstre que, se A B, ento (A) (B).
7 Demonstre que A B = A B A = B.
8 Demonstre que, se A B, ento A C B C e A C B C,
para qualquer conjunto C.
9 Demonstre que, se A C e B D, ento A B C D.
A.C.Bianchi (Unifesp) 15/09/2014 24 / 53
Exerccios
1 Demonstre que A B A B = B.
2 Demonstre que A B A B = A.
3 Demonstre que, se A C e B C, ento A B C.
4 Demonstre que, se A B e A C, ento A B C.
5 Demonstre que (A B) C = A (B C) C A.
6 Demonstre que, se A B, ento (A) (B).
7 Demonstre que A B = A B A = B.
8 Demonstre que, se A B, ento A C B C e A C B C,
para qualquer conjunto C.
9 Demonstre que, se A C e B D, ento A B C D.
A.C.Bianchi (Unifesp) 15/09/2014 24 / 53
Exerccios
1 Demonstre que A B A B = B.
2 Demonstre que A B A B = A.
3 Demonstre que, se A C e B C, ento A B C.
4 Demonstre que, se A B e A C, ento A B C.
5 Demonstre que (A B) C = A (B C) C A.
6 Demonstre que, se A B, ento (A) (B).
7 Demonstre que A B = A B A = B.
8 Demonstre que, se A B, ento A C B C e A C B C,
para qualquer conjunto C.
9 Demonstre que, se A C e B D, ento A B C D.
A.C.Bianchi (Unifesp) 15/09/2014 24 / 53
Operaes entre conjuntos
Denio: complementos
Se A e B sso conjuntos, o complemento relativo de B em A o
conjunto A B, denido por A B = {x A|x / B}.
Note que no estamos assumindo B A.
Exemplos: Sejam A = {a, b, c, d} e B = {c, d, e, f }, ento
A B = {a, b}.
A.C.Bianchi (Unifesp) 15/09/2014 25 / 53
Operaes entre conjuntos
Denio: complementos
Se A e B sso conjuntos, o complemento relativo de B em A o
conjunto A B, denido por A B = {x A|x / B}.
Note que no estamos assumindo B A.
Exemplos: Sejam A = {a, b, c, d} e B = {c, d, e, f }, ento
A B = {a, b}.
A.C.Bianchi (Unifesp) 15/09/2014 25 / 53
Operaes entre conjuntos
Denio: complementos
Se A e B sso conjuntos, o complemento relativo de B em A o
conjunto A B, denido por A B = {x A|x / B}.
Note que no estamos assumindo B A.
Exemplos: Sejam A = {a, b, c, d} e B = {c, d, e, f }, ento
A B = {a, b}.
A.C.Bianchi (Unifesp) 15/09/2014 25 / 53
AULA 3
A.C.Bianchi (Unifesp) 15/09/2014 26 / 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
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

se, e somente se, A B = .


3 Demonstre que (A B) B = A se, e somente, se B A.
4 Demonstre que A e B A so disjuntos e que A B = A (B A).
(Isto mostra como representar a unio A B como uma unio
disjunta.)
5 Demonstre que (A B) (B A) = (A B) (A B).
2 Generalize o Teorema de De Morgan sobre conjuntos
complementares para n conjuntos A
1
, A
2
, . . . , A
n
.
A.C.Bianchi (Unifesp) 15/09/2014 29 / 53
Exerccios
1 Sejam A e B conjuntos.
1 Demonstre que A B = A (A B).
2 Demonstre que B A

se, e somente se, A B = .


3 Demonstre que (A B) B = A se, e somente, se B A.
4 Demonstre que A e B A so disjuntos e que A B = A (B A).
(Isto mostra como representar a unio A B como uma unio
disjunta.)
5 Demonstre que (A B) (B A) = (A B) (A B).
2 Generalize o Teorema de De Morgan sobre conjuntos
complementares para n conjuntos A
1
, A
2
, . . . , A
n
.
A.C.Bianchi (Unifesp) 15/09/2014 29 / 53
Exerccios
1 Sejam A e B conjuntos.
1 Demonstre que A B = A (A B).
2 Demonstre que B A

se, e somente se, A B = .


3 Demonstre que (A B) B = A se, e somente, se B A.
4 Demonstre que A e B A so disjuntos e que A B = A (B A).
(Isto mostra como representar a unio A B como uma unio
disjunta.)
5 Demonstre que (A B) (B A) = (A B) (A B).
2 Generalize o Teorema de De Morgan sobre conjuntos
complementares para n conjuntos A
1
, A
2
, . . . , A
n
.
A.C.Bianchi (Unifesp) 15/09/2014 29 / 53
Exerccios
1 Sejam A e B conjuntos.
1 Demonstre que A B = A (A B).
2 Demonstre que B A

se, e somente se, A B = .


3 Demonstre que (A B) B = A se, e somente, se B A.
4 Demonstre que A e B A so disjuntos e que A B = A (B A).
(Isto mostra como representar a unio A B como uma unio
disjunta.)
5 Demonstre que (A B) (B A) = (A B) (A B).
2 Generalize o Teorema de De Morgan sobre conjuntos
complementares para n conjuntos A
1
, A
2
, . . . , A
n
.
A.C.Bianchi (Unifesp) 15/09/2014 29 / 53
Exerccios
1 Sejam A e B conjuntos.
1 Demonstre que A B = A (A B).
2 Demonstre que B A

se, e somente se, A B = .


3 Demonstre que (A B) B = A se, e somente, se B A.
4 Demonstre que A e B A so disjuntos e que A B = A (B A).
(Isto mostra como representar a unio A B como uma unio
disjunta.)
5 Demonstre que (A B) (B A) = (A B) (A B).
2 Generalize o Teorema de De Morgan sobre conjuntos
complementares para n conjuntos A
1
, A
2
, . . . , A
n
.
A.C.Bianchi (Unifesp) 15/09/2014 29 / 53
Exerccios
1 Sejam A e B conjuntos.
1 Demonstre que A B = A (A B).
2 Demonstre que B A

se, e somente se, A B = .


3 Demonstre que (A B) B = A se, e somente, se B A.
4 Demonstre que A e B A so disjuntos e que A B = A (B A).
(Isto mostra como representar a unio A B como uma unio
disjunta.)
5 Demonstre que (A B) (B A) = (A B) (A B).
2 Generalize o Teorema de De Morgan sobre conjuntos
complementares para n conjuntos A
1
, A
2
, . . . , A
n
.
A.C.Bianchi (Unifesp) 15/09/2014 29 / 53
Exerccios
1 Sejam A e B conjuntos.
1 Demonstre que A B = A (A B).
2 Demonstre que B A

se, e somente se, A B = .


3 Demonstre que (A B) B = A se, e somente, se B A.
4 Demonstre que A e B A so disjuntos e que A B = A (B A).
(Isto mostra como representar a unio A B como uma unio
disjunta.)
5 Demonstre que (A B) (B A) = (A B) (A B).
2 Generalize o Teorema de De Morgan sobre conjuntos
complementares para n conjuntos A
1
, A
2
, . . . , A
n
.
A.C.Bianchi (Unifesp) 15/09/2014 29 / 53
Exerccios
1 Sejam A e B conjuntos.
1 Demonstre que A B = A (A B).
2 Demonstre que B A

se, e somente se, A B = .


3 Demonstre que (A B) B = A se, e somente, se B A.
4 Demonstre que A e B A so disjuntos e que A B = A (B A).
(Isto mostra como representar a unio A B como uma unio
disjunta.)
5 Demonstre que (A B) (B A) = (A B) (A B).
2 Generalize o Teorema de De Morgan sobre conjuntos
complementares para n conjuntos A
1
, A
2
, . . . , A
n
.
A.C.Bianchi (Unifesp) 15/09/2014 29 / 53
Exerccios
3 Para conjuntos quaisquer A e B demonstre ou refute que
1 (A) (B) = (A B).
2 (A) (B) = (A B).
4 Sejam A, B, e C trs conjuntos quaisquer. Demonstre que
1 (A C) (B C) = (A B) C.
2 (A C) (B C) = (A B) C.
A.C.Bianchi (Unifesp) 15/09/2014 30 / 53
Exerccios
3 Para conjuntos quaisquer A e B demonstre ou refute que
1 (A) (B) = (A B).
2 (A) (B) = (A B).
4 Sejam A, B, e C trs conjuntos quaisquer. Demonstre que
1 (A C) (B C) = (A B) C.
2 (A C) (B C) = (A B) C.
A.C.Bianchi (Unifesp) 15/09/2014 30 / 53
Exerccios
3 Para conjuntos quaisquer A e B demonstre ou refute que
1 (A) (B) = (A B).
2 (A) (B) = (A B).
4 Sejam A, B, e C trs conjuntos quaisquer. Demonstre que
1 (A C) (B C) = (A B) C.
2 (A C) (B C) = (A B) C.
A.C.Bianchi (Unifesp) 15/09/2014 30 / 53
Exerccios
3 Para conjuntos quaisquer A e B demonstre ou refute que
1 (A) (B) = (A B).
2 (A) (B) = (A B).
4 Sejam A, B, e C trs conjuntos quaisquer. Demonstre que
1 (A C) (B C) = (A B) C.
2 (A C) (B C) = (A B) C.
A.C.Bianchi (Unifesp) 15/09/2014 30 / 53
Exerccios
3 Para conjuntos quaisquer A e B demonstre ou refute que
1 (A) (B) = (A B).
2 (A) (B) = (A B).
4 Sejam A, B, e C trs conjuntos quaisquer. Demonstre que
1 (A C) (B C) = (A B) C.
2 (A C) (B C) = (A B) C.
A.C.Bianchi (Unifesp) 15/09/2014 30 / 53
Exerccios
3 Para conjuntos quaisquer A e B demonstre ou refute que
1 (A) (B) = (A B).
2 (A) (B) = (A B).
4 Sejam A, B, e C trs conjuntos quaisquer. Demonstre que
1 (A C) (B C) = (A B) C.
2 (A C) (B C) = (A B) C.
A.C.Bianchi (Unifesp) 15/09/2014 30 / 53
Exerccios
3 Para conjuntos quaisquer A e B demonstre ou refute que
1 (A) (B) = (A B).
2 (A) (B) = (A B).
4 Sejam A, B, e C trs conjuntos quaisquer. Demonstre que
1 (A C) (B C) = (A B) C.
2 (A C) (B C) = (A B) C.
A.C.Bianchi (Unifesp) 15/09/2014 30 / 53
Diagramas de Venn
Como auxlio na visualizao de operaes de conjuntos,
introduziremos diagramas, chamados diagramas de Venn, que
representam conjuntos geometricamente.
A regra de construo simples:
Representaremos o conjunto universal relativo U por um
retngulo e os subconjuntos de U por crculos desenhados dentro
do retngulo.
A.C.Bianchi (Unifesp) 15/09/2014 31 / 53
Diagramas de Venn
Como auxlio na visualizao de operaes de conjuntos,
introduziremos diagramas, chamados diagramas de Venn, que
representam conjuntos geometricamente.
A regra de construo simples:
Representaremos o conjunto universal relativo U por um
retngulo e os subconjuntos de U por crculos desenhados dentro
do retngulo.
A.C.Bianchi (Unifesp) 15/09/2014 31 / 53
Diagramas de Venn
Como auxlio na visualizao de operaes de conjuntos,
introduziremos diagramas, chamados diagramas de Venn, que
representam conjuntos geometricamente.
A regra de construo simples:
Representaremos o conjunto universal relativo U por um
retngulo e os subconjuntos de U por crculos desenhados dentro
do retngulo.
A.C.Bianchi (Unifesp) 15/09/2014 31 / 53
Diagramas de Venn - Exemplos
Na Figura 1, representamos dois conjuntos A e B como dois
crculos sombreados; a parte duplamente hachurada a
interseo A B e a rea sombreada total a unio A B.
Figura 1
A.C.Bianchi (Unifesp) 15/09/2014 32 / 53
Diagramas de Venn - Exemplos
Na Figura 1, representamos dois conjuntos A e B como dois
crculos sombreados; a parte duplamente hachurada a
interseo A B e a rea sombreada total a unio A B.
Figura 1
A.C.Bianchi (Unifesp) 15/09/2014 32 / 53
Diagramas de Venn - Exemplos
Na Figura 1, representamos dois conjuntos A e B como dois
crculos sombreados; a parte duplamente hachurada a
interseo A B e a rea sombreada total a unio A B.
Figura 1
A.C.Bianchi (Unifesp) 15/09/2014 32 / 53
Diagramas de Venn - Exemplos
A Figura 2 mostra dois conjuntos A e B que so disjuntos.
Figura 2
A.C.Bianchi (Unifesp) 15/09/2014 33 / 53
Diagramas de Venn - Exemplos
A Figura 2 mostra dois conjuntos A e B que so disjuntos.
Figura 2
A.C.Bianchi (Unifesp) 15/09/2014 33 / 53
Diagramas de Venn - Exemplos
A Figura 2 mostra dois conjuntos A e B que so disjuntos.
Figura 2
A.C.Bianchi (Unifesp) 15/09/2014 33 / 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
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

. A famlia F de todos esses


conjuntos A

chamada uma famlia indexada de conjuntos,


indexada pelo conjunto , e denotada por {A

| }. Cada
conjunto A

chamado de membro da famlia F.


Exemplo: A famlia de conjuntos {1, 2}, {2, 4}, {3, 6}, . . . , {n, 2n}, . . .
pode ser considerada como uma famlia indexada de conjuntos,
indexada pelo conjunto N dos nmeros naturais, sendo A
n
= {n, 2n}
para cada n N. Esta famlia de conjuntos pode ser denotada por
F = {A
n
| n N} = {{n, 2n} | n N}
A.C.Bianchi (Unifesp) 15/09/2014 46 / 53
Famlias indexadas de conjuntos
Denio
Seja um conjunto e suponhamos que, para cada elemento ,
existe um conjunto associado A

. A famlia F de todos esses


conjuntos A

chamada uma famlia indexada de conjuntos,


indexada pelo conjunto , e denotada por {A

| }. Cada
conjunto A

chamado de membro da famlia F.


Exemplo: A famlia de conjuntos {1, 2}, {2, 4}, {3, 6}, . . . , {n, 2n}, . . .
pode ser considerada como uma famlia indexada de conjuntos,
indexada pelo conjunto N dos nmeros naturais, sendo A
n
= {n, 2n}
para cada n N. Esta famlia de conjuntos pode ser denotada por
F = {A
n
| n N} = {{n, 2n} | n N}
A.C.Bianchi (Unifesp) 15/09/2014 46 / 53
Famlias indexadas de conjuntos
Denio
Seja um conjunto e suponhamos que, para cada elemento ,
existe um conjunto associado A

. A famlia F de todos esses


conjuntos A

chamada uma famlia indexada de conjuntos,


indexada pelo conjunto , e denotada por {A

| }. Cada
conjunto A

chamado de membro da famlia F.


Exemplo: A famlia de conjuntos {1, 2}, {2, 4}, {3, 6}, . . . , {n, 2n}, . . .
pode ser considerada como uma famlia indexada de conjuntos,
indexada pelo conjunto N dos nmeros naturais, sendo A
n
= {n, 2n}
para cada n N. Esta famlia de conjuntos pode ser denotada por
F = {A
n
| n N} = {{n, 2n} | n N}
A.C.Bianchi (Unifesp) 15/09/2014 46 / 53
Problema resolvido
Problema resolvido: Indexe a famlia F de conjuntos , N, Z, Q, R, R.
Soluo. Esta famlia contm exatamente seis membros (embora dois
deles sejam o mesmo), escolhemos = {1, 2, 3, 4, 5, 6} e fazemos
A
1
= , A
2
= N, A
3
= Z, A
4
= Q, A
5
= R e A
6
= R. A famlia est,
ento, indexada!
Smbolos e notaes
Os smbolos e / so utilizadas de maneira similar linguagem
especca de conjuntos, indicando que um conjunto ou no
membro de uma determinada famlia.
No problema acima, temos, por exemplo, F e R F, mas C / F.
A.C.Bianchi (Unifesp) 15/09/2014 47 / 53
Problema resolvido
Problema resolvido: Indexe a famlia F de conjuntos , N, Z, Q, R, R.
Soluo. Esta famlia contm exatamente seis membros (embora dois
deles sejam o mesmo), escolhemos = {1, 2, 3, 4, 5, 6} e fazemos
A
1
= , A
2
= N, A
3
= Z, A
4
= Q, A
5
= R e A
6
= R. A famlia est,
ento, indexada!
Smbolos e notaes
Os smbolos e / so utilizadas de maneira similar linguagem
especca de conjuntos, indicando que um conjunto ou no
membro de uma determinada famlia.
No problema acima, temos, por exemplo, F e R F, mas C / F.
A.C.Bianchi (Unifesp) 15/09/2014 47 / 53
Problema resolvido
Problema resolvido: Indexe a famlia F de conjuntos , N, Z, Q, R, R.
Soluo. Esta famlia contm exatamente seis membros (embora dois
deles sejam o mesmo), escolhemos = {1, 2, 3, 4, 5, 6} e fazemos
A
1
= , A
2
= N, A
3
= Z, A
4
= Q, A
5
= R e A
6
= R. A famlia est,
ento, indexada!
Smbolos e notaes
Os smbolos e / so utilizadas de maneira similar linguagem
especca de conjuntos, indicando que um conjunto ou no
membro de uma determinada famlia.
No problema acima, temos, por exemplo, F e R F, mas C / F.
A.C.Bianchi (Unifesp) 15/09/2014 47 / 53
Problema resolvido
Problema resolvido: Indexe a famlia F de conjuntos , N, Z, Q, R, R.
Soluo. Esta famlia contm exatamente seis membros (embora dois
deles sejam o mesmo), escolhemos = {1, 2, 3, 4, 5, 6} e fazemos
A
1
= , A
2
= N, A
3
= Z, A
4
= Q, A
5
= R e A
6
= R. A famlia est,
ento, indexada!
Smbolos e notaes
Os smbolos e / so utilizadas de maneira similar linguagem
especca de conjuntos, indicando que um conjunto ou no
membro de uma determinada famlia.
No problema acima, temos, por exemplo, F e R F, mas C / F.
A.C.Bianchi (Unifesp) 15/09/2014 47 / 53
Problema resolvido
Problema resolvido: Indexe a famlia F de conjuntos , N, Z, Q, R, R.
Soluo. Esta famlia contm exatamente seis membros (embora dois
deles sejam o mesmo), escolhemos = {1, 2, 3, 4, 5, 6} e fazemos
A
1
= , A
2
= N, A
3
= Z, A
4
= Q, A
5
= R e A
6
= R. A famlia est,
ento, indexada!
Smbolos e notaes
Os smbolos e / so utilizadas de maneira similar linguagem
especca de conjuntos, indicando que um conjunto ou no
membro de uma determinada famlia.
No problema acima, temos, por exemplo, F e R F, mas C / F.
A.C.Bianchi (Unifesp) 15/09/2014 47 / 53
Problema resolvido
Problema resolvido: Indexe a famlia F de conjuntos , N, Z, Q, R, R.
Soluo. Esta famlia contm exatamente seis membros (embora dois
deles sejam o mesmo), escolhemos = {1, 2, 3, 4, 5, 6} e fazemos
A
1
= , A
2
= N, A
3
= Z, A
4
= Q, A
5
= R e A
6
= R. A famlia est,
ento, indexada!
Smbolos e notaes
Os smbolos e / so utilizadas de maneira similar linguagem
especca de conjuntos, indicando que um conjunto ou no
membro de uma determinada famlia.
No problema acima, temos, por exemplo, F e R F, mas C / F.
A.C.Bianchi (Unifesp) 15/09/2014 47 / 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

F, o conjunto de todos os elementos


que esto em A para algum A F. Ou seja,

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

F, o conjunto de todos os elementos


que esto em A para algum A F. Ou seja,

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

F, o conjunto de todos os elementos


que esto em A para algum A F. Ou seja,

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

F, o conjunto de todos os elementos


que esto em A para algum A F. Ou seja,

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

F, o conjunto de todos os elementos


que esto em A para algum A F. Ou seja,

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

| } uma famlia arbitrria de


conjuntos. Ento,
1 (

.
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

| } uma famlia arbitrria de


conjuntos. Ento,
1 (

.
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

| } uma famlia arbitrria de


conjuntos. Ento,
1 (

.
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

| } uma famlia arbitrria de


conjuntos. Ento,
1 (

.
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

| } uma famlia arbitrria de


conjuntos. Ento,
1 (

.
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

| } uma famlia arbitrria de


conjuntos. Ento,
1 (

.
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

| } uma famlia arbitrria de


conjuntos. Ento,
1 (

.
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

| } duas famlias de conjuntos.


Expanda
1 (

) (

) em uma unio de intersees; e


2 (

) (

) em uma interseo de unies.


A.C.Bianchi (Unifesp) 15/09/2014 53 / 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

| } duas famlias de conjuntos.


Expanda
1 (

) (

) em uma unio de intersees; e


2 (

) (

) em uma interseo de unies.


A.C.Bianchi (Unifesp) 15/09/2014 53 / 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

| } duas famlias de conjuntos.


Expanda
1 (

) (

) em uma unio de intersees; e


2 (

) (

) em uma interseo de unies.


A.C.Bianchi (Unifesp) 15/09/2014 53 / 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

| } duas famlias de conjuntos.


Expanda
1 (

) (

) em uma unio de intersees; e


2 (

) (

) em uma interseo de unies.


A.C.Bianchi (Unifesp) 15/09/2014 53 / 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

| } duas famlias de conjuntos.


Expanda
1 (

) (

) em uma unio de intersees; e


2 (

) (

) em uma interseo de unies.


A.C.Bianchi (Unifesp) 15/09/2014 53 / 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

| } duas famlias de conjuntos.


Expanda
1 (

) (

) em uma unio de intersees; e


2 (

) (

) em uma interseo de unies.


A.C.Bianchi (Unifesp) 15/09/2014 53 / 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

| } duas famlias de conjuntos.


Expanda
1 (

) (

) em uma unio de intersees; e


2 (

) (

) em uma interseo de unies.


A.C.Bianchi (Unifesp) 15/09/2014 53 / 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

| } duas famlias de conjuntos.


Expanda
1 (

) (

) em uma unio de intersees; e


2 (

) (

) em uma interseo de unies.


A.C.Bianchi (Unifesp) 15/09/2014 53 / 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

| } duas famlias de conjuntos.


Expanda
1 (

) (

) em uma unio de intersees; e


2 (

) (

) em uma interseo de unies.


A.C.Bianchi (Unifesp) 15/09/2014 53 / 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

| } duas famlias de conjuntos.


Expanda
1 (

) (

) em uma unio de intersees; e


2 (

) (

) em uma interseo de unies.


A.C.Bianchi (Unifesp) 15/09/2014 53 / 53