Assunto

Conjuntos
Interseo e Subconjuntos
Lgica Matemtica - MKT
Antnio Calixto de Souza Filho

Escola de Artes, Cincias e Humanidades

Universidade de So Paulo
9 de abril de 2014
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
1
Conjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
2
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
subject
1
Conjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
2
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
A idia de conjunto uma noo intuitiva e com diculdades
prprias para sua denio. O que fazemos, neste caso, construir
determinadas regras, as quais chamamos de axiomas.
No entanto, para podermos tratar dos conjuntos, escrev-los e
fazer referncia a eles iniciamos com algumas caractersticas
"simplistas"dos conjuntos.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Representao de um conjunto
Representamos um conjunto, em geral, abrindo chave, {,
listando os seus objetos, chamados de elementos.
Caso haja mais de um elemento no conjunto, eles so
separados por vrgula.
Aps listar todos os elementos, ou algum modo de explicitar
todos seus elementos, fechamos a chave, }.
comum associarmos um conjunto a um nome, utilizando o
smbolo de = na forma usual.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Representao de um conjunto
Representamos um conjunto, em geral, abrindo chave, {,
listando os seus objetos, chamados de elementos.
Caso haja mais de um elemento no conjunto, eles so
separados por vrgula.
Aps listar todos os elementos, ou algum modo de explicitar
todos seus elementos, fechamos a chave, }.
comum associarmos um conjunto a um nome, utilizando o
smbolo de = na forma usual.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Representao de um conjunto
Representamos um conjunto, em geral, abrindo chave, {,
listando os seus objetos, chamados de elementos.
Caso haja mais de um elemento no conjunto, eles so
separados por vrgula.
Aps listar todos os elementos, ou algum modo de explicitar
todos seus elementos, fechamos a chave, }.
comum associarmos um conjunto a um nome, utilizando o
smbolo de = na forma usual.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Representao de um conjunto
Representamos um conjunto, em geral, abrindo chave, {,
listando os seus objetos, chamados de elementos.
Caso haja mais de um elemento no conjunto, eles so
separados por vrgula.
Aps listar todos os elementos, ou algum modo de explicitar
todos seus elementos, fechamos a chave, }.
comum associarmos um conjunto a um nome, utilizando o
smbolo de = na forma usual.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Exemplo
Assim
{1, 2, 3};
X = {a, e, i , o, u};
[1, 3] = {x, tal que, x um nmero real e 1 x 3}
so exemplos de conjuntos
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Notao e simbologia
Podemos ento considerar que um conjunto um objeto com
outros objetos delimitados por chaves e separados por vrgula.
Os objetos delimitados pelas chaves sero os elementos do
conjunto.
Quando quisermos fazer referncia a um certo objeto ser
elemento do conjuntos utilizaremos o smbolo
Assim se A um conjunto, x A signica que o objeto x
um elemento do conjunto A, e
x / A signica que o objeto x no um elemento do conjunto
A
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Notao e simbologia
Podemos ento considerar que um conjunto um objeto com
outros objetos delimitados por chaves e separados por vrgula.
Os objetos delimitados pelas chaves sero os elementos do
conjunto.
Quando quisermos fazer referncia a um certo objeto ser
elemento do conjuntos utilizaremos o smbolo
Assim se A um conjunto, x A signica que o objeto x
um elemento do conjunto A, e
x / A signica que o objeto x no um elemento do conjunto
A
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Notao e simbologia
Podemos ento considerar que um conjunto um objeto com
outros objetos delimitados por chaves e separados por vrgula.
Os objetos delimitados pelas chaves sero os elementos do
conjunto.
Quando quisermos fazer referncia a um certo objeto ser
elemento do conjuntos utilizaremos o smbolo
Assim se A um conjunto, x A signica que o objeto x
um elemento do conjunto A, e
x / A signica que o objeto x no um elemento do conjunto
A
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Notao e simbologia
Podemos ento considerar que um conjunto um objeto com
outros objetos delimitados por chaves e separados por vrgula.
Os objetos delimitados pelas chaves sero os elementos do
conjunto.
Quando quisermos fazer referncia a um certo objeto ser
elemento do conjuntos utilizaremos o smbolo
Assim se A um conjunto, x A signica que o objeto x
um elemento do conjunto A, e
x / A signica que o objeto x no um elemento do conjunto
A
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Notao e simbologia
Podemos ento considerar que um conjunto um objeto com
outros objetos delimitados por chaves e separados por vrgula.
Os objetos delimitados pelas chaves sero os elementos do
conjunto.
Quando quisermos fazer referncia a um certo objeto ser
elemento do conjuntos utilizaremos o smbolo
Assim se A um conjunto, x A signica que o objeto x
um elemento do conjunto A, e
x / A signica que o objeto x no um elemento do conjunto
A
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Propriedade
Qualquer conjunto X tem a seguinte propriedade: para qualquer
objeto Y ocorre que: ou Y X ou Y / X.
A propriedade acima signica que existe um objeto X para o
qual qualquer outro objeto Y ou elemento de X ou no
elemento de X, ou seja, no podem ocorrer as duas coisas
simultaneamente.
Um objeto com esta propriedade o que conhecemos por
conjunto.
O seguinte paradoxo, ajuda-nos a compreender a utilizao
abstrata do smbolo , bem como responder pergunta do
tipo: todo objeto em matemtica um conjunto, ou existe o
conjunto de todos os conjuntos?
A seguir, veremos o que quizemos dizer por "simplista",
anteriormente
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Propriedade
Qualquer conjunto X tem a seguinte propriedade: para qualquer
objeto Y ocorre que: ou Y X ou Y / X.
A propriedade acima signica que existe um objeto X para o
qual qualquer outro objeto Y ou elemento de X ou no
elemento de X, ou seja, no podem ocorrer as duas coisas
simultaneamente.
Um objeto com esta propriedade o que conhecemos por
conjunto.
O seguinte paradoxo, ajuda-nos a compreender a utilizao
abstrata do smbolo , bem como responder pergunta do
tipo: todo objeto em matemtica um conjunto, ou existe o
conjunto de todos os conjuntos?
A seguir, veremos o que quizemos dizer por "simplista",
anteriormente
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Propriedade
Qualquer conjunto X tem a seguinte propriedade: para qualquer
objeto Y ocorre que: ou Y X ou Y / X.
A propriedade acima signica que existe um objeto X para o
qual qualquer outro objeto Y ou elemento de X ou no
elemento de X, ou seja, no podem ocorrer as duas coisas
simultaneamente.
Um objeto com esta propriedade o que conhecemos por
conjunto.
O seguinte paradoxo, ajuda-nos a compreender a utilizao
abstrata do smbolo , bem como responder pergunta do
tipo: todo objeto em matemtica um conjunto, ou existe o
conjunto de todos os conjuntos?
A seguir, veremos o que quizemos dizer por "simplista",
anteriormente
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Propriedade
Qualquer conjunto X tem a seguinte propriedade: para qualquer
objeto Y ocorre que: ou Y X ou Y / X.
A propriedade acima signica que existe um objeto X para o
qual qualquer outro objeto Y ou elemento de X ou no
elemento de X, ou seja, no podem ocorrer as duas coisas
simultaneamente.
Um objeto com esta propriedade o que conhecemos por
conjunto.
O seguinte paradoxo, ajuda-nos a compreender a utilizao
abstrata do smbolo , bem como responder pergunta do
tipo: todo objeto em matemtica um conjunto, ou existe o
conjunto de todos os conjuntos?
A seguir, veremos o que quizemos dizer por "simplista",
anteriormente
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Paradoxo de Russel: necessidade de axiomas
Russel formulou o seguinte paradoxo:
Seja o objeto R = {Y, tal que, Y / Y}.
Observe que X um objeto com as caractersticas
inicialmente apresentadas para os conjuntos: objetos
delimitados por chave e separados por vrgula.
No entanto Russel mostrou que R no um conjunto.
Assim, nem todo objeto caracterizado por delimitar outros
objetos por chaves e separ-los por vrgula, satisfazendo certas
condies, um conjunto.
neste sentido que essa primeira regra simplista e a forma
de resolver este impasse foi a criao de certos axiomas para
os conjuntos.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Paradoxo de Russel: necessidade de axiomas
Russel formulou o seguinte paradoxo:
Seja o objeto R = {Y, tal que, Y / Y}.
Observe que X um objeto com as caractersticas
inicialmente apresentadas para os conjuntos: objetos
delimitados por chave e separados por vrgula.
No entanto Russel mostrou que R no um conjunto.
Assim, nem todo objeto caracterizado por delimitar outros
objetos por chaves e separ-los por vrgula, satisfazendo certas
condies, um conjunto.
neste sentido que essa primeira regra simplista e a forma
de resolver este impasse foi a criao de certos axiomas para
os conjuntos.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Paradoxo de Russel: necessidade de axiomas
Russel formulou o seguinte paradoxo:
Seja o objeto R = {Y, tal que, Y / Y}.
Observe que X um objeto com as caractersticas
inicialmente apresentadas para os conjuntos: objetos
delimitados por chave e separados por vrgula.
No entanto Russel mostrou que R no um conjunto.
Assim, nem todo objeto caracterizado por delimitar outros
objetos por chaves e separ-los por vrgula, satisfazendo certas
condies, um conjunto.
neste sentido que essa primeira regra simplista e a forma
de resolver este impasse foi a criao de certos axiomas para
os conjuntos.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Paradoxo de Russel: necessidade de axiomas
Russel formulou o seguinte paradoxo:
Seja o objeto R = {Y, tal que, Y / Y}.
Observe que X um objeto com as caractersticas
inicialmente apresentadas para os conjuntos: objetos
delimitados por chave e separados por vrgula.
No entanto Russel mostrou que R no um conjunto.
Assim, nem todo objeto caracterizado por delimitar outros
objetos por chaves e separ-los por vrgula, satisfazendo certas
condies, um conjunto.
neste sentido que essa primeira regra simplista e a forma
de resolver este impasse foi a criao de certos axiomas para
os conjuntos.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Paradoxo de Russel: necessidade de axiomas
Russel formulou o seguinte paradoxo:
Seja o objeto R = {Y, tal que, Y / Y}.
Observe que X um objeto com as caractersticas
inicialmente apresentadas para os conjuntos: objetos
delimitados por chave e separados por vrgula.
No entanto Russel mostrou que R no um conjunto.
Assim, nem todo objeto caracterizado por delimitar outros
objetos por chaves e separ-los por vrgula, satisfazendo certas
condies, um conjunto.
neste sentido que essa primeira regra simplista e a forma
de resolver este impasse foi a criao de certos axiomas para
os conjuntos.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Vejamos que R = {Y, tal que, Y / Y} no um conjunto.
Podemos armar isso utilizando uma prova por absurdo.
Suponha que R um conjunto.
Ento R tem a propriedade: para qualquer objeto X, ou
ocorre que X R ou X / R ... aps alguma reexo, observe
que podemos considerar X = R, uma vez que a propriedade
vale para TODO objeto
Primeira condio: se X R, ento X = R no verica a
propriedade do conjunto R, logo R R implica que R / R.
Por hiptese R um conjunto, ento a primeira condio
falsa.
Segunda condio: se X / R, ento X = R verica a
propriedade do conjunto R, logo R / R implica que R R.
Por hiptese R um conjunto, ento a segunda condio
falsa.
Ora, se R fosse um conjunto uma das condies seria
verdadeira. Como isso no ocorre, a hiptese falsa, portanto
R no um conjunto.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Vejamos que R = {Y, tal que, Y / Y} no um conjunto.
Podemos armar isso utilizando uma prova por absurdo.
Suponha que R um conjunto.
Ento R tem a propriedade: para qualquer objeto X, ou
ocorre que X R ou X / R ... aps alguma reexo, observe
que podemos considerar X = R, uma vez que a propriedade
vale para TODO objeto
Primeira condio: se X R, ento X = R no verica a
propriedade do conjunto R, logo R R implica que R / R.
Por hiptese R um conjunto, ento a primeira condio
falsa.
Segunda condio: se X / R, ento X = R verica a
propriedade do conjunto R, logo R / R implica que R R.
Por hiptese R um conjunto, ento a segunda condio
falsa.
Ora, se R fosse um conjunto uma das condies seria
verdadeira. Como isso no ocorre, a hiptese falsa, portanto
R no um conjunto.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Vejamos que R = {Y, tal que, Y / Y} no um conjunto.
Podemos armar isso utilizando uma prova por absurdo.
Suponha que R um conjunto.
Ento R tem a propriedade: para qualquer objeto X, ou
ocorre que X R ou X / R ... aps alguma reexo, observe
que podemos considerar X = R, uma vez que a propriedade
vale para TODO objeto
Primeira condio: se X R, ento X = R no verica a
propriedade do conjunto R, logo R R implica que R / R.
Por hiptese R um conjunto, ento a primeira condio
falsa.
Segunda condio: se X / R, ento X = R verica a
propriedade do conjunto R, logo R / R implica que R R.
Por hiptese R um conjunto, ento a segunda condio
falsa.
Ora, se R fosse um conjunto uma das condies seria
verdadeira. Como isso no ocorre, a hiptese falsa, portanto
R no um conjunto.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Vejamos que R = {Y, tal que, Y / Y} no um conjunto.
Podemos armar isso utilizando uma prova por absurdo.
Suponha que R um conjunto.
Ento R tem a propriedade: para qualquer objeto X, ou
ocorre que X R ou X / R ... aps alguma reexo, observe
que podemos considerar X = R, uma vez que a propriedade
vale para TODO objeto
Primeira condio: se X R, ento X = R no verica a
propriedade do conjunto R, logo R R implica que R / R.
Por hiptese R um conjunto, ento a primeira condio
falsa.
Segunda condio: se X / R, ento X = R verica a
propriedade do conjunto R, logo R / R implica que R R.
Por hiptese R um conjunto, ento a segunda condio
falsa.
Ora, se R fosse um conjunto uma das condies seria
verdadeira. Como isso no ocorre, a hiptese falsa, portanto
R no um conjunto.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Vejamos que R = {Y, tal que, Y / Y} no um conjunto.
Podemos armar isso utilizando uma prova por absurdo.
Suponha que R um conjunto.
Ento R tem a propriedade: para qualquer objeto X, ou
ocorre que X R ou X / R ... aps alguma reexo, observe
que podemos considerar X = R, uma vez que a propriedade
vale para TODO objeto
Primeira condio: se X R, ento X = R no verica a
propriedade do conjunto R, logo R R implica que R / R.
Por hiptese R um conjunto, ento a primeira condio
falsa.
Segunda condio: se X / R, ento X = R verica a
propriedade do conjunto R, logo R / R implica que R R.
Por hiptese R um conjunto, ento a segunda condio
falsa.
Ora, se R fosse um conjunto uma das condies seria
verdadeira. Como isso no ocorre, a hiptese falsa, portanto
R no um conjunto.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Axiomas da Teoria de Conjuntos
Existncia
Extensionalidade
Par
Unio
Separao
Partes
Innito
Substituio
Regularidade
Escolha
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Axiomas da Teoria de Conjuntos
Existncia
Extensionalidade
Par
Unio
Separao
Partes
Innito
Substituio
Regularidade
Escolha
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Axiomas da Teoria de Conjuntos
Existncia
Extensionalidade
Par
Unio
Separao
Partes
Innito
Substituio
Regularidade
Escolha
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Axiomas da Teoria de Conjuntos
Existncia
Extensionalidade
Par
Unio
Separao
Partes
Innito
Substituio
Regularidade
Escolha
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Axiomas da Teoria de Conjuntos
Existncia
Extensionalidade
Par
Unio
Separao
Partes
Innito
Substituio
Regularidade
Escolha
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Axiomas da Teoria de Conjuntos
Existncia
Extensionalidade
Par
Unio
Separao
Partes
Innito
Substituio
Regularidade
Escolha
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Axiomas da Teoria de Conjuntos
Existncia
Extensionalidade
Par
Unio
Separao
Partes
Innito
Substituio
Regularidade
Escolha
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Axiomas da Teoria de Conjuntos
Existncia
Extensionalidade
Par
Unio
Separao
Partes
Innito
Substituio
Regularidade
Escolha
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Axiomas da Teoria de Conjuntos
Existncia
Extensionalidade
Par
Unio
Separao
Partes
Innito
Substituio
Regularidade
Escolha
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Axiomas da Teoria de Conjuntos
Existncia
Extensionalidade
Par
Unio
Separao
Partes
Innito
Substituio
Regularidade
Escolha
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Axioma da existncia
(A1) Axioma da Existncia: Existe um conjunto A, tal que,
para todo objeto x, ocorre que x no elemento de A.
O conjunto A, nas condies acima, denominado Conjunto
Vazio que denotamos por ou {}.
O conjunto o nico com esta propriedade. Porm isso
pode ser visto apenas aps o prximo Axioma.
Por exemplo, o conjunto soluo dos nmeros reais x, cuja
equao x
2
< 0 um conjunto vazio.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Axioma da existncia
(A1) Axioma da Existncia: Existe um conjunto A, tal que,
para todo objeto x, ocorre que x no elemento de A.
O conjunto A, nas condies acima, denominado Conjunto
Vazio que denotamos por ou {}.
O conjunto o nico com esta propriedade. Porm isso
pode ser visto apenas aps o prximo Axioma.
Por exemplo, o conjunto soluo dos nmeros reais x, cuja
equao x
2
< 0 um conjunto vazio.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Axioma da existncia
(A1) Axioma da Existncia: Existe um conjunto A, tal que,
para todo objeto x, ocorre que x no elemento de A.
O conjunto A, nas condies acima, denominado Conjunto
Vazio que denotamos por ou {}.
O conjunto o nico com esta propriedade. Porm isso
pode ser visto apenas aps o prximo Axioma.
Por exemplo, o conjunto soluo dos nmeros reais x, cuja
equao x
2
< 0 um conjunto vazio.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Axioma da existncia
(A1) Axioma da Existncia: Existe um conjunto A, tal que,
para todo objeto x, ocorre que x no elemento de A.
O conjunto A, nas condies acima, denominado Conjunto
Vazio que denotamos por ou {}.
O conjunto o nico com esta propriedade. Porm isso
pode ser visto apenas aps o prximo Axioma.
Por exemplo, o conjunto soluo dos nmeros reais x, cuja
equao x
2
< 0 um conjunto vazio.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Axioma da extensionalidade
(A2) Axioma da Extensionalidade: Dados dois conjuntos A e
B, a igualdade A = B ocorre quando as duas condies a
seguir so satisfeitas: 1. Todos os elementos do conjunto A
so elementos do conjunto B; 2. Todos os elementos do
conjunto B so elementos do conjunto A.
Por este axioma, os conjuntos {1, 2, 1, 2, 2, 1, 2, 2, 2} e {1, 2}
so iguais.
Tambm, podemos provar que existe um nico conjunto vazio.
Com efeito, se ocorrer que = {}, pelo axioma acima, deve
existir um elemento x, em um dos conjuntos, que no esteja
no outro conjunto. Porm, pelo axioma (A1), no ocorre que
exista elemento em ambos os conjuntos. Portanto = {}.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Axioma da extensionalidade
(A2) Axioma da Extensionalidade: Dados dois conjuntos A e
B, a igualdade A = B ocorre quando as duas condies a
seguir so satisfeitas: 1. Todos os elementos do conjunto A
so elementos do conjunto B; 2. Todos os elementos do
conjunto B so elementos do conjunto A.
Por este axioma, os conjuntos {1, 2, 1, 2, 2, 1, 2, 2, 2} e {1, 2}
so iguais.
Tambm, podemos provar que existe um nico conjunto vazio.
Com efeito, se ocorrer que = {}, pelo axioma acima, deve
existir um elemento x, em um dos conjuntos, que no esteja
no outro conjunto. Porm, pelo axioma (A1), no ocorre que
exista elemento em ambos os conjuntos. Portanto = {}.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Axioma da extensionalidade
(A2) Axioma da Extensionalidade: Dados dois conjuntos A e
B, a igualdade A = B ocorre quando as duas condies a
seguir so satisfeitas: 1. Todos os elementos do conjunto A
so elementos do conjunto B; 2. Todos os elementos do
conjunto B so elementos do conjunto A.
Por este axioma, os conjuntos {1, 2, 1, 2, 2, 1, 2, 2, 2} e {1, 2}
so iguais.
Tambm, podemos provar que existe um nico conjunto vazio.
Com efeito, se ocorrer que = {}, pelo axioma acima, deve
existir um elemento x, em um dos conjuntos, que no esteja
no outro conjunto. Porm, pelo axioma (A1), no ocorre que
exista elemento em ambos os conjuntos. Portanto = {}.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Axioma da extensionalidade
(A2) Axioma da Extensionalidade: Dados dois conjuntos A e
B, a igualdade A = B ocorre quando as duas condies a
seguir so satisfeitas: 1. Todos os elementos do conjunto A
so elementos do conjunto B; 2. Todos os elementos do
conjunto B so elementos do conjunto A.
Por este axioma, os conjuntos {1, 2, 1, 2, 2, 1, 2, 2, 2} e {1, 2}
so iguais.
Tambm, podemos provar que existe um nico conjunto vazio.
Com efeito, se ocorrer que = {}, pelo axioma acima, deve
existir um elemento x, em um dos conjuntos, que no esteja
no outro conjunto. Porm, pelo axioma (A1), no ocorre que
exista elemento em ambos os conjuntos. Portanto = {}.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Podemos observar que o axioma 2 permite concluir que existe
um nico conjunto vazio.
Para ver isso, tambm utilizamos um argumento de
contradio.
Suponha que e {} sejam dois conjuntos vazio, isto ,
= {}. Isso signica que no ocorre a condio = {} e
portanto, pelo axioma 2, ou {} deve conter algum elemento
que no seja comum a ambos. Porm, ambos so conjuntos
os quais TODO objeto x no elemento dos conjuntos.
Temos, ento uma contradio.
Logo a hiptese falsa e = {}, o argumento vale para
qualquer outro smbolo que denote o conjunto vazio, logo este
conjunto nico.
O prximo axioma mostra que conjuntos no vazios podem
ser diferentes.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Podemos observar que o axioma 2 permite concluir que existe
um nico conjunto vazio.
Para ver isso, tambm utilizamos um argumento de
contradio.
Suponha que e {} sejam dois conjuntos vazio, isto ,
= {}. Isso signica que no ocorre a condio = {} e
portanto, pelo axioma 2, ou {} deve conter algum elemento
que no seja comum a ambos. Porm, ambos so conjuntos
os quais TODO objeto x no elemento dos conjuntos.
Temos, ento uma contradio.
Logo a hiptese falsa e = {}, o argumento vale para
qualquer outro smbolo que denote o conjunto vazio, logo este
conjunto nico.
O prximo axioma mostra que conjuntos no vazios podem
ser diferentes.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Podemos observar que o axioma 2 permite concluir que existe
um nico conjunto vazio.
Para ver isso, tambm utilizamos um argumento de
contradio.
Suponha que e {} sejam dois conjuntos vazio, isto ,
= {}. Isso signica que no ocorre a condio = {} e
portanto, pelo axioma 2, ou {} deve conter algum elemento
que no seja comum a ambos. Porm, ambos so conjuntos
os quais TODO objeto x no elemento dos conjuntos.
Temos, ento uma contradio.
Logo a hiptese falsa e = {}, o argumento vale para
qualquer outro smbolo que denote o conjunto vazio, logo este
conjunto nico.
O prximo axioma mostra que conjuntos no vazios podem
ser diferentes.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Podemos observar que o axioma 2 permite concluir que existe
um nico conjunto vazio.
Para ver isso, tambm utilizamos um argumento de
contradio.
Suponha que e {} sejam dois conjuntos vazio, isto ,
= {}. Isso signica que no ocorre a condio = {} e
portanto, pelo axioma 2, ou {} deve conter algum elemento
que no seja comum a ambos. Porm, ambos so conjuntos
os quais TODO objeto x no elemento dos conjuntos.
Temos, ento uma contradio.
Logo a hiptese falsa e = {}, o argumento vale para
qualquer outro smbolo que denote o conjunto vazio, logo este
conjunto nico.
O prximo axioma mostra que conjuntos no vazios podem
ser diferentes.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Podemos observar que o axioma 2 permite concluir que existe
um nico conjunto vazio.
Para ver isso, tambm utilizamos um argumento de
contradio.
Suponha que e {} sejam dois conjuntos vazio, isto ,
= {}. Isso signica que no ocorre a condio = {} e
portanto, pelo axioma 2, ou {} deve conter algum elemento
que no seja comum a ambos. Porm, ambos so conjuntos
os quais TODO objeto x no elemento dos conjuntos.
Temos, ento uma contradio.
Logo a hiptese falsa e = {}, o argumento vale para
qualquer outro smbolo que denote o conjunto vazio, logo este
conjunto nico.
O prximo axioma mostra que conjuntos no vazios podem
ser diferentes.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Axioma do par
(A3) Axioma do Par: Dados dois conjuntos A e B, existe o
conjunto {A, B}.
O axioma do par pode ser visto como um construtor de novos
conjuntos, a partir de conjuntos existentes.
At o momento, existe apenas o conjunto . Consideramos
A = B = . Assim, pelo axioma existe o conjunto {, }. Pelo
axioma A2, {, } = {}, o conjunto unitrio do vazio.
Obviamente = {}, pois este ltimo possui o elemento .
Para os conjuntos A = e B = {}, pelo axioma A3, existe o
conjunto {, {}}.
Temos at o momento os objetos , {} e {, {}} so
conjuntos.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Axioma do par
(A3) Axioma do Par: Dados dois conjuntos A e B, existe o
conjunto {A, B}.
O axioma do par pode ser visto como um construtor de novos
conjuntos, a partir de conjuntos existentes.
At o momento, existe apenas o conjunto . Consideramos
A = B = . Assim, pelo axioma existe o conjunto {, }. Pelo
axioma A2, {, } = {}, o conjunto unitrio do vazio.
Obviamente = {}, pois este ltimo possui o elemento .
Para os conjuntos A = e B = {}, pelo axioma A3, existe o
conjunto {, {}}.
Temos at o momento os objetos , {} e {, {}} so
conjuntos.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Axioma do par
(A3) Axioma do Par: Dados dois conjuntos A e B, existe o
conjunto {A, B}.
O axioma do par pode ser visto como um construtor de novos
conjuntos, a partir de conjuntos existentes.
At o momento, existe apenas o conjunto . Consideramos
A = B = . Assim, pelo axioma existe o conjunto {, }. Pelo
axioma A2, {, } = {}, o conjunto unitrio do vazio.
Obviamente = {}, pois este ltimo possui o elemento .
Para os conjuntos A = e B = {}, pelo axioma A3, existe o
conjunto {, {}}.
Temos at o momento os objetos , {} e {, {}} so
conjuntos.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Axioma do par
(A3) Axioma do Par: Dados dois conjuntos A e B, existe o
conjunto {A, B}.
O axioma do par pode ser visto como um construtor de novos
conjuntos, a partir de conjuntos existentes.
At o momento, existe apenas o conjunto . Consideramos
A = B = . Assim, pelo axioma existe o conjunto {, }. Pelo
axioma A2, {, } = {}, o conjunto unitrio do vazio.
Obviamente = {}, pois este ltimo possui o elemento .
Para os conjuntos A = e B = {}, pelo axioma A3, existe o
conjunto {, {}}.
Temos at o momento os objetos , {} e {, {}} so
conjuntos.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Axioma do par
(A3) Axioma do Par: Dados dois conjuntos A e B, existe o
conjunto {A, B}.
O axioma do par pode ser visto como um construtor de novos
conjuntos, a partir de conjuntos existentes.
At o momento, existe apenas o conjunto . Consideramos
A = B = . Assim, pelo axioma existe o conjunto {, }. Pelo
axioma A2, {, } = {}, o conjunto unitrio do vazio.
Obviamente = {}, pois este ltimo possui o elemento .
Para os conjuntos A = e B = {}, pelo axioma A3, existe o
conjunto {, {}}.
Temos at o momento os objetos , {} e {, {}} so
conjuntos.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Axioma do par
(A3) Axioma do Par: Dados dois conjuntos A e B, existe o
conjunto {A, B}.
O axioma do par pode ser visto como um construtor de novos
conjuntos, a partir de conjuntos existentes.
At o momento, existe apenas o conjunto . Consideramos
A = B = . Assim, pelo axioma existe o conjunto {, }. Pelo
axioma A2, {, } = {}, o conjunto unitrio do vazio.
Obviamente = {}, pois este ltimo possui o elemento .
Para os conjuntos A = e B = {}, pelo axioma A3, existe o
conjunto {, {}}.
Temos at o momento os objetos , {} e {, {}} so
conjuntos.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Considerando A = B = {}.
Pelo axioma 3, existe o conjunto C = {{}, {}}.
Pelo axioma 2, o conjunto {{}, {}} = {{}} que um
conjunto unitrio.
Assim, os conjuntos unitrios {} e {{}}, pelo axioma 2 so
diferentes porque / {{}}, este segundo conjunto o
unitrio do unitrio do vazio.
Procedendo assim, podemos construir innitos conjuntos
unitrios.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Considerando A = B = {}.
Pelo axioma 3, existe o conjunto C = {{}, {}}.
Pelo axioma 2, o conjunto {{}, {}} = {{}} que um
conjunto unitrio.
Assim, os conjuntos unitrios {} e {{}}, pelo axioma 2 so
diferentes porque / {{}}, este segundo conjunto o
unitrio do unitrio do vazio.
Procedendo assim, podemos construir innitos conjuntos
unitrios.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Considerando A = B = {}.
Pelo axioma 3, existe o conjunto C = {{}, {}}.
Pelo axioma 2, o conjunto {{}, {}} = {{}} que um
conjunto unitrio.
Assim, os conjuntos unitrios {} e {{}}, pelo axioma 2 so
diferentes porque / {{}}, este segundo conjunto o
unitrio do unitrio do vazio.
Procedendo assim, podemos construir innitos conjuntos
unitrios.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Considerando A = B = {}.
Pelo axioma 3, existe o conjunto C = {{}, {}}.
Pelo axioma 2, o conjunto {{}, {}} = {{}} que um
conjunto unitrio.
Assim, os conjuntos unitrios {} e {{}}, pelo axioma 2 so
diferentes porque / {{}}, este segundo conjunto o
unitrio do unitrio do vazio.
Procedendo assim, podemos construir innitos conjuntos
unitrios.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Considerando A = B = {}.
Pelo axioma 3, existe o conjunto C = {{}, {}}.
Pelo axioma 2, o conjunto {{}, {}} = {{}} que um
conjunto unitrio.
Assim, os conjuntos unitrios {} e {{}}, pelo axioma 2 so
diferentes porque / {{}}, este segundo conjunto o
unitrio do unitrio do vazio.
Procedendo assim, podemos construir innitos conjuntos
unitrios.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Denio
Se A um conjunto, o nmero de elementos do conjunto A
denominado Cardinalidade de A, que denotamos por |A|.
Observamos que at o momento, os conjuntos obtidos tm
cardinalidade:
|| = 0
|{}| = 1
|{, {}}| = 2
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Denio
Se A um conjunto, o nmero de elementos do conjunto A
denominado Cardinalidade de A, que denotamos por |A|.
Observamos que at o momento, os conjuntos obtidos tm
cardinalidade:
|| = 0
|{}| = 1
|{, {}}| = 2
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Denio
Se A um conjunto, o nmero de elementos do conjunto A
denominado Cardinalidade de A, que denotamos por |A|.
Observamos que at o momento, os conjuntos obtidos tm
cardinalidade:
|| = 0
|{}| = 1
|{, {}}| = 2
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Analisando o axioma 3, o conjunto {A, B} tem ou cardinalidade 1,
quando A = B, ou cardinalidade 2, caso contrrio, ou seja
|{A, B}| {1, 2}. A seguir, veremos um axioma que, entre outras
coisas, constri conjuntos de cardinalidade arbitrria.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Axioma da Unio
(A4) Axioma da Unio: Para qualquer conjunto A, existe o
conjunto Y, tal que, os elementos de Y so exatamente os
elementos dos elementos do conjunto A, isto ,
(X A)(y X)(y Y).
Com o axioma (A4), podemos construir conjuntos de
tamanho arbitrrio.
Para xar o conceito, vamos supor que
A = {{a, e, i , o, u}, {2, 3, 5, 7}, {1, 2, 4, 8}}. Ento
Y = {a, e, i , o, u, 1, 2, 3, 4, 5, 7, 8}. Usualmente denotamos
Y = {a, e, i , o, u} {2, 3, 5, 7} {1, 2, 4, 8}
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Axioma da Unio
(A4) Axioma da Unio: Para qualquer conjunto A, existe o
conjunto Y, tal que, os elementos de Y so exatamente os
elementos dos elementos do conjunto A, isto ,
(X A)(y X)(y Y).
Com o axioma (A4), podemos construir conjuntos de
tamanho arbitrrio.
Para xar o conceito, vamos supor que
A = {{a, e, i , o, u}, {2, 3, 5, 7}, {1, 2, 4, 8}}. Ento
Y = {a, e, i , o, u, 1, 2, 3, 4, 5, 7, 8}. Usualmente denotamos
Y = {a, e, i , o, u} {2, 3, 5, 7} {1, 2, 4, 8}
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Axioma da Unio
(A4) Axioma da Unio: Para qualquer conjunto A, existe o
conjunto Y, tal que, os elementos de Y so exatamente os
elementos dos elementos do conjunto A, isto ,
(X A)(y X)(y Y).
Com o axioma (A4), podemos construir conjuntos de
tamanho arbitrrio.
Para xar o conceito, vamos supor que
A = {{a, e, i , o, u}, {2, 3, 5, 7}, {1, 2, 4, 8}}. Ento
Y = {a, e, i , o, u, 1, 2, 3, 4, 5, 7, 8}. Usualmente denotamos
Y = {a, e, i , o, u} {2, 3, 5, 7} {1, 2, 4, 8}
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
A seguinte sequncia constri conjuntos de cardinalidade
maior que 2;
Primeiro observamos que dado um conjunto X, pelo axioma
A3, existe o conjunto {X};
Utilizando os conjuntos X e {X}, pelo A3 existe o conjunto
A = {X, {X}}. Assim, o axioma A4 garante que existe o
conjunto Y = X {X}.
Como X / X, se o conjunto X = , ento |Y| = |X| + 1.
Assim podemos construir conjuntos de cardinalidade nita
arbitrria
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
A seguinte sequncia constri conjuntos de cardinalidade
maior que 2;
Primeiro observamos que dado um conjunto X, pelo axioma
A3, existe o conjunto {X};
Utilizando os conjuntos X e {X}, pelo A3 existe o conjunto
A = {X, {X}}. Assim, o axioma A4 garante que existe o
conjunto Y = X {X}.
Como X / X, se o conjunto X = , ento |Y| = |X| + 1.
Assim podemos construir conjuntos de cardinalidade nita
arbitrria
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
A seguinte sequncia constri conjuntos de cardinalidade
maior que 2;
Primeiro observamos que dado um conjunto X, pelo axioma
A3, existe o conjunto {X};
Utilizando os conjuntos X e {X}, pelo A3 existe o conjunto
A = {X, {X}}. Assim, o axioma A4 garante que existe o
conjunto Y = X {X}.
Como X / X, se o conjunto X = , ento |Y| = |X| + 1.
Assim podemos construir conjuntos de cardinalidade nita
arbitrria
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
A seguinte sequncia constri conjuntos de cardinalidade
maior que 2;
Primeiro observamos que dado um conjunto X, pelo axioma
A3, existe o conjunto {X};
Utilizando os conjuntos X e {X}, pelo A3 existe o conjunto
A = {X, {X}}. Assim, o axioma A4 garante que existe o
conjunto Y = X {X}.
Como X / X, se o conjunto X = , ento |Y| = |X| + 1.
Assim podemos construir conjuntos de cardinalidade nita
arbitrria
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
A seguinte sequncia constri conjuntos de cardinalidade
maior que 2;
Primeiro observamos que dado um conjunto X, pelo axioma
A3, existe o conjunto {X};
Utilizando os conjuntos X e {X}, pelo A3 existe o conjunto
A = {X, {X}}. Assim, o axioma A4 garante que existe o
conjunto Y = X {X}.
Como X / X, se o conjunto X = , ento |Y| = |X| + 1.
Assim podemos construir conjuntos de cardinalidade nita
arbitrria
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Com efeito, vimos que existe o conjunto X = {},
Assim, existe o conjunto A = {X, {X}} = {{}, {{}}}.
O axioma A4 garante que existe Y = {, {}}.Facilmente
calculamos |X| = 1 e |Y| = 2
Podemos agora retomar o processo com X = {, {}} e obter
Y = {, {}, {, {}}}, um conjunto de cardinalidade 3.
A construo acima, constri o conjunto dos nmeros
Naturais.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Com efeito, vimos que existe o conjunto X = {},
Assim, existe o conjunto A = {X, {X}} = {{}, {{}}}.
O axioma A4 garante que existe Y = {, {}}.Facilmente
calculamos |X| = 1 e |Y| = 2
Podemos agora retomar o processo com X = {, {}} e obter
Y = {, {}, {, {}}}, um conjunto de cardinalidade 3.
A construo acima, constri o conjunto dos nmeros
Naturais.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Com efeito, vimos que existe o conjunto X = {},
Assim, existe o conjunto A = {X, {X}} = {{}, {{}}}.
O axioma A4 garante que existe Y = {, {}}.Facilmente
calculamos |X| = 1 e |Y| = 2
Podemos agora retomar o processo com X = {, {}} e obter
Y = {, {}, {, {}}}, um conjunto de cardinalidade 3.
A construo acima, constri o conjunto dos nmeros
Naturais.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Com efeito, vimos que existe o conjunto X = {},
Assim, existe o conjunto A = {X, {X}} = {{}, {{}}}.
O axioma A4 garante que existe Y = {, {}}.Facilmente
calculamos |X| = 1 e |Y| = 2
Podemos agora retomar o processo com X = {, {}} e obter
Y = {, {}, {, {}}}, um conjunto de cardinalidade 3.
A construo acima, constri o conjunto dos nmeros
Naturais.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Com efeito, vimos que existe o conjunto X = {},
Assim, existe o conjunto A = {X, {X}} = {{}, {{}}}.
O axioma A4 garante que existe Y = {, {}}.Facilmente
calculamos |X| = 1 e |Y| = 2
Podemos agora retomar o processo com X = {, {}} e obter
Y = {, {}, {, {}}}, um conjunto de cardinalidade 3.
A construo acima, constri o conjunto dos nmeros
Naturais.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Podemos a cada conjunto S associar o nmero |S|. Assim
|| = 0 e associamos ao conjunto vazio o nmero 0, ou 0
{} 1
{, {}} 2
{, {}, {, {}}} 3
{, {}, {, {}}, {, {}, {, {}}}} 4, e assim
sucessivamente.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Podemos a cada conjunto S associar o nmero |S|. Assim
|| = 0 e associamos ao conjunto vazio o nmero 0, ou 0
{} 1
{, {}} 2
{, {}, {, {}}} 3
{, {}, {, {}}, {, {}, {, {}}}} 4, e assim
sucessivamente.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Podemos a cada conjunto S associar o nmero |S|. Assim
|| = 0 e associamos ao conjunto vazio o nmero 0, ou 0
{} 1
{, {}} 2
{, {}, {, {}}} 3
{, {}, {, {}}, {, {}, {, {}}}} 4, e assim
sucessivamente.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Podemos a cada conjunto S associar o nmero |S|. Assim
|| = 0 e associamos ao conjunto vazio o nmero 0, ou 0
{} 1
{, {}} 2
{, {}, {, {}}} 3
{, {}, {, {}}, {, {}, {, {}}}} 4, e assim
sucessivamente.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Podemos a cada conjunto S associar o nmero |S|. Assim
|| = 0 e associamos ao conjunto vazio o nmero 0, ou 0
{} 1
{, {}} 2
{, {}, {, {}}} 3
{, {}, {, {}}, {, {}, {, {}}}} 4, e assim
sucessivamente.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Vimos o Axioma 4, ou axioma da unio.
Seria natural estudar a propriedade de interseo de conjuntos
e recordar que |A B| = |A| + |B| |A B|.
Um dos objetivos de estudarmos os axiomas denir o
conceito de funo.
Ocorre que a funo uma relao, com duas propriedades, e
uma relao um elemento de um certo conjunto construido
a partir do produto cartesiano. Esta construo necessita que
o produto cartesiano seja um conjunto.
Para vericarmos isso, precisamos tambm do axioma 5 e
tambm do axioma 6, que veremos a seguir.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Vimos o Axioma 4, ou axioma da unio.
Seria natural estudar a propriedade de interseo de conjuntos
e recordar que |A B| = |A| + |B| |A B|.
Um dos objetivos de estudarmos os axiomas denir o
conceito de funo.
Ocorre que a funo uma relao, com duas propriedades, e
uma relao um elemento de um certo conjunto construido
a partir do produto cartesiano. Esta construo necessita que
o produto cartesiano seja um conjunto.
Para vericarmos isso, precisamos tambm do axioma 5 e
tambm do axioma 6, que veremos a seguir.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Vimos o Axioma 4, ou axioma da unio.
Seria natural estudar a propriedade de interseo de conjuntos
e recordar que |A B| = |A| + |B| |A B|.
Um dos objetivos de estudarmos os axiomas denir o
conceito de funo.
Ocorre que a funo uma relao, com duas propriedades, e
uma relao um elemento de um certo conjunto construido
a partir do produto cartesiano. Esta construo necessita que
o produto cartesiano seja um conjunto.
Para vericarmos isso, precisamos tambm do axioma 5 e
tambm do axioma 6, que veremos a seguir.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Vimos o Axioma 4, ou axioma da unio.
Seria natural estudar a propriedade de interseo de conjuntos
e recordar que |A B| = |A| + |B| |A B|.
Um dos objetivos de estudarmos os axiomas denir o
conceito de funo.
Ocorre que a funo uma relao, com duas propriedades, e
uma relao um elemento de um certo conjunto construido
a partir do produto cartesiano. Esta construo necessita que
o produto cartesiano seja um conjunto.
Para vericarmos isso, precisamos tambm do axioma 5 e
tambm do axioma 6, que veremos a seguir.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Vimos o Axioma 4, ou axioma da unio.
Seria natural estudar a propriedade de interseo de conjuntos
e recordar que |A B| = |A| + |B| |A B|.
Um dos objetivos de estudarmos os axiomas denir o
conceito de funo.
Ocorre que a funo uma relao, com duas propriedades, e
uma relao um elemento de um certo conjunto construido
a partir do produto cartesiano. Esta construo necessita que
o produto cartesiano seja um conjunto.
Para vericarmos isso, precisamos tambm do axioma 5 e
tambm do axioma 6, que veremos a seguir.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
O axioma 5, Axioma da separao, utiliza o conceito de
Proposio P(x). Como proposio, entendemos uma armao
que, xado um conjunto S e x S, P(x) ou verdadeira ou falsa.
No axioma, P(x) refere-se condio verdadeira.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Axioma da Separao (ou Axioma do Subconjunto) Dado
qualquer conjunto A e qualquer proposio P(x), existe um
subconjunto do conjunto A, que contm precisamente aqueles
elementos para o qual P(x) ocorre.
Observe que o axioma da separao permite que exemplos
como o de Russel no ocorram.
Com efeito o objeto R = {Y, tal que, Y / Y} no segue o
axioma, pois a propriedade Y / Y deve ocorre, segundo o
axioma para algum conjunto A.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Axioma da Separao (ou Axioma do Subconjunto) Dado
qualquer conjunto A e qualquer proposio P(x), existe um
subconjunto do conjunto A, que contm precisamente aqueles
elementos para o qual P(x) ocorre.
Observe que o axioma da separao permite que exemplos
como o de Russel no ocorram.
Com efeito o objeto R = {Y, tal que, Y / Y} no segue o
axioma, pois a propriedade Y / Y deve ocorre, segundo o
axioma para algum conjunto A.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Axioma da Separao (ou Axioma do Subconjunto) Dado
qualquer conjunto A e qualquer proposio P(x), existe um
subconjunto do conjunto A, que contm precisamente aqueles
elementos para o qual P(x) ocorre.
Observe que o axioma da separao permite que exemplos
como o de Russel no ocorram.
Com efeito o objeto R = {Y, tal que, Y / Y} no segue o
axioma, pois a propriedade Y / Y deve ocorre, segundo o
axioma para algum conjunto A.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Assim, se dado um conjunto A, pelo axioma 5, existe
X = {Y, tal que, y A e Y / Y}.
Neste caso P(Y) a propriedade y A e Y / Y e podemos
escrever X = {Y, tal que, P(Y)} ou X = {Y/P(Y)}.
fcil ver, quando A nito, que X = A, por exemplo,
A = {, {}, {, {}}, {, {}, {, {}}}}, ento X = A, ou
seja todo elemento Y A verica Y / Y.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Assim, se dado um conjunto A, pelo axioma 5, existe
X = {Y, tal que, y A e Y / Y}.
Neste caso P(Y) a propriedade y A e Y / Y e podemos
escrever X = {Y, tal que, P(Y)} ou X = {Y/P(Y)}.
fcil ver, quando A nito, que X = A, por exemplo,
A = {, {}, {, {}}, {, {}, {, {}}}}, ento X = A, ou
seja todo elemento Y A verica Y / Y.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Assim, se dado um conjunto A, pelo axioma 5, existe
X = {Y, tal que, y A e Y / Y}.
Neste caso P(Y) a propriedade y A e Y / Y e podemos
escrever X = {Y, tal que, P(Y)} ou X = {Y/P(Y)}.
fcil ver, quando A nito, que X = A, por exemplo,
A = {, {}, {, {}}, {, {}, {, {}}}}, ento X = A, ou
seja todo elemento Y A verica Y / Y.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Recorde que, denotamos S A se todo elemento de S um
elemento de A. Por exemplo, {} {, {, {}}} = A, porm
{{}} no subconjunto de A.
trivial que todo conjunto A A
Tambm, sempre verdade que A, pois caso contrrio
deveria ter algum elemento que no esteja em A, o que no
ocorre pelo axioma 1.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Recorde que, denotamos S A se todo elemento de S um
elemento de A. Por exemplo, {} {, {, {}}} = A, porm
{{}} no subconjunto de A.
trivial que todo conjunto A A
Tambm, sempre verdade que A, pois caso contrrio
deveria ter algum elemento que no esteja em A, o que no
ocorre pelo axioma 1.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Recorde que, denotamos S A se todo elemento de S um
elemento de A. Por exemplo, {} {, {, {}}} = A, porm
{{}} no subconjunto de A.
trivial que todo conjunto A A
Tambm, sempre verdade que A, pois caso contrrio
deveria ter algum elemento que no esteja em A, o que no
ocorre pelo axioma 1.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Axioma das Partes
Axioma das Partes: Dado um conjunto A, existe o conjunto
(A), cujos elementos de (A) so precisamente os
subconjuntos de A.
Se comearmos com o conjunto A = , pelas observaes
anteriores (A) = {};
Se A = {}, ento (A) = {, {}}
Se A = {, {}}, ento podemos vericar que |(A)| = 4.
Repetindo-se este processo podemos mostrar que
|(A)| = 2
|A|
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Axioma das Partes
Axioma das Partes: Dado um conjunto A, existe o conjunto
(A), cujos elementos de (A) so precisamente os
subconjuntos de A.
Se comearmos com o conjunto A = , pelas observaes
anteriores (A) = {};
Se A = {}, ento (A) = {, {}}
Se A = {, {}}, ento podemos vericar que |(A)| = 4.
Repetindo-se este processo podemos mostrar que
|(A)| = 2
|A|
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Axioma das Partes
Axioma das Partes: Dado um conjunto A, existe o conjunto
(A), cujos elementos de (A) so precisamente os
subconjuntos de A.
Se comearmos com o conjunto A = , pelas observaes
anteriores (A) = {};
Se A = {}, ento (A) = {, {}}
Se A = {, {}}, ento podemos vericar que |(A)| = 4.
Repetindo-se este processo podemos mostrar que
|(A)| = 2
|A|
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Axioma das Partes
Axioma das Partes: Dado um conjunto A, existe o conjunto
(A), cujos elementos de (A) so precisamente os
subconjuntos de A.
Se comearmos com o conjunto A = , pelas observaes
anteriores (A) = {};
Se A = {}, ento (A) = {, {}}
Se A = {, {}}, ento podemos vericar que |(A)| = 4.
Repetindo-se este processo podemos mostrar que
|(A)| = 2
|A|
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Axioma das Partes
Axioma das Partes: Dado um conjunto A, existe o conjunto
(A), cujos elementos de (A) so precisamente os
subconjuntos de A.
Se comearmos com o conjunto A = , pelas observaes
anteriores (A) = {};
Se A = {}, ento (A) = {, {}}
Se A = {, {}}, ento podemos vericar que |(A)| = 4.
Repetindo-se este processo podemos mostrar que
|(A)| = 2
|A|
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Nmeros Binomiais
Podemos considerar A = {1, 2, 3, 4, 5} e calcular o conjunto
(A)
Observando o conjunto (A), este formado por
subconjuntos de cardinalidade 0, 1, 2, 3, 4, 5
Como vimos acima |(A)| = 2
|A|
= 2
5
= 32, deste modo,
devem existir vrios subconjuntos de A que tm a mesma
cardinalidade.
O nmero

