Introduo

lgebra Abstrata

Jaime Evaristo
Eduardo Perdigo
Segunda Edio
Captulo 2

2. Os nmeros naturais
2.1 Axiomas,
axiomaticamente

teorias

axiomticas,

objetos

construdos

Vimos na seo 1.1 que alguns objetos matemticos so admitidos de forma primitiva, no
sendo definidos. Um conjunto um ente primitivo, enquanto que uma funo no o , sendo
definida como o foi na seo 1.10.
Uma outra forma de se conceber objetos matemticos se estabelecer propriedades s quais
aquele objeto deve satisfazer, independentemente de qualquer conceituao anterior. Neste caso,
tais propriedades so chamadas axiomas ou postulados e diz-se que tal objeto foi construdo
axiomaticamente.
Axiomas tambm so utilizados para o estabelecimento de teorias matemticas. Para tal,
objetos so concebidos de forma primitiva e se estabelecem as propriedades (os axiomas) a que
estes objetos devem satisfazer. Uma teoria assim obtida dita uma teoria axiomtica e o exemplo
mais conhecido a Geometria Euclidiana, que foi construda a partir dos entes primitivos ponto,
reta e plano e de axiomas (chamados Postulados de Euclides) como os seguintes:

Dois pontos distintos determinam uma nica reta.

Uma reta sempre contm dois pontos distintos
Existem trs pontos que no pertencem a uma mesma reta
Por um ponto no pertencente a uma reta passa uma nica reta que paralela reta dada.

Estabelecidos os entes primitivos e os axiomas de uma teoria, sua ampliao decorre da

construo de outros objetos (por definies ou construes axiomticas) a serem manipulados na
teoria e do estabelecimento de propriedades gozadas pelos entes primitivos e pelos novos objetos
definidos. Estas propriedades so estabelecidas em lemas, proposies, teoremas e corolrios. Um
lema uma propriedade que no tem muita importncia por si mesma, mas bsica para a
demonstrao de outras propriedades; um teorema uma propriedade que tem extrema importncia
na teoria que est sendo desenvolvida ou tem importncia histrica no desenvolvimento da
Matemtica como um todo; um corolrio uma conseqncia imediata de uma proposio
(propriedade de importncia mediana) ou de um teorema.
Considerando que lemas, proposies, teoremas e corolrios no so axiomas, suas
veracidades devem ser devidamente demonstradas.

2.2 O conjunto dos nmeros naturais

Desde os primeiros anos do ensino fundamental estamos acostumados a trabalhar com
nmeros naturais, associando-os sempre idia de quantidade e utilizando-os para realizar
contagens. Aprendemos a somar e a multiplicar tais nmeros, mas no estabelecemos exatamente o
que eles so. o que faremos agora.
Vamos estabelecer axiomaticamente que o conjunto dos nmeros naturais o conjunto,
indicado por , que satisfaz aos seguintes axiomas, chamados postulados de Peano:
n).

1. Existe uma funo injetiva s de em (a imagem de n , s(n), chamada sucessor de

2. Em existe um elemento, chamado um e indicado por 1, tal que s() = {1}.

3. Se um predicado p definido em tal que
i) p(1) = V,
ii) se p(n) = V, ento p(s(n)) = V,
ento p uma tautologia em .

