GAN 00155 Algebra 1 2017-1

GAN 00155 : Algebra 1

Notas de Aula

Uma axiomatizacao dos numeros inteiros:

axiomas para +, e

Petrucio Viana
GAN-IME-UFF

Sumario
1 Introducao 2

2 Conceitos primitivos e axiomas 2

3 Axiomas da igualdade 4

4 Axiomas de aritmetica 5
4.1 Axiomas da adicao . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
4.2 Propriedades aritmeticas da adicao . . . . . . . . . . . . . . . . . . . 7
4.3 Axiomas da multiplicacao . . . . . . . . . . . . . . . . . . . . . . . . 10
4.4 Propriedades aritmeticas da multiplicacao . . . . . . . . . . . . . . . 14
4.5 Propriedades aritmeticas da subtracao . . . . . . . . . . . . . . . . . 16

5 Axiomas de ordenacao 17
5.1 Axiomas de ordenacao parcial . . . . . . . . . . . . . . . . . . . . . . 17
5.2 Axiomas de compatibilidade . . . . . . . . . . . . . . . . . . . . . . . 19
5.3 Propriedades aritmeticas da ordenacao . . . . . . . . . . . . . . . . . 19

6 Alguns conceitos da aritmetica e da ordem 20

6.1 Ordenacao reversa . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
6.2 Ordenacao estrita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
6.3 Ordenacao estrita reversa . . . . . . . . . . . . . . . . . . . . . . . . . 23
6.4 Numeros positivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
6.5 Numeros negativos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24

7 Axioma de ordenacao total 25

8 Axioma de boa ordenacao 27

8.1 Numeros naturais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
8.2 Princpio da Boa Ordem . . . . . . . . . . . . . . . . . . . . . . . . . 31
8.3 Princpio de Inducao Matematica . . . . . . . . . . . . . . . . . . . . 32
8.4 A16 PBO . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33

1
GAN 00155 Algebra 1 2017-1

1 Introducao
Um dos nossos principais objetivos e estudar uma estrutura algebrica em de-
talhes, de modo a (1) exemplificar como os estudos de uma determinada estru-
tura algebrica pode ser desenvolvido, (2) tomar contato com conceitos, resultados e
tecnicas que permeiam todos os estudos algebricos e formam uma parte significativa
do repertorio que todos os estudantes de matematica devem dominar.
Mais especificamente, vamos nos dedicar ao estudo do conjunto Z munido de
=, +, e , conhecer mais profundamente suas principais propriedades, introduzir
novas estruturas que sao uteis no seu estudo e compara-la com as outras estruturas
algebricas abordadas no Ensino Medio tanto quanto uma primeira abordagem o
permita.
E importante salientar que:

A lngua portuguesa, a logica e a teoria dos conjuntos, no nvel em que sao

usadas no Ensino Medio, sao livremente empregadas neste estudo.
Conceitos, proposicoes e tecnicas advindas destas tres disciplinas, que nao
sao usualmente tratados no Ensino Medio sao introduzidos e exemplificados
quando necessario.

Ao final, alem do repertorio algebrico, voce vai adquirir um conjunto de conceitos,

proposicoes e tecnicas que fazem parte do repertorio basico de todo estudante de
Matematica.

2 Conceitos primitivos e axiomas

Como um dos objetivos principais da algebra e o estudo de regras para a mani-
pulacao de expressoes algebricas associadas a estruturas numericas (numero sendo
aqui entendido no seu sentido mais abrangente), em algebra nao costumamos definir
as estruturas que vamos estudar por um metodo genetico, ou seja, nao definimos
as estruturas diretamente, especificando quem sao seus elementos e quais sao as
operacoes e relacoes que vao atuar sobre estes elementos. Ao inves disso, o que faze-
mos e apresentar certas condicoes que estes elementos, operacoes e relacoes devem
satisfazer, e assumir estas condicoes como uma base sobre a qual justificamos todos
os raciocnios que sao efetuados. A este processo damos o nome de axiomatizacao.
Toda axiomatizacao de um ramo do conhecimento comeca com uma lista dos
conceitos, que sao assumidos sem explicacao (definicao). Todos os outros conceitos
empregados sao definidos a partir destes conceitos fundamentais.

2
GAN 00155 Algebra 1 2017-1

Em nosso estudo algebrico dos numeros inteiros, os conceitos fundamentais (ou

primitivos) sao:
Z conjunto dos numeros inteiros,
= igualdade em Z,
+ adicao em Z,
multiplicacao em Z,
menor ou igual em Z.
Mais adiante, a partir destes conceitos primitivos, vamos definir os conceitos
zero, simetrico, divisibilidade, um, modulo, quociente e resto, maximo diviso comum,
primalidade, etc.
Apos os conceitos primitivos, a axiomatizacao deve ser seguida de uma lista
de enunciados fundamentais envolvendo estes conceitos, que sao assumidos sem
justificativa (prova). Todos os outros enunciados empregados sao provados a partir
destes enunciados fundamentais.
Em nosso estudo algebrico dos numeros inteiros, os enunciados fundamentais
(ou axiomas) estao divididos em cinco grupos:

Axiomas da igualdade.

Axiomas de aritmetica que, por sua vez, estao subdividos em dois subgru-
pos:

Axiomas da Adicao,
e
Axiomas da Multiplicacao.

Axiomas de ordenacao, que, por sua vez, estao subdividos em tres subgru-
pos:

Axiomas de Ordenacao Parcial,

e
Axiomas de Compatibilidade.

Axioma de Ordenacao Total,

e

Axioma de Boa Ordenacao.

Os varios axiomas da igualdade, adicao, multiplicacao, ordenacao parcial, de com-

patibilidade e de ordenacao total se referem apenas a numeros inteiros. O unico
Axioma de Boa Ordenacao se refere a numeros inteiros e a subconjuntos do con-
junto dos numeros inteiros.
Vamos, agora, descrever cada um destes grupos.

3
GAN 00155 Algebra 1 2017-1

3 Axiomas da igualdade
O conceito primitivo =, de igualdade em Z, satisfaz as condicoes a seguir.

Observacao 1 Como qualquer relacao de igualdade em qualquer conjunto, = em

Z satisfaz as seguintes condicoes:

(a) a Z : a = a.

(b) a, b Z : se a = b, entao b = a.

(c) Se a = b e b = c, entao a = c.

Mas, como qualquer relacao de igualdade em qualquer conjunto, = em Z tambem

satisfaz a seguinte condicao que nos permite, dados dois elementos iguais, trocar um
pelo outro em qualquer contexto onde eles aparecam:

(d) a, b Z : se a = b, F (a) e uma frase qualquer contendo uma ou mais ocorrecias

de a e F (b) e a frase obtida de F (a) pela troca de uma ou mais ocorrencias de a por
ocorrencias de b, entao F (a) e F (b) tem o mesmo significado.

As condicoes (a), (b) e (c) sao chamadas, respectivamente, de (a) propriedade

reflexiva da igualdade, (b) propriedade simetrica da igualdade, (c) propri-
edade transitiva da igualdade, (d) Lei de Leibinz.
Estas condicoes possuem varias consequencias importantes.

Observacao 2 Como Z esta munido de duas operacoes primitivas + e , e de uma

relacao primitiva , temos:

(e) a, b, c Z : se a = b, entao a + c = b + c e c + a = c + b.
De fato, sejam a, b, c Z. Suponhamos que a = b. Pela reflexividade, a + c =
a + c. Assim, substituindo a por b no segundo membro da igualdade, pela Lei de
Leibniz, temos a + c = b + c. Analogamente, pela reflexividade, c + a = c + a. Assim,
substituindo a por b no segundo membro da igualdade, pela Lei de Leibniz, temos
c + a = c + b.

(f) a, b, c Z : se a = b, entao a c = b c e c a = c b.
A justificativa fica como Exerccio.

(g) a, b, c, d Z : se a = b e c = d, entao a + c = b + d e c + a = d + b.
A justificativa fica como Exerccio.

(h) a, b, c, d Z : se a = b e c = d, entao a c = b d e c a = d b.
A justificativa fica como Exerccio.

(i) a, b, c Z : se a = b e a c, entao b c.
A justificativa fica como Exerccio.

(j) a, b, c Z : se a = b e c a, entao c b.
A justificativa fica como Exerccio.

4
GAN 00155 Algebra 1 2017-1

As condicoes acima sao chamadas, respectivamente, de (e) e (g) compatibili-

