Introduo

lgebra Abstrata
Jaime Evaristo
Eduardo Perdigo
Segunda Edio
Captulo 2
2. s n!meros naturais
2." A#iomas$ teorias a#iom%ti&as$ ob'etos &onstrudos
a#iomati&amente
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 satisfa!er, independentemente de qualquer conceituao anterior. "este caso,
tais propriedades so c#amadas axiomas ou postulados e di!$se que tal objeto foi construdo
axiomaticamente.
Axiomas tambm so utili!ados para o estabelecimento de teorias matemticas. %ara tal,
objetos so concebidos de forma primitiva e se estabelecem as propriedades &os axiomas' a que
estes objetos devem satisfa!er. Uma teoria assim obtida dita uma teoria axiomtica e o e(emplo
mais con#ecido a Geometria Euclidiana, que foi constru)da a partir dos entes primitivos ponto,
reta e plano e de a(iomas &c#amados Postulados de *uclides' como os seguintes+
,ois pontos distintos determinam uma -nica reta.
Uma reta sempre contm dois pontos distintos
*(istem tr.s pontos que no pertencem a uma mesma reta
%or um ponto no pertencente a uma reta passa uma -nica reta que paralela reta dada.
*stabelecidos os entes primitivos e os a(iomas de uma teoria, sua ampliao decorre da
construo de outros objetos &por defini/es ou constru/es a(iomticas' a serem manipulados na
teoria e do estabelecimento de propriedades go!adas pelos entes primitivos e pelos novos objetos
definidos. *stas propriedades so estabelecidas em lemas, proposies, teoremas e corolrios. Um
lema uma propriedade que no tem muita import0ncia por si mesma, mas bsica para a
demonstrao de outras propriedades1 um teorema uma propriedade que tem e(trema import0ncia
na teoria que est sendo desenvolvida ou tem import0ncia #ist2rica no desenvolvimento da
3atemtica como um todo1 um corolrio uma conseq4.ncia imediata de uma proposio
&propriedade de import0ncia mediana' ou de um teorema.
5onsiderando que lemas, proposi/es, teoremas e corolrios no so a(iomas, suas
veracidades devem ser devidamente demonstradas.
2.2 &on'unto dos n!meros naturais
,esde os primeiros anos do ensino fundamental estamos acostumados a trabal#ar com
nmeros naturais, associando$os sempre idia de quantidade e utili!ando$os para reali!ar
contagens. 6prendemos a somar e a multiplicar tais n-meros, mas no estabelecemos e(atamente o
que eles so. 7 o que faremos agora.
Vamos estabelecer a(iomaticamente que o conjunto dos nmeros naturais o conjunto,
indicado por , que satisfa! aos seguintes a(iomas, c#amados postulados de Peano+
1. *(iste uma funo injetiva s de em &a imagem de n , s&n', c#amada sucessor de
n'.
8. *m e(iste um elemento, c#amado um e indicado por 1, tal que s&' 9 : ;1<.
=. >e um predicado p definido em tal que
i' p&1' 9 V,
ii' se p&n' 9 V, ento p&s&n'' 9 V,
ento p uma tautologia em .
?bserve que o a(ioma dois implica que e que s&1' 1. 6ssim, possui elementos
diferentes de 1. @epresentando por 8 &c#amado dois' o natural s&1' e por = &c#amado trs' o natural
s&8', temos que = 8, pois se s&8' 9 8, s no seria injetiva j que s&1' 9 8. "a verdade, provaremos
adiante que temos s&n' n, qualquer que seja n .
Utili!ando as representa/es estabelecidas acima, representaremos o conjunto dos n-meros
naturais por 9 ;1, 8, =,...<, onde as retic.ncias AsubstituemA s&=' 9 B &quatro' s&B' 9 C &cinco',
s&C' 9 D &seis', s&D' 9 E &sete', s&E' 9 F &oito', s&F' 9 G &no!e' e assim, sucessivamente.
?bserve ainda que este a(ioma implica que todo elemento n , n 1, sucessor de
natural um m. *ste natural m c#amado antecessor de n e indicado por n : 1 &como veremos
adiante, o sucessor de n indicado n H 1'. ?bserve tambm que s&n : 1' 9 n.
? a(ioma &=' c#amado princpio da induo e muito utili!ado para demonstrar afirma/es
sobre n-meros naturais+ para se demonstrar uma afirmao sobre os n-meros naturais, basta se
provar que a afirmao verdadeira para 1 e que se for verdadeira para um natural ", s.$lo$ para o
natural s&"'. 6 condio &i' c#amada #ase da induo e a assuno p&n' 9 V c#amada $ip%tese
de induo. 5omo mostra a proposio a seguir, o princpio da induo pode ser enunciado de uma
outra forma.
Proposio 1.8
? princ)pio da induo equivalente seguinte propriedade+
>e A um subconjunto de tal 1 A e n A implica s&n' A, ento A 9 .
&emonstrao
%rovemos inicialmente que o princ)pio da induo implica a propriedade acima. %ara isto, seja
A um subconjunto de tal 1 A e n A implica s&n' A. 5onsidere o predicado p em definido
por p&(' 9 V se e somente se ( A. ,e 1 A temos que p&1' 9 V e de n A implica
s&n' A temos que p&n' 9 V implica p&s&n'' 9 V. 6ssim, p uma tautologia em e, portanto,
n A para todo n .
%rovemos agora que a propriedade acima implica o princ)pio da induo. >eja ento um
postulado p em tal que p&1' 9 V e se p&"' 9 V, ento p&s&"'' 9 V. 5onsidere o conjunto
A 9 ;( I p<. ,e p&1' 9 V segue que 1 A e de p&J' 9 V implica p&s&J'' 9 V segue que n A
implica s&n' A. 6ssim, pela propriedade, A 9 e p uma tautologia em .
2.( pera)es no &on'unto dos n!meros naturais
*m definimos as seguintes opera/es, considerando n, m n-meros naturais+
Adio &operador+ H, denominao+ mais'
a' n H 1 9 s&n'1
b' n H &m H 1' 9 s&n H m'.
'ultiplicao &operador+ . ou , denominao+ ve!&es''
a' n . 1 9 n1
b' n . &m H 1' 9 n . m H n.
?bserve que, de acordo com o item a da definio da adio, os itens # destas defini/es
podem ser escritas como n H s&m' 9 s&n H m' e n . s&m' 9 n . m H n.
7 necessrio se provar que estas opera/es so, de fato, opera/es em . Ksto , necessrio
provar que se m, n , ento n H m e n . m . %ara demonstrar a primeira afirmao, seja
n e consideremos o predicado em definido por p&m' 9 V se n H m . Lemos que
p&1' 9 V, pois n H 1 9 s&n' e s uma funo de em . 6lm disso, se p&m' 9 V, temos
n H m e ento, como n H s&m( ) n H &m H 1' 9 s&n H m', temos p&s&m'' 9 V, pois, novamente, s
uma funo de em . *videntemente, este racioc)nio pode se aplicar multiplicao.
*(emplos
a' 8 H 1 9 s&8' 9 =.
b' 1 H 8 9 1 H &1 H 1' 9 s&1 H 1' 9 s&8' 9 =.
c' 8 H 8 9 8 H &1 H 1' 9 s&8 H 1' 9 s&=' 9 B.
d' 1 8 9 1 &1 H 1' 9 1 1 H 1 9 1 H 1 9 8.
e' 8 8 9 8 &1 H 1' 9 8 1 H 8 9 8 H 8 9 B.
Vale observar que estas so as operaes com n-meros naturais que aprendemos nos
primeiros anos do ensino fundamental.
6 imagem n H m c#amada soma de n e m. "este caso, m e n so c#amados parcelas. 6
imagem n . m c#amada produto de n por m. "este caso, n e m so c#amados fatores. Um produto
do tipo n . n pode ser representada por n
8
&lido n ao quadrado'.
?bserve que o conceito de antecessor introdu!ido na seo anterior e a definio de adio
implicam que se n 1, ento &n : 1' H 1 9 n.
%ara analisar a comutatividade, a associatividade e a e(ist.ncia de elemento neutro da
multiplicao, necessitamos do seguinte lema.
*ema 1.8
%ara todo n , temos
i' n H 1 9 1 H n1
ii' n . 1 9 1 . n.
&emonstrao
i' 5onsideremos o predicado em
p&n' 9 V se n H 1 9 1 H n.
Lemos que p&1' 9 V pois, evidentemente, 1 H 1 9 1 H 1. >upon#amos agora que p&n' 9 V e
provemos, a partir da), que p&s&n'' 9 V. ,e p&n' 9 V, temos n H 1 9 1 H n e ento
1 H s&n' 9 s&1 H n' 9 s&n H 1' 9 &n H 1' H 1 9 s&n' H 1 e, portanto, p&s&n'' 9 V. 6ssim, pelo %rinc)pio
da Knduo, p&n' 9 V para todo n .
ii' 5onsideremos o predicado em ,
p&n' 9 V se n . 1 9 1 . n.
Lemos que p&1' 9 V pois, evidentemente, 1 . 1 9 1 . 1. >upon#amos agora que p&n' 9 V e
provemos, a partir da), que p&s&n'' 9 V. ,e p&n' 9 V, temos n . 1 9 1 . n e ento
s&n' . 1 9 s&n' 9 n H 1 9 n . 1 H 1 9 1 . n H 1 9 1 . s&n', onde, na -ltima igualdade, utili!amos o item
&b' da definio da multiplicao. Mogo p&s&n'' 9 V.
Uma implicao imediata da igualdade n H 1 9 1 H n a ine(ist.ncia de elemento neutro da
adio. ,e fato, se e(istisse um natural e tal que n H e 9 e H n 9 n, para todo natural n, ter)amos
1 H e 9 e H 1 9 1, contrariando o segundo postulado de %eano. %or seu turno, as igualdades
n 9 n . 1 9 1 . n implicam que o natural 1 o elemento neutro da multiplicao. >obre as demais
propriedades das opera/es temos a seguinte proposio.
Proposio 8.8
6s opera/es adio e multiplicao so associativas e comutativas e a multiplicao
distributiva em relao adio. Ksto , para todos n, m, p , temos
i' n H &m H p' 9 &n H m' H p &associatividade da adio'1
ii' n . &m H p' 9 n . m H n . p &distributividade da multiplicao em relao adio'1
iii' n . &m . p' 9 &n . m' . p &associatividade da multiplicao'1
iv' n H m 9 m H n &comutatividade da adio'1
v' n . m 9 m . n &comutatividade da multiplicao'1
&emonstrao.
i' >ejam n, m e consideremos o predicado em
p&"' 9 V se &n H m' H " 9 n H &m H "'.
Lemos p&1' 9 V, pois &n H m ' H 1 9 s&n H m' 9 n H &m H 1', onde na -ltima igualdade foi
utili!ada o item # da definio da adio.
>upon#amos que p&"' 9 V, ou seja, supon#amos que &n H m' H " 9 n H &m H "', e provemos
que p&s&"'' 9 V.
Lemos &n H m' H s&"' 9 s&&n H m' H "' 9 s&n H &m H "'' 9 n H s&m H "' 9 n H &m H s&"''.
ii' >ejam n, m e consideremos o predicado em
p&"' 9 V se n . &m H "' 9 n . m H n . ".
Lemos p&1' 9 V, pois n . &m H 1' 9 n . m H n 9 n . m H n . 1.
>upon#amos que p&"' 9 V, ou seja, supon#amos que n . &m H "' 9 n . m H n. ", e provemos que
p&s&"'' 9 V.
Lemos n . &m H s&"'' 9 n . s&m H "' 9 n . &&m H "' H 1' 9 n . &m H "' H n 9 &n . m H n . "' H n 9
9 n . m H &n . " H n' 9 n . m H n . s&"'.
iii' >ejam n, m e consideremos o predicado em
p&"' 9 V se &n . m' . " 9 n . &m . "'.
Lemos p&1' 9 V, pois &n . m' . 1 9 n . m 9 n . &m . 1'.
>upon#amos que p&"' 9 V, ou seja, supon#amos que &n . m' . " 9 n . &m . "', e provemos que
p&s&"'' 9 V. Lemos
&n . m' . s&"' 9 &n . m' . " H &n . m' &definio da multiplicao'
&n . m' . s&"' 9 n . &m ."' H n . m &#ip2tese indutiva'
&n . m' . s&"' 9 n . &m . " H m' &distributividade Aao contrrioA'
&n . m' . s&"' 9 n . &m . s&"'' &definio de multiplicao'
iv' >eja n e consideremos o predicado em
p&m' 9 V se n H m 9 m H n.
%elo lema 1.8, temos p&1' 9 V. >upon#amos que p&m' 9 V, ou seja, supon#amos que n H m 9
m H n, e provemos que p&s&m'' 9 V. Lemos
n H s&m' 9 n H &m H 1' &definio de sucessor'
n H s&m' 9 &n H m' H 1 &associatividade da adio'
n H s&m' 9 &m H n' H 1 &#ip2tese indutiva'
n H s&m' 9 m H &n H 1' &associatividade da adio'
n H s&m' 9 m H &1 H n' &lema 1.8'
n H s&m' 9 &m H 1' H n &associatividade da adio'
n H s&m' 9 s&m' H n &definio de sucessor'
v' >eja n e consideremos o predicado em
p&m' 9 V se n . m 9 m . n.
%elo lema 1.8, temos p&1' 9 V. >upon#amos que p&m' 9 V, ou seja, supon#amos que
n . m 9 m . n, e provemos que p&s&m'' 9 V.
Knicialmente, provemos que &n H m' . p 9 n . p H m . p, quaisquer que sejam os naturais n, m e
p. %ara isto, consideremos o predicado em
q&"' 9 V se &n H m' . " 9 n . " H m . ".
Lemos que q&1' 9 V, pois &m H n' . 1 9 m H n 9 m . 1 H n . 1. >upon#amos que q&"' 9 V e
provemos que q&s&"'' 9 V. Lemos
&m H n' . &" H 1' 9 &m H n' . " H m H n &distributividade e associatividade da soma'
&m H n' . &" H 1' 9 m . " H n . " H m H n &#ip2tese indutiva'
&m H n' . &" H 1' 9 m . " H m H n . " H n &comutatividade da adio'
&m H n' . &" H 1' 9 m . &" H 1' H n . &" H 1' &distributividade Aao contrrioA'
6gora, voltando ao predicado p, temos
n . &m H 1' 9 n . m H n &definio de multiplicao'
n . &m H 1' 9 m . n H n &#ip2tese indutiva'
n . &m H 1' 9 m . n H 1 . n &n 9 n . 1 9 1 .n'
n . &m H 1' 9 &m H 1' . n &demonstrao acima'
6s propriedades mostradas acima, entre outras finalidades, servem para facilitar a
determinao de resultados de opera/es. %or e(emplo,
= H B 9 B H = 9 B H &8 H 1' 9 B H &1 H 8' 9 &B H 1' H 8 9 C H 8 9 C H &1 H 1' 9 D H 1 9 E
8 . B 9 8 . &8 H 8' 9 8 .8 H 8 .8 9 B H B 9 B H &= H 1' 9 &B H =' H 1 9 E H 1 9 F.
6 prtica diuturna permite memori!ar os resultados das opera/es envolvendo os naturais de
1 a G+ so as ta#uadas da adio e da multiplicao.
?bserve que a distributividade da multiplicao em relao soma, dada por
n . &m H p' 9 n . m H n . p, foi algumas ve!es utili!ada do segundo membro para o primeiro. Nuando
se utili!a esta propriedade neste sentido, se di! que se est fatorando n ou que se est colocando n
em e!idncia.
+orolrio 1.8
>e n, m , ento s&n' H m 9 n H s&m'.
&emonstrao
Lemos s&n' H m 9 &n H 1' H m 9 n H &1 H m' 9 n H &m H 1' 9 n H s&m'
%ela injetividade da funo sucessor estabelecida no primeiro a(ioma de %eano, temos que
n H 1 9 m H 1 implica m 9 n. "a verdade, esta concluso pode ser generali!ada, de acordo com a
seguinte proposio, c#amada lei do corte &ou do cancelamento' da adio.
Proposio =.8
>ejam n, m, " . >e n H " 9 m H ", ento n 9 m.
&emonstrao
5onsideremos o predicado em definido por
p&"' 9 V se n H " 9 m H " implicar n 9 m.
%ela observao acima temos que p&1' 9 V. >upon#amos que p&"' 9 V e provemos que
p&s&"'' 9 V. ?ra, se n H &" H 1' 9 m H &" H 1', temos, por associatividade, &n H "' H 1 9 &m H "' H 1 e
ento, pelo primeiro a(ioma de %eano, n H " 9 m H ". ,a), pela #ip2tese de induo, n 9 m,
provando que p&s&"'' 9 V.
2.* E+ua)es no &on'unto dos n!meros naturais
%ara analisarmos uma lei do corte para a multiplicao e definirmos uma relao de ordem no
conjunto dos n-meros naturais, consideremos a seguinte definio. >e ( uma indeterminada em
e n, m so n-meros naturais, uma igualdade do tipo n H ( 9 m c#amada de uma equao em .
Um natural r tal que n H r 9 m c#amado soluo da equao e se uma equao admitir uma
soluo ela dita sol!el. %or e(emplo, a equao 1 H x 9 = sol-vel com soluo r 9 8.
5laramente, a soluo de uma equao em sol-vel -nica. ,e fato, se r e rO so solu/es da
equao n H ( 9 m, temos n H r 9 m e n H rO 9 m o que implica, pela transitividade da igualdade,
n H r 9 n H rO, advindo da), pela lei do corte para adio, r 9 rO.
>obre equa/es em , temos a seguinte proposio
Proposio B.8
>ejam n, m ,
i' 6 equao n H x 9 n no sol-vel.
ii' >e a equao n H ( 9 m for sol-vel, ento a equao m H ( 9 n no sol-vel.
iii' >e a equao n H x 9 m for sol-vel, ento s&n' 9 m ou a equao s&n' H x 9 m sol-vel.
iv' >e a equao n H ( 9 s&m' no sol-vel, ento a equao n H ( 9 m tambm no .
v' >e a equao n H ( 9 m no for sol-vel, ento n 9 m ou a equao m H ( 9 n sol-vel.
&emonstrao
i' >e e(istisse r tal que n H r 9 n, ter)amos n H &r H ,' 9 n H 1 o que implicaria, pela lei do
corte, r H 1 9 1. *sta igualdade acarretaria s&r' 91, contrariando o segundo a(ioma de %eano.
ii' >e as equa/es n H ( 9 m e m H ( 9 n fossem sol-veis, e(istiriam naturais r e p tais que
n H r 9 m e m H p 9 n. ,a), n H &r H p' 9 n e a equao n H ( ) n teria soluo.
iii' >eja r a soluo da equao n H ( 9 m. >e r 9 1, temos n H 1 9 m e, portanto, m 9 s&n'. >e
r 1, temos r 9 s&r :1' e ento n H s&r : 1' 9 m o que implica, pelo corolrio 1.8, s&n' H &r :1' 9 m.
*sta igualdade mostra que a equao s&n' H ( 9 m sol-vel.
iv' >e a equao n H ( 9 m fosse sol-vel, e(istiria um natural r tal que n H r 9 m, o que
implicaria n H &r H 1' 9 m H 1 e a equao n H ( 9 s&m' seria sol-vel.
v' >eja n e consideremos o predicado em
p&m' 9 V se a equao n H ( 9 m no for sol-vel, ento n 9 m ou a equao m H ( 9 n
sol-vel.
Lemos que p&1' 9 V, pois se n H ( 9 1 no for sol-vel e tivermos n 1, temos s&n : 1' 9 n e
ento 1 H &n : 1' 9 s&n : 1' 9 n e a equao 1 H x 9 n sol-vel.
>upon#amos que p&m' 9 V e provemos que p&s&m'' 9 V. %ara isto, supon#amos que a equao
n H ( 9 s&m' no seja sol-vel. ,a), pelo item iv, a equao n H ( 9 m no sol-vel o que implica
pela #ip2tese de induo n 9 m ou n H ( 9 m sol-vel. %orm, n m, pois, do contrrio,
n H 1 9 s&m', o que contraria a #ip2tese levantada acima de que a equao n H ( 9 s&m' no
sol-vel. Mogo, m H ( 9 n sol-vel e ento, pelo item iii, s&m' 9 n ou s&m' H ( 9 n sol-vel,
mostrando que p&s&m'' 9 V.
+orolrio 8.8
%ara todo natural n, s&n' n.
&emonstrao
>e e(istisse um natural " tal que s&"' 9 " ter)amos " H 1 9 " e a equao " H ( 9 " seria sol-vel,
contrariando o item i da proposio anterior.
6gora temos condi/es de provar a lei do corte para a multiplicao.
Proposio C.8
>e n, m, p e n . p 9 m . p, ento n 9 m.
&emonstrao
%ela proposio anterior, se n m, uma das equa/es n H ( 9 m ou m H ( 9 n seria sol-vel. >e
e(istisse um natural r tal n H r 9 m, ter)amos &n H r' . p 9 m . p o que implicaria n . p H r. p 9 m . p e
a equao n . p H x 9 m . p seria sol-vel, contrariando o item i da proposio anterior, pois, por
#ip2tese, n . p 9 m . p. 5omo evidente que este racioc)nio se aplica possibilidade de que a
equao m H ( 9 n seja sol-vel, temos que n 9 m.
2., -ma relao de ordem no &on'unto dos n!meros naturais
"o conjunto dos n-meros naturais definimos uma relao, c#amada menor do que ou i-ual a
e indicada pelo s)mbolo , por
n m se n 9 m ou a equao n H ( 9 m sol-vel.
?bserve que, como a solubilidade da equao n H ( 9 m implica a e(ist.ncia de um natural r
tal que n H r 9 m, a relao poderia ser definida da seguinte forma
n m se n 9 m ou e(iste um natural r tal que n H r 9 m.
Proposio D.8
6 relao uma relao de ordem. Ksto , refle(iva, antissimtrica e transitiva e total.
&emonstrao
>ejam a, # e c n-meros naturais quaisquer. %ela pr2pria definio da relao, se a 9 #, temos
a #. 6ssim, a a e a relao reflexi!a.
>upon#amos agora que a # e # a. >e a e # fossem diferentes, as equa/es a H ( 9 b e
# H ( ) a 9 # seriam sol-veis o que contrariaria a proposio B.8. Mogo a ) # e a relao
antissim.trica.
>e a # e # c, temos a 9 # ou e(iste um natural p tal que a H p 9 # e # 9 c ou e(iste um
natural r tal que # H r 9 c. ,a), a 9 c ou a H &r H p' 9 c, o que mostra que a c. 6ssim,
transiti!a.
Pinalmente, a proposio B.8 garante que a 9 # ou a H ( 9 # sol-vel ou # H ( 9 a sol-vel.
?u seja, a # ou # a e total.
6lm de ser uma relao de ordem, a relao satisfa! s seguintes propriedades.
Proposio E.8
>ejam n, m tais que n m. *nto, para todo natural p, n H p m H p e n . p m . p.
&emonstrao
,e n m segue que n 9 m ou e(iste um natural r tal que n H r 9 m. ,e n 9 m segue que
n H p 9 m H p e n . p 9 m . p. ,e n H r 9 m segue que n H &r H p' 9 m H p e n . p H r . p 9 m . p, que
implicam &n H p' H r 9 m H p e n . p H r . p 9 m . p. Mogo, n H p m H p e n . p m . p.
Nuando dois naturais n e m so tais que n m e n m di!emos que n . menor do que m e
indicamos por n Q m. ?bserve que, como as condi/es Rn 9 mS e Ra equao n H ( 9 m sol-velS
so incompat)veis, di!er que n Q m implica que a equao n H ( 9 m sol-vel. ?u seja, n Q m se e
somente se e(iste um natural r tal que n H r 9 m. ?bserve que Q pode ser vista como uma relao
binria em que, como fcil provar, transitiva &ver e(erc)cio 8.E'.
Lambm usamos m n &lido m maior do que ou i-ual n' para indicar que n m e m T n &lido
m maior n' como sinUnimo de n Q m. 5omo as rela/es e Q so transitivas, quando tivermos
n m e m p, podemos escrever n m p e quando tivermos n Q m e m Q p, podemos escrever
n Q m Q p, caso em que di!emos que m est entre n e p. Nualquer uma das rela/es Q, , T, e
c#amada desi-ualdade.
7 interessante observar, como mostra a proposio a seguir, que no e(iste n-mero natural
entre um natural e o seu sucessor.
Proposio F.8
>ejam n e m n-meros naturais. >e m T n, ento m n H 1.
&emonstrao
>e e(istisse um natural m tal que n Q m Q n H 1 e(istiriam naturais r e p tais que n H r 9 m e
m H p 9 n H 1 de onde seguiria que n H &r H p' 9 n H 1. ,a), pela lei do corte, ter)amos r H p 91.
%orm a e(ist.ncia de naturais r e p tais que r H p 91 uma contradio, pois, se p 9 1, r H 1 91 e se
p 1, &r H &p / 1'' H 1 91, que contrariam o segundo a(ioma de %eano.
? conjunto dos n-meros naturais satisfa! a uma outra propriedade que ser importante no
sentido de relacionar o conjunto dos n-meros naturais com contagens. %ara sua demonstrao
necessitamos do seguinte lema.
*ema 8.8
>eja n, m . *nto
i' 1 n1
ii' n Q s&n'1
iii' >e n Q s&m', ento n m.
&emonstrao
i' >e n 1, como 1 H &n / 1' 9 n, temos 1 < n. Mogo, 1 n.
ii' ,ecore imediato da igualdade n H 1 9 s&n'.
iii' %or contradio, supon#amos que m Q n. ,a) a equao m H ( 9 n sol-vel e ento, pela
proposio B.8, s&m' 9 n ou a equao s&m' H ( 9 n sol-vel. 6ssim s&m' n, contrariando a
#ip2tese de que n Q s&m'.
?bserve que o item ii do lema anterior e a transitividade da relao Q implicam que
1 Q 8 Q = Q V Q G Q V . ,a) ser natural a representao do conjunto dos n-meros naturais por
9 ;1, 8, =,...<.
Proposio G.8 &%rinc)pio da Woa ?rdenao$%W?'
>eja ' um subconjunto dos n-meros naturais. >e ' no va!io, ento e(iste p ' tal que
p m qualquer que seja m ' &p c#amado menor elemento ou elemento mnimo de 3'.
&emonstrao
5onsidere o conjunto * 9 ;( I ( m, qualquer que seja m '<. 5omo, para todo natural
", s&"' T ", temos que s&m' ' quando m '. 6ssim, * e ento, como o lema anterior
implica 1 *, da proposio 1.8 segue que e(iste p * tal que s&p' *. ,a), e(iste " ' tal que
" Q s&p' o que implica &lema anterior' a e(ist.ncia de " ' tal que " p. %orm, como p * e
" ' temos p ", e estas duas desigualdades implicam p 9 ". 6ssim, p ' e, como p *, p m,
qualquer que seja m '.
2.. Con'untos /initos
5omo dissemos no final da seo 8.1, aprendemos a manipular n-meros naturais associando$
os a quantidades e reali!ando contagens. "esta seo vamos formali!ar estas idias.
,ado n , seja K
n
9 ;( I ( n<. ,i!emos que um conjunto A finito se A 9 ou
e(istem um natural n e uma bijeo de K
n
em A &ou, por inversibilidade, uma bijeo de A em K
n
' .
%or e(emplo, o conjunto 6 9 ;a, b, c< um conjunto finito pois, trivialmente, e(iste uma funo
bijetiva do conjunto K
=
9 ;1, 8, =< em A+ f 9 ;&1, a', &8, b', &=, c'<. *videntemente, para cada n ,
o conjunto K
n
finito, pois a identidade uma bijeo de K
n
em K
n
. >e um conjunto A no finito
di!emos que ele infinito.
Vamos mostrar que se A finito, ento o natural n determinado pelo conjunto A e pela
e(ist.ncia da bijeo de A em 0
n
. *sse fato decorre da seguinte propriedade dos conjuntos do tipo K
n
.
Proposio 10.8
>eja n . >e A um subconjunto pr2prio de K
n
e f uma funo de A em K
n
, ento f no
bijetiva.
&emonstrao
>eja X 9 ;( Ie(istem A K
(
, A K
(,
e uma bijeo f de A em K
(
<. ,evemos provar que
X 9 . %or contradio, supon#amos que X . 6ssim, pelo %rinc)pio da Woa ?rdenao, X tem
um menor elemento m e, portanto, # um subconjunto pr2prio A de K
m
tal que e(iste uma bijeo f
de A em K
m
. >e m A, por uma propriedade apresentada na seo 1.1D, e(iste uma funo bijetiva
- de 6 em K
m
, com g&m' 9 m e a restrio g ao conjunto 6 : ;m< uma bijeo de 6 : ;m< em K
m$1
,
o que contraria o fato de que m o elemento m)nimo de X. >e m A, seja
a A tal que m 9 f&a'. 6ssim, a restrio de f ao conjunto A : ;a< uma bijeo de A : ;a< em
K
m$1
, o que contraria tambm fato de que m o elemento m)nimo de X.
+orolrio =.8
>eja A um conjunto finito no va!io. >e e(istem naturais n e m e bije/es f de A em K
n
e - de
K
m
em A, ento n 9 m.
&emonstrao
5omo - de K
m
em 6 e f de 6 em K
n
so bijetivas, as fun/es f o -, de K
m
em K
n
, e &f o -'
$1
, de K
n
em K
m
, so bijetivas. >e m Q n, K
m
subconjunto pr2prio de K
n
e a funo f o g contrariaria a
proposio anterior. ,o mesmo modo a funo &f o -'
$1
contrariaria a citada proposio se n Q m.
Mogo n 9 m.
>e A um conjunto finito no va!io, o -nico natural n definido pela e(ist.ncia do subconjunto
K
n
e da bijeo de K
n
em A c#amado cardinalidade de A ou nmero de elementos de A, indicado por
IAI ou n&A'. ,i!emos tambm que 6 tem n elementos, sendo a obteno deste n-mero uma
conta-em dos elementos de 6.
5laramente, se A e 1 so dois conjuntos finitos disjuntos &isto , A 1 9 ',
n&A 1' 9 n&A' H n&1'. *ste fato utili!ado para o ensino inicial de somas de n-meros naturais+
para se e(plicar que 8 H = 9 C, toma$se um conjunto com duas laranjas e um outro conjunto com
tr.s laranjas e mostra$se que a unio dos dois conjuntos ter cinco laranjas.
? corolrio a seguir con#ecido como princpio da casa dos pom#os ou princpio das
-a!etas e formali!a matematicamente um fato bastante intuitivo+ se num pombal e(istem mais
pombos que casas, pelo menos uma casa dever abrigar mais de um pombo1 se e(istirem mais casas
do que pombos, pelo menos uma das casas ficar desocupada.
+orolrio B.8
>ejam A e 1 dois conjuntos finitos e f uma funo de A em 1. >e IAI I1I, ento f no
bijetiva.
&emonstrao
>ejam n 9 I6I e m 9 IWI. 6ssim, e(istem fun/es bijetivas - de K
n
em A e $ de 1 em K
m
. >e
n < m e a funo f de A em 1 fosse bijetiva, a funo $ o f o - seria uma funo bijetiva de K
n
em K
m
,
contrariando a proposio 10.8, j que se n Q m, ento K
n
subconjunto pr2prio de K
m
. 5om
racioc)nio semel#ante c#egar)amos a uma contradio se m Q n.
5onclu)mos este cap)tulo discutindo a RfinitudeS do conjunto dos n-meros dos n-meros
naturais.
+orolrio C.8
? conjunto dos n-meros naturais infinito.
&emonstrao
>e fosse finito, #averia um n-mero natural n e uma bijeo f de em K
n
e a restrio de f ao
conjunto K
nH1
seria uma bijeo de K
nH1
em f& : K
nH1
', o que contrariaria a proposio B.8,
considerando que f& : K
nH1
' K
n
K
nH1
e K
n
K
nH1
.
2. , E#er&&ios
2.". ,efina uma funo sobrejetiva de em , diferente da funo identidade.
2.2. 5onsidere o seguinte predicado definido em +
p&n' 9 V se n n-mero pequeno.
Lemos que p&1' 9 1, pois 1 um numero pequeno. 6lm disto, se p&n' 9 V, 2bvio que
p&s&n'' 9 V, pois se n um n-mero pequeno, ento n H 1 um n-mero pequeno. 6ssim, pelo
%rinc)pio da Knduo, todo nmero natural . pequeno. ? que # de errado com esta
RdemonstraoSY.
2.(. 3ostre que, quaisquer que sejam os naturais a e #,
a' 8 . a 9 a H a.
b' &a H #'
8
9 a
8
H 8 . a . # H #
8
.
2.*. 3ostre que a relao definida em ( por 2m n( 2p q( se e somente se m 3 q ) n 3 p
uma a relao de equival.ncia.
2.,. 3ostre que, qualquer que seja o natural n
a' 1 H = H ... H &8 . n : 1' 9 n
8
.
b' 8 H B H ... H 8 . n 9 n . &n H 1'.
2... *m definamos a operao n m 9 n H m H n . m. 3ostre que comutativa,
associativa e no possui elemento neutro.
2.0. @epresentemos por n : m a soluo da equao sol-vel m H ( 9 n e consideremos um
natural p. 3ostre que
a' n : m 9 &n H p' : &m H p'.
b' >e n : m 9 p, ento n : p 9 m.
c' &n : m' . p 9 n . p : m . p.
2.1. >ejam a, #, c, d . 3ostre que
a' >e a H c # H c, ento a #.
b' >e a # e c d, ento a H c # H d.
c' >e a . c # . c, ento a #
2.2. >ejam a, #, c . 3ostre que
a' >e a Q # e # Q c, ento a Q c.
b' >e a Q # e # c, ento a Q c.
c' >e a Q #, ento a H c Q # H c.
d' >e a Q #, ento a . c Q # . c.
2."3. >eja A um conjunto finito no va!io, com IAI 9 n. %rove que I&A'I 9 8
n
.