Observe que o axioma dois implica que e que s(1) 1. Assim, possui elementos
diferentes de 1. Representando por 2 (chamado dois) o natural s(1) e por 3 (chamado trs) o natural
s(2), temos que 3 2, pois se s(2) = 2, s no seria injetiva j que s(1) = 2. Na verdade, provaremos
adiante que temos s(n) n, qualquer que seja n .
Utilizando as representaes estabelecidas acima, representaremos o conjunto dos nmeros
naturais por = {1, 2, 3,...}, onde as reticncias "substituem" s(3) = 4 (quatro), s(4) = 5 (cinco),
s(5) = 6 (seis), s(6) = 7 (sete), s(7) = 8 (oito), s(8) = 9 (nove) e, assim, sucessivamente.
Observe ainda que este axioma implica que todo elemento n , n 1, sucessor de
natural um m. Este natural m chamado antecessor de n e indicado por n 1 (como veremos
adiante, o sucessor de n indicado n + 1). Observe tambm que s(n 1) = n.
O axioma (3) chamado princpio da induo e muito utilizado para demonstrar afirmaes
sobre nmeros naturais: para se demonstrar uma afirmao sobre os nmeros naturais, basta se
provar que a afirmao verdadeira para 1 e que se for verdadeira para um natural k, s-lo- para o
natural s(k). A condio (i) chamada base da induo e a assuno p(n) = V chamada hiptese
de induo. Como mostra a proposio a seguir, o princpio da induo pode ser enunciado de uma
outra forma.
Proposio 1.2
O princpio da induo equivalente seguinte propriedade:
Se A um subconjunto de tal 1 A e n A implica s(n) A, ento A = .
Demonstrao
Provemos inicialmente que o princpio da induo implica a propriedade acima. Para isto, seja
A um subconjunto de tal 1 A e n A implica s(n) A. Considere o predicado p em definido
por p(x) = V se e somente se x A. De 1 A temos que p(1) = V e de n A implica
s(n) A temos que p(n) = V implica p(s(n)) = V. Assim, p uma tautologia em e, portanto,
n A para todo n .
Provemos agora que a propriedade acima implica o princpio da induo. Seja ento um
postulado p em tal que p(1) = V e se p(k) = V, ento p(s(k)) = V. Considere o conjunto
A = {x | p}. De p(1) = V segue que 1 A e de p(k) = V implica p(s(k)) = V segue que n A
implica s(n) A. Assim, pela propriedade, A = e p uma tautologia em .

2.3 Operaes no conjunto dos nmeros naturais

Em definimos as seguintes operaes, considerando n, m nmeros naturais:
Adio (operador: +, denominao: mais)
a) n + 1 = s(n);
b) n + (m + 1) = s(n + m).
Multiplicao (operador: . ou , denominao: vez(es))
a) n . 1 = n;
b) n . (m + 1) = n . m + n.
Observe que, de acordo com o item a da definio da adio, os itens b destas definies
podem ser escritas como n + s(m) = s(n + m) e n . s(m) = n . m + n.
necessrio se provar que estas operaes so, de fato, operaes em . Isto , necessrio
provar que se m, n , ento n + m e n . m . Para demonstrar a primeira afirmao, seja
n e consideremos o predicado em definido por p(m) = V se n + m . Temos que
p(1) = V, pois n + 1 = s(n) e s uma funo de em . Alm disso, se p(m) = V, temos

n + m e ento, como n + s(m) = n + (m + 1) = s(n + m), temos p(s(m)) = V, pois, novamente, s