dade da igualdade com a adicao, (f) e (h) compatibilidade da igualdade com
a multiplicacao, (i) e (j) compatibilidade da igualdade com a ordenacao.

Como e usual, todas as condicoes (a), (b), . . . , (j), sobre = em Z, serao usadas
sempre que for conveniente, sem nenhum aviso previo ou especificacao.

4 Axiomas de aritmetica
Os axiomas de aritmetica descrevem o comportamento das operacoes + e , tanto
isoladamente, quanto em conjunto.

4.1 Axiomas da adicao

Os axiomas da adicao descrevem o comportamento da operacao +. A esco-
lha destes axiomas pode ser motivada por uma analise do processo de solucao das
equacoes da forma a + x = b e x + a = b, onde a, b Z.

Exemplo 1 Considere as seguintes equacoes:

x + 1 = 1, (1)
x + 1 = 2, (2)
x + 2 = 1, (3)

cujas solucoes devem pertencer ao universo N = {0, 1, 2, 3, . . . , n, . . .}, dos numeros

naturais.
Um simples axame nos leva a concluir que a equacao (1) tem (apenas) o numero 0
como solucao; a equacao (2) tem (apenas) o numero 1 como solucao; e a equacao (3)
nao tem solucao em N. 

Vamos, agora, examinar o que acontece com as equacoes (1), (2) e (3) quando o
universo de solucoes e o conjunto Z = {. . . , m, . . . , 3, 2, 1, 0, 1, 2, 3, . . . , n, . . .},
dos numeros inteiros.

Exemplo 2 Em primeiro lugar, as equacoes (1) e (2) continuam tendo as mesmas

solucoes, uma vez que N Z. Alem disso, nenhuma nova solucao foi acrescentada,
quando passamos de N para Z.
Ja a equacao (3), que nao tinha solucao em N, tem agora (apenas) o numero
inteiro 1 como solucao. 

Baseados no Exemplo 2, podemos conjecturar que: uma equacao da forma x+a =

b, onde a, b Z sempre tem uma unica solucao em Z.
Formalmente, a existencia e unicidade da solucao das equacoes da forma x+a = b
em Z, e justificada pelas sequintes equivalencias:

5
GAN 00155 Algebra 1 2017-1

x+a=b
se, e somente se,
(x + a) + (a) = b + (a)
se, e somente se,
x + (a + (a)) = b + (a)
se, e somente se,
x + 0 = b + (a)
se, e somente se,
x = b a.
As equivalencias acima sao baseadas nos seguintes enunciados sobre numeros
inteiros, envolvendo as operacoes + e , e o numero 0:
Se a Z, entao a Z.

Se a, b, c Z, entao a + (b + c) = (a + b) + c.

Se a Z, entao a + (a) = 0.

Se a Z, entao a + 0 = a.
Finalmente, como b + (a) Z quando a, b Z, temos que a equacao (3) tem
como solucao (unica) o numero inteiro b a = b + (a).
Esta ultima condicao e baseada na seguinte propriedade dos numeros inteiros:
Se a, b Z, entao a + b e univocamente determinado e a + b Z.
A discussao acima, nos leva a adotar os seguintes enunciados basicos sobre as
operacoes + e , e o elemento 0, em Z, como axiomas:

Axiomas da adicao (a): O conjunto Z, dos numeros inteiros, esta munido

de um conceito primitivo + (adicao), que satisfaz as seguintes condicoes:

Para todos a, b Z, a + b, chamado a soma de a com b, e um numero

univocamente determinado que pertence a Z.

A1. a, b, c Z : a + (b + c) = (a + b) + c

A2. z Z : a Z : a + z = a

A3. a Z : s Z : a + s = z, onde z e dado por A2.

Por satisfazer a condicao que, para todos a, b Z, a soma de a com b e um

numero inteiro univocamente determinado, dizemos que + e uma operacao em Z.
Os axiomas A1, A2 e A3 sao chamados, respectivamente, de propriedade asso-
ciativa da adicao, propriedade do elemento neutro da adicao e propriedade
do elemento simetrico da adicao.

6
GAN 00155 Algebra 1 2017-1

Observe que a adicao de numeros naturais tambem satisfaz a axiomas analogos

a A1 e A2. Mas o axioma A3 explicita uma diferenca fundamental, do ponto de
vista algebrico, entre as operacoes distintas de adicao de numeros naturais e adicao
de numeros inteiros.
O tratamento das equacoes da forma a + x = b pode dispensar a introducao de
axiomas referentes a primeira coordenada da operacao +, se observamos as seguintes
equivalencias:

a+x=b
se, e somente se,
x + a = b.

A partir da, podemos efetuar uma analise inteiramente analoga a anterior usando
os axiomas A1, A2 e A3. Esta discussao nos leva a adotar o seguinte axioma sobre
a operacao + em Z:

Axiomas da adicao (b): A operacao + de adicao de numeros inteiros satisfaz

a seguinte condicao:

A4. a, b Z : a + b = b + a.

O axioma A4 e chamado de propriedade comutativa da adicao. Observe

que a adicao de numeros naturais tambem satisfaz a um axioma analogo a A4.

4.2 Propriedades aritmeticas da adicao

Podemos, agora enunciar e provar varios resultados aritmeticos simples, envol-
vendo a adicao.
Como esperado, o elemento z mencionado em A2 e A3, e o unico elemento de Z
que satisfaz a propriedade a Z : a + z = z + a = a.

Proposicao 1 (a) !z Z : a Z : a + z = a.

(b) !z Z : a Z : z + a = a.

(c) z1 , z2 Z : se a Z : a + z1 = a e a Z : z2 + a = a, entao z1 = z2 .

Prova. (a) Existencia: Por A2.

Unicidade: Sejam z1 , z2 Z.
Suponhamos que a Z : a + z1 = a e a Z : a + z2 = a.
Da, z2 + z1 = z2 e z1 + z2 = z1 .
Mas, por A4, z2 + z1 = z1 + z2 .
Logo, z1 = z2 .

(b) Exerccio.

7
GAN 00155 Algebra 1 2017-1

(c) Sejam z1 , z2 Z.
Suponhamos que a Z : a + z1 = a e a Z : z2 + a = a.
Da, z2 + z1 = z2 e z2 + z1 = z1 .
Logo, z1 = z2 .

Como z e o unico elemento de Z satisfazendo a propriedade acima, podemos

botar um nome nele.

Definicao 1 Chamamos de zero, e denotamos por 0, ao unico elemento z Z

tal que a Z : a + z = z + a = a.

Assim, a propriedade caracterstica do 0 e:

a Z : a + 0 = 0 + a = a. (4)

Na verdade, (4) pode ser vista como uma caracterizacao do 0 e passara a ser usada
como se fosse o axioma A2.
Como consequencia de (4), temos uma importante condicao aritmetica funda-
mental:
0 + 0 = 0. (5)
A condicao (5) tambem caracteriza o 0, como mostra a seguinte proposicao:

Proposicao 2 a Z : a + a = a sse a = 0.

Prova. Seja a Z.

() Suponhamos que a + a = a.
Por A3, s Z : a + s = 0.
Da, (a + a) + s = a + s.
Assim, por A1, a + (a + s) = a + s.
Da, por A3, a + 0 = 0.
Logo, a = 0.

() Suponhamos que a = 0.
Pela Definicao 1, b Z : b + 0 = b.
Assim, a + 0 = a.
Como a = 0, temos a + a = a.

Tambem, como esperado, dado a Z, o elemento s mencionado em A3, e o unico

elemento de Z que satisfaz a propriedade a + s = s + a = 0.

Proposicao 3 (a) a Z : !s Z : a + s = 0.

(b) a Z : !s Z : s + a = 0.

(c) a Z : s1 , s2 Z : se a + s1 = 0 e s2 + a = 0, entao z1 = z2 .

8
GAN 00155 Algebra 1 2017-1

Prova. (a) Seja a Z.

Existencia: Por A3.
Unicidade: Sejam s1 , s2 Z.
Suponhamos que a + s1 = 0 e a + s2 = 0.
Da, a + s1 = a + s2 .
Assim, (s1 + a) + s1 = (s2 + a) + s1 .
Da, por A1, s1 + (a + s1 ) = s2 + (a + s1 ).
Assim, s1 + 0 = s2 + 0.
Logo, por A2, s1 = s2 .

(b) Exerccio.