n
k

=
n!
n!(nk)!
a quantidade de subconjuntos de
cardinalidade k que um conjunto de cardinalidade n possui.
Os nmeros acima so denominados nmeros binomiais
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Nmeros Binomiais
Podemos considerar A = {1, 2, 3, 4, 5} e calcular o conjunto
(A)
Observando o conjunto (A), este formado por
subconjuntos de cardinalidade 0, 1, 2, 3, 4, 5
Como vimos acima |(A)| = 2
|A|
= 2
5
= 32, deste modo,
devem existir vrios subconjuntos de A que tm a mesma
cardinalidade.
O nmero

n
k

=
n!
n!(nk)!
a quantidade de subconjuntos de
cardinalidade k que um conjunto de cardinalidade n possui.
Os nmeros acima so denominados nmeros binomiais
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Nmeros Binomiais
Podemos considerar A = {1, 2, 3, 4, 5} e calcular o conjunto
(A)
Observando o conjunto (A), este formado por
subconjuntos de cardinalidade 0, 1, 2, 3, 4, 5
Como vimos acima |(A)| = 2
|A|
= 2
5
= 32, deste modo,
devem existir vrios subconjuntos de A que tm a mesma
cardinalidade.
O nmero

n
k

=
n!
n!(nk)!
a quantidade de subconjuntos de
cardinalidade k que um conjunto de cardinalidade n possui.
Os nmeros acima so denominados nmeros binomiais
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Nmeros Binomiais
Podemos considerar A = {1, 2, 3, 4, 5} e calcular o conjunto
(A)
Observando o conjunto (A), este formado por
subconjuntos de cardinalidade 0, 1, 2, 3, 4, 5
Como vimos acima |(A)| = 2
|A|
= 2
5
= 32, deste modo,
devem existir vrios subconjuntos de A que tm a mesma
cardinalidade.
O nmero