uma funo de em . Evidentemente, este raciocnio pode se aplicar multiplicao.
Exemplos
a) 2 + 1 = s(2) = 3.
b) 1 + 2 = 1 + (1 + 1) = s(1 + 1) = s(2) = 3.
c) 2 + 2 = 2 + (1 + 1) = s(2 + 1) = s(3) = 4.
d) 1 2 = 1 (1 + 1) = 1 1 + 1 = 1 + 1 = 2.
e) 2 2 = 2 (1 + 1) = 2 1 + 2 = 2 + 2 = 4.
Vale observar que estas so as operaes com nmeros naturais que aprendemos nos
primeiros anos do ensino fundamental.
A imagem n + m chamada soma de n e m. Neste caso, m e n so chamados parcelas. A
imagem n . m chamada produto de n por m. Neste caso, n e m so chamados fatores. Um produto
do tipo n . n pode ser representada por n2 (lido n ao quadrado).
Observe que o conceito de antecessor introduzido na seo anterior e a definio de adio
implicam que se n 1, ento (n 1) + 1 = n.
Para analisar a comutatividade, a associatividade e a existncia de elemento neutro da
multiplicao, necessitamos do seguinte lema.
Lema 1.2
Para todo n , temos
i) n + 1 = 1 + n;
ii) n . 1 = 1 . n.
Demonstrao
i) Consideremos o predicado em
p(n) = V se n + 1 = 1 + n.
Temos que p(1) = V pois, evidentemente, 1 + 1 = 1 + 1. Suponhamos agora que p(n) = V e
provemos, a partir da, que p(s(n)) = V. De p(n) = V, temos n + 1 = 1 + n e ento
1 + s(n) = s(1 + n) = s(n + 1) = (n + 1) + 1 = s(n) + 1 e, portanto, p(s(n)) = V. Assim, pelo Princpio
da Induo, p(n) = V para todo n .
ii) Consideremos o predicado em ,
p(n) = V se n . 1 = 1 . n.
Temos que p(1) = V pois, evidentemente, 1 . 1 = 1 . 1. Suponhamos agora que p(n) = V e
provemos, a partir da, que p(s(n)) = V. De p(n) = V, temos n . 1 = 1 . n e ento
s(n) . 1 = s(n) = n + 1 = n . 1 + 1 = 1 . n + 1 = 1 . s(n), onde, na ltima igualdade, utilizamos o item
(b) da definio da multiplicao. Logo p(s(n)) = V.
Uma implicao imediata da igualdade n + 1 = 1 + n a inexistncia de elemento neutro da
adio. De fato, se existisse um natural e tal que n + e = e + n = n, para todo natural n, teramos
1 + e = e + 1 = 1, contrariando o segundo postulado de Peano. Por seu turno, as igualdades
n = n . 1 = 1 . n implicam que o natural 1 o elemento neutro da multiplicao. Sobre as demais
propriedades das operaes temos a seguinte proposio.
Proposio 2.2
As operaes adio e multiplicao so associativas e comutativas e a multiplicao
distributiva em relao adio. Isto , para todos n, m, p , temos
i) n + (m + p) = (n + m) + p (associatividade da adio);
ii) n . (m + p) = n . m + n . p (distributividade da multiplicao em relao adio);
iii) n . (m . p) = (n . m) . p (associatividade da multiplicao);

iv) n + m = m + n (comutatividade da adio);

v) n . m = m . n (comutatividade da multiplicao);
Demonstrao.
i) Sejam n, m e consideremos o predicado em
p(k) = V se (n + m) + k = n + (m + k).
Temos p(1) = V, pois (n + m ) + 1 = s(n + m) = n + (m + 1), onde na ltima igualdade foi
utilizada o item b da definio da adio.
Suponhamos que p(k) = V, ou seja, suponhamos que (n + m) + k = n + (m + k), e provemos
que p(s(k)) = V.
Temos (n + m) + s(k) = s((n + m) + k) = s(n + (m + k)) = n + s(m + k) = n + (m + s(k)).
ii) Sejam n, m e consideremos o predicado em
p(k) = V se n . (m + k) = n . m + n . k.
Temos p(1) = V, pois n . (m + 1) = n . m + n = n . m + n . 1.
Suponhamos que p(k) = V, ou seja, suponhamos que n . (m + k) = n . m + n. k, e provemos que
p(s(k)) = V.
Temos n . (m + s(k)) = n . s(m + k) = n . ((m + k) + 1) = n . (m + k) + n = (n . m + n . k) + n =
= n . m + (n . k + n) = n . m + n . s(k).
iii) Sejam n, m e consideremos o predicado em
p(k) = V se (n . m) . k = n . (m . k).
Temos p(1) = V, pois (n . m) . 1 = n . m = n . (m . 1).
Suponhamos que p(k) = V, ou seja, suponhamos que (n . m) . k = n . (m . k), e provemos que
p(s(k)) = V. Temos
(n . m) . s(k) = (n . m) . k + (n . m)
(n . m) . s(k) = n . (m .k) + n . m
(n . m) . s(k) = n . (m . k + m)
(n . m) . s(k) = n . (m . s(k))

