MA11 - Unidade 2 Nmeros Cardinais Semana de 04/04 a 10/04

A importncia dos nmeros naturais provm do fato de que eles constituem o modelo matemtico que torna possvel o processo de contagem. Noutras palavras, eles respondem a perguntas do tipo: Quantos elementos tem este conjunto? Para contar os elementos de um conjunto necessrio usar a noo de correspondncia biunvoca, ou bijeo. Trata-se de um caso particular do conceito de funo, que abordaremos de forma breve agora e com mais vagar posteriormente.

Funes
X, Y ,
uma

Dados os conjuntos de

funo f : X Y
um elemento

(l-se uma funo

em

Y )

uma regra (ou conjunto de instrues) que diz como

associar a cada elemento

x X

y = f (x) Y .

MA11 - Unidade 2

conjunto

Y o contra-domnio da funo f . Para cada x X , o elemento f (x) Y chama-se a imagem de x pela funo f , ou o valor assumido pela funo f no ponto x X . Escreve-se x f (x) para indicar que f transforma (ou leva) x em f (x). X
chama-se o e

domnio

funo identidade f : X X , denida por f (x) = x para todo x X e as funes constantes f : X Y , onde se toma um elemento c Y e se pe
Exemplos particularmente simples de funes so a

f (x) = c

para todo

x X.

Recomendaes
f (x) a imagem do elemento x X pela funo f , ou o valor da funo f no ponto x X . Os livros anti1. importante ressaltar que

gos, bem como alguns atuais, principalmente os de Clculo, costumam dizer a funo

f (x)

quando deveriam dizer a funo

f .

Algumas

vezes essa linguagem inexata torna a comunicao mais rpida e ca difcil resistir tentao de us-la. Mas indispensvel a cada momento ter a noo precisa do que se est fazendo. Na prtica, h algumas funes com as quais simples e natural lidar usando a terminologia correta. Por exemplo, fcil acostumarse a escrever as funes notaes

sen : R R x.

log : R+ R,

guardando as

sen x

log x

para os nmeros reais que so os valores destas Por outro lado, quando se trata de uma

funes num dado ponto

funo polinomial, o bom-senso nos leva a dizer a funo

x2 5x + 6 p:RR
tal

em vez da forma mais correta e mais pedante a funo

Nmeros Cardinais

que

p(x) = x2 5x + 6
para todo

x R

. Caso anlogo se d com a funo exponencial

ex ,

embora recentemente se tenha tornado cada vez mais frequente escrever

exp(x) = ex

e assim poder falar da funo

exp : R R.

2. Deve-se ainda observar que uma funo consta de trs ingredientes:

domnio, contra-domnio e a lei de correspondncia quando dizemos simplesmente a funo domnio

x f (x).

Mesmo

f ,

cam subentendidos seu

e seu contra-domnio

Y.

Sem que eles sejam especicados,

no existe a funo. o domnio da funo

Assim sendo, uma pergunta do tipo Qual

f (x) = 1/x

?, estritamente falando, no faz

sentido. A pergunta correta seria: Qual o maior subconjunto tal que a frmula

f (x) = 1/x

dene uma funo

XR f : X R ?

Novamente, a pergunta incorreta mais simples de formular. Se for feita assim, preciso saber seu signicado. Segue-se do que foi dito acima que as funes

X Y

so iguais se, e somente se,

f : X Y e g : X = X , Y = Y e f (x) = g(x)

para todo

x X.

Exemplos
1. Sejam

o conjunto dos tringulos do plano

o conjunto dos

t X , zermos corresponder o nmero real f (t) = rea do tringulo t, obteremos uma funo f : X R.
nmeros reais (que abordaremos logo mais). Se, a cada

MA11 - Unidade 2

2.

Sejam

o conjunto dos segmentos de reta do plano

conjunto das retas desse mesmo plano. segmento

A regra que associa a cada

AB S

sua mediatriz

g(AB) dene uma funo g : S . n seu sucessor

3. A correspondncia que associa a cada nmero natural

s : N N, com s(n) = n + 1. Uma funo f : X Y chama-se injetiva quando elementos diferentes em X so transformados por f em elementos diferentes em Y . Ou seja, f injetiva quando n+1
dene uma funo