n
k

=
n!
n!(nk)!
a quantidade de subconjuntos de
cardinalidade k que um conjunto de cardinalidade n possui.
Os nmeros acima so denominados nmeros binomiais
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
Nmeros Binomiais
Podemos considerar A = {1, 2, 3, 4, 5} e calcular o conjunto
(A)
Observando o conjunto (A), este formado por
subconjuntos de cardinalidade 0, 1, 2, 3, 4, 5
Como vimos acima |(A)| = 2
|A|
= 2
5
= 32, deste modo,
devem existir vrios subconjuntos de A que tm a mesma
cardinalidade.
O nmero

n
k

=
n!
n!(nk)!
a quantidade de subconjuntos de
cardinalidade k que um conjunto de cardinalidade n possui.
Os nmeros acima so denominados nmeros binomiais
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
subject
1
Conjuntos
Axiomas
Axioma da existncia
Axioma da extensionalidade
Axioma do par
Axioma da Unio
Axioma da Separao
6. Axioma das partes
2
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Os axiomas acima permitem obter importantes resultados
como aqueles que vimos relacionados a interseo de
conjuntos e os nmeros binomiais.
Recomendo a leitura do texto a seguir.
A lista 1 parte 2 ir abordar questes relativas e este tpico.
Por questes de objetivo da disciplina, passamos agora
denio de Produto Cartesiano, Relao e Funo.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Os axiomas acima permitem obter importantes resultados
como aqueles que vimos relacionados a interseo de
conjuntos e os nmeros binomiais.
Recomendo a leitura do texto a seguir.
A lista 1 parte 2 ir abordar questes relativas e este tpico.
Por questes de objetivo da disciplina, passamos agora
denio de Produto Cartesiano, Relao e Funo.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Os axiomas acima permitem obter importantes resultados
como aqueles que vimos relacionados a interseo de
conjuntos e os nmeros binomiais.
Recomendo a leitura do texto a seguir.
A lista 1 parte 2 ir abordar questes relativas e este tpico.
Por questes de objetivo da disciplina, passamos agora
denio de Produto Cartesiano, Relao e Funo.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Os axiomas acima permitem obter importantes resultados
como aqueles que vimos relacionados a interseo de
conjuntos e os nmeros binomiais.
Recomendo a leitura do texto a seguir.
A lista 1 parte 2 ir abordar questes relativas e este tpico.
Por questes de objetivo da disciplina, passamos agora
denio de Produto Cartesiano, Relao e Funo.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Sejam A e B conjuntos. Pelo axioma 3, existe o conjunto
C = {A, B}. Segundo o axioma 4, existe o conjunto Y cujos
elementos so os elementos dos elementos de A ou de B. Para este
caso temos a denio.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Denio
Se A e B so conjuntos, A B denota o conjunto dos elementos
que esto em A ou B, sendo denominado conjunto unio de A e B.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Dados os conjuntos A e B, existe o conjunto C = A B
(axioma 4)
Seja P(x) a proposio x C, x / A.
Pelo axioma 5 existe o conjunto {x, tal que, P(x)}.
Denotamos este conjunto por A denominado complementar de
A em C.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Dados os conjuntos A e B, existe o conjunto C = A B
(axioma 4)
Seja P(x) a proposio x C, x / A.
Pelo axioma 5 existe o conjunto {x, tal que, P(x)}.
Denotamos este conjunto por A denominado complementar de
A em C.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Dados os conjuntos A e B, existe o conjunto C = A B
(axioma 4)
Seja P(x) a proposio x C, x / A.
Pelo axioma 5 existe o conjunto {x, tal que, P(x)}.
Denotamos este conjunto por A denominado complementar de
A em C.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Dados os conjuntos A e B, existe o conjunto C = A B
(axioma 4)
Seja P(x) a proposio x C, x / A.
Pelo axioma 5 existe o conjunto {x, tal que, P(x)}.
Denotamos este conjunto por A denominado complementar de
A em C.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Denio
Seja A e C conjuntos, denimos C \ A = {x, x C e x / A} a
diferena entre os conjuntos C e A, ou seja, o conjuntos dos
elementos de C que no esto em A, tambm chamado de
complementar de A em C e denotado por A.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Denio
Sejam os conjuntos A, B, A = (A B) \ A e B = (A B) \ B .
Denimos A B = (A B) \ (A B).
Preferimos denir A B desta maneira pois ca evidente a
propriedade que x A B, ento x / (A B). Assim, no ocorre
que quando x B ento x / A ou o contrrio. Como x A B,
ento DEVE OCORRER que x esteja em A e em B.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Quando fazemos a unio entre A e B, pode ocorrer que, para
todo a A B, ou x A ou x B. Esta condio
denominada de unio disjunta.
Se o conjunto unio A B tal que a unio no disjunta,
ento deve ocorrer que A e B tm algum elemento em
comum.
Por exemplo no conjunto A de vogais da palavra fevereiro e B
de vogais da palavra maro, a vogal o A B e tambm est
em cada um dos conjuntos. Da a de interseo desses
conjuntos no vazia.
Os conjuntos A e A B so disjuntos, pois
A B = (A B) \ (A B). Uma vez que A = B (A B),
ento |A| = |B| + |A B|.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Quando fazemos a unio entre A e B, pode ocorrer que, para
todo a A B, ou x A ou x B. Esta condio
denominada de unio disjunta.
Se o conjunto unio A B tal que a unio no disjunta,
ento deve ocorrer que A e B tm algum elemento em
comum.
Por exemplo no conjunto A de vogais da palavra fevereiro e B
de vogais da palavra maro, a vogal o A B e tambm est
em cada um dos conjuntos. Da a de interseo desses
conjuntos no vazia.
Os conjuntos A e A B so disjuntos, pois
A B = (A B) \ (A B). Uma vez que A = B (A B),
ento |A| = |B| + |A B|.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Quando fazemos a unio entre A e B, pode ocorrer que, para
todo a A B, ou x A ou x B. Esta condio
denominada de unio disjunta.
Se o conjunto unio A B tal que a unio no disjunta,
ento deve ocorrer que A e B tm algum elemento em
comum.
Por exemplo no conjunto A de vogais da palavra fevereiro e B
de vogais da palavra maro, a vogal o A B e tambm est
em cada um dos conjuntos. Da a de interseo desses
conjuntos no vazia.
Os conjuntos A e A B so disjuntos, pois
A B = (A B) \ (A B). Uma vez que A = B (A B),
ento |A| = |B| + |A B|.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Quando fazemos a unio entre A e B, pode ocorrer que, para
todo a A B, ou x A ou x B. Esta condio
denominada de unio disjunta.
Se o conjunto unio A B tal que a unio no disjunta,
ento deve ocorrer que A e B tm algum elemento em
comum.
Por exemplo no conjunto A de vogais da palavra fevereiro e B
de vogais da palavra maro, a vogal o A B e tambm est
em cada um dos conjuntos. Da a de interseo desses
conjuntos no vazia.
Os conjuntos A e A B so disjuntos, pois
A B = (A B) \ (A B). Uma vez que A = B (A B),
ento |A| = |B| + |A B|.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
J no caso (A B) esta unio disjunta, pois se
x A = (A B) \ A, ento x / A, mas x A B, ento
x B, logo x / B.
De acordo com a denio de A B, se x A B, ou
x A B (em ambos os conjuntos) ou x (A B) (em
apenas um dos conjuntos).
Ento A B e (A B) so disjuntos.
Pela observao anterior, B = A (A B) unio disjunta,
ento |B| = |A| + |A B|. Fato facilmente vericado pelo
diagrama de Veen.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
J no caso (A B) esta unio disjunta, pois se
x A = (A B) \ A, ento x / A, mas x A B, ento
x B, logo x / B.
De acordo com a denio de A B, se x A B, ou
x A B (em ambos os conjuntos) ou x (A B) (em
apenas um dos conjuntos).
Ento A B e (A B) so disjuntos.
Pela observao anterior, B = A (A B) unio disjunta,
ento |B| = |A| + |A B|. Fato facilmente vericado pelo
diagrama de Veen.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
J no caso (A B) esta unio disjunta, pois se
x A = (A B) \ A, ento x / A, mas x A B, ento
x B, logo x / B.
De acordo com a denio de A B, se x A B, ou
x A B (em ambos os conjuntos) ou x (A B) (em
apenas um dos conjuntos).
Ento A B e (A B) so disjuntos.
Pela observao anterior, B = A (A B) unio disjunta,
ento |B| = |A| + |A B|. Fato facilmente vericado pelo
diagrama de Veen.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
J no caso (A B) esta unio disjunta, pois se
x A = (A B) \ A, ento x / A, mas x A B, ento
x B, logo x / B.
De acordo com a denio de A B, se x A B, ou
x A B (em ambos os conjuntos) ou x (A B) (em
apenas um dos conjuntos).
Ento A B e (A B) so disjuntos.
Pela observao anterior, B = A (A B) unio disjunta,
ento |B| = |A| + |A B|. Fato facilmente vericado pelo
diagrama de Veen.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Propriedade
A unio A B (A B) = A B disjunta. Portanto
|A B| = |A| + |B| + |A B|, e portanto
|A B| = |A| + |B| |A B|.
Com efeito, observe que |A| = |B| |A B| e |B| = |A| |A B|,
da conclumos que |A B| = |A| + |B| |A B|
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Exemplo
Em uma festa foram servidos refrigerante, cerveja e gua.
Sabendo-se que de um total de 32 convidados, todos tomaram
alguma bebida, 12 beberam cerveja, 15 beberam refrigerante e 9
beberam apenas gua, possvel armar que alguns beberam
refrigerante e cerveja?
Das informaes: 9 beberam apenas gua e todos os 32 beberam
alguma bebida, conclumos que 32 9 beberam refrigerante (R) ou
cerveja (C). Assim |R C| = 23 = |R| +|C| |R C|. Segundo o
enunciado |R| = 15 e |C| = 12, obtemos que |R C| = 4,
portanto podemos armar 4 convidados beberam R e C.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Recorde que, denotamos S A se todo elemento de S um
elemento de A. Por exemplo, {} {, {, {}}} = A, porm
{{}} no subconjunto de A.
trivial que todo conjunto A A
Tambm, sempre verdade que A, pois caso contrrio
deveria ter algum elemento que no esteja em A, o que no
ocorre pelo axioma 1.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Recorde que, denotamos S A se todo elemento de S um
elemento de A. Por exemplo, {} {, {, {}}} = A, porm
{{}} no subconjunto de A.
trivial que todo conjunto A A
Tambm, sempre verdade que A, pois caso contrrio
deveria ter algum elemento que no esteja em A, o que no
ocorre pelo axioma 1.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Recorde que, denotamos S A se todo elemento de S um
elemento de A. Por exemplo, {} {, {, {}}} = A, porm
{{}} no subconjunto de A.
trivial que todo conjunto A A
Tambm, sempre verdade que A, pois caso contrrio
deveria ter algum elemento que no esteja em A, o que no
ocorre pelo axioma 1.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Axioma das Partes
Axioma das Partes: Dado um conjunto A, existe o conjunto
(A), cujos elementos de (A) so precisamente os
subconjuntos de A.
Se comearmos com o conjunto A = , pelas observaes
anteriores (A) = {};
Se A = {}, ento (A) = {, {}}
Se A = {, {}}, ento podemos vericar que |(A)| = 4.
Repetindo-se este processo podemos mostrar que
|(A)| = 2
|A|
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Axioma das Partes
Axioma das Partes: Dado um conjunto A, existe o conjunto
(A), cujos elementos de (A) so precisamente os
subconjuntos de A.
Se comearmos com o conjunto A = , pelas observaes
anteriores (A) = {};
Se A = {}, ento (A) = {, {}}
Se A = {, {}}, ento podemos vericar que |(A)| = 4.
Repetindo-se este processo podemos mostrar que
|(A)| = 2
|A|
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Axioma das Partes
Axioma das Partes: Dado um conjunto A, existe o conjunto
(A), cujos elementos de (A) so precisamente os
subconjuntos de A.
Se comearmos com o conjunto A = , pelas observaes
anteriores (A) = {};
Se A = {}, ento (A) = {, {}}
Se A = {, {}}, ento podemos vericar que |(A)| = 4.
Repetindo-se este processo podemos mostrar que
|(A)| = 2
|A|
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Axioma das Partes
Axioma das Partes: Dado um conjunto A, existe o conjunto
(A), cujos elementos de (A) so precisamente os
subconjuntos de A.
Se comearmos com o conjunto A = , pelas observaes
anteriores (A) = {};
Se A = {}, ento (A) = {, {}}
Se A = {, {}}, ento podemos vericar que |(A)| = 4.
Repetindo-se este processo podemos mostrar que
|(A)| = 2
|A|
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Axioma das Partes
Axioma das Partes: Dado um conjunto A, existe o conjunto
(A), cujos elementos de (A) so precisamente os
subconjuntos de A.
Se comearmos com o conjunto A = , pelas observaes
anteriores (A) = {};
Se A = {}, ento (A) = {, {}}
Se A = {, {}}, ento podemos vericar que |(A)| = 4.
Repetindo-se este processo podemos mostrar que
|(A)| = 2
|A|
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Nmeros Binomiais
Podemos considerar A = {1, 2, 3, 4, 5} e calcular o conjunto
(A)
Observando o conjunto (A), este formado por
subconjuntos de cardinalidade 0, 1, 2, 3, 4, 5
Como vimos acima |(A)| = 2
|A|
= 2
5
= 32, deste modo,
devem existir vrios subconjuntos de A que tm a mesma
cardinalidade.
O nmero