(definio da multiplicao)
(hiptese indutiva)
(distributividade "ao contrrio")
(definio de multiplicao)

iv) Seja n e consideremos o predicado em

p(m) = V se n + m = m + n.
Pelo lema 1.2, temos p(1) = V. Suponhamos que p(m) = V, ou seja, suponhamos que n + m =
m + n, e provemos que p(s(m)) = V. Temos
n + s(m) = n + (m + 1)
n + s(m) = (n + m) + 1
n + s(m) = (m + n) + 1
n + s(m) = m + (n + 1)
n + s(m) = m + (1 + n)
n + s(m) = (m + 1) + n
n + s(m) = s(m) + n

(definio de sucessor)
(associatividade da adio)
(hiptese indutiva)
(associatividade da adio)
(lema 1.2)
(associatividade da adio)
(definio de sucessor)

v) Seja n e consideremos o predicado em

p(m) = V se n . m = m . n.
Pelo lema 1.2, temos p(1) = V. Suponhamos que p(m) = V, ou seja, suponhamos que
n . m = m . n, e provemos que p(s(m)) = V.
Inicialmente, provemos que (n + m) . p = n . p + m . p, quaisquer que sejam os naturais n, m e
p. Para isto, consideremos o predicado em
q(k) = V se (n + m) . k = n . k + m . k.

Temos que q(1) = V, pois (m + n) . 1 = m + n = m . 1 + n . 1. Suponhamos que q(k) = V e

provemos que q(s(k)) = V. Temos
(m + n) . (k + 1) = (m + n) . k + m + n
(m + n) . (k + 1) = m . k + n . k + m + n
(m + n) . (k + 1) = m . k + m + n . k + n
(m + n) . (k + 1) = m . (k + 1) + n . (k + 1)

(distributividade e associatividade da soma)

(hiptese indutiva)
(comutatividade da adio)
(distributividade "ao contrrio")

Agora, voltando ao predicado p, temos

n . (m + 1) = n . m + n
n . (m + 1) = m . n + n
n . (m + 1) = m . n + 1 . n
n . (m + 1) = (m + 1) . n

(definio de multiplicao)
(hiptese indutiva)
(n = n . 1 = 1 .n)
(demonstrao acima)

As propriedades mostradas acima, entre outras finalidades, servem para facilitar a

determinao de resultados de operaes. Por exemplo,
3 + 4 = 4 + 3 = 4 + (2 + 1) = 4 + (1 + 2) = (4 + 1) + 2 = 5 + 2 = 5 + (1 + 1) = 6 + 1 = 7
2 . 4 = 2 . (2 + 2) = 2 .2 + 2 .2 = 4 + 4 = 4 + (3 + 1) = (4 + 3) + 1 = 7 + 1 = 8.
A prtica diuturna permite memorizar os resultados das operaes envolvendo os naturais de
1 a 9: so as tabuadas da adio e da multiplicao.
Observe que a distributividade da multiplicao em relao soma, dada por
n . (m + p) = n . m + n . p, foi algumas vezes utilizada do segundo membro para o primeiro. Quando
se utiliza esta propriedade neste sentido, se diz que se est fatorando n ou que se est colocando n
em evidncia.
Corolrio 1.2
Se n, m , ento s(n) + m = n + s(m).
Demonstrao
Temos s(n) + m = (n + 1) + m = n + (1 + m) = n + (m + 1) = n + s(m)
Pela injetividade da funo sucessor estabelecida no primeiro axioma de Peano, temos que
n + 1 = m + 1 implica m = n. Na verdade, esta concluso pode ser generalizada, de acordo com a
seguinte proposio, chamada lei do corte (ou do cancelamento) da adio.
Proposio 3.2
Sejam n, m, k . Se n + k = m + k, ento n = m.
Demonstrao
Consideremos o predicado em definido por
p(k) = V se n + k = m + k implicar n = m.
Pela observao acima temos que p(1) = V. Suponhamos que p(k) = V e provemos que
p(s(k)) = V. Ora, se n + (k + 1) = m + (k + 1), temos, por associatividade, (n + k) + 1 = (m + k) + 1 e
ento, pelo primeiro axioma de Peano, n + k = m + k. Da, pela hiptese de induo, n = m,
provando que p(s(k)) = V.

