Captulo 1 Os Nmeros

ltima atualizao em maio de 2010 por Sadao Massago

1.1

Notao
Nmeros naturais:

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

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 positivo).

na parte inferior indica o

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

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:

Z = {. . . , 3, 2, 1, 0, 1, 2, 3, . . .}. Q = { m : m, n Z, n = 0, a = n b
c d

Nmeros racionais: Nmeros reais:

ad = bc}.

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

Nmeros complexos:

1.2

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

por

#X ,

mas

card(X) tambm usada. Se X e Y so conjuntos #X + #Y dene a soma que

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

#(X Y ) = X
e

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 O conjunto dos nmeros naturais

N.

1.3

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 no foi imediato, por conjunto vazio (associado ao nmero

0)

ser um conceito abstrato.

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 e tambm a regra no apresenta o elemento nulo, denimos o conjunto

{0} N

de nmeros

inteiros no negativos e estendemos a soma por

0+n = n+0 = n

para todo inteiro positivo

n
A

0 + 0 = 0.

Usando as propriedades da soma, podemos provar que

0n = 0.

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 dos nmeros naturais.

N, o que requer cuidados adicionais quando menciona o conjunto

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. Denimos o conjunto

Z = (N) {0} N

onde

N = {n : n N}

um novo conjunto, denominado de conjunto dos nmeros negativos.

Denimos a soma entre nmeros positivos e negativos por propriedades conhecidas tais como

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

Estendendo

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

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

1.5

Nmeros Reais e Complexos

obtido, estendendo o inteiro de forma que permite efetuar a a c = d ad = bc} pode ser formalizado de forma simples, b Continuar existindo a ordem coerente com a operao, mas

O conjunto dos nmeros racionais a diviso. Q = { : (a, b) Z Z , b usando a relao de equivalncia. 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 como segue. O elemento neutro

devido a unicidade do elemento nulo, e o uso de

pela unicidade

do elemento oposto associado a

a.

Estas unicidades podem ser provados facilmente no caso geral, deve satisfazer

da operao

a e=e a=a

para todo elemento do

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

Proposio 2.2

caso exista, nico.

(Unicidade do elemento neutro)

. Numa operao binria, o elemento neutro,

CAPTULO 2.

AXIOMA DOS NMEROS INTEIROS

a b dene uma operao binria e temos dois elementos neutros e e e . Ento temos que e = e e por e ser elemento neutro, mas e e = e por e ser elemento neutro.
Suponhe que Assim, no pode haver mais de um elemento neutro.

Demonstrao.

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. , Se

inversa de

na operao

quando

a b = b a = e.

Proposio 2.3 (Unicidade do elemento inverso). Numa operao binria associativa, o elemento
inverso de cada elemento, caso exista, nico. Demonstrao.
Se Suponhe que a b dene uma operao binria associativa e e o elemento neutro. b e b so elementos inversos de a, temos que b a = e e a b = e. Assim, b = b e = b (a b ) = (b a) b = e b = b . Assim, no pode haver mais de um elemento inverso.

Exerccio 2.1. Exerccio 2.2.

implica

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. Mostre o cancelamento da adio, isto , se

a+x = a+y

ento

a demonstrao e prove que, se

tem a inversa relativamente a operao

, ento

x = y . Reescreva a x=a y a(b

c)

x = y.
2.4

Observao

Note que nem toda operao binria associativa. Por exemplo,

= ab

para o caso geral.

Exerccio 2.3. Exerccio 2.4.

Mostre que a potnciao

ab

no tem elemento neutro.

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

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

a + (b)

por

a b.
De fato, se

Exemplo 2.5.
a = x.
Mas

Para todo inteiro,

(a) = a.

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

2+2 = 22 = ab = 0
se, e

Exerccio 2.5.
somente se,

Mostre que o cancelamento do produto equivalente a armao ou

a=0

b = 0.
o que implica que

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.
Soluo.
Temos que

0a 0a =

(a)b = ab. ab,

basta mostrar que a soma com

Para mostrar que oposto de

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
uma delas).
aP a=0 a P

