01 - Teoria Elementar Dos Números Inteiros 01

PROFESSOR CASTANHEIRA TEORIA ELEMENTAR DOS NMEROS INTEIROS 01
EMAIL: lccs1701@yahoo.com BLOG: www.professorcastanheira.blogspot.com

NMEROS 01A:
OPERAES (PROPRIEDADES FUNDAMENTAIS)
Postulamos que existem objetos matemticos
chamados de nmeros e duas operaes primitivas
definidas sobre os mesmos que satisfazem a
especficos nove axiomas.
As mencionadas duas operaes primitivas so:
Adio: Que a cada par de nmeros x e y
associa um nico, dito a sua soma: x + y.
Multiplicao: Que a cada par de nmeros x e y
associa um nico, dito o seu produto: x y.
Exigimos ainda a consistncia dessas duas
operaes com respeito a relao de igualdade,
isto , se x1, x2, y1 e y2 so nmeros tais que
x1 igual a x2 e y1 igual a y2 ento:
x1+y1 = x2+y2 e x1y1 = x2y2 .
Estes so os citados nove axiomas:
I.A-B) Axiomas de comutatividade:
a) Para quaisquer nmeros x e y:
x + y = y + x .
b) Para quaisquer nmeros x e y:
x y = y x .
II.A-B) Axiomas de associatividade:
a) Para quaisquer nmeros x, y e z:
(x + y) + z = x + ( y + z) .
b) Para quaisquer nmeros x, y e z:
(x y) z = x ( y z) .
III.A-B) Axiomas dos neutros:
a) Existe um nico nmero 0 (chamado de zero
ou de neutro aditivo) tal que para todo
nmero x:
x + 0 = 0 + x = x .
b) Existe um nico nmero 1 (chamado de um
ou de neutro multiplicativo e diferente de zero)
tal que para todo nmero x:
x 1 = 1 x = x .
IV.A) Axioma do inverso aditivo: Para todo
nmero x existe um nico nmero (x) (o
inverso aditivo de x ou o seu simtrico ou
o seu oposto) tal que:
x + (x) = (x) + x = 0 .
IV.B) Axioma de cancelamento multiplicativo:
Para quaisquer nmeros x, y e z (z 0):
x z = y z x = y .
V) Axioma de distributividade: Para quaisquer
nmeros x, y e z:
x ( y + z) = ( y + z) x = ( x y) + ( x z) .
Consequncias imediatas:
Do oposto do oposto: Para todo nmero x:
(x) + x = 0 .
E da unicidade do inverso aditivo de (x):
((x)) = x .
Da definio da operao de subtrao:
Subtrao a operao que a cada par
de nmeros x e y associa um nico nmero
denominado a sua diferena:
x y = x + (y) .
Da igualdade diferena: Para nmeros x e y:
( I) x = y x y = 0 :
x = y
x + (y) = y + (y)
x y = 0 .
( II) x = y x y = 0 :
x y = 0
x + (y) = 0
(x + (y)) + y = 0 + y
x + ((y) + y) = y
x + 0 = y
x = y .
Concluso:
x = y x y = 0 .
Professor Castanheira Pgina 1
Propriedade 01 (do absorvente multiplicativo):
Para todo nmero x:
0 x = 0 .
PROVA:
x + (x) = 0
((1) x) + (x) = 0
((0 + 1) x) + (x) = 0
(( 0 x) +(1 x)) +(x) = 0
(( 0 x) + x) + (x) = 0
(0 x) + (x + (x)) = 0
(0 x) + 0 = 0
0 x = 0 .
C.Q.D.
Consequncia imediata: O zero o nico
nmero que possui a Propriedade 01 acima. Com
efeito, se existisse outro, digamos y, ele teria que
satisfazer essa condio para todo nmero x.
Donde encontraramos a seguinte contradio:
yx = y1 x = 1 .
O zero dito o absorvente multiplicativo.
Exerccio: Mostre que no existe absorvente aditivo.
P02 (de obteno multiplicativa do oposto):
Para todo nmero x:
(1) x = x .
PROVA:
( 0) x = 0
((1) + (1)) x = 0
((1) x) +((1) x) = 0
x + ((1) x) = 0 .
E da unicidade do inverso aditivo de x:
(1) x = x .
C.Q.D.
Consequncia imediata: Pondo o oposto de um
na ltima igualdade, obtemos que:
(1)(1) = (1) = 1
e ainda que
(1)(1) = (1)(1) = 1 .
Consequncia imediata: Obter o oposto do
nmero x o mesmo que multiplic-lo pelo
oposto de um.
Propriedade 03 (da regra de sinais):
Para quaisquer nmeros x e y:
( a) (x) ( y) = ( x y)
( b) (x) (y) = (x y)
(c) (x) (y) = x y
PROVA:
( a)
(x) ( y) =
((1) ( x)) ( y) =
(1) (( x) (y)) =
( x y) .
(b)
(x) (y) =
(y) (x) =
( y x) =
( x y) .
(c)
(x) (y) =
(( x) (y)) =
((x y)) =
x y .
C.Q.D.
Comentrio: Para um professor, falando pela
primeira vez sobre a regra de sinais, talvez
coubesse uma prova numrica. Fazendo (por
exemplo) x igual a 2 e y igual a 5, obtemos:
(0) (5) = 0
((2) + (2)) (5) = 0
(( 2) ( 5)) + ((2) (5)) = 0 .
E da unicidade do inverso aditivo:
(2) (5) = (( 2) ( 5)) = 10 .
Donde se seguiriam as demais provas numricas
dos itens restantes. Verifique!
P04 (de cancelamento aditivo):
Para quaisquer nmeros x, y e z:
x + z = y + z x = y .
PROVA:
( I) x = y x + z = y + z .
( II) x = y x + z = y + z :
x + z = y + z
(x + z) + (z) = ( y + z) + (z)
x + (z + (z)) = y + (z + (z))
x + 0 = y + 0
x = y .
Concluso:
x + z = y + z x = y .
C.Q.D
P05 (de cancelamento multiplicativo):
Para nmeros x, y e z (z 0):
x z = y z x = y .
PROVA: um axioma da presente teoria. C.Q.D.
Observao: As Propriedades 04-05 (Propriedades
06-09) so aquelas fundamentais para a resoluo
de equaes lineares (equaes quadrticas).
Propriedade 06 (de anulao de um produto):
x y = 0 x =0 ou y =0 .
PROVA:
( I) x y = 0 x =0 ou y =0 :
Supondo que x e y so ambos diferentes de
zero, segue a contradio:
x y = 0 y x =0 .
( II) x y = 0 x =0 ou y =0 :
A recproca trivial, uma vez que:
0 0 = 0 y = x 0 = 0 .
C.Q.D.
Consequncia imediata: Um produto de dois
nmeros igual a zero se e somente se pelo
menos um dos dois nmeros igual a zero.
Consequncia imediata: Um produto de dois
nmeros diferente de zero se e somente se os
dois nmeros so diferentes de zero.
Propriedade 07 (de anulao quadrtico linear):
Para quaisquer nmeros x, y e z:
x y = x z x =0 ou y =z .
PROVA:
xy = xz
( xy) +((xz)) = 0
( xy) +( x(z)) = 0
x(y +(z)) = 0
x =0 ou y +(z) =0
x =0 ou y z =0
x =0 ou y =z .
C.Q.D.
Definio do quadrado de um nmero: Se x
um nmero, definimos quadrado de x (x
2
) como
o produto x x. imediato que:
x
2
=0 x =0 .
P08 (do produto de dois conjugados):
(x +y)( x y) = (x
2
) (y
2
) .