2.4 Equaes no conjunto dos nmeros naturais

Para analisarmos uma lei do corte para a multiplicao e definirmos uma relao de ordem no
conjunto dos nmeros naturais, consideremos a seguinte definio. Se x uma indeterminada em
e n, m so nmeros naturais, uma igualdade do tipo n + x = m chamada de uma equao em .
Um natural r tal que n + r = m chamado soluo da equao e se uma equao admitir uma
soluo ela dita solvel. Por exemplo, a equao 1 + x = 3 solvel com soluo r = 2.

Claramente, a soluo de uma equao em solvel nica. De fato, se r e r so solues da

equao n + x = m, temos n + r = m e n + r = m o que implica, pela transitividade da igualdade,
n + r = n + r, advindo da, pela lei do corte para adio, r = r.
Sobre equaes em , temos a seguinte proposio
Proposio 4.2
Sejam n, m ,
i) A equao n + x = n no solvel.
ii) Se a equao n + x = m for solvel, ento a equao m + x = n no solvel.
iii) Se a equao n + x = m for solvel, ento s(n) = m ou a equao s(n) + x = m solvel.
iv) Se a equao n + x = s(m) no solvel, ento a equao n + x = m tambm no .
v) Se a equao n + x = m no for solvel, ento n = m ou a equao m + x = n solvel.
Demonstrao
i) Se existisse r tal que n + r = n, teramos n + (r + 1) = n + 1 o que implicaria, pela lei do
corte, r + 1 = 1. Esta igualdade acarretaria s(r) =1, contrariando o segundo axioma de Peano.
ii) Se as equaes n + x = m e m + x = n fossem solveis, existiriam naturais r e p tais que
n + r = m e m + p = n. Da, n + (r + p) = n e a equao n + x = n teria soluo.
iii) Seja r a soluo da equao n + x = m. Se r = 1, temos n + 1 = m e, portanto, m = s(n). Se
r 1, temos r = s(r 1) e ento n + s(r 1) = m o que implica, pelo corolrio 1.2, s(n) + (r 1) = m.
Esta igualdade mostra que a equao s(n) + x = m solvel.
iv) Se a equao n + x = m fosse solvel, existiria um natural r tal que n + r = m, o que
implicaria n + (r + 1) = m + 1 e a equao n + x = s(m) seria solvel.
v) Seja n e consideremos o predicado em
p(m) = V se a equao n + x = m no for solvel, ento n = m ou a equao m + x = n
solvel.
Temos que p(1) = V, pois se n + x = 1 no for solvel e tivermos n 1, temos s(n 1) = n e
ento 1 + (n 1) = s(n 1) = n e a equao 1 + x = n solvel.
Suponhamos que p(m) = V e provemos que p(s(m)) = V. Para isto, suponhamos que a equao
n + x = s(m) no seja solvel. Da, pelo item iv, a equao n + x = m no solvel o que implica
pela hiptese de induo n = m ou n + x = m solvel. Porm, n m, pois, do contrrio,
n + 1 = s(m), o que contraria a hiptese levantada acima de que a equao n + x = s(m) no
solvel. Logo, m + x = n solvel e ento, pelo item iii, s(m) = n ou s(m) + x = n solvel,
mostrando que p(s(m)) = V.
Corolrio 2.2
Para todo natural n, s(n) n.
Demonstrao
Se existisse um natural k tal que s(k) = k teramos k + 1 = k e a equao k + x = k seria solvel,
contrariando o item i da proposio anterior.
Agora temos condies de provar a lei do corte para a multiplicao.
Proposio 5.2
Se n, m, p e n . p = m . p, ento n = m.
Demonstrao
Pela proposio anterior, se n m, uma das equaes n + x = m ou m + x = n seria solvel. Se
existisse um natural r tal n + r = m, teramos (n + r) . p = m . p o que implicaria n . p + r. p = m . p e

