Axiomas de Peano

Para todo a e b, existe a+b

Comutatividade:
a+b=b+a
a.b=b.a
Associatividade:
a + (b + c) = (a + b) + c
a(bc) = (ab)c
Existncia de identidade/elemento neutro:
a+0=a
a.1 = a
Inverso aditivo:
a a = a + (-a) = 0 existe um nmero negativo y tal que x + y = 0
a (a) = (a) a = 1
Reciprocidade: existe um nmero recproco y tal que x . y = 1
Diviso:
possvel: x=b/a=b.(a)
a/b + c/d = (ad + bc)/bd
(a/b)/(c/d) = ad/bc
Distributividade: a (b + c) = ab + ac
se ab=0 a=0 ou b=0
se ab = ac, b=c S se a0
Sejam a,b<0 ou a,b>0 a.b>0
Para (-a)b = a(-b) = -ab
Os naturais
Tricotomia:
1) a=0 ou a P ou -a P
2) a=b ou a<b ou a>b
Closure
1) se a, b P (a+b) tambm pertence a P
2) se a, b P (a.b) tambm pertence a P
Relaes de ordem
a>b (a - b) P
a < b se b > a
a > b se a > b ou a = b
a < b se a < b ou a = b
Para qualquer a, a>0
Se (-a) > 0 a<0
Princpio da Induo seja P(x) a propriedade de um x. Assim:
(1) P(1) verdade (axioma)
(2) Para todo P(k) verdadeiro, P(k+1) verdadeiro.
Como todo k um sucessor de 1 (K={1, 1+1, 1+1+1,...}), existe todo P(k) e, por isso,
todo P(k+1). A esse conjunto (chamado de conjunto indutivo) de 1 e todos seus
sucessores k chamamos de naturais.
Ex.: n! = n.(n-1)!
Consequncia: no existe 0 nos naturais, portanto no h nmero negativo
 Se um conjunto no tem menor elemento vazio , porque se assim no fosse, ele teria menor elemento.
Os inteiros e os racionais
Os nmeros inteiros Z so os naturais (Z+), os inteiros negativos (Z-) e o zero
Os nmeros racionais Q so quocientes de dois nmeros inteiros: q=z1/z2
Por os racionais satisfazerem todos os axiomas de corpo e de ordem, eles so
ditos um corpo ordenado
Princpio da boa induo: todo conjunto no vazio de inteiros positivos tem um
elemento menor
Os reais
O conjunto dos reais composto pelos cortes racionais e pelos cortes irracionais
Na falta de uma definio para os nmeros irracionais, entenda-os como a soma
de infinitas parcelas (cada vez mais menores) que lhes se d como resultado: =
3,1 + 0,04 + 0,001 + 0,0005 + = 3,1415...
Cortes de Dedekind
Um conjunto A um corte se:
(1) A contm pelo menos um racional, mas no todos eles
(2) para um C, existe um q / q < p de modo que q A
(3) no exista racional mximo
O conjunto dos cortes o conjunto dos nmeros reais, que um corpo ordenado
Se p A e q A p < q (p chamado de inferior de A e q de superior de A)
Seja r racional e A = {p / p < r} A um corte e r o nmero superior mnimo de A.
Nesse caso, A um corte racional, podendo ser assim denotado: A=r*
Para quaisquer p e q racionais tem-se:
(1) p* + q* = (p+q)*
(2) p*q* = (pq)*
(3) p* < q* p<q
Se A e B so cortes e A < B, ento existe um r* tal que A < r* < B
Para qualquer corte A, p A p* A
Sejam os cortes A e B. Se de p A p B e se de q B q A, s ento A = B
Relaes de ordem
A<B A = B ou A < B
A>B B<A
A > 0* A positivo
A > 0* A no negativo
A < 0* A negativo
A < 0* A no positivo
Tricotomia: dados dois cortes, s uma das relaes possvel: A=B, A>B ou A<B
Sejam A, B e C cortes. Se A<B e B<C, ento A<C
Os cortes obedecem as regras associativa, comutativa, do elemento neutro e do termo
negativo.
Sejam o corte A e o racional positivo r. Existem p A e q A de forma que q p = r
(q no nmero superior mnimo).
Para quaisquer cortes A, B e C, com B<C, (A + B) < (A + C)
A + C > 0* se A >0* e C>0*
Sejam A e B cortes, tal que exista um corte C = {r Q / r = p + q, p A e q B}
se A e B possuem extremo superior: sup C = sup A + sup B
 se A e B possuem extremo inferior: inf C = inf A + inf B
