Captulo 1

Os Nmeros
ltima atualizao em maio de 2010 por Sadao Massago

1.1

Notao
N = {1, 2, 3, . . .}, mas existem vrios autores considerando N = {0, 1, 2, 3, . . .}.

Nmeros naturais:

Por isso, recomendado dizer nmeros positivos, nmeros no negativos, etc. sempre que
possvel, para evitar confuses.

Nmeros inteiros no negativos:

Z+ = {0, 1, 2, 3, . . .}.

No caso do conjunto dos nmeros

que pode ser decomposto em positivo, negativo e zero, o sinal

na parte inferior indica o

positivo mais o zero (no negativo) e o sinal de menos indica o negativo mais o zero (no
positivo).

Nmeros inteiros positivos:

Z+ = {1, 2, 3, . . .}.

O smbolo

na parte superior do conjunto

dos nmeros usado para eliminar o zero. No caso geral, o conjunto (subconjunto do
anel) sem o divisor de zero, o que no discutiremos aqui.

Nmeros inteiros:

Nmeros racionais:

Nmeros reais:

Nmeros complexos:

1.2

Z = {. . . , 3, 2, 1, 0, 1, 2, 3, . . .}.
: m, n Z, n 6= 0, ab =
Q = {m
n

c
d

ad = bc}.

R.
C = {x + iy : x, y R, i2 = 1}.

Nmeros naturais (inteiros positivos)

O nmero natural (no sentido de inteiro positivo) associado ao nmero de elementos do conjunto
nito no vazio. O nmero de elementos do conjunto denominado de cardinalidade, o que no
discutiremos os detalhes.

O costume denotar a cardinalidade do conjunto

card(X) tambm usada.

Se X e Y so conjuntos
#X + #Y dene a soma que

nitos (no vazios) e disjuntos (interseco vazia),

por

#X ,

mas

#(X Y ) =

est associada ao nmero de elementos da unio dos conjuntos.

O produto associado ao nmero de elemento do conjunto cartesiano, isto , se

conjuntos nitos disjuntos, ento

so

#(X Y ) = (#X)(#Y ).

A adio no possui o elemento nulo, nem o elemento oposto, mas como vale a lei de cancelamento para adio, podemos denir a subtrao parcial. Ajudado pelo produto que tambm vale
a lei de cancelamento, podemos efetuar clculos com facilidade.
Apesar da construo intuitiva dos inteiros positivos e suas operaes obtidas atravs da cardinalidade do conjunto ser simples, a formalizao matemtica no dos mais simples.

CAPTULO 1.

OS NMEROS

Em geral, a construo formal do nmero natural e suas operaes da soma e do produto so

efetuados pelo axioma de Peano. A construo formal do objeto que satisfaz o axioma de Peano
relativamente simples. O nome nmeros naturais deve se ao fato de ser associado naturalmente
ao objeto concreto (cardinalidade do conjunto no vazio).
denotado por

1.3

O conjunto dos nmeros naturais

N.

Nmeros Inteiros no negativos

Devido a praticidade, existem vrios autores que adotam o nmero no negativo como sendo
nmero natural, mas o nmero zero o primeiro nmero abstrato adotado na histria devido a
sua praticidade. A adoo do nmero

0)

ser um conceito abstrato.