n
k

=
n!
n!(nk)!
a quantidade de subconjuntos de
cardinalidade k que um conjunto de cardinalidade n possui.
Os nmeros acima so denominados nmeros binomiais
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Nmeros Binomiais
Podemos considerar A = {1, 2, 3, 4, 5} e calcular o conjunto
(A)
Observando o conjunto (A), este formado por
subconjuntos de cardinalidade 0, 1, 2, 3, 4, 5
Como vimos acima |(A)| = 2
|A|
= 2
5
= 32, deste modo,
devem existir vrios subconjuntos de A que tm a mesma
cardinalidade.
O nmero

n
k

=
n!
n!(nk)!
a quantidade de subconjuntos de
cardinalidade k que um conjunto de cardinalidade n possui.
Os nmeros acima so denominados nmeros binomiais
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Nmeros Binomiais
Podemos considerar A = {1, 2, 3, 4, 5} e calcular o conjunto
(A)
Observando o conjunto (A), este formado por
subconjuntos de cardinalidade 0, 1, 2, 3, 4, 5
Como vimos acima |(A)| = 2
|A|
= 2
5
= 32, deste modo,
devem existir vrios subconjuntos de A que tm a mesma
cardinalidade.
O nmero

n
k

=
n!
n!(nk)!
a quantidade de subconjuntos de
cardinalidade k que um conjunto de cardinalidade n possui.
Os nmeros acima so denominados nmeros binomiais
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Nmeros Binomiais
Podemos considerar A = {1, 2, 3, 4, 5} e calcular o conjunto
(A)
Observando o conjunto (A), este formado por
subconjuntos de cardinalidade 0, 1, 2, 3, 4, 5
Como vimos acima |(A)| = 2
|A|
= 2
5
= 32, deste modo,
devem existir vrios subconjuntos de A que tm a mesma
cardinalidade.
O nmero