x=x

em

X f (x) = f (x ).

Esta condio pode tambm ser expressa em sua forma contrapositiva:

f (x) = f (x ) x = x .
Nos trs exemplos dados acima, apenas o terceiro de uma funo injetiva. (Dois tringulos diferentes podem ter a mesma rea e dois segmentos distintos podem ter a mesma mediatriz mas nmeros naturais diferentes tm sucessores diferentes.) Diz-se que uma funo qualquer elemento

f : X Y

sobrejetiva

quando, para

xX

tal que

y Y , pode-se encontrar (pelo menos) um elemento f (x) = y .

Nos trs exemplos dados acima, apenas o segundo apresenta uma funo sobrejetiva. (Toda reta do plano mediatriz de algum segmento mas apenas os nmeros reais positivos podem ser reas de tringulos e o nmero 1 no sucessor de nmero natural algum.) Mais geralmente, chama-se

imagem

do subconjunto

AX

pela

f :XY f (x), com x A.

funo

ao subconjunto A funo

f (A) Y formado pelos elementos f : X Y sobrejetiva quando f (X) =

Nmeros Cardinais

Y.

O conjunto

f (X),

imagem do domnio

pela funo

chama-se

tambm

a imagem da funo f .
f
o conjunto dos

Nos exemplos 1), 2) e 3) a imagem da funo nmeros reais positivos, a imagem de de

o conjunto dos nmeros

g todo o conjunto e a imagem naturais 2.

f : X Y , para saber se um certo elemento b Y pertence ou no imagem f (X), escrevemos a equao f (x) = b e procuramos achar algum x X que a satisfaa. Consequentemente, para mostrar que f sobrejetiva deve-se provar que a equao f (x) = y possui uma soluo x X , seja qual for o y Y dado.
Dada a funo

Recomendao
3.

Em muitos exemplos de funes

f : X Y,

principalmente na

Matemtica Elementar,

f (x)

exprime o valor

X e Y so conjuntos numricos e a regra x f (x) por meio de uma frmula que envolve x. x
inteiramente arbitrria, sendo

Mas em geral no precisa ser assim. A natureza da regra que ensina como obter

f (x)

quando dado

sujeita apenas a duas condies: a) No deve haver excees: conjunto a m de que a funo

tenha o

como domnio, a regra deve fornecer

f (x), seja qual for

x X dado.
b) No pode haver ambiguidades: a cada corresponder um exigncias.

x X , a regra deve fazer

nico f (x) em Y .

Os exemplos a seguir ilustram essas

MA11 - Unidade 2

Exemplos
f : N N, estipulando que, para todo n N, o nmero natural p = f (n) deve ser tal 2 que p + 3 = n. O nmero p = f (n) s pode ser encontrado se n for
4.

Considere a tentativa de denir uma funo

igual a 4, 7, 12, 19, ... forma

pois nem todos os nmeros naturais so da

p + 3.

Assim, esta regra no dene uma funo com domnio

N,

porque tem excees.

5. Indiquemos com

o conjunto dos nmeros reais positivos e com

Y o conjunto dos tringulos do plano. Para cada x X , ponhamos f (x) = t caso t seja um tringulo cuja rea x. Esta regra no dene uma funo f : X Y porque ambgua: dado o nmero x > 0, existe uma innidade de tringulos diferentes com rea x.

A Noo de Nmero Cardinal

chama-se uma e

Uma funo

f : X Y dncia biunvoca entre X

sobrejetiva.

bijeo,

ou uma

correspon-

quando ao mesmo tempo injetiva e

Exemplos
X = {1, 2, 3, 4, 5} e Y = {2, 4, 6, 8, 10}. Denindo f : X Y pela regra f (n) = 2n, temos uma correspondncia biunvoca, onde f (1) = 2, f (2) = 4, f (3) = 6, f (4) = 8 e f (5) = 10.
6. Sejam 7. Um exemplo particularmente curioso de correspondncia biunvoca

Nmeros Cardinais

foi descoberto pelo fsico Galileu Galilei, que viveu h quatrocentos anos. Seja

o conjunto dos nmeros naturais pares:

P = {2, 4, 6, . . . , 2n, . . .}.