(c) Seja a Z.
Sejam s1 , s2 Z.
Suponhamos que a + s1 = 0 e s2 + a = 0.
Da, a + s1 = s2 + a.
Mas, por A4, a + s1 = s1 + a.
Assim, s1 + a = s2 + a.
Da, (s1 + a) + s1 = (s2 + a) + s1 .
Assim, por A1, s1 + (a + s1 ) = s2 + (a + s1 ).
Da, s1 + 0 = s2 + 0.
Logo, por A2, s1 = s2 .

Como para cada a temos um unico s satisfazendo a propriedade acima, podemos

botar um nome nele (em funcao de a).

Definicao 2 Seja a Z. Chamamos de simetrico de a, e denotamos por a,

ao unico elemento s Z tal que a + s = s + a = 0.

Assim, dado a Z, a propriedade caracterstica de a e:

a Z : a + (a) = (a) + a = 0. (6)

Na verdade, (6) pode ser vista como uma caracterizacao do a e passara a ser
usada como o axioma A3.
Nas provas acima, usamos algumas vezes um procedimento que e util o suficiente
para ser destacado como uma proposicao.

Proposicao 4 (a) a, b, c Z : se a + b = a + c, entao b = c.

(b) a, b, c Z : se b + a = c + a, entao b = c.

Prova. Exerccio.

9
GAN 00155 Algebra 1 2017-1

A Proposicao 4 e chamada lei do corte para a adicao.

A Proposicao 3, que garante a existencia e a unicidade do simetrico nos permite
definir em Z uma operacao que pode ser considerada como uma inversa da adicao.

Definicao 3 Sejam a, b Z. Chamamos de diferenca de a por b, e denotamos

por a b, ao numero a + (b).

A propriedade caracterstica de (diferenca) e dada a seguir.

Proposicao 5 a, b, c Z : a + b = c sse a = c b.

Prova. Sejam a, b, c Z.

() Suponhamos que a + b = c.
Da, (a + b) + (b) = c + (b).
Assim, por A1, a + [b + (b)] = c + (b).
Da, por A2,a + 0 = c + (b).
Logo, por A3 e pela Definicao 3, a = c b.

() Suponhamos que a = c b.
Da, pela Definicao 3, a = c + (b).
Assim, a + b = [c + (b)] + b.
Da, por A1, a + b = c + [(b) + b].
Assim, por A3, a + b = c + 0.
Logo, por A2, a + b = c.

4.3 Axiomas da multiplicacao

Analisando as equacoes da forma a + x = b e x + a = b, onde a, b Z, chegamos
aos axiomas A1A4, referentes ao conceito primitivo +. Vamos agora analisar as
equacoes da forma a x = b e x a = b, com a, b Z, para formular alguns axiomas
sobre o conceito primitivo .

Observacao 3 Como estamos interessados em equacoes que admitem uma unica

solucao, devemos excluir os casos em que a = 0.
De fato, se a = 0, temos dois subcasos.
(1) Quando b = 0, temos a equacao 0x = 0, que tem infinitas solucoes em Z.
(2) Quando b 6= 0, a equacao tem a forma 0x = b que nao possui solucoes em Z.
Assim, daqui por diante, consideraremos apenas equacoes das formas a x = b e
x a = b em que a 6= 0.

A escolha dos axiomas da multiplicacao pode ser motivada por uma analise das
equacoes da forma xa = b, onde a, b Z e a 6= 0.

10
GAN 00155 Algebra 1 2017-1

Exemplo 3 Considere as seguintes equacoes:

x 2 = 2, (7)
x 2 = 4, (8)
x 4 = 2, (9)
que tem Z = {. . . , m, . . . , 3, 2, 1, 0, 1, 2, 3, . . . , n, . . .} como conjunto universo
de solucoes.
Um simples exame nos leva a concluir que a equacao (7) tem o numero 1 como
solucao; a equacao (8) tem o numero 2 como solucao; e a equacao (9) nao tem
solucao em Z. 
Baseados no Exemplo 3, podemos conjecturar que: uma equacao da forma xa =
b, onde a, b Z e a 6= 0, tem uma unica solucao em Z se, e somente se, a divide b,
ou seja, se a e um divisor de b. Observe que a relacao de divisibilidade nao e um
conceito primitivo e tera que ser definida e ter todas as suas propriedades provadas.
Vamos, agora, examinar que axiomas garantem a existencia e a unicidade das
equacoes nas condicoes da conjectura que fizemos.
Primeiramente, o caso em que a = b.
Formalmente, a existencia e unicidade da solucao das equacoes da forma xa = a
em Z, nas quais a 6= 0, e justificada pelas sequintes equivalencias:
xa=a
se, e somente se,
xa=a1
se, e somente se,
x = 1.
Seja, agora, x a = b uma equacao na qual a 6= 0, a 6= b e a divide b.
Vamos considerar dois casos.
Em primeiro lugar, quando b = 0, a equacao tem a forma x a = 0, que tem 0
como unica solucao em Z.
Agora, quando b 6= 0, como a divide b, a existencia e unicidade da solucao das
equacoes da forma x a = b em Z e justificada pelas seguintes equivalencias:
xa=b
se, e somente se,
x a = q a, onde b = q a, com q Z,
se, e somente se,
x = q, pois a 6= 0.
As equivalencias acima sao baseadas nas seguinte propriedades dos numeros in-
teiros:
Se a Z, entao a 1 = a,
Se a 6= 0 e b a = c a, entao b = c.
A discussao acima, nos leva a adotar os seguintes axiomas referentes a multi-
plicacao de numeros inteiros:

11
GAN 00155 Algebra 1 2017-1

Axiomas da multiplicacao (a): O conjunto Z, dos numeros inteiros, esta

munido de um conceito primitivo (multiplicacao), que satisfaz as seguintes
condicoes:

Para todos a, b Z, a b, chamado o produto de a com b, e um numero

univocamente determinado que pertence a Z.
(O axioma A5 sera introduzido posteriormente.)

A6. u Z : a Z : a u = a

A7. a Z : se a 6= 0 e b a = c a, entao b = c.

Por satisfazer a condicao que, para todos a, b Z, o produto de a com b e um

numero inteiro univocamente determinado, dizemos que e uma operacao em Z.
Os axiomas A6 e A7 sao chamados, respectivamente, de propriedade do ele-
mento neutro da multiplicacao e propriedade cancelativa da multiplicacao.
Observe que a multiplicacao de numeros naturais tambem satisfaz a axiomas analo-
gos a A6 e A7.
De maneira analoga ao que acontece no caso da operacao +, o tratamento das
equacoes da forma a x = b pode dispensar a introducao de axiomas referentes a
primeira coordenada da operacao , se observamos as seguintes equivalencias:
ax=b
se, e somente se,
x a = b.
A partir da, podemos efetuar uma analise inteiramente analoga a anterior usando
os axiomas A6 e A7. Esta discussao nos leva a adotar o seguinte axioma sobre a
operacao em Z:

Definicao 4 Axiomas da multiplicacao (b): A operacao de multiplicacao

de numeros inteiros satisfaz a seguinte condicao:

A8. a, b Z : a b = b a.

O axioma A8 e chamado de propriedade comutativa da multiplicacao.

Observe que a multiplicacao de numeros naturais tambem satisfaz a um axioma
analogo a A8.
Novos axiomas sao motivados por uma analise das equacoes da forma ax+by = c,
com a, b, c Z e . As solucoes destas equacoes sao pares ordenados (a, b) de numeros
inteiros, ou seja, sao elementos de Z Z, o produto cartesiano de Z com Z.

Observacao 4 Novamente, vamos excluir alguns casos, de acordo com a nulidade

de a, b e c.

12
GAN 00155 Algebra 1 2017-1

Em primeiro lugar, quando a = b = 0 e c = 0, temos a equacao 0x + 0y = 0, que

tem infinitas solucoes em Z Z.
Em segundo lugar, quando a = b = 0 e c 6= 0, a equacao tem a forma 0x + 0y = b
que nao possui solucoes em Z Z.
Agora, quando a = 0 e b 6= 0, a equacao tem a forma 0x + by = c, que se reduz
a yb = c, com b 6= 0, que ja foi analisada quando elaboramos os axiomas A6A8.
Uma observacao analoga vale para o caso em que a 6= 0 e b = 0.
Assim, daqui por diante, consideraremos apenas equacoes da forma ax + by = c
em que a, b, c 6= 0.

Exemplo 4 Considere a seguinte equacao:

4x + 10y = 60, (10)

cujas solucoes pertencem ao produto cartesiano Z Z.