a equao n . p + x = m . p seria solvel, contrariando o item i da proposio anterior, pois, por

hiptese, n . p = m . p. Como evidente que este raciocnio se aplica possibilidade de que a
equao m + x = n seja solvel, temos que n = m.

2.5 Uma relao de ordem no conjunto dos nmeros naturais

No conjunto dos nmeros naturais definimos uma relao, chamada menor do que ou igual a
e indicada pelo smbolo , por
n m se n = m ou a equao n + x = m solvel.
Observe que, como a solubilidade da equao n + x = m implica a existncia de um natural r
tal que n + r = m, a relao poderia ser definida da seguinte forma
n m se n = m ou existe um natural r tal que n + r = m.
Proposio 6.2
A relao uma relao de ordem. Isto , reflexiva, antissimtrica e transitiva e total.
Demonstrao
Sejam a, b e c nmeros naturais quaisquer. Pela prpria definio da relao, se a = b, temos
a b. Assim, a a e a relao reflexiva.
Suponhamos agora que a b e b a. Se a e b fossem diferentes, as equaes a + x = b e
b + x = a = b seriam solveis o que contrariaria a proposio 4.2. Logo a = b e a relao
antissimtrica.
Se a b e b c, temos a = b ou existe um natural p tal que a + p = b e b = c ou existe um
natural r tal que b + r = c. Da, a = c ou a + (r + p) = c, o que mostra que a c. Assim,
transitiva.
Finalmente, a proposio 4.2 garante que a = b ou a + x = b solvel ou b + x = a solvel.
Ou seja, a b ou b a e total.
Alm de ser uma relao de ordem, a relao satisfaz s seguintes propriedades.
Proposio 7.2
Sejam n, m tais que n m. Ento, para todo natural p, n + p m + p e n . p m . p.
Demonstrao
De n m segue que n = m ou existe um natural r tal que n + r = m. De n = m segue que
n + p = m + p e n . p = m . p. De n + r = m segue que n + (r + p) = m + p e n . p + r . p = m . p, que
implicam (n + p) + r = m + p e n . p + r . p = m . p. Logo, n + p m + p e n . p m . p.
Quando dois naturais n e m so tais que n m e n m dizemos que n menor do que m e
indicamos por n < m. Observe que, como as condies n = m e a equao n + x = m solvel
so incompatveis, dizer que n < m implica que a equao n + x = m solvel. Ou seja, n < m se e
somente se existe um natural r tal que n + r = m. Observe que < pode ser vista como uma relao
binria em que, como fcil provar, transitiva (ver exerccio 2.7).
Tambm usamos m n (lido m maior do que ou igual n) para indicar que n m e m > n (lido
m maior n) como sinnimo de n < m. Como as relaes e < so transitivas, quando tivermos
n m e m p, podemos escrever n m p e quando tivermos n < m e m < p, podemos escrever
n < m < p, caso em que dizemos que m est entre n e p. Qualquer uma das relaes <, , >, e
chamada desigualdade.
interessante observar, como mostra a proposio a seguir, que no existe nmero natural
entre um natural e o seu sucessor.
Proposio 8.2

Sejam n e m nmeros naturais. Se m > n, ento m n + 1.