PROVA:
(x +y) ( x y) =
( x +y) ( x +(y)) =
( x(x +(y))) +( y(x +(y))) =
(( x
2
) +(( xy))) +((xy) +(( y
2
))) =
((( x
2
) +(( xy))) +(xy)) +(( y
2
)) =
(( x
2
) +((( xy)) +( xy))) +(( y
2
)) =
(( x
2
) +0) +(( y
2
)) =
( x
2
) +(( y
2
)) =
(x
2
) (y
2
) .
C.Q.D.
P09 (da igualdade de dois quadrados):
Se x e y so nmeros:
x
2
= y
2
x = !y .
PROVA:
x
2
= y
2
( x
2
) ( y
2
) = 0
(x +y)(x y) = 0
x +y =0 ou x y =0
x =y ou x =y
x = !y .
C.Q.D.
Consequncia imediata: Os quadrados de dois nmeros so
iguais se e somente se os nmeros so iguais ou opostos.
Observao final (unicidade dos neutros): A
unicidade dos neutros no precisa ser exigida nos
axiomas. Com efeito, se n1 e n2 so neutros
distintos de qualquer uma das duas operaes,
obtemos a seguinte contradio:
n1 = n1 n2 = n2 .
Observao final (unicidade do inverso aditivo):
A unicidade do inverso aditivo no precisa ser
exigida nos axiomas. Com efeito, se s1 e s2 so
inversos aditivos distintos de x, obtemos a
contradio:
s1 = s1 + ( x + s2) = (s1 + x) + s2 = s2 .
Observao final (um diferente de zero): Por
outro lado, os nove axiomas acima devem
realmente exigir explicitamente que um seja
diferente de zero, caso contrrio no poderamos
garantir a existncia de nenhum nmero diferente
de zero. Podemos concluir entretanto que:
(1)(1) = 1 0 1 0 .
Observao final (precedncia e associatividade):
Para quaisquer nmeros x, y e z devemos
convencionar (para simplificar a notao) o
significado de:
x + y z .
Existem duas possibilidades:
x +( yz) ou ( x +y)z .
O axioma de distributividade garante que tais
escolhas oferecem resultados distintos (em geral).
Uma vez que, se valesse a igualdade entre elas,
obteramos a seguinte contradio:
x +(yz) = ( xz) +(yz)
x = xz
x = 0 ou z = 1 .
Optamos ento por dar uma precedncia maior a
multiplicao em relao a da adio (isto , por
fazer a multiplicao antes da adio), o que
limpa a apresentao da distributividade (pea
fundamental da interao entre essas duas
operaes) e todas as manipulaes dela advindas.
J que a subtrao (diviso) definida como
uma adio (multiplicao), ela deve ter a mesma
precedncia e a mesma associatividade (que definimos
da esquerda para a direita) dessa ltima.
Escolhemos ainda:
x +y = (x) +y .
Ao invs da distinta opo:
x +y = ( x +y) .
Observao final (soma/produto de 3 nmeros):
Definimos a soma e o produto de trs nmeros
x, y e z como a soma (o produto) de qualquer
um deles e a soma (o produto) dos outros dois.
Que uma definio consistente.
Com efeito:
x y z =
x ( y z) = x ( z y) =
( y z) x =
y ( z x) = y ( x z) =
( y x) z =
z ( y x) = z ( x y) .
Observao final: A multiplicao pode ser
indicada por justaposio, isto , podemos
escrever: xy = x y ; xyz = x y z etc.
Observao final: sempre verdade ento que:
x +y = (x) +y
x y = (x) +(y)
x ( y +z) = xy +xz
x ( y z) = xy xz
x (y +z) = xy +xz
x (y z) = xy xz
( y +z) = y z
( y z) = y +z
(y +z) = y z
(y z) = y +z
x ( y +z) = xyxz
x ( y z) = xy+xz
x (y +z) = xy xz
x (y z) = xy +xz
NMEROS 01B:
OS POSITIVOS, O ZERO E OS NEGATIVOS
Postulamos que existem destacados nmeros,
chamados de nmeros positivos, regidos pelos
seguintes dois axiomas:
I) Axioma de fechamento positivo: A soma e o
produto de quaisquer dois nmeros positivos so
tambm nmeros positivos.
II) Axioma de tricotomia: Dado um nmero
qualquer x, tem-se sempre que uma, e somente
uma, das seguintes trs afirmaes verdadeira:
x positivo ou x = 0 ou (x) positivo .
Definies fundamentais (de desigualdades): Sejam
x, y e z nmeros quaisquer:
a) (x) um nmero positivo se e somente se
x um nmero negativo, ou, equivalentemente, x
um nmero positivo se e somente se (x)
um nmero negativo.
b) A afirmao x > y (x maior do que y)
equivale a dizer que a diferena de x e y
positiva. Donde z maior do que zero se e
somente se z positivo. Em smbolos:
x >y (x y) positivo x y >0 .
c) A afirmao x < y (x menor do que y)
equivale a dizer que a diferena de x e y
negativa. Donde z menor do que zero se e
somente se z negativo. Em smbolos:
x y (x y) negativo x y 0 .
Note ainda que x maior do que y se e
somente se y menor do que x.
d) A afirmao x maior do que ou igual a y
equivale a qualquer uma das seguintes duas:
( I) x y ou ( II) x = 0 ou x > y .
e) A afirmao x menor do que ou igual a y
equivale a qualquer uma das seguintes duas:
( I) x < y ou ( II) x = 0 ou x y .
f) Definimos ainda que:
(x >y >z) ( x >y e y >z)
e
( x y z) ( x y e y z) .
Consequncia imediata da tricotomia:
verdadeira uma, e somente uma, das seguintes trs
possibilidades:
x > y ou x = y ou x y .
Propriedade 01 (do quadrado positivo definido):
Para todo nmero x:
x
2
0 e x
2
=0 x =0 .
PROVA:
x =0 x
2
=(0)
2
=(0)( 0) =0.
x >0 x
2
=xx >0.
x 0 x
2
=xx =(x)(x) >0.
C.Q.D.
Consequncia imediata: No possvel um
nmero de quadrado negativo.
Consequncia imediata: O nmero um positivo
e o oposto de um negativo, uma vez que:
1 =(1)(1) =(1)
2
>0 .
Propriedade 02 (da regra de sinais):
Sejam x e y nmeros quaisquer:
a) x >0 e y >0 xy >0 .
b) x >0 e y 0 ou x 0 e y >0 xy 0 .
c) x 0 e y 0 xy >0 .
PROVA:
a) Imediata dos axiomas.
b) (x)(y) = ( xy) > 0 xy 0 .
b) (x)( y) = ( xy) > 0 xy 0 .
c) (x)(y) = xy > 0 .
C.Q.D.
Propriedade 03 (de transitividade):
Sejam x, y e z nmeros quaisquer:
x >y e y >z x >z .
PROVA:

x >y e y >z
x +(y) > 0 e y +(z) > 0
(x +(y)) +(y +(z)) > 0
(( x +(y)) +y) +(z) > 0
(x +((y) +y)) +(z) > 0
x +(z) > 0 x >z .

C.Q.D.
Consequncia imediata:
x y e y z x z .
x >y >z x >z
x y z x z .
P04 (de cancelamento aditivo):
Sejam x, y e z nmeros quaisquer:
x > y x+z > y +z .
PROVA:
x > y
x +(y) > 0
( x +(y)) +0 > 0
(x +(y)) +( z +(z)) > 0
(( x +(y)) +z) +(z) > 0
(( x +z) +(y)) +(z) > 0
(x +z) +((y) +(z)) > 0
( x +z) +(( y +z)) > 0
x +z > y +z .
C.Q.D.
x y x +z y +z .
P05 (de cancelamento multiplicativo positivo):
Sejam x, y e z nmeros (z positivo):
x > y xz > yz .
PROVA:
x > y
x +(y) > 0
(x +(y))z > 0
(xz) +(( yz)) > 0
xz > yz .
C.Q.D.
x y e z > 0 xz yz e z > 0 .
P06 (anti cancelamento multiplicativo negativo):
Sejam x, y e z nmeros (z negativo):
x > y xz yz .
PROVA:
x > y
x +(y) > 0
(x +(y))z 0
(xz) +(( yz)) 0
xz yz .
C.Q.D.
x y e z 0 xz > yz e z 0 .
x > y x y .
Observao: A relao de igualdade transitiva
(T), aditiva (A) e multiplicativa (M) em geral,
enquanto a relao maior do que (menor do
que) transitiva (P03), aditiva (P04) e apenas
multiplicativa positiva (P05). Com efeito:
(T) x =y e y =z x =z
( A) x =y x +z =y +z
( M) x =y e z 0 xz =yz e z 0 .
Propriedade 07 (de consistncia aditiva):
Para quaisquer nmeros x1, x2, y1 e y2:
x1>x2 e y1>y2 x1+y1>x2+y2 .
PROVA:
x1+y1>x2+y1 e x2+y1>x2+y2 x1+y1>x2+y2 .
C.Q.D.
x1x2 e y1y2 x1+y1x2+y2 .
P08 (de consistncia multiplicativa positiva):
Para quaisquer nmeros positivos x1, x2, y1 e y2:
x1>x2 e y1>y2 x1y1>x2y2 .
PROVA:
x1y1>x2y1 e x2y1>x2y2 x1y1>x2y2 .
C.Q.D.
0 x1x2 e 0y1y2 x1y1x2y2 .
Observao: A relao de igualdade consistente
no senso aditivo e no senso multiplicativo em
geral (ver o topo deste volume), enquanto a
relao maior do que (menor do que)
consistente no senso aditivo e consistente apenas
no senso multiplicativo positivo.
P09 (de anulao de uma soma de quadrados):
x
2
+y
2
=0 x =y =0 .
PROVA: Considerando x
2
igual a (y
2
), o
primeiro membro da igualdade positivo ou zero,
enquanto o seu segundo membro negativo ou
zero. Logo, a nica forma dela ser verdadeira
se ter x e y ambos iguais a zero. A recproca
trivial. C.Q.D.
Consequncia imediata: A soma dos quadrados
de dois nmeros igual a zero se e somente se
os dois nmeros so iguais a zero.
Consequncia imediata: A soma dos quadrados
de dois nmeros diferente de zero se e
somente se pelo menos um dos dois nmeros
diferente de zero.
P10 (de monoticidade de quadrado de base no negativa):
Sejam x e y nmeros no negativos quaisquer:
( a) x y x
2
y
2
( b) x =y x
2
=y
2
(c) x >y x
2
>y
2
PROVA: Se pelo menos um dos dois nmeros
for igual a zero imediato que se verificam as
trs equivalncias acima. Continuemos com
nmeros x e y ambos positivos:
x y e x y x
2
y
2
e
x =y e x =y x
2
=y
2
e
x >y e x >y x
2
>y
2
Pela tricotomia, para cada par de nmeros
nmeros positivos x e y, exatamente um dos trs
primeiros membros verdadeiro (os outros dois
sendo falsos), donde o respectivo segundo membro
verdadeiro e, mais uma vez pela tricotomia,
o nico segundo membro verdadeiro (os outros
dois sendo falsos). O que verifica P10, para cada
par de nmeros positivos x e y. C.Q.D.
Definio: Min (a , b) o menor dentre a e b,
Max (a , b) o maior dentre a e b, garantindo-se
que:
Min (a , a) = Max (a , a) = a .
Propriedade 11 (de tricotomia quadrtica):
(a)
Min (y , y) x Max ( y , y) x
2
y
2
.
(b)
Min (y , y) =x ou x =Max ( y , y) x
2
=y
2
.
(c)
x Min ( y , y) ou Max (y , y) x x
2
>y
2
.
PROVA:
(b)
x
2
=y
2
x =y ou x =y
x =Min ( y , y) ou x =Max ( y , y) .
(a)
x
2
y
2
x
2
y
2
0
( x +y)( x y) 0
(x +y 0 e x y >0) ou ( x y 0 e x +y >0)
( y x y) ou (y x y)
Min ( y , y) x Max ( y , y) .
(c)
x
2
> y
2
x
2
y
2
> 0
( x +y)( x y) > 0
(x +y 0 e x y 0) ou (x y >0 e x +y >0)
( x y e x y) ou (x >y e x >y)
x Min ( y , y) ou x >Max ( y , y) .
C.Q.D.
Observao final:
1 > 0 > 1 .
O que garante que:
10 e 01 e 1 1 .
A primeira e a segunda afirmao carecem apenas
dos nove axiomas originais, enquanto a terceira
afirmao precisa ainda dos dois axiomas relativos
aos nmeros positivos, ao nmero zero e aos
nmeros negativos.
Observao final:
1+1 > 0 .
Com efeito:
1>0 1 +1>1 1+1 >0 .
Definamos o nmero positivo:
dois = 2 = 1 +1 .
Note para a sequncia que:
2 0 11 .
Observao final: Um nmero igual ao seu
oposto se e somente se ele igual a zero.
Com efeito:
x + x = 0
(1x) + (1x) = 0
(1 + 1) x = 0
2 x = 2 0
x = 0 .
Observao final: A operao de subtrao no
comutativa. Pois, caso fosse, seria como se todos
os nmeros fossem iguais. Absurdo!
Com efeito:
x + (y) = y + (x)
x + (y) + y = y + y + (x)
x = 2y + (x)
x + x = 2y + (x) + x
2 x = 2 y
x = y .
Observao final:
(x) +y = ( x +y) y = 0 .
Observao final: A relao de igualdade
reflexiva, simtrica e transitiva (RST), sendo, por
definio, uma relao de equivalncia:
x =x (reflexiva)
x =y y =x (simtrica)
x =y e y =z x =z ( transitiva)
Observao final: A relao maior do que ou
igual a reflexiva, antissimtrica e transitiva
(RAT), sendo, por definio, uma relao de
ordem:
x x (reflexiva)
x y e y x x =y ( antissimtrica)
x y e y z x z ( transitiva)
As trs ltimas propriedades podem ser provadas
facilmente, verificando, caso a caso, logicamente.
Algo que fica como exerccio.
Definio:
x y e y z x y z .
Observao final: Seguem as demais propriedades
fundamentais da mencionada relao de ordem (as
demonstraes ficam como exerccio):
(a) x y x +z y +z
(b) x y e z > 0 xz yz e z > 0
(c) x y e z 0 xz < yz e z 0
(d) x1 x2 e y1 y2 x1+y1 x2+y2
(e) x1x20 e y1y20 x1y1x2y2
(f) x y 0 x
2
y
2
e x 0 e y 0
(g)
x < Min ( y , y) ou Max ( y , y) < x x
2
y
2
(h)
Min (y , y) < x < Max ( y , y) x
2
<y
2
Exerccio: Prove as correspondentes propriedades
da relao menor do que ou igual a.
Observao final: A resoluo das inequaes
lineares se baseia nas Propriedades 04-06. A
Propriedade 11 crucial para a resoluo das
inequaes quadrticas. Tudo isso complementado
pelas propriedades correspondentes da relao
maior do que (menor do que) ou igual a.
Observao final: O estudo das desigualdades se
completa com o assunto valor absoluto a seguir.
Definio (valor absoluto de um nmero): O
valor absoluto x de um nmero x qualquer
um nmero definido da seguinte forma:
( i) x >0 x = x
( ii) x =0 x = 0
( iii) x 0 x = x
Propriedades imediatas de valor absoluto: Fica
para o leitor provar que se x e y so nmeros
quaisquer ento:
(a) x 0 e x = x
(b) x = 0 x = 0
(c) x = x x 0
(d) x x x
(e) xy = xy
(f) x
2
= x
2
= x
2
(g) x = Max ( x , x)
(h)
x = Min ( x , x)
(i) x
2
= y
2
x = y x = !y
(j) x
2
> y
2
x > y
(k) x
2
y
2
x y
(l) x
2
y
2
x y
(m) x
2
< y
2
x < y
(n) y = x ou x = y x = y x =!y
(o) x y ou yx x > y
(p) y x y x y
(q) x < y ou y < x x y
(r) y < x < y x < y
Propriedade 12 (da desigualdade triangular):
Se x e y so nmeros quaisquer:
(a) x +y < x+y
(b) x y < x+y
(c) xy < xy < x +y
(d) xy < xy < x y
(a)
x x x e y y y
x+y x +y (x+y)
x+y x +y x+y
x+y x +y
x+y x +y .
(b) Basta trocar y por seu oposto em (a).
(c) A desigualdade da esquerda imediata e
a desigualdade da direita sai do seguinte modo:
Trocando x por x + y em (b):
xy < x +y .
Trocando x e y:
(xy) < x +y .
Donde:
xy < x +y .
(d) Basta trocar y por seu oposto em (c).
Observao final: A desigualdade triangular a
propriedade mais importante do assunto valor absoluto.
Os fundamentos para a resoluo de equaes e
inequaes de valor absoluto se encontram nesta pgina.
As conexes entre equaes e inequaes de valor
absoluto e equaes e inequaes quadrticas tambm
so aqui explicitadas.
Definio de Anel R: Conjunto no vazio, dotado de
uma relao de igualdade e de duas operaes a ela
consistentes: adio (comutativa, associativa, com um
nico neutro e em relao a qual cada elemento de R
possui um nico inverso) e multiplicao (associativa e
com um nico neutro distinto do neutro aditivo).
Exigimos ainda que a multiplicao seja distributiva em
relao a adio:
x ( y + z) = (x y) + (x z)
e
(y + z) x = ( y x) + ( z x) .
O exemplo clssico de anel o do conjunto das
matrizes quadradas de ordem n (n natural fixado) sobre
qualquer anel. O neutro aditivo a matriz nula de
ordem n e o neutro multiplicativo a matriz
identidade de ordem n. Se a sua multiplicao
comutativa, R dito um anel comutativo ou um anel
abeliano. Um anel comutativo que possui a
multiplicao tambm cancelativa dito um domnio
integral. Por exemplo, so domnios integrais (anis e
anis comutativos) os conjuntos dos nmeros: inteiros,
racionais, reais e complexos.
Observao final: Todas as propriedades das nove
primeiras pginas do presente texto valem sobre os
nmeros: inteiros, racionais e reais. Todas as
propriedades das quatro primeiras pginas valem sobre
qualquer domnio integral (inclusive o conjunto dos
nmeros complexos).
NMEROS INTEIROS 01C:
BOA ORDEM (MNIMA , MXIMA E FINITA)
INDUO I (DE CONJUNTOS / DE PROPOSIES)
INDUO II (DE CONJUNTOS / DE PROPOSIES)
Definio (do conjunto Z): Chamaremos de Z o
conjunto de todos os nmeros inteiros.
Definio (de conjunto de nmeros limitado inferiormente):
Se S um conjunto no vazio de nmeros,
dizemos que ele limitado inferiormente quando
existir um nmero z
0
que seja menor do que ou
igual a cada um dos seus elementos. Note que
z
0
(dito uma cota inferior de S) no nico e
no precisa pertencer a S.
Definio (de elemento mnimo de um conjunto de nmeros):
dizemos que s
0
um elemento mnimo de tal
conjunto quando pertencer a ele e for menor do
que ou igual a cada um dos seus elementos.
Note que elemento mnimo dum conjunto, quando
existir, nico. Com efeito, supondo dois
mnimos distintos, s
1
e s
2
, obtemos a seguinte
contradio:
s
1
< s
2
e s
2
< s
1
s
1
= s
2
.
I) Axioma de Boa Ordem (mnima): Todo
conjunto de inteiros, no vazio e limitado
inferiormente, possui um nico elemento mnimo.
Propriedade 00A (do menor inteiro positivo):
No existe inteiro entre zero e um.
PROVA: Faremos a prova por contradio. Seja
S a reunio de cada inteiro entre zero e um
(isto , a reunio de cada inteiro maior do que
zero e menor do que um). Tal conjunto
limitado inferiormente (por zero) e por hiptese
no vazio, donde possui um nico elemento
mnimo, que chamaremos de x. Donde obtemos:
0 x 1 0 x
2
x 0 x
2
x 1 .
Ou seja, exibimos x
2
, um elemento de S que
menor do que o seu mnimo. Contradio! Donde
no existe inteiro entre zero e um.
C.Q.D.
Definio (de dois inteiros consecutivos): Para
cada nmero inteiro n dizemos que os dois
nmeros inteiros n e n + 1 so consecutivos.
Propriedade 00B (de integralidade dos inteiros):
No existe inteiro entre dois inteiros consecutivos.
PROVA: Dizer que existe algum nmero
inteiro y entre n e n + 1 equivale a dizer que
existe um inteiro y n entre zero e um, o que
j vimos ser impossvel.
C.Q.D.
Comentrio: Devido a integralidade dos inteiros
faz sentido dizer enfim que o um o primeiro
menor inteiro positivo (por no existir inteiro
entre zero e um), que o dois o segundo
menor inteiro positivo (por no existir inteiro
entre um e dois) e assim por diante. Estes so
exatamente os dez menores inteiros positivos
dispostos em sua rigorosa ordem crescente integral:
um = 1 = 0 + 1
dois = 2 = 1 + 1
trs = 3 = 2 + 1
quatro = 4 = 3 + 1
cinco = 5 = 4 + 1
seis = 6 = 5 + 1
sete = 7 = 6 + 1
oito = 8 = 7 + 1
nove = 9 = 8 + 1
dez = 10 = 9 + 1
Enfatizamos que:
0 12 34 5 6 7 8 9 10 .
Definio (de conjunto de nmeros limitado superiormente):
dizemos que ele limitado superiormente quando
existir um nmero z
que seja maior do que ou