Nao vamos resolver esta equacao no momento, pois a tecnica utilizada na sua
resolucao emprega conceitos cujo estudo detalhado e exatamente um dos objetivos
desta disciplina. Mas, mesmo sem utilizar estes conceitos, podemos simplificar a
equacao de modo a formular uma conjectura sobre a sua resolucao. Este processo
de simplificacao e baseado nas seguintes equivalencias:

4x + 10y = 60
se, e somente se,
(x 4) + (y 10) = 60
se, e somente se,
[x (2 2)] + [y (5 2)] = 30 2
se, e somente se,
[(x 2) 2] + [(y 5) 2] = 30 2
se, e somente se,
[(x 2) + (y 5)] 2 = 30 2
se, e somente se,
(x 2) + (y 5) = 30
se, e somente se,
2x + 5y = 30.

Baseados no Exemplo 4, podemos conjecturar que: uma equacao da forma ax +

by = c, onde a, b, c Z e a, b, c 6= 0 tem solucao em Z se, e somente se, a equacao
a0 x + b0 y = c0 tem solucao em Z, onde a0 , b0 , c0 Z sao obtidos de a, b, c pela
eliminacao de todos os fatores primos comuns a a, b e c, ou seja, quando a, b, c sao
primos entre si. Observe que as nocoes de ser fator de, ser numero primo, relacao
de primalidade entre si nao sao conceitos primitivos e terao que ser definidas e ter
todas as suas propriedades provadas.
Formalmente, a correcao do processo de eliminacao dos fatores comuns a a, b e
c, como cima, e baseada, alem dos axiomas ja descritos anteriormente, nas seguintes
propriedades dos numeros inteiros:

13
GAN 00155 Algebra 1 2017-1

(a b) c = a (b c),
(a c) + (b c) = (a + b) c.

A discussao acima, nos leva a adotar os seguintes axiomas sobre a multiplicacao

de numeros inteiros:

Definicao 5 Axiomas da multiplicacao (c): A operacao basica de mul-

tiplicacao satisfaz a seguinte condicao:

A5. a, b, c Z : (ab)c = a(bc) (finalmente, o axioma A5);

A9. a, b, c Z : (a + b) c = (a c) + (b c).

Os axiomas A5 e A9 sao chamados, respectivamente, de propriedade associa-

tiva da multiplicacao e propriedade distributiva da multiplicacao sobre a
adicao.
Observe que a adicao e a multiplicacao de numeros naturais tambem satisfazem
a axiomas analogos a A5 e A9.

4.4 Propriedades aritmeticas da multiplicacao

Podemos, agora enunciar e provar varios resultados aritmeticos simples, envol-
vendo a adicao e a multiplicacao.
Como esperado, o elemento u mencionado em M 2, e o unico elemento de Z que
satisfaz a propriedade a Z : a u = u a = a.

Proposicao 6 (a) !u Z : a Z : a u = a.

(b) !u Z : a Z : u a = a.

(c) u1 , u2 Z : se a Z : a u1 = a e a Z : u2 a = a, entao u1 = u2 .

Prova. Exerccio.

Como u e o unico elemento de Z satisfazendo a propriedade acima, podemos

botar um nome nele.

Definicao 6 Chamamos de um, e denotamos por 1, ao unico elemento u Z

tal que a Z : a u = u a = a.

14
GAN 00155 Algebra 1 2017-1

Assim, a propriedade caracterstica do 1 e:

a Z : a 1 = 1 a = a. (11)

Na verdade, (11) pode ser vista como uma caracterizacao do 1 e passara a ser usada
como se fosse o axioma A6.
Como consequencia de (11), temos a importante condicao aritmetica fundamen-
tal:
1 1 = 1. (12)
A seguinte proposicao mostra que a condicao (12) tambem caracteriza o 1 a
menos do 0, que como sabemos mas ainda nao provamos, satisfaz a condicao similar:
0 0 = 0.

Proposicao 7 a Z : se a 6= 0, entao a a = a sse a = 1.

Prova. Seja a Z. Suponhamos que a 6= 0.

() Suponhamos que a a = a.
Por A6, a 1 = a.
Da, a a = a 1.
Como a 6= 0, por A7, a = 1.

() Suponhamos que a = 1.
Por A6, b Z : b 1 = b.
Assim, 1 1 = 1.
Como a = 1, temos a a = a.

O axioma A7, se refere a cancelatividade a direita de . Como esperado,

tambem temos a cancelatividade a esquerda de .

Proposicao 8 a, b, c Z : se a 6= 0 e a b = a c, entao b = c.

Prova. (a) Sejam a, b, c Z.

Suponhamos que a 6= 0 e a b = a c. Assim, por A8, b a = c a. Logo, como
a 6= 0, por A7, b = c.

O axioma A9, se refere a distributividade a direita de sobre +. Como

esperado, tambem temos a distributividade a esquerda de sobre +.

Proposicao 9 a, b, c Z : a (b + c) = (a b) + (a c).

Prova. (a) Sejam a, b, c Z.

A8 A9 A8
Temos a (b + c) = (b + c) a = (b a) + (c a) = (a b) + (a c).

Alem da distributividade a direita, A9 possui outra consequencia importante.

Proposicao 10 (a) a Z : a 0 = 0.

(b) a Z : 0 a = 0.

15
GAN 00155 Algebra 1 2017-1

Prova. (a) Seja a Z.

A2 A9 P9
Temos que a 0 = a (0 + 0) = a (0 + 0) = (a 0) + (a 0).
Assim, a 0 = (a 0) + (a 0).
Logo, pela Proposicao 2, a 0 = 0.

(b) Exerccio.

Como consequencia da Proposicao 10, temos a importante condicao aritmetica:

0 0 = 0. (13)

4.5 Propriedades aritmeticas da subtracao

A partir dos axiomas da adicao, definimos a operacao de subtracao (Definicao 3),
estipulando que a, b Z :
a b = a + (b).
A partir da, provamos a equivalencia fundamental (Proposicao 5):

a + b = c sse a = c b.

Vamos, agora, justificar formalmente as varias regras de sinais que aprendemos

no Ensino Medio.

Proposicao 11 a, b Z : (a + b) = (a) + (b).

Prova. Sejam a, b Z.
A1 A1
Temos que (a + b) + [(a) + (b)] = [(a + b) + (a)] + (b) = {a + [b + (a)]} +
A4 A1 A3 A2
(b) = {a + [(a) + b]} + (b) = {[a + (a)] + b} + (b) = (0 + b) + (b) =
A2
b + (b) = 0.
Agora, pela Proposicao 3, (a+b) e o unico elemento x de Z tal que (a+b)+x = 0.
Assim, (a + b) = (a) + (b).

Proposicao 12 a Z : (a) = a.

Prova. Seja a Z.
A3
Temos que (a) + a = 0.
Agora, pela Proposicao 3, (a) e o unico elemento x de Z tal que (a)+x = 0.
Assim, (a) = a.

Proposicao 13 (a) a, b Z : (a) b = (a b).

(b) a, b Z : a (b) = (a b).

(c) a, b Z : (a) (b) = a b.

(d) a Z : (1) a = a.

(e) a Z : a (1) = a.

16
GAN 00155 Algebra 1 2017-1

A9 A3 P 10(a)
Prova. (a) Temos que (a b) + [(a) b] = [a + (a)] b = 0 b = 0.
Agora, pela Proposicao 3, (ab) e o unico elemento x de Z tal que (ab)+x = 0.
Assim, (a b) = (a) b.

(b) Exerccio.

(c) Sejam a, b Z.
P 13(a) P 13(b) P 12
Temos que (a) (b) = [a (b)] = [(ab)] = a b.

(d) Exerccio.

(e) Exerccio.

As Proposicoes 10 e 13 tem as seguintes consequencias importantes.

Proposicao 14 (a) 0 = 0.

(b) (1) (1) = 1.

P 10 P 13(a) P 10(b)
Prova. (a) Temos que 0 = (0 0) = (0) 0 = 0.
P 13(c) A5
(b) Temos que (1) (1) = 1 1 = 1.

5 Axiomas de ordenacao
Os axiomas de ordenacao descrevem o comportamento da relacao , tanto iso-
ladamente quanto em conjunto com as operacoes + e .
A escolha destes axiomas pode ser motivada por tres analises: (1) a das seme-
lhancas e diferencas entre e = (igualdade em Z), (2) a da maneira como os numeros
inteiros sao usualmente representados na reta numerica e (3) a da determinacao de
condicoes para que possamos tomar um elemento mnimo em um subconjunto dado
de Z. A analise (1) nos leva aos axiomas de ordenacao parcial e aos axiomas da
compatibilidade da ordenacao com as operacoes. A analise (2) nos leva ao axioma
de ordenacao total. A analise (3) nos leva ao Axioma de boa ordenacao.