Obtm-se uma correspondncia biunvoca

f :NP

pondo-se

f (n) =

2n

para todo

n N.

O interessante deste exemplo que

um sub-

conjunto prprio de

N. X
um segmento paralelo Seja ainda

8.

Sejam

a base de um tringulo e

Y,

unindo os outros dois lados desse tringulo.

vrtice oposto base

Y.

Obtm-se uma correspondncia biunvoca

f : X Y associando P x intersecta a base Y

a cada

xX

o ponto

f (x)

onde a semi-reta

Figura 1:

9.

Neste exemplo,

circunferncia o que passa por

X = C {P } ponto P e Y uma

o conjunto obtido retirando da reta perpendicular ao dimetro

P.

MA11 - Unidade 2

Figura 2:

Deniremos uma correspondncia biunvoca para cada

x X, f (x) =

interseo da semi-reta

f : X Y pondo, P x com reta Y . f :X Y.

Diz-se que dois conjuntos

tem o

mesmo nmero cardinal

quando se pode denir uma correspondncia biunvoca

Cada um dos quatro exemplos acima exibe um par de conjuntos

X, Y

com o mesmo cardinal.

Exemplo 10. Sejam

X = {1}

pode existir uma correspondncia e

Y = {1, 2}. Evidentemente no biunvoca f : X Y , portanto X

no tm o mesmo nmero cardinal.

A palavra nmero no dicionrio

As vezes se diz que os conjuntos

X Y

so (numericamente)

equiva-

lentes

quando possvel estabelecer uma correspondncia biunvoca ou seja, quando

f :X Y,

tm o mesmo nmero cardinal.

Isto explica (embora no justique) a denio dada no dicionrio mais vendido do pas. Em algumas situaes, ocorrem em Matem-

Nmeros Cardinais

tica denies do tipo seguinte: um

vetor

o conjunto de todos os

segmentos de reta do plano que so equipolentes a um segmento dado. (Denio por abstrao.) dizer: Nessa mesma veia, poder-se-ia tentar

nmero cardinal de um conjunto o conjunto de todos os No caso do dicionrio, h

conjuntos equivalentes a esse conjunto.

um conjunto de defeitos naquela denio, com um nmero cardinal razoavelmente elevado. Os trs mais graves so:

1.

Um dicionrio no um compndio de Matemtica, e muito

menos de Lgica. Deve conter explicaes acessveis ao leigo (de preferncia, corretas). As primeiras acepes da palavra nmero num dicionrio deveriam ser quantidade e resultado de uma contagem ou de uma medida.

2. A denio em causa s se aplica a nmeros cardinais, mas a ideia de nmero deveria abranger os racionais e, pelo menos, os reais.

3. O conjunto de todos os conjuntos equivalentes a um conjunto dado um conceito matematicamente incorreto. A noo de conjunto no pode ser usada indiscriminadamente, sem submeter-se a regras determinadas, sob pena de conduzir a paradoxos, ou contradies. Uma dessas regras probe que se forme conjuntos a no ser que seus elementos pertenam a, ou sejam subconjuntos de, um determinado conjuntouniverso. Um exemplo de paradoxo que resulta da desateno a essa regra o conjunto si mesmos.

de todos os conjuntos que no so elementos de

Pergunta-se:

ou no um elemento de si mesmo?

Qualquer que seja a resposta, chega-se a uma contradio.

10

MA11 - Unidade 2

3
Dado

Conjuntos Finitos
n N,
indiquemos com a notao

In o conjunto dos nmeros naturais de 1 at n. Assim, I1 = {1}, I2 = {1, 2}, I3 = {1, 2, 3} e, mais geralmente, um nmero natural k pertence a In se, e somente se, 1 k n.
Seja

um conjunto. Diz-se que

nito,

e que

X tem n ele-

mentos

quando se pode estabelecer uma correspondncia biunvoca O nmero natural

f : In X .
do conjunto

chama-se ento o

nmero cardinal
X.
A

ou, simplesmente, o nmero de elementos de

correspondncia