n
k

=
n!
n!(nk)!
a quantidade de subconjuntos de
cardinalidade k que um conjunto de cardinalidade n possui.
Os nmeros acima so denominados nmeros binomiais
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Nmeros Binomiais
Podemos considerar A = {1, 2, 3, 4, 5} e calcular o conjunto
(A)
Observando o conjunto (A), este formado por
subconjuntos de cardinalidade 0, 1, 2, 3, 4, 5
Como vimos acima |(A)| = 2
|A|
= 2
5
= 32, deste modo,
devem existir vrios subconjuntos de A que tm a mesma
cardinalidade.
O nmero

n
k

=
n!
n!(nk)!
a quantidade de subconjuntos de
cardinalidade k que um conjunto de cardinalidade n possui.
Os nmeros acima so denominados nmeros binomiais
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Fatorial de um Nmero
A seguir, vamos apresentar uma frmula matemtica
conhecida por nmero binomial. Este nmero depende da
seguinte denio:
Seja n N. Denimos 0! = 1 e n! = n (n 1)!
A expresso n! uma frmula recursiva, isto , para
calcularmos n!, temos que calcular antes (n 1)!.
Por exemplo, 4! = 4 (4 1)! = 4 3!, assim devemos calcular
3! = 3 2! = 3 (2 1!) = 3 2 1 0! = 6, pois 0! = 1
Desse modo, podemos calcular o fatorial de qualquer nmero
natural.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Fatorial de um Nmero
A seguir, vamos apresentar uma frmula matemtica
conhecida por nmero binomial. Este nmero depende da
seguinte denio:
Seja n N. Denimos 0! = 1 e n! = n (n 1)!
A expresso n! uma frmula recursiva, isto , para
calcularmos n!, temos que calcular antes (n 1)!.
Por exemplo, 4! = 4 (4 1)! = 4 3!, assim devemos calcular
3! = 3 2! = 3 (2 1!) = 3 2 1 0! = 6, pois 0! = 1
Desse modo, podemos calcular o fatorial de qualquer nmero
natural.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Fatorial de um Nmero
A seguir, vamos apresentar uma frmula matemtica
conhecida por nmero binomial. Este nmero depende da
seguinte denio:
Seja n N. Denimos 0! = 1 e n! = n (n 1)!
A expresso n! uma frmula recursiva, isto , para
calcularmos n!, temos que calcular antes (n 1)!.
Por exemplo, 4! = 4 (4 1)! = 4 3!, assim devemos calcular
3! = 3 2! = 3 (2 1!) = 3 2 1 0! = 6, pois 0! = 1
Desse modo, podemos calcular o fatorial de qualquer nmero
natural.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Fatorial de um Nmero
A seguir, vamos apresentar uma frmula matemtica
conhecida por nmero binomial. Este nmero depende da
seguinte denio:
Seja n N. Denimos 0! = 1 e n! = n (n 1)!
A expresso n! uma frmula recursiva, isto , para
calcularmos n!, temos que calcular antes (n 1)!.
Por exemplo, 4! = 4 (4 1)! = 4 3!, assim devemos calcular
3! = 3 2! = 3 (2 1!) = 3 2 1 0! = 6, pois 0! = 1
Desse modo, podemos calcular o fatorial de qualquer nmero
natural.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Fatorial de um Nmero
A seguir, vamos apresentar uma frmula matemtica
conhecida por nmero binomial. Este nmero depende da
seguinte denio:
Seja n N. Denimos 0! = 1 e n! = n (n 1)!
A expresso n! uma frmula recursiva, isto , para
calcularmos n!, temos que calcular antes (n 1)!.
Por exemplo, 4! = 4 (4 1)! = 4 3!, assim devemos calcular
3! = 3 2! = 3 (2 1!) = 3 2 1 0! = 6, pois 0! = 1
Desse modo, podemos calcular o fatorial de qualquer nmero
natural.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Nmeros Binomiais
Podemos considerar A = {1, 2, 3, 4, 5} e calcular o conjunto
(A)
Observando o conjunto (A), este formado por
subconjuntos de cardinalidade 0, 1, 2, 3, 4, 5
Como vimos acima |(A)| = 2
|A|
= 2
5
= 32, deste modo,
devem existir vrios subconjuntos de A que tm a mesma
cardinalidade.
O nmero