5.1 Axiomas de ordenacao parcial

As semelhancas e diferencas mais imediatas entre e = podem ser percebidas
se levamos em conta que e uma extensao de =, em Z. De fato, se a, b Z, temos:

a b se, e somente se a < b ou a = b.

Assim, quando a = b, temos a b Mas a recproca desta implicacao nem sempre e

verdadeira pois, por exemplo, 0 1 mas 0 6= 1.
Agora, como vimos na Secao 3, = satisfaz as seguintes condicoes:

17
GAN 00155 Algebra 1 2017-1

a Z : a = a,
a, b Z : se a = b, entao b = a,
a, b Z : se a = b e b = c, entao a = c,
a, b Z : se a = b, entao a + c = b + c,
a, b Z : se a = b, entao ac = bc.
A simples observacao de que estende = nos leva a questionar o status que devemos
dar as seguintes condicoes, obtidas pela troca de = por nos enunciados acima:
a Z : a a,
a, b Z : se a b, entao b a,
a, b Z : se a b e b c, entao a c,
a, b Z : se a b, a + c b + c,
a, b Z : se a b, entao ac bc.
Vamos, agora, examinar estas condicoes, adotar as verdadeiras como axiomas e
substituir as falsas por condicoes semelhantes que sao verdadeiras.
Observe que a primeira, a terceira e a quarta condicao sao verdadeiras e, por
isso, serao consideradas como axiomas. Ja a segunda e a quinta, sao falsas. Por
exemplo, 0 1, mas 1 6 0. E, tambem, 1 2, 1 = 1 (1), 2 = 2 (1), mas
2 6 1. Assim, elas devem ser substitudas.
Para substituir a segunda condicao, basta observarmos que se a, b Z, a unica
forma de termos a b e b a verdadeiras e termos, tambem, a = b. Assim,
chegamos aos seguintes axioma:

Axiomas de ordem parcial: O conjunto Z, dos numeros inteiros, esta mu-

nido de um conceito primitivo (menor ou igual), satisfazendo as seguintes
condicoes:

Para todos a, b Z, a b significa que a e menor ou igual a b e tem

uma valor verdadeiro ou falso univocamente determinado.

A10. a Z : a a,

A11. a, b Z : se a b e b a, entao a = b,

A12. a, b Z : se a b e b c, entao a c.

Por satisfazer a condicao de que para todos a, b Z, a b tem uma valor

verdadeiro ou falso univocamente determinado, dezemos que e uma relacao
em Z.
Os axiomas A10, A11 e A12 sao chamados, respectivamente, de propriedade
reflexiva da ordenacao, propriedade anti-simetrica da ordenacao e pro-
priedade transitiva da ordenacao. Por satisfazer a estas condicoes, dizemos
que Z munido de = e e uma ordem parcial, ou ainda que Z e um conjunto
parcialmente ordenado por .
Observe que a ordenacao de numeros naturais tambem satisfaz a axiomas analo-
gos a A10, A11 e A12.

18
GAN 00155 Algebra 1 2017-1

5.2 Axiomas de compatibilidade

Para substituir a quinta condicao, basta observar que quando provamos que
ela e falsa, recorremos a um contra-exemplo em que c toma como valor um numero
negativo, no caso o 1. Por outro lado, quando 0 c, ac representa a {z + a}
|+a+
c vezes
e b c representa b| + b +{z + }b. Agora, se assumimos que a b, somando c parcelas
c vezes
iguais a a, obtemos um valor sempre menor do que o que obtemos somando c parcelas
iguais a b. Assim, chegamos aos seguintes axiomas:

Definicao 7 Axiomas de compatibilidade: A relacao de ordem parcial

entre numeros inteiros satisfaz as seguintes condicoes:

A13. a, b Z : se a b, entao a + c = b + c,

A14. a, b Z : se a b e 0 c, entao a c b c.

Os axiomas A13 e A14 sao chamados, respectivamente, de propriedade de

compatibilidade da ordem com a adicao e propriedade de compatibilidade
da ordem com a multiplicacao.
Observe que a ordenacao de numeros naturais tambem satisfaz ao axioma A13,
mas o axioma A14 explicita uma diferenca fundamental, do ponto de vista algebrico,
entra as relacoes distintas de ordenacao de numeros naturais e ordenacao de numeros
inteiros.

5.3 Propriedades aritmeticas da ordenacao

Observando os axiomas A13 e A14, referentes a , que se referem a segunda
coordenada da adicao, somos levados a indagar que estatus daremos as seguintes
proposicoes:

Se a b, entao c + a c + b.
Se a b e 0 c, entao ca cb.

Estas proposicoes sao verdadeiras e, como e de se esperar, podem ser provadas

diretamente a partir dos axiomas.

Proposicao 15 (a) a, b, c Z : se a b, entao c + a c + b.

(b) a, b, c Z : se a b e 0 c, entao c a c b.

Prova. Exerccio.

Alem destas, varias outras propriedades importantes podem ser provadas.

19
GAN 00155 Algebra 1 2017-1

Proposicao 16 a Z : 0 a sse a 0.

Prova. () Seja a Z.
Suponhamos que 0 a.
Da, por A13, 0 + (a) a + (a).
Assim,, por A2 a a + (a).
Logo, por A3, a 0.

() Exerccio.

Proposicao 17 a, b Z : a b sse 0 b a.

Prova. Sejam a, b Z.

() Suponhamos que a b.
Da, por A13, a + (a) b + (a).
Assim, por A3, a + (a) b + (a).
Logo, pela Definicao 3, 0 b a.

() Suponhamos que 0 b a.
Da, pela Definicao 3, 0 b + (a).
Assim, por A13, 0 + a [b + (a)] + a.
Da, por A1, 0 + a b + [(a) + a].
Assim, por A3, 0 + a b + 0.
Da, por A4, a b.

Proposicao 18 a, b Z : a b sse b a.

Prova. Sejam a, b Z.

() Suponhamos que a b.
Da, por A14, a + (a) b + (a).
Assim, por A3, 0 b + (a).
Da, por A14, (b) + 0 (b) + [b + (a)].
Assim, por A1, (b) + 0 [(b) + b] + (a).
Da por A3, (b) + 0 0 + (a).
Logo, por A2, b a.

() Exerccio.

6 Alguns conceitos da aritmetica e da ordem

Confrontando o conhecimento adquirido no Ensino Medio com os conceitos pri-
mitivos e axiomas formulados ate o momento, vemos que muitos conceitos e propri-
edade relativos a ordenacao de numeros inteiros tais como menor, maior, maior
ou igual, numeros positivos, numeros negativos, etc nao fazem parte de nossa
axiomatizacao. Vamos, agora, remediar esta situacao, mostrando como estes podem
ser definidos e investigados a partir dos conceitos basicos e axiomas.

20
GAN 00155 Algebra 1 2017-1

6.1 Ordenacao reversa

A relacao , que e a reversa de , e definida de maneira imediata e nao necessita
de muitas consideracoes.

Definicao 8 Sejam a, b Z.
Dizemos que a e maior o igual a b, denotado a b, se b a.

Assim, para todos a, b Z, as afirmacoes

ab e ba

sao equivalentes, ou seja, em qualquer contexto envolvendo a ordenacao de numeros

inteiros, ou ambas sao verdadeiras ou ambas sao falsas. Logo, em todos os enunciados
que possuem ocorrencias de ou podemos trocar uma delas pela outra revertendo
a ordem das coordenadas, sempre que for conveniente.

6.2 Ordenacao estrita

Um numero e (estritamente) menor do que outro quando e menor ou igual, mas
nao e igual.

Definicao 9 Sejam a, b Z. Dizemos que a e menor do que b, denotado

a < b, se a b e a 6= b.

Assim, dados a, b Z, a nao e menor que b, denotado a 6< b, quando (a < b),
ou seja, a 6 b ou a = b.
A proposicao a seguir mostra que pode ser caracterizada a partir de < e =.

Proposicao 19 a, b Z : a b sse a < b ou a = b.

Prova. Sejam a, b Z.

() Suponhamos, que a b.
Vamos considerar dois casos:

Caso 1 : Suponhamos que a = b.

Da (por uma regra direta da logica), a < b ou a = b.

Caso 2 : Suponhamos que a 6= b.