f : In X chama-se uma contagem dos elementos de X . Pondo f (1) = x1 , f (2) = x2 , ..., f (n) = xn , podemos escrever X = {x1 , x2 , . . . , xn }. Para todo n, o conjunto In nito e seu nmero cardinal n. Assim, todo nmero natural n o nmero cardinal de
algum conjunto nito. A m de evitar excees, admite-se ainda incluir o conjunto vazio

entre os conjuntos nitos e diz-se que tem zero elementos.

por denio, zero o nmero cardinal do conjunto vazio. Diz-se que um conjunto quer dizer que

Assim,

innito

quando ele no nito. Isto

no vazio e que, no importa qual seja

n N , no

existe correspondncia biunvoca No Exemplo 6 acima, temos dos elementos de

f : In X .
e

X = I5

f :XY

uma contagem

Y . Assim, Y um conjunto nito, com 5 elementos. O conjunto N dos nmeros naturais innito. Com efeito, dada qualquer funo f : In N , no importa qual n se xou, pomos k = f (1) + f (2) + + f (n) e vemos que, para todo x In , tem-se f (x) < k , logo no existe x In tal que f (x) = k . Assim, impossvel
cumprir a condio b) da denio de correspondncia biunvoca.

Nmeros Cardinais

11

O nmero cardinal de um conjunto nito a notao

X,

que indicaremos com

n(X),

goza de algumas propriedades bsicas, entre as quais

destacaremos as seguintes:

O nmero de elementos de um conjunto nito o mesmo, seja qual for a contagem que se adote. Isto signica que se f : Im X e
1.

g : In X
2.

so correspondncias biunvocas ento

m = n.

Todo subconjunto Y de um conjunto nito X nito e n(Y ) n(X). Tem-se n(Y ) = n(X) somente quando Y = X . 3. Se X e Y so nitos ento X Y nito e tem-se n(X Y ) = n(X) + n(Y ) n(X Y ) . 4. Sejam X , Y conjuntos nitos. Se n(X) > n(Y ), nenhuma funo f : X Y injetiva e nenhuma funo g : Y X sobrejetiva.
As demonstraes destes fatos se fazem por induo ou por boaordenao. (Veja, por exemplo,

Curso de Anlise,

vol. 1, pgs. 33-

38.) A primeira parte do item 4. acima conhecida como o

princpio

das casas de pombos :

se h mais pombos do que casas num pombal,

qualquer modo de alojar os pombos dever colocar pelo menos dois deles na mesma casa. As vezes, o mesmo fato chamado o

princpio

das gavetas :
n

se

m > n,

qualquer maneira de distribuir

objetos em

gavetas dever pr ao menos dois desses objetos na mesma gaveta.

(Na referncia citada, este o Corolrio 1 na pgina 35.) O princpio das casas de pombos, com toda sua simplicidade, possui interessantes aplicaes. Vejamos duas delas.

Exemplo 13.

Tomemos um nmero natural de 1 a 9.

Para xar

as ideias, seja 3 esse nmero. tural

Vamos provar que todo nmero na-

possui um mltiplo cuja representao decimal contm ape-

12

MA11 - Unidade 2

nas os algarismos 3 ou 0.

Para isso, consideremos o conjunto

X =

{3, 33, ..., 33...3},

elementos de

cujos elementos so os

primeiros nmeros natu-

rais representados somente por algarismos iguais a 3. Se algum dos

m, nosso trabalho acabou. Caso contrrio, formamos o conjunto Y = {1, 2, ..., m 1} e denimos a funo f : X Y pondo, para cada x X ,
for mltiplo de

f (x)
Como

= resto da diviso de

por

m.

Y , o princpio das casas de pombos assegura que existem elementos x1 < x2 no conjunto X tais que f (x1 ) = f (x2 ). Isto signica que x1 e x2 , quando divididos por m, deixam o mesmo resto. Logo x2 x1 mltiplo de m. Mas claro que se x1 tem p algarismos e x2 tem p + q algarismos ento a representao decimal de x2 x1 consiste em q algarismos iguais a 3 seguidos de p
tem mais elementos do que algarismos iguais a 0.

Exemplo 14. Vamos usar o princpio das gavetas para provar que,

numa reunio com

pessoas

(n

2),

h sempre duas pessoas (pelo

menos) que tm o mesmo nmero de amigos naquele grupo. Para ver isto, imaginemos uma das