n
k

=
n!
k!(nk)!
a quantidade de subconjuntos de
cardinalidade k que um conjunto de cardinalidade n possui.
Os nmeros acima so denominados nmeros binomiais
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Nmeros Binomiais
Podemos considerar A = {1, 2, 3, 4, 5} e calcular o conjunto
(A)
Observando o conjunto (A), este formado por
subconjuntos de cardinalidade 0, 1, 2, 3, 4, 5
Como vimos acima |(A)| = 2
|A|
= 2
5
= 32, deste modo,
devem existir vrios subconjuntos de A que tm a mesma
cardinalidade.
O nmero

n
k

=
n!
k!(nk)!
a quantidade de subconjuntos de
cardinalidade k que um conjunto de cardinalidade n possui.
Os nmeros acima so denominados nmeros binomiais
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Nmeros Binomiais
Podemos considerar A = {1, 2, 3, 4, 5} e calcular o conjunto
(A)
Observando o conjunto (A), este formado por
subconjuntos de cardinalidade 0, 1, 2, 3, 4, 5
Como vimos acima |(A)| = 2
|A|
= 2
5
= 32, deste modo,
devem existir vrios subconjuntos de A que tm a mesma
cardinalidade.
O nmero

n
k

=
n!
k!(nk)!
a quantidade de subconjuntos de
cardinalidade k que um conjunto de cardinalidade n possui.
Os nmeros acima so denominados nmeros binomiais
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Nmeros Binomiais
Podemos considerar A = {1, 2, 3, 4, 5} e calcular o conjunto
(A)
Observando o conjunto (A), este formado por
subconjuntos de cardinalidade 0, 1, 2, 3, 4, 5
Como vimos acima |(A)| = 2
|A|
= 2
5
= 32, deste modo,
devem existir vrios subconjuntos de A que tm a mesma
cardinalidade.
O nmero

n
k

=
n!
k!(nk)!
a quantidade de subconjuntos de
cardinalidade k que um conjunto de cardinalidade n possui.
Os nmeros acima so denominados nmeros binomiais
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Nmeros Binomiais
Podemos considerar A = {1, 2, 3, 4, 5} e calcular o conjunto
(A)
Observando o conjunto (A), este formado por
subconjuntos de cardinalidade 0, 1, 2, 3, 4, 5
Como vimos acima |(A)| = 2
|A|
= 2
5
= 32, deste modo,
devem existir vrios subconjuntos de A que tm a mesma
cardinalidade.
O nmero

n
k

=
n!
k!(nk)!
a quantidade de subconjuntos de
cardinalidade k que um conjunto de cardinalidade n possui.
Os nmeros acima so denominados nmeros binomiais
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Nmeros Binomiais
Aplicamos a expresso seguinte para o binomial

5
3

, ou seja,
quantos subconjuntos com 3 elementos tem um conjunto com
5 elementos, por exemplo o nmero de subconjuntos com 3
que tem o conjuntos {u, v, w, x, y}
Podemos primeiro tentar encontrar estes conjuntos ...
{u, v, w}, {u, v, x}, {u, v, y}, {u, w, x}, {u, w, y},
{u, x, y}, {v, w, x}, {v, w, y}, {v, x, y}, {w, x, y}
Contamos um total de 10 conjuntos.
Pela frmula,

5
3

=
5!
3!(53)!
=
5!
3!2!
=
543!
3!2!
= 10
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Nmeros Binomiais
Aplicamos a expresso seguinte para o binomial

5
3

, ou seja,
quantos subconjuntos com 3 elementos tem um conjunto com
5 elementos, por exemplo o nmero de subconjuntos com 3
que tem o conjuntos {u, v, w, x, y}
Podemos primeiro tentar encontrar estes conjuntos ...
{u, v, w}, {u, v, x}, {u, v, y}, {u, w, x}, {u, w, y},
{u, x, y}, {v, w, x}, {v, w, y}, {v, x, y}, {w, x, y}
Contamos um total de 10 conjuntos.
Pela frmula,

5
3

=
5!
3!(53)!
=
5!
3!2!
=
543!
3!2!
= 10
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Nmeros Binomiais
Aplicamos a expresso seguinte para o binomial

5
3

, ou seja,
quantos subconjuntos com 3 elementos tem um conjunto com
5 elementos, por exemplo o nmero de subconjuntos com 3
que tem o conjuntos {u, v, w, x, y}
Podemos primeiro tentar encontrar estes conjuntos ...
{u, v, w}, {u, v, x}, {u, v, y}, {u, w, x}, {u, w, y},
{u, x, y}, {v, w, x}, {v, w, y}, {v, x, y}, {w, x, y}
Contamos um total de 10 conjuntos.
Pela frmula,

5
3

=
5!
3!(53)!
=
5!
3!2!
=
543!
3!2!
= 10
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Nmeros Binomiais
Aplicamos a expresso seguinte para o binomial

5
3

, ou seja,
quantos subconjuntos com 3 elementos tem um conjunto com
5 elementos, por exemplo o nmero de subconjuntos com 3
que tem o conjuntos {u, v, w, x, y}
Podemos primeiro tentar encontrar estes conjuntos ...
{u, v, w}, {u, v, x}, {u, v, y}, {u, w, x}, {u, w, y},
{u, x, y}, {v, w, x}, {v, w, y}, {v, x, y}, {w, x, y}
Contamos um total de 10 conjuntos.
Pela frmula,

5
3

=
5!
3!(53)!
=
5!
3!2!
=
543!
3!2!
= 10
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Nmeros Binomiais
Vamos dar uma prova que
n!
k!(nk)!
de fato o nmero de
subconjuntos com k elementos, de um conjuntos com n k
elementos.
A prova est baseada na princpio da induo nita completa,
ou seja:
Se queremos provar que uma certa propriedade P
i
, que
dependende de um nmero natural i N, vale para todo
i i
0
. Procedemos do seguinte modo:
Provamos que a propriedade vale para i = i
0
, sem seguida,
Supomos que a propriedade vale para todo i k, chamada de
hiptese de induo (HI).
Em seguida, usamos a HI e devemos provar que P
k+1

verdadeira.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Nmeros Binomiais
Vamos dar uma prova que
n!
k!(nk)!
de fato o nmero de
subconjuntos com k elementos, de um conjuntos com n k
elementos.
A prova est baseada na princpio da induo nita completa,
ou seja:
Se queremos provar que uma certa propriedade P
i
, que
dependende de um nmero natural i N, vale para todo
i i
0
. Procedemos do seguinte modo:
Provamos que a propriedade vale para i = i
0
, sem seguida,
Supomos que a propriedade vale para todo i k, chamada de
hiptese de induo (HI).
Em seguida, usamos a HI e devemos provar que P
k+1

verdadeira.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Nmeros Binomiais
Vamos dar uma prova que
n!
k!(nk)!
de fato o nmero de
subconjuntos com k elementos, de um conjuntos com n k
elementos.
A prova est baseada na princpio da induo nita completa,
ou seja:
Se queremos provar que uma certa propriedade P
i
, que
dependende de um nmero natural i N, vale para todo
i i
0
. Procedemos do seguinte modo:
Provamos que a propriedade vale para i = i
0
, sem seguida,
Supomos que a propriedade vale para todo i k, chamada de
hiptese de induo (HI).
Em seguida, usamos a HI e devemos provar que P
k+1

