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

Dados os conjuntos
de

em

Y )

X, Y ,

uma

funo f : X Y

(l-se uma funo

uma regra (ou conjunto de instrues) que diz como

associar a cada elemento

x X

um elemento

y = f (x) Y .

MA11 - Unidade 2

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 7 f (x) para indicar que f transforma (ou leva) x em
f (x).

conjunto

domnio

chama-se o

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 x

log x

sen : R R

log : R+ R,

guardando as

para os nmeros reais que so os valores destas

funes num dado ponto

x.

Por outro lado, quando se trata de uma

funo polinomial, o bom-senso nos leva a dizer

a funo

x2 5x + 6

em vez da forma mais correta e mais pedante a funo

p:RR

tal

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

e seu contra-domnio

no existe a funo.
o domnio da funo

Y.

f ,

x 7 f (x).

Mesmo

cam subentendidos seu

Sem que eles sejam especicados,

Assim sendo, uma pergunta do tipo Qual

f (x) = 1/x

?, estritamente falando, no faz

XR
f : X R ?

sentido. A pergunta correta seria: Qual o maior subconjunto

tal que a frmula

f (x) = 1/x

dene uma funo

Novamente, a pergunta incorreta mais simples de formular. Se for

feita assim, preciso saber seu signicado.

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

Segue-se do que foi dito acima que as funes

X0 Y 0

so iguais se, e somente se,

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

2.

MA11 - Unidade 2

Sejam

o conjunto dos segmentos de reta do plano

conjunto das retas desse mesmo plano.

segmento

AB S

sua mediatriz

A regra que associa a cada

g(AB) dene uma funo g : S .

3. A correspondncia que associa a cada nmero natural

n seu sucessor

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 6= x0

em

X f (x) 6= f (x0 ).

Esta condio pode tambm ser expressa em sua forma contrapositiva:

f (x) = f (x0 ) x = x0 .
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

f : X Y

sobrejetiva

quando, para

y Y , pode-se encontrar (pelo menos) um elemento

f (x) = y .

qualquer elemento

xX

tal que

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

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

imagem

AX

pela

f (A) Y formado pelos elementos

f : X Y sobrejetiva quando f (X) =

ao subconjunto
A funo

do subconjunto

Nmeros Cardinais

Y.

O conjunto

tambm

f (X),

imagem do domnio

pela funo

chama-se

a imagem da funo f .

Nos exemplos 1), 2) e 3) a imagem da funo

o conjunto dos

g todo o conjunto e a imagem

naturais > 2.

nmeros reais positivos, a imagem de

de

o conjunto dos nmeros

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

X e Y so conjuntos numricos e a regra x 7

f (x) por meio de uma frmula que envolve x.

Matemtica Elementar,

f (x)

exprime o valor

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

como obter

f (x)

quando dado

inteiramente arbitrria, sendo

sujeita apenas a duas condies:

a) No deve haver excees:
conjunto

a m de que a funo

como domnio, a regra deve fornecer

tenha o

f (x), seja qual for

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

nico f (x) em Y .

x X , a regra deve fazer

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

N,

p + 3.

pois nem todos os nmeros naturais so da

Assim, esta regra no dene uma funo com domnio

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

f : X Y
dncia biunvoca entre X

Uma funo

chama-se uma
e

bijeo,

ou uma

correspon-

quando ao mesmo tempo injetiva e

sobrejetiva.

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

2n

para todo

n N.

conjunto prprio de

8.

Sejam

Y,

f :NP

pondo-se

O interessante deste exemplo que

f (n) =

um sub-

N.

a base de um tringulo e

um segmento paralelo

unindo os outros dois lados desse tringulo.

vrtice oposto base

Y.

f : X Y associando
P x intersecta a base Y

Seja ainda

Obtm-se uma correspondncia biunvoca

a cada

xX

o ponto

f (x)

onde a semi-reta

Figura 1:

9.

X = C {P }
ponto P e Y uma

Neste exemplo,

circunferncia o
que passa por