Demonstrao
Se existisse um natural m tal que n < m < n + 1 existiriam naturais r e p tais que n + r = m e
m + p = n + 1 de onde seguiria que n + (r + p) = n + 1. Da, pela lei do corte, teramos r + p =1.
Porm a existncia de naturais r e p tais que r + p =1 uma contradio, pois, se p = 1, r + 1 =1 e se
p 1, (r + (p 1)) + 1 =1, que contrariam o segundo axioma de Peano.
O conjunto dos nmeros naturais satisfaz a uma outra propriedade que ser importante no
sentido de relacionar o conjunto dos nmeros naturais com contagens. Para sua demonstrao
necessitamos do seguinte lema.
Lema 2.2
Seja n, m . Ento
i) 1 n;
ii) n < s(n);
iii) Se n < s(m), ento n m.
Demonstrao
i) Se n 1, como 1 + (n 1) = n, temos 1 < n. Logo, 1 n.
ii) Decore imediato da igualdade n + 1 = s(n).
iii) Por contradio, suponhamos que m < n. Da a equao m + x = n solvel e ento, pela
proposio 4.2, s(m) = n ou a equao s(m) + x = n solvel. Assim s(m) n, contrariando a
hiptese de que n < s(m).
Observe que o item ii do lema anterior e a transitividade da relao < implicam que
1 < 2 < 3 < < 9 < . Da ser natural a representao do conjunto dos nmeros naturais por
= {1, 2, 3,...}.
Proposio 9.2 (Princpio da Boa Ordenao-PBO)
Seja M um subconjunto dos nmeros naturais. Se M no vazio, ento existe p M tal que
p m qualquer que seja m M (p chamado menor elemento ou elemento mnimo de M).
Demonstrao
Considere o conjunto L = {x | x m, qualquer que seja m M}. Como, para todo natural
k, s(k) > k, temos que s(m) M quando m M. Assim, L e ento, como o lema anterior
implica 1 L, da proposio 1.2 segue que existe p L tal que s(p) L. Da, existe k M tal que
k < s(p) o que implica (lema anterior) a existncia de k M tal que k p. Porm, como p L e
k M temos p k, e estas duas desigualdades implicam p = k. Assim, p M e, como p L, p m,
qualquer que seja m M.

2.6 Conjuntos finitos

Como dissemos no final da seo 2.1, aprendemos a manipular nmeros naturais associandoos a quantidades e realizando contagens. Nesta seo vamos formalizar estas idias.
Dado n , seja In = {x | x n}. Dizemos que um conjunto A finito se A = ou
existem um natural n e uma bijeo de In em A (ou, por inversibilidade, uma bijeo de A em In) .
Por exemplo, o conjunto A = {a, b, c} um conjunto finito pois, trivialmente, existe uma funo
bijetiva do conjunto I3 = {1, 2, 3} em A: f = {(1, a), (2, b), (3, c)}. Evidentemente, para cada n ,
o conjunto In finito, pois a identidade uma bijeo de In em In. Se um conjunto A no finito
dizemos que ele infinito.