igual a cada um dos seus elementos. Note que
z
(dito uma cota superior de S) no nico e

no precisa pertencer a S.
Definio (de elemento mximo de um conjunto de nmeros):
dizemos que s
um elemento mximo de tal

conjunto quando pertencer a ele e for maior do
que ou igual a cada um dos seus elementos.
Note que elemento mximo dum conjunto, quando
existir, nico. Com efeito, supondo dois
mximos distintos, s
1
e s
2
, obtemos a seguinte
contradio:
s
1
< s
2
e s
2
< s
1
s
1
= s
2
.
Propriedade de Boa Ordem (mxima): Todo
conjunto de inteiros, no vazio e limitado
superiormente, possui um nico elemento mximo.
P01 (de Boa Ordem: Mxima e Mnima):
A Propriedade de Boa Ordem (mxima) equivale
a Propriedade de Boa Ordem (mnima).
PROVA:
Seja S um conjunto de inteiros, no vazio e
limitado superiormente (inferiormente), donde existe
algum inteiro z maior (menor) do que ou igual a
cada um dos seus elementos. Definamos o
conjunto (S) como a reunio do oposto de cada
elemento de S, donde (z) menor (maior) do
que ou igual a cada elemento de (S), que
possui ento um nico elemento mnimo (mximo)
(s). Donde s pertence ao conjunto S e maior
(menor) do que ou igual a cada elemento seu,
donde s o seu nico elemento mximo
(mnimo).
C.Q.D.
Propriedade 02 (de Boa Ordem Finita):
Todo conjunto de inteiros, no vazio e finito,
possui um nico elemento mximo e um nico
elemento mnimo.
PROVA: Dizer que um conjunto no vazio de
inteiros finito garante que ele limitado
inferiormente e superiormente ao mesmo tempo,
donde ele possui um nico elemento mnimo e
um nico elemento mximo. C.Q.D.
Propriedade 03 (de Arquimedes):
Se a e b so inteiros positivos, ento existe
algum inteiro positivo q tal que:
a < bq .
PROVA: Faremos a prova da propriedade por
contradio, supondo (tomando a maior do que b)
que para todo inteiro positivo q:
a bq > 0 ( I)
Seja S a reunio de cada nmero da
forma (I). Esse conjunto limitado inferiormente
(pois cada um dos seus elementos positivo) e
no vazio (bastando considerar q igual a um!),
donde possui um nico elemento mnimo a bx.
Por outro lado, x + 1 um inteiro positivo, o
que garante que a b(x + 1) pertence a S, donde
obtemos a seguinte contradio (um elemento de
S menor do que o seu mnimo):
0 a b(x +1) = ( a bx) b a bx .
Donde sempre existe algum inteiro positivo q tal
que:
a < bq .
C.Q.D.
Propriedade 04 (Induo I De conjuntos):
Se s
0
um inteiro fixado e S um conjunto
de inteiros maiores do que ou iguais a s
0
e que
cumpre as seguintes duas condies:
(i) s
0
S ;
(*)
(ii) s S s +1 S .
Ento S a reunio de cada inteiro maior do
que ou igual a s
0
.
(*)
Em (ii) : s algum inteiro maior do que ou igual a s0.
PROVA: Faremos a prova por contradio.
Seja X a reunio de cada inteiro maior do que
ou igual a s
0
e que no pertence a S. O
conjunto X limitado inferiormente por s
0
e
ele no vazio por hiptese. Seja x, maior do
que s
0
, o seu nico elemento mnimo. Como todo
inteiro menor do que x (e maior do que ou
igual a s
0
) deve estar em S (justifique!), obtemos,
devido a condio (ii), que x tambm est em S.
Contradio!
Como provamos que X vazio, conclumos ento
que S de fato a reunio de cada inteiro maior
do que ou igual a s
0
.
C.Q.D.
Propriedade 05 (Induo I De proposies):
Se s
0
um inteiro fixado e P (s) uma
proposio aberta definida sobre os inteiros
maiores do que ou iguais a s
0
e que cumpre as
seguintes duas condies:
(i) P (s
0
) ;
(*)
(ii) P (s) P (s +1) .
Ento P (s) verdadeira para cada inteiro maior
do que ou igual a s
0
.
(*)
PROVA: Seja S a soluo de P (s), ento tal
conjunto, de inteiros maiores do que ou iguais a
s
0
, satisfaz as seguintes duas condies:
(i) s
0
S ;
(ii) s S s +1 S .
Donde o conjunto S a reunio de cada inteiro
maior do que ou igual a s
0
, donde P (s)
verdadeira para cada inteiro maior do que ou
igual a s
0
.
C.Q.D.
Observao: O ltimo enunciado encerra,
discutivelmente, a mais poderosa ferramenta para
demonstrao de propriedades sobre os nmeros
inteiros. Faremos intensivo e extensivo uso de
induo matemtica nos prximos volumes desta
srie de textos sobre a Teoria Elementar dos
Nmeros e alm.
Propriedade 06 (Induo II De conjuntos):
Se s
0
um inteiro fixado e S um conjunto
de inteiros maiores do que ou iguais a s
0
e que
cumpre as seguintes duas condies:
(i) s
0
S ;
(*)
(ii) x s
0
< x < s S s +1 S .
Ento S a reunio de cada inteiro maior do
que ou igual a s
0
.
(*)
PROVA: Faremos a prova por contradio.
Seja X a reunio de cada inteiro maior do que
ou igual a s
0
e que no pertence a S. O
conjunto X limitado inferiormente por s
0
e
ele no vazio por hiptese. Seja x, maior do
que s
0
, o seu nico elemento mnimo. Como todo
inteiro menor do que x (e maior do que ou
igual a s
0
) deve estar em S (justifique!), obtemos,
devido a condio (ii), que x tambm est em S.
Contradio!
Como provamos que X vazio, conclumos ento
que S de fato a reunio de cada inteiro maior
do que ou igual a s
0
.
C.Q.D.
Propriedade 07 (Induo II De proposies):
Se s
0
um inteiro fixado e P (s) uma
proposio aberta definida sobre os inteiros
maiores do que ou iguais a s
0
e que cumpre as
seguintes duas condies:
(i)
P (s
0
) ;
(ii)
P (x) para todo x x s
0
< x < s P (s +1) .
Ento P (s) verdadeira para cada inteiro maior
do que ou igual a s
0
.
(*)
PROVA: Seja S a soluo de P (s), ento tal
conjunto, de inteiros maiores do que ou iguais a
s
0
, satisfaz as seguintes duas condies:
(i) s
0
S ;
(ii) x s
0
< x < s S s +1 S .
Donde o conjunto S a reunio de cada inteiro
maior do que ou igual a s
0
, donde P (s)
verdadeira para cada inteiro maior do que ou
igual a s
0
. C.Q.D.
Induo de Ordem Superior: A Propriedade 05
admite verses de ordem superior, modificando
apenas as suas condies (i) e (ii).
Segunda ordem:
(i) P (s
0
) e P (s
0
+1) ;
(ii) P (s 1) e P (s) P (s +1) .
Terceira ordem:
(i) P (s
0
) e P (s
0
+1) e P (s
0
+2) ;
(ii) P (s 2) e P (s 1) e P (s) P (s +1) .
Quarta ordem:
(i) P (s
0
) e P (s
0
+1) e P (s
0
+2) e P (s
0
+3) ;
(ii)
P (s 3) e P (s 2) e P (s 1) e P (s) P (s +1) .
etc.
As demonstraes ficam por conta do leitor.
Definio indutiva: A induo matemtica pode
ser usada na definio de novos objetos, sendo a
ferramenta natural para dar continuidade ao estudo
dos mesmos em tais circunstncias.
Equaes de Recorrncias: A induo matemtica
(de ordem superior) tambm a ferramenta
natural para o estudo das equaes de
recorrncias (equaes de diferenas finitas ).
Mais sobre domnios integrais: Se R um
domnio integral que satisfaz uma verso abstrata
dos axiomas da pgina cinco, ele dito um
domnio integral ordenado (como os conjuntos dos
nmeros: inteiros, racionais e reais). Se R tambm
satisfaz uma verso abstrata do axioma de boa
ordem (mnima), ele dito um domnio integral
bem ordenado. Pode ser demonstrado que o
conjunto Z dos nmeros inteiros , em um certo
sentido, o nico domnio integral bem ordenado.
NMEROS INTEIROS 01D:
APNDICE
Definio (parcela, fator, minuendo, subtraendo):
Em uma soma, cada nmero chamado de
parcela, em um produto, cada nmero chamado
de fator e em cada diferena, o primeiro nmero
o minuendo e o segundo nmero o
subtraendo.
Definio (de nmero natural): Tomamos nmero
natural como sinnimo de nmero inteiro positivo.
Definio (de faixa de nmeros): Dados dois
nmeros a e b com o primeiro menor do que
ou igual ao segundo, quando falamos de cada
nmero de a at b, estamos nos referindo a
cada elemento do conjunto:
x a < x < b .
Definio (sucessor e antecessor): Dado um
inteiro qualquer, se a ele adicionamos um,
obtemos o seu sucessor e se dele subtramos um,
encontramos o seu antecessor. Tais definies s
fazem sentido (assim como a definio de inteiros
consecutivos) devido a integralidade dos inteiros.
Observao final: A Propriedade de Induo I
(de conjuntos) equivale a Propriedade de Induo
I (de proposies). Verifique!
Observao final: A Propriedade de Induo II
(de conjuntos) equivale a Propriedade de Induo
II (de proposies). Verifique!
Exerccio: Tomando a Propriedade de Induo I
(de proposies) como axioma no lugar da
Propriedade de Boa Ordem (Mnima), prove que
PROVA: Devemos provar que para todo inteiro x
a seguinte proposio sempre verdadeira:
( P ( x)) x > 0 - x 1 .
Tal proposio sempre verdadeira para qualquer
inteiro no positivo (verifique!). Supondo que ela
seja verdadeira para algum nmero inteiro no
negativo n, provemos que ela vale para o
sucessor de n:
( P ( n +1)) n +1 > 0 - n +1 1 .
Como a ltima afirmao (a tese de induo)
sempre verdadeira para cada n inteiro no
negativo (verifique!), conclumos que a proposio
tambm verdadeira para todo inteiro no
negativo, donde ela verdadeira para qualquer
inteiro.
C.Q.D.
Observao: A integralidade dos inteiros sai,
como antes, do ltimo resultado.
Exerccio: Tomando a Propriedade de Induo I
(de proposies) como axioma prove a
Propriedade de Boa Ordem (Mnima).
PROVA: Seja S um conjunto de inteiros, no
vazio e limitado inferiormente pelo inteiro z. Tal
conjunto por hiptese no possui um elemento
mnimo. Obviamente z no pertence a S.
Definamos, para todo inteiro x maior do que ou
igual a z, a proposio aberta P (x):
Cada inteiro de z at (x) no pertence a S.
Como P (z) verdadeira e supondo que a
proposio seja verdadeira para algum inteiro n
maior do que ou igual a z, provemos que ela
vale para o sucessor de n.
Com efeito, o sucessor de n no pode pertencer
a S, pois, se assim fosse, seria o seu mnimo, o
que no possvel. Donde P (n + 1) verdadeira,
donde P (x) sempre verdadeira, donde S
vazio (verifique!). Contradio! Donde S possui
um nico elemento mnimo.
C.Q.D.
Observao: O ltimo resultado garante que a
Propriedade de Induo I (de proposies)
equivale a Propriedade de Boa Ordem (Mnima)
que equivale a Propriedade de Boa Ordem
(Mxima) que equivale a Propriedade de Induo
I (de conjuntos).
Exerccio: Tomando a Propriedade de Induo II
(de proposies) como axioma no lugar da
Propriedade de Boa Ordem (Mnima), prove que
PROVA: Devemos provar que para todo inteiro x
a seguinte proposio sempre verdadeira:
( P ( x)) x > 0 - x 1 .
Tal proposio sempre verdadeira para qualquer
inteiro no positivo (verifique!). Supondo que ela
seja verdadeira para cada nmero inteiro de zero
at n (n inteiro no negativo), provemos que ela
vale para o sucessor de n:
( P ( n +1)) n +1 > 0 - n +1 1 .
Como a ltima afirmao (a tese de induo)
sempre verdadeira para cada n inteiro no
negativo (verifique!), conclumos que a proposio
tambm verdadeira para todo inteiro no
negativo, donde ela verdadeira para qualquer
inteiro.
C.Q.D.
Observao: A integralidade dos inteiros sai,
como antes, do ltimo resultado.
Exerccio: Tomando a Propriedade de Induo II
(de proposies) como axioma, prove a
Propriedade de Boa Ordem (Mnima).
PROVA: Seja S um conjunto de inteiros, no
vazio e limitado inferiormente pelo inteiro z. Tal
conjunto por hiptese no possui um elemento
mnimo. Obviamente z no pertence a S.
Definamos, para todo inteiro x maior do que ou
igual a z, a proposio aberta P (x):
(x) no pertence a S.
Como P (z) verdadeira e supondo que a
proposio seja verdadeira para cada inteiro de z
at n (n maior do que ou igual a z), provemos
que ela vale para o sucessor de n.
Com efeito, o sucessor de n no pode pertencer
a S, pois, se assim fosse, seria o seu mnimo, o
que no possvel. Donde P (n + 1) verdadeira,
donde P (x) sempre verdadeira, donde S
vazio (verifique!). Contradio! Donde S possui
um nico elemento mnimo. C.Q.D.
Observao: O ltimo resultado garante que as
seis propriedades (quatro de induo e duas de
boa ordem) so todas equivalentes.
Definio de Sequncia: Formalmente, sequncia
uma funo cujo domnio o conjunto dos
nmeros naturais. Informalmente, pensaremos em
uma sequncia numrica qualquer a
m
, onde m
um inteiro positivo arbitrrio, como a seguinte
lista ordenada infinita de nmeros:
a
1
a
2
a
3
. a
m1
a
m
a
m+1
.
Se tomarmos os n primeiros termos de a
m
, onde
n um inteiro positivo fixado qualquer, obtemos
ento a lista ordenada finita de nmeros:
a
1
a
2
a
3
. a
n 1
a
n
.
Exemplo de Definio Indutiva: Desejamos definir
um novo objeto matemtico para cada inteiro
positivo via a Propriedade de Induo I (de
proposies). Devemos defini-lo para o nmero um
e, supondo-o definido para algum inteiro positivo,
devemos defini-lo ento para o sucessor desse
ltimo. Tal procedimento pode variar um pouco,
dependendo da especfica verso de induo
utilizada e da intrnseca natureza do objeto sendo
definido.
Definio generalizada de soma e de produto:
Dada uma sequncia numrica qualquer a
m
,
definamos indutivamente a soma S
n
e o produto
P
n
dos seus n primeiros termos:
Soma (generalizada):
(i ) S
1
= a
1
;
(ii ) S
n +1
= S
n
+ a
n+1
.
Produto (generalizado):
(i ) P
1
= a
1
;
(ii ) P
n +1
= P
n
a
n +1
.
Tais definies dadas so deveras restritivas, pois