P.

o conjunto obtido retirando da

reta perpendicular ao dimetro

MA11 - Unidade 2

Figura 2:

Deniremos uma correspondncia biunvoca

para cada

x X, f (x) =

interseo da semi-reta

Diz-se que dois conjuntos

tem o

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

mesmo nmero cardinal

quando se pode denir uma correspondncia biunvoca

f :X Y.

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

lentes

so (numericamente)

equiva-

quando possvel estabelecer uma correspondncia biunvoca

f :X Y,

ou seja, quando

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

conjuntos equivalentes a esse conjunto.

No caso do dicionrio, h

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

Conjuntos Finitos
n N,

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 6 k 6 n.
Dado

Seja

mentos

indiquemos com a notao

um conjunto. Diz-se que

nito,

e que

X tem n ele-

quando se pode estabelecer uma correspondncia biunvoca

f : In X .
do conjunto

O nmero natural

chama-se ento o

nmero cardinal

ou, simplesmente, o nmero de elementos de

X.

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

correspondncia

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.

Assim,

por denio, zero o nmero cardinal do conjunto vazio.

Diz-se que um conjunto
quer dizer que

innito

quando ele no nito. Isto

no vazio e que, no importa qual seja

existe correspondncia biunvoca

No Exemplo 6 acima, temos

n N , no

f : In X .

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
dos elementos de

cumprir a condio b) da denio de correspondncia biunvoca.

Nmeros Cardinais

11

O nmero cardinal de um conjunto nito

a notao

n(X),

X,

que indicaremos com

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

so correspondncias biunvocas ento

m = n.

Todo subconjunto Y de um conjunto nito X nito e n(Y ) 6

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.
2.

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

das casas de pombos :

princpio

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

das gavetas :
n

se

m > n,

qualquer maneira de distribuir

princpio

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.

as ideias, seja 3 esse nmero.

tural

Para xar

Vamos provar que todo nmero na-

possui um mltiplo cuja representao decimal contm ape-

12

MA11 - Unidade 2

nas os algarismos 3 ou 0.

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

Para isso, consideremos o conjunto

cujos elementos so os

X =

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 ,
elementos de

for mltiplo de

f (x)

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
Como

= resto da diviso de

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

na caixa correspondente ao nmero de amigos que ela tem naquele

grupo.

As caixas de nmeros 0 e

n1

no podem ambas receber

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

P(X)

e o conjunto

dos nmeros reais e que

pode estar em correspondncia biunvoca com

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

nito,

f :X X

de um

injetiva se, e somente

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

para

innito.

pondo, para cada

Por exemplo, se denirmos a funo

n N, f (n)

= nmero de fatores primos distintos

que ocorrem na decomposio de

no injetiva. (Para cada
tais que

f (n) = b.)

f : N N

bN

n,

veremos que

sobrejetiva mas

n
f : N N, g : N N,

existe uma innidade de nmeros

Alm disso, as funes

14

MA11 - Unidade 2

h:NN

: N N,

denidas por

f (n) = n + 1,
g(n) = n + 30,

(1)

h(n) = 2n e
(n) = 3n

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

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.

n para o quarto 3n. Os

nmero 3n + 2. Deixaremos

 Pensando melhor: mude quem est no quarto

novos hspedes, ponha-os nos quartos de
vagos os quartos de nmero

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

muito grande (porm nito) de elementos.

Quando, na linguagem

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
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

1.

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

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

2. Prove que a funo

e somente se, existe

uma funo

todo

x X.

f : X Y sobrejetiva se, e somente se, existe

h : Y X tal que f (h(y)) = y para todo y Y .

3. Prove que a funo

uma funo

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

X um conjunto nito com n elementos

f : X X.

6. Prove, por induo, que se

ento existem

n!

bijees

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

formado por uma nica pessoa, todos os elementos de

um conjunto

tm a mesma

idade.
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

an

demonstrar.

8. Prove, por induo, que um conjunto com

elementos possui

2n

subconjuntos.

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

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?