Escolar Documentos
Profissional Documentos
Cultura Documentos
Ementa
Descrio
Esta disciplina tem como objetivo levar o aluno a compreender os axiomas da Teoria dos Conjuntos,
segundo Zermelo-Fraenkel, a ponto de aplic-los em diferentes contextos tais como o axioma da escolha,
modelagem de situaes-problema envolvendo o princpio do mximo de Hausdorff, Lema de Zorn,
conjuntos bem ordenados, construo dos nmeros naturais, nmeros cardinais.
O programa da disciplina divide-se em seis unidades, das quais a primeira responsvel pela
introduo do mtodo axiomtico e resultados utilizados em todo o texto. Em cada estudo especfico, busca-
se a caracterizao do objeto por meio de propriedades que possibilitem ao estudante estabelecer
correspondncias entre determinadas situaes-problema da vida real e a espcie de funo focalizada,
objetivando sua utilizao na construo de uma traduo matemtica da respectiva situao.
Objetivos
Uniformizar o conhecimento da Teoria dos Conjuntos via mtodos axiomticos e aplicar os mesmos
ao estudo dos conjuntos, axioma da escolha e nmeros. Assim, servir como ferramenta importante em outras
disciplinas tais como lgebra, Anlise e Equaes Diferenciais. Alm disso, tem como finalidade
desenvolver habilidades e atitudes no aluno que lhe permitam acompanhar e se adaptar ao desenvolvimento
no mbito da educao, cincia e tecnologia.
Objetivos Especficos
Conhecimentos Prvios
1
Unidade I O Mtodo Axiomtico
Introduo Histrica
O Mtodo Axiomtico
Caractersticas de um Sistema de Axiomas
Independncia de um Sistema de Axiomas
Unidade II Conjuntos
Introduo Histrica
Conjunto
Grfico e Famlias
Funes
Ordem
Isomorfismos
Elementos Notveis e Dualidade
Conjuntos Bem Ordenados
Axioma da Escolha
Aplicaes, Princpio do Mximo de Hausdorff e Lema de Zorn
Princpio da Boa Ordenao
Nmeros Naturais
Aritmticas dos Nmeros Naturais
Conjuntos Equipotentes
Nmeros Cardinais
Aritmticas dos Nmeros Cardinais
2
Unidade I O Mtodo Axiomtico
1. Situando a Temtica
Quando falamos que um objeto pertence a outro objeto, queremos dizer, simplesmente, que o
primeiro deles depende do segundo. Situaes de pertinncia fazem-se presentes constantemente em nossa
vida. Por exemplo, um ponto pertence a uma reta.
A partir de agora, voc est convidado a nos acompanhar neste passeio pelo mundo dos axiomas e
postulados. Juntos analisaremos detalhadamente as caracterizaes de um sistema de axiomas e a
independncia de um axioma.
2. Problematizando a Temtica
No nosso dia-a-dia, os axiomas e postulados aparecem com mais frequncia na Geometria Plana.
Considere, por exemplo,
Se uma linha reta intercepta duas outras linhas retas formando ngulos interiores no mesmo lado
menor do que dois ngulos retos, as duas linhas retas, se prolongadas indefinidamente se interceptaro no
lado em que a soma menor que dois ngulos retos.
Este e outros axiomas da Geometria Plana sero tratados nesta unidade.
3. Conhecendo a Temtica
Um axioma uma afirmao que dispensa explicao, ou seja, uma verdade universal.
Exemplo 1.1.
1. O todo maior do que cada uma de suas partes.
2. O todo a soma de suas partes.
3. Coisas iguais a uma outra coisa so iguais entre si.
Um postulado um fato geomtrico simples e bvio que podemos supor sua validade.
Exemplo 1.2.
1. Dois pontos distintos determinam uma e somente uma reta.
2. Uma reta pode ser estendida indefinidamente.
3. Se r uma reta e P um ponto fora de r, ento existe uma nica reta s paralela reta r e passando por
P.
Um teorema uma verdade que no se torna evidente seno por meio de uma prova.
Exemplo 1.4. A soma dos ngulos internos de um tringulo vale dois ngulos retos.
3
Esses agrupamentos de axiomas e postulados j eram conhecidos em Aristteles (384-321, a. C.) e
em Euclides (330-260, a. C.) como noes comuns e postulados. A partir dessas afirmaes e de um certo
nmero de definies, Euclides demonstrou 465 teoremas em uma sequncia lgica. Por exemplo, o quinto
postulado de Euclides, em sua forma original, foi enunciado como:
E5 - Se uma linha reta intercepta duas outras linhas retas formando ngulos interiores no mesmo
lado menor do que dois ngulos retos, as duas linhas retas, se prolongadas indefinidamente se interceptaro
no lado em que a soma menor que dois ngulos retos.
Proclus (Proclus Lycaeus, 412-485, d. C, filsofo grego) descreveu a controvrsia que estava se
formando com relao a esse postulado mesmo nessa poca, sendo ele prprio a favor da eliminao do
postulado por classific-lo de ingnuo, plausvel e sem carter de necessidade lgica.
No perodo Renascentista inciou-se novo perodo de controvrcias com relao ao quinto postulado a
partir dos outros postulados, ou seja, domonstr-lo a partir dos outros postulados e axiomas da geometria
usando princpios da lgica.
Duas retas distintas r e s, em Geometria Plana, so chamadas de paralelas se elas no se
interceptam, isto , r s = . Assim, atualmente, o quinto postulado de Euclides enunciado como:
E5 - Dada uma reta r e um ponto P fora de r, existe uma e somente uma reta s que contm P e
parelela reta r.
Riemann (Georg Friedrich Bernhard Riemann, 1826-1866, matemtico alemo), descobriu uma nova
geometria partindo de um postulado que nega a existncia de retas paralelas.
4
Figura 3. Geometria Esfrica.
Com esses postulados temos trs tipos de geometrias. Em cada uma dessas geometrias claro que
precisamos de muitos outros postulados.
Hilbert (David Hilbert, 1862-1943, matemtico alemo), em 1899, no seu clebre trabalho
Fundamentos da Geometria, apresenta a ideia de que apenas um nome - axiomas - deve ser usado com
relao s proposies fundamentais, e que certos termos bsicos como ponto e reta so deixados
completamente indefinidos.
Embora esse trabalho de Hilbert seja reconhecido por muitos como sendo o primeiro a tratar de
mtodo axiomtico em sua forma moderna, devemos reconhecer que ideias anlogas tambm apareceram em
trabalhos de outros estudiosos da poca.
Em 1882 apareceu a primeira edio do livro de Pasch (Moritz Pasch, 1843-1930, matemtico
alemo) Vorlesungen ber Neuere Geometrie. Pasch baseou seu tratamento da geometria em um pequeno
nmero de conceitos nucleares e proposies nucleares que so introduzidas respectivamente sem
definio e sem demonstraes, mas que ele acredita ter uma base comum de aceitao pela nossa
experincia. Depois que o sistema bsico de proposies (axiomas) introduzido, a deduo lgica das
outras proposies do sistema so obtidas de forma rigorosa. Suas ideias foram descritas por ele mesmo
como segue:
Na realidade, se a geometria deve ser dedutiva, a deduo deve ser independente do significado dos
conceitos geomtricos, da mesma forma que deve ser independente de diagramas; somente as relaes
especificadas nas proposies e definies empregadas podem ser usadas. Durante a demonstrao til e
correto, mas de modo algum necessrio, pensar no significado dos termos; alis, se for necessrio proceder
desse modo a ineficincia da prova est clara. Se, entretanto, um teorema rigorosamente derivado de um
conjunto de proposies (os axiomas), a demonstrao tem um valor que transcende o objetivo inicial. Pois
se substituirmos os termos geomtricos nos axiomas por outros termos certos, proposies verdadeiras sero
obtidas, ento fazendo substituies anlogas nos teoremas obteremos um novo teorema sem termos que
repetir a demonstrao.
Nesta seo apresentaremos alguns modelos axiomticos que sero necessrios para o
desenvolvimetos destas notas.
Um sistema de axiomas uma coleo formada pelos termos indefinidos, axiomas e "teoremas."
Agora, apresentaremos um sistema "parcial" de axiomas como uma amostra do modelo axiomtico.
5
Observao 2.2. O sistema de axiomas S da Geometria Plana (Euclidiana):
1. Ponto e reta desempenham o mesmo papel que as variveis em equaes algbricas, por exemplo,
( x + y ) 2 = x 2 + xy + yx + y 2 ,
com x e y representando qualquer objeto (nmero, matriz, etc.) de um certo conjunto especificado.
2. Note que o axioma E1 estabelece uma relao entre os termos indefinidos ponto e reta.
3. Vamos provar, com um exemplo, que o sistema de axiomas S no adequado para a Geometria
Plana. Seja C um cidade com duas bibliotecas distintas
C = {b1 , b2 },
Em que os termos indefinidos so: livro = ponto e biblioteca = reta. Note que, o axioma E3 no
satisfeito, enquanto os outros o so.
4. Seja Z uma comunidade (um tetraedro) formada de quatro pessoas ( vrtices)
Z = {a, b, c, d }
e seis clubes (arestas)
ab, ac, ad, bc, bd e cd,
onde os termos indefinidos so:pessoa = ponto e clube = reta. Ento todos os axiomas so satisfeitos.
Teorema 2.3. Todo ponto pertence a pelo menos duas retas distintas.
Prova. Seja P um ponto qualquer. Pelo axioma E2 existe um ponto Q distinto de P. Pelo axioma E3 existe
uma e somente uma reta r contendo P e Q. Alm disso, pelo axioma E4 existe um ponto R fora de r.
Novamente, pelo axioma E3 existe uma reta s contendo P e R. Finalmente, pelo axioma E1 temos que
r s , com r s = {P} .
Prova. Pelo axioma E2 existe um ponto P e pelo Teorema 2.3 existem duas retas distintas r e s contendo P.
Agora, suponhamos, por absurdo, que exista uma reta t sem pontos. Ento, por definio, r e s so paralelas
reta t. Como P est fora de t temos, pelo axioma E5 , que existe uma e somente uma reta u contendo P e
paralela reta t, o que uma contradio.
Prova. Seja r uma reta qualquer. Pelo Corolrio 2.4, r contm um ponto P e pelo Teorema 2.3, existe uma
reta s distinta de r contendo P. Logo, existe um ponto Q tal que
(Q r e Q s) ou (Q r e Q s ).
Se Q r , o Teorema est provado. Se Q s , ento, pelo axioma E4 existe um ponto R fora de s. Assim,
temos duas possibilidades: se R r , o Teorema est provado. Se R r , ento, pelo axioma E5 existe uma
e somente uma reta t contendo R e paralela reta s.
Afirmao. r t .
De fato, se r t = , , ento a reta t paralela reta r. Logo, r e s so retas contendo P e paralelas reta t, o
6
que contradiz o axioma E5 . Seja X r t . Ento X distinto de P, pois P t . Portanto, r contm pelo
menos dois pontos P e X.
Corolrio 2.6. Toda reta fica completamente determinada por quaisquer dois de seus pontos que
sejam distintos.
Prova. Seja r uma reta qualquer. Ento, pelo Teorema 2.5, a reta r contm dois pontos distintos P e Q.
Portanto, pelo axioma E3 , a reta r completamente determinada pelos pontos P e Q.
Prova. Pelo axioma E2 existem pelo menos dois pontos distintos P e Q. Pelo axioma E3 existe uma nica
reta r contendo P e Q. Alm disso, pelo axioma E4 existe um ponto R fora de r e, pelo axioma E5 , existe
uma reta s contendo R e paralela reta r. Finalmente, pelo Teorema 2.5, s contm um ponto X distinto de R.
Portanto, existem pelo menos quatro pontos P, Q, R e X.
Prova. Pela prova do Teorema 2.7, existe uma reta r contendo P e Q; uma reta s paralela reta r contendo
pontos distintos R e S. Logo, pelo axioma E3 existem retas u e v contendo Q e S; P e R, respectivamente.
Note que, Q v , pois se Q v, ento v = r e R r , o que impossvel. De modo inteiramente anlogo,
prova-se que S v e P, R u. Novamente, pelo axioma E3 existem retas t e x contendo P e S; Q e R,
respectivamente. Observe que Q t e S x. Portanto, r, s, t, u, v e x so retas distintas.
7
Figura 7. Esboo da Prova.
Note, nas provas dos resultados acimas, que as Figuras nos ajudam a memorizar os vrios smbolos
(r , P, Q,) bem como, seus significados de maneira mais fcil. No obstante, nenhum significado especial
foi dado aos termos ponto e reta, e, consequentemente, so vlidas se substituirmos pessoas por pontos e
duas pessoas por reta. Alm disso, claro que no provamos acima todos os teoremas possveis.
Finalizaremos esta seo apresentado mais um exemplo de sistema de axiomas para definirmos um
corpo.
Exemplo 2.9. O sistema axiomas F formado por um conjunto no vazio K de objetos (estruturas
algbricas).
8
3.3 Caracterizao de um Sistema de Axiomas
Quando os termos indefinidos e os axiomas forem selecionados, como poderemos garantir que o
sistema de axiomas obtido adequado aos propsitos para que foi estabelecido? Se, por exemplo, ele foi
estabelecido para servir de base para os fundamentos da Geometria Plana, ento desejaramos saber de
alguma maneira se de fato os axiomas estabelecidos so suficientes. Outra questo que poderamos abordar,
sobre a independncia dos axiomas; algum dos axiomas pode ser provado a partir dos outros, e caso isto
ocorra, no deveramos enunci-lo como um teorema para ser depois demonstrado?
A experincia tem mostrado, entretanto, que uma questo mais fundamental a seguinte: o sistema
implica teoremas contraditrios? Se isto ocorre, ento claro que alguma coisa est errada, e teremos ento
que eliminar este defeito antes de abordarmos qualquer outro aspecto. Consideraremos portanto esta questo
em primeiro lugar.
Seja um sistema de axiomas. Diremos que consistente se ele no implicar teoremas
contraditrios. Caso contrrio, diremos que inconsistente.
Observao 3.1. Como cada axioma implicado pelo sistema, temos, em particular, que um sistema
de axiomas consistentes no pode ter axiomas contraditrios.
Seja um sistema de axiomas. Uma interpretao de uma atribuio de significados aos termos
indefinidos do sistema, de modo que os axiomas se tornem simultaneamente proposies verdadeiras para
todos os valores variveis (por exemplo, pontos e retas no sistema S).
Exemplo 3.3. O conjunto Z de quatro moedas (de vrtices de um tetraedro) uma interpretao
para o sistema S da Observao 2.2, onde moeda = ponto e par de moedas = reta (vrtice = ponto e aresta
= reta).
Exemplo 3.4. O conjunto dos nmeros reais uma interpretao para o sistema F do Exemplo
2.9.
Exemplo 3.5. Sejam p a sentena dois ngulos opostos pelo vrtice e q a sentena dois ngulos
congruentes. Ento comprove intuitivamente a tabela da sentena p q sendo verdadeira se pudermos
desenhar o diagrama dos ngulos, caso contrrio falsa.
p q pq (-p) q
V V V V
V F F F
F V F V
F F V V
Seja um sistema de axiomas. Diremos que satisfatrio se ele admitir uma interpretao.
9
Exemplo 3.6. Os sistemas de axiomas S e F da Observao 2.2 e do Exemplo 2.9, respectivamentes,
so satisfatrios.
Exemplo 3.7. Seja p a proposio hoje quarta-feira. O princpio da contradio vale, pois hoje
no pode ser ambos quarta-feira e quinta-feira. O princpio do terceiro excludo afirma p ou p sempre
verdadeira.
Exemplo 3.8. Seja A um conjunto e P(x) uma propriedade a qual significativa para cada
elemento x em A. O princpio do terceiro excludo afirma ou existe um x A tal que P(x) verdadeira ou
ao contrrio, para todo x A , P(x) falsa.
Seja um sistema de axiomas. Uma -proposio uma proposio que pode ser expressa com
base nos termos indefinidos e universais de .
II. O princpio da contradio se aplica a todas as proposies sobre um modelo de , desde que elas
sejam -proposies cujos termos tcnicos tenham os siginificados dados na interpretao.
I. Toda (,I)-proposio, tal que a correspondente -proposio implicada por , verdadeira para
M(I).
II. (,I)-proposies contraditrias no podem ser ambas verdadeiras para M(I).
Prova. Suponhamos, por absurdo, que seja inconsistente. Ento existem duas -proposies contraditrias
em . Logo, pelo princpio (I), essas proposies podem ser vistas como (,I)-proposies e so ambas
verdadeiras para M(I), o que contradiz o princpio (II). Portanto, um sistema consistente.
10
Observao 3.13. Sejam um sistema de axiomas e A1 , , An os axiomas de . Se Aj for provado
pelo sistema de axiomas Aj , ento Aj no independente. Neste caso, todo modelo que satisfaa
Aj satisfaz necessariamente Aj (prove isso!). Portanto, no podemos achar uma interpretao para
Aj , que no seja interpretao de Aj .
Soluo. Seja E6 o seguinte axioma: existe uma reta r e um ponto P fora de r tal que no existe nenhuma
reta s contendo P e paralela reta r.
Afirmao. E6 = E5 e (S - E6 ) + ( E6 ) um sistema de axiomas satisfatrio.
De fato, seja T o conjunto dos vrtices de um tringulo equiltero, onde vrtice = ponto e aresta = reta.
Ento T uma interpretao para (S - E6 ) + ( E6 ) . Portanto, (S - E6 ) + ( E6 ) um sistema de axiomas
satisfatrio e E5 independente em S.
Soluo. Sejam F13 o axioma: para cada a K {0} , no existe a 1 K tal que a a 1 = a 1 a = 1 .
Afirmao. F13 = F9 e (F - F13 ) + ( F13 ) um sistema de axiomas satisfatrio.
De fato, o conjunto dos nmeros inteiros , com as operaes usuais de adio e multiplicao, uma
interpretao para (F - F13 ) + ( F13 ) . Portanto, (F - F13 ) + ( F13 ) um sistema de axiomas satisfatrio e
F9 independente em F.
Soluo. Vamos desenvolver (a + b)i(1 + 1) de duas maneiras: Pelos axiomas F11 , F7 e F2 , obtemos
(a + b)(1 + 1) = (a + b)1 + (a + b)1 = (a + b) + (a + b) = a + (b + a) + b.
Por outro lado, pelos axiomas F12 , F7 e F2 , obtemos
(a + b)(1 + 1) = a(1 + 1) + b(1 + 1) = (a + a) + (b + b) = a + (a + b) + b.
Logo,
a + (b + a) + b = a + (a + b) + b.
Portanto, pelos axiomas F3 , F4 e F2 , obtemos
a + b = [0 + (a + b)] + 0 = ( a) + [a + (a + b) + b] + (b)
= (a ) + [a + (b + a) + b] + (b) = [0 + (b + a)] + 0 = b + a,
que o resultado desejado.
Sabemos que com o sistema axiomas S no podemos provar todos os teoremas da Geometria Plana
(Euclidiana). Na realidade vimos uma interpretao para o sistema S com apenas um nmero finito de
pontos. claro que isto no deveria ocorrer se fosse um sistema adequado para o estudo da Geometria Plana.
Agora, vamos iniciar a noo de completividade de um sistema de axiomas, com a ideia de serem os
axiomas desses sistemas suficientes para provarmos todos os teoremas, podemos afirmar que se
encontrarmos um teorema tal que, tanto ele como sua negao no podem ser provados no sistema, ento
esse teorema um candidato a um novo axioma do sistema.
Seja um sistema de axiomas. Diremos que completo se no existir uma -proposio p tal que
11
p seja um axioma independente em + p, isto , os sistemas de axiomas + p e + p sejam satisfatrios.
Observao 3.18. Seja um sistema de axiomas. Vimos que completo se for impossvel
adicionar-lhe um novo axioma independente. Neste caso os termos indefinidos devem permanecer os
mesmos.
Com a definio de isomorfismo nossa disposio, podemos determinar um mtodo que nos
permita verificar a completividade de um sistema de axiomas. Este mtodo baseia-se no seguinte conceito:
Seja um sistema de axiomas. Diremos que categrico se quaisquer dois modelos para so
isomorfos com relao a .
Prova. Suponhamos, por absurdo, que no seja completo. Ento existe uma -proposio p tal que + p e
+ (p) sejam satisfatrios. Logo, existe uma interpretao I1 para + p e I 2 para + (p),
respectivamente. Como categrico, temos que existe uma funo bijetora
: M ( I1 ) M ( I 2 )
que preserva -proposies, o que uma contradio, pois p verdadeira em M( I1 ) e falsa em M( I 2 ).
Vimos, nesta unidade, que o mtodo axiomtico possui as seguintes vantagens: primeiro a
economia que obtemos quando um sistema de axiomas possui muitos modelos em diferentes ramos da
matemtica; pois um nico teorema em fornece um teorema em cada intepretao; sem que seja necessrio
uma prova especial uma vez que o teorema foi provado no sistema . Outra grande vantagem do mtodo
axiomtico que merece especial ateno o carter de definio implcita. Embora a origem e o
desenvolvimento matemtico podem ocorrer por linhas inteiramente diversas, uma vez o conceito
estabelecido, a sua caracterizao axiomtica extremamente vantajosa. Por exemplo, o desenvolvimento do
sistema de nmeros reais, que forma os fundamentos da moderna Anlise, evoluiu vagarosamente durante
muitos sculos.
Atualmente, como veremos neste texto, podemos dar uma definio axiomtica precisa e estudarmos
suas propriedades atravs de teoremas baseados nos axiomas. Muitos outros conceitos matemticos se
desenvolveram de modo anlogo.
No Moodle
Pois . Voc precisa visitar o espao reservado disciplina Fundamento da Matemtica na plataforma
MOODLE - Modular Object-Oriented Dynamic Learning Environment, onde ter a oportunidade de
revisar, testar e enriquecer seus conhecimentos. Lembre-se de que somos parceiros nos estudos e,
portanto, eu no pretendo seguir adiante sem que voc me acompanhe. Aguardo voc no MOODLE!
12
Unidade II Conjuntos
1. Situando a Temtica
A teoria avanada dos conjuntos foi desenvolvida por volta do ano 1872 por Cantor (Georg
Cantor, 1845-1918, matemtico alemo) e aperfeioada no incio do sculo XX por outros
matemticos, entre eles, Zermelo (Ernst Zermelo, 1871-1956, matemtico alemo), Skolem (Thoralf
Albert Skolem, 1887-1963, matemtico noruegus), Fraenkel (Adolf Fraenkel, 1891-1965, matemtico
alemo), Gdel (Kurt Gdel, 1906-1978, matemtico austraco), von Neumann (John von Neumann,
1903-1957, matemtico hngaro), entre outros.
O que se estuda deste assunto no ensino fundamental, to somente uma introduo
elementar teoria dos conjuntos, base para o desenvolvimento de temas futuros, a exemplo de
relaes, funes, anlise combinatria, probabilidades, etc.
Nesta unidade vamos nos dedicar ao estudo dos conjuntos via mtodo axiomtico.
2. Problematizando a Temtica
(...) por conjunto nada mais do que um objeto do qual se sabe no mais e quer-se saber no mais
do que aquilo que se segue dos postulados.
J. von Neumann (1928).
Esta e outras afirmaes sobre definies de conjuntos vo ser contornadas via mtodo axiomtico,
em que conjunto um termo indefinido.
3. Conhecendo a Temtica
importante observar que o matemtico usa a palavra definio em um sentido diferente daquele
do dicionrio, ou seja, quando um matemtico d uma definio, pretende-se que no ser um mero
sinnimo que o leitor possa saber o significado, mas um critrio para identificao; uma caracterizao da
coisa definida.
Um paradoxo ou antinomia uma contradio entre duas proposies ou princpios. Tomando
uma abordagem informal ou ingnua que qualquer coleo de objetos um conjunto, podem ocorrer os
seguintes fatos:
13
Ento:
1. R R .
2. R R .
Soluo. (1) R R impossvel, pois se R R , ento, por definio, R R , o que uma contradio. (2)
R R impossvel, pois se R R , ento, por definio, R R , o que uma contradio. Portanto,
RR RR ,
o que contradiz o princpio do terceiro excludo.
Soluo. Suponhamos que as palavras da lngua portuguesa estejam catalogadas em um dicionrio. Ento T
finito, pois um dicionrio contm apenas um nmero finito de palavras e o nmero de frases envolvendo
menos de vinte palavras finito. Assim, existem inteiros positivos que so maiores do que todos os outros
inteiros positivos de T. Portanto, existe um menor inteiro positivo x0 que maior do que todos os inteiros
positivos de T. Ento x0 T . Por outro lado, como x0 = menor inteiro positivo que no pode ser
descrito por uma frase com menos de vinte palavras da lngua portuguesa (19 palavras) temos que
x0 T , o que contradiz o princpio do terceiro excludo.
Com o surgimento dos paradoxos houve muita controvrsia por parte dos matemticos da poca.
Mas, com o trabalho de Dedekind (Julius Wilhelm Richard Dedekind, 1831-1916, matemtico alemo) em
1888 mostrando que os nossos nmeros naturais podem ser construdos por meio da teoria elementar dos
conjuntos:
0 = , 1 = {}, 2 = {,{}}, ,
a teoria passou a ser aceita.
Enunciaram-se, em 1905, vrias correntes para contornar os paradoxos, as quais podemos classificar
em trs grupos: Axiomtico, Logicista e Intuicionista.
A primeira axiomatizao da Teoria dos Conjuntos foi dada por Zermelo em 1908, com certas
modificaes em 1922 devidas a Skolem e Fraenkel. No sistema de axiomas ZF os termos indefinidos e
relaes indefinidas so: Conjunto e Pertinncia.
3.2 Conjuntos
Embora a ideia intuitiva de conjunto dada, no curso de Matemtica Elementar, seja suficiente para
os nossos propsitos, uma exposio geral da Teoria dos Conjuntos requer mais preciso, pois a no
axiomatizao da Teoria dos Conjuntos nos leva a vrias contradies. Sendo assim, nesta seo iniciaremos
o estudo formal da Teoria dos Conjuntos segundo Zermelo-Fraenkel.
Intuitivamente um conjunto uma coleo de objetos A tal que dado qualquer objeto X possvel
determinar se X A ou se X A .
As letras a,b,c, sero usadas somente para indicar elementos e A, B, C, elementos ou conjuntos.
Assim, se x um conjunto e existe um conjunto A tal que x A , diremos que x um elemento. Alm disso,
uma sentena do tipo
x y z : p ( x, y , z ) .
L-se para cada x existe um y tal que, para cada z, p(x,y,z) verdadeira, sua negao
x y z : p ( x, y , z ) .
L-se existe um x para cada y tal que, existe z, p(x,y,z) falsa. Note que na negao mantivemos a ordem
das variveis.
14
Sejam A e B dois conjuntos. Diremos que A e B so iguais se, e somente se, eles tm os mesmos
elementos. Em smbolos,
A = B x [ x A x B e x B x A] .
Esta definio implica a seguinte propriedade:
[ x A e A = B] x B .
Essa propriedade nosso primeiro axioma.
ZF2 - Axioma da construo de conjuntos. Seja P(x) uma propriedade ou uma afirmao com relao a
x, a qual pode ser expressa inteiramente em termos dos smbolos
, , , , , , , colchetes e variveis livres x, y, z, A, B, C ,
Ento existe um conjunto C que consiste de todos os elementos x que satisfazem P(x) e denotaremos por
C = {x : P( x)}
e l-se: o conjunto de todos os elementos x que satisfazem a propriedade P(x).
Observao 2.2.
1. O axioma ZF2 tambm conhecido como Axioma da separao, Axioma da compreenso, ou ainda,
Axioma de especificao. Esse axioma na verdade uma famlia de axiomas, pois para cada
propriedade P(x) temos um axioma.
2. Note que o axioma ZF1 , garante que o conjunto C unicamente determinado, pois se D o conjunto de
todos os elementos x que satisfazem P(x), ento qualquer elemento de C um elemento de D e vice-
versa. Portanto, C = D .
3. Em geral, a propriedade P(x) uma frmula.
15
4. O axioma ZF2 nos permite formar o conjunto de todos os elementos x que satisfazem P(x), mas no
o conjunto de todas os conjuntos x que satisfazem P(x). Assim, eliminamos todos os paradoxos
lgicos.
5. O axioma ZF2 admite somente as afirmaes P(x) que podem ser escritas inteiramente em forma de
smbolos
, , , , , , , colchetes e variveis livres x, y, z, A, B, C ,
Assim, eliminamos todos os paradoxos semnticos.
16
Prova. Vamos provar apenas uma afirmao do item (6).
x [ x ( A B) x ( A B) x A ou x B x A e x B x ( A B )] ,
que o resultado desejado.
Observao 3.1
1. O axioma ZF3 equivalente a: dados dois conjuntos quaisquer existe um conjunto ao qual eles
pertencem. Mais precisamente, dados dois conjuntos quaisq uer A e B, existe um conjunto C tal que
x [ x C x = A ou x = B]
2. claro que {a, a} = {a} . Assim, fazendo a = b no axioma ZF3 , obtemos se a um elemento, ento
{a} um elemento, ou seja, existem conjuntos unitrios. Em particular, e {} so conjuntos
distintos. Neste caso, existe uma infinidade de conjuntos.
3. Note que a A se, e somente se, {a} A .
4. Se A um conjunto, ento
{x : x A} = A .
Observao 3.3. (b, a) = {{b},{b, a}} = {{b},{a, b}} . Neste caso, fica clara a distino entre os
pares ordenados (a, b) e (b, a ) .
17
[{a} = {c} e {a, b} = {c, d }] ou [{a} = {c, d } e {a, b} = {c}] .
Se {a} = {c} e {a, b} = {c, d } , ento a = c e, pelo Teorema 3.2, [a = c e b = d ] ou [a = d e b = c] .
Assim, a = c e b = d ou b = c = a = d . Se {a} = {c, d } e {a, b} = {c} , ento a = c = d , pois
c, d {c, d } . Por outro lado, b = c , pois b {a, b} . Portanto, a = b = c = d .
18
chama-se famlia de conjuntos (indexada), e I chama-se conjunto de ndices para a famlia. Observe que
qualquer conjunto C cujos elementos so conjuntos pode ser convertido para uma famlia de conjuntos pelo
autondice, ou seja, usaremos o conjunto C ele prprio como conjunto de ndices e associaremos a cada
elemento do conjunto o conjunto que o representa. Em smbolos,
{ A}AC = { A : A C} .
Note que a famlia de conjuntos
{1, 2},{3, 4},{5, 6}, ,{2n 1, 2n},
pode ser considerada como uma famlia de conjuntos indexada pelo conjunto dos nmeros naturais N , em
que A n = {2n 1, 2n} , para todo n N . Portanto,
{ A n }nN = { A n : n N}
Seja { A i }iI uma famlia de conjuntos. A unio dos conjuntos A i o conjunto de todos os
elementos que pertencem a pelo menos um conjunto A i da famlia. Em smbolos,
iI
A i = {x : i I , com x A i } ,
ou ainda,
iI
A i = {x : x A i , para algum i I } .
A interseo dos conjuntos A i o conjunto de todos os elementos que pertencem a todas os conjuntos A i
da famlia. Em smbolos,
iI
A i = {x : i I , x A i } ,
ou ainda,
iI
A i = {x : x A i , para todo i I } .
Observao 3.9. Sejam A e B dois conjuntos. J vimos, no item (3) do Teorema 2.5, que
A B A . Portanto, pelo axioma ZF4 , A B um conjunto.
Observao 3.10. Sejam A e B dois conjuntos. Ento, pelo axioma ZF3 , { A, B} um conjunto.
Assim, por definio,
X { A, B}
X = {x : x X , para algum X { A, B}} = A B .
Portanto, pelo axioma ZF5 , A B um conjunto.
Exemplo 3.11. Seja G um grfico. Mostre que se G um conjunto, ento Dom(G ) e Im(G ) so
conjuntos.
19
Soluo. Primeiro note que a, b (a, b) . Seja
x Dom(G ) . Ento existe y tal que ( x, y ) G . Logo,
( x, y ) G , pois os elementos de G so conjuntos. Em particular, {x} G . De modo inteiramente
anlogo, x (G ) . Portanto, Dom(G ) (G ) , ou seja, Dom(G ) um conjunto.
Prova. Note, pelos axiomas ZF5 e ZF6 , que P( A B ) um conjunto. Novamente, pelo axioma ZF6 ,
P(P( A B)) um conjunto.
Afirmao. A B P(P( A B)) . Portanto, pelo axioma ZF4 , A B um conjunto.
De fato, seja ( x, y ) A B . Ento x A B e y A B . Logo, {x} A B e {x, y} A B .
Assim, {x},{x, y} P( A B) . Portanto,
{{x},{x, y}} P(P( A B)) ( x, y ) P(P( A B)) ,
ou seja, A B P(P( A B )) .
3.4 Funes
O conceito de funo um dos mais bsicos em toda a Matemtica. Assim, nesta seo, vamos
apresentar formalmente o conceito de funo via grfico.
Sejam A e B dois conjuntos. Uma funo de A em B um subconjunto f de A B que satisfaz s
seguintes condies:
20
Observao 4.1. Cada x A possui uma imagem unicamente determinada por y B . Alm disso,
a condio F2 afirma que a funo f est bem definida, ou seja, elementos iguais possuem imagens iguais.
Teorema 4.2. Sejam A e B dois conjuntos e f um grfico. Ento f : A B uma funo se, e
somente se,
1. A condio F2 est satisfeita.
2. Dom( f ) = A .
3. Im( f ) B .
Prova. Suponhamos que f : A B seja uma funo. Ento, por definio, F2 est satisfeita. Alm disso,
x [ x Dom( f ) y tal que ( x, y ) f ( x, y ) A B x A] .
Por outro lado,
x [ x A y B tal que ( x, y ) f x Dom( f )] .
Logo, Dom( f ) = A . Finalmente,
y [ y Im( f ) x tal que ( x, y ) f ( x, y ) A B y B] .
Assim, Im( f ) B .
Reciprocamente,
( x, y ) [( x, y ) f x Dom( f ) e y Im( f ) x A e y B ( x, y ) A B] .
Portanto, f A B . Agora, dado x Dom( f ) = A , existe y tal que ( x, y ) f . Como y Im( f ) B
temos que y B . Portanto, a condio F1 est satisfeita, ou seja, f : A B uma funo.
Corolrio 4.3. Seja f : A B uma funo e C um conjunto qualquer tal que Im( f ) C .Ento
f : A C uma funo.
Prova. Suponhamos que f : A B seja uma funo. Ento a condio F2 est satisfeita e Dom( f ) = A .
Alm disso, Im( f ) C implica que f : A C uma funo.
Prova. Vamos provar apenas o item (1). Primeiro lembramos que: para cada X A e Y B , obtemos
f ( X ) = { y : y = f ( x), para algum x X } B
e
f 1 (Y ) = {x : f ( x) Y } A .
Assim,
21
X [ X Dom( F ) Y tal que ( X , Y ) P( A) P( B) X P( A)] .
Por outro lado,
X [ X P( A) Y = F ( X ) = f ( X ) B tal que ( X , Y ) F X Dom( F )]
Logo, Dom( F ) = P( A). claro que Im( F ) P( B ) . Finalmente,
( X , Y1 ) F e ( X , Y2 ) F Y1 = Y2 ,
pois
y [ y Y1 = f ( X ) x X tal que y = f ( x) y Y2 = f ( X )] .
Portanto, F : P( A) P( B ) uma funo.
iI
A i = { f : f uma funo de I em A, onde f (i ) A i , i I }
conveniente representar os elementos f do produto cartesiano por f = {a i }iI ou f = (a i )iI , em que
a i = f (i ) , para todo i I . Note que se A = A i , para todo i I , ento iI
A i simplesmente o
conjunto de todas as funes com domnio I e contradomnio A.
iI
Ai = ,
pois no existe funo f : I A tal que f ( j ) A j = .
iI
A i = { f : f uma funo de {1,2} em {a, b, c, d }, onde f (1) A 1 e f (2) A 2 } .
Logo,
Se
f = {a i }iI iI A i ,
diremos que A i a i-sima componente do produto cartesiano iI
A i e a i A i a i-sima
coordenada da famlia.
Seja A = iI
A i . Para cada j I fixado, definimos uma funo p j de A em A j por
p j ( f ) = p j ({a i }iI ) = a j , f = {a i }iI A .
A funo p j chama-se j-sima projeo de A sobre A j . Em particular, se cada A i , ento cada p j
uma funo sobrejetora.
22
Teorema 4.7 (Existncia do Produto Cartesiano). Seja { A i }iI uma famlia de conjuntos. Ento
existe um conjunto P e uma famlia de funes { p i : A A i }iI com a seguinte propriedade universal:
dados qualquer conjunto C e qualquer famlia de funes {g i : C A i }iI , existe uma nica funo
f : C P tal que p i f = g i , para todo i I . Alm disso, P unicamente determinado, a menos de
bijeo.
23
Teorema 4.8. Se A um conjunto, ento existe uma correspondncia biunvoca entre P( A) e 2 A .
Portanto, 2 A um conjunto. Confira o axioma ZF7 .
Prova. Consideremos a funo F : P( A) 2 A definida por F ( B ) = B . Note que F est bem definida,
pois dados B, C P( A) ,
B = C B = C F ( B) = F (C ) .
A funo F injetora, pois dados B, C P( A) ,
F ( B) = F (C ) B = C {x A : B ( x) = 0} = {x A : C ( x) = 0} B = C .
Finalmente, a funo F sobrejetora, pois dado f 2 A , existe
B = f 1 (0) = {x A : f ( x) = 0} P( A)
tal que f = B = F ( B ) .
Note que se B um conjunto qualquer e se todo elemento de B for substitudo por um objeto de um
domnio qualquer A, ento B continua sendo um conjunto ou, equivalentemente, se alguma regra f, quando
aplicada ao conjunto A, tem a cara de uma funo, ento existe um conjunto f ( x) . Mais precisamente
temos o seguinte axioma.
ZF7 - Axioma da substituio. Seja P ( x, y ) a seguinte afirmao: para qualquer x existe um nico y tal
que P ( x, y ) verdadeira. Ento para qualquer conjunto A, existe um conjunto B tal que, para qualquer
x A , existe y B para que P ( x, y ) seja verdadeira.
Observao 4.9.
1. O axioma ZF7 equivalente a: para qualquer conjunto A, existe uma funo f tal que Dom( f ) = A e
y = f ( x) , para todo x A , ou seja, a partir de um conjunto velho criamos um conjunto novo f ( A) .
Note que
f ( x) = { y B : P ( x, y ) verdadeira} .
2. Se { A i }iI uma famlia de conjuntos, ento a funo f : I { A i }iI definida por f (i ) = A i
claramente sobrejetora. Logo, pelo axioma ZF7 , { A i }iI um conjunto. Portanto, pelo axioma ZF6 ,
A = iI A i um conjunto.
3. Se I e A so dois conjuntos e f : I A uma funo, ento, pelo axioma ZF4 , f um conjunto, pois f
um subconjunto de I A . Isto prova que nossa definio de funo legtima.
Teorema 4.10. Seja { A i }iI uma famlia de conjuntos. Ento o produto cartesiano
P = iI A i
um conjunto.
Vimos nesta unidade que o enfoque axiomtico da Teoria dos Conjuntos tem como objetivo
contornar os paradoxos. Introduzimos os elementos bsicos da Teoria dos Conjuntos atravs dos sete
primeiros axiomas. Alm disso, definimos as operaes com conjuntos: unio, interseo, complementar,
diferena, grficos, famlias, produto cartesiano e algumas propriedades algbricas.
24
No Moodle
25
Unidade III Conjuntos Parcialmente Ordenados
1. Situando a Temtica
Com os conhecimentos dos axiomas bsicos da Teoria dos Conjuntos estudaremos os problemas de
aplicaes ordinrias de matemtica tais como: relao de ordem, conjuntos parcialmente ordenados,
elementos maximais e minimais, maior e menor elemento, supremo e nfimo de um conjunto. Alm disso,
estudaremos reticulados e conjuntos bem ordenados.
J vimos que a ideia intuitiva de uma coleo ordenada de elementos era significativa para
qualquer coleo A quando A era um conjunto. Nesta unidade, porm, estaremos interessados nos conceitos
formais de conjuntos parcialmente ordenados e suas consequncias.
2. Problematizando a Temtica
Da mesma forma que o conjunto de todos os nmeros reais R o modelo para todos os conceitos
nos cursos de Anlise Real, o conceito de conjuntos parcialmente ordenados pode ser utilizado como
eficiente ferramenta de modelagem em diversas situaes-problema, principalmente aquelas que possuem
como objetivo a limitao de determinados conjuntos. Vejamos um exemplo de uma situao dessa natureza.
Mostraremos a Lei Arquimediana (Archimedes de Syracuse, 287 a. C.-212 a. C., matemtico, fsico,
engenheiro, inventor e astrnomo grego):
Supondo que o conjunto de todos os nmeros reais R , com a ordem usual, seja completo,
mostraremos que dados a, b R , com a > 0 , existe n Z tal que na > b .
Em bem pouco tempo estaremos aptos a efetuar os clculos necessrios obteno da resposta a essa
questo.
3. Conhecendo a Temtica
3.1 Ordem
Seja A um conjunto. Diremos que uma relao sobre A uma pr-ordem se as seguintes
condies so satisfeitas:
1. x x , para todo x A . (reflexividade)
2. Se x y e y z , ento x z , para todos x, y, z A . (transitividade)
Se uma pr-ordem sobre A satisfaz a condio:
3. Se x y e y x , ento x = y , (antissimtrica)
diremos que uma ordem (parcial) sobre A.
Se uma pr-ordem sobre A satisfaz a condio:
4. x y ou y x , para todos x, y A , (x e y so comparveis)
diremos que uma ordem total (ordem linear) sobre A.
Notaes:
y x significa que x y .
x < y significa que x y e x y .
y > x significa que x < y .
A notao x y l-se x menor do que ou igual a y ou x precede y.
Exemplo 1.1. Seja Q o conjunto de todos os nmeros racionais. Dados r , s Q , diremos que r
divide s em Q se existir n Z tal que s = nr . Para r , s Q , definimos
r s , se e somente se, r divide s.
Ento uma pr-ordem sobre Q , mas no uma ordem, pois r r e r r , com r r .
26
Um conjunto parcialmente ordenado (poset partially ordered set) um conjunto A munido de
uma ordem , em smbolos, o par ordenado ( A, ) .
Sejam A um poset e B um subconjunto de A. Ento A induz uma ordem parcial sobre B do seguinte
modo:
x, y B [ x y x y sobre A] .
Ou, equivalentemente, se R uma ordem sobre A, ento
R0 = R ( B B )
uma ordem sobre B. Neste caso, diremos que R0 a ordem induzida por R.
Sejam A um poset e B um subconjunto de A. Diremos que B um subconjunto totalmente
ordenado ou uma cadeia de A se a ordem induzida por A for total. Em particular, se quaisquer dois
elementos de A so comparveis, isto , x y ou y x , para todos x, y A , diremos que A um
conjunto totalmente ordenado ou ordenado linearmente. Assim, um conjunto A totalmente ordenado se
uma e apenas uma das condies ocorre:
x, y A [ x < y , x = y ou x > y ] (Lei da Tricotomia).
Observao 1.2. O conjunto de todos os nmeros reais R , com a ordem usual, totalmente
ordenado. Consequentemente, os subconjuntos N , Z e Q , com a ordem induzida, so totalmente
ordenados. Em particular, se N munido com a ordem r divide s em N , ento o conjunto
C = {2 0 , 2 1 , 2 2 ,}
uma cadeia de N (prove isto!).
Soluo. Para provar que uma ordem, confira o Teorema 2.1 da Unidade II. Finalmente, se
X = {x} P( A) e Y = { y} P( A) , com x y , ento X e Y no so comparveis.
27
x P , pois b < a . Assim, x Q , pois x < b e x P . Portanto, S b Q .
Exemplo 1.5. Sejam A = {a, b, c, d , e, f } e B = {1, 2,3, 4,5, 6} dois conjuntos ordenados, pelos
diagramas de Hasse, confira Figura 10. Ento:
1. Os subconjuntos {a, b, c} e {a, b, e, f } so cadeias de A, pois quaisquer dois elementos so
comparveis, enquanto o subconjunto {1, 2,3, 4, 6} no uma cadeia de B, por exemplo, 2 e 3 no so
comparveis.
2. Note que S e = {a, b, d } um segmento inicial de A. Enquanto, S 5 = {1} um segmento inicial de B.
3. Se E = {a, b, c} e D = {d , e, f } , ento (E, D) um corte de A.
Exemplo 1.6 (Poset Coroa). Seja A = {1, 2, , 2n} , com n > 1 , um conjunto. Dado a A ,
definimos
a a + n e a + 1 a + n, a {1, 2, , n 1}, n 2n e 1 2n .
Mostre que A um poset, mas no totalmente ordenado. Confira diagrama de Hasse dado pela Figura 11,
com n = 5 :
28
3.2 Isomorfismos
importante lembrar que todos os resultados sobre funes vistos no curso de Matemtica
Elementar podem ser usados em tudo que segue.
Sejam A, B dois posets e f : A B uma funo. Diremos que f crescente ou preserva ordem se
x, y A [ x y f ( x) f ( y )] .
Diremos que f estritamente crescente se
x, y A [ x < y f ( x) < f ( y )] .
Diremos que f um isomorfismo se f for bijetora e crescente:
x, y A [ x y f ( x) f ( y )] .
Exemplo 2.1. Seja R o conjunto de todos os nmeros reais com a ordem usual. Ento:
1. A funo f : R R definida por f ( x) = 3 x + 4 um isomorfismo, pois f claramente bijetora e
x, y R [ x y 3x 3 y 3x + 4 3 y + 4 f ( x) f ( y )] ,
ou seja, f preserva ordem.
2. A funo f : R R definida por f ( x) = 3 x + 4 no um isomorfismo, pois f claramente bijetora,
mas
x, y R [ x y 3x 3 y 3x + 4 3 y + 4 f ( x) f ( y )] ,
ou seja, f no preserva ordem.
Teorema 2.3. Sejam A, B dois posets e f : A B uma funo bijetora. Ento f um isomorfismo
1
se, e somente se, f e f so funes crescentes.
29
Prova. Vamos provar apenas o item (3). fcill verificar que g f uma funo bijetora.
x, y A [ x y f ( x) f ( y ) g ( f ( x)) g ( f ( y )) ( g f )( x) ( g f )( y )] .
Portanto, g f um isomorfismo.
Exemplo 2.5. O conjunto de todos os nmeros reais R , com a ordem usual, e o intervalo aberto
I =] 1,1 [ , com a ordem induzida de R , so isomorfos.
1
Soluo. fcil verificar que as funes f : I R e f : R I definidas por
x x
f ( x) = e f 1 ( x) =
1 x 1+ x
so crescentes. Portanto, pelo Teorema 2.3, R e I so isomorfos.
Exemplo 3.1. Seja A = {2,3, 4,5, 7,8,9,12,15,16, 24} um conjunto ordenado pelo diagrama de
Hasse (confira Figura 12). Ento 7, 9, 15, 16 e 24 so elementos maximais, enquanto 2, 3, 5 e 7 so
elementos minimais.
30
Exemplo 3.2. Sejam A um conjunto no vazio e B = P( A) {, A} ordenado pela incluo. Ento
os elementos minimais de B so os subconjuntos unitrios, enquanto os elementos maximais de B so os
subconjuntos A {a} , para todo a A . Quando A = {a, b, c} , por meio do diagrama de Hasse, verifique o
resultado.
Exemplo 3.3. O conjunto A do Exemplo 3.1 no tem maior e nem menor elemento.
Exemplo 3.4. Seja A = {2,3, 4,5, , n,} , ordenado por x divide y em A. Ento A no tem menor
elemento, pois 2 no divide 3, mas tem infinitos elementos minimais, a saber, os nmeros primos. Note que A
no tem maior elemento e nem elementos maximais.
Observao 3.5.
1. Note que cada elemento b B uma cota superior de s ( B) , pois x b , para todo x s ( B ) .
Analogamente, cada elemento c B uma cota inferior de S ( B ) , pois c x , para todo x S ( B)
2. importante notar a diferena entre menor (maior) elemento de B e cota inferior (superior) de B, pois
o primeiro deve pertencer a B, enquanto o segundo no necessita pertencer a B.
Exemplo 3.6. Sejam A o conjunto do Exemplo 3.1 e B = {2,3, 4,8,12} um subconjunto de A. Ento
S ( B) = {16, 24} , mas sup( B ) no existe em A. Agora, sejam C = {2,3, 4,8,12,16} e
D = {2,3, 4,8,12, 24} subconjuntos de A. Ento sup C ( B) = {16} e sup D ( B) = {24} . Portanto, o supremo
(nfimo) depende do conjunto.
31
Exemplo 3.7. Sejam P( A) o conjunto das partes de A, ordenado pela incluso, B = {B i }iI um
subconjunto de P( A) . Mostre que sup( B) = iI
B i e inf( B) = iI B i .
Seja A um poset. Se R uma ordem sobre A, ento fcil verificar que R 1 tambm uma ordem
sobre A, a qual chamada de ordem inversa. Neste caso, existe um isomorfismo entre o conjunto de todas
as ordens R sobre A e o conjunto de todas as ordens inversas R 1 sobre A.
Se intercalarmos e ; R e R 1 ; A e , etc., em qualquer afirmao sobre conjuntos, a nova
afirmao chamada de dual da original. Este conceito de dualidade de grande importncia ecnomica na
prova dos teoremas, pois provando um teorema sabemos que o dual do teorema tambm verdadeiro.
Prova. Dado x B , obtemos y x , para todo y s ( B) . Portanto, por definio, x S ( s ( B)) , ou seja,
B S ( s( B)) .
Prova. Pondo a = sup( s ( B)) em A. Seja b B . Ento x b , para todo x s ( B) . Logo, b uma cota
superior de s ( B) . Assim, por definio, a b . Portanto, a uma cota inferior de B, pois b arbitrrio. Por
outro lado, se d qualquer cota inferior de B, ento d s ( B) e d a , pois a = sup( s ( B)) . Portanto,
a = inf( B) .
Prova. (1 2) Seja B uma subconjunto no vazio de A que seja limitado inferiormente. Ento s ( B) .
32
Como cada elemento de B uma cota superior de s ( B) temos que s ( B) limitado superiormente. Assim,
por hiptese, s ( B) possui um supremo em A. Portanto, pelo Lema 3.10, B possui um nfimo em A.
A recproca a afirmao dual.
Exemplo 3.12 (Lei Arquimediana). Suponhamos que o conjunto de todos os nmeros reais R ,
com a ordem usual, seja completo. Mostre que dados a, b R , com a > 0 , existe n Z tal que na > b .
Seja A um poset. Diremos que A um reticulado se sup{a, b} e inf{a, b} existem, para todos
a, b A . Quando lidamos com reticulados conveniente escrevermos sup{a, b} = a b e
inf{a, b} = a b .
Exemplo 3.14. Seja P( A) o conjunto das partes de A, ordenado pela incluso. Mostre que P( A)
um reticulado.
Prova. Vamos provar apenas o item (3). Se a c e b c , ento c S ({a, b}) . Logo, a b c , pois
a b a menor das cotas superiores do conjunto {a, b} .
33
(a b) a (b c) e c (b c) a (b c)
Assim, (a b) c a (b c) . Por um argumento simtrico, prova-se que a (b c) (a b) c .
(4) Devemos provar que a = inf{a, a b} . claro que a uma cota inferior de {a, a b} , pois
a a b . Por outro lado, seja c qualquer cota inferior de {a, a b} . Ento c a . Assim, a a maior das
cotas inferiores de {a, a b} . Portanto, (a b) a = a .
Soluo. Antes de provarmos o exemplo vamos lembrar a definio de relao de equivalncia sobre A.
Diremos que uma relao sobre A uma relao de equivalncia se as seguintes condies so
satisfeitas:
1. x x , para todo x A . (reflexividade)
2. Se x y , ento y x , para todos x, y A . (simetria)
34
3. Se x y e y z , ento x z , para todos x, y, z A . (transitividade)
claro que
I A = {( x, x) : x A} , ou seja, x y x = y ,
o menor elemento de R e A A o maior elemento de R. Alm disso, se
R 1 = {R i }iI
um subconjunto qualquer de R, ento
iI
R i R e inf( R 1 ) = iI R i .
Portanto, R um reticulado completo.
Observao 4.1.
1. Todo CBO A totalmente ordenado.
2. Todo CBO A um reticulado completo.
Exemplo 4.2. Se A um CBO, ento qualquer elemento de A, exceto o maior elemento, se existir,
possui um sucessor imediato.
Exemplo 4.3. O conjunto de todos os nmeros naturais N , com a ordem usual, um CBO.
Enquanto, os conjuntos Z , Q e R , com a ordem usual, no so CBO, pois nenhum deles possui menor
elemento.
35
Exemplo 4.5. Seja R o conjunto de todos os nmeros reais , com a ordem usual. Mostre que dados
a, b R , com a < b , existe r Q tal que a < r < b . Neste caso, diremos que Q denso em R .
Soluo. Como b a > 0 temos, pelo Exemplo 3.12, que existe n N tal que
1
n(a b) > 1 ou < a b.
n
Consideremos o conjunto
S = {k N : na < k} .
Novamente, pelo Exemplo 3.12, S . Logo, S contm um menor elemento, digamos m S , pois N
um CBO. Assim,
m 1
na < m a .
n
Portanto,
m m 1 1
r= = + < a + (b a ) = b ,
n n n
ou seja, existe r Q tal que a < r < b .
Observao 4.6. Qualquer nmero real o supremo de algum conjunto de nmeros racionais. De
fato, dado a R . Consideremos o segmento inicial
m m
S a = Q : < a .
n n
Ento, pelo Exemplo 4.5, fcil verificar que a = sup( S a ) .
Exemplo 4.7. Seja A = R o conjunto de todos os nmeros reais, com a ordem usual. Ento, para um
a A fixado, o conjunto
B = {x A : x < a}
uma seo de A.
Teorema 4.8. Seja A um CBO. Ento B uma seo de A se, e somente se, B = A ou B um
segmento inicial de A.
Prova. Suponhamos que B seja uma seo de A. Se B = A , nada h para ser provado. Se B A , ento
A B . Logo, por hiptese, A B contm um menor elemento, digamos m A B .
Afirmao. B = S m .
De fato, se x S m , ento x < m . Logo, x A B , isto , x B . Portanto, S m B . Por outro lado,
dado x B , devemos provar que x < m . Se x m , ento m B . Assim,
m B ( A B) = ,
o que impossvel. Portanto, x < m e B S m , ou seja, B = S m .
A recproca clara.
Exemplo 4.9. Seja A = {3, 4,8,10} , com a ordem induzida por N , ento S 3 = , {3} , {3, 4} ,
{3, 4,8} e A so todas as sees de A.
Sejam N o conjunto de todos os nmeros naturais, com a ordem usual, e E = {2, 4, 6,8,} o
conjunto de todos os nmeros naturais pares, com a ordem induzida de N . Ento a funo f : N E
definida por f ( x) = 2 x claramente um isomorfismo. Alm disso, ela satisfaz a propriedade:
36
x N [ x f ( x)] .
Mais geralmente, temos o seguinte resultado.
Prova. Seja
S = {x A : x > f ( x)} .
Suponhamos, por absurdo, que S . Ento, por hiptese, S contm um menor elemento, digamos m S .
Em particular, f (m) < m . Logo,
f ( f (m)) < f (m) < m .
Assim, f (m) S , o que contradiz a minimalidade de m. Portanto, S = .
Prova. Suponhamos, por absurdo, que exista uma isomorfismo f : A B , em que B S a , para algum
a A . Ento, pelo Lema 4.10, x f ( x) , para todo x A . Em particular,
a f (a) f (a) S a ,
o que uma contradio, pois. f (a ) B S a .
Prova. Como a b temos, por hiptese, que a < b ou a > b . Assim, basta considerar o caso a < b .
Logo, S a uma seo de S b , pois para um x S b fixado,
yS a e x y x a xS a .
Assim, pelo Teorema 4.6, S a uma seo de um segmento inicial de S b e, pelo Corolrio 4.12, S a no
isomorfo a S b .
37
Lema 4.16. Sejam A e B dois CBO tais que cada segmento inicial S a de A isomorfo a um
segmento inicial S b de B. Ento cada segmento inicial de S a isomorfo a um segmento inicial de S b , ou
seja,
xaSx S y , em que y b .
Alm disso, se f : S a S b um isomorfismo, ento g = f S
: S x S y um isomorfismo, com
x
S y = f (S x ) .
Prova. Seja y = f ( x) . Ento fcil verificar que g injetora e crescente. Logo, S x f ( S x ) . Por outro
lado, como f um isomorfismo, obtemos
x<y f ( x) < y e a S x a < x f (a) < y f (a) S y .
Portanto, f ( S x ) = S y , isto , S x Sy.
Lema 4.17. Sejam A, B dois CBO e C o conjunto de todos os elementos x em A tal que S x Sy,
para algum y B . Ento C uma seo de A.
Lema 4.18. Sejam A, B dois CBO, C o conjunto de todos os elementos x em A tal que S x Sy,
para algum y B e D o conjunto de todos os elementos y em B tal que S y S x , para algum x A . Ento
C D.
Prova. Dado x C , pelo Lema 4.15, existe um nico y B tal que S x S y e vice versa. Vamos definir
f : C D por y = f ( x) . claro pela definio que f bijetora. Dados x 1 , x 2 C , suponhamos que
x 1 x 2 , em que y 1 = f ( x 1 ) e y 2 = f ( x 2 ) . Ento devemos provar que y 1 y 2 . Logo, por definio,
S x1 S y1 e S x 2 S y 2 . Suponhamos, por absurdo, que y 2 < y 1 . Ento S y 2 um segmento inicial de
S y 1 . Como S x 1 S x 2 temos as seguintes possibilidades:
1.a Possibilidade. S x 2 S y 2 isomorfo a um segmento inicial de S y 1 .
2.a Possibilidade. S y 1 S x 1 isomorfo a um segmento inicial de S x 2 ,
o que impossvel, pelo Lema 4.13.
Teorema 4.19. Sejam A e B dois CBO. Ento exatamente uma e apenas uma das afirmaes a
seguir pode ocorrer:
1. A B .
2. A isomorfo a um segmento inicial de B..
3. B isomorfo a um segmento inicial de A..
Prova.. Sejam C e D os conjuntos definidas no Lema 4.18. Ento C D . Assim, pelo Lema 4.17 e
Teorema 4.8, existem quatro possibilidades:
1.a Possibilidade. Se C = A e D = B , ento A B .
2.a Possibilidade. Se C = A e D = S y B , ento A S y .
3.a Possibilidade. Se C = S x A e D = B , ento S x B.
4.a Possibilidade. Se C = S x A e D = S y B , ento S x Sy.
38
No que a quarta possibilidade no pode ocorrer, caso contrrio, x C = S x , o que impossvel.
Prova. Suponhamos, por absurdo, que S A . Ento T = A S . Logo, por hiptese, T contm um
menor elemento t 0 . Assim, x < t 0 , para todo x S t 0 , isto implica que x T , ou seja, S t 0 S . Logo,
pela propriedade (2), t 0 S . Portanto, t 0 S T = , o que uma contradio, ou seja, S = A .
Observao 4.22. Note que a propriedade (1) uma consequncia da propriedade (2), pois
= S a0 S a0 S .
Teorema 4.23 (Segundo Princpio de Induo Transfinita). Sejam A CBO e P ( x) uma afirmao
que verdadeira ou falsa para cada x A . Suponhamos que a seguinte propriedade satisfeita:
Se P ( y ) verdadeira para cada y, com y < x , ento P ( x) verdadeira. (PIT)
Ento P( x) verdadeira, para todo x A .
39
Prova. (Existncia) Seja C o conjunto de todos os subconjuntos B de A X tais que
(c, f a (c)) B (a, g ( f a )) B, c S a e a A .
Ento C , pois A X C . Pondo
f = BC B ,
fcil verificar que f C . Assim, basta provar que f a funo desejada. Para isto, seja S o conjunto de
todos os elementos c A tal que exista no mximo um x X , com (c, x) f . Logo, devemos provar que
se S a S , ento a S . Note que S a S significa que se c < a em A, ento existe um nico elemento
x X tal que (c, x) f . Assim, a correspondncia c x define uma funo f a : S a X tal que
f a f . Suponhamos, por absurdo, que a S . Ento (a, y ) f , para algum y Y , com y g ( f a ) .
Afirmao. f {(a, y )} C ou, equivalentemente, se b A e f b f {(a, y )} , ento
(b, g ( f b )) f {(a, y )} .
De fato, se a = b , ento f a = f b . Logo, (b, g ( f b )) f {(a, y )} , pois y g ( f a ) = g ( f b ) . Assim,
f {(a, y )} C e f f {(a, y )} , o que uma contradio. Se a b , ento
(b, g ( f b )) f {(a, y )} , pois f C e a b . Assim, f {(a, y )} C e f f {(a, y )} , o que
uma contradio. Portanto, S = A .
(Unicidade) Suponhamos que h : A X seja uma funo tal que
a A [h(a ) = g (h S ) = g (h a )] .
a
Consideremos o conjunto
T = {b A : f (b) = h(b)} .
Suponhamos que a A e S a T , ento a T , pois
f (a) = g ( f S
) = g ( h S ) = h(a ) .
a a
Portanto, T = A e f = h .
Exemplo 4.25. Sejam N o conjunto dos nmeros natunais e {x n }nN uma famlia em R . Mostre
que existe uma nica funo f : N R tal que
f (1) = x 1 , f (2) = x 1 x 2 , e f (n + 1) = f (n) x n +1 , n N .
Em particular, se x n = a, para todo n N, ento a n +1 = a n a, isto , definimos a potncia n-sima de a.
40
No Moodle
41
Unidade IV Axioma da Escolha e Aplicaes
1. Situando a Temtica
Zermelo, em 1904, em uma anlise mais criteriosa da prova da conjectura de Cantor, "todo conjunto
pode ser bem ordenado," observou que uma suposio que foi usada implicitamente na prova no era
consequncia dos postulados da matemtica ou da lgica. Assim, ele tomou como um axioma e chamou de
Axioma da Escolha, dentotado por ZF8 .
Gdel, em 1935, mostrou que se os axiomas da Teoria dos Conjuntos ZF eram consistentes, ento
ZF + ZF8 era consistente. Assim, natural que este resultado de Gdel deixe aberta a possibilidade de ZF8
ser derivado de outros axiomas. Mas, Cohen (Paul Joseph Cohen, 1934-2007, matemtico americano), em
1963, mostrou que ZF + ( ZF8 ) era consistente se ZF tambm o era. Portanto, ZF8 independente de
ZF .
Nesta unidade apresentaremos o axioma da escolha e suas principais consequncias.
2. Problematizando a Temtica
Uma forma do axioma da escolha pode ser enunciada como: seja P um conjunto no vazio, de
subconjuntos no vazios de um conjunto dado A. Ento existe um subconjunto B de A tal que, para todo
C P , C B um conjunto unitrio.
Da mesma forma que o Princpio da Boa Ordenao, o Axioma da Escolha pode ser utilizado como
eficiente ferramenta de modelagem em diversas situaes-problema, principalmente aquelas que possuem
como objetivo a existncia de determinados objetos. Vejamos um exemplo de uma situao dessa natureza.
Mostre que qualquer espao vetorial possui uma base.
Em bem pouco tempo estaremos aptos a responder esta e outras questes semelhantes.
3. Conhecendo a Temtica
Nesta seo discutiremos um conceito que um dos mais importantes, e ao mesmo tempo um dos
mais controversos, princpios da matemtica.
ZF8 - Axioma da escolha. Seja { A i }iI uma famlia de conjuntos no vazios. Ento
A = iI A i .
42
por f (i ) = e i , sem usar ZF8 . No obstante, se escolhermos a i A i , ento a funo
g : I iI A i
definida por g (i ) = a i , pode no estar bem definida, pode no ser injetora.
Sejam A um conjunto qualquer e P( A)* = P( A) {} . Uma funo escolha para A uma funo
r : P( A)* A
tal que
r ( B) B, B P( A)* .
Exemplo 1.3. Seja A = {a, b, c} . Ento uma funo escolha para A dada pela tabela. Note que
existem 24 tais funes.
B r(B)
A a
{a, b} a
{a, c} a
{b, c} b
{a} a
{b} b
{c} c
Exemplo 1.4. Seja A um CBO. Ento uma funo escolha r : P( A)* A para A dada por
r ( B) = min{B} .
43
Portanto, o axioma ZF8 est satisfeito.
Prova. Sejam { A i }iI uma famlia no vazia de conjuntos no vazios, disjuntos aos pares e
A = iI A i .
Ento { A i }iI P( A) . Assim, por hiptese, existe uma funo escolha r : P( A)* A para A tal que
*
r ( B) B, B P( A)* .
Logo, o conjunto C = r ({ A i }iI ) tem as propriedades desejadas, pois
C A i = {a i }, i I .
Reciprocamente, sejam A um conjunto no vazio, B A e
X B = {( B, x) : x B} .
Ento X B X C = se B C = . Assim, { X B }BP ( A)* uma famlia de conjuntos no vazios,
disjuntos aos pares, pois
X B P( A) A { X B }BP ( A)* P(P( A) A)
e pelos axiomas ZF3 , ZF6 e o Teorema 3.14 da unidade II, a famlia { X B }BP ( A)* um conjunto. Logo,
existe um conjunto escolha C para a famlia { X B }BP ( A)* , isto ,
CX B = {( B, x)}, B P( A)* .
Assim, a funo r : P( A)* A definida por r ( B ) = x B , com C X B = {( B, x)} , uma funo
escolha para A.
44
F = { A i {i} : i I }
no vazia de conjuntos no vazios e disjuntos aos pares. Assim, existe um conjunto escolha C tal que
C ( A i {i}) = {(a i , i )}, i I .
Portanto, a funo
f : I iI A i
definida por f (i ) = a i A i em que
(a i , i ) C ( A i {i}) ,
tem as propriedades desejadas. Reciprocamente, se { A i }iI uma famlia no vazia de conjuntos no vazios
e disjuntos aos pares. Ento existe uma funo
f : I iI A i
tal que f (i ) A i , para todo i I . Portanto, fcil verificar que C = f ( I ) um conjunto escolha da
famlia { A i }iI .
Exemplo 1.10. Seja A um conjunto infinito. Mostre que existe uma funo injetora f : N A ,
com N o conjunto de todos os nmeros naturais. Em particular, A contm um subconjunto enumervel.
Soluo. Como A , podemos escolher x 1 A . Novamente, como A um conjunto infinito temos que
A {x 1} , de modo que podemos escolher x 2 A {x 1} , e assim sucessivamente. Portanto, a funo
f : N A definida por f (1) = x 1 e f (n) = x n claramente injetora. Mas nada garante que ela esteja
bem definida. Para contornarmos esta situao vamos usar a afirmao F 2 . Consideremos o conjunto no
vazio
B n = A {x 1 , x 2 , , x n 1} ,
pois A um conjunto infinito. Agora, Seja
F = { A n }n = {( B n , x) : x B n }n .
Ento F uma famlia de conjuntos no vazios e disjuntos aos pares. Assim, pela afirmao F 2 , existe um
conjunto escolha C para F , isto ,
C = {( B n , x n ) : x n B n } .
Agora, vamos definir f : N A por f (1) = x 1 e f (n) = x n B n , em que
(B n , x n ) C A n .
Portanto, f est bem definida e injetora.
45
Exemplo 1.11. Sejam A um conjunto e f : A B uma funo. Mostre que f sobrejetora se, e
somente se, existe uma funo g : B A tal que f g = I B . Em particular, f sobrejetora se, e somente
se, g injetora.
Soluo. Suponhamos que f : A B seja uma funo sobrejetora. Ento X b = f 1 (b) um subconjunto
no vazio de A, para todo b B . Seja
r : P( A)* A
uma funo escolha para A. A funo g : B A definida por g (b) = r ( X b ) X b , para todo b B , tem
as propriedades desejadas, pois
( f g )(b) = f ( g (b)) = b = I B (b) .
Reciprocamente, suponhamos que exista uma funo g : B A tal que f g = I B . Ento, dado
y B , temos que existe x = g ( y ) A tal que
y = I B ( y ) = ( f g )( y ) = f ( g ( y )) = f ( x) ,
isto , f uma funo sobrejetora. Alm disso, fcil verificar que g : B A uma funo injetora.
Finalmente, se g : B A injetora. Ento g : B C bijetora, com C = Im( g ) A . Assim,
g 1 : C B uma funo. Seja b B fixado. Ento f : A B definida por
g 1 ( x), se x C
f ( x) =
b, se x C.
uma funo sobrejetora, pois dado y B , existe x C tal que y = g 1 ( x) , ou seja, existe x C A
tal que f ( x) = g 1 ( x) = y .
3.2 Aplicaes
Nesta seo provaremos, como consequncia do axioma da escolha ZF8 , os princpios maximais.
Alm disso, provaremos que eles so equivalentes a ZF8 .
Com o objetivo de provarmos o Lema de Zorn primeiro provaremos o seguinte teorema.
Prova. Suponhamos, por absurdo, que qualquer elemento x A tenha um sucessor imediato. Ento o
conjunto
T x = { y A : y um sucessor imediato de x} ,
pois qualquer elemento de A tem um sucessor imediato. Logo, pelo axioma ZF8 , existe uma funo escolha
r para A tal que r (T x ) T x . Vamos definir uma funo f : A A por f ( x) = r (T x ) . Ento claro que
f ( x) um sucessor de x, isto , x < f ( x) .
1. p B .
2. Se x B , ento f ( x) B . ( f ( B ) B )
3. Se C uma cadeia de B, ento sup(C ) B .
46
Observao 2.2. Note que p-sequncias existem. Por exemplo, A uma p-sequncia.
Prova. Seja
P = B A B
a interseo de todas as p-sequncias de A. Ento P , pois p P . Se x P , ento x B , para todo
B A . Logo, f ( x) B , para todo B A . Portanto, f ( x) P . Finalmente, se C uma cadeia de P,
ento C uma cadeia de B, para todo B A . Logo, sup(C ) B , para todo B A . Portanto,
sup(C ) P .
Prova. Como p o menor elemento de A temos que p B x . Se y B x , ento devemos provar que
f ( y ) B x . Sendo y B x temos y x ou y f ( x) . Assim, h trs casos a serem considerados:
1.o Caso . Se y < x , ento, pelo Lema 2.3, f ( y ) x . Logo, f ( y ) B x .
2.o Caso . Se y = x , ento f ( y ) = f ( x) . Assim, f ( y ) f ( x) e f ( y ) B x .
3.o Caso Se y f ( x) , ento f ( y ) > f ( x) , pois y < f ( y ) . Logo, f ( y ) B x
Finalmente, se C uma cadeia de B x e m = sup(C ) , ento devemos provar que m B x . Dado y B x ,
obtemos y x ou y f ( x) . Se existir y C tal que y f ( x) , ento m f ( x) , pois m y . Logo,
m B x . Caso contrrio, y x , para todo y C . Portanto, m x e m B x .
Prova. Como P a interseo de todas as p-sequncias temos, pelo Lema 2.4, que P B x . Mas, por
definio, B x P . Portanto, P = B x . Portanto, y x ou y f ( x) , para todo y P .
Prova. Seja
B = {x P : x um elemento normal} .
Ento p B , pois p y , para todo y A , em particular, para todo y P . Se x B , ento, pelo
Corolrio 2.5, y x ou y f ( x) , para todo y P . Logo, y f ( x) ou y f ( x) . Portanto f ( x) B .
47
Finalmente, se C uma cadeia de B e m = sup(C ) , dado y P , se existir x C tal que y x , ento
y m , pois x m . Caso contrrio, x y , para todo x C . Logo, m y . Portanto, m B .
Prova. Como
B = {x P : x um elemento normal} .
uma p-sequncia temos que P B . Assim, P = B . Portanto, qualquer elemento de P um elemento
normal, isto , P conjunto totalmente ordenado.
Finalmente, para completarmos a prova do teorema, seja m = sup( P ) . Ento m P , pois P uma
p-sequncia e uma cadeia. Logo, f (m) P , pois P uma p-sequncia. Portanto,
f ( m) m ,
o que uma contradio, pois m < f (m) .
Teorema 2.9 (Princpio do Mximo de Hausdorff). Qualquer poset possui uma cadeia maximal.
Seja A um poset. Diremos que A um conjunto indutivamente ordenado se toda cadeia de A tem
uma cota superior em A.
Soluo. Vamos usar induo sobre n. Se n = 1 , nada h para ser provado. Sejam
S = {x 1 , , x n , x n +1} e T = {x 1 , , x n } .
Ento, pela hiptese de induo, existe x j , com 1 j n , tal que x i x j , para todo x i T . Como A
uma cadeia temos que x j x n +1 ou x n +1 x j . Portanto, em qualquer caso, existe x j , com 1 j n + 1 ,
tal que x i x j , para todo x i S .
Teorema 2.11 (Lema de Zorn). Qualquer conjunto indutivamente ordenado possui pelo menos um
elemento maximal.
48
Prova. Seja A um conjunto indutivamente ordenado. Ento, pelo Teorema 2.9, A contm uma cadeia
maximal C. Assim, por definio, C contm uma cota superior m.
Afirmao. m um elemento maximal de A.
De fato, suponhamos, por absurdo, que exista x A tal que m < x . Ento x C , mas y < x , para todo
y C . Assim, C {x} uma cadeia de A com C C {x} , o que contradiz a maximalidade de C.
Portanto, m um elemento maximal de A.
Teorema 2.13. Qualquer espao vetorial possui uma base. Mais geralmente, qualquer subconjunto
de vetores LI de um espao vetorial parte de uma base.
Prova. Seja V um espao vetorial sobre um corpo F. Se V = {0} , ento uma base de V. Se V {0} ,
ento a famlia
F = { : um subconjunto LI de V } .
Dados , F , definimos
.
Logo, F um poset. Sejam C qualquer cadeia de F e
L = C .
Afirmao. L F
De fato, sejam u 1 , , u n vetores distintos de L e x 1 , , x n escalares de F tais que
x 1u 1 + + x nu n = 0 .
Como u i L temos que existe i C tal que u i i . Logo, pelo Exemplo 2.10, existe j , com
1 j n , tal que i j , para todo i = 1, , n . Assim, u 1 , , u n j . Portanto,
x1 = = xn = 0.
claro que L uma cota superior de C. Assim, pelo Lema de Zorn, F contm um elemento maximal,
digamos M. Portanto, pelo Lema 2.12, M uma base de V.
Nesta seo vamos provar que, se A um conjunto qualquer, ento existe pelo menos uma relao
de ordem R sobre A tal que A, ordenado por R, um conjunto bem ordenado.
49
Exemplo 3.1. Qualquer conjunto finito bem ordenado. Por exemplo, se A = {a, b, c} , ento
a < b < c , b < c < a , c < a < b , b < a < c , a < c < b e c < b < a so ordenaes diferentes de A.
Exemplo 3.2. Qualquer conjunto contvel A pode ser bem ordenado, pois se f : A N uma
bijeo qualquer, ento existe uma ordem sobre A definida por
x, y A [ x y f ( x) f ( y )] .
Em particular, se A = Z , ento as funes f : A N e g : N A definidas por
n
2 a , se a > 0 2 , se n um nmero par
f (a) = e g ( n) =
2a + 1, se a 0 1 n , se n um nmero mpar
2
so inversas. Neste caso, obtemos a boa ordenao para Z ;
{0,1, 1, 2, 2, , n, n,} .
Por exemplo, 1 < 2 0 = g (1) < g (2) = 1 e 2 < 3 1 = g (2) < g (3) = 1 , etc.
Exemplo 3.3. Sejam B um conjunto bem ordenado e a A , onde a B . fcil verificar que
B {a} ordenado por b a , para todo b B , um conjunto bem ordenado.
Exemplo 3.4. O intervalo fechado I = [0,1] com a ordem induzida de R no bem ordenado, pois
o intervalo ]0,1] um subconjunto no vazio de I sem menor elemento.
1. B1 B 2 .
2. R1 R 2 . ( R1 = R 2 )
B1
Prova. Como B A , basta provar que R bem ordena B. fcil verificar que R uma ordem sobre B (prove
isto!). Agora, seja S B , com S . Ento existe i I tal que
S i = S Bi .
Como S i B i temos, por hiptese, que S i contm um menor elemento m em ( B i , R i ) , isto ,
50
(m, y ) R i , y S i .
Afirmao. m o menor elemento de S em ( B, R) .
De fato, dado x S . Se x B i , ento x S . Logo, (m, x) R i R . Se x B i , ento existe j I tal
que x B j . Logo,
B j B i e (B j , R j ) (B i , R i ) .
Assim, por hiptese,
(B i , R i ) (B j , R j ) .
Como m B i e x B j B i temos que (m, x) R j R . Portanto, m o menor elemento de S em
( B, R ) .
Lema 3.6. Sejam C, B e R definidos no Lema 3.5. Ento ( B, R ) uma cota superior de C.
Teorema 3.7 (Princpio da Boa Ordenao). Qualquer conjunto pode ser bem ordenado.
Prova. Resta provar que (4 1) . Suponhamos que A seja um conjunto bem ordenado. Ento a funo
r : P( A)* A definida por r ( B) = min( B ) uma funo escolha para A.
51
Exemplo 3.9. Seja A um conjunto infinito. Mostre que A possui uma cobertura contvel disjunta,
isto , existe uma famlia { A i }iI de conjuntos contveis disjuntos aos pares tal que
A = iI A i .
Nesta unidade vimos as formulaes clssicas do axioma da escolha dada por Zermelo e suas
principais consequncias. Portanto, use os resultados e tcnicas desenvolvidos nesta unidade no estudo das
definies e provas de problemas de existncia que viro pela frente.
52
Unidade V Nmeros Naturais
1. Situando a Temtica
2. Problematizando a Temtica
A importncia da construo dos nmeros conjuntos infinitos refletida por frases como:
() a conquista do infinito atual pode ser considerada uma expanso do nosso horizonte cientfico no
menos revolucionria do que o sistema Copernicano ou do que a teoria da relatividade, ou mesmo da teoria
quntica e da fsica nuclear. ()
A. A. Fraenkel, 1966.
Alm disso, provaremos os axiomas de Peano para o conjunto dos nmeros naturais N (Giuseppe Peano,
1858-1932, matemtico italiano) como consequncia do axioma da infinidade.
Em bem pouco tempo estaremos aptos para enunciar o axioma da infinidade.
3. Conhecendo a Temtica
0=
1 = 0 + = {} = {} = {0}
2 = 1 + = {} {{}} = {,{}} = {0,1}
3 = 2 + = {,{}} {{,{}}} = {,{},{,{}}} = {0,1, 2}
A ideia simplesmente definir um nmero natural n como o conjunto de todos os nmeros naturais
menores, isto ,
n = {0,1, 2, , n 1} .
Mas essa definio ainda deficiente. Por isso, vamos obter uma definio mais precisa, devida a von
Neumann.
Seja A um conjunto qualquer. Diremos que A um conjunto sucessor ou um conjunto indutivo se
ele satisfaz s seguintes condies:
1. A .
2. Se x A , ento x + A .
53
Observao 1.1. O axioma ZF9 garante a existncia do conjunto vazio . Portanto, se = 0 for
um conjunto, ento, pelo axioma ZF5 ,
n + = n {n} = {0,1, , n}
um conjunto e denotaremos por n + = n + 1 . Alm disso, claro que todo conjunto sucessor contm os
nossos nmeros naturais, os quais so construdos a partir do conjunto vazio.
Definio 1.2. O conjunto de todos os nmeros naturais definido como a interseo de todos
conjuntos sucessores e denotado por .
Observao 1.3.
1. Note que definido como um elemento do conjunto recursivo minimal.
2. A notao dos nmeros naturais por para diferenciar do nosso nmeros naturais N construdo via
os axiomas de Peano.
3. Qualquer elemento de chama-se nmero natural. Neste caso, cada nmero natural de igual a
n = {0,1, , n 1} .
Alm disso, pelo axioma ZF9 existe um conjunto sucessor A e, pela Definio 1.2, A . Assim, pelo
Axioma ZF3 , um conjunto. Portanto, todo nmero natural um conjunto.
Prova. Como n + = n {n} , para todo n , temos que n n + , para todo n . Portanto, n + 0 .
Prova. As condies (1) e (2) implicam que S um conjunto sucessor. Logo, pela Definio 1.2, S .
Portanto, S = .
Prova. Seja
S = {n : n = 0 ou n = k + , para algum k }
Ento 0 S . Suponhamos que o resultado seja vlido para algum n, isto , n S . Ento
n + = n + 1 = k + + 1 = (k + ) + ,
para algum k . Portanto, n + S e S = .
54
Lema 1.7. Sejam m, n . Se m n + , ento m n ou m = n .
Prova. Seja
S = {n : n um conjunto transitivo} .
Ento 0 S , pois se 0 no fosse um conjunto transitivo, ento existiria y 0 tal que y 0 , mas isto
impossvel, uma vez que 0 = . Agora, suponhamos que n S . Ento devemos provar que n + S . Dado
m n + , temos, pelo Lema 1.7, que m n ou m = n . Se m n , ento m n . Logo, m m + , pois
n n + . Se m = n , ento m n + , pois n n + . Portanto, n + S . Assim, pelo Princpio de Induo
Finita, S = .
Prova. Suponhamos que m + = n + . Ento n m + e m n + . Logo, pelo Lema 1.7, temos duas
possiblidades: ( n m ou m = n ) e ( m n ou m = n ). Se m = n , nada h para ser provado. Se m n ,
ento n m e m n . Assim, pelo Lema 1.9, n m e m n , isto , m = n , o que impossvel.
Teorema 1.11 (Axiomas de Peano) Seja o conjunto dos nmeros naturais. Ento:
1. 0 .
2. Se n , ento n + .
3. n + 0 , para todo n .
4. Se S tal que
a. 0 S .
b. Se n S , ento n + S . (PIF)
Ento S = .
5. Se m, n e m + = n + , ento m = n .
Prova. Note que n + = S n = {0,1, , n} um segmento inicial e confira a prova do Teorema 4.24 da
unidade III.
55
Corolrio 1.13. Sejam c, g e f como na Frmula de Recorrncia. Se g for injetora e
c Im( g ) , ento f injetora.
Prova. Devemos provar que se dados m, n , f (m) = f (n) , ento m = n . Para provar isso, vamos usar
induo sobre m. Se m = 0 e n = 0 , nada h para provar. Se n 0 , ento, pelo Exemplo 1.6, existe k
tal que n = k + . Assim,
c = f (0) = f (m) = f (n) = f (k + ) = g ( f (k )) c Im( g ) ,
o que impossvel. Portanto, m = 0 = n .
Suponhamos, como hiptese de induo, que o resultado seja vlido para algum m . Seja
f (m ) = f (n) . Se n = 0 , ento j vimos que f (m + ) = f (0) impossvel. Assim, n 0 e, pelo
+
Soluo. Como g injetora temos, pelo Corolrio 1.13, que existe uma nica funo injetora f : A .
Pondo D = f ( ) = Im( f ) , obtemos a funo h : D definida por h(n) = f (n) , com as propriedades
desejadas.
Veremos nesta seo uma das mais importante aplicaes da Frmula de Recorrncia, que o seu
uso nas definies de adio e multiplicao de nmeros naturais.
Seja m fixado. Ento, pelo Teorema 1.12, existe uma nica funo f m : tal que
1. f m (0) = m .
2. f m (n + ) = [( f m (n))] + , para todo n .
Note que a funo g : definida por g ( x) = x + e c = m .
56
Dados m, n , definimos a adio sobre como sendo
m + n = f m ( n) .
Assim, as condies (1) e (2), podem ser reescritas como:
1. m+0= m.
2. m + n + = ( m + n) + .
Prova. Seja
S = {n : n + = 1 + n} .
Ento 0 S , pois pela condio (1) 0 + = 1 = 1 + 0 . Suponhamos que o resultado seja vlido para algum n,
isto , n S . Ento, pela condio (2),
1 + n + = (1 + n) + = (n + ) + .
Portanto, n + S e S = .
Prova. Seja
S = {n : 0 + n = n} .
Ento 0 S , pois pela condio (1) 0 + 0 = 0 . Suponhamos que o resultado seja vlido para algum n, isto
, n S . Ento, pela condio (2),
0 + n + = (0 + n) + = n + .
Portanto, n + S e S = .
Seja m fixado. Ento, pelo Teorema 1.12, existe uma nica funo f m : tal que
57
1. f m (0) = 0 .
2. f m (n + ) = m + f m (n) , para todo n .
Note que a funo g : definida por g ( x) = m + x = x + m e c = 0 .
1. m0 = 0.
2. mn+ = m+ mn .
Prova. Seja
S = {n : 0 n = 0} .
Ento 0 S , pois pela condio (1) 0 0 = 0 . Suponhamos que o resultado seja vlido para algum n, isto ,
n S . Ento, pela condio (2) e o Lema 2.2,
0n+ = 0+ 0n = 0+ 0 = 0.
Portanto, n + S e S = .
Prova. Seja
S = {n : 1 n = n} .
Ento 0 S , pois pela condio (1) 10 = 0 . Suponhamos que o resultado seja vlido para algum n, isto ,
n S . Ento, pela condio (2),
1n + = 1 + 1n = 1 + n + .
Portanto, n + S e S = .
58
S = {k : m(n k ) = (m n)k} .
Ento 0 S , pois pela condio (1)
m(n 0) = m 0 = 0 = (m n)0 .
Suponhamos que o resultado seja vlido para algum k, isto , k S . Ento, pela condio (2) e o Lema 2.7,
m( n k + ) = m( n + n k ) = m n + m( n k ) = m n + ( m n ) k = ( m n ) k + .
Portanto, k + S e S = .
Prova. Seja
S = {n : n 0} .
Ento 0 S , pois 0 0 Suponhamos que o resultado seja vlido para algum n, isto , n S . Ento
nn+ n n+ .
Portanto, n + S e S = .
59
Teorema 2.13. um conjunto bem ordenado. Em particular, um conjunto totalmente
ordenado.
Prova. Suponhamos, por absurdo, que contenha um subconjunto A diferente do conjunto vazio sem
menor elemento. Seja
S = {n : n m, m A} .
Ento, pelo Lema 2.11, 0 S . Suponhamos que o resultado seja vlido para algum n, isto , n S . Se
n = k , para algum k A , ento k seria o menor elemento de A, que uma contradio. Assim, n < m ,
para todo m A . Logo, pelo Lema 2.12, n + m , para todo m A , ou seja, n + S . Portanto, S = .
Como S A = , pois A no tem menor elemento, temos que A = , o que uma contradio.
Exemplo 2.14. Mostre que se um subconjunto no vazio B de possui uma cota superior, ento ele
possui um maior elemento.
Soluo. Seja
S = {k : k uma cota superior de B} .
Ento S . Assim, pelo Teorema 2.13, S contm um menor elemento, digamos n S . Neste caso,
n = sup( B) .
Afirmao. n B .
De fato, suponhamos, por absurdo, que n B . Ento n > m , para todo m B . Logo, n 0 , pois B ,
e pelo Exemplo 1.6, n = k + = k + 1 , para algum k . Assim, pelo Lema 2.12, k m , para todo m B .
Portanto, k uma cota superior de S com k < n , o que contradiz a minimalidade de n.
Teorema 2.15 (Segundo Princpio de Induo Finita). Seja P(n) uma afirmao, para cada
n . Suponhamos que a seguinte propriedade satisfeita:
Se P(m) verdadeira para cada m, com m < n , ento P(n) verdadeira (PIF).
Ento P(n) verdadeira, para todo n .
Soluo. Vamos provar apenas os itens (1) e (5): (1) Para m, n fixados, seja
S = {k : m = n m + k = n + k} .
Ento 0 S Suponhamos que o resultado seja vlido para algum k, isto , k S . Ento
m + k + = m + (k + 1) = (m + k ) + 1 = (n + k ) + 1 = n + (k + 1) = n + k + .
Portanto, k + S e S = .
(5) Para m, n fixados, consideremos a afirmao P (k ) :
m < n km < kn , para cada k , com k 0 .
Ento P (1) verdadeira, pois 1 m = m < n = 1 n . Suponhamos que a afirmao P (k ) seja verdadeira.
Ento, pelo item (3),
60
k + m = (1 + k )m = m + km < n + km < n + k n = (1 + k )n = k + n .
Logo, P (k + ) verdadeira. Portanto, P (k + ) verdadeira, para todo k .
Exemplo 2.17. Seja n . Mostre que se n < 1 , ento n = 0 . Conclua que no existe k tal
que n < k < n + .
Soluo. Seja
S = {n : 0 < n < 1} .
Ento S = . Caso contrrio, pelo Teorema 2.13, existe n 0 S tal que n 0 n , para todo n S . Como
n 0 S temos que
0 < n 0 < 1 0 < n 02 < n 0 < 1 ,
Logo, n 02 S , o que contradiz a minimalidade de n 0 . Portanto, n = 0 .
Seja m fixado. Ento, pelo Teorema 1.12, existe uma nica funo f m : tal que
1. f m (0) = 1 .
2. f m (n + ) = f m (n)m , para todo n .
Note que a funo g : definida por g ( x) = xm e c = 1 .
Finalizaremos esta seo com mais uma aplicao da Frmula de Recorrncia. Observe, pelo
Teorema 3.14 da unidade II, que um conjunto, pois um conjunto. Agora, consideremos a
funo g : definida por
(0, m + 1), se n = 0
g (m, n) =
(m + 1, n 1), se n 0.
Ento g injetora e (0, 0) Im( g ) , pois dados (m, n), ( p, q ) , se g (m, n) = g ( p, q) = (r , s ) , ento
h dois casos a serem considerados:
1.o Caso. Se r = 0 , ento por definio n = 0 = q . Logo,
(0, s) = g (m, n) = (0, m + 1) e (0, s) = g ( p, q) = (0, p + 1) .
Assim, s = m + 1 e s = p + 1 , ou seja, m = p.
61
2.o Caso. Se r 0 , ento
(r , s) = g (m, n) = (m + 1, n 1) e (r , s) = g ( p, q) = ( p + 1, q 1) .
Assim, r = m + 1 e r = p + 1 ; s = n 1 e s = q 1 , ou seja, m = p e n = q .
Portanto, em qualquer caso, (m, n) = ( p, q) . Logo, pelo Corlrio 1.13, existe uma nica funo
injetora f : tal que
1. f (0) = (0, 0) .
2. f (n + ) = g ( f (n)) , para todo n .
A funo f sobrejetora, pois dado ( p, q) , vamos usar induo sobre p + q para provar que
existe n tal que f (n) = ( p, q ) . Se p + q = 0 , ento p = q = 0 e f (0) = (0, 0) . Suponhamos que o
resultado seja vlido para todo k, com 0 k < p + q e que p + q = r + 1 = r + . Ento h dois casos a serem
considerados:
1.o Caso. Se p = 0 , ento por definio ( p, q) = g (q 1, 0) . Pela hiptese de induo, existe m
tal que (q 1, 0) = f (m) . Assim,
( p, q) = g (q 1, 0) = g ( f (m)) = f (m + ) .
2.o Caso. Se p 0 , ento por definio ( p, q) = g ( p 1, q + 1) . Pela hiptese de induo, existe
n tal que ( p + q 1, 0) = f (n) . Assim,
f (n + 1) = g ( f (n)) = g ( p + q 1, 0) = (0, p + q ),
f (n + 2) = (1, p + q 1), , f (n + p + 1) = ( p, q ).
Portanto, em qualquer caso, dado ( p, q) , existe n tal que f (n) = ( p, q ) , ou seja, f
uma funo bijetora. Neste caso, obtemos a boa ordenao para ;
{(0, 0), (0,1), (0, 2), (1,1), (2, 0), (0,3),} .
Note que qualquer nmero racional r Q pode ser escrito de modo nico sob a forma
m
r = , onde m, n Z , n > 0 e mdc(m, n) = 1 .
n
Assim, a funo f : Q + definida por
*
g (r ) = (m, n)
claramente injetora. Portanto, pelo axioma ZF 4 , Q*+ um conjunto. Consequentemente, pelo axioma
ZF 5 ,
Q = Q*+ {0} Q*
um conjunto. Na prxima unidade provaremos que existe uma correspondncia biunvoca entre 2 e R .
Portanto, pelo axioma ZF 6 , os nmeros reais R um conjunto. Neste caso, os nmeros complexos C um
conjunto, pois R R um conjunto.
Nesta unidade apresentamos o conceito formal do conjunto dos nmeros naturais . Alm disso,
vimos que este conjunto satisfez todas as propriedades do conjunto dos nmeros naturais N . Por exemplo, o
primeiro princpio de induo finita.
No Moodle
Se voc quiser saber como utilizar, por exemplo, a Frmula de Recorrncia, procure acompanhar
as discusses e tarefas propostas na plataforma MOODLE sobre este e outros contedos relacionados.
Leia, releia, pratique, discuta.
62
Unidade VI Nmeros Cardinais
1. Situando a Temtica
2. Problematizando a Temtica
Seja A um conjunto qualquer. J vimos, na unidade II Teorema 4.8, que existe uma correspondncia
biunvoca entre os conjuntos P( A) e 2 A . Nesta unidade caracterizaremos todos os conjuntos com esta
propriedade. Alm disso, provaremos o seguinte teorema Cantor:
No existe funo bijetora entre os conjuntos A e P( A) .
A grande importncia deste teorema o seguinte resultado: se fizermos
A 1 = , A 2 = P( A 1 ), A 3 = P( A 2 ), ,
ento obtemos uma famlia (sequncia) estritamente crescente de conjuntos infinitos
A1 < A 2 < A 3 <
3. Conhecendo a Temtica
63
com
1 1 1 1 1 1
A = [0,1] 0,1, , , , = ]0,1 [ , , ,
2 3 4 2 3 4
Agora, vamos definir a funo f : [0,1] ]0,1 [ por
1
2, se x = 0
1 1
f ( x) = , se x =
n+2 n
1
x, se x 0 e x n ,
para todo n {0} . Ento fcil verificar que f bijetora.
Observao 1.3. J vimos, no Exemplo 2.5 da unidade III, que os conjuntos R e ] 1,1 [ so
equipotentes. Portanto, o conjunto dos nmeros reais e todos os intervalos no degenerados so
equipotentes, por exemplo, a funo f : ] 0, + [ ]0,1 [ definida por
x 1 x
f ( x) = f ( x) =
1+ x 1 x
bijetora, pois
lim f ( x) = 0 e lim f ( x) = 1
x 0+ x +
( lim f
x 0+
1
( x) = 0 e lim f
x 1
1
)
( x) = + .
64
n, se x=k
g ( x) = k , se x=n
x, se x {k , n}.
Se k = n , ento g = I n + . Se k n , ento g g = I n + . Logo, g uma funo bijetora e
h = g f : m n + uma a funo bijetora tal que h(m 1) = n , isto , h aplica m 1 sobre n . Assim,
por hiptese, m 1 = n . Logo,
m = {0,1, , m 1} = {0,1, , n} = n + 1 = n + ,
ou seja, n + S . Portanto, S = .
Sejam A e B dois conjuntos. Diremos que A de uma potncia menor do que B se existir uma
funo injetora f : A B e denotaremos por A B . Finalmente, diremos que A de uma potncia
estritamente menor do que B se existir uma funo injetora f : A B e no existir g : A B
sobrejetora. Denotaremos por A B .
Prova. Primeiro note que a funo j : A P( A) definida por j ( x) = {x} claramente injetora. Portanto,
A P( A) . Agora, suponhamos, por absurdo, que exista uma funo f : A P( A) sobrejetora. Para
cada x A , temos que f ( x) A . Assim, x f ( x) ou x f ( x) . Consideremos o conjunto
S = {x A : x f ( x)} .
Ento S P( A) . Logo, por hiptese, existe y A tal que f ( y ) = S . Como S A temos que y S ou
y S . Se y S , ento y f ( y ) = S , o que uma contradio. Se y S , ento y f ( y ) = S , o que
uma contradio. Portanto, A P( A) .
Seja A um conjunto. Diremos que A um conjunto infinito se ele for equipotente com um
subconjunto prprio ou, equivalentemente, existir uma funo f : A A injetora tal que f ( A) A . Caso
contrrio, ele um conjunto finito.
Exemplo 1.9. O conjunto dos nmeros naturais infinto, pois a funo f : definida
por f (n) = 2n (ou f (n) = 2n + 1) claramente injetora.
Prova. Vamos provar apenas o item (1). Como B um conjunto infinito temos que existe uma funo
f : B B injetora tal que f ( B ) B . Seja g : A A a funo definida por
f (a ), se a B
g (a) =
a, se a B.
Ento g injetora e g ( A) A , pois A = B ( A B ) . Portanto, A um conjunto infinito.
65
Teorema 1.11. Sejam A conjunto infinito qualquer e a 0 A fixado. Ento A {a 0 } um conjunto
infinito. Conclua que se B um subconjunto no vazio finito de A, ento A B um conjunto infinito.
Prova. Como A um conjunto infinito temos que existe uma funo f : A A injetora tal que
f ( A) A . Assim, h dois casos a serem considerados:
1.o Caso. Se a 0 f ( A) , ento existe a 1 A tal que f (a 1 ) = a 0 . Neste caso, a funo
g : A {a 0 } A {a 0 } definida por
f ( x), se x a1
g ( x) =
b, se x = a 1 A {a 0 },
em que b um elemento qualquer de A f ( A) fixado, tem as propriedades desejadas.
2.o Caso. Se a 0 f ( A) , ento a funo g : A {a 0 } A {a 0 } definida por g ( x) = f ( x) tem as
propriedades desejadas.
Portanto, em qualquer caso, A {a 0 } um conjunto infinito.
Soluo. Vamos usar induo sobre n. Se n = 0 , nada h para ser provado. Suponhamos que o resultado seja
vlido para algum n. Consideremos o conjunto
I n +1 = {k : k < n + 2} = I n {n + 1} .
Ento I n +1 um conjunto finito. Caso contrrio, pelo Teorema 1.11, I n +1 {n + 1} = I n um conjunto
infinito, o que contradiz a hiptese de induo. Portanto, I n um conjunto finito, para todo n .
Lema 1.13. Sejam x ] 0,1 [ e d , com d 2 . Ento para cada n existe uma nica
expresso
a1 a2 an
x= + 2
+ + +qn,
d d dn
onde os a i satisfazem
1
0 ai < d e 0 qn < .
dn
66
a1 a2 an
x= + 2
+ + +qn,
d d dn
onde a i = c n i satisfazem
1
0 ai < d e 0 qn < .
dn
(Unicidade) Seja
b1 b2 bn
x= + + + + rn ,
d d 2
dn
onde b i satisfazem
1
0 b i < d e 0 rn <
dn
outra expresso para x. Ento
a1 a2 an b1 b2 bn
+ + + +qn = + rn . + + +
d d2 dn d2 dn d
Assim, pela unicidade da representao na base d, obtemos a i = b i e q n = r n .
Soluo. Pela Observao 1.3, basta provar que os conjuntos 2 e I =] 0,1 [ so equipotentes. Pelo Lema
1.13, cada x I pode ser escrito de modo nico sob a forma
x1 x2 x3
x= + 2
+ +
2 2 23
onde x i {0,1} . Assim, para cada x I fixado, obtemos uma funo x : {0,1} definida por
x i , se i 0
x (i ) =
0, se i = 0,
ou seja, x 2 , para todo x I . Logo, a funo f : I 2 definida por f ( x) = x claramente
bijetora. Portanto, os conjuntos 2 e R so equipotentes.
Soluo. Seja I =] 0,1 [ . Ento basta observar que a funo f : I I I definida por
f (0, x 1 x 2 x 3 ; 0, y 1 y 2 y 3 ) = (0, x 1 y 1 x 2 y 2 x 3 y 3 )
bijetora.
Finalizaremos esta seo com o seguinte comentrio: Seja A um conjunto qualquer. Ento, pelo
Teorema 4.8 da unidade II, os conjuntos P( A) e 2 A so equipotentes. Portanto, A 2 A . Agora, se
fizermos
A 1 = , A 2 = P( A 1 ), A 3 = P( A 2 ), ,
ento obtemos uma famlia (sequncia) estritamente crescente de conjuntos infinitos
A1 < A 2 < A 3 <
Consideremos
B 1 = i A i +1
Ento P( A i +1 ) B 1 , pois A i +1 B 1 , para todo i . Assim, pelo item (2) do Corolrio 1.8,
A i +1 B 1 , i .
Logo, se fizermos
67
B 2 = P( B 1 ), B 3 = P( B 2 ), B 4 = P( B 3 ), ,
ento obtemos uma sequncia estritamente crescente de conjuntos infinitos
A1 < A 2 < A 3 < < B1 < B 2 < B 3 < .
Portanto, de modo intuitivo, existem mais "medidas" de conjuntos infinitos que diferentes "medidas" de
conjuntos finitos. No entanto, toda a matemtica clssica, trabalha apenas com duas "medidas" de conjuntos
infinitos, a saber, os conjuntos equipotentes a e os conjuntos equipotentes a 2 . A potncia 2
frequentemente chamada de potncia do contnuo.
ZF10 - Axioma dos nmeros cardinais. Existe uma classe de conjuntos C , chamada de nmeros
cardinais, com as seguintes propriedades:
1. Se A um conjunto qualquer, ento existe um nmero cardinal tal que A .
2. Se A um conjunto e , so nmeros cardinais, ento A e A implicam = .
Notaes: = # A , = card( A) ou = A .
68
Lema 2.2. Seja f : A B uma funo sobrejetora. Ento B A .
Prova. Pelo Exemplo 1.11 da unidade IV, existe uma funo g : B A tal que f g = I A . Agora, fcil
verificar que g uma funo injetora. Portanto, B A .
Lema 2.3. Sejam A, B conjuntos quaisquer. Se A B , ento A {a} B {b} , para todo
a A e bB .
Prova. Seja f : A B uma funo injetora. Vamos definir g : A {a} B {b} por
f ( x), se x a e b f (a)
g ( x) =
f (a), se x a e b = f (a).
Ento fcil verificar que g uma funo injetora e Dom( g ) = A {a} .
Lema 2.4. Sejam A conjunto qualquer e B um subconjunto de A. Se existir uma funo injetora
f : A B , ento A = B .
Prova. (R. H. Cox) Se A = B , nada h para ser provado. Suponhamos que B A . Ento A B .
Consideremos o conjunto
C = n f n ( A B ) A ,
em que f ( A B) = ( A B) e f ( x) = f ( f
0 n n 1
( x)) , para todo x A e n , confira a Figura 13. Note
que
A B C e f (C ) C .
Alm disso, para cada m, n , com m n , obtemos
f m ( A B) f n ( A B) = ,
pois se m < n e
f m ( A B) f n ( A B) ,
ento existem x, y A B tais que
f m ( x) = f n ( y ) f n m ( y ) = x B .
Logo, x B ( A B) = , o que impossvel. Agora, vamos definir a funo g : A B por
f ( x), se x C
g ( x) =
x, se x C.
Ento, por definio, g injetora. Como ( A X ) Y = ( A Y ) ( X Y ) temos que
g ( A) = ( A C ) f (C )
(
= A n f n ( A B) f ) ( n
f n ( A B) )
= (A n
f n
( A B) ) ( n
f n +1
( A B) )
= ( A n
f n +1
( A B) ) ( n
f n ( A B) n f n +1
( A B) )
= A ( A B)
= B.
Portanto, g sobrejetora e A = B .
69
Figura 13. Esboo da prova do Lema.
Observao 2.6. J vimos que era uma pr-ordem entre os nmeros cardinais. Portanto, pelo
Teorema 2.5, uma ordem entre os nmeros cardinais. Pode ser provada que para quaisquer nmeros
cardinais e uma e apenas uma das condies ocorre:
< , = ou > (Lei da Tricotomia).
Soluo. A funo j : ] 0,1 [ [0,1] definida por j ( x) = x claramente injetora. Por outro lado, a funo
f : [0,1] ] 0,1 [ definida por
1 1
f ( x) = x+
2 4
claramente injetora. Portanto, pelo Teorema 2.5, os intervalos so equipotentes.
Soluo. A funo j : Q definida por j ( x) = x claramente injetora. Por outro lado, comoqualquer
nmero racional r Q pode ser escrito de modo nico sob a forma
m
r= , onde m, n Z , n > 0 e mdc(m, n) = 1
n
temos que a funo f : Q definida por
2n3m , se m 0
g (r ) = n m
2 5 , se m < 0
injetora. Portanto, pelo Teorema 2.5, os conjuntos e Q so equipotentes.
70
Finalizaremos esta seo com o seguinte resultado:
Hiptese do Contnuo. No existe nenhum nmero cardinal tal que 0 < < c , em que
0 = e c = 2 .
Nesta seo provaremos que os nmeros cardinais possuem quase todas as propriedades
algbricas dos nmeros naturais.
Observao 3.3.
1. Pelo Teorema 3.2 esta operao bem definida.
2. Note que se A e B so dois conjuntos quaisquer, ento A equipotente A {1} e B equipotente B {2} ,
com
71
( A {1}) ( B {2}) = ,
mesmo que A e B no sejam disjuntos. Portanto,
+ = ( A {1}) ( B {2}) ,
em que = A e = B . Assim, a definio da adio de nmeros cardinais pode ser substiuda por esta.
3. Note que se A = {a, b, c} e B = {1, 2,3, 4,5} , ento
3 + 5 = A B = {a, b, c,1, 2,3, 4,5} = 8 .
Neste caso, a adio dos nmeros cardinais coincide com a adio usual dos nmeros naturais.
Prova. Vamos provar apenas o item (1). Basta observar que A ( B C ) = ( A B) C , para todos os
conjuntos A, B e C.
Exemplo 3.6. Sejam p = {0, 2, 4, 6,} e i = {1,3,5, 7,} , ento pelo Exemplo 1.9,
p = 0 = i . Em particular,
0 + 0 = p i = = 0 .
Observao 3.8.
1. Pelo Teorema 3.7 esta operao bem definida.
2. Note que se A = {a, b, c} e B = {1, 2,3} , ento
3i3 = A B = {(a,1), (a, 2), (a,3), (b,1), (b, 2), (b,3), (c,1), (c, 2), (c,3)} = 9 .
Neste caso, a multiplicao dos nmeros cardinais coincide com a multiplicao usual dos nmeros
naturais.
72
Teorema 3.9. Sejam , , e nmeros cardinais. Ento:
1. ( ) = ( ) .
2. 1i = .
3. = .
4. ( + ) = + .
5. , se > 0 .
6. Se e , ento .
7. + = 2i .
8. + i , se > 1 .
Prova. Vamos provar apenas os itens (1), (4) e (7): (1) A funo f : A ( B C ) ( A B) C definida
por
f ( x, ( y, z ) = (( x, y ), z )
claramente bijetora.
(4) Basta observar, pelo Teorema 3.5 da unidade II, que ( A B) C = ( A C ) ( B C ) , para
todos os conjuntos A, B e C.
(7) Se = A , ento 2i = {1, 2} A . Por outro lado, como
{1, 2} A = ({1} {2}) A = ({1} A) ({2} A)
temos que {1, 2} A = + . Portanto, + = 2i .
Soluo. A funo f : Z [0,1 [ R definida por f (n, x) = x + n , pela Observao 3.13 da unidade III,
bijetora. Portanto, 0 c = c .
Prova. J vimos, na unidade II, que Y X representa o conjunto de todas as funes com domnio X e
contradomnio Y. Agora, suponhamos que A C e B D . Ento existem funes bijetoras f : A C e
g : B D . Seja F : B A D C a funo definida por F (k ) = h , onde h D C tal que
h( f ( z )) = g (k ( z )), z A ,
ou seja, h = g 1 k f , confira o diagrama. Ento F claramente bijetora. Portanto, B A D C .
73
Observao 3.13. Pelo Teorema 3.12 esta operao bem definida. Convencionamos 0 = 0 e
0 = 1.
( )
2. = .
3. ( ) = .
4. , se > 0 .
5. , se > 1 .
6. Se e , ento .
7. = 2 .
Prova. Vamos provar apenas os itens (1), (2) e (7): (1) Sejam A, B e C conjuntos tais que = A , = B
e = C , em que B C = . Primeiro note que se f : B A e g : C A so funes quaisquer,
ento, pelo o diagrama,
fcil verificar que existe uma nica funo h tal que h f 1 = f e h g 1 = g . Agora, a funo
F : A B C A B A C definida por
F ( h) = ( h f 1 , h g 1 )
tem as propriedades desejadas. Portanto, A B C A B A C .
(2) Sejam f : B C A uma funo qualquer e y C fixado. Ento f y : B A definida por
f y ( x) = f ( x, y ) claramente uma funo. Neste caso, F : C A B
definida por F ( y ) = f y uma
( )
C
funo (note que [ F ( y )]( x) = f y ( x) = f ( x, y ), x B e y C ). Agora, a funo G : A BC A B
definida por G ( f ) = F tem as propriedades desejadas, por exemplo, dados . f , g A BC , obtemos
f ( x, y ) = [ F ( y )]( x) = g ( x, y ), ( x, y ) B C .
( )
C
Logo, f = g , ou seja, G injetora. Portanto, A BC A B .
Finalmente, para provar (7), basta observar que
iI
A i = A1 A 2 ,
em que I = {1, 2} .
74
No Moodle
5. Referncias Bibliogrficas
75