0 no foi imediato, por conjunto vazio (associado ao nmero

Abstrato signica que no podemos mostrar, mas precisamos

convencer que existe.

A primeira diculdade observada na operao dos nmeros naturais a ausncia do elemento
neutro na adio.
Observando que

no apresenta o elemento nulo, denimos o conjunto

inteiros no negativos e estendemos a soma por

e tambm a regra

0 + 0 = 0.

0+n = n+0 = n

{0} N

de nmeros

para todo inteiro positivo

Usando as propriedades da soma, podemos provar que

0n = 0.

n
A

operao continua fechada e mantm suas propriedades.

Como j discutido, alguns autores chamam o conjunto dos nmeros inteiros no negativos de
nmeros naturais e denotam por

N, o que requer cuidados adicionais quando menciona o conjunto

dos nmeros naturais.

1.4

Nmeros inteiros

O nmero inteiro foi o segundo passo dos nmeros abstratos para completar operao de soma.
O objetivo principal completar a operao de subtrao que s pode ser feito parcialmente no
conjunto dos nmeros inteiros no negativos.

N = {n : n N}

Denimos o conjunto

Z = (N) {0} N

onde

um novo conjunto, denominado de conjunto dos nmeros negativos.

Denimos a soma entre nmeros positivos e negativos por

n+(n) = (n)+n = 0.

Estendendo

a operao de soma e do produto para manter suas propriedades vlidas, podemos provar vrias
propriedades conhecidas tais como

1.5

((m) + (n) = (m + n), (a)(b) = ab,

etc.

Nmeros Reais e Complexos

O conjunto dos nmeros racionais

a

diviso. Q = { : (a, b) Z Z ,
b
usando a relao de equivalncia.

obtido, estendendo o inteiro de forma que permite efetuar a

a
= dc ad = bc} pode ser formalizado de forma simples,
b
Continuar existindo a ordem coerente com a operao, mas

no ser mais de boa ordem.

At os nmeros racionais, a preocupao completar a operao (lgebra), mas o conjunto
dos nmeros reais obtido de forma a ter continuidade (sem pontos faltando entre eles) que
uma das propriedades topolgicas. Para construir, requer tcnicas mais sosticadas que dos casos
anteriores.

O conjunto dos nmeros complexos obtido, completando algebricamente para ter

raiz de qualquer polinmio. Com esta extenso, ser perdido a ordem coerente com a operao.
4
8
Exitem forma de denir produto em R e R , denominados de quatrnios e octnios, mas
perder alguma das propriedades sobre o produto.
chamado de nmeros.

Isto deixa em dvida, se ainda pode ser

Captulo 2
Axioma dos Nmeros Inteiros
2.1

Axioma da soma e do produto nos nmeros inteiros

A operao nos nmeros inteiros apresenta vrias propriedades interessantes. A operao da soma
est completa e o produto que est quase completa. Dai podemos levantar a questo da unicidade
dos inteiros, isto , se o conjunto tiver operao com a mesma propriedade do nmero inteiro, o
conjunto do nmero inteiro? Se no for, quais propriedades precisam ser acrescentados? Isto
equivale a perguntar as propriedades essenciais para inverter o processo de construo, decompondo na forma (P ) {0} P onde P = N = {1, 2, 3, . . .} que o conjunto das somas de 1, e
P = {n : n P }. Dizemos que n uma soma de 1 quando n = 1 ou n = m + 1 onde m uma
soma de 1. Esta forma recursiva de denir deve se ao axioma de Peano ainda no apresentada.
Note que os nmeros naturais so somas de 1.
O inteiro apresenta a soma com propriedades completa.

Axioma 2.1 (soma). Em Z, est denido uma operao binria denominada de soma que associa
um nico valor a + b para cada inteiro a e b.
a, b, c Z, a soma satisfaz
a + b Z (fechamento).
a + b = b + a (comutatividade).
(a + b) + c = a + (b + c) (associatividade).
0 Z : a + 0 = 0 + a = a (elemento neutro da soma, denominado de elemento nulo).
a Z : a + (a) = (a) + a (elemento inverso da soma, denominado de elemento

oposto).

Quando denimos a soma no conjunto, espera-se que seja fechada, comutativa e associativa.
Por soma ser comutativa,

a+0 = a

implica que

0 + a = a.

Razo de estar colocando ambas

para enfatizar o fato da operao nem sempre ser comutativa, como no caso de alguns produtos
(por exemplo, produto das matrizes) onde precisamos explicitar que o elemento neutro deve valer
em ambos lados. No caso do elemento oposto (elemento inverso da soma) similar.
A razo de adotar

devido a unicidade do elemento nulo, e o uso de

do elemento oposto associado a

a.

pela unicidade

Estas unicidades podem ser provados facilmente no caso geral,

como segue.
O elemento neutro

da operao

deve satisfazer

ae = ea = a

para todo elemento do

conjunto. Obviamente, se tem o elemento neutro, a operao fechada.

Proposio 2.2

. Numa operao binria, o elemento neutro,

(Unicidade do elemento neutro)

caso exista, nico.

CAPTULO 2.

AXIOMA DOS NMEROS INTEIROS

Demonstrao.
0

Suponhe que ab dene uma operao binria e temos dois elementos neutros e e
0
0
0
0
. Ento temos que e = ee por e ser elemento neutro, mas ee = e por e ser elemento neutro.

Assim, no pode haver mais de um elemento neutro.

No caso do elemento oposto, podemos provar que o elemento inverso de qualquer operao
binria associativa nico.
elemento neutro da operao

Para ter elemento inverso, precisamos ter elemento neutro.

, b

inversa de

na operao

quando

Se

ab = ba = e.

Proposio 2.3 (Unicidade do elemento inverso). Numa operao binria associativa, o elemento
inverso de cada elemento, caso exista, nico.
Demonstrao.

Suponhe que ab dene uma operao binria associativa e e o elemento neutro.
b e b0 so elementos inversos de a, temos que ba = e e ab0 = e. Assim, b = be = b(ab0 ) =
(ba)b0 = eb0 = b0 .
Se

Assim, no pode haver mais de um elemento inverso.

Exerccio 2.1.

Reescreva as demonstraes usando a notao de soma para provar que elemento

nulo nico e para cada elemento, o oposto nico. Tambm prove que matriz identidade nico
1
e tambm que, se a matriz A tiver a inversa, A
nica.

Exerccio 2.2.

Mostre o cancelamento da adio, isto , se

a demonstrao e prove que, se

implica

a+x = a+y

ento

tem a inversa relativamente a operao

,

x = y . Reescreva
ax = ay

ento

x = y.

Observao

2.4

Note que nem toda operao binria associativa. Por exemplo,

c)

a(b

6= ab

c

para o caso geral.

Exerccio 2.3.

Mostre que a potnciao

Exerccio 2.4.

Discuta porque no tem sentido dizer no elemento inverso na potenciao. Lem-

ab

no tem elemento neutro.

brando que a radiciao uma operao inversa da potenciao, discuta sobre a diferena entre
elemento inverso e a operao inversa.
Para simplicar, denotaremos

Exemplo 2.5.
a = x.

Mas

Para todo inteiro,

a + (b)

por

(a) = a.

a b.
De fato, se

x = a,

temos que

x+a=0

de onde

x = (a).

Observe que o argumento serve para provar que, em qualquer operao binria, se existir o
1 1
inverso de um elemento, o inverso do inverso ele mesmo. Como exerccio, mostre que (A )
=A
para toda matriz invertvel.
O inteiro tambm tem a operao de produto, quase to boa quando da soma. S no tem o
elemento inverso, mas vale a lei de cancelamento.

Axioma 2.6

(produto). Em Z, est denido uma operao binria denominada de produto que

associa um nico valor a b para cada inteiro a e b.
a, b, c Z, o produto satisfaz

a b Z (fechamento).
a b = b a (comutatividade).
(a b) c = a (b c) (associatividade).
a (b + c) = a b + a c e (a + b) c = a c + b c (distributividade)

CAPTULO 2.

AXIOMA DOS NMEROS INTEIROS

1 Z : a 1 = 1 a (elemento neutro do produto, No caso de Z, denominamos de elemento

unidade).

a 6= 0, a x = a y = x = y (cancelamento do produto).
Quando denimos o produto no conjunto que j tem a soma, espera-se que seja distributiva.
Mesmo que o produto no seja muito bom, a distributividade permite complementar a soma nos
clculos.

Veja por exemplo, o caso da potenciao que nem associativa, ser importante por

estabelecer relao entre a soma e o produto.

Quando o produto for comutativo,

a (b + c) = a b + a c

implica que

(a + b) c = a c + b c

(prove), mas estamos colocando ambas, para enfatizar que no caso no comutativo (como no caso
do produto de matrizes), distributividade deve valer para ambos lados.
O uso de

para elemento unidade por ter no mximo um elemento neutro em qualquer

oeprao binria (caso exista, nico) como j discutido na soma.

Apesar de no ter elemento inverso no produto, o cancelamento permite manipular expresses
com facilidade.
No caso de nmeros, omitimos o   com frequncia quando no h ambiguidade, e o produto
entre dois nmeros arbicos costuma ser denotado por   em vez de   como em
22 = 4 .

Exerccio 2.5.
somente se,

Mostre que o cancelamento do produto equivalente a armao

a=0

ou

Soluo.

ab = 0

se, e

b = 0.

Exemplo 2.7. Temos que 0a = 0, pois 0a = (0 + 0)a = 0a + 0a,

(0a + 0a) 0a = 0a + (0a 0a) = 0a. Assim, 0 = 0a.
Exemplo 2.8.

2+2 = 22 =

Temos que

o que implica que

0a 0a =

(a)b = ab.

Para mostrar que oposto de

ab,

basta mostrar que a soma com

ab

nulo.

Mas,

ab + (a)b = (a a)b = 0b = 0.

Exerccio 2.6.
2.2

Mostre que

(a)(b) = ab.

Separando os nmeros positivos

As propriedades da soma e do produto no so sucientes para caracterizar o nmero inteiro.

Na prtica, no suciente, nem para separar os nmeros do resto do conjunto. Por exemplo, a
soma e o produto dos polinmios tem mesma propriedade dos nmeros inteiros. Caso da matriz
quadrada j estar excluda, devido a propriedade multiplicativa, pois no produto matricial, nem
sempre vale o cancelamento.
Para separar alguns conjuntos numricos, observemos que os nmeros inteiros, nmeros racionais e nmeros reais podem ser separados em positivos, negativos e zero. Se observar bem o que
valem para nmeros positivos (e negativos), podemos estabelecer o axioma do positivo. Separar
positivo equivalente a estabelecer uma ordem compatvel com as operaes.

Axioma 2.9

(positivo). Existe um conjunto P Z fechado para soma e para o produto (a, b

Z = a b, a + b Z) tal que, para todo inteiro n, vale a tricotomia (vale uma delas e somente

uma delas).
aP
a=0

a P

CAPTULO 2.

AXIOMA DOS NMEROS INTEIROS

Quando tem o conjunto

como acima, denominado de conjunto dos

positivos,

podemos es-

P como sendo a < b b a P . Quando a < b,

< b ou a = b , dizemos que a menor ou igual a b e
denotamos por a b. Naturalmente, a maior que b denotado por a > b denido como sendo
b < a e a maior ou igual a b denotado por a b denido como sendo b a. bivio que
a > 0 a P (prove) e a > b b a P .
tabelecer uma ordem em

dizemos que

Z,

menor que

Exemplo 2.10.
Exerccio 2.7.

associada a

b.

Quandoa

Mostre que, se
Mostre que, se

Exemplo 2.11.

a<0

a<0

b>0

b<0

ento

ento

ab < 0.

ab > 0.

a 6= 0, temos que a2 > 0. De fato, se a > 0, temos que a2 > 0

2
pelo fechamento do produto em P . Se a < 0, temos que a > 0. Assim, (a)(a) = a > 0
novamente pelo fechamento do produto em P .
Para todo inteiro

Exerccio 2.8.

Mostre que, se

a<0

b>0

ento

ab < 0.

Exerccio 2.9.

Mostre que, se

a>1

b>0

ento

ab > b.

Exerccio 2.10. Usando o exerccio acima, prove que 2 no um produto de dois inteiros positivos
maior que

1.

Repita para

3.

Exerccio 2.11.

Argumente porque

Exerccio 2.12.

Seja

mento nulo

Z2 {0, 1}

1 + + 1 6= 0

(soma nita de

1's

nunca nulo).

com a operao de adio e multiplicao comutativas, com ele-

e elemento neutro do produto

1.

Sendo

1 + 1 = 0,

as propriedades de adio e da

multiplicao so mesmos do inteiro. Mostre que no existe o positivo em

Exerccio 2.13.

Generalizando o problema acima, justique que, se a soma nita

para algum inteiro positivo

a,

absoluto como sendo

a
, a0
.
a , a < 0

|a| =

Exerccio 2.14.

Mostre que

Exerccio 2.15.

Mostre que se

Exerccio 2.16.

Mostre que

|a| 0

|a| = |b|

ento

Exerccio 2.18

(desigualdade triangular)

no caso de

R,

podemos denir o valor

a, |a| P .

a = b.

|a| a |a|

(intervalo)

Obviamente,

Z, Q

|a| = 0 a = 0.

Exerccio 2.17
2.12

a++a = 0

ento no pode existir o positivo no conjunto.

Quando possvel separar

( os nmeros positivos como em

Observao

Z2 .

Mostre que

|a| < b b < a < b.

Mostre que

|a + b| |a| + |b|.

Valor absoluto pode existir no conjunto que no pode separar o positivo como

C na qual a norma (denotado por duas verticais em vez de uma, e tem as propriedades

levemente diferente do valor absoluto) um valor absoluto.

Como curiosidade, ainda no exclumos os polinmios. Se considerar o conjunto dos polinmios
inteiros com coecientes inteiros, podemos escolher
coeciente de maior grau positivo.

como sendo o conjunto dos polinmios com

Esta particularidade devido ao fato do polinmio herdar

vrias propriedades algbricas de seus coecientes.

CAPTULO 2.

2.3

AXIOMA DOS NMEROS INTEIROS

A ordem no conjunto dos inteiros positivos

Para distinguir o conjunto dos nmero inteiros com o outro conjunto, observemos que a ordem em

bem especial, diferente dos nmeros racionais e dos reais. No conjunto dos nmeros inteiros

positivos, todo subconjunto tem o menor elemento.

Denio 2.13.

Uma ordem no conjunto denominado de

boa ordem

quando todo subconjunto

no vazio tem o menor elemento.

Axioma 2.14 (inteiro positivo). A ordem estabelecida em Z por P , induz uma boa ordem em P .
Com os axiomas at agora, possvel mostrar que parte positiva do inteiro o conjunto das
somas de

1.

(isto , so os nmeros naturais).

Lembrando que estamos considerando que

uma soma de

soma de

quando

n = 1,

ou

n = m+1

onde

1.

Proposio 2.15. 1 o menor inteiro positivo.

Demonstrao.

Inicialmente, observe que

positivo. Como

um subconjunto de

1 = 12 > 0.

P,

Agora precisamos provar que ele o menor

ele deve ter o menor elemento.

Suponhe por absurdo que o menor elemento de P a < 1. Ento temos 0 < a < 1.
2
2
2
Como a > 0, armamos que a < a. De fato, a a = a(1 a) > 0 pois a > 0 e 1 a > 0
2
(por a < 1). Logo, 0 < a < a, contradizendo o fato de a ser o menor positivo, o que absurdo.

A demonstrao acima, denominado de demonstrao por absurdo bastante usada quando

no consegue uma demonstrao construtiva (direta). Com a prtica, consegue identicar maioria
dos problemas que precisam ser demonstrados por absurdo.

Exerccio 2.19.

Mostre que, para todo inteiro

n,

no existe inteiro

tal que

n < a < n + 1.

Proposio 2.16. P formado pelas somas de 1.

Demonstrao.
de

1.

Seja

A,

Suponhe por absurdo que exista inteiro positivo maior que

o conjunto destes inteiros positivos. Como

AP

1,

e que no seja soma

tem a boa ordem,

possui

a A. Ento a 1
/ A e consequentemente, existe inteiro n que uma soma
a 1 < n. Ento a < n + 1, o que quer dizer que a menor que alguma soma de 1.
Considere o conjunto de todos os inteiros positivos que soma de 1, mas que seja maior que a.
Ento ele tem o menor elemento m > 1 (note que a > 1). Assim, temos m 1 a < m, o que
absurdo por m 1 uma soma de 1.
o menor elemento

de

2.4

tal que

O Axioma de Peano

Para demonstraes das propriedades relacionados ao nmero natural (no sentido de inteiro positivo), costuma recorrer ao axioma de Peano. O axioma de Peano determina exatamente o conjunto
dos nmeros naturais na qual permite denir ordem, soma e produto unicamente determinada.

Axioma 2.17 (Peano). O conjunto dos nmeros naturais caracterizado por

Todo nmero natural n possui o sucessor denotado por s(n) tal que s(m) = s(n) = m = n.
Existe um nico elemento que no sucessor, denotado por 1.
Se X um subconjunto dos nmeros naturais tal que 1 X e n X = s(n) X ento
X o prprio conjunto dos nmeros naturais.

CAPTULO 2.

AXIOMA DOS NMEROS INTEIROS

O axioma de Peano determina uma ordem natural no conjunto por

n < s(n).

Esta ordem

uma boa ordem. Uma das mais importantes consequncias do axioma de Peano o Teorema da
induo nita. Para simplicar, denotaremos

s(n) = n + 1

na qual ter sentido quando denir a

soma coerente com o axioma de Peano.

Teorema 2.18

. Se p(n) uma propriedade sobre nmero

(primeiro princpio da induo nita)

natural n tal que

p(1) verdadeira.
Se p(n) verdadeira, ento p(n + 1) verdadeira.

Ento p(n) verdadeira para todo nmero natural.

Demonstrao.

Seja

X = {n N : p(n)

verdadeira} ento

hiptese (suposio). Pelo axioma de Peano,

1X

n X = n + 1 X

pela

X = N.

Usando o princpio da induo nita, podemos denir ou provar a propriedade sobre nmeros
naturais de forma especial, denominado de forma indutiva.
Por exemplo, a adio e a multiplicao so denidas indutivamente por

n + 1 = s(n) e m + (n + 1) = (m + n) + 1
m 1 = m e m (n + 1) = m n + m.
Com isso, a operao car denido para todo nmero natural devido ao princpio da induo
nita e podemos provar as suas propriedades atravs da induo nita. Da forma anloga, podemos
1
n+1
denir indutivamente a potenciao por m = m e m
= mn m.
Tambm possvel provar por induo que
No entanto, se tomar

s(n) = n + 1em P

tem a boa ordem, o que deixaremos de lado.

dos nmeros inteiros positivos, veremos que tem mesma

adio, produto e ordem que dos nmeros naturais. Logo, para ser o mesmo, basta satisfazer o
axioma de Peano.

Teorema 2.19. O conjunto dos nmeros inteiros positivos o conjunto dos nmeros naturais.
Demonstrao.

Vamos vericar o axioma de Peano em

P.

Como P fechado pela adio e 1 > 0, para todo n > 0, n + 1 > 0

n + 1 = m = n pelo cancelamento da adio.

1 no sucessor do inteiro positivo, pois n + 1 = 1 = n = 0 e 0 no positivo.

Como todo inteiro positivo n pode ser escrito na forma n = (n 1) + 1, todo inteiro positivo
n maior que 1 sucessor do inteiro positivo n 1. Logo, 1 o nico que no sucessor.

Se

e temos que

m+1 =

O elemento

um subconjunto com

conjunto das somas de

1,

1 X

n X = n + 1 X

ento

exatamente o

que o conjunto dos inteiros positivos.

Usando o princpio da induo nita, podemos denir/provar para todo inteiro positivo. Como
inteiro decompe em positivo, negativo e zero, alguns ajustes permite demonstrar para todo inteiro.

Exerccio 2.20.

Usando a induo nita, prove

1. A frmula para soma de P.A. (progresso aritmtica).

2. A frmula para soma de P.G. (progresso geomtrica).
3.

am+n = am an

para

m, n > 0

(usar a denio indutiva da potncia comentada anterior-

mente).
4. Denir indutivamente o
5.

n!

e provar que

1 + 2 + 22 + + 2k = 2k+1 1

2n1 n! < nn

para

(representao binria).

n > 1.