caixas, numeradas com

0, 1, . . . , n 1.

A cada

n pessoas entregamos um carto que pedimos para depositar n1

no podem ambas receber

na caixa correspondente ao nmero de amigos que ela tem naquele grupo. As caixas de nmeros 0 e

cartes pois se houver algum que no tem amigos ali, nenhum dos presentes pode ser amigo de todos, e vice-versa. Portanto temos, na realidade,

cartes para serem depositados em

n1

caixas.

Pelo

princpio das gavetas, pelo menos uma das caixas vai receber dois ou mais cartes. Isto signica que duas ou mais pessoas ali tm o mesmo nmero de amigos entre os presentes.

Nmeros Cardinais

13

Sobre Conjuntos Innitos

Para encerrar estas consideraes a respeito de nmeros cardinais, faremos alguns comentrios sobre conjuntos innitos.

Em primeiro lugar, convm esclarecer que a maior contribuio de Cantor no foi a adoo da linguagem e da notao dos conjuntos e sim suas descobertas sobre os nmeros cardinais de conjuntos innitos. Ele foi o primeiro a descobrir que existem conjuntos innitos com diferentes cardinalidades ao provar que no pode haver uma correspondncia biunvoca entre nenhum conjunto o conjunto

e o conjunto

dos nmeros reais e que

pode estar em correspondncia biunvoca com

P(X)

cujos elementos so os subconjuntos de

X.

Alm

disso, ele mostrou que a reta, o plano e o espao tri-dimensional (ou mesmo espaos com dimenso superior a trs) tm o mesmo nmero cardinal. Estes fatos, que atualmente so considerados corriqueiros

entre os matemticos, causaram forte impacto na poca (meados do sculo dezenove).

A segunda observao diz respeito a funes conjunto em si mesmo. Quando

f :X X

de um

nito,

injetiva se, e somente

se, sobrejetiva. (Vide referncia anterior.) Mas isto no verdadeiro para

innito.

Por exemplo, se denirmos a funo

f : N N

pondo, para cada

n N, f (n)

= nmero de fatores primos distintos

que ocorrem na decomposio de no injetiva. (Para cada tais que

n,

veremos que

sobrejetiva mas

bN

existe uma innidade de nmeros

f (n) = b.)

Alm disso, as funes

n f : N N, g : N N,

14

MA11 - Unidade 2

h:NN

: N N,

denidas por

f (n) = n + 1, g(n) = n + 30, h(n) = 2n e (n) = 3n

so injetivas mas no so sobrejetivas. Estas quatro funes so protagonistas da seguinte historinha que fecha a seo. (1)

Fantasia Matemtica
O Grande Hotel Georg Cantor tinha uma innidade de quartos, numerados consecutivamente, um para cada nmero natural. Todos

eram igualmente confortveis. Num m-de-semana prolongado, o hotel estava com seus quartos todos ocupados, quando chega um viajante. A recepcionista vai logo dizendo:  Sinto muito, mas no h vagas. Ouvindo isto, o gerente interveio:  Podemos abrigar o cavalheiro, sim senhora. E ordena:  Transra o hspede do quarto 1 para o quarto 2, passe o do quarto 2 para o quarto 3 e assim em diante. Quem estiver no quarto

n,

mude para o quarto

n + 1.

Isto manter todos alojados e deixar

disponvel o quarto 1 para o recm-chegado. Logo depois chegou um nibus com 30 passageiros, todos querendo hospedagem. A recepcionista, tendo aprendido a lio, removeu o hspede de cada quarto

para o quarto

n + 30

e acolheu assim todos os

passageiros do nibus. Mas cou sem saber o que fazer quando, horas

Nmeros Cardinais

15

depois, chegou um trem com uma innidade de passageiros.

Deses-

perada, apelou para o gerente que prontamente resolveu o problema dizendo:  Passe cada hspede do quarto

para o quarto

2n.

Isto

deixar vagos todos os apartamentos de nmero mpar, nos quais poremos os novos hspedes.  Pensando melhor: mude quem est no quarto novos hspedes, ponha-os nos quartos de vagos os quartos de nmero

n para o quarto 3n. Os nmero 3n + 2. Deixaremos