Como por hipotese, a b, temos a b e a 6= b.

21
GAN 00155 Algebra 1 2017-1

Da, pela Definicao 9, a < b.

Logo (por uma regra direta da logica), a < b ou a = b.

() Suponhamos que a < b ou a = b.

Vamos considerar os dois casos:

Caso 1 : Suponhamos que a < b.

Da, pela Definicao 9, a b e a 6= b.
Logo (por uma regra direta da logica), a b.

Caso 2 : Suponhamos que a = b.

Como e reflexiva, a a.
Logo, a b.

Em ambos os casos, a b.

As propriedades aritmeticas basicas de < e 6< decorrem dos axiomas.

Proposicao 20 a Z : a 6< a.

Prova. Seja a Z.
Suponhamos, para obter uma contradicao, que a < a.
Da, pela Definicao 9, temos a a e a 6= a.
Logo, a 6= a, uma contradicao.

Proposicao 21 Para todos a, b, c Z: se a < b e b < c, entao a < c.

Prova. Sejam a, b, c Z.
Suponhamos que a < b e b < c.
Da, pela definicao de <, temos a b, a 6= b, b c e b 6= c.
Assim, a b e b c.
Da, como e transitiva, a c.
Suponhamos agora, para uma contradicao, que a = c.
Da, como a b e b c, temos a b e b a.
Assim, como e antisimetrica, a = b, uma contradicao com a 6= b.
Da, a c e a 6= c.
Logo, pela Definicao 9, a < c.

Proposicao 22 Para todos a, b, c Z: se a < b, entao a + c < b + c.

Prova. Sejam a, b, c Z.
Suponhamos que a < b.
Da, pela definicao de <, temos a b e a 6= b.
Assim, por A13, a + c b + c.
Suponhamos agora, para uma contradicao, que a + c = b + c.
Da, pela Proposicao 4, a = b, uma contradicao.
Logo, a + c b + c e a + c 6= b + c.
Ou seja, a + c < b + c.

22
GAN 00155 Algebra 1 2017-1

Proposicao 23 Para todos a, b Z: a b < 0 sse a < b.

Prova. Exerccio.

Proposicao 24 Para todos a, b, c Z: se a < b e 0 < c, entao a c < b c.

Prova. Exerccio.

6.3 Ordenacao estrita reversa

A relacao >, que e a reversa de <, e definida de maneira imediata e nao necessita
de muitas consideracoes.

Definicao 10 Sejam a, b Z.
Dizemos que a e maior do que b, denotado a > b, se b < a.

Assim, para todos a, b Z, as afirmacoes

a>b e b<a

sao equivalentes, ou seja, em qualquer contexto envolvendo a ordenacao de numeros

inteiros, ou ambas sao verdadeiras ou ambas sao falsas. Logo, em todos os enunciados
que possuem ocorrencias de < ou > podemos trocar uma delas pela outra revertendo
a ordem das coordenadas, sempre que for conveniente.

6.4 Numeros positivos

Um numero e positivo quando e estritamente maior do que zero.

Definicao 11 Seja a Z. Dizemos que a e positivo se 0 < a.

Assim, dado a Z, temos que a nao e positivo sse 0 6< a, ou seja, 0 6 a ou

0 = a.
As propriedades aritmeticas basicas dos numeros positivos decorrem dos axiomas.

Proposicao 25 0 nao e positivo.

Prova. Suponhamos, para uma contradicao, que 0 e positivo.

Da, 0 < 0.
Assim, 0 0 e 0 6= 0.
Da, 0 6= 0, uma contradicao.
Logo, 0 nao e positivo.

23
GAN 00155 Algebra 1 2017-1

Proposicao 26 a, b Z : se a e b sao positivos, entao a + b e positivo.

Prova. Exerccio.
Proposicao 27 a, b Z : se a e b sao positivos, entao a b e positivo.
Prova. Sejam a, b, c Z.
Suponhamos que a e b sao positivos.
Da, 0 < a e 0 < b.
Assim, pela Proposicao 24, 0 0 a b.
Logo, pela Proposicao 10, 0 a b.
Ou seja, a b e positivo.

6.5 Numeros negativos

Um numero e negativo quando e estritamente menor do que 0.

Definicao 12 Seja a Z. Dizemos que a e negativo quando a < 0.

Assim, dado a Z, temos que a nao e negativo sse a 6< 0, ou seja, a 6 0 ou

a = 0.
As propriedades aritmeticas basicas dos numeros negativos decorrem dos axio-
mas.
Proposicao 28 0 nao e negativo.
Prova. Exerccio.
Proposicao 29 a, b Z: se a e b sao negativos, entao a + b e negativo.
Prova. Exerccio.
Proposicao 30 a, b Z: se a e positivo e b e negativo, entao a b e negativo.
Proposicao 31 Para todos a, b Z: se a e b sao negativos, entao a b e positivo.
Prova. Exerccio.
Ao chegar neste ponto, voce deve ter sentindo falta do enunciado e da prova de
uma condicao fundamental e bem conhecida sobre a ordenacao dos numeros inteiros.
A saber, que dado um inteiro a qualquer, apenas uma das alternativas
a e negativo , a e igual a 0 ou a e positivo,
ou seja,
a < 0 , a = 0 ou 0 < a,
e verdadeira. Mas, como veremos no decorrer de nossos estudos, esta condicao,
embora seguramente verdadeira em Z, nao decorre dos axiomas A1, A2, . . . , A14!
Precisamos de um novo axioma para dar conta desta propriedade.

24
GAN 00155 Algebra 1 2017-1

7 Axioma de ordenacao total

O proximo axioma sobre em Z pode ser motivados se observamos a maneira
usual como os numeros inteiros sao representados na reta numerica:

... m . . . -3 -2 -1 0 1 2 3 ... n ...

Observe que, dados dois numeros naturais quaisquer a e b, temos duas possi-
bilidade exaustivas e excludentes: (1) os dois sao iguais e estao representados no
mesmo ponto na reta ou (2) os dois sao diferentes e estao representados por pontos
distintos na reta e um deles vem antes do outro na ordenacao. Assim, chegamos ao
seguinte axioma:

Axioma de ordem total: A relacao de ordem parcial entre numeros

inteiros satisfaz a seguinte condicao:

A15. a, b Z : a b ou b a.

O axioma A15 e chamado de propriedade da ordem total. Por satisfazer

aos axiomas A11, . . . , A15, os conjuntos dos numeros inteiros munido de e cha-
mado um conjunto totalmente ordenado. Observe que a ordenacao de numeros
naturais tambem satisfaz um axioma analogo a A15.
Podemos, agora, provar a proposicao de que sentimos falta no final da Secao 6.5.

Proposicao 32 Para todo a Z, uma e somente uma das condicoes abaixo e

verdadeira:
a < 0 ou a = 0 ou 0 < a.

Prova. Seja a Z.
Vamos considerar dois casos:

Caso 1 : Suponhamos que a = 0.

Ja temos uma das condicoes. Falta provar que as outras duas nao acontecem.
Primeiro, suponhamos, para uma contradicao, que a < 0.
Da, 0 < 0, contradizendo a Proposicao 20.
Segundo, suponhamos, para uma contradicao, que 0 < a.
Da, 0 < 0, contradizendo a Proposicao 20.
Assim, temos uma e somente uma de a < 0, a = 0 e 0 < a.

Caso 2 : Suponhamos que a 6= 0.

Por A15, temos a 0 ou 0 a.
Vamos examinar cada um destes subcasos.

Caso 2.1 : Suponhamos que a 0.

25
GAN 00155 Algebra 1 2017-1

Da, a 0 e a 6= 0.
Assim, pela Definicao 9, a < 0.
Ja temos uma das condicoes. Falta provar que as outras duas nao acontecem.
Primeiro, suponhamos, para uma contradicao, que a = 0.
Mas isto contradiz a hipotese de que a 6= 0.
Segundo, suponhamos, para uma contradicao, que 0 < a.
Da, 0 < a e a < 0.
Assim, pela Proposicao 21, 0 < 0, contradizendo a Proposicao 20.
Assim, temos uma e somente uma de a < 0, a = 0 e 0 < a.

Caso 2.2 : Suponhamos que 0 a.

Exerccio.

Em todos os casos, temos uma e somente uma de a < 0, a = 0 e 0 < a.

Proposicao 33 Para todos a, b Z: a 6< b se, e somente se b < a ou a = b.

Prova. Exerccio.

A proxima proposicao expressa uma condicao bem conhecida sobre os numeros