(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

CAPTULO 2.

AXIOMA DOS NMEROS INTEIROS

Quando tem o conjunto tabelecer uma ordem em dizemos que

P b.

como acima, denominado de conjunto dos Quandoa

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 . Z,
associada a

menor que

Exemplo 2.10. Exerccio 2.7. Exemplo 2.11. Exerccio 2.8. Exerccio 2.9.
maior que

Mostre que, se Mostre que, se

a<0

b>0

ento

ab < 0.

a<0

b<0

ento

ab > 0.

a = 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 Mostre que, se Mostre que, se

a<0 a>1

e e

b>0 b>0

ento ento

ab < 0. ab > b.

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

3. 1 + + 1 = 0 . 1
(soma nita de

Exerccio 2.11. Exerccio 2.12.

mento nulo

Argumente porque Seja

1's

nunca nulo).

Z2 { 0, 1}

com a operao de adio e multiplicao comutativas, com eleSendo

e elemento neutro do produto

+ = , 1 1 0

as propriedades de adio e da

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

Z2 . a++a = 0

Exerccio 2.13.

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

para algum inteiro positivo

a,

ento no pode existir o positivo no conjunto.

Quando possvel separar os nmeros positivos como em absoluto como sendo

Z, Q

R,

podemos denir o valor

|a| =

a , a0 . a , a < 0 |a| 0
e

Obviamente,

a, |a| P .

Exerccio 2.14. Exerccio 2.15. Exerccio 2.16. Exerccio 2.17 Exerccio 2.18
Observao
no caso de 2.12

Mostre que

|a| = 0 a = 0.
ento

Mostre que se Mostre que (intervalo)

|a| = |b|

a = b.

|a| a |a|
Mostre que

|a| < b b < a < b.

(desigualdade triangular)

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. vrias propriedades algbricas de seus coecientes.

como sendo o conjunto dos polinmios com

Esta particularidade devido ao fato do polinmio herdar

CAPTULO 2.

AXIOMA DOS NMEROS INTEIROS

2.3
P

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.
positivo. Como Inicialmente, observe que

1 = 12 > 0.

Agora precisamos provar que ele o menor

um subconjunto de

P,

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.
Demonstrao.
de de

Mostre que, para todo inteiro

n,

no existe inteiro

tal que

n < a < n + 1.

Proposio 2.16. P formado pelas somas de 1.

Suponhe por absurdo que exista inteiro positivo maior que

1,

e que no seja soma

1. 1

Seja

A,

o conjunto destes inteiros positivos. Como

AP

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

2.4

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 induo nita. Para simplicar, denotaremos soma coerente com o axioma de Peano.

n < s(n).

Esta ordem

uma boa ordem. Uma das mais importantes consequncias do axioma de Peano o Teorema da

s(n) = n + 1

na qual ter sentido quando denir a

Teorema 2.18

natural n tal que

(primeiro princpio da induo nita)

. Se p(n) uma propriedade sobre nmero

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

1X

n X = n + 1 X

pela

hiptese (suposio). Pelo axioma de Peano,

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 axioma de Peano.

tem a boa ordem, o que deixaremos de lado.

s(n) = n + 1em P

dos nmeros inteiros positivos, veremos que tem mesma

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

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

Vamos vericar o axioma de Peano em

P.
e temos que

Como P fechado pela adio e 1 > 0, para todo n > 0, n + 1 > 0 n + 1 = m = n pelo cancelamento da adio. O elemento

m+1 =

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

um subconjunto com

1 X

n X = n + 1 X

ento

exatamente o

conjunto das somas de

1,

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
mente).

para

m, n > 0 n!

(usar a denio indutiva da potncia comentada anterior-

4. Denir indutivamente o 5.

e provar que

2n1 n! < nn

para

n > 1.

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

(representao binria).