3n + 1.

Assim, sobraro ainda innitos

quartos vazios e eu poderei ter sossego por algum tempo.

Recomendao
4.

No confunda conjunto innito com aquele que tem um nmero Quando, na linguagem

muito grande (porm nito) de elementos.

comum, se diz algo como  - J ouvi isto uma innidade de vezes, trata-se de uma mera fora de expresso. No h distncias innitas (mesmo entre duas galxias bem afastadas) e at o nmero de tomos do universo nito. (O fsico Arthur Eddington estimou o nmero de prtons do universo em

136 22 56

O nmero de tomos certamente

menor pois todo tomo contm ao menos um prton.) E importante ter sempre em mente que nenhum nmero natural todos os demais: tem-se sempre

maior do que

n < n + 1.

Exerccios
1.

f : X Y uma funo. A imagem inversa por f de um 1 conjunto B Y o conjunto f (B) = {x X; f (x) B}. Prove 1 que se tem sempre f (f (A)) A para todo A X e f (f 1 (B)) B
Seja

16

MA11 - Unidade 2

B Y . Prove tambm que f injetiva se, e somente se, f (f (A)) = A para todo A X . Analogamente, mostre que f 1 sobrejetiva se, e somente se, f (f (B)) = B para todo B Y .
para todo

2. Prove que a funo

uma funo

f : X Y injetiva se, g : Y X tal que g(f (x)) = x para

e somente se, existe todo

x X.

3. Prove que a funo

uma funo

f : X Y sobrejetiva se, e somente se, existe h : Y X tal que f (h(y)) = y para todo y Y .

f : X Y , suponha que g, h : Y X so funes tais que g(f (x)) = x para todo x X e f (h(y)) = y para todo y Y . Prove que g = h.
4. Dada a funo

f : N N tal que, para todo n N, a equao f (x) = n possui uma innidade de razes x N . (Sugesto : a todo nmero natural se escreve, de modo nico sob a forma 2 b, onde a, b N e b mpar.)
5. Dena uma funo sobrejetiva 6. Prove, por induo, que se

ento existem

n!

bijees

X um conjunto nito com n elementos f : X X.

7. Qual o erro da seguinte demonstrao por induo:

Teorema:

Todas as pessoas tm a mesma idade.

X um conjunto de n (n 1) X tm a mesma idade. Se n =

Prova: Provaremos por induo que se

pessoas, ento todos os elementos de

Nmeros Cardinais

17

a armao evidentemente verdadeira pois se

um conjunto

formado por uma nica pessoa, todos os elementos de idade.

tm a mesma

Suponhamos agora que a armao seja verdadeira para todos os

n elementos. Consideremos um conjunto com n + 1 pessoas, {a1 , a2 , . . . , an , an+1 } . Ora, {a1 , a2 , . . . , an } um conjunto de n pessoas, logo a1 , a2 , . . . , an tm a mesma idade. Mas {a2 , . . . , an , an+1 }
conjuntos de tambm um conjunto de n elementos, logo todos os seus elementos,

an+1 , tm a mesma idade. Mas de a1 , a2 , . . . , an tm a mesma idade de an e an+1 tm a mesma idade, todos os elementos de {a1 , a2 , . . . , an , an+1 } tm a mesma idade, conforme queramos
em particular e demonstrar.

an

8. Prove, por induo, que um conjunto com

elementos possui

2n

subconjuntos.

2) objetos de pesos distintos, prove que possvel determinar qual o mais leve e qual o mais pesado fazendo 2n3 pesagens
9. Dados

n (n

em uma balana de pratos. E esse o nmero mnimo de pesagens que permitem determinar o mais leve e o mais pesado?

10. Prove que, dado um conjunto com

elementos, possvel fazer

uma la com seus subconjuntos de tal modo que cada subconjunto da la pode ser obtido a partir do anterior pelo acrscimo ou pela supresso de um nico elemento.

11. Todos os quartos do Hotel Georg Cantor esto ocupados, quando

chegam os trens

T1 , T2 , . . . , Tn , . . .

(em quantidade innita), cada um

18

MA11 - Unidade 2

deles com innitos passageiros. Que deve fazer o gerente para hospedar todos?