verdadeira.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Nmeros Binomiais
Vamos dar uma prova que
n!
k!(nk)!
de fato o nmero de
subconjuntos com k elementos, de um conjuntos com n k
elementos.
A prova est baseada na princpio da induo nita completa,
ou seja:
Se queremos provar que uma certa propriedade P
i
, que
dependende de um nmero natural i N, vale para todo
i i
0
. Procedemos do seguinte modo:
Provamos que a propriedade vale para i = i
0
, sem seguida,
Supomos que a propriedade vale para todo i k, chamada de
hiptese de induo (HI).
Em seguida, usamos a HI e devemos provar que P
k+1

verdadeira.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Nmeros Binomiais
Vamos dar uma prova que
n!
k!(nk)!
de fato o nmero de
subconjuntos com k elementos, de um conjuntos com n k
elementos.
A prova est baseada na princpio da induo nita completa,
ou seja:
Se queremos provar que uma certa propriedade P
i
, que
dependende de um nmero natural i N, vale para todo
i i
0
. Procedemos do seguinte modo:
Provamos que a propriedade vale para i = i
0
, sem seguida,
Supomos que a propriedade vale para todo i k, chamada de
hiptese de induo (HI).
Em seguida, usamos a HI e devemos provar que P
k+1

verdadeira.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Nmeros Binomiais
Vamos dar uma prova que
n!
k!(nk)!
de fato o nmero de
subconjuntos com k elementos, de um conjuntos com n k
elementos.
A prova est baseada na princpio da induo nita completa,
ou seja:
Se queremos provar que uma certa propriedade P
i
, que
dependende de um nmero natural i N, vale para todo
i i
0
. Procedemos do seguinte modo:
Provamos que a propriedade vale para i = i
0
, sem seguida,
Supomos que a propriedade vale para todo i k, chamada de
hiptese de induo (HI).
Em seguida, usamos a HI e devemos provar que P
k+1

verdadeira.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Nmeros Binomiais
A expresso
n!
m!(nm)!
vale quando n = 0 e neste caso m = 0 e
obtemos que o nmero de subconjuntos vazio m = 0 que o
conjunto vazio possui 1, o prprio vazio.
Supomos pela HI que
n!
k!(nk)!
verdadeiro para todo i n e
todo k n.
Calculamos ento o nmero de subconjuntos com k (n + 1)
que um conjunto com k + 1 elementos possui.
Seja A = {1, 2, , n, n + 1} um conjunto com n + 1
elementos. Queremos saber quantos subconjuntos de A com
k n + 1 elementos existem. Obviamente, se k = n + 1,
ento h uma nico subconjunto, o prprio conjunto k
Podemos considerar que A = {1, 2, , n} {n + 1} e k n
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Nmeros Binomiais
A expresso
n!
m!(nm)!
vale quando n = 0 e neste caso m = 0 e
obtemos que o nmero de subconjuntos vazio m = 0 que o
conjunto vazio possui 1, o prprio vazio.
Supomos pela HI que
n!
k!(nk)!
verdadeiro para todo i n e
todo k n.
Calculamos ento o nmero de subconjuntos com k (n + 1)
que um conjunto com k + 1 elementos possui.
Seja A = {1, 2, , n, n + 1} um conjunto com n + 1
elementos. Queremos saber quantos subconjuntos de A com
k n + 1 elementos existem. Obviamente, se k = n + 1,
ento h uma nico subconjunto, o prprio conjunto k
Podemos considerar que A = {1, 2, , n} {n + 1} e k n
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Nmeros Binomiais
A expresso
n!
m!(nm)!
vale quando n = 0 e neste caso m = 0 e
obtemos que o nmero de subconjuntos vazio m = 0 que o
conjunto vazio possui 1, o prprio vazio.
Supomos pela HI que
n!
k!(nk)!
verdadeiro para todo i n e
todo k n.
Calculamos ento o nmero de subconjuntos com k (n + 1)
que um conjunto com k + 1 elementos possui.
Seja A = {1, 2, , n, n + 1} um conjunto com n + 1
elementos. Queremos saber quantos subconjuntos de A com
k n + 1 elementos existem. Obviamente, se k = n + 1,
ento h uma nico subconjunto, o prprio conjunto k
Podemos considerar que A = {1, 2, , n} {n + 1} e k n
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Nmeros Binomiais
A expresso
n!
m!(nm)!
vale quando n = 0 e neste caso m = 0 e
obtemos que o nmero de subconjuntos vazio m = 0 que o
conjunto vazio possui 1, o prprio vazio.
Supomos pela HI que
n!
k!(nk)!
verdadeiro para todo i n e
todo k n.
Calculamos ento o nmero de subconjuntos com k (n + 1)
que um conjunto com k + 1 elementos possui.
Seja A = {1, 2, , n, n + 1} um conjunto com n + 1
elementos. Queremos saber quantos subconjuntos de A com
k n + 1 elementos existem. Obviamente, se k = n + 1,
ento h uma nico subconjunto, o prprio conjunto k
Podemos considerar que A = {1, 2, , n} {n + 1} e k n
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Nmeros Binomiais
A expresso
n!
m!(nm)!
vale quando n = 0 e neste caso m = 0 e
obtemos que o nmero de subconjuntos vazio m = 0 que o
conjunto vazio possui 1, o prprio vazio.
Supomos pela HI que
n!
k!(nk)!
verdadeiro para todo i n e
todo k n.
Calculamos ento o nmero de subconjuntos com k (n + 1)
que um conjunto com k + 1 elementos possui.
Seja A = {1, 2, , n, n + 1} um conjunto com n + 1
elementos. Queremos saber quantos subconjuntos de A com
k n + 1 elementos existem. Obviamente, se k = n + 1,
ento h uma nico subconjunto, o prprio conjunto k
Podemos considerar que A = {1, 2, , n} {n + 1} e k n
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Nmeros Binomiais
Primeiro, podemos calcular quantos subconjuntos com k
elementos tem o conjunto A = {1, 2, , n}. Pela HI h
n!
k!(nk)!
subconjuntos. Ocorre que nenhum destes conjuntos
tm o elemento n + 1.
O que faremos ser unir cada subconjunto antigo, que tem i
elementos, com o conjunto {n + 1} e considerar todos os
subconjuntos antigos com i + 1. Assim termos a quantidade
de subconjuntos com exatamente i + 1 elementos que tem o
conjunto A.
Com o vazio obtemos {n + 1} e os demais unitrios
antigos;
Com os antigos unitrios obtemos {1, n + 1}, {n, n + 1}.
Juntamente com os antigos subconjuntos com 2 elementos,
obtemos todos os subconjuntos de A com 2 elementos.
Fazemos isso at que i = n 1.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Nmeros Binomiais
Primeiro, podemos calcular quantos subconjuntos com k
elementos tem o conjunto A = {1, 2, , n}. Pela HI h
n!
k!(nk)!
subconjuntos. Ocorre que nenhum destes conjuntos
tm o elemento n + 1.
O que faremos ser unir cada subconjunto antigo, que tem i
elementos, com o conjunto {n + 1} e considerar todos os
subconjuntos antigos com i + 1. Assim termos a quantidade
de subconjuntos com exatamente i + 1 elementos que tem o
conjunto A.
Com o vazio obtemos {n + 1} e os demais unitrios
antigos;
Com os antigos unitrios obtemos {1, n + 1}, {n, n + 1}.
Juntamente com os antigos subconjuntos com 2 elementos,
obtemos todos os subconjuntos de A com 2 elementos.
Fazemos isso at que i = n 1.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Nmeros Binomiais
Primeiro, podemos calcular quantos subconjuntos com k
elementos tem o conjunto A = {1, 2, , n}. Pela HI h
n!
k!(nk)!
subconjuntos. Ocorre que nenhum destes conjuntos
tm o elemento n + 1.
O que faremos ser unir cada subconjunto antigo, que tem i
elementos, com o conjunto {n + 1} e considerar todos os
subconjuntos antigos com i + 1. Assim termos a quantidade
de subconjuntos com exatamente i + 1 elementos que tem o
conjunto A.
Com o vazio obtemos {n + 1} e os demais unitrios
antigos;
Com os antigos unitrios obtemos {1, n + 1}, {n, n + 1}.
Juntamente com os antigos subconjuntos com 2 elementos,
obtemos todos os subconjuntos de A com 2 elementos.
Fazemos isso at que i = n 1.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Nmeros Binomiais
Primeiro, podemos calcular quantos subconjuntos com k
elementos tem o conjunto A = {1, 2, , n}. Pela HI h
n!
k!(nk)!
subconjuntos. Ocorre que nenhum destes conjuntos
tm o elemento n + 1.
O que faremos ser unir cada subconjunto antigo, que tem i
elementos, com o conjunto {n + 1} e considerar todos os
subconjuntos antigos com i + 1. Assim termos a quantidade
de subconjuntos com exatamente i + 1 elementos que tem o
conjunto A.
Com o vazio obtemos {n + 1} e os demais unitrios
antigos;
Com os antigos unitrios obtemos {1, n + 1}, {n, n + 1}.
Juntamente com os antigos subconjuntos com 2 elementos,
obtemos todos os subconjuntos de A com 2 elementos.
Fazemos isso at que i = n 1.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Nmeros Binomiais
Primeiro, podemos calcular quantos subconjuntos com k
elementos tem o conjunto A = {1, 2, , n}. Pela HI h
n!
k!(nk)!
subconjuntos. Ocorre que nenhum destes conjuntos
tm o elemento n + 1.
O que faremos ser unir cada subconjunto antigo, que tem i
elementos, com o conjunto {n + 1} e considerar todos os
subconjuntos antigos com i + 1. Assim termos a quantidade
de subconjuntos com exatamente i + 1 elementos que tem o
conjunto A.
Com o vazio obtemos {n + 1} e os demais unitrios
antigos;
Com os antigos unitrios obtemos {1, n + 1}, {n, n + 1}.
Juntamente com os antigos subconjuntos com 2 elementos,
obtemos todos os subconjuntos de A com 2 elementos.
Fazemos isso at que i = n 1.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Exemplo
Vimos que um conjunto com 5 elementos possui 10 subconjuntos
com 3 elementos. Vamos utilizar a tcnica acima para um
conjunto com 6 elementos e calcular quantos subconjuntos com 3
elementos podemos formar.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Seja A = {1, 2, 3, 4, 5, 6}. Fazemos A = {1, 2, 3, 4, 5} {6}.
Para 5 elementos conhecemos os subconjuntos:
Com 2 elementos {1, 2}, {1, 3}, {1, 4}, {1, 5}, {2, 3},
{2, 4}, {2, 5}, {3, 4}, {3, 5}, {4, 5}
Com 3 elementos
{1, 2, 3}, {1, 2, 4}, {1, 2, 5}, {1, 3, 4}, {1, 3, 5},
{1, 4, 5}, {2, 3, 4}, {2, 3, 5}, {2, 4, 5}, {3, 4, 5}
Observem, quando adicionamos o elemento 6 aos conjuntos
acima com 2 elementos, juntamente com os subconjuntos
com 3 elementos, temos todos os subconjuntos de A com 3
elementos.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Seja A = {1, 2, 3, 4, 5, 6}. Fazemos A = {1, 2, 3, 4, 5} {6}.
Para 5 elementos conhecemos os subconjuntos:
Com 2 elementos {1, 2}, {1, 3}, {1, 4}, {1, 5}, {2, 3},
{2, 4}, {2, 5}, {3, 4}, {3, 5}, {4, 5}
Com 3 elementos
{1, 2, 3}, {1, 2, 4}, {1, 2, 5}, {1, 3, 4}, {1, 3, 5},
{1, 4, 5}, {2, 3, 4}, {2, 3, 5}, {2, 4, 5}, {3, 4, 5}
Observem, quando adicionamos o elemento 6 aos conjuntos
acima com 2 elementos, juntamente com os subconjuntos
com 3 elementos, temos todos os subconjuntos de A com 3
elementos.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Seja A = {1, 2, 3, 4, 5, 6}. Fazemos A = {1, 2, 3, 4, 5} {6}.
Para 5 elementos conhecemos os subconjuntos:
Com 2 elementos {1, 2}, {1, 3}, {1, 4}, {1, 5}, {2, 3},
{2, 4}, {2, 5}, {3, 4}, {3, 5}, {4, 5}
Com 3 elementos
{1, 2, 3}, {1, 2, 4}, {1, 2, 5}, {1, 3, 4}, {1, 3, 5},
{1, 4, 5}, {2, 3, 4}, {2, 3, 5}, {2, 4, 5}, {3, 4, 5}
Observem, quando adicionamos o elemento 6 aos conjuntos
acima com 2 elementos, juntamente com os subconjuntos
com 3 elementos, temos todos os subconjuntos de A com 3
elementos.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Seja A = {1, 2, 3, 4, 5, 6}. Fazemos A = {1, 2, 3, 4, 5} {6}.
Para 5 elementos conhecemos os subconjuntos:
Com 2 elementos {1, 2}, {1, 3}, {1, 4}, {1, 5}, {2, 3},
{2, 4}, {2, 5}, {3, 4}, {3, 5}, {4, 5}
Com 3 elementos
{1, 2, 3}, {1, 2, 4}, {1, 2, 5}, {1, 3, 4}, {1, 3, 5},
{1, 4, 5}, {2, 3, 4}, {2, 3, 5}, {2, 4, 5}, {3, 4, 5}
Observem, quando adicionamos o elemento 6 aos conjuntos
acima com 2 elementos, juntamente com os subconjuntos
com 3 elementos, temos todos os subconjuntos de A com 3
elementos.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Continuao do Exemplo
Concluso: conjunto de cardinalidade 6 possui 20
subconjuntos de cardinalidade 3
Est concluso ser correta se estivermos de acordo que todo
subconjunto de A = {1, 2, 3, 4, 5, 6} com 3 elementos de
uma das seguintes formas:
Ou um subconjunto de {1, 2, 3, 4, 5} com 2 elementos,
unido com o conjunto {6}.
Ou um subconjunto de {1, 2, 3, 4, 5} com 3 elementos.
Se isso for correto, para obter subconjuntos de cardinalidade k
de um conjunto A = {a
1
, , a
n+1
} com n + 1 elementos,
basta conhecermos os subconjuntos de cardinalidade k e k 1
do conjunto {a
1
, , a
n
} que tem n elementos.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Continuao do Exemplo
Concluso: conjunto de cardinalidade 6 possui 20
subconjuntos de cardinalidade 3
Est concluso ser correta se estivermos de acordo que todo
subconjunto de A = {1, 2, 3, 4, 5, 6} com 3 elementos de
uma das seguintes formas:
Ou um subconjunto de {1, 2, 3, 4, 5} com 2 elementos,
unido com o conjunto {6}.
Ou um subconjunto de {1, 2, 3, 4, 5} com 3 elementos.
Se isso for correto, para obter subconjuntos de cardinalidade k
de um conjunto A = {a
1
, , a
n+1
} com n + 1 elementos,
basta conhecermos os subconjuntos de cardinalidade k e k 1
do conjunto {a
1
, , a
n
} que tem n elementos.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Continuao do Exemplo
Concluso: conjunto de cardinalidade 6 possui 20
subconjuntos de cardinalidade 3
Est concluso ser correta se estivermos de acordo que todo
subconjunto de A = {1, 2, 3, 4, 5, 6} com 3 elementos de
uma das seguintes formas:
Ou um subconjunto de {1, 2, 3, 4, 5} com 2 elementos,
unido com o conjunto {6}.
Ou um subconjunto de {1, 2, 3, 4, 5} com 3 elementos.
Se isso for correto, para obter subconjuntos de cardinalidade k
de um conjunto A = {a
1
, , a
n+1
} com n + 1 elementos,
basta conhecermos os subconjuntos de cardinalidade k e k 1
do conjunto {a
1
, , a
n
} que tem n elementos.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Continuao do Exemplo
Concluso: conjunto de cardinalidade 6 possui 20
subconjuntos de cardinalidade 3
Est concluso ser correta se estivermos de acordo que todo
subconjunto de A = {1, 2, 3, 4, 5, 6} com 3 elementos de
uma das seguintes formas:
Ou um subconjunto de {1, 2, 3, 4, 5} com 2 elementos,
unido com o conjunto {6}.
Ou um subconjunto de {1, 2, 3, 4, 5} com 3 elementos.
Se isso for correto, para obter subconjuntos de cardinalidade k
de um conjunto A = {a
1
, , a
n+1
} com n + 1 elementos,
basta conhecermos os subconjuntos de cardinalidade k e k 1
do conjunto {a
1
, , a
n
} que tem n elementos.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Continuao do Exemplo
Concluso: conjunto de cardinalidade 6 possui 20
subconjuntos de cardinalidade 3
Est concluso ser correta se estivermos de acordo que todo
subconjunto de A = {1, 2, 3, 4, 5, 6} com 3 elementos de
uma das seguintes formas:
Ou um subconjunto de {1, 2, 3, 4, 5} com 2 elementos,
unido com o conjunto {6}.
Ou um subconjunto de {1, 2, 3, 4, 5} com 3 elementos.
Se isso for correto, para obter subconjuntos de cardinalidade k
de um conjunto A = {a
1
, , a
n+1
} com n + 1 elementos,
basta conhecermos os subconjuntos de cardinalidade k e k 1
do conjunto {a
1
, , a
n
} que tem n elementos.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Proposition
Seja C = {1, 2, , n}, A = C {n + 1} e C
k
um subconjunto de
C de cardinalidade k, 0 k < n . Se S um subconjunto de A de
cardinalidade k + 1, ento ou S = C
k+1
ou S = C
k
{n + 1}.
Vamos vericar que a proposio correta.
Se S A, |S| = k + 1, ocorre que ou n + 1 S ou n + 1 / S.
Se n + 1 S, ento S \ {n + 1} um conjunto de
cardinalidade k, logo S = C
k
{n + 1}, com C
k
C, pois
retiramos de S o nico elemento que no estava em A.
Se n + 1 / S, ento todos elementos de S esto em C, logo
S = C
k+1
C.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Proposition
Seja C = {1, 2, , n}, A = C {n + 1} e C
k
um subconjunto de
C de cardinalidade k, 0 k < n . Se S um subconjunto de A de
cardinalidade k + 1, ento ou S = C
k+1
ou S = C
k
{n + 1}.
Vamos vericar que a proposio correta.
Se S A, |S| = k + 1, ocorre que ou n + 1 S ou n + 1 / S.
Se n + 1 S, ento S \ {n + 1} um conjunto de
cardinalidade k, logo S = C
k
{n + 1}, com C
k
C, pois
retiramos de S o nico elemento que no estava em A.
Se n + 1 / S, ento todos elementos de S esto em C, logo
S = C
k+1
C.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Proposition
Seja C = {1, 2, , n}, A = C {n + 1} e C
k
um subconjunto de
C de cardinalidade k, 0 k < n . Se S um subconjunto de A de
cardinalidade k + 1, ento ou S = C
k+1
ou S = C
k
{n + 1}.
Vamos vericar que a proposio correta.
Se S A, |S| = k + 1, ocorre que ou n + 1 S ou n + 1 / S.
Se n + 1 S, ento S \ {n + 1} um conjunto de
cardinalidade k, logo S = C
k
{n + 1}, com C
k
C, pois
retiramos de S o nico elemento que no estava em A.
Se n + 1 / S, ento todos elementos de S esto em C, logo
S = C
k+1
C.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Proposition
Seja C = {1, 2, , n}, A = C {n + 1} e C
k
um subconjunto de
C de cardinalidade k, 0 k < n . Se S um subconjunto de A de
cardinalidade k + 1, ento ou S = C
k+1
ou S = C
k
{n + 1}.
Vamos vericar que a proposio correta.
Se S A, |S| = k + 1, ocorre que ou n + 1 S ou n + 1 / S.
Se n + 1 S, ento S \ {n + 1} um conjunto de
cardinalidade k, logo S = C
k
{n + 1}, com C
k
C, pois
retiramos de S o nico elemento que no estava em A.
Se n + 1 / S, ento todos elementos de S esto em C, logo
S = C
k+1
C.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Podemos ento provar por induo que um conjunto de
cardinalidade n possui