inteiros que, como veremos no decorrer de nossos estudos, possui um conteudo
algebrico muito importante.

Proposicao 34 Para todo a Z: a a e positivo.

Prova. Seja a N.
Pela Proposicao 32, a < 0 ou a = 0 ou 0 < a
Vamos considerar os tres casos.

Caso 1 : Suponhamos que a < 0.

Da, pela Definicao 12, a e negativo.
Logo, pela Proposicao 31, a a e positivo.

Caso 2 : Suponhamos que a = 0.

P 10
Da, a a = 0 0 = 0.
Logo, como e reflexiva, 0 a a.
Ou seja, a a e positivo.

Caso 3 : Suponhamos que 0 < a.

Da, pela Definicao 11, a e positivo.
Logo, pela Proposicao 27, a a e positivo.

Proposicao 35 1 e positivo.

Prova. Exerccio.

26
GAN 00155 Algebra 1 2017-1

8 Axioma de boa ordenacao

O ultimo axioma que vamos considerar e o mais complexo de todos, mas de-
corre de uma observacao geometrica bastante simples que salienta diferencas e seme-
lhancas essenciais entre a ordenacao de Z e a de N o mais importante subconjunto
de Z.
Como sabemos, a ordenacao de N pode ser representada na reta numerica por:

... m . . . -3 -2 -1 0 1 2 3 ... n ...

Em primeiro lugar, observe que N possui um menor elemento com respeito a .

De fato, sabemos que 0 e o menor elemento de N. Por outro lado, Z nao possui um
menor elemento com respeito a .
Agora, observe tambem que a propriedade de possuir um menor elemento com
respeito a se estende para qualquer subconjunto (nao vazio) de N. Isto e, para
qualquer A N, se A 6= , A possui um menor elemento com respeito a . Por
outro lado, Z possui subconjuntos (nao vazios) que nao possuem um menor elemento
com respeito a . Por exemplo, o proprio Z, o subconjunto {x Z : x 0} dos
numeros negativos, o subconjunto {2x : x Z} dos numero pares, e muitos outros.
A questao que se coloca naturalmente, e a de determinar condicoes que decidam
quando um subconjunto (nao vazio) de Z possui um menor elemento. Como os
exemplos acima sugerem, o subconjunto nao pode se estender para o lado negativo
da reta indefinidamente. Ou seja, se A Z e existe um ponto na reta tal que
antes dele nao ha nenhum elemento de A, entao com certeza A possui um menor
elemento comm respeito a .
Estas ideias sao formalizadas atraves das nocoes de limitante inferior e elemento
mnimo.
Um limitante inferior de um conjunto A e um elemento que pode pertencer ou
nao a A, e que ocorre antes de todos os elementos de A.

Definicao 13 Sejam A Z e l Z.
Dizemos que l e um limitante inferior de A com respeito a , ou sim-
plesmente que l e um limitante inferior A, se a Z : se a A, entao
l a.

Ou seja, todos os elementos de A estao depois de l na ordenacao dos numeros inteiros.

Exemplo 5 (a) Z nao possuem limitantes inferiores.

(b) {x Z : x 0} nao possuem limitantes inferiores.

(c) 0 ou qualquer numero negativo e limitante inferior de {x Z : 0 x}. 

27
GAN 00155 Algebra 1 2017-1

Com o Exemplo 5 sugere, existem subconjuntos de Z que nao possuem limitantes

inferiores. Mas, se um subconjunto de Z possui um limitante inferior, ele possui uma
quantidade infinita de limitantes inferiores.
Um elemento mnimo de um conjunto A e um elemento de A que ocorre antes
de todos os outros elementos de A.

Definicao 14 Sejam A Z e m Z.
Dizemos que m e um mnimo de A com relacao a , ou simplesmente que
m e um mnimo de A, se as seguintes condicoes sao satisfeitas:

m A.

a Z : se a A, entao m a.

Ou seja, m e um limitante inferior de A que e, ao mesmo tempo, um elemento de

A.

Exemplo 6 (a) 0 e um elemento mnimo de N.

(b) O subconjunto {. . . , 2m, . . . , 4, 2, 0, 2, 4, . . . , 2n, . . .} dos numeros pares nao

possui um elemento mnimo.

(c) O proprio Z nao possui um elemento mnimo. 

Como o Exemplo 6 sugere um dado subconjunto de Z pode ter ou nao um menor

elemento. Mas, se ele tem, este menor elemento e unico.

Proposicao 36 A Z : m1 , m2 Z : se m1 e um mnimo de A e m2 e um
mnimo de A, entao m1 = m2 .

Prova. Sejam A Z e m1 , m2 Z.
Suponhamos que m1 e um mnimo de A e m2 e um mnimo de A.
Da, m1 , m2 A, a Z : se a A, entao m1 a, e a Z : se a A, entao
m2 a.
Agora, de m1 A e da segunda condicao, temos m2 m1 .
Analogamente, de m2 A e da primeira condicao, temos m1 m2 .
Logo, pela antisimetria, m1 = m2 .

Como para cada A Z que possui um elemento mnimo temos um unico ele-
mento mnimo, podemos botar um nome nele (em funcao de A).

Definicao 15 Seja A um conjunto que possui um elemento mnimo.

Chamamos de elemento mnimo de A e denotamos por minA ao unico
elemento m A tal que a A : m a.

28
GAN 00155 Algebra 1 2017-1

Assim, a propriedade caracterstica do elemento mnimo de A e:

m = minA sse m A e a A : m a.

Assim, chegamos ao seguinte axioma:

Definicao 16 Axioma da boa ordem: A relacao de ordem parcial entre

numeros inteiros satisfaz a seguinte condicao:

A16. A Z : se A 6= e l Z tal que l e um limitante inferior de A,

entao m Z : m = minA.

Sem o uso dos conceitos definidos de limitante inferior e elemento mnimo, ou

seja, quando escrito apenas em funcao da relacao que foi tomada como conceito
primitivo, o Axioma de Boa Ordem fica do seguinte modo:

A Z : se A 6= e l Z : a Z : l a, entao m Z : m
A e a Z : l a.

O axioma A16 e chamado de propriedade da boa ordem. Por satisfazer aos

axiomas A11, . . . , A16, os conjuntos dos numeros inteiros munido de e chamado
um conjunto bem ordenado.
Observe que a ordenacao de numeros naturais tambem satisfaz a um axioma
analogo a A15, mas em N, nao precisamos postular a restricao sobre a limitacao
inferior, ja que todo subconjunto nao vazio de N possui um limitante inferior, a
saber, o 0.

8.1 Numeros naturais

Nosso objetivo, agora, e estudar as principais consequencias do axioma A16 (Axi-
oma da Boa Ordem) na Teoria dos Numeros Inteiros. Na verdade, vamos investigar
o efeito deste axioma na Teoria dos Numeros Naturais, pois e a que ele encontra as
suas aplicacoes mais interessantes e profundas.
Vamos agora investigar algumas propriedades do subconjunto mais importante
de Z, o conjunto dos numeros naturais.
E claro que um numero inteiro e natural quando zero e menor o igual a ele.

Definicao 17 Seja a Z. Dizemos que a e natural se 0 a.

O conjunto dos numeros naturais e denotado por N e e definido por:

N = {x Z : 0 x}.

29
GAN 00155 Algebra 1 2017-1

Assim, dado a Z, temos que a e natural sse 0 a.

As propriedades aritmeticas basicas dos numeros naturais decorrem dos axiomas.

Proposicao 37 0 e natural.

Prova. Pela reflexividade de , temos 0 0.

Logo, pela Definicao 17, 0 e natural.

Proposicao 38 1 e natural.

Prova. Pela Proposicao 35, temos 0 < 1.

Da, 0 < 1 ou 0 = 1.
Assim, pela Proposicao 19, 0 1.
Logo, pela Definicao 17, 1 e natural.

Proposicao 39 a, b Z : se a N e b N, entao a + b N.

Prova. Sejam a, b Z.
Suponhamos que a N e b N.
Da, pela Definicao 17, 0 a e 0 b.
Assim, por A14, 0 + b a + b.
Da, por A2, 0 b.
Assim, como 0 b e b a + b, por A12, 0 a + b
Logo, pela Definicao 17, a + b e natural.

Corolario 1 a Z : se a N, entao a + 1 N.

Prova. Seja a Z.
Suponhamos que a N.
Pela Proposicao 38, 1 N.
Logo, pela Proposicao 39, a + 1 N.