Vamos mostrar que se A finito, ento o natural n determinado pelo conjunto A e pela
existncia da bijeo de A em In. Esse fato decorre da seguinte propriedade dos conjuntos do tipo In.
Proposio 10.2
Seja n . Se A um subconjunto prprio de In e f uma funo de A em In, ento f no
bijetiva.
Demonstrao
Seja Y = {x |existem A Ix, A Ix, e uma bijeo f de A em Ix}. Devemos provar que
Y = . Por contradio, suponhamos que Y . Assim, pelo Princpio da Boa Ordenao, Y tem
um menor elemento m e, portanto, h um subconjunto prprio A de Im tal que existe uma bijeo f
de A em Im. Se m A, por uma propriedade apresentada na seo 1.16, existe uma funo bijetiva
g de A em Im, com g(m) = m e a restrio g ao conjunto A {m} uma bijeo de A {m} em Im-1,
o que contraria o fato de que m o elemento mnimo de Y. Se m A, seja
a A tal que m = f(a). Assim, a restrio de f ao conjunto A {a} uma bijeo de A {a} em
Im-1, o que contraria tambm fato de que m o elemento mnimo de Y.
Corolrio 3.2
Seja A um conjunto finito no vazio. Se existem naturais n e m e bijees f de A em In e g de
Im em A, ento n = m.
Demonstrao
Como g de Im em A e f de A em In so bijetivas, as funes f o g, de Im em In, e (f o g)-1, de In
em Im, so bijetivas. Se m < n, Im subconjunto prprio de In e a funo f o g contrariaria a
proposio anterior. Do mesmo modo a funo (f o g)-1 contrariaria a citada proposio se n < m.
Logo n = m.
Se A um conjunto finito no vazio, o nico natural n definido pela existncia do subconjunto
In e da bijeo de In em A chamado cardinalidade de A ou nmero de elementos de A, indicado por
|A| ou n(A). Dizemos tambm que A tem n elementos, sendo a obteno deste nmero uma
contagem dos elementos de A.
Claramente, se A e B so dois conjuntos finitos disjuntos (isto , A B = ),
n(A B) = n(A) + n(B). Este fato utilizado para o ensino inicial de somas de nmeros naturais:
para se explicar que 2 + 3 = 5, toma-se um conjunto com duas laranjas e um outro conjunto com
trs laranjas e mostra-se que a unio dos dois conjuntos ter cinco laranjas.
O corolrio a seguir conhecido como princpio da casa dos pombos ou princpio das
gavetas e formaliza matematicamente um fato bastante intuitivo: se num pombal existem mais
pombos que casas, pelo menos uma casa dever abrigar mais de um pombo; se existirem mais casas
do que pombos, pelo menos uma das casas ficar desocupada.
Corolrio 4.2
Sejam A e B dois conjuntos finitos e f uma funo de A em B. Se |A| |B|, ento f no
bijetiva.
Demonstrao
Sejam n = |A| e m = |B|. Assim, existem funes bijetivas g de In em A e h de B em Im. Se
n < m e a funo f de A em B fosse bijetiva, a funo h o f o g seria uma funo bijetiva de In em Im,
contrariando a proposio 10.2, j que se n < m, ento In subconjunto prprio de Im. Com
raciocnio semelhante chegaramos a uma contradio se m < n.
Conclumos este captulo discutindo a finitude do conjunto dos nmeros dos nmeros
naturais.
Corolrio 5.2

O conjunto dos nmeros naturais infinito.

Demonstrao
Se fosse finito, haveria um nmero natural n e uma bijeo f de em In e a restrio de f ao
conjunto In+1 seria uma bijeo de In+1 em f( In+1), o que contrariaria a proposio 4.2,
considerando que f( In+1) In In+1 e In In+1.

2. 5 Exerccios
2.1. Defina uma funo sobrejetiva de em , diferente da funo identidade.
2.2. Considere o seguinte predicado definido em :
p(n) = V se n nmero pequeno.
Temos que p(1) = 1, pois 1 um numero pequeno. Alm disto, se p(n) = V, bvio que
p(s(n)) = V, pois se n um nmero pequeno, ento n + 1 um nmero pequeno. Assim, pelo
Princpio da Induo, todo nmero natural pequeno. O que h de errado com esta
demonstrao?.
2.3. Mostre que, quaisquer que sejam os naturais a e b,
a) 2 . a = a + a.
b) (a + b)2 = a2 + 2 . a . b + b2.
2.4. Mostre que a relao definida em x por (m, n) (p, q) se e somente se m + q = n + p
uma a relao de equivalncia.
2.5. Mostre que, qualquer que seja o natural n
a) 1 + 3 + ... + (2 . n 1) = n2.
b) 2 + 4 + ... + 2 . n = n . (n + 1).
2.6. Em definamos a operao n m = n + m + n . m. Mostre que comutativa,
associativa e no possui elemento neutro.
2.7. Representemos por n m a soluo da equao solvel m + x = n e consideremos um
natural p. Mostre que
a) n m = (n + p) (m + p).
b) Se n m = p, ento n p = m.
c) (n m) . p = n . p m . p.
2.8. Sejam a, b, c, d . Mostre que
a) Se a + c b + c, ento a b.
b) Se a b e c d, ento a + c b + d.
c) Se a . c b . c, ento a b
2.9. Sejam a, b, c . Mostre que
a) Se a < b e b < c, ento a < c.
b) Se a < b e b c, ento a < c.
c) Se a < b, ento a + c < b + c.
d) Se a < b, ento a . c < b . c.
2.10. Seja A um conjunto finito no vazio, com |A| = n. Prove que |(A)| = 2n.