Existe um nico C tal que A + C = B. Escreve-se C como C=B-A
A cada corte A associa-se um valor absoluto |a| (mdulo), tal que
|a| = a, se a > 0 ou |a| = - a, se a < 0. Portanto sempre |a| > 0
|a + b| < |a| + |b| (= se a e b tiverem mesmo sinal ou se um deles for nulo; < se tiverem sinais opostos)
|a| = (a)
Sejam dois subconjuntos reais e no vazios A e B e, respectivamente, seus elementos
e . Se < A tem extremo superior e B tem extremo inferior.
Produto entre os cortes A e B um corte C, C = {r/r=pq, p A, q B, p,q > 0}
AB = |A|.|B|, se A > 0* e B > 0*
AB = -(|A|.|B|), se A > 0* e B < 0*
AB = -(|A|.|B|), se A < 0* e B > 0*
AB = |A|.|B|, se A < 0* e B < 0*
Sejam A e B conjuntos reais:
(1) todo nmero real est em A OU em B
(2) A B =
(3) A eB
(4) se A e se B <
(5) Existe um nico tal que > < . Dessa forma, = sup A OU = inf B, o que
uma soluo ao problema dos racionais, pois, em Q, no h nem mximo nem mnimo
Propriedades
Os reais podem ser entendidos como pontos em uma reta e, segundo Euclides, cada
ponto representa somente um nmero e cada nmero representado por s um
ponto. Ou seja, em uma leitura ocidental, x > y x estiver direita de y
Cota superior: seja A={x/x<m}.
m chamado de cota superior de A.
Se m A, ento m o mximo de A
Se houver algum y > m, y a nova cota superior
R+ (os reais positivos) e Z+ (os inteiros positivos) no possuem cota superior.
Assim, para todo x>0, existe um y>x
Todo mximo de um conjunto o extremo superior (supremo) dele, mas nem todo
supremo um mximo de conjunto.
No existem dois nmeros diferentes que sejam supremos do mesmo conjunto
Teorema da Completude: Todo conjunto no vazio e cotado superiormente possui
extremo superior (supremo), denotado por sup (A)
Para um h>0 e um conjunto real S:
(1) se S tiver supremo, para certo x S existe um x > (sup S h)
(2) se S tiver nfimo, para certo x S existe um x < (inf S + h)
Cota inferior: seja A={x/x>p}.
p chamado de cota inferior de A.
Se p A, ento p o mnimo de A
Se houver algum y < p, y a nova cota inferior
R- (os reais negativos) no possui cota inferior
Todo conjunto no vazio e cotado inferiormente possui extremo inferior (nfimo) que
denotado por inf (A).
L ser extremo inferior de A se:
 (1) L for cota inferior de A
(2) nenhum nmero maior que L for cota inferior de A
O extremo inferior, quando existir, ser nico
R+ possui nfimo, mas no possui mnimo
Para x>0, y real: n Z+ / nx>y (por isso, Arquimedes argumentava que poder-se-ia medir
infinitas distncias colocando infinitas rguas uma atrs da outra)
Para cada x>0 real e para cada n>0 inteiro existe um nico y>0 real tal que y^n=x y
= (raz ensima de x) y = x^(1/n)
Seja x>0 real e n0 o maior ninteiro tal que n0 < x. Seja nk o maior inteiro tal que n0 +
n1/10 + () + nk/(10^k) < x. Seja E = {n0 + n1/10 + () + nk/(10^k)}. Assim, x=sup(E)
e a representao decimal de x n0,n1n2n3
Conjunto dos reais ampliados (E): R + (+) + (-)
(1) (-) < x < (+)
(2) x - = -
(3) x / (+) = x / (-) = 0
(4) para x>0: x.(+) = (+) e x.(-) = (-)
para x<0: x.(+) = (-) e x.(-) = (+)
(5) sup E = (+) e inf E = (-)

=======================================================================
Bibliografia:
APOSTOL, T. M. Clculus. 2 ed.
RUDIN, W. Princpios de Anlise Matemtica.
SPIVAK, M. Calculus. 4 ed.