Como consequencia das Proposicoes 37 e 38, e do Corolario 1, temos que: 0 e

natural, 1 e natural, 1 + 1 e natural, (1 + 1) + 1 e natural, ((1 + 1) + 1) + 1 e natural,
etc.

Proposicao 40 a, b Z : se a N e b N, entao a b N.

Prova. Sejam a, b Z.
Suponhamos que a N e b N.
Da, pela Definicao 17, 0 a e 0 b.
Assim, por A14, 0 b a b.
Da, pela Proposicao 10, 0 a b.
Logo, pela Definicao 17, a b e natural.

Proposicao 41 a, b Z : se a e natural e a b, entao b e natural.

30
GAN 00155 Algebra 1 2017-1

Prova. Sejam a, b Z.
Suponhamos que a e natural e a b.
Da, pela Definicao 17, 0 a e a b.
Assim, por A12, temos 0 b.
Logo, pela Definicao 17, b e natural.

As proposicoes 39, 40 e 41 significam, respectivamente, que o conjunto dos

numeros naturais e fechado para a adicao, a multiplicacao e a ordenacao
(para cima) de numeros inteiros.

8.2 Princpio da Boa Ordem

Lembramos que dados A Z e l Z, dizemos que l e um limitante inferior
de A, segundo , se a Z : se a A, entao l a. Alem disso, dado m Z,
dizemos que m e um elemento mnimo de A, segundo , se m A e m e um
limitante inferior de A. Finalmente, dizemos que A e bem ordenado, segundo
, se B A, se B 6= , entao m Z : m = minB.
A principal consequencia do axioma A16 e que o conjunto dos numeros naturais
e bem ordenado.

Teorema 1 [Princpio da Boa Ordem (PBO)] N e bem ordenado, isto e, A N :

se A 6= , entao m Z, tal que m = minA.

Prova. Seja A N.
Suponhamos que A 6= .
Como N Z, temos A Z.
Alem disso, dado a A, como a N, pela Definicao 17, 0 a, ou seja, 0 e um
limitante inferior de A.
Assim, temos A Z, A 6= e l Z tal que l e limitante inferior de A.
Logo, pelo axioma A16, m Z, tal que m = minA.

Assim, se A N e A 6= , entao m Z, tal que a A : se a N, entao

m a. Observe que, na verdade, m N.
Podemos dizer que o PBO e uma consequencia imediada do axioma A16. Por esta
razao ele parece ser de pouca importancia. Mas o que torna um resultado importante
nao e a dificuldade em prova-lo, mas, sim, as consequencias que podemos obter a
partir dele. Vamos ver, agora, que o PBO possui consequencias importantssimas
tanto matematicas quanto metodologicas para a aritmetica e a ordenacao de
N.

Corolario 2 Nao e o caso que a Z : 0 < a < 1.

Prova. Suponhamos, para uma contradicao, que a Z : 0 < a < 1.

Seja A = {x N : 0 < x < 1}.
Como 0 < a, temos 0 a e, assim, a A. Logo, A 6= .
Da, pelo PBO, m A, tal que m = minA.
Assim, 0 < m < 1, ou seja, 0 < m e m < 1.

31
GAN 00155 Algebra 1 2017-1

Da, pela Proposicao 24, 0 m < m m e m m < 1 m.

Assim, pela Proposicao 10 e A6, 0 < m m e m m < m.
Assim, m m A e m m < m, uma contradicao com m = minA.
Logo, nao e o caso que a Z : 0 < a < 1.

Corolario 3 a N : nao e o caso que b Z : a < b < a + 1.

Prova. Exerccio.

Corolario 4 a N : se a 6= 0, entao a 1 N.

Prova. Seja a N.
Suponhamos que a 6= 0.
Suponhamos, para uma contradicao, que a 1 6 N, ou seja, 0 6 a 1.
Da, por A14, a 1 < 0.
Assim, pela Proposicao 23, a < 1.
Como 0 a e a 6= 0, temos 0 < a.
Mas 0 < a e a < 1 e o mesmo que 0 < a < 1, contradizendo o Corolario 2.

8.3 Princpio de Inducao Matematica

Ja vimos, pelas proposicoes 37 e 38, e pelo Corolario 1 que 0, 1, 1 + 1, (1 + 1) + 1,
((1 + 1) + 1) + 1, etc, sao todos numeros naturais. A principal consequencia do PBO
e que estes, na verdade, sao todos os numeros naturais.

Teorema 2 [Princpio de Inducao Matematica (PIM)] A Z : se 0 A e a N :

se a A, entao a + 1 A, entao N A.

Prova. Seja A Z.
Suponhamos que 0 A e a N : se a A, entao a + 1 A.
Suponhamos, para uma contradicao, que N 6 A.
Da, a N tal que a 6 A.
Seja B = {x N : x 6 A}.
Por definicao B N. Tambem por definicao, a N : a B sse a 6 A.
Como a N tal que a 6 A, temos B 6= .
Assim, pelo PBO, m B tal que m = minB.
Como m B e, por hipotese, 0 A, temos m 6= 0.
Alem disso, como m = minB, temos m N.
Da, pelo Corolario 4, temos m 1 N.
Agora, pela Proposicao 35, 0 < 1.
Da, por A14, [m + (1)] + 0 < [m + (1)] + 1.
Assim, por A2, m + (1) < [m + (1)] + 1.
Da, por A1, m + (1) < m + [(1) + 1].
Assim, por A3, m + (1) < m + 0.
Da, por A2, m + (1) < m.
Mas, como m = minB, da temos m + (1) 6 B.
Assim, m + (1) A.

32
GAN 00155 Algebra 1 2017-1

A1 A3 A2
Da, por hipotese, [m + (1)] + 1 = m + [(1) + 1] = m + 0 = m A,
contradizendo m B.
Logo, N A.

O PIM significa que o conjunto dos numeros naturais e o menor (com relacao
a ) subconjunto de Z que contem o 0 como elemento e e fechado para a
adicao de uma unidade.

8.4 A16 PBO

Como vimos na Secao 8.2, o PBO e uma consequencia imediata de A16 indepen-
dentemente dos outros axiomas. De fato, A16 afirma que todo conjunto nao vazio de
numeros inteiros que possui um limitante inferior possui um menor elemento. Como
ja frisamos, o conjunto dos naturais e definido exatamente a partir de um limitante
inferior, o numero 0. Assim, a prova de que A16 acarreta o PBO e trivial e nao faz
uso de nenhum outro axioma que nao seja o proprio A16.
Veremos agora que a recproca deste resultado tambem e verdadeira, embora a
prova nao seja tao imediata quanto antes. Ou seja, vamos mostrar que se supomos
A1, A2, A3, A14, e PBO, podemos provar A16.
Neste sentido, podemos dizer que A16 e o PBO sao equivalentes na presenca dos
axiomas A1, A2, A3, A14.

Teorema 3 Se PBO, entao A16, isto e, se

A N : se A 6= , entao m Z, tal que m = minA
entao,
A Z : se A 6= e l Z tal que l e um limitante inferior
de A, entao a Z : a = minA.

Prova. Seja A Z.
Suponhamos que A 6= e l Z tal que l e um limitante inferior de A.
Da, a A : l a.
Assim, por A14 e A2, a A : 0 a + (l).
Seja B = {x Z : a A : x = a + (l)}.
Temos que B N. De fato, se b B, temos b = a + (l), para a A. Da,
0 b. Logo, b N.
Alem disso, temos que B 6= . De fato, como A 6= , a Z : a A. Assim,
a + (l) B.
Da, pelo PBO, m Z : m = minB.
Assim, m B e b Z : se b B, entao m b.
Tomemos, agora, n = m + l. Vamos mostrar que n = minA.
Primeiro, n A. De fato, como m B, a A : m = a + (l). Da, por A14,
A1, A3 e A2, m + l = a. Como a A, temos m + l A. Como n = m + l, temos
n A.
Segundo, seja a A. Da, pela definicao de B, a + (l) B. Como m = minB,
temos m a + (l). Assim, por A14, A1, A3 e A2, m + l a. Logo, n a.

33
GAN 00155 Algebra 1 2017-1

Muitos textos sobre a axiomatizacao dos numeros inteiros adotam o PBO como
proposicao primitiva e, a partir da, provam o A16, que nos adotamos como axioma.
Como o Teorema 3 mostra, esta escolha e apenas uma questao de gosto.

c 2017 Petrucio Viana
GAN-IME-UFF

Atualizado em 30 de abril de 2017.

34