ns desejamos somas e produtos sem ambiguidades
(e parnteses obrigatrios), independentes da ordem
e dos agrupamentos dos nmeros considerados.
Enfatizaremos agora as limitaes da definio
dada (usaremos a adio, mas o caso da
multiplicao absolutamente anlogo):
a
1
= (a
1
)
a
1
+ a
2
= (a
1
) + a
2
a
1
+ a
2
+ a
3
= ( a
1
+ a
2
) + a
3
a
1
+ a
2
+ a
3
+ a
4
= (a
1
+ a
2
+ a
3
) + a
4
a
1
+ a
2
+ a
3
+ a
4
+ a
5
= ( a
1
+ a
2
+ a
3
+ a
4
) + a
5
Juntando tudo:
a
1
+ a
2
+ a
3
+ a
4
+ a
5
=
((((a
1
) + a
2
) + a
3
) + a
4
) + a
5
.
Deve ser bvio agora para o leitor a necessidade
de se generalizar urgentemente a associatividade e
a comutatividade, algo que faremos na primeira
seo do nosso prximo volume sobre a Teoria
Elementar dos Nmeros. Feita essa generalizao,
as seguinte notaes sero muito teis:
S
n
=

k=1
n
a
k
e P
n
=

k =1
n
a
k
.
Exemplo de Demonstrao Indutiva: Utilizaremos
a Propriedade de Induo I (de proposies) com
inteiro fixado igual a um para provar que uma
proposio dada verdadeira para cada inteiro
positivo. Atente que duas provas devem ser feitas.
(PRIMEIRO) Devemos provar que a proposio
verdadeira para o inteiro um (o que constitui a
Condio Inicial de Induo). (SEGUNDO)
Supondo que a proposio verdadeira para
algum inteiro maior do que ou igual a um
(Hiptese de Induo), devemos provar que ela
verdadeira para o sucessor de tal inteiro ( Tese de
Induo). Tal procedimento pode variar um pouco
dependendo da especfica verso de induo
utilizada e da intrnseca natureza da proposio
sendo demonstrada.
Sobre para que serve a Induo Matemtica: A
validade de uma proposio para um nmero
finito de inteiros no garante a validade da
mesma proposio para um nmero infinito deles.
Para tal precisamos da induo matemtica.
Argumentos que mencionam o fragmento ...e
assim por diante... (ou equivalente) sempre vo
carecer de uma prova formal via induo
matemtica. Resumindo: toda proposio sobre os
inteiros deve receber o crivo da induo
matemtica (ou equivalente) para verificar a sua
validade. Obviamente, todo objeto matemtico
definido indutivamente ser estudado indutivamente.
Sobre a escada infinita: uma escada com
infinitos degraus numerados crescentemente (de
baixo para cima) de acordo com os nmeros
naturais.
A Induo I e a subida da escada infinita:
Para algum ser capaz de alcanar cada degrau
da escada, ele deve ser capaz de duas coisas.
(PRIMEIRO) Atingir o primeiro degrau da escada.
(SEGUNDO) Se atingir algum degrau, ele
consegue atingir o seguinte.
A Induo de Ordem p e a subida da escada infinita:
(PRIMEIRO) Atingir o topo dos p primeiros
degraus da escada. (SEGUNDO) Se atingir o topo
de alguma sucesso de p degraus, ele consegue
atingir o seguinte.
A Induo II e a subida da escada infinita:
(PRIMEIRO) Atingir o primeiro degrau da escada.
(SEGUNDO) Se atingir o topo de alguma
sucesso de degraus comeando no primeiro, ele
consegue atingir o seguinte.
Onde e como estudar Induo Matemtica:
Parta agora para as trs ltimas sees (a partir
da pgina oito)
(*)
do segundo volume desta srie
sobre a Teoria Elementar dos Nmeros. L
existem dezenas de aplicaes interessantes de
induo sobre as mais diversas reas da
Matemtica Elementar. Feito isso, releia ento
(quantas vezes forem necessrias) as duas ltimas
sees do presente volume e parta dai (mais
embasado) para as duas primeiras sees do
segundo volume (que requerem maior maturidade
matemtica). Isso deve maximizar o seu
aprendizado sobre tal assunto.
(*)
(Se o leitor possuir entendimento bsico de lgebra
dos nmeros e de induo matemtica, ele pode
entrar neste texto diretamente a partir da pgina oito
do segundo volume, partindo dali para aprofundar os
seus conhecimentos sobre os nmeros inteiros e mais
tarde conhecer as construes dos cinco principais
conjuntos numricos.)
Intuio versus a Boa Ordenao: A Boa
Ordem (mnima) serviu para ajustar a teoria
abstrata, at aquele ponto, nossa intuio a
respeito dos nmeros inteiros. Com efeito, se
naquele ponto no introduzssemos a Boa
Ordenao, nada, na ento presente teoria,
impediria a existncia, entre o zero e o um, da
seguinte sequncia infinita decrescente de inteiros
(!?):
1 > x > x
2
> ( x
2
)
2
> ((x
2
)
2
)
2
> . > 0 .
Tal sequncia viola completamente o nosso modelo
mental dos inteiros, algo que a Boa Ordenao
entra em cena para evitar. Alis, qualquer uma
das seis propriedades (duas de boa ordem e
quatro de induo) serviria a tal propsito.
Mais sobre a Boa Ordenao: Tratando-se do
conjunto dos nmeros racionais (ou do conjunto
dos nmeros reais) no garantido que todo
subconjunto, no vazio e limitado inferiormente,
possui um elemento mnimo. Por exemplo, o
subconjunto de todos os racionais (reais) positivos.
Sobre a Propriedade de Arquimedes: No caso
de a menor do que ou igual a b, basta que
coloquemos q igual a um. Se a maior do que
b, vamos exercitar a nossa intuio geomtrica,
tomando um segmento de reta medindo a e outro
de comprimento b. Sabemos intimamente que se
justapusermos suficientes q cpias do menor
podemos igualar e mesmo superar o maior, algo
que uma excelente interpretao informal da
citada propriedade. Note que (como acontece com
os nmeros inteiros) se b maior do que ou
igual a um, basta tomar para q qualquer valor
inteiro maior do que ou igual a a. Com efeito:
b 1 e q a bq a .
Note ainda que se existir algum q, ento faz
sentido perguntar pelo menor q possvel.
Ainda mais sobre domnios integrais: Afirmamos
que o conjunto dos nmeros complexos C no
um Domnio Integral Ordenado (DIO). Note
inicialmente (como provamos acima) que em
qualquer DIO: cada elemento (diferente do zero)
tem quadrado positivo, o um positivo e o
oposto do um negativo. Sabemos (do ensino
mdio) que existe um nmero complexo (diferente
do zero complexo) notado por i cujo quadrado
o oposto do um complexo, donde se C fosse um
DIO ento o oposto do um complexo seria
negativo e positivo ao mesmo tempo. Absurdo! O
conjunto C pode ser ordenado de diferentes
formas, o ponto crucial aqui que nenhuma
dessas ordens o transforma em um DIO. Como
C no um DIO ele tambm no (como
veremos mais tarde) um Corpo Ordenado.

01 - Teoria Elementar Dos Números Inteiros 01

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

01 - Teoria Elementar Dos Números Inteiros 01

Transféré par

Droits d'auteur :

Formats disponibles

PROFESSOR CASTANHEIRA TEORIA ELEMENTAR DOS NMEROS INTEIROS 01

EMAIL: lccs1701@yahoo.com BLOG: www.professorcastanheira.blogspot.com

que seja maior do que ou

(dito uma cota superior de S) no nico e

um elemento mximo de tal

Tais definies dadas so deveras restritivas, pois

Vous aimerez peut-être aussi