n
k

=
n!
k!(nk)!
subconjuntos de
cardinalidade k.
Quando n = 0, vimos que

0
0

= 1;
Supomos pela HI que
n!
k!(nk)!
verdadeiro para todo k n.
Quando |A| = n + 1 e 0 k < n + 1, usamos a proposio
acima e a hiptese de induo obtendo que h

n
k1

n
k

subconjuntos de A de cardinalidade K.
Calculando essa soma obtemos:

n
k1

n
k

n+1
k

A. C Souza Filho Axiomas de Teoria de Conjuntos

Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Podemos ento provar por induo que um conjunto de
cardinalidade n possui

n
k

=
n!
k!(nk)!
subconjuntos de
cardinalidade k.
Quando n = 0, vimos que

0
0

= 1;
Supomos pela HI que
n!
k!(nk)!
verdadeiro para todo k n.
Quando |A| = n + 1 e 0 k < n + 1, usamos a proposio
acima e a hiptese de induo obtendo que h

n
k1

n
k

subconjuntos de A de cardinalidade K.
Calculando essa soma obtemos:

n
k1

n
k

n+1
k

A. C Souza Filho Axiomas de Teoria de Conjuntos

Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Podemos ento provar por induo que um conjunto de
cardinalidade n possui

n
k

=
n!
k!(nk)!
subconjuntos de
cardinalidade k.
Quando n = 0, vimos que

0
0

= 1;
Supomos pela HI que
n!
k!(nk)!
verdadeiro para todo k n.
Quando |A| = n + 1 e 0 k < n + 1, usamos a proposio
acima e a hiptese de induo obtendo que h

n
k1

n
k

subconjuntos de A de cardinalidade K.
Calculando essa soma obtemos:

n
k1

n
k

n+1
k

A. C Souza Filho Axiomas de Teoria de Conjuntos

Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Podemos ento provar por induo que um conjunto de
cardinalidade n possui

n
k

=
n!
k!(nk)!
subconjuntos de
cardinalidade k.
Quando n = 0, vimos que

0
0

= 1;
Supomos pela HI que
n!
k!(nk)!
verdadeiro para todo k n.
Quando |A| = n + 1 e 0 k < n + 1, usamos a proposio
acima e a hiptese de induo obtendo que h

n
k1

n
k

subconjuntos de A de cardinalidade K.
Calculando essa soma obtemos:

n
k1

n
k

n+1
k

A. C Souza Filho Axiomas de Teoria de Conjuntos

Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Podemos ento provar por induo que um conjunto de
cardinalidade n possui

n
k

=
n!
k!(nk)!
subconjuntos de
cardinalidade k.
Quando n = 0, vimos que

0
0

= 1;
Supomos pela HI que
n!
k!(nk)!
verdadeiro para todo k n.
Quando |A| = n + 1 e 0 k < n + 1, usamos a proposio
acima e a hiptese de induo obtendo que h

n
k1

n
k

subconjuntos de A de cardinalidade K.
Calculando essa soma obtemos:

n
k1

n
k

n+1
k

A. C Souza Filho Axiomas de Teoria de Conjuntos

Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Clculo da soma

n
k1

n
k

n
k1

n
k

=
n!
(k1)!(n(k1))!
+
n!
k!(nk)!
O fator
n!
k!(nk)!
equivalente a
n!
k!(nk)!

nk+1
nk+1

k
k
=
n!(nk+1)
(k1)!(nk+1)!k

n
k1

n
k

=
n!
(k1)!(n(k1))!
+
n!(nk+1)
(k1)!(nk+1)!k
=
kn!+n!nn!k+n!
(k1)!(nk+1)!k
=
n!(n+1)
k!(nk+1)!
=

n+1
k

E portanto ca provada a expresso por induo nita

completa.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Clculo da soma

n
k1

n
k

n
k1

n
k

=
n!
(k1)!(n(k1))!
+
n!
k!(nk)!
O fator
n!
k!(nk)!
equivalente a
n!
k!(nk)!

nk+1
nk+1

k
k
=
n!(nk+1)
(k1)!(nk+1)!k

n
k1

n
k

=
n!
(k1)!(n(k1))!
+
n!(nk+1)
(k1)!(nk+1)!k
=
kn!+n!nn!k+n!
(k1)!(nk+1)!k
=
n!(n+1)
k!(nk+1)!
=

n+1
k

E portanto ca provada a expresso por induo nita

completa.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Clculo da soma

n
k1

n
k

n
k1

n
k

=
n!
(k1)!(n(k1))!
+
n!
k!(nk)!
O fator
n!
k!(nk)!
equivalente a
n!
k!(nk)!

nk+1
nk+1

k
k
=
n!(nk+1)
(k1)!(nk+1)!k

n
k1

n
k

=
n!
(k1)!(n(k1))!
+
n!(nk+1)
(k1)!(nk+1)!k
=
kn!+n!nn!k+n!
(k1)!(nk+1)!k
=
n!(n+1)
k!(nk+1)!
=

n+1
k

E portanto ca provada a expresso por induo nita

completa.
A. C Souza Filho Axiomas de Teoria de Conjuntos
Assunto
Conjuntos
Interseo e Subconjuntos
A interseo de conjuntos
6. Axioma das partes
Clculo da soma

n
k1

n
k

n
k1

n
k

=
n!
(k1)!(n(k1))!
+
n!
k!(nk)!
O fator
n!
k!(nk)!
equivalente a
n!
k!(nk)!

nk+1
nk+1

k
k
=
n!(nk+1)
(k1)!(nk+1)!k

n
k1

n
k

=
n!
(k1)!(n(k1))!
+
n!(nk+1)
(k1)!(nk+1)!k
=
kn!+n!nn!k+n!
(k1)!(nk+1)!k
=
n!(n+1)
k!(nk+1)!
=

n+1
k

E portanto ca provada a expresso por induo nita

completa.
A. C Souza Filho Axiomas de Teoria de Conjuntos