ReinaldoVianadaCosta Revisada

1
Dos números naturais aos números reais
Reinaldo Viana da Costa

Dissertação de Mestrado do Programa de Mestrado Profissional
em Matemática em Rede Nacional (PROFMAT)
SERVIÇO DE PÓS-GRADUAÇAO DO ICMC-USP
Data de Depósito:
Assinatura: _____________________
Dos números naturais aos números reais
Dissertação apresentada ao Instituto de

Ciências Matemáticas e de Computação - ICMC-
USP, como parte dos requisitos para obtenção
do título de Mestre em Ciências – Mestrado
Profissional em Matemática em Rede Nacional.
VERSÃO REVISADA
Area de Concentração : Mestrado Profissional

em Matemática em Rede Nacional
Orientador : Prof. Dr. Hermano de Souza Ribeiro
USP - São Carlos

Abril de 2019
From natural numbers to real numbers
Master dissertation submitted to the Institute of

Mathematics and Computer Sciences - ICMC-USP, in
partial fulfillment of requirements for the degree of
Mathematics Professional Master’s Program.
Concentration Area: Professional Master Degree

Program in Mathematics in National Network
Advisor: Prof. Dr. Hermano de Souza Ribeiro
USP - São Carlos

April 2019
À minha esposa Inaura, presente
em todos os momentos dessa
caminhada.
Agradecimentos
Aos meus pais, Salvador e Benedicta, por me ensinarem os primeiros passos dessa
jornada.
Ao meu professor e orientador Prof. Dr. Hermano de Souza Ribeiro, pela dedicação na
orientação desse trabalho e por todas as aulas que ministrou durante o curso.
À Coordenadora do PROFMAT do ICMC-USP Profa. Dra. Ires Dias, pelo apoio em todos
os momentos do curso.
A todos os professores e colegas do PROFMAT que, com seus ensinamentos e suas
experiências, acrescentaram muito à minha formação.
RESUMO
COSTA R. V. Dos números naturais aos números reais. 2018. 113 p. Dissertação (Mestrado em
Ciências – Mestrado Profissional em Matemática em Rede Nacional) – Instituto de Ciências
Matemáticas e de Computação, Universidade de São Paulo, São Carlos – SP, 2018.
Este trabalho apresenta a construção dos conjuntos dos números naturais, inteiros, racionais
e reais, buscando contemplar uma mediação entre alunos e professores do ensino médio que
possa contribuir em uma abordagem facilitadora para o processo de ensino e aprendizagem.
A construção dos conjuntos numéricos é feita de modo progressivo, apresentando leis e
propriedades que definem cada um deles. Os capítulos apresentam teoremas que são
provados de modo que o leitor possa conseguir, efetivamente, estabelecer um elo entre a teoria
matemática e suas abstrações iniciais inerentes aos estudantes em formação.
Palavras-chave: Conjuntos numéricos, Números naturais, Axiomas de Peano, Números

inteiros, Números racionais, Números reais, Cortes de Dedekind.
ABSTRACT
COSTA R. V. From natural numbers to real numbers. 2018. 113 p. Dissertação (Mestrado em
Ciências – Mestrado Profissional em Matemática em Rede Nacional) – Instituto de Ciências
Matemáticas e de Computação, Universidade de São Paulo, São Carlos – SP, 2018.
This work presents the construction of the sets of natural, integer, rational and real numbers,
aiming to contemplate a mediation between high school students and teachers that can
contribute to an easy approach to the teaching and learning processes. The construction of
the numerical sets is done progressively presenting laws and properties that define each one
of them. The chapters present theorems that are proven so that the reader can effectively
establish a link between mathematical theory and its initial abstractions inherent in the
students in formation.
Keywords: Numerical sets, Natural numbers, Peano axioms, Integer numbers, Rational
numbers, Real numbers, Dedekind cuts.
Sumário
Introdução .....................................................................................,.......... 17
1. O conjunto ℕ dos números naturais ....................................................... 21
1.1 Introdução ao conjunto dos números naturais ......................................... 21
1.2 Relação de ordem em ℕ ........................................................................... 23
1.3 Os Postulados de Peano ........................................................................... 26
1.4 Adição no conjunto ℕ dos números naturais ........................................... 27
1.5 Multiplicação no conjunto ℕ dos números naturais ................................. 30
1.6 Relação de ordem em ℕ ........................................................................... 34
1.7 Lei da tricotomia para conjunto ℕ dos números naturais ....................... 35
1.8 Construção do conjunto ℕ pelo axioma do infinito ................................ 37
1.9 Adição no conjunto ℕ via teorema da recursão ...................................... 46
1.10 Multiplicação no conjunto ℕ via teorema da recursão ........................... 48
1.11 Relação natural de ordem no conjunto ℕ = { 0 , 1 , 2 , ...} ...................... 51
1.12 Relação de divisibilidade no conjunto ℕ dos números naturais ............ 55
2 O conjunto ℤ dos números inteiros ........................................................... 59
2.1 Adição no conjunto ℤ dos números inteiros ............................................. 61
2.2 Multiplicação no conjunto ℤ dos números inteiros ................................. 63
2.3 Subtração no conjunto ℤ dos números inteiros ....................................... 66
2.4 Relação de divisibilidade no conjunto ℤ dos números inteiros ................ 67
2.5 Relação de ordem no conjunto ℤ dos números inteiros ........................... 67
2.6 Inclusão do conjunto ℕ ao conjunto ℤ .................................................... 71
2.7 Três princípios de indução matemática no conjunto ℤ ........................... 73
3. O conjunto ℚ dos números racionais ...................................................... 75
3.1 Adição no conjunto ℚ dos números racionais ........................................ 76
3.2 Multiplicação no conjunto ℚ dos números racionais .............................. 78
3.3 Subtração no conjunto ℚ dos números racionais .................................... 82
3.4 Divisão no conjunto ℚ dos números racionais ................................ 83
3.5 Relação de ordem no conjunto ℚ dos números racionais ......................... 84
3.6 Inclusão do conjunto dos inteiros ao conjunto dos números racionais .... 85
4. O conjunto ℝ dos números reais .............................................................. 91
4.1 Adição no conjunto ℝ dos números reais ................................................ 92
4.2 Relações de ordem em ℝ .......................................................................... 96
4.3 Multiplicação no conjunto ℝ dos números reais .................................... 97
4.4 Equação polinomial incompleta .............................................................. 108
4.5 Representação decimal dos números reais .............................................. 109
Referencias ....................................................................................................... 113
17
INTRODUÇÃO
O trabalho apresenta três construções do conjunto dos números naturais. A primeira e

a mais elementar das construções pressupõe a existência do conjunto dos números naturais
{ 1 , 2 , 3 , ...} e pressupõe a existência das quatro operações aritméticas no conjunto dos
números naturais, observando que a subtração e a divisão nem sempre são bem definidas no
conjunto dos números naturais. Além das hipóteses de que a operação de adição e a operação
de multiplicação para os números naturais possuem as propriedades associativa e comutativa,
bem como a propriedade distributiva da multiplicação em relação à adição; esta construção
elementar, adequada para alunos do ensino fundamental, também coloca como axiomas, o
princípio da indução matemática e o axioma da tricotomia.
O axioma da tricotomia permite esclarecer a seguinte questão para o conjunto dos
números naturais: Se a, b e c fossem números naturais e a + c = b + c , como justificar que a
= b? O axioma da tricotomia permite esclarecer também outra questão: Se a , b e c fossem
números naturais com ac igual a bc , como justificar que a = b ? O axioma da tricotomia
permite ao leitor interessado a justificativa dessas duas questões que são chamadas a lei do
cancelamento para a operação de adição e lei do cancelamento para operação de multiplicação
de números naturais.
A segunda construção, mais sofisticada e talvez adequada para alunos de graduação
em matemática, é feita a partir dos cinco postulados de Peano, e em um dos quais é introduzido
o conceito de número natural sucessor imediato assim como as suas propriedades. O quinto
axioma de Peano é o princípio da indução matemática, que é o mesmo princípio que aparece
na introdução mais elementar. Através dos axiomas de Peano, a adição de números naturais é
agora definida e também a operação de multiplicação de números naturais. Pela utilização do
princípio da indução matemática, são demonstradas as propriedades associativa e comutativa
das operações de adição e multiplicação de números naturais bem como a propriedade
distributiva da operação de multiplicação em relação à operação de adição. Além disso, é
demonstrada a lei da tricotomia cujas consequências são as leis do cancelamento da adição da
multiplicação para o conjunto dos números naturais.
A terceira construção do conjunto dos números naturais é feita a partir do axioma do
infinito. Nos postulados de Peano a existência dos números naturais era feita por hipótese.
Agora não, os números naturais são construídos e são conjuntos. A partir do teorema da
recursão são definidas, mais uma vez, as operações de adição e multiplicação de números
naturais. O conjunto dos números naturais admite uma infinidade de relações de ordem total,
mas apenas uma delas é compatível com as operações de adição e multiplicação.
O capítulo da construção dos números naturais contempla, ainda, o princípio da boa
ordenação, o teorema fundamental da aritmética e a propriedade arquimediana do conjunto
dos números naturais.
Os números inteiros são construídos a partir do conjunto dos números naturais
ℕ ={ 0 , 1 , 2 , ... }. Alguns autores não consideram o zero como número natural, dado que o
número zero foi definido quase um milênio após a construção dos números naturais
{ 1 , 2 , 3 , ... }. A construção do conjunto dos números inteiros a partir do conjunto dos
números naturais { 1 , 2 , 3 , ... } é análoga à construção feita a partir de ℕ. Os números
inteiros são definidos como classes equivalências de uma relação binária de equivalência
definida no conjunto produto cartesiano ℕ x ℕ, não importando se o conjunto dos números
naturais inicia com 0 ou inicia com 1. As operações de adição, de multiplicação e mesmo a
relação de ordem são definidas através dos representantes das classes de equivalências,
independentemente dos representantes escolhidos. A lei da tricotomia justifica a lei do
cancelamento da multiplicação no conjunto dos números inteiros.
O capítulo da construção dos números inteiros apresenta, também, três princípios de
indução matemática. A introdução à construção do conjunto dos números inteiros é uma
prévia mais elementar da construção do conjunto dos números racionais objeto do capítulo
seguinte.
O conjunto dos números racionais é construído a partir do conjunto dos números
inteiros. Os números racionais são classes de equivalência de uma relação de equivalência
definida no conjunto dos números inteiros. As operações de adição, de multiplicação e a
relação de ordem são definidas através dos representantes dos números racionais que são
classes de equivalência, independentemente dos representantes escolhidos. A relação de
ordem natural no conjunto dos números racionais é compatível com as operações de adição e
de multiplicação, e qualquer outra relação de ordem total no conjunto dos números racionais
compatível com as operações de adição de multiplicação coincide com a relação de ordem
natural.
O capítulo da construção dos números racionais mostra que nem sempre subconjuntos
dos números racionais limitados superiormente admitem supremo, isto é, o conjunto dos
números racionais não é um conjunto completo, diferentemente do conjunto dos números reais
construídos no capítulo seguinte.
19
Os números reais são construídos a partir do conjunto dos números racionais com a
definição dos cortes de Dedekind. Um número real é um conjunto de números racionais
diferente do vazio e do próprio conjunto dos números racionais com duas propriedades
adicionais: dado um elemento deste conjunto, todo número racional menor do que ele
pertence ao conjunto, e dado um elemento do conjunto, existe sempre um outro elemento do
mesmo conjunto que é o maior do que o elemento dado. São definidas as operações de adição,
multiplicação e subtração, assim como a relação de ordem total. O teorema do completamento
do conjunto dos números reais e uma breve digressão sobre a representação decimal infinita
de um número real finalizam o capítulo.
21
1. O CONJUNTO ℕ DOS NÚMEROS NATURAIS

Este capítulo apresenta três construções para os números naturais.
1.1 O CONJUNTO ℕ = { 1 , 2 , 3 , ...} DOS NÚMEROS NATURAIS :

UMA INTRODUÇÃO ELEMENTAR.
Uma introdução elementar do conjunto ℕ = { 1 , 2 , 3 , ...} dos números naturais

consiste em axiomatizar a sua existência assim como a existência das operações binárias
internas de adição e de multiplicação definidas para todos os elementos de ℕ e elencar as
propriedades da adição e da multiplicação como segue.
O conjunto ℕ = { 1 , 2 , 3 , ...} dos números naturais é um conjunto fechado em relação
às operações binárias internas de adição e de multiplicação no sentido de que dados dois
números naturais a e b, a soma a + b de a e b nesta ordem e o produto ab de a e b nesta ordem
são números naturais e são válidos os seguintes postulados.
Dados os números naturais a , b e c, valem as propriedades:
N1) (a + b) + c = a + ( b + c ) propriedade associativa da adição
N2) (ab)c = a(bc) propriedade associativa da multiplicação
N3) a + b = b + a propriedade comutativa da adição
N4) ab = ba propriedade comutativa da multiplicação
N5) a(b + c) = ab + ac propriedade distributiva da operação de multiplicação
em relação a operação de adição.
N6) Existência do elemento neutro para a operação de multiplicação: o número natural
1 tem a propriedade de que para cada número natural a
1𝑎 = 𝑎.
N7) Axioma da tricotomia: dados números naturais a e b, uma e exatamente uma das
afirmações é verdadeira:
(1) a + x = b para algum número natural x
(2) a=b
(3) a = b + y para algum número natural y
N8) Princípio da indução matemática
Seja um subconjunto A de ℕ com as propriedades
(1) 1∈A
22 O conjunto N dos números naturais
(2) Se n ∈ A então n + 1 ∈ A
Então A = ℕ .
O axioma da tricotomia é uma ferramenta adequada na demonstração da lei do
cancelamento da operação de adição.
TEOREMA 1.1.1 LEI DO CANCELAMENTO DA OPERAÇÃO DE ADIÇÃO

(a) Dados os números naturais a , b e c,
se a + c = b + c então a = b
(b) Dados os números naturais a , b e c,
se c + a = c + b então a = b
(c) Dados os números naturais a , b e c,
se a + c = c + b então a = b.
Prova (a)
Pelo axioma da tricotomia, apenas uma e somente uma afirmação abaixo é verdadeira:
(1) Existe um número natural d tal que a = b + d
(2) Existe um número natural e tal que d = a + e
(3) a = b
No caso (1), a = b + d para algum número natural d. Da hipótese,
a+c=b+c
por substituição
(b+d)+c=b+c
(b+c)+d=b+c
pela associatividade e pela comutatividade da adição de números naturais
Então, b + c = b + c
(b+c)+d=b+c
o que contraria o axioma da tricotomia.
Como o caso (2) é análogo ao caso (1), resta a = b.
Os casos (b) e (c) são provados a partir do caso (a) utilizando a comutatividade da
adição de números naturais.
O axioma da tricotomia também é utilizado na demonstração da lei do cancelamento
da operação de multiplicação.
23
TEOREMA 1.1.2 LEI DO CANCELAMENTO DA OPERAÇÃO DE

MULTIPLICAÇÃO.
(a) Dados os números naturais a , b e c,
se ac = bc, então a = b.
(b) Dados os números naturais a , b e c,
se ca = cb, então a = b.
Prova (a)
Caso exista um número natural d tal que a = b + d, e pela hipótese de que ac = bc, por
substituição, segue que:
( b + d ) c = bc
e pela distributividade da multiplicação em relação a adição
bc + dc = bc
Então bc = bc
bc + dc = bc
o que contraria o axioma da tricotomia.
Como o caso em que b = a + d para algum número natural d é análogo, resta apenas o
caso a = b.
A prova de (b) é consequência lógica da prova de (a) pela comutatividade da
multiplicação de números naturais,
Consequência: O número natural 1 é o único número natural com a propriedade de que:

a1 = a para cada número natural a.
Caso existam um número natural x e um número natural a de modo que
ax = a = a1,
pela lei do cancelamento da multiplicação, x = 1.
1.2 A RELAÇÃO DE ORDEM EM ℕ= { 1 , 2 , 3 , ... }.
Dados os números naturais m, n diz-se que m é menor do que n, e escreve-

se m < n, para significar que existe p ∈ ℕ tal que n = m + p. Neste caso, diz-se, também,
que n é maior do que m e escreve-se n > m para exprimir que se tem m < n. A
notação m ≤ n significa que m < n ou m = n. Por definição, tem-se, portanto, m < m + p, para
quaisquer m, p ∈ ℕ. Em particular, m < m + 1. Segue-se que 1 < n para todo número

natural n ≠ 1. Esta afirmação pode ser provada pelo princípio da indução matemática,
definindo A= { n ∈ ℕ : n = 1 ou n > 1 }.
O número natural a é menor ou igual ao número natural b ou o número natural b é
maior ou igual ao número natural a ( em símbolos, a ≤ b ou b ≥ a ) tem o significado de que
ou a = b ou a < b.
A relação de ordem natural ≤ no conjunto dos números naturais goza das seguintes
propriedades ( de verificação imediata)
(a) reflexiva: para cada número natural a , a ≤ a
(b) antissimétrica: dados os números naturais a e b, se a ≤ b e se b≤ a então a = b
(c) transitiva: dados os números naturais a , b, c, se a ≤ b e se b ≤ c então a ≤ c.
TEOREMA 1.2.1 LEI DA TRICOTOMIA

Dados os números naturais a e b, uma e uma só das seguintes afirmações é verdadeira:
(1) a < b (2) a = b (3) a > b
Prova: Imediata a partir do axioma da tricotomia.
Os resultados seguintes são de demonstração imediata.
TEOREMA 1.2.2 COMPATIBILIDADE DA RELAÇÃO DE ORDEM COM A

OPERAÇÃO DE ADIÇÃO E COM A OPERAÇÃO DE MULTIPLICAÇÃO.
Dados os números naturais a , b , c e d.
(a) Se a < b, então a + c < b + c e c + a < c + b.
(b) Se a < b e se c < d, então a + c < b + d.
(c) Se a + c < b + c ou se c + a < c + b, então a < b.
(d) Se a + b < c + d e se c ≤ a, então b < d.
(e) Se a < b, então ac < bc e ca < cb.
(f) Se a < b e se c < d, então ac < bd.
(g) Se ac < bc ou se ca < cb, então a < b.
(h) Se ab < cd e se c ≤ a, então b < d.
Prova (c)
Da hipótese c + a < c + b, existe um número natural d tal que
25
(c+a)+d=c+b
ou
c+(a+d)=c+b
pela associatividade da adição de números naturais e, então,
a+d=b
pela lei do cancelamento da operação de adição e que é a definição de a < b.
Prova (g)
Da hipótese ca < cb, segue a existência de um número natural d tal que
ca + d = cb
caso a = b , ca = ca
ca + d = ca ou ca < ca
o que contraria o axioma da tricotomia
caso a > b, existe um número e tal que
a=b+e
e da igualdade ca + d = cb por substituição
c ( b + c ) + d = cb
ou cb + (ce + d ) = cb
o que resulta que cb = cb
cb < cb
o que é contrária o axioma da tricotomia.
Resta apenas então a < b.
TEOREMA 1.2.3 Se a é um número natural, então não existe um número natural b tal que
a < b < a + 1.
Prova
Caso exista um número natural b tal que a < b < a + 1 , como a < b, existe um número
natural x tal que b = a + x e, como b < a + 1, existe um número y tal que a + 1 = b + y. Assim
a + x + y = a + 1. Pela lei do cancelamento da adição, x + y = 1 o que significa que x < 1. Isto
é uma contradição. Portanto, não existe um número natural b tal que a < b < a + 1.
1.3 O CONJUNTO ℕ DOS NÚMEROS NATURAIS: UMA

CONSTRUÇÃO ATRAVÉS DOS POSTULADOS DE PEANO.
O conjunto de postulados mais conhecido para a construção de números naturais foi

publicado pelo matemático italiano Giuseppe Peano em 1889.
Uma redação dos cinco postulados de Peano é a seguinte:
Existe o conjunto ℕ dos números naturais com as seguintes propriedades:
P1) 1 ∈ N, isto é, 1 é um número natural.
P2) Para cada número natural n, existe e é único o número natural n+ sucessor do
número natural n.
P3) Dados os números naturais m e n com a propriedade de que os sucessores de m e
de n são iguais, isto é, se
m + = n+
então
m=n
P4) O número natural 1 não é sucessor de nenhum número natural.
P5) Princípio da indução matemática.
Seja A um subconjunto de ℕ com as propriedades
(1) 1 ∈ A;
(2) Se n ∈ A , então n+ ∈ A.
Então A = ℕ.
Definição 1.3.1
O número natural 2 é definido como o sucessor do número natural 1.
E assim por diante para os demais números naturais.

27
1.4 A OPERAÇÃO DE ADIÇÃO NO CONJUNTO ℕ DOS

NÚMEROS NATURAIS:
A partir dos postulados de Peano, a adição de números naturais é, agora, definida e
não é mais um axioma.
A operação de adição no conjunto dos números naturais é uma operação binária que
associa a cada par ordenado de números naturais o número natural soma dos números naturais
do par ordenado dado ( pelo teorema abaixo, a soma de dois números naturais é um número
natural).
Para cada número natural n, o número natural soma n + 1 das parcelas n e 1 nesta
ordem é definido como o número natural sucessor do número natural n, isto é,
n + 1 = n+
Dados números naturais m e n, definido o número natural soma m + n das parcelas m

e n nesta ordem, o número natural soma m + n+ das parcelas m e n+ nesta ordem é definido
como o número natural sucessor do número natural soma das parcelas m e n nesta ordem, isto
é,
m + n+ = (m + n)+
TEOREMA 1.4.1 A operação binária interna fechada de adição de números naturais é

bem definida: dados números naturais m e n, existe o número natural soma m + n das parcelas
m e n nesta ordem.
Prova
Fixado um número natural m, seja A={ n ∈ ℕ: m + n ∈ ℕ }. Então,
(1) 1 ∈ A porque m + 1 = m+ , o sucessor natural do número natural m cuja

existência é assegurada pelos postulados de Peano.
(2) Hipótese de indução: se n ∈ A então, por hipótese, existe o número natural

soma m + n das parcelas m e n. O objetivo é mostrar que n+ ∈ A, ou seja, é provar a
existência do número natural soma m + ( n+) das parcelas m e n+. Para tanto, por definição
m + n+ = ( m + n )+
que é o número natural ( m + n )+ sucessor do número natural soma m + n cuja existência

é garantida pela hipótese de indução.
TEOREMA 1.4.2 PROPRIEDADE ASSOCIATIVA RESTRITA PARA A

OPERAÇÃO DE ADIÇÃO
Dados dois números naturais a e b, vale a igualdade:
(a + b) + 1 = a + (b + 1)
Prova
Para números naturais a e b, a + b+ = a + ( b + 1 ) = ( a + b )+ = ( a + b ) + 1.
TEOREMA 1.4.3 PROPRIEDADE ASSOCIATIVA DA OPERAÇÃO DE ADIÇÃO.

Dados números naturais a , b e c.
(a + b) + c = a + (b + c).
Prova
Fixados os números naturais dados a e b, seja
A = { n ∈ ℕ: (a + b) + n = a + (b + n)}.
Então:
i) 1 ∈ A, porque pelo teorema da associatividade restrita à operação de adição
(a + b) + 1 = a + (b + 1)
ii) Se n ∈ A por hipótese (a + b) + n = a + (b + n)e o objetivo é mostrar que n+ ∈ A
= ( a + b ) + n+ =
= (a + b) + (n + 1) =
= [(a + b) + n] + 1 =
= [a + (b + n)] + 1 =
= a + [(b + n) + 1] =
= a + [ b + ( n + 1 )] =
= a + ( b + n+ ).
Em conclusão, se n ∈ A então n+ ∈ A e, pelo princípio da indução matemática,

A = ℕ e a propriedade associativa da adição é válida para os números naturais.
29
TEOREMA 1.4.4 PROPRIEDADE COMUTATIVA DA OPERAÇÃO DE ADIÇÃO.

Dados dois números naturais a e b,
a + b = b + a.
A prova necessita do seguinte lema.
LEMA 1.4.1
Dado um número natural a,
a + 1 = 1 + a.
Prova
Seja A = { n ∈ ℕ ∶ n + 1 = 1 + n } ,
Então:
i) 1 ∈ A porque 1 +1 = 1 +1
ii) se n ∈ A por hipótese n + 1 = 1 + n e o objetivo é mostrar que n+ ∈ A.
n+ + 1 =
= (n + 1) + 1 =
= (1 + n ) + 1 = (porque n ∈ A)
=1+(n+1)=
= 1 + n+ .
pela propriedade associativa da operação de adição pelos números naturais.
A = ℕ e o lema está demonstrado.
Prova do teorema
Fixado o número natural a, seja A = { n ∈ ℕ: a + n = n + a }
Então:
i) 1 ∈ A porque pelo lema 1 + a = a + 1.
ii) se n ∈ A por hipótese a + n = n + a e o objetivo é mostrar que n+ ∈ A.
a + n+ = a + ( n + 1) =
= (a + n ) + 1 = (associatividade da adição)
=(n+a)+1= ( hipótese de indução)
=n+(a+1)= ( associatividade da adição)
=n+(1+a)= ( lema)
= ( n + 1) + a = (associatividade da adição)
= n+ + a
Em conclusão, se n ∈ A então n+ ∈ A e, pelo princípio da indução matemática, A = ℕ

e a propriedade comutativa da adição é válida para os números naturais.
1.5 A OPERAÇÃO DE MULTIPLICAÇÃO NO CONJUNTO ℕ

DOS NÚMEROS NATURAIS:
A partir dos postulados de Peano, a multiplicação de dois números naturais m e n nesta

ordem é agora definida e não é mais um axioma.
A operação de multiplicação no conjunto dos números naturais é uma operação binária

que associa a cada par ordenado de números naturais o número natural produto dos números
naturais do par ordenado dado ( pelo teorema abaixo, o produto de dois números naturais é
um número natural).
Para cada número natural n, o produto n ∙ 1dos fatores n e 1 nesta ordem é definido
igual a n, isto é,
n∙1=n .
Dados dois números naturais m e n, definido o número natural produto dos fatores m
e n nesta ordem, o produto m ∙ n+ dos fatores m e n+ é definido como o número natural soma
das parcelas: a primeira parcela é o produto dos fatores m e n nesta ordem e a segunda parcela
é o número natural m, isto é,
m ∙ n+ = m ∙ n + m .
TEOREMA 1.5.1 A operação binária interna fechada de multiplicação de números

naturais é bem definida: dados dois números naturais m e n, existe o número natural produto
m ∙ n dos fatores m e n nesta ordem.
Prova
Fixado um número natural m seja A={ n ∈ ℕ: m ∙ n ∈ ℕ }. Então
(1) 1 ∈ A porque por definição m ∙ 1 = m .

31
(2) Hipótese de indução: Se n ∈ A, por hipótese o produto m ∙ n dos fatores m e n

nessa ordem é um número natural.
O objetivo é demonstrar que n+ ∈ A, ou seja, que o produto m ∙ ( n+ ) é um número

natural. Para tanto, por definição,
m ∙ n+ = m ∙ n + m.
TEOREMA 1.5.2 PROPRIEDADE DISTRIBUTIVA RESTRITA DA OPERAÇÃO

DE MULTIPLICAÇÃO EM RELAÇÃO A OPERAÇÃO DE ADIÇÃO.
Dados dois números naturais a e b
a( b + 1 ) = a ∙ b + a .
Prova
Para números naturais a e b, ab+ = a ( b + 1 ) = ab + a .
TEOREMA 1.5.3 EXISTÊNCIA DO ELEMENTO NEUTRO PARA A OPERAÇÃO

DE MULTIPLICAÇÃO.
Para cada número natural a, 1 ∙ a = a .
Prova
Seja A ={ n ∈ ℕ : 1 ∙ n = n} ,
Então:
(i) 1 ∈ A porque 1 ∙ 1 = 1 .
(ii) se n ∈ A, então por hipótese 1 ∙ n = n.
O objetivo é mostrar que n+ ∈ A.
1n+ = 1( n + 1) =
= 1∙ n + 1∙1= (distributividade restrita)
= n+1= ( hipótese de indução )
= n+ .
A = ℕ e o teorema está provado.
TEOREMA 1.5.4 PROPRIEDADE DISTRIBUTIVA DA OPERAÇÃO DE

MULTIPLICAÇÃO EM RELAÇÃO A OPERAÇÃO DE ADIÇÃO.
Dados números naturais a , b e c
(1) a ( b + c ) = a ∙ b + ac
(2) ( b + c ) a = b ∙ a + ca
Prova (1)
Fixados os números naturais a e b, seja
A = { n ∈ ℕ : a( b + n ) = a ∙ b + na}.
Então:
(i) 1 ∈ A porque a( b + 1 ) = a ∙ b + a ∙ 1
pela propriedade distributiva restrita da operação de multiplicação em relação a operação de
adição para números naturais.
(ii) Se n ∈ A então, por hipótese,
a(b + n) = ab + na.
a( b + n+) = a[b + (n + 1)]
= a[(b + n)+ 1] (associatividade da adição)
= a(b + n) + a (distributividade restrita)
= (ab + an) + a (hipótese de indução)
= ab + (na + a) (associatividade da adição)
= ab + a(n + 1) (distributividade restrita)
= ab + an+ .
Em conclusão, se n ∈ A, então n+ ∈ A e, pelo princípio da indução matemática,
A = ℕ e a prova de (1) está completa.
Prova (2)
Fixados os números naturais b e c, seja
B={ ( b + c )n = bn + cn }
Então
(i) 1 ∈ B porque ( b + c ) 1 = b + c
(ii) Se n ∈ B então, por hipótese,
( b + c )n = bn + cn
33
O objetivo é mostrar que n+ ∈ B.

(b + c ) ( n+ ) = (b + c) ( n + 1 )
= ( b + c )n + ( b + c ) =
= (bn + c∙n) + (b +c) =
= [(b∙n + cn) + b] + c =
= [bn + (cn + b)] + c =
= [bn + (b + cn)] + c =
= [(bn + b) + cn] + c =
= (bn + b) + (cn + c) =
= b(n + 1) + c(n + 1) =
= bn+ + cn+.
Em conclusão, se n ∈ B então n+ ∈ B e, pelo princípio da indução matemática,
B = ℕ e a prova de (2) está completa.
TEOREMA 1.5.5 PROPRIEDADE ASSOCIATIVA DA OPERAÇÃO DE

MULTIPLICAÇÃO.
Dados números naturais a , b e c
(ab)c = a(bc).
Prova
Fixados os números naturais a e b, seja
A = {n ∈ ℕ: (ab)n = a(bn)}.
Então
( ab )( n + 1) = ( ab )n +( ab )1 propriedade distributiva
= a( bn ) + ab = hipótese de indução
= a[ bn + n] = propriedade distributiva
= a[ b( n + 1)].
Em conclusão, se n ∈ A , então n + 1 ∈ A e , pelo princípio de indução matemática,
A = ℕ e a prova do teorema está completa.
TEOREMA 1.5.6 PROPRIEDADE COMUTATIVA DA OPERAÇÃO DE

MULTIPLICAÇÃO PARA NÚMEROS NATURAIS
Dados números naturais a e b
a∙b = b∙a.
Prova
Fixado um número natural a, seja
A ={ n ∈ ℕ : an = na} .
Então
i) 1 ∈ A porque a ∙ 1 = 1 ∙ a = a.
ii) se n ∈ A então, por hipótese an = na.
= an+ =
= a ( n + 1) = propriedade distributiva
= an + a∙1 = hipótese de indução
= an + a = propriedade distributiva
= na + a =
= (n + 1) a = propriedade distributiva
= n+∙a
A = ℕ. O teorema está provado.
1.6 A RELAÇÃO DE ORDEM EM ℕ= { 1 , 2 , 3 , ... }.

Dados os números naturais m, n diz-se que m é menor do que n, e escreve-
se m < n, para significar que existe p ∈ ℕ tal que n = m + p. Neste caso, diz-se também que n é
maior do que m e escreve-se n > m para exprimir que se tem m < n. A notação m ≤ n significa
que m < n ou m = n. Por definição, tem-se, portanto, m < m + p para quaisquer m, p ∈ ℕ. Em
particular, m < m + 1. Segue-se também da definição que 1 < n para todo número
natural n ≠ 1.
O número natural a é menor ou igual ao número natural b ou o número natural b é
menor ou igual ao número natural a ( em símbolos, a ≤ b ou b ≥ a ) tem o significado de que
ou a = b ou a < b.
A relação de ordem natural ≤ no conjunto dos números naturais goza das seguintes
propriedades ( de verificação imediata)
(a) reflexiva: para cada número natural a , a ≤ a
(b) antissimétrica: dados os números naturais a e b, se a ≤ b e se b≤ a então a = b
(c) transitiva: dados os números naturais a , b, c, se a ≤ b e se b ≤ c então a ≤ c.
35
1.7 A LEI DA TRICOTOMIA PARA O CONJUNTO DOS

NÚMEROS NATURAIS ℕ = { 1 , 2 , 3 , ... }.
A lei da tricotomia para o conjunto dos números naturais é demonstrada a partir dos
postulados de Peano através dos seguintes resultados.
TEOREMA 1.7.1 Para cada número natural n ∈ ℕ = { 1 , 2 , 3 , ... } , n+ ≠ n.
Prova
Seja A ={ n ∈ ℕ : n+ ≠ n}
Então
i) 1 ∈ A, porque 1+ ≠ 1 (pelos postulados de Peano, 1 não é sucessor imediato de
número natural algum).
ii) Se n ∈ A então, pela definição do conjunto A , n+ ≠ n.
O objetivo é mostrar que n+ ∈ A. Caso n+ + 1 = (n + 1)+ = n + 1 = n+ então, pelos postulados
de Peano, n + 1 = n+ = n , o que contradiz a hipótese de n ∈ A . Portanto, se n ∈ A então n+ ∈
A e, pelo princípio da indução matemática, A = ℕ e o teorema está provado.
TEOREMA 1.7.2 Se m e n são números naturais, então m + n ≠ n.
Prova
Fixado um número natural m, seja
A ={ n ∈ ℕ : m + n ≠ n }.
Então
i) 1 ∈ A, porque m+ = m + 1 ≠ (1 pelos postulados de Peano, 1 não é sucessor imediato
de número natural algum).
ii) Se n ∈ A então, pela definição do conjunto A , m + n ≠ n.
O objetivo é mostrar que n+ ∈ A. Caso m + n+ = (m + n)+ = n+ então, pelos postulados de
Peano, m + n = n , o que contradiz a hipótese de n ∈ A . Portanto, se n ∈ A então n+ ∈ A
e, pelo princípio da indução matemática, A = ℕ e o teorema está provado.
TEOREMA 1.7.3 Se m e n são números naturais então m + n ≠ 1.

Prova
Caso existam dois números naturais m e n cuja soma m + n = 1 , então 1 < n , pela
definição de desigualdade, o que contradiz o resultado de que 1 ≤ n para cada número
natural n. O teorema está provado.
TEOREMA 1.7.4 Para cada número natural n ∈ ℕ = { 1 , 2 , 3 , ... } , ou n = 1 ou existe d
∈ ℕ = { 1 , 2 , 3 , ... } tal que n = 1 + d .
Prova
Caso n = 1 , n ≠ d+ = d + 1 para cada número natural d. Caso exista um número natural

d tal que n = 1 + d = d+ , então n ≠ 1 pelos postulados de Peano. O teorema está provado.
TEOREMA 1.7.5 A LEI DA TRICOTOMIA PARA O CONJUNTO DOS

NÚMEROS NATURAIS ℕ = { 1 , 2 , 3 , ... } .
Dados os números naturais m e n, uma e uma só das seguintes afirmações é verdadeira:

(1) m < n (2) m = n (3) m > n
Prova
Se a afirmação (1) é verdadeira, as afirmações (2) e (3) são falsas: de fato, caso exista
um número natural d tal que n = m + d ≠ m , o que mostra que a afirmação (2) é falsa; caso a
afirmação (3) é verdadeira, existe um número natural c tal que m = n + c , e por substituição,
n = n + (c + d), o que contradiz um dos teoremas anteriores. E assim a afirmação (3) é falsa.
Se a afirmação (3) é verdadeira, as afirmações (1) e (2) são falsas por analogia.
Se a afirmação (2) é verdadeira, as afirmações (1) e (3) são falsas: de fato, caso a
afirmação (1) é verdadeira existe um número natural d tal que n = m + d = m , o que contradiz
um dos teoremas anteriores e assim a afirmação (1) é falsa assim como a afirmação (3) por
analogia é falsa.
37
1.8 O CONJUNTO DOS NÚMEROS NATURAIS ℕ = { 𝟎 , 𝟏 , 𝟐 , … }:

UMA CONSTRUÇÃO A PARTIR DO AXIOMA DO INFINITO.
O que é um número natural ?

Números naturais são conjuntos.
O número natural zero indicado pelo símbolo 0 é definido como o conjunto vazio ∅
( o qual não possui elemento algum)
0=∅
O número natural um, indicado pelo símbolo 1, é definido como o conjunto
𝟏 = ∅ ∪ {∅} = {∅}
(que é um conjunto unitário cujo único elemento é o conjunto vazio )
Então
1 = {0}
O número natural dois, indicado pelo símbolo 2, é definido como o conjunto
𝟐 = {∅} ∪ {{∅}} = {∅, {∅}}
Então
𝟐 = { 𝟎 ,𝟏 }
O número natural três, indicado pelo símbolo 3, é definido como o conjunto
𝟑 = {∅ , {∅}} ∪ {{∅, {∅}}}
= {∅, {∅}, {∅ , {∅}}
Então
𝟑 = { 𝟎, 𝟏, 𝟐 }
E assim por diante.
A existência do conjunto infinito dos naturais ℕ = { 𝟎, 𝟏, 𝟐, 𝟑, … } ainda não está
assegurado apesar das definições dos números naturais zero, um, dois, três, ...
Para garantir a existência do conjunto ℕ = { 𝟎, 𝟏, 𝟐, … } dos números naturais é preciso
o seguinte axioma do infinito.
Axioma do infinito
Existe um conjunto X com as propriedades
(1) ∅ ∈ X
(2) se x ∈ X , então x ∪ {x} ∈ X.
A listagem de alguns elementos do conjunto X é dada na sequência

∅ ∈ X
∅ ∪ {∅} = {∅} ∈ X
{∅} ∪ {{∅}} ∈ X
Um conjunto X com as propriedades
(1) ∅ ∈ X
é denominado um conjunto sucessor.
Por definição, o conjunto ℕ = { 𝟎 , 𝟏 , 𝟐 , … } dos números naturais é definido como a
interseção (não vazia pelo axioma de infinito) de todos os conjuntos sucessores. Como
interseção de todos os conjuntos sucessores, o conjunto dos números naturais também é um
conjunto sucessor.
Por definição, o número natural 𝐧+ denominado sucessor imediato do número natural
n, é igual a
𝐧+ = 𝐧 ∪ {𝐧}
Em particular, pela definição,
𝟏 = 𝟎+
𝟐 = 𝟏+
𝟑 = 𝟐+
e assim por diante.
TEOREMA 1.8.1 Para cada número natural n, 𝐧+ ≠ 𝟎
Prova
Se n é um número natural 𝐧+ = 𝐧 ∪ {𝐧} e então 𝒏 ∈ 𝒏+ enquanto que o número
natural zero é o conjunto vazio (que não possui elemento algum).
TEOREMA 1.8.2 PRINCÍPIO ZERO DE INDUÇÃO MATEMÁTICA

Seja A um subconjunto do conjunto ℕ = { 𝟎 , 𝟏 , 𝟐 , … } dos números naturais com as
propriedades:
(1) 𝟎 ∈ A
(2) se 𝐧 ∈ A , então 𝐧+ ∈ A
Então A = ℕ = { 𝟎 , 𝟏 , 𝟐 , … }.
39
Prova
Por hipótese, A é um conjunto sucessor contido em ℕ = { 0 , 1 , 2 , …}. Logo, ℕ por
ser interseção de todos os conjuntos sucessores, ℕ ⊂ A.
Se A ⊂ ℕ e ℕ ⊂ A segue A = ℕ.
TEOREMA 1.8.3 Dados números naturais m e n, se os sucessores imediatos 𝐦+ de m e

𝐧+ de n são iguais, ou seja, se 𝐦+ = 𝐧+ então 𝐦 ∈ 𝐧 ou 𝐦 = 𝐧
Prova
Por definição e por hipótese
𝐦+ = 𝐦 ∪ {𝐦} = 𝐧 ∪ {𝐧} = 𝐧+
Como 𝐦 ∈ 𝐦+ , 𝐦 ∈ 𝐧+ . Então ou
𝐦=𝐧
ou
m∈n
Números naturais são então conjuntos transitivos ( Um conjunto X é um conjunto
transitivo quando e somente quando para cada x ∈ X, {x} ⊂ X), pelo teorema a seguir.
TEOREMA 1.8.4 Todo número natural n é um conjunto transitivo.
Prova
Pelo princípio da indução matemática, seja A o subconjunto do conjunto dos números
naturais ℕ = { 𝟎 , 𝟏 , 𝟐 , … } constituído pela totalidade dos números naturais que são
conjuntos transitivos.
Então
(i) 0 ∈ A por vacuidade.
(ii) Hipótese de indução: Se 𝐧 ∈ A por hipótese, n é um conjunto transitivo.
O objetivo é mostrar que o sucessor imediato 𝐧+ de número natural n é um conjunto
transitivo.
𝐦 ∈ 𝐧+
Então pelo teorema anterior ou
𝐦∈𝐧
ou
𝐦=𝐧
Se m = n, m é um conjunto transitivo pela hipótese de indução, porque n é um conjunto
transitivo.
Se m ∈ n então 𝐦 ⊂ 𝐧 porque n é um conjunto transitivo pela hipótese de indução e
assim:
m ⊂ n ⊂ 𝐧+
Em conclusão, se n ∈ A então 𝐧+ ∈ A.
Pelo princípio de indução matemática
A = ℕ = { 0 , 1 , 2 , ... }
e, portanto, todo número natural é um conjunto transitivo.
TEOREMA 1.8.5 Dados números naturais m e n, se 𝐦+ = 𝐧+ então m = n
Prova
Por hipótese 𝐦+ = 𝐧+ .
Como
n ∈ 𝐧+ = 𝐧 ∪ 𝐧
𝐧 ∈ 𝐦+ = 𝐦 ∪ 𝐦
e assim ou
𝐧 ∈ 𝐦
ou
𝐧=𝐦
Analogamente
𝐦 ∈ 𝐧
ou
m=n
Na hipótese de que n ∈ m e m ∈ n, como m e n são conjuntos transitivos,
𝐧 ⊂ 𝐦
𝐦 ⊂ 𝐧
O que prova a igualdade entre os números naturais m e n.
41
O conjunto ℕ = { 0 , 1 , 2 , ... } dos números naturais definido como interseção não

vazia de todos os conjuntos sucessores satisfaz os cinco postulados de Peano P1 a P5 a seguir
como ficou demonstrado nos teoremas anteriores.
P1) 𝟎 ∈ ℕ.
P2) Se 𝐧 ∈ ℕ então 𝐧+ ∈ ℕ.
P3) Para cada 𝐧 ∈ ℕ, 𝐧+ ≠ 𝟎.
P4) Principio da indução matemática.
Seja A um subconjunto de ℕ = { 0 , 1 , 2 , ... } com as propriedades
(1) 0∈A
(2) Se n ∈ A, então 𝐧+ ∈ A .
Então A = ℕ .
P5) Se 𝐧, 𝐦 ∈ N e se 𝐧+ = 𝐦+ , então 𝐧 = 𝐦.
TEOREMA 1.8.6 PRIMEIRO PRINCÍPIO DE INDUÇÃO MATEMÁTICA

Seja A um subconjunto de ℕ = { 0 , 1 , 2 , ...} com as propriedades:
(i) 1 ∈ A.
(ii) Se n ∈ A então n + 1 ∈ A ,
então A = { 1 , 2 , 3 , 4 , ...}.
Prova
Seja B = { n ∈ ℕ : n + 1 ∈ A} ⊂ ℕ = { 0 , 1 , 2 , ...},
Então B satisfaz as hipóteses do princípio de indução matemática.
(i) 0 ∈ B porque 0+1=1∈A.
(ii) Se n ∈ B por definição de B, n + 1 ∈ A e, pela hipótese (ii) sobre o conjunto
A, ( n + 1 ) + 1 ∈ A o que prova que n + 1 ∈ B, pela definição de B.
Então B = { 0 , 1 , 2 , ...} e A = { 1 , 2 , 3 , ... }.
TEOREMA 1.8.7 SEGUNDO PRINCÍPIO DE INDUÇÃO MATEMÁTICA

Seja A um subconjunto de ℕ = { 0 , 1 , 2 , ...} com as propriedades
(i) 2∈A.
(ii) Se n ∈ A, então n + 1 ∈ A .
Então A = { 2 , 3 , 4 , ...}.
Prova
Seja B = { n ∈ ℕ : n + 2 ∈ A} ⊂ ℕ = { 0 , 1 , 2 , ...}
Então B satisfaz as hipóteses do princípio da indução matemática.
(i) 0 ∈ B porque 0 + 2 = 2 ∈ A.
(ii) Se n ∈ B, então n + 1 ∈ B .
Então B = { 0 , 1 , 2 , ...} e A = { 2 , 3 , 4 , ...}.
TEOREMA 1.8.8 PRINCÍPIO DE INDUÇÃO COMPLETA

Seja A um subconjunto de ℕ = { 0 , 1 , 2 , ...} com as propriedades
(i) 1∈A.
(ii) Se 1, 2, ..., n ∈ A , então n + 1 ∈ A.
Então A = { 1 , 2 , 3 , ...}.
Prova
Seja B = { n ∈ ℕ : 1 , 2 , 3 , ..., n ∈ A }.
Então B satisfaz as hipóteses do primeiro princípio da indução matemática.
(i) 1 ∈ B porque, por definição de B, 1 ∈ A.
(ii) Se n ∈ B, por definição de B, 1 , 2 , 3 , ... , n ∈ A e, pela hipótese (ii) do conjunto
A, n + 1 ∈ A. Como 1 , 2 , 3 , ... , n + 1 ∈ A, pela definição de B, n + 1 ∈ B.
Pelo primeiro princípio da indução matemática,
B = A = { 1 , 2 , 3, ...}.
TEOREMA 1.8.9 TEOREMA DA RECURSÃO
Sejam X um conjunto, x0 ∈ X e f uma função definida no conjunto X com valores em

X. Então existe uma única função F definida no conjunto ℕ = { 0 , 1 , 2 , ... } dos números
naturais com valores em X com as propriedades:
(1) 𝐹(𝟎) = x0 .
(2) Para cada número natural n
F(𝐧+ ) = f[F(𝐧)].
Prova
A função F a ser construída definida em ℕ = { 0 , 1 , 2 , ...} com valores em X é um
subconjunto do produto cartesiano ℕ x X com as propriedades:
43
(1) (𝟎, x0 ) ∈ F.
(2) Para cada número natural n existe um elemento x ∈ X tal que
(𝐧, x) ∈ F .
(3) se ( 𝐧 , x1 ) ∈ F e se ( 𝐧 , x2 ) ∈ F , em que n é um número natural e x1 e x2
são elementos de X, então x1 = x2 .
(4) se ( n , x ) ∈ F então ( 𝐧+ , f(𝑥)) ∈ F.
Prova da existência da função F.

Seja U o conjunto de todos os subconjuntos Y ⊂ ℕ x X tais que:
(i) ( 𝟎 , x0 ) ∈ Y .
(ii) 𝑠𝑒 ( 𝐧 , x ) ∈ Y , então ( 𝐧+ , f(x) ) ∈ Y.
O conjunto U é não vazio pois ℕ x X ∈ U e a interseção de elementos de U é um
elemento de U.
A função F é definida como a interseção de todos os elementos de U e, portanto, F
satisfaz as propriedades (i) e (ii) acima. Resta mostrar que:
(iii) Para cada número natural n existe um elemento x ∈ X tal que
( 𝐧 ,x ) ∈ F .
(iv) Se ( 𝐧 , x1 ) ∈ F e se ( 𝐧 , x2 ) ∈ F, em que n é um número natural e x1 𝑒 x2
são elementos de X, então x1 = x2 .
Seja A o subconjunto do conjunto ℕ = { 0 , 1 , 2 , ... } dos números naturais constituído
por todos os números naturais n com a propriedade de que (𝐧, x) ∈ F para um único elemento
x ∈ X . Então,
o número natural 0 ∈ A porque ( 𝟎 , x0 ) ∈ F e se ( 𝟎 , x0 ) ∈ F e se ( 𝟎 , x1 ) ∈ F com
x0 ≠ x1 , seja F \{(𝟎, x1 )}; assim
(i) ( 𝟎 , x0 ) ∈ F \{( 𝟎 , x1 )}
(ii) Se ( n , x ) ∈ F \{( 0 , 𝑥1 )} então ( n , x ) ∈ F , o que implica que
(𝐧+ , f(x)) ∈ F
e como 𝐧+ ≠ 𝟎
( 𝐧+ , f(𝑥) ) ≠ ( 𝟎 , x1 )
e, em consequência,
(𝐧+ , f(𝑥)) ∈ F\{( 𝟎 , x1 )}.
Como F é a interseção de todos os subconjuntos Y de U,
F ⊂ 𝐹 \{ ( 0 , 𝑥1 ) },
o que é uma contradição ao fato de que ( 0 , x1 ) ∈ F .

Admitindo que n ∈ A (hipótese de indução), o objetivo é mostrar que 𝐧+ ∈ A. Ao
assumir a existência de y ∈ X com y ≠ f (x), tal que (𝐧+ , 𝑦 ) ∈ F, segue que
( 𝐧 , x ) ∈ F implica que (𝐧+ , f(𝑥)) ∈ F.
( 𝐧+ , y ) ∈ F com 𝑦 ≠ f(x)
Então seja
F {( 𝐧+ , y )}
e assim,
( 𝟎 , x0 ) ∈ F {( 𝐧+ , y )} pois 𝐧+ ≠ 𝟎.
Para um número natural m e um elemento z ∈ X com
(𝐦 , z ) ∈ F (𝐧+ , y)
implica que
(𝐦, z) ∈ F
o que implica
( 𝐦+ , f(z) ) ∈ F.
Dois casos a considerar:
(a) 𝐦+ ≠ 𝐧+
(b) 𝐦+ = 𝐧+
Em (a) 𝐦+ ≠ 𝐧+ , (𝐦+ , f(z)) ≠ (𝐧+ , y)
(𝐦+ , f(z)) ∈ F\{( 𝐧+ , y )}
Em (b) 𝐦+ = 𝐧+ implica 𝐦 = 𝐧 e (𝐦, z) = (𝐧, z) o que acarreta
(𝐦+ , f(z)) = (𝐧+ , f(z))
e, como (𝐧+ , f(x)) ∈ F,
f(x) = f(z)
e
( 𝐦+ , f(z)) = ( 𝐧+ , f(x)) ∈ F ( 𝐧+ , y ).
Como F é a interseção de todos os subconjuntos Y de U,
F ⊂ F ( 𝐧+ , y )}
o que é uma contradição por admitir que
( 𝐧+ , y ) ∈ F ⊂ F ( 𝐧+ , y )} com y ≠ f(x).
Pelo princípio da indução matemática, A = ℕ = { 0 , 1 , 2 , ... }. A construção da
função F, com as propriedades (1), (2), (3) e (4) está completa.
45
Prova da unicidade da função F.
Sejam F e G funções definidas para todos os números naturais com valores em X

satisfazendo ( 0 , x0 ) ∈ F , ( 0 , x0 ) ∈ G e para cada número natural n.
F(𝐧+ ) = f[F(𝐧)]
G(𝐧+ ) = f[G(𝐧)]
Seja B = { n ∈ N : F(𝐧) = G(𝐧)} .
Assim,
(i) 0 ∈ B pois F(𝟎) = 𝑥0 = G(𝟎)
(ii) Hipótese de indução: se n ∈ B por hipótese F(𝐧) = G(𝐧) o que implica
F(𝐧+ ) = f[F(𝐧)] = f[G(𝐧)] = G(𝐧+ )
e que 𝐧+ ∈ B.
Pelo princípio da indução matemática, B = ℕ = { 0 , 1 , 2 , ... } e as funções F e G são
idênticas.
Observação:
Seja f uma função injetora definida para todos os elementos de X com valores em X ,
de modo que x0 não é um elemento do conjunto de valores de f. Então a função F do teorema
da recursão também é injetora no sentido de que se m e n são números naturais com F(𝐦) =
F(𝐧), então, m = n.
Caso m = 0 e caso n = 0 não há o que provar e se n ≠ 0 é tal que F(n) = F(0) então n
é o sucessor imediato de um número natural k ou seja 𝐧 = 𝐤 + e
F(𝟎) = x0 = F(𝐧) = f(𝐤) = f[F(𝐤)]
o que é uma contradição pois x0 não é elemento do conjunto de valores de F
Conclusão: se F(n) = F(0) então n = 0.
Admitindo que para números naturais m e n F(𝐦+ ) = F(𝐧), se n = 0, F(𝐦+ ) = F(𝟎)
então 𝐦+ = 0, o que é uma contradição; se n ≠ 0, n é sucessor imediato de um número natural
k, ou seja n = k + e F(𝐦+ ) = F(𝐧) = F(𝐤 + ) = f[ F(𝐦)] = f[ F(𝐤)] e por f ser uma função
injetora, F(m) = F(k). Pela hipótese de indução: m = k e 𝐦+ = 𝐤 + = 𝐧 .
1.9 A OPERAÇÃO DE ADIÇÃO NO CONJUNTO DOS

NÚMEROS NATURAIS VIA TEOREMA DA RECURSÃO
Seja m um número natural e seja f a função sucessor imediato definida para todos os
valores naturais, ou seja, para todo número natural n, f(𝐧) = 𝐧+ .
O teorema da recursão garante a existência e a unicidade de uma função Fm definida

em ℕ = { 𝟎 , 𝟏 , 𝟐 , 𝟑 , … } com valores naturais de modo que Fm (0) = m e
Fm (n+ ) = [ Fm (n)]+ para cada número natural n.
A operação de adição de números naturais é definida como segue: dados números

naturais m e n, a operação de adição associa ao par ordenado ( m , n ) a soma m + n dos
números naturais m e n nesta ordem que é definida como o número natural Fm(𝐧) ou seja, m
+ n = Fm (n). Em outras palavras, para números naturais m e n
m + 0 = Fm (0) = m
m + n+ = Fm (n+) = [ Fm (n)]+ = ( m + n )+.
Em particular para cada número natural n, o sucessor imediato 𝐧+ de 𝐧 é igual a

𝐧+ = 𝐧 + 𝟏 lembrando que, por definição, 𝟏 = 𝟎+ .
TEOREMA 1.9.1 PROPRIEDADES DA OPERAÇÃO DE ADIÇÃO
(a) Para cada número natural n, n+ = 1 + n em que o número natural 1 é definido

como 0+.
(b) Para cada número natural n, 0 + n = n .
(c) Lei associativa da operação de adição: dados os números naturais m , n e k
( m + n ) + k = m + ( n + k) .
(d) Lei comutativa da operação de adição: dados os números naturais m e n,
m + n = n + m.
47
Prova de (a)
Seja A = { n ∈ ℕ : n+ = 1 + n }. Então 0 ∈ A porque 0+ = 1 = 1 + 0, lembrando que

para cada número natural m, m + 0 = m. Se n ∈ A então, pela definição de A,
n+ = 1 + n
e 1 + n+ = (1 + n)+ = (n+)+,
o que demonstra que n+ ∈ A. Pelo princípio da indução matemática, A = ℕ e a prova de (a)

está completa.
Prova de (b)
Seja A = { n ∈ ℕ : 0 + n = n }. Então 0 ∈ A porque 0 + 0 = 0, lembrando que para

cada número natural m, m + 0 = m. Se n ∈ A então, pela definição de A,
0+n=n
e 0 + n+ = (0 + n)+ = n+,
o que demonstra que n+ ∈ A. Pelo princípio da indução matemática, A = ℕ e a prova de (b)

está completa.
Prova de (c)
Fixados os números naturais m e n nesta ordem, seja
Amn = { k ∈ ℕ : ( m + n ) + k = m + ( n + k) }.
Então 0 ∈ Amn porque ( m + n ) + 0 = m + n = m + ( n + 0), lembrando que para cada
número natural m, m + 0 = m. Se k ∈ Amn então, pela definição de Amn ,
( m + n ) + k = m + ( n + k)
( m + n ) + k+ = [( m + n ) + k]+ = [m + ( n + k)]+ = m + ( n + k)+ = m + ( n + k+) ,

o que demonstra que k+ ∈ Amn . Pelo princípio da indução matemática, Amn = ℕ e a prova
de (c) está completa.
Prova de (d)
Fixado o número natural m, seja Am = { n ∈ ℕ : m + n = n + m } Então 0 ∈ Am

porque m + 0 = m = 0 + m, lembrando que para cada número natural m, m + 0 = m e
pelo item (b) 0 + m = m. Se n ∈ Am então, pela definição de Am .
m+n=n+m
m + n+ = (m + n)+ = (definição de adição de números naturais)
= (n + m)+ = (utilizando a igualdade anterior)
= 1 + (n + m) = (item (a))
= (1 + n) + m = (associatividade da operação de adição
= n+ + m ( item (a))
o que demonstra que n+ ∈ Am . Pelo princípio da indução matemática, Am = ℕ e a prova de

(d) está completa.
1.10 A OPERAÇÃO DE MULTIPLICAÇÃO NO CONJUNTO ℕ

DOS NÚMEROS NATURAIS VIA TEOREMA DA RECURSÃO.
Seja m um número natural e seja a função g m definida para todos os números

naturais com valores naturais: para cada número natural n, g m (n) = n + m.
49
O teorema da recursão garante a existência e a unicidade de uma função Gm definida

para todos os números naturais com valores naturais com as propriedades Gm (0) = 0 e para
cada número natural n, Gm (n+) = g m ( Gm (n))
A operação de multiplicação para números naturais é definida como segue: dados

números naturais m e n, a operação de multiplicação associa ao par ordenado ( m , n ) o
produto mn dos fatores naturais m e n nesta ordem definido como o número natural Gm (n).
Em outros termos, 𝐦𝟎 = Gm (𝟎) = 𝟎 e para cada número natural n
Gm (𝐧+ ) = g m [Gm (𝐧)] = 𝐦𝐧 + 𝐦
ou seja, por definição
𝐦𝐧+ = G𝐦 (𝐧) + 𝐦 = 𝐦𝐧 + 𝐦
TEOREMA 1.10.1 PROPRIEDADES DA OPERAÇÃO DE MULTIPLICAÇÃO.
(a) Para cada número natural n, 0n = 0.
(b) Para cada número natural n, 1n = n.
(c) Leis distributivas da operação de multiplicação em relação a operação de adição:

dados os números naturais m , n e k,
c1) m( n + k) = ( mn + mk )
c2) ( n + k)m = nm + km
(d) Lei associativa da operação de multiplicação: dados os números naturais m, n e k,
(mn)k = m(nk)
(e) Lei comutativa da operação de multiplicação: dados os números naturais m e n,
mn = nm
Prova de (a)
Seja A = { n ∈ N : 0n = 0}. Então 0 ∈ A porque 0∙0 = 0 lembrando que para cada

número natural n, n0 = 0. Se n ∈ A então pela definição de A, 0n = 0 e por definição
0n+ = 0n + 0 = 0n = 0
o que mostra que n+∈ A . Pelo princípio da indução matemática, A = ℕ e a prova está
completa.
Prova de (b)
Seja A = { n ∈ N : 1n = n}. Então 0 ∈ A porque 1∙0 = 0 lembrando que para cada

número natural n, n0 = 0. Se n ∈ A então pela definição de A, 1n = n e por definição
1n+ = 1n + 1 = n + 1 = n+ ,
o que mostra que n+∈ A . Pelo princípio da indução matemática, A = ℕ e a prova de (b) está
completa.
Prova de (c1)
Amn = { k ∈ N : m( n + k) = mn + mk }
Então 0 ∈ Amn porque m( n + 0) = mn = mn + m0 lembrando que para cada
número natural m, m + 0 = m e m0 = 0. Se k ∈ Amn então, pela definição de Amn ,
m( n + k) = mn + mk
m( n + k+) = m( n + k)+ definição de adição
= m( n + k) + m definição de multiplicação
= ( mn + mk ) + m definição de A
= mn + (mk + m) associatividade da adição
= mn + mk+ definição de multiplicação
o que demonstra que k+ ∈ Amn . Pelo princípio da indução matemática, Amn = ℕ e a prova
de (c1) está completa.
A prova de c2 é análoga.
51
Prova de (d)
Amn = { k ∈ N : (mn)k = m(nk) }
Então 0 ∈ Amn porque (mn)0 = 0 = m(n0) , lembrando que para cada número natural m ,
m0 = 0. Se k ∈ Amn então, pela definição de Amn ,
(mn)k = m(nk)
(mn)k+ = (mn)k +mn definição de multiplicação
= m(nk) +mn definição de A
= m (nk +n) distributividade da multiplicação
= m(nk+) definição de multiplicação
Prova de (e)
Fixado o número natural m, seja Am = { n ∈ N : mn = nm }, então 0 ∈ Am porque

m0 = 0 = 0m, lembrando que para cada número natural m, m0 = 0 e 0m = 0. Se n ∈ Am então,
pela definição de Am .
mn = nm
mn+ = m(n + 1 ) = mn + m = nm + m = (n + 1 )m = n+m
o que mostra que n+ ∈ Am . Pelo princípio da indução matemática, Am = ℕ e a prova de (e)

está completa.
1.11 A RELAÇÃO NATURAL DE ORDEM NO CONJUNTO

ℕ = { 𝟎 , 𝟏 , 𝟐 , … } DOS NÚMEROS NATURAIS
Dados números naturais m e n o significado de 𝐦 ≤ 𝐧 (leia m é menor ou igual a n

ou n é maior ou igual a m) é que:
m = n ou m ∈ n.
A relação binária R ≤ em ℕ = { 0 , 1 , 2 , ... } definida por
𝐑 ≤ = {(𝐦, 𝐧): 𝐦 ≤ 𝐧 }
é uma relação de ordem total em ℕ ou seja R ≤ tem as propriedades:
Reflexiva: para cada número natural n, n ≤ n (verificação imediata)
Antissimétrica: dados os números naturais m e n, se 𝐦 ≤ 𝐧 e se n ≤ m então m = n

( se 𝐦 ≤ 𝐧 e se n ≤ m então m = n ou m ∈ n e n ∈ m e neste caso m ⊂ n e n ⊂ m o que
implica novamente que m = n)
Transitiva: dados os números naturais m, n e p, se 𝐦 ≤ 𝐧 e se n ≤ p então m ≤ p
Prova da propriedade transitiva
Com as hipóteses de que 𝐦 ≤ 𝐧 e n ≤ p, há quatro possibilidades a considerar:
(i) m ∈ n e n ∈ p o que resulta m ∈ n e n ⊂ p e que m ∈ p

(ii) m ∈ n e n = p o que resulta m ∈ p
(iii) m = n e n ∈ p o que resulta m ∈ p
(iv) m = n e n = p o que resulta m = p
Em todos os casos, m ≤ p.
TEOREMA 1.11.1 Dados os números naturais m e n, se 𝐦 ≤ 𝐧 então existe um único

número natural d tal que n = m + d.
Prova
Se 𝐦 ≤ 𝐧 então ou m = n e neste caso d = 0 ou m ∈ n e m < n o que implica que

m+ ≤ 𝐧. Se m+ ≤ 𝐧 então ou m+ = m + 1 = n e neste caso d = 1 ou m+ ∈ n o que implica que
m+ < n. Se m+ < n então (m + 1)+ ≤ 𝐧. Se (m + 1)+ ≤ 𝐧 então ou (m + 1)+ = m + 1+ = m + 2
= n e neste caso d = 2 ou (m + 1)+ = m + 2 < n. Continuando o processo um número finito de
53
vezes porque n é um conjunto finito, está provado que se 𝐦 ≤ 𝐧 então existe um único número
natural d tal que n = m + d.
TEOREMA 1.11.2 A LEI DA TRICOTOMIA
Dados os números naturais m e n, uma e somente uma das afirmações é verdadeira

(1) m < n (2) m = n (3) m > n
Prova
Idêntica à demonstração da lei da tricotomia ( teorema 1.6.5).
As propriedades contidas no teorema seguinte são de verificação imediata.
TEOREMA 1.11.3 Dados os números naturais m, n e p então
(a) Se m = n então m + p = n + p e mp = np
(b) Se m < p então m + n < p + n
(c) Se m < p e se n ≠ 0 então mn < pn
(d) Se m + p < n + p ou se mp < np então m < n
(e) Lei do cancelamento da operação de adição: Se m + n = m + p então n = p
(f) Lei do cancelamento da operação de multiplicação: Se mn = pn e se n ≠ 0

então m = p.
TEOREMA 1.11.4 A LEI DA INTEGRIDADE DO CONJUNTO DOS NÚMEROS

NATURAIS.
Dados os números naturais m e n , se mn = 0 então ou m = 0 ou n = 0.
Prova
Se m é um número natural diferente de zero então como mn = m0 pela lei do

cancelamento da operação de multiplicação n = 0 .
TEOREMA 1.11.5 Para cada número natural n, 𝟎 ≤ 𝐧
Prova
Seja A = { n ∈ N : 𝟎 ≤ 𝐧 }. Então 0 ∈ A porque 0 ≤ 0 pela propriedade reflexiva da

relação de ordem. Se n ∈ A então pela definição de A, 0 ≤ n e de n ∈ n+ segue que n ≤ n+;
pela propriedade transitiva da relação de ordem, 0 ≤ n+. Pelo princípio da indução
matemática, A = ℕ e o teorema está provado.
TEOREMA 1.11.6 Dados os números naturais m e n, se n < m ( o que significa que n é

menor ou igual a m e n é diferente de m) então n+ ≤ m.
Prova
Fixado o número natural m, seja Am = { n ∈ ℕ : m < n ⇒ m+ ≤ n }. Então 0 ∈ Am

porque 0 ∉ Am é equivalente a dizer que m < 0 e que m+ não é menor ou igual a 0, o que é
uma contradição: m < 0 significa que m ∈ 0 mas 0 é o conjunto vazio. Se n ∈ Am então, pela
definição de Am , m < n implica m+ ≤ n. Se m < n+ então m ∈ n+, ou seja m ∈ n ou m =
n; caso ocorra a igualdade m+ = n+ e no caso m ∈ n segue que m < n, e então m+ ≤ n < n+.
Pelo princípio da indução matemática Am = ℕ e o teorema está provado.
Para cada enumeração do conjunto dos números naturais existe uma relação de ordem
total no conjunto dos números naturais associada à enumeração dada, no sentido que m < n
tem o significado de que m precede n na enumeração considerada. Por exemplo na
enumeração 2 , 4 , 6 , 8 , ... , 0 , .... , 11 , 9 , 7 , 5 , 3 , 1 , o número natural 8 é menor do que o
número natural 3.
TEOREMA 1.11.7 PRINCÍPIO DA BOA ORDENAÇÃO
Seja A um subconjunto não vazio do conjunto ℕ = { 𝟎 , 𝟏 , 𝟐 , … } dos números

naturais. Então existe em A o elemento mínimo no sentido de que existe um elemento m ∈ A
tal que para todo elemento a ∈ A, m ≤ a.
Prova
55
Admitindo-se a existência de um subconjunto não vazio A do conjunto dos números

naturais que não admite a existência do elemento mínimo, seja
B = { 𝐧 ∈ ℕ = { 𝟎 , 𝟏 , 𝟐 , … }: 𝐧 ≤ 𝐚 ∀ 𝐚 ∈ A}
Então A e B são subconjuntos disjuntos do conjunto dos números naturais e 0 ∈ B

porque 𝟎 ≤ 𝐧 para todo número natural n; se n ∈ B , por definição de B, 𝐧 ≤ 𝐚 ∀ a ∈ A e
n ∉ A por hipótese (n ∈ A significa que n é o elemento mínimo de A). Portanto, 𝐧 < 𝐚 ∀ 𝐚 ∈
A e em consequência 𝐧+ ≤ 𝐚 ∀ 𝐚 ∈ A mas 𝐧+ ∉ A (𝐧+ ∈ A significa que n+ é o elemento
mínimo de A). Assim, se n ∈ B então 𝐧+ ∈ B. Pelo princípio da indução matemática, B = ℕ e
B ∩ A = ∅. Assim A = ∅ o que é uma contradição pois A é não vazio por hipótese. O princípio
da boa ordenação para o conjunto ℕ dos números naturais está provado.
1.12 RELAÇÃO DE DIVISIBILIDADE NO CONJUNTO ℕ DOS

NÚMEROS NATURAIS:
O número natural n é um múltiplo do número natural m, indicado pelo símbolo m│n,
quando e somente quando o número natural n for o número natural produto do número natural
m por algum outro número natural ou, equivalentemente, o número natural m é um divisor
natural do número n quando e somente quando existir um número natural p de modo que n é
o número natural produto dos fatores m e p, isto é, n = mp
A relação de divisibilidade Rd no conjunto dos números naturais é definida por:
Rd = { ( n , m ) : ∃ p ∈ N: n = mp }
A relação de divisibilidade Rd definida em ℕ x ℕ é uma relação binária de ordem
parcial no conjunto dos números naturais por possuir as propriedades reflexiva, antissimétrica
e transitiva e de modo algum é compatível com as operações de adição e de multiplicação no
conjunto ℕ dos números naturais.
A relação de divisibilidade Rd é uma relação binária reflexiva porque para cada número
natural n n│n em vista de que 1n = n.
A relação de divisibilidade Rd é uma relação binária antissimétrica porque dados os
números naturais m e n, se m│n e se n│m então m = n.
A relação de divisibilidade Rd é uma relação binária transitiva porque dados os
números naturais m, n e p , se m│n e se n│p , então m│p.
Os números naturais primos são os números naturais p cujos únicos divisores são 1 e
p. Os números naturais primos são os átomos na relação de divisibilidade devido ao teorema
fundamental da aritmética abaixo.
TEOREMA 1.12.1 TEOREMA FUNDAMENTAL DA ARITMÉTICA

Todo número natural n maior ou igual a 2 é produto de números primos não
necessariamente distintos entre n, ou seja, existe um número natural r e números primos p1,
p2, ... , pr e números primos e1, e2, ... , er , tais que
p1 < p2 < ... < pr

n = p1e1 p2e2 ... prer
Prova
A demonstração do teorema fundamental da aritmética é baseada no princípio da
indução matemática completa.
Seja A o subconjunto dos números naturais n de modo que n + 1 é produto de números
naturais primos não necessariamente distintos.
Então
(i) 1 ∈ A porque 1 + 1 = 2 é um número natural primo.
(ii) se 1 , 2 , ... , n ∈ A então n + 1 ∈ A porque ou n + 2 é um número primo e a
demonstração está completa ou n + 2 é um número composto no sentido de que existem
números naturais a e b com
n + 2 = ab
e com
a , b ∈ { 2 , 3 , ... , n + 1}
Pela hipótese de indução, a e b são produtos de números naturais primos não
necessariamente distintos e n + 2 = ab , então também é produto de números naturais primos
não necessariamente distintos.
57
TEOREMA 1.12.2 PROPRIEDADE ARQUIMEDIANA DO CONJUNTO DOS

NÚMEROS NATURAIS.
Dados os números naturais m e n , existe um número natural k tal que km ≥ n e
( k + 1) um número natural tal que (k + 1)m > n.
Prova
Admitindo-se que, para cada número natural l ∈ { 1 , 2 , 3 , ... } lm < n , o
subconjunto A do conjunto dos números naturais constituído pela totalidade dos
números naturais k tal que k > lm é não vazio pois n ∈ A e, pelo princípio da boa
ordenação, admite um mínimo n0 ∈ A e de n0 > lm para cada número natural e segue
que n0 > m e que n0 – m ∉ A .
O que significa que existe um número natural l0 tal que n0 – m < l0m ou
n0 < (l0 + 1), o que é uma contradição ( n0 > lm para cada número natural l ). Portanto,
existe um número natural k tal que km ≥ n e existe um número natural k + 1 tal que
(k + 1)m > km ≥ n.
59
2. O CONJUNTO ℤ DOS NÚMEROS INTEIROS .
O conjunto ℤ dos números inteiros é construído a partir do conjunto ℕ = { 0, 1, 2, 3,

4, 5, 6, 7, 8, ...} dos números naturais.
O que é um número inteiro? Números inteiros são subconjuntos não vazios do produto
cartesiano ℕ x ℕ, isto é, números inteiros são conjuntos cujos elementos são pares ordenados
de números naturais. Para ser mais preciso, números inteiros são classes de equivalência de
uma relação binária de equivalência específica definida no conjunto ℕ x ℕ (uma relação
binária no produto cartesiano ℕ x ℕ é um subconjunto ( ℕ x ℕ ) x ( ℕ x ℕ ) e uma relação
binária de equivalência é uma relação binária reflexiva, simétrica e transitiva).
A relação binária de equivalência (R) sobre o conjunto ℕ x ℕ, cujas classes de
equivalência são números inteiros, é definida por:
R= {((a , b) , (c , d)) : a , b , c , d ∈ ℕ : a + d = b + c } ⊂ ( ℕ x ℕ ) x ( ℕ x ℕ ).
em que a operação de adição na definição de relação binária é a operação de adição números

naturais.
A relação binária R no conjunto ℕ x ℕ é de fato uma relação de equivalência, por ser

uma relação binária reflexiva, simétrica e transitiva no conjunto ℕ x ℕ.
Os números inteiros são então definidos a seguir.
O número inteiro 0 é a classe de equivalência segundo R do elemento
( 0 , 0 ) ∈ ℕ x ℕ, ou seja:
0 = { (n , m ) ∈ ℕ x ℕ : (( n , m ) , ( 0 , 0 )) ∈ R }
= { (n , m ) ∈ ℕ x ℕ : n + 0 = m + 0 }
= {( n , n ) : n ∈ ℕ }
= { ( 0 , 0 ) , ( 1 , 1 ) , ( 2 , 2 ) , ( 3 , 3 ) , ... }.

( 1 , 0 ) ∈ ℕ x ℕ, ou seja:
1 = { (n , m ) ∈ ℕ x ℕ : (( n , m ) , ( 1 , 0 )) ∈ R }
60 O conjunto Z dos números inteiros
= { (n , m ) ∈ ℕ x ℕ : n + 0 = m + 1 }
= {( n + 1, n ) : n ∈ ℕ }
= { ( 1 , 0 ) ; ( 2 , 1 ) ; ( 3 , 2 ) ; ( 4 , 3 ) , ... }
O número inteiro – 1 é a classe de equivalência segundo R do elemento

( 0 , 1 ) ∈ ℕ x ℕ , ou seja:
– 1= { (n , m ) ∈ ℕ x ℕ : (( n , m ) , ( 0 , 1 )) ∈ R }
= { (n , m ) ∈ ℕ x ℕ : n + 1 = m + 0 }
= {( n , n + 1 ) : n ∈ ℕ }
= { ( 0 , 1 ) ; ( 1 , 2 ) ; ( 2 , 3 ) ; ( 3 , 4 ) , ... }

( 2 , 0 ) ∈ ℕ x ℕ, ou seja:
2 = { (n , m ) ∈ ℕ x ℕ : (( n , m ) , ( 2 , 0 )) ∈ R }
= { (n , m ) ∈ ℕ x ℕ : n + 0 = m + 2 }
= {( n + 2, n ) : n ∈ ℕ }
= { ( 2 , 0 ) ; ( 3 , 1 ) ; ( 4 , 2 ) ; ( 5 , 3 ) , ... }.
Desse modo, o número inteiro – 2 é a classe de equivalência segundo R do

elemento ( 0 , 2 ) ∈ ℕ x ℕ , ou seja:
– 2 = { (n , m ) ∈ ℕ x ℕ : (( n , m ) , ( 0 , 2 )) ∈ R }
= { (n , m ) ∈ ℕ x ℕ : n + 2 = m + 0 }
= {( n , n + 2 ) : n ∈ ℕ }
= { ( 0 , 2 ) ; ( 1 , 3 ) ; ( 2 , 4 ) ; ( 3 , 5 ) , ... }.
Generalizando, para cada número inteiro m em que um dos representantes segundo R

é o par ordenado de números naturais ( a , b ) , o número inteiro – m é definido como a classe
de equivalência segundo R do par ordenado de números naturais ( b , a ). A definição é
independente do representante segundo R escolhido para o número inteiro.
61
2.1 A OPERAÇÃO DE ADIÇÃO NO CONJUNTO ℤ DOS

NÚMEROS INTEIROS.
Dados dois números inteiros m1 e m2 , cujos representantes são: ( a1 , b1) e ( a2 , b2 )

em que a1 , b1, a2 , b2 ∈ N, respectivamente, o número inteiro m1 + m2, soma das parcelas m1 e
m2, é o número inteiro, que é uma classe de equivalência segundo R, cujo representante é o
par ordenado ( a1 + a2 , b1 + b2 ) pertencente a ℕ x ℕ. Em que a operação de adição em cada
elemento do par ordenado é a operação de adição de números naturais.
A definição da soma m1 + m2 de dois números inteiros m1 e m2 é independente da
escolha dos representantes dos números inteiros m1 e m2.
De fato, se ( a1 , b1) e ( c1 , d1 ) são representantes do número inteiro m1 e se ( a2 , b2)
e ( c2 , d2 ) são representantes do número inteiro m2.
( a1 + a2 , b1 + b2 ) , ( c1 + c2 , d1 + d2 ) ∈ R
tendo em vista que:
( a1 + a2 ) + ( d1 + d2 ) = ( b1 + b2 , c1 + c2 )
pois, por hipótese:
(( a1 , b1) , ( c1 , d1 )) ∈ R , ou equivalentemente a1 + d1 = b1 + c1
ou
(( a2 , b2) , ( c2 , d2 )) ∈ R , ou equivalentemente a2 + d2 = b2 + c2 .
Em conclusão, o número inteiro m1 + m2 soma de dois números inteiros m1 e m2 está

bem definido.

Dados os números inteiros m1, m2 e m3, então (m1 + m2) + m3 = m1 + (m2 + m3)
Prova
Sejam os pares ordenados de números naturais ( a1 , b1), ( a2 , b2) e ( a3 , b3)
representantes dos números inteiros m1, m2 e m3 respectivamente. Então um dos
representantes dos números inteiros m1 + m2 e m2 + m3 são respectivamente os pares

ordenados dos números naturais ( a1 + a2 , b1 + b2 ) e ( a2 + a3 , b2 + b3 ) ; e um dos
representantes dos números inteiros (m1 + m2) + m3 e m1 + (m2 + m3) são respectivamente os
pares ordenados dos números naturais
( ( a1 + a2) + a3 , (b1 + b2 ) + b3 ) e ( a1 + ( a2 + a3 ) , b1 + ( b2 + b3 ))
e estes pares ordenados de números naturais são iguais pela associatividade da operação de
adição de números naturais.
A prova da associatividade da operação de adição de números inteiros está completa.

Dados os números inteiros m1, m2 então m1 + m2 = m2 + m1
Prova
Sejam os pares ordenados de números naturais ( a1 , b1) e ( a2 , b2) representantes dos
números inteiros m1 e m2 respectivamente. Então um dos representantes dos números inteiros
m1 + m2 e m2 + m1 são respectivamente os pares ordenados dos números naturais ( a1 + a2 ,
b1 + b2 ) e ( a2 + a1 , b2 + b1 ) ; e estes pares ordenados de números naturais são iguais pela
comutatividade da operação de adição de números naturais.
A prova da comutatividade da operação de adição de números inteiros está completa.
TEOREMA 2.1.3 EXISTÊNCIA DO ELEMENTO NEUTRO DA OPERAÇÃO DE

ADIÇÃO.
Para cada número inteiro m , m + 0 = m.
Prova
Seja o par ordenado de números naturais ( a , b ) um dos representantes segundo R
do número inteiro m e seja ( 0 , 0 ) um dos representantes segundo R do número inteiro
zero. Então
(a+0,b+0)=(a,b)
O par ordenado de números naturais ( a + 0 , b + 0 ) é um dos representantes do número
inteiro m + 0 e o par ordenado de números naturais ( a , b ) é um dos representantes do
número inteiro m. Portanto, m + 0 = m.
63
TEOREMA 2.1.4 EXISTÊNCIA DO ELEMENTO INVERSO ADITIVO OU

ELEMENTO SIMÉTRICO DA OPERAÇÃO DE ADIÇÃO.
Para cada número inteiro m , o número inteiro soma das parcelas inteiras m e – m é
igual ao número inteiro 0.
Prova
Seja o par ordenado ( a , b ) de números naturais um representante segundo R do
número inteiro m. Então o par ordenado ( b , a ) de números naturais é um dos representantes
segundo R do número inteiro – m porque o par ordenado de números naturais ( a + b , a + b )
= ( a , b ) + ( b , a ) é um dos representantes segundo R do número inteiro soma das parcelas
inteiras m + ( – m ) e é também um dos representantes segundo R do número inteiro 0. Portanto
m + ( – m ) = – m + m = 0.
2.2 A OPERAÇÃO DE MULTIPLICAÇÃO NO CONJUNTO ℤ DOS

NÚMEROS INTEIROS.
Dados dois números inteiros m1 e m2 que são classes de equivalência segundo R, cujos
representantes são os pares ordenados de números naturais ( a1 , b1 ) e ( a2 , b2 )
respectivamente, o número inteiro m1 ∙ m2 produto dos fatores inteiros m1 e m2 é a classe de
equivalência segundo R cujo representante é o par ordenado de números naturais:
( a1a2 + b1b2 , a1b2 + b1a2 )
em que as operações de adição e multiplicação são relativas a números naturais.
A definição do número inteiro produto m1 ∙ m2 dos números inteiros m1 e m2 é

independente da escolha dos representantes dos números inteiros m1 e m2 que são classes de
equivalência segundo R.
De fato, sejam os pares ordenados ( a1 , b1 ) e ( c1 , d1 ) de números naturais
representantes do número inteiro m1 e sejam os pares ordenados ( a2 , b2 ) e ( c2 , d2 ) de
números naturais representantes do número inteiro m2; como
{( a1 , b1 ) ; ( c1 , d1 )} ∈ R , isto é, a1 + d1 = b1 + c1
e como
{( a2 , b2 ) ; ( c2 , d2 )} ∈ R , isto é, a2 + d2 = b2 + c2
logo
{( a1a2 + b1b2 , a1b2 + b1a2 ) ; ( c1c2 + d1d2 , c1d2 + d1c2 )}
são elementos de R, pois
a1a2 + b1b2 + c1d2 + d1c2 = a1b2 + b1a2 + c1c2 + d1d2
em vista de que:
( a1 + d1 ) ( a2 + d2 ) = ( b1 + c1 ) ( b2 + c2 )
( a1 + d1 ) ( b2 + c2 ) = a1 + b2 + a1 + c2 .

MULTIPLICAÇÃO.
Dados os números inteiros m1, m2 e m3, então (m1m2)m3 = m1(m2m3)
Prova
representantes dos números inteiros m1m2 e m2m3 são respectivamente os pares ordenados
dos números naturais ( a1a2 + b1b2 , a1b2 + a2b1 ) e ( a2a3 + b2b3 , a2b3 + a3b2 ); e um dos
representantes dos números inteiros (m1m2)m3 e m1(m2m3) são respectivamente os pares
ordenados dos números naturais
( ( a1a2 + b1b2)a3 + (a1b2 + a2b1)b3 , ( a1a2 + b1b2)b3 + a3(a1b2 + a2b1))
e ( a1(a2a3 + b2b3) + b1(a2b3 + a3b2) , a1(a2b3 + a3b2) + (a2b3 + a3b2)b1)
e estes pares ordenados de números naturais são iguais pelas propriedades das operações de
adição e de multiplicação de números naturais.
A prova da associatividade da operação de multiplicação de números inteiros está
completa.

MULTIPLICAÇÃO.
Dados os números inteiros m1, m2 então m1m2 = m2m1
Prova
65
Sejam os pares ordenados de números naturais ( a1 , b1) e ( a2 , b2) representantes dos

números inteiros m1 e m2 respectivamente. Então um dos representantes dos números inteiros
m1m2 e m2m1 são respectivamente os pares ordenados dos números naturais ( a1a2 + b1b2 ,
a1b2 + a2b1 ) e ( a2a1 + b2b1 , a2b1 + a1b2 ); e estes pares ordenados de números naturais são
iguais pela comutatividade das operações de adição e de multiplicação de números naturais.
A prova da comutatividade da operação de multiplicação de números inteiros está
completa.

MULTIPLICAÇÃO.
Para cada número inteiro m , 1m = m.
Prova
Seja ( a , b ) um dos representantes segundo R do número inteiro m e seja o par
ordenado de números naturais ( 1 , 0 ) um dos representantes segundo R do número inteiro
um. Então o par ordenado de números naturais ( a , b ) é um dos representantes segundo R do
número inteiro produto dos fatores inteiros 1 e m e é também um dos representantes segundo
R do número inteiro m. Portanto 1m = m.

MULTIPLICAÇÃO EM RELAÇÃO À OPERAÇÃO DE ADIÇÃO.
Dados os números inteiros m1, m2 e m3, então (m1 + m2)m3 = m1m3 + m2m3
Prova
representantes dos números inteiros ( m1 + m2 ) , ( m1 + m2 )m3 , m1m3 , m2m3 e (
m1m3 + m2m3 ) são respectivamente os pares ordenados dos números naturais :
( a1 + a2 , b1 + b2 )
(( a1 + a2 )a3 + ( b1 + b2 )b3 , (a1 + a2)b3 + ( b1 + b2 )a3 )
( a1a3 + b1b3 , a1b3 + a3b1 )
( a2a3 + b2b3 , a2b3 + a3b2 )
((a1a3 + b1b3) + (a2a3 + b2b3) , (a1b3 + a3b1) + (a2b3 + a3b2))
Um dos representantes do número inteiro (m1 + m2)m3 é igual a um dos representantes do
número inteiro ( m1m3 + m2m3 ) e assim (m1 + m2)m3 = m1m3 + m2m3.
A prova da distributividade da operação de multiplicação em relação à operação de

adição de números inteiros está completa.
2.3 A OPERAÇÃO DE SUBTRAÇÃO NO CONJUNTO ℤ DOS

NÚMEROS INTEIROS.
Dados dois números m1 e m2 que são classes de equivalência segundo R, cujos

representantes são os pares ordenados de números naturais ( a1 , b1 ) e ( a2 , b2 )
respectivamente, o número inteiro m1 – m2 diferença dos números inteiros m1 e m2 é o número
inteiro, que é uma classe de equivalência segundo R cujo representante é o par ordenado de
números naturais
( a1 + b2 , a2 + b1 )
em que a operação de adição é referente a números naturais.
A definição do número inteiro diferença m1 – m2 do número inteiro subtraendo m1 e

do número inteiro minuendo m2 é independente da escolha dos representantes dos números
inteiros m1 e m2.
De fato, sejam os pares ordenados ( a1 , b1 ) e ( c1 , d1 ) de números naturais
representantes do número inteiro m1 e sejam os pares ordenados ( a2 , b2 ) e ( c2 , d2 ) de
números naturais representantes do número inteiro m2; como:
{( a1 , b1 ) ; ( c1 , d1 )} ∈ R , isto é, a1 + d1 = b1 + c1
e como
{( a2 , b2 ) ; ( c2 , d2 )} ∈ R, isto é, a2 + d2 = b2 + c2
logo
{( a1 + b2 , a2 + b1 ) ; ( c1 + d2 , c2 + d1 )} ∈ R
visto que
( a1 + b2 ) + ( c2 + d1 ) = ( a2 + b1 ) + ( c1 + d2 )
PROPRIEDADE: Dados os números inteiros m1 e m2 , m1 – m2 = m1 + (– m2 ) .

67
2.4 RELAÇÃO DE DIVISIBILIDADE NO CONJUNTO ℤ DOS

NÚMEROS INTEIROS.
O número inteiro n é um múltiplo do número inteiro m, indicado pelo símbolo m│n,

quando e somente quando o número natural n é o número inteiro produto do número inteiro
m por algum outro número inteiro ou equivalentemente, o número inteiro m é um divisor
inteiro do número n quando e somente quando existir um número inteiro p de modo que n é
o número inteiro produto dos fatores m e p, isto é:
n = mp
A relação de divisibilidade Rd definida em ℤ x ℤ não é uma relação de ordem parcial

entre números inteiros por possuir apenas as propriedades reflexiva e transitiva; a propriedade
antissimétrica não é válida em Rd pois se m│n e m│n então n = ± m.
A relação de divisibilidade Rd entre números inteiros não é compatível com as
operações de adição e de multiplicação no conjunto ℤ dos números inteiros.
Por exemplo:
2│10
4│12
não implica nem que ( 2 + 4 ) é um divisor de ( 10 + 12 ) e nem que ( 2 ∙ 4 ) é um divisor de
( 10 ∙ 12 ) .
2.5 A RELAÇÃO NATURAL DE ORDEM NO CONJUNTO ℤ

DOS NÚMEROS INTEIROS.
Seja ℙ o subconjunto dos números inteiros que são classes de equivalência segundo R
dos pares ordenados de números naturais em que o primeiro elemento do par ordenado é um
número natural diferente de zero e o segundo elemento do par ordenado é o número natural
zero.
O subconjunto ℙ dos números inteiros é um subconjunto fechado em relação as
operações de adição e de multiplicação de números inteiros no sentido de que: se m ∈ ℙ e se
n ∈ ℙ então ( m + n ) ∈ ℙ e mn ∈ ℙ .
O número inteiro m é menor do que o número inteiro n indicado pela notação m < n
ou o número inteiro n é maior do que o número inteiro m indicado pela notação n > m quando
e somente quando existe um número inteiro p pertencente ao subconjunto ℙ tal que:
n=m+p
Em particular, o número inteiro zero é menor do que qualquer número inteiro

pertencente ao subconjunto ℙ de números inteiros.
A sentença m ≤ n ou n ≥ m em que m e n são números inteiros significa que ou m é
igual a n ( indicado pelo símbolo m = n ) ou que o número inteiro m é menor do que o número
inteiro n.
A relação canônica de desigualdade entre números inteiros é a relação binária de ordem
total R≤ ⊂ ℤ x ℤ definida em ℤ x ℤ por :
R≤ = { ( m , n ) ∈ ℤ x ℤ : m ≤ n }
De fato, R≤ é uma relação binária de ordem total no conjunto ℤ dos números inteiros
pois satisfaz as propriedades reflexiva, antissimétrica e transitiva.
O conjunto ℤ dos números inteiros é união disjunta do conjunto ℙ , do conjunto
unitário cujo único elemento é o número inteiro zero e do conjunto – ℙ em que
–ℙ={n∈ℤ:–n∈ℙ}
TEOREMA 2.5.1 LEI DA TRICOTOMIA PARA O CONJUNTO DOS NÚMEROS

INTEIROS.
Dados dois números inteiros m e n , uma e somente uma das afirmações é verdadeira:
(1) m = n (2) m < n (3) m > n.
Prova
Dados os números inteiros m e n , ou m – n = 0 ou m – n ∈ – ℙ ou m – n ∈ ℙ .
Se m – n = 0 então m = n .
Se m – n ∈ – ℙ então por definição m < n.
Se m – n ∈ ℙ então por definição m > n.
69
A relação de ordem total R≤ sobre o conjunto dos números inteiros é uma relação
binária R≤ sobre ℤ com as propriedades: reflexiva, antissimétrica e transitiva, e é definida
também da seguinte maneira:
Sejam m, n ∈ ℤ e ( a , b ) e ( c , d ) ∈ ℕ x ℕ, representantes de m e n respectivamente,
tomados em suas respectivas classes de equivalência. Por definição,
( m , n ) ∈ R≤ ou m R≤ n quando e somente quando a + d ≤ b + c.
A definição da relação de ordem em ℤ é independente dos representantes da classe de

equivalência de m e dos representantes da classe de equivalência de n.
TEOREMA 2.5.2 COMPATIBILIDADE DA RELAÇÃO DE ORDEM COM A

OPERAÇÃO DE ADIÇÃO.
Dados os números inteiros m . n , p e q.
(i) Se m < n então m + p < n + p
(ii) Se m < n e se n < p então m < p .
(iii) Se m < n e se p < q então m + p < n + q .
(iv) Se m < n e se p > 0 então mp < np .
(v) Se m < n e se p < 0 então mp > np .
(vi) Se m + p < n + p então m < n .
(vii) Se mp < np e se p > 0 então m < n .
(viii) Se mp < np e se p < 0 então m > n .
Faremos as provas de (vi) e (vii).

Prova de (vi)
m = m + 0 = m + ( p + ( – p )) = (m + p) + ( – p ) < ( n + p ) + ( – p ) = n (pela hipótese
e pelo item (i)).
Prova de (vii)
Admitindo n < m e como p > 0 , np < mp pelo item (iv) o que contradiz a hipótese
mp < np. Admitindo m = n segue que mp = np o que contradiz a hipótese mp < np. Pela lei
da tricotomia para o conjunto dos números inteiros resta a alternativa m < n.
TEOREMA 2.5.3 LEIS DO CANCELAMENTO PARA AS OPERAÇÕES

BINÁRIAS DE ADIÇÃO E DE MULTIPLICAÇÃO NO CONJUNTO ℤ DOS
NÚMEROS INTEIROS.
Dados os números inteiros m , n e p.

(i) Se m + p = n + p então m = n.
(ii) Se mp = np e se p ≠ 0 então m = n.
Prova de (i)
A prova de (i) é obtida adicionando – p a ambos os membros da equação
m+p=n+p
Prova de (ii)
Sem perda de generalidade, admitindo que m < n, duas situações ocorrem: ou p > 0
ou p < 0. Caso p > 0 e m < n segue que mp < np . Caso p < 0 e m < n segue que mp > np.
Por hipótese mp = np e pela lei da tricotomia para o conjunto dos números inteiros m = n.
TEOREMA 2.5.4 A LEI DA INTEGRIDADE DO CONJUNTO DOS NÚMEROS

INTEIROS.
Dados os números inteiros m e n , se mn = 0 então ou m = 0 ou n = 0.
Prova
Se m é um número inteiro diferente de zero então como mn = m0 pela lei do

cancelamento da operação de multiplicação n = 0 .
TEOREMA 2.5.5 A REGRA DOS SINAIS NO CONJUNTO ℤ DOS NÚMEROS

INTEIROS:
Dados os números inteiros m e n ,
(i) (– m)n = m( – n) = – (mn)
(ii) (– m) (– n) = mn.
Prova de (i)
71
m ( – n) + mn = m( – n + n) = m0 = 0 = – (mn) + mn e, pela lei do cancelamento no

conjunto dos números inteiros para a operação de adição, m ( – n) = – (mn).
(– m )n + mn = (– m + m )n = 0b = 0 = – (mn) + mn e, pela lei do cancelamento no
conjunto dos números inteiros para a operação de adição, (– m )n = – (mn).
Prova de (ii)
(– m) (– n) + m ( – n) = ( – m + m )( – n) = 0(– n) = 0 = mn + m(– n) e, pela lei do
cancelamento no conjunto dos números inteiros para a operação de adição,
(– m) (– n) = mn .
2.6 A INCLUSÃO DO CONJUNTO ℕ DOS NÚMEROS NATURAIS
AO CONJUNTO ℤ DOS NÚMEROS INTEIROS.
Para cada número natural n ∈ ℕ = { 0 , 1 , 2 , 3 , … } é definido o valor j (n) da função

inclusão natural j no número natural n sendo igual ao número inteiro classe de equivalência
segundo R do par ordenado de números naturais :
( n + 1 , 1) ou do par ordenado ( n , 0 ) com zero sendo considerado um número natural.
A função inclusão natural ou canônica j é uma função cujo domínio é o conjunto ℕ
dos números naturais e cujo conjunto de valores é a união do subconjunto ℙ com o
subconjunto unitário{0}de números inteiros contido no conjunto dos números inteiros ℤ.
A função inclusão natural j de ℕ em ℤ é uma função injetora e tem as seguintes
propriedades: dados dois números naturais m e n,
(1) j ( m + n ) = j (m) + j (n),

(2) j (mn) = j(m)j(n)
A identificação entre o número natural n e o número inteiro j(n) e o fato de que a soma
de dois números naturais m e n é identificado como a soma dos números inteiros j(m) e j(n)
pela propriedade (1) da função j e além disso o fato de que o produto de dois números naturais
m e n é identificado como o produto dos números inteiros j(m) e j(n) pela propriedade (2) da
função j faz com que o conjunto ℕ dos números naturais seja considerado um subconjunto do
conjunto ℤ dos números inteiros o que não é verdadeiro, já que { j(n): n ∈ ℕ } ⊂ ℤ.
TEOREMA 2.6.1 A UNICIDADE DA ORDENAÇÃO DO CONJUNTO DOS

NÚMEROS INTEIROS.
Seja R uma relação binária de ordem total no conjunto ℤ dos números inteiros com as
seguintes propriedades:
(1) Lei da compatibilidade da relação binária de ordem total R com a operação de
adição: Dados os números inteiros m, n e p ,
se ( m , n ) ∈ R então ( m + p , n + p ) ∈ R
multiplicação: Dados os números inteiros m, n e p ,
se ( m , n ) ∈ R e se ( 0 , p ) ∈ R então ( mp , np ) ∈ R.
(3) ( 0 , 1 ) ∈ R.
Então R é a relação binária de ordem total canônica do conjunto ℤ dos números
inteiros. Além disso, a relação binária de ordem total canônica do conjunto ℤ dos números
inteiros induz de ordem total canônica do conjunto ℕ dos números naturais.
Prova
Das propriedades (1) e (3) , para cada número natural n ,
(n,n+1)=(n+0,n+1)
é um elemento da relação binária de ordem R . Portanto a relação de ordem total R no conjunto
dos números inteiros induz a relação de ordem natural no conjunto dos números naturais: Para
cada número natural n , ( 0 , n ) ∈ R. Reciprocamente, se m é um número inteiro pertencente
a
–ℙ={n∈ℤ:–n∈ℙ}
Então m = – n para algum número natural n diferente de zero: se ( 0 , m ) = ( 0 , – n ) é um
elemento de R, como ( 0 , n ) ∈ R, ( – n , 0 ) = ( – n + 0 , – n + n ) ∈ R. De
(0,–n)∈R e(–n,0)∈R
vem a contradição de que n = 0. Está demonstrado que para cada número inteiro m
( 0 , m ) ∈ R se e somente se m ∈ { 0 , 1 , 2 , ... }
A unicidade da relação de ordem total R no conjunto dos números inteiros compatível
com as operações de adição e multiplicação é demonstrada quando: para números inteiros
m e n , se ( m , n ) ∈ R então (n – m) ∈ { 0 , 1 , 2 , ... }. De fato, se ( m , n ) ∈ R então
( 0 , n – m ) = ( m + (– m) , n + (– m)) ∈ R , o que é equivalente a afirmar que
(n – m) ∈ { 0 , 1 , 2 , ... }.
73
2.7 TRÊS PRINCÍPIOS DA INDUÇÃO MATEMÁTICA NO CONJUNTO

DOS NÚMEROS INTEIROS.
TEOREMA 2.7.1 PRIMEIRO PRINCÍPIO

Seja A um subconjunto do conjunto ℤ dos números inteiros com as seguintes
propriedades:
(i) 𝟎 ∈ A.
(ii) se n ∈ A , então n + 1 ∈ A.
(iii) se n ∈ A , então n – 1 ∈ A.
Então A = ℤ .
TEOREMA 2.7.2 SEGUNDO PRINCÍPIO

Seja A um subconjunto do conjunto ℤ dos números inteiros com as seguintes
propriedades:
(i) 𝟎 ∈ A.
(ii) se n ∈ A , então n + 1 ∈ A.
(iii) se n ∈ A , então – n ∈ A.
Então A = ℤ .
TEOREMA 2.7.3 TERCEIRO PRINCÍPIO

Seja A um subconjunto não vazio do conjunto ℤ dos números inteiros com as seguintes
propriedades:
(i) se n ∈ A , então n + 1 ∈ A.
(ii) se n + 1 ∈ A , então n ∈ A.
Então A = ℤ .
Prova do primeiro princípio

Como 𝟎 ∈ A , 1 = 0 + 1 ∈ A ( propriedade (ii))
Seja A1 = { n ∈ ℕ : n ∈ A}. Então 1 ∈ A1 e se n ∈ A1 então n ∈ A o que acarreta que

n + 1 ∈ A pela definição de A, n + 1 ∈ A .
Seja B = { n ∈ ℕ : 1 – n ∈ A} ⊂ ℕ
Como 𝟎 ∈ A , – 1 = 0 – 1 ∈ A (propriedade (iii)) e então, pela definição do conjunto
B, 1 ∈ B, se n ∈ B então pela definição de B, – n ∈ A e pela propriedade (iii)
– ( n + 1) = – n – 1 ∈ A
O que implica que n + 1 – n ∈ B.
Pelo princípio da indução matemática no conjunto dos números naturais, com B tem
as propriedades
(i) 1 ∈ B
(ii) se n ∈ B então n + 1 ∈ B
segue que B = { 1 , 2 , 3 , ... } e em consequência A contém todos os inversos aditivos de
todos os números naturais.
Pela lei da tricotomia no conjunto ℤ dos números inteiros, ou um número inteiro é um
número natural ou é o número inteiro zero ou é o negativo de um número natural.
Em resumo, A = ℤ
Então A1 = { 1 , 2 , 3 , ... } e, em consequência, está contido em A.
75
3. O CONJUNTO ℚ DOS NÚMEROS RACIONAIS .
A construção do conjunto ℚ dos números racionais é obtida a partir da construção do

conjunto ℤ dos números inteiros.
O que é um número racional?
Números racionais são subconjuntos não vazios do produto cartesiano ℤ x ℤ* em que
ℤ* é o conjunto dos números inteiros diferentes de zero. Mais precisamente, os números

racionais são classes de equivalência de uma relação binária de equivalência específica R no
conjunto ℤ x ℤ*.
A relação binária de equivalência R no conjunto ℤ x ℤ* é definida por
R = { (( a , b ) , ( c , d )) ∈ ℤ x ℤ* : ad = bc } ⊂ ( ℤ x ℤ* ) x ( ℤ x ℤ* )
em que a operação de multiplicação envolvida é referente a números inteiros.
O número racional zero indicado pelo símbolo 0 é a classe de equivalência segundo R
do elemento
( 0 , 1 ) ∈ ℤ x ℤ* ,
ou seja:
0 = { ( 0 , 1 ) , ( 0 , – 1 ) , ( 0 , 2 ) , ( 0 , – 2 ) , ( 0 , 3 ) , ( 0 , – 3 ) , ... }
O número racional um indicado pelo símbolo 1 é a classe de equivalência segundo R

do elemento
( 1 , 1 ) ∈ ℤ x ℤ* ,
ou seja:
1 = { ( 1 , 1 ) , ( – 1 , – 1 ) , ( 2 , 2 ) , ( – 2 , – 2 ) , ( 3 , 3 ) , ( – 3 , – 3 ) , ... }
p
Dados os números inteiros p e q com q ≠ 0 , o número racional é definido como a
q
classe de equivalência segundo R do par ordenado de números inteiros ( p , q ) e os outros

p
representantes do número racional são os pares ordenados de números inteiros ( a , b ) com
q
b ≠ 0 e com a propriedade de que aq = bp. Sem perda de generalidade, um dos representantes

p
segundo R do número racional é o par ordenado de números inteiros ( p , q ) com q > 0.
q
p
Sem perda de generalidade, o número racional é definido como a classe de equivalência
q
76
segundo R do par ordenado de números inteiros ( p , q ) com q ≠ 0 e p e q sem fatores

primos comuns.
Dado um número racional m, que é classe de equivalência segundo R do par ordenado
de números inteiros ( a , b ) com b ≠ 0, o número racional – m é definido como a classe de
equivalência segundo R do par ordenado de números inteiros ( – a , b ).
Dado um número racional m diferente do número racional zero, que é classe de
equivalência segundo R do par ordenado de números inteiros ( a , b ) com a ≠ 0 e b ≠ 0, o
número racional m-1 é definido como a classe de equivalência segundo R do par ordenado de
números inteiros ( b , a ).
3.1 A OPERAÇÃO DE ADIÇÃO NO CONJUNTO ℚ DOS

NÚMEROS RACIONAIS:
Dados dois números racionais m1 e m2, que são classes de equivalência segundo R,
cujos representantes são respectivamente os pares ordenados de números inteiros ( a1 , b1 ) e
( a2 , b2 ) com b1 e b2 diferentes do número inteiro 0, o número racional m1 + m2 soma das
parcelas m1 e m2 é definido como a classe de equivalência segundo R do par ordenado de
números inteiros:
( a1b2 + a2b1 , b1b2 )
A definição da soma m1 + m2 de dois números racionais m1 e m2 é independente da

escolha dos representantes dos números racionais m1 e m2 . De fato, sejam ( a1 , b1 ) e
( c1 , d1 ) pares ordenados de números inteiros com b1 e d1 diferentes do número inteiro 0
representantes segundo R do número racional m1 e sejam ( a2 , b2 ) e ( c2 , d2 ) pares ordenados
de números inteiros com b2 e d2 diferentes do número inteiro 0 representantes segundo R do
número racional m2 ; como:
{( a1 , b1 ) , ( c1 , d1 )} ∈ R
a1d1 = b1c1
e como:
{( a2 , b2 ) , ( c2 , d2 )} ∈ R
a2d2 = b2c2
77
segue que:
( a1b2 + a2b1 ) d1d2 = b1b2 ( c1d2 + c2d1 )
ou equivalentemente:
{ ( a1b2 + a2b1 , b1b2 ) , ( c1d2 + c2d1 , d1d2 ) } ∈ R
e que os pares ordenados de números inteiros
( a1b2 + a2b1 , b1b2 ) e ( c1d2 + c2d1 , d1d2 )
são representantes segundo R do mesmo número racional.

Dados os números racionais m1, m2 e m3, então
(m1 + m2) + m3 = m1 + (m2 + m3)
Prova
Sejam os pares ordenados de números inteiros ( a1 , b1), ( a2 , b2) e ( a3 , b3) com b1 , b2
e b3 números inteiros não nulos, representantes dos números racionais m1 , m2 e m3
respectivamente. Então um dos representantes dos números racionais m1 + m2 e m2 + m3 são
respectivamente os pares ordenados dos números inteiros ( a1b2 + a2b1 , b1b2 ) e ( a2b3 + a3b2
, b2b3) ; e um dos representantes dos números inteiros ( m1 + m2 ) + m3 e m1 + (m2 + m3)
são respectivamente os pares ordenados dos números inteiros
( ( a1b2 + a2b1 ) b3 + a3 (b1b2 ) , (b1b2)b3 )
e ( a1( b2b3 ) + ( a2b3 + a3b2)b1 , b1 ( b2b3 ))
e estes pares ordenados de números inteiros são iguais pelas propriedades das operações de
adição e de multiplicação de números inteiros.
A prova da associatividade da operação de adição de números racionais está completa.

Dados os números racionais m1 e m2 , então m1 + m2 = m2 + m1
Prova
Sejam os pares ordenados de números inteiros ( a1 , b1) e ( a2 , b2) com b1 e b2 números
inteiros não nulos, representantes dos números racionais m1 e m2 respectivamente. Então um
dos representantes dos números racionais m1 + m2 e m2 + m1 são respectivamente os pares
ordenados dos números inteiros ( a1b2 + a2b1 , b1b2 ) e ( a2b1 + a1b2 , b2b1); e estes pares
78 O conjunto Q dos números racionais
ordenados de números inteiros são iguais pelas propriedades das operações de adição e de
multiplicação de números inteiros.
A prova da comutatividade da operação de adição de números racionais está completa.

ADIÇÃO.
Para cada número racional m , m + 0 = m.
Prova
Seja o par ordenado ( a , b ) de números inteiros com b diferente do número inteiro
zero um dos representantes segundo R do número racional m e seja o par ordenado de
números inteiros (0 , 1 ) um dos representantes segundo R do número racional 0. Então o par
ordenado ( a , b ) de números inteiros com b diferente do número inteiro zero é um dos
representantes segundo R do número racional soma das parcelas racionais m e 0 e é também
um dos representantes segundo R do número racional m. Portanto m + 0 = m.
TEOREMA 3.1.4 EXISTÊNCIA DO ELEMENTO INVERSO ADITIVO OU

ELEMENTO SIMÉTRICO DA OPERAÇÃO DE ADIÇÃO.
Para cada número racional m , o número racional soma das parcelas inteiras m e – m
é igual ao número racional 0.
Prova
Seja o par ordenado ( a , b ) de números inteiros, com b um número inteiro maior que
zero, um representante segundo R do número racional m. Então o par ordenado de números
inteiros ( – a , b ) é um dos representantes segundo R do número racional – m porque o par
ordenado de números inteiros ( 0 , b ) é um dos representantes segundo R do número racional
soma das parcelas racionais m + ( – m ) e é também um dos representantes segundo R do
número racional 0. Portanto m + ( – m ) = – m + m = 0.
3.2 A OPERAÇÃO DE MULTIPLICAÇÃO NO CONJUNTO ℚ

DOS NÚMEROS RACIONAIS
Dados dois números racionais m1 e m2 que são classes de equivalência segundo R,

cujos representantes são respectivamente os pares ordenados de números inteiros ( a1 , b1 )
79
com b1 ≠ 0 e ( a2 , b2 ) com b2 ≠ 0, o número racional m1m2 produto dos fatores m1 e m2 é

definido como a classe de equivalência segundo R do par ordenado de números inteiros:
( a1a2 , b1b2 ) com b1b2 ≠ 0
O número racional produto m1m2 dos fatores racionais m1 e m2 é independente dos

representantes segundo R dos números racionais m1 e m2. De fato, sejam ( a1 , b1 ) e (c1 , d1 )
pares ordenados de números inteiros com b1d1 ≠ 0 representantes segundo R do número
racional m1 e sejam ( a2 , b2 ) e ( c2 , d2 ) pares ordenados de números inteiros com b2d2 ≠ 0
representantes segundo R do número racional m2 ; como:
{( a1 , b1 ) , ( c1 , d1 )} ∈ R
a1d1 = b1c1
e como:
{( a2 , b2 ) , ( c2 , d2 )} ∈ R
a2d2 = b2c2
o que implica que ( pela multiplicação membro a membro)
a1a2d1d2 = b1b2c1c2
e que equivale colocar que:
{( a1a2 , b1b2 ) = ( c1c2 , d1d2 )} ∈ R
com:
b1b2 ≠ 0 d1d2 ≠ 0
e que os pares ordenados de números inteiros:
( a1a2 , b1b2 ) e ( c1c2 , d1d2 )
são representantes da mesma classe de equivalência segundo R e consequentemente do
mesmo número racional.
Por exemplo, o produto do número racional m e do número racional zero é o número

racional zero. Um dos representantes do número racional zero é o par ordenado ( 0 , 1 ) de
números inteiros e um dos representantes do número racional m é o par ordenado ( a , b ) de
números inteiros, com b ≠ 0 .
O número racional m ∙ 0 produto dos fatores racionais m e 0 tem como um dos
representantes segundo R, o par ordenado de números inteiros ( a ∙ 0 , b ∙ 1 ) = ( 0 , b ) e o par
ordenado de números inteiros ( 0 , b ) é um dos representantes segundo R do número racional

zero.
m ∙ 0 = 0.
O número racional m ∙ 1, produto dos número racional m e do número racional 1 é o

número racional m. Um dos representantes segundo R do número racional m é o par ordenado
de números inteiros ( a , b ) com b ≠ 0 e um dos representantes segundo R do número racional
1 é o par ordenado de números inteiros ( 1 , 1 ) e, por definição, ( a ∙ 1, b ∙ 1 ) é o par ordenado
de números inteiros representante do número racional produto m ∙ 1 e ( a , b ) é um dos
representantes segundo R do número racional m.
m ∙ 1 = m.

MULTIPLICAÇÃO.
Dados os números racionais m1, m2 e m3, então

(m1m2)m3 = m1(m2m3).
Prova
Sejam os pares ordenados de números inteiros ( a1 , b1), ( a2 , b2) e ( a3 , b3) com b1 , b2
e b3 números inteiros não nulos, representantes dos números racionais m1 , m2 e m3
respectivamente. Então um dos representantes dos números racionais m1m2 e m2m3 são
respectivamente os pares ordenados dos números inteiros (a1a2 , b1b2) e (a2a3 , b2b3) e um dos
representantes dos números racionais ( m1m2 )m3 e m1(m2m3) são respectivamente os pares
ordenados dos números inteiros
( ( a1a2 )a3 , (b1b2)b3 ) e ( a1(a2a3) , b1(b2b3))
e estes pares ordenados de números inteiros são iguais pela associatividade da operação de
multiplicação de números inteiros.
A prova da associatividade da operação de multiplicação de números racionais está
completa.
81

MULTIPLICAÇÃO.
Dados os números racionais m1 e m2 , então m1m2 = m2m1
Prova
Sejam os pares ordenados de números inteiros ( a1 , b1) e ( a2 , b2) com b1 e b2 números
inteiros não nulos, representantes dos números racionais m1 e m2 respectivamente. Então um
dos representantes dos números racionais m1m2 e m2m1 são respectivamente os pares
ordenados dos números inteiros (a1a2 , b1b2) e (a2a1 , b2b1) e estes pares ordenados de
números inteiros são iguais pela comutatividade da operação de multiplicação de números
inteiros.
A prova da comutatividade da operação de multiplicação de números racionais está
completa.

MULTIPLICAÇÃO.
Para cada número racional m , 1m = m.
Prova
Seja o par ordenado de números inteiros ( a , b ), com b diferente do número inteiro
zero, um dos representantes segundo R do número racional m e seja o par ordenado de
números inteiros ( 1 , 1 ) um dos representantes segundo R do número racional um. Então o
par ordenado de números inteiros ( a , b ) é um dos representantes segundo R do número
racional produto dos fatores racionais 1 e m e é também um dos representantes segundo R do
número racional m. Portanto 1m = m.
TEOREMA 3.2.4 EXISTÊNCIA DO ELEMENTO INVERSO MULTIPLICATIVO OU

ELEMENTO RECÍPROCO DE UM NÚMERO RACIONAL.
Para cada número racional m diferente do número racional zero, o número racional
m-1 tem a propriedade de que mm-1 = 1.
Prova
Seja o par ordenado de números inteiros ( a , b ), com b um número inteiro maior que
zero e a diferente do número inteiro zero, um representante segundo R do número racional m.
Então, o par ordenado de números inteiros ( b , a ) é um dos representantes segundo R do
número racional m-1, pois o par ordenado de números inteiros ( 1 , 1 ) é um dos representantes
segundo R do número racional produto dos fatores racionais mm-1 e é também um dos
representantes segundo R do número racional 1. Portanto, segue que mm-1 = 1.

MULTIPLICAÇÃO EM RELAÇÃO À OPERAÇÃO DE ADIÇÃO.
Dados os números racionais m1, m2 e m3, então (m1 + m2)m3 = m1m3 + m2m3
Prova
Sejam os pares ordenados de números inteiros ( a1 , b1), ( a2 , b2) e ( a3 , b3)
representantes dos números racionais m1, m2 e m3 respectivamente. Então um dos
representantes dos números racionais ( m1 + m2 ) , ( m1 + m2 )m3 , m1m3 , m2m3 e (
m1m3 + m2m3 ) são respectivamente os pares ordenados dos números inteiros com o produto
b1b2b3 diferente de zero:
( a1b2 + a2b1 , b1b2 )
(( a1b2 + a2b1)a3 , ( b1b2 )b3 )
( a1a3 , b1b3)
( a2a3 , b2b3)
(( a1a3)b2 + (a2a3)b1 , ( b1b2)b3 )
Um dos representantes do número racional (m1 + m2)m3 é igual a um dos representantes do
número racional ( m1m3 + m2m3 ) e assim (m1 + m2)m3 = m1m3 + m2m3.
A prova da distributividade da operação de multiplicação em relação à operação de
adição de números racionais está completa.
3.3 A OPERAÇÃO DE SUBTRAÇÃO NO CONJUNTO ℚ DOS

NÚMEROS RACIONAIS.
Dados dois números racionais m1 e m2, os quais são classes de equivalência segundo
R cujos representantes são definidos pelas classes de equivalência segundo R dos pares
ordenados de números inteiros ( a1 , b1 ) e ( a2 , b2 ) com b1 e b2 diferentes do número inteiro
0, o número racional m1 – m2 diferença dos números racionais m1 e m2 é a classe de
equivalência segundo R do par ordenado de números inteiros:
83
( a1b2 – a2b1 , b1b2 )
O número racional m1 – m2 diferença dos números racionais m1 e m2 é independente

da escolha dos representantes dos números racionais a1 e a2. De fato, sejam os pares ordenados
de números inteiros ( a1 , b1 ) e ( a1’ , b1’) com b1 ≠ 0 e b1’ ≠ 0 , representantes do número
racional m1 , e sejam os pares ordenados de números inteiros ( a2 , b2 ) e ( a2’, b2’) com b2 ≠ 0
e b2’ ≠ 0 , representantes do número racional m2; como
{( a1 , b1 ) , ( a1’ , b1’)} ∈ R
a1b1’ = a1’b1 ( produto de números inteiros )
e como:
{( a2 , b2 ) , ( a2’ , b2’)} ∈ R
então o produto de números inteiros:
a1a2b1’b2’ = a1’a2’ b1b2
o que significa que:
{( a1a2 , b1b2 ) , ( a1’a2’, b1’b2’)} ∈ R
PROPRIEDADE: Dados os números racionais m1 e m2 , m1 – m2 = m1 + (– m2)
3.4 A OPERAÇÃO DE DIVISÃO NO CONJUNTO ℚ DOS

NÚMEROS RACIONAIS.
Dados dois números racionais m1 e m2, em que m2 é um número racional não nulo, os
quais são classes de equivalência segundo R com representantes definidos pelos pares
ordenados de números inteiros ( a1 , b1 ) e ( a2 , b2 ) com b1 ≠ 0, com b2 ≠ 0, a2 ≠ 0, o número
racional quociente resultado da divisão do número racional m1 pelo número racional m2 ≠ 0,
𝐦𝟏
indicado pelo símbolo com m2 ≠ 0, é o número que é a classe de equivalência segundo R
𝐦𝟐
definida pelo par ordenado de números inteiros:

( a1b2 , a2b1 ) em que a2b1 ≠ 0.
𝐦𝟏
O número racional quociente com m2 ≠ 0 resultado da divisão do número racional
𝐦𝟐
m1 pelo número racional m2 é independente da escolha dos representantes dos números

racionais m1 e m2. De fato, sejam os pares ordenados de números inteiros ( a1 , b1 ) e

( a1’ , b1’) com b1 ≠ 0 e b1’ ≠ 0 , representantes do número racional m1 sejam os pares
ordenados de números inteiros ( a2 , b2 ) e ( a2’ , b2’) com b2 ≠ 0 e b2’ ≠ 0 , representantes do
número racional a2 diferente do número racional zero; como
{( a1 , b1 ) , ( a1’ , b1’)} ∈ R
e como:
{( a2 , b2 ) , ( a2’ , b2’)} ∈ R
a igualdade ente o produto de números inteiros:
(a1b2 ) (a2’b1’) = (a2b1 ) (a2’ b1’)
é logicamente é equivalente a:
{( a1b2 , a2b1 ) , ( a1’b2’, a2’b1’)} ∈ R
O inverso multiplicativo do número racional m diferente do número racional zero e

𝟏
indicado também m– 1 ou é o número racional quociente resultado da divisão do número
𝐦
racional 1 pelo número racional m ≠ 0.
𝟏
A propriedade fundamental do inverso multiplicativo do número racional a diferente
𝐦
𝟏 𝟏
de zero é que o número racional produto m ∙ dos fatores m e é o número racional um.
𝐦 𝐦
𝟏
m∙ =1
𝐦
𝐦𝟏
PROPRIEDADE: Dados os números racionais m1 e m2 , = m1m2-1
𝐦𝟐
3.5 A INCLUSÃO DO CONJUNTO ℤ DOS NÚMEROS INTEIROS

NO CONJUNTO ℚ DOS NÚMEROS RACIONAIS.
Para cada número inteiro n ∈ ℤ = { ... , – 3 , – 2 , – 1 , 0 , 1 , 2 , 3 , … }, definimos

o valor J (n) da função inclusão canônica no número inteiro n como sendo igual ao número
racional classe de equivalência segundo R do par ordenado de números inteiros ( n , 1).
85
A função inclusão natural ou canônica J é uma função cujo domínio é o conjunto ℤ

dos números inteiros e cujo conjunto de valores é um subconjunto do conjunto ℚ dos números
racionais.
A função inclusão canônica J de ℤ em ℚ é uma função injetora e tem as seguintes
propriedades dados dois números inteiros m e n.
(1) J ( m + n ) = J (m) + J (n)
(2) J (mn) = J(m)J(n)
A identificação entre o número inteiro n e o número racional J(n) e o fato de que a
soma de dois números inteiros m e n é identificado como a soma dos números racionais J(m)
e J(n) além do que o produto de dois números inteiros m e n é identificado como o produto
dos números racionais J(m) e J(n) pelas propriedades (1) e (2) da função J faz com que o
conjunto ℤ dos números inteiros seja considerado um subconjunto do conjunto ℚ dos números
racionais o que não é verdadeiro, já que { J(n): n ∈ ℤ } ⊂ ℚ .
3.6 A RELAÇÃO NATURAL DE ORDEM NO CONJUNTO ℚ

DOS NÚMEROS RACIONAIS.
Seja ℙ o subconjunto dos números racionais que são classes de equivalência segundo
R dos pares ordenados de números inteiros em que o primeiro elemento do par ordenado é um
número natural diferente de zero e o segundo elemento do par ordenado é o número natural
zero.
O subconjunto ℙ dos números racionais é um subconjunto fechado em relação as
operações de adição e de multiplicação de números racionais no sentido de que: se m ∈ ℙ e
se n ∈ ℙ então ( m + n ) ∈ ℙ e mn ∈ ℙ .
O número racional m é menor que o número racional n indicado pela notação m < n
ou o número racional n é maior que o número racional m indicado pela notação n > m quando
e somente quando existe um número racional p pertencente ao subconjunto ℙ tal que:
n=m+p
Em particular, o número racional zero é menor do que qualquer número racional

pertencente ao subconjunto ℙ de números racionais.
A sentença m ≤ n ou n ≥ m em que m e n são números racionais significa que ou m é
igual a n ( indicado pelo símbolo m = n ) ou que o número racional m é menor do que o
número racional n.
A relação canônica de desigualdade entre números racionais é a relação binária de

ordem total R≤ ⊂ ℚ x ℚ definida em ℚ x ℚ por :
R≤ = { ( m , n ) ∈ ℚ x ℚ : m ≤ n }
De fato, R≤ é uma relação binária de ordem total no conjunto ℚ dos números racionais
pois satisfaz as propriedades reflexiva, antissimétrica e transitiva além de ser válida a lei da
tricotomia para números racionais.
O conjunto ℚ dos números racionais é união disjunta do conjunto ℙ , do conjunto
unitário cujo único elemento é o número racional zero e do conjunto – ℙ em que
–ℙ ={n∈ℚ:–n∈ℙ}
TEOREMA 3.6.1 Para cada número natural p primo não existe número racional m tal que
m2 = mm = p e não existe número racional m tal que m3 = mm2 = p , e assim por diante.
Prova: Seja o par ordenado de números naturais ( a , b ) um dos representantes do número

racional m > 0. Da igualdade m2 = p segue que a2 = pb2. Na decomposição em fatores primos
do número natural a2 ocorre um número par (possivelmente zero) de fatores primos iguais a p
enquanto que o número de fatores primos iguais a p do número natural pb2 é um número
natural impar, o que é uma contradição.
TEOREMA 3.6.2 LEI DA TRICOTOMIA PARA O CONJUNTO DOS NÚMEROS

RACIONAIS
Dados dois números racionais m e n , uma e somente uma das afirmações é verdadeira:
(1) m = n (2) m < n (3) m > n.
Prova
Dados os números racionais m e n , ou m – n = 0 ou m – n ∈ – ℙ ou m – n ∈ ℙ .
Se m – n = 0 então m = n .
Se m – n ∈ – ℙ então por definição m < n.
Se m – n ∈ ℙ então por definição m > n.
87
TEOREMA 3.6.3 Dados os números racionais m . n , p e q.

(i) Se m < n então m + p < n + p
(ii) Se m < n e se n < p então m < p .
(iii) Se m < n e se p < q então m + p < n + q .
(iv) Se m < n e se p > 0 então mp < np .
(v) Se m < n e se p < 0 então mp > np .
(vi) Se m + p < n + p então m < n .
(vii) Se mp < np e se p > 0 então m < n .
(viii) Se mp < np e se p < 0 então m > n .
Prova de (vi)
m = m + 0 = m + ( p + ( – p )) = (m + p) + ( – p ) < ( n + p ) + ( – p ) = n (pela hipótese
e pelo item (i)).
Prova de (vii)
Admitindo n < m e como p > 0 , np < mp pelo item (iv) o que contradiz a hipótese
mp < np. Admitindo m = n segue que mp = np o que contradiz a hipótese mp < np. Pela lei
da tricotomia para o conjunto dos números racionais resta a alternativa m < n.
TEOREMA 3.6.4 LEIS DO CANCELAMENTO PARA AS OPERAÇÕES

BINÁRIAS DE ADIÇÃO E DE MULTIPLICAÇÃO NO CONJUNTO ℚ DOS
NÚMEROS RACIONAIS.
Dados os números racionais m , n e p.

(i) Se m + p = n + p então m = n
(ii) Se mp = np e se p ≠ 0 então m = n
Prova
A prova de (i) é obtida adicionando – p a ambos os membros da equação
m+p=n+p
e a prova de (ii) é resultado da multiplicação pelo elemento inverso de p em ambos os
membros da igualdade (ii).
TEOREMA 3.6.5 A LEI DA INTEGRIDADE DO CONJUNTO ℚ DOS NÚMEROS

RACIONAIS.
Dados os números racionais m e n , se mn = 0 então ou m = 0 ou n = 0.
Prova
Se m é um número racional diferente de zero então como mn = m0 pela lei do

cancelamento da operação de multiplicação n = 0 , ou de outra maneira , se m é um número
racional diferente de zero basta multiplicar ambos os membros da igualdade mn = 0 pelo
elemento inverso de m.
TEOREMA 3.6.6 A UNICIDADE DA ORDENAÇÃO DO CONJUNTO DOS

NÚMEROS RACIONAIS.
Seja R uma relação binária de ordem total no conjunto ℚ dos números racionais com
as seguintes propriedades:
adição: Dados os números racionais m, n e p ,
se ( m , n ) ∈ R então ( m + p , n + p ) ∈ R
multiplicação: Dados os números racionais m, n e p ,
se ( m , n ) ∈ R e se ( 0 , p ) ∈ R então ( mp , np ) ∈ R.
(3) ( 0 , 1 ) ∈ R.
Então R é a relação binária de ordem total canônica do conjunto ℚ dos números
racionais. Além disso, a relação binária de ordem total canônica do conjunto ℚ dos números
racionais induz de ordem total canônica do conjunto ℤ dos números inteiros.
Prova
Para cada numero racional não nulo m com ( 0 , m ) ∈ R , ( 0 , m-1 ) ∈ R. De fato, se
( m-1 , 0 ) ∈ R então ( 1 , 0 ) = ( mm-1 , m0 ) ∈ R , o que é uma contradição à propriedade (3).
Está demonstrado que: para cada número racional não nulo m,
(0 , m ) ∈ R se e somente se ( 0 , m-1 ) ∈ R.
Na sequencia é demonstrado que para cada número racional não nulo m
(0 , m ) ∈ R se e somente se m ∈ ℙ
89
De fato, se m ∈ ℙ então um dos representantes do número racional não nulo m é o par

ordenado de números inteiros ( a , b ) com a e b pertencentes a { 1 , 2 , 3 , ... } e de
( 0 , a ) = ( 0 , bm ) ∈ R
segue que
(0 , m ) = ( 0b-1 , bmb-1 ) ∈ R
Reciprocamente, se m é um número racional não nulo tal que (0 , m ) ∈ R então um dos
representantes de m é o para ordenado de números inteiros ( a , b ) com a ∈ ℤ e b pertencente
a { 1 , 2 , 3 , ... }. De (0 , m ) ∈ R vem ( 0 , a ) = ( 0b , mb ) ∈ R , o que é equivalente afirmar
que a ∈ ℙ e que m ∈ ℙ .
Resta provar que para números racionais m e n ,
( m , n ) ∈ R se e somente se ( n – m ) ∈ ℙ.
De ( m , n ) ∈ R, ( m + ( – m ) , n + ( – m )) = ( 0 , n – m ) ∈ R o que é equivalente afirmar
que ( n – m ) ∈ ℙ .
91
4. O CONJUNTO ℝ DOS NÚMEROS REAIS.
O que são números reais?

Números reais são subconjuntos não vazios do conjunto dos números racionais.
Um número real α é definido como um subconjunto α do conjunto ℚ dos números
racionais com as seguintes propriedades:
i) α ≠ ∅ .
ii) α ≠ ℚ .
iii) se x ∈ α e se y ∈ ℚ é tal que y < x , então y ∈ α .
iv) se x ∈ α então existe y ∈ α tal que x < y .
em que o símbolo de desigualdade < é relativo aos números racionais.
O número real zero, indicado pelo símbolo 0, é definido como o conjunto :
0 = { x ∈ ℚ : x < 0} .
O número real um, indicado pelo símbolo 1, é definido como o conjunto :

1 = { x ∈ ℚ : x < 1} .
O número real menos um, indicado pelo símbolo – 1, é definido como o conjunto :
– 1 = { x ∈ ℚ : x < – 1} .
𝟓
O número real cinco terços, indicado pelo símbolo , é definido como o conjunto :
𝟑
𝟓 𝟓
={x∈ℚ:x< }.
𝟑 𝟑
𝟑
O número real menos três sétimos, indicado pelo símbolo – , é definido como o
𝟕
conjunto :
𝟑 𝟑
– = { x ∈ ℚ : x < – }.
𝟕 𝟕
De agora em diante os números reais serão indicados pelas letras do alfabeto grego:
α , β , ... , ὡ.
92 O conjunto R dos números reais
4.1 A OPERAÇÃO DE ADIÇÃO NO CONJUNTO ℝ DOS

NÚMEROS REAIS.
A operação de adição no conjunto ℝ dos números reais associa a cada par ordenado
(α , β ) de números reais α e β , o número real soma α + β dos números reais α e β nesta ordem
definido como:
α + β = { x ∈ ℚ : ( ∃ y ∈ α ) ( ∃ z ∈ β ) : ( x = y + z )}
De fato, α + β , assim definido, é um número real, pois satisfaz as seguintes

propriedades:
i) α + β ≠ ∅ .
Como α ≠ ∅ e β ≠ ∅ , α + β ≠ ∅
ii) α + β ≠ ℚ .
Como α ≠ ℚ e β ≠ ℚ , existem números racionais a e b com a ∉ α , b ∉ β ; além disso,
se y ∈ α , então y < a ( se a < y e y ∈ α então a ∈ α ) e se z ∈ β , então z < b ( se b < z e
z ∈ β , então b ∈ β ) e, portanto, ( y + z ) < ( a + b ). O que foi provado é que:
∀y∈α ∀z∈β ( y + z ) < ( a + b)
Então ( a + b ) não é um elemento de α + β , ( se a + b é um elemento de α + β
existem y ∈ α e z ∈ β tais que ( a + b ) = ( y + z ) , o que contraria a última desigualdade).
iii) Se x ∈ α + β , então existem números racionais y ∈ α e z ∈ β com x = y + z .

Seja w ∈ ℚ , com w < x = y + z . Então w – y < z o que mostra w – y ∈ β . Assim
w=y+(w–y)
com y ∈ α e ( w – y ) ∈ β. Portanto w ∈ α + β
iv) Se x ∈ α + β , então existem números racionais y ∈ α e z ∈ β com
x=y+z
e, como α e β são números reais, existem números racionais u ∈ α , v ∈ β com
y<u
z<v
e assim, se w = u + v , então : x < w e w ∈ α + β .
93

Dados números reais α , β e γ, vale
(α+β) +γ=α+(β+γ)
Prova
Basta verificar que, dados x ∈ α , y ∈ β e z ∈ γ , temos x , y , z números racionais e a
propriedade ( x + y ) + z = x + ( y + z ) é verdadeira. Então o primeiro membro da igualdade
é um elemento de ( α + β ) + γ e o segundo membro da igualdade é um elemento de α + ( β +
γ ). Portanto todo elemento de ( α + β ) + γ é elemento de α + ( β + γ ) e a recíproca é
verdadeira.

Dados os números reais α e β, vale
α+β= β+α
Prova
Um elemento x de α + β é tal que x = y + z , com y ∈ α e z ∈ β. Mas x = z + y , com
y ∈ α e z ∈ β. Portanto x ∈ β + α e α + β ⊂ β + α.
A prova da inclusão β + α ⊂ α + β é análoga.
TEOREMA 4.1.3 EXISTENCIA DO ELEMENTO NEUTRO DA OPERAÇÃO DE

ADIÇÃO.
Para cada número real α, a soma de α com o número real zero é igual a α.
Prova α + 0 ⊂ α
Se x ∈ α , então existe um número x₁ ∈ α com x < x₁ e como já afirmamos que
x = x₁ + ( x – x₁ )
no caso em que x₁ ∈ α e ( x – x₁ ) < 0, equivale a dizer que
( x – x₁ ) ∈ 0
Assim temos
x∈α+0
portanto
x ⊂ α + 0.
Logo
α= α+0 .
LEMA 4.1.1:
Seja α um número real e seja x um número racional positivo. Então existem números
racionais y e z com y ∈ α e z ∉ α em que z não é o menor elemento de ℚ – α tal que
x = z – y.
Prova do lema:
Caso x ∈ α:
Se todos os números racionais x, 2x, 3x, 4x, ... são elementos de α então todo número
racional w também é elemento de α pela propriedade arquimediana dos números racionais:
w < nx para algum número natural n. Pelo princípio da boa ordenação dos números naturais
aplicado ao conjunto não vazio
A = { n ∈ N: nx ∉ α}
existe o número natural m, elemento mínimo de A , tal que mx ∉ α e (m – 1)x ∉ α , pois
m ≥ 2.
Por definição z = mx ∉ α e y = (m – 1)x ∈ α, z – y = x. Na hipótese de z ser o menor elemento
de ℚ – α , existe um número racional t de modo que t > y e t ∈ α ; por definição w = z + t – y
e logo w – t = z – y = x , com w ∉ α e t ∈ α .
Caso x ∉ α:
O conjunto ℙ dos números reais estritamente maiores do que o número real zero.
ℙ={α∈ℝ:α>0}
é um subconjunto do conjunto dos números reais fechado em relação à adição:
Se α ∈ ℙ β ∈ ℙ então α + β ∈ ℙ. De fato, se α ∈ ℙ , então 0 ⊂ α e se β ∈ ℙ , então

0 ⊂ β , o que implica que 0⊂α+β.
95
TEOREMA 4.1.4 EXISTENCIA DO ELEMENTO SIMÉTRICO DA OPERAÇÃO DE

ADIÇÃO
Para cada número real α, a soma de α com o número real – α abaixo definido é igual
a zero, em que
– α = { x ∈ ℚ : – x ∉ α e – x não é o menor elemento de ℚ – α }
Prova: se α é um número real, então – α é um número real.
i) – α ≠ ∅ porque como α ≠ ℚ , existe um número real y tal que y ∉ α e, sem perda de
generalidade, y não é o menor elemento de ℚ – α ( caso y seja o menor elemento de ℚ – α ,
então y + 1 não é um elemento de α, pois se y + 1 ∈ a α então y ∈ α ). Portanto – y é um
elemento de – α, pois – (– y) = y ∉ α e y não é o menor elemento de ℚ – α.
ii) – α ≠ ℚ porque, como α ≠ ∅, existe um número racional x ∈ α e então – x ∉ – α

( se – x ∈ – α então – (– x) = x ∉ α o que uma contradição)
iii) seja x um número racional pertencente a – α e seja y um número racional menor

que x; logo – y > – x e – y ∉ α ( se – y ∈ α então – x ∈ α pois x ∈ – α implica em – x ∉ α ) e
com certeza – y não é o menor elemento de ℚ – α, uma vez que – y > – x e – x ∉ α e, portanto,
y ∈ – α.
iv) seja x um número racional pertencente a – α ; então – x ∉ α e existe um número

racional y com y < – x e y ∉ α ; a média aritmética z entre os números racionais y e – x satisfaz
y < z < – x e z ∉ α e com certeza não é o menor elemento de ℚ – α ; portanto o número racional
– z ∈ – α com – z > x.
Prova: se α é um número real então α + (– α) = 0
i) 0 ⊂ α + (– α)
Seja x um número racional pertencente ao número real 0, então x < 0 e – x > 0.
De acordo com o lema abaixo, existe um número racional y ∈ α e um número racional
z ∉ α, em que z não é o menor elemento de ℚ – α tal que z – y = – x ou x = y + ( – z) com
y ∈ α e – z ∈ – α . A prova da inclusão está completa.
ii) α + (– α) ⊂ 0
Um elemento pertencente a α + (– α) é um número racional soma de um número

racional x ∈ α e de um número racional y ∈ – α. Logo – y ∉ α e – y > x ( se – y < x e x ∈ α
então – y ∈ α , o que é uma contradição). Assim x + y < 0. A prova da inclusão está completa.
A lei da tricotomia é válida para o conjunto dos números reais. A saber, se α é um

número real, então uma única situação das três situações abaixo é verdadeira:
(i) α=0
( ii ) α ∈ ℙ
( iii ) – α ∈ ℙ
Prova:
A existência de um número racional estritamente positivo x tal que x ∈ α implica que
todo número racional estritamente negativo é um elemento de α pela definição de um número
real e neste caso 0 ⊂ α e α ∈ ℙ .
A negação da existência de um número racional estritamente positivo x tal que x ∈
α conduz a duas possibilidades mutuamente exclusivas. A primeira possibilidade é a de que
todos os números racionais estritamente negativos são elementos de α e neste caso:
α = 0. A segunda possibilidade é a de que existe um número racional estritamente negativo x,
tal que x ∉ α e, sem perda de generalidade, x não é elemento mínimo de ℚ – α ( caso contrário,
considere 𝑥⁄2 > x ); assim, – x ∈ – α e – x > 0 o que implica que 0 ⊂ – α e – α ∈ ℙ.
4.2 A RELAÇÃO DE ORDEM CANÔNICA NO CONJUNTO DOS

NÚMEROS REAIS.
A relação de ordem canônica no conjunto dos números reais R é definida do seguinte

modo:
Para α e β ∈ ℝ então α < β quando e somente quando α ≠ β e α ⊂ β.
Para α e β ∈ ℝ então α ≤ β quando e somente quando ou α = β ou α ⊂ β
De fato, a relação de ordem canônica no conjunto dos números reais é uma relação de
ordem por ser uma relação binária reflexiva, antissimétrica e transitiva no conjunto ℝ dos
números reais.
97
4.3 A OPERAÇÃO DE MULTIPLICAÇÃO NO CONJUNTO ℝ DOS

NÚMEROS REAIS.
A operação de multiplicação é definida primeiramente como uma operação binária

interna no conjunto ℙ dos números reais estritamente positivos: para cada α ∈ ℙ, β ∈ ℙ, o
número real αβ, produto de α e β é definido como:
αβ = { x ∈ ℚ : x ≤ 0 } ∪ { x ∈ ℚ : ( ∃ y ∈ α : y > 0 ) ( ∃ z ∈ β : z > 0 ) x = yz } αβ ∈ ℙ
Se α e β são números reais com α > 0 e β > 0 então αβ é um número real com αβ > 0.
Prova:
i) αβ ≠ ∅
αβ ≠ ∅ pois contém { x ∈ ℚ : x ≤ 0 }
ii) αβ ≠ ℚ
Se x ∉ α e y ∉ β, então ∀u∈α x>u ( caso u ∈ α e x < u , x ∈ α )
∀v∈β)(y>v) ( caso v ∈ β e y < v , y ∈ β )
∀ u ∈ α , com u > 0
∀ v ∈ β , com v > 0 xy > uv.
Portanto, xy ∉ αβ , ou seja , αβ ≠ ℚ
Caso exista u positivo pertencente α e caso exista v positivo pertencente a β, tal que
xy = uv, então xy ∈ αβ. Mas o que foi provado é que para qualquer u positivo pertencente a
α e qualquer v positivo pertencente a β , temos xy > uv.
iii) x ∈ αβ e seja um número racional u > 0 tal que u < x ( caso u > 0 , u ∈ αβ ). Logo
x > 0 com x ∈ αβ
implica na existência de números racionais y ∈ α , com y > 0 e z ∈ β , com z > 0 tais que:
x = yz
e uma vez que:
0<u<x
u
0< <1
𝑥
u
y<y.
𝑥
u u
Como y ∈ α implica que y ∈ α e como u = ( y ) z e z ∈ β , u ∈ αβ
𝑥 𝑥
iv) Seja x ∈ αβ. Caso x ≤ 0, existem números racionais y ∈ α , com y > 0 e z ∈ β , com
z>0e
z = xy ∈ αβ
z>x
Caso x > 0 , existem números racionais y ∈ α com y > 0 e z ∈ β com z > 0 tais que :
x = yz
e, além disso, existem números racionais y1 ∈ α com y1 > y e z1 ∈ β com z1 > z , tais que
x = yz < y1z1
e
y1z1 ∈ αβ
Finalmente , como 0 ⊂ αβ então αβ > 0.
Com a definição de módulo de um número real α
|α| = { α se α ≥ 0
– α se α < 0
é possível definir a operação de multiplicação para a totalidade dos números reais:
0 𝑠𝑒 α = 0
αβ = |α||β| 𝑠𝑒 α > 0 𝑒 𝛽 > 0 𝑜𝑢 𝑠𝑒 α < 0 𝑒 𝛽 < 0
{ – |α||β|se α > 0 𝑒 𝛽 < 0 ou se α < 0 𝑒 𝛽 > 0
A operação binária interna da multiplicação definida sobre o conjunto ℝ dos números reais é
comutativa e associativa, ou seja:
∀α∈ℝ ∀β∈ℝ ∀γ∈ℝ
αβ = βα
(αβ) γ = α ( βγ )
99
e admite a existência do elemento neutro para a operação de multiplicação de cada número

real α , α ∙ 1 = α.
Prova: Para qualquer α ∈ ℝ , α ∙ 1 = α
1º caso
Seja α um número real com α > 0. Então α ∙ 1 ⊂ α. Para provar que α ⊂ α ∙ 1, seja x
∈ α com x > 0 ( se x ≤ 0 , x ∈ α ∙ 1 pela própria definição de α ∙ 1) e existe um número
x x x
racional x1 ∈ α com x < x1 e assim x = x1 ( ) com o < < 1 ∈ℚ
x1 x1 x1
x
x1 ∈ α ∈ 1x∈α∙1
x1
2º caso α < 0
α ∙ 1 = – (|α| ∙ |1|) = – |α| = α
3º caso α = 0 ( trivial)
A definição do elemento inverso α−1 de um número real α > 0 é a seguinte:
1 1
α−1 = { x ∈ ℚ : x ≤ 0 } ∪ { x ∈ ℚ : x > 0 : ∉ α, não é o elemento mínimo de ℚ – α }
x x
A definição do elemento inverso α−1 de um número real α < 0 é:

α−1 = – |α|−1
Prova: Se α é um número real e se α > 0 , então 𝛂−𝟏 é um número real e 𝛂−𝟏 > 0.
i) α ≠ ∅ , pois contém { x ∈ ℚ : x ≤ 0 }
ii) α ≠ ℚ , pois como α > 0 existe um número racional x com x > 0 e x ∈ α ; assim
1 1 1 −1
∉ α−1 ( se ∈ α−1 então ( ) =x∉α)
x x x
iii) Seja x ∈ α−1 e seja um número real y com y < x ; caso y ≤ 0 , y ∈ α−1.
1
Caso y > 0 , então 0 < y < x e por definição ∉ α
x
1 1 1
> e ∉ α
y x y
1 1 1 1 1 1 1
( caso ∈ α, ∈ α pois 0 < < e não é elemento mínimo de ℚ – α , pois < ).
y x x y y x y
Portanto: y ∈ α−1
iv) Seja x ∈ α−1

1 1
Se x > 0 ∉ α e como não é elemento mínimo de ℚ – α , existe um número
x x
racional x1, x1 ∈ α , tal que
1
x1 <
x
1
Considerando y um número racional entre x1 e , ou seja,
x
1
x1 < y < ,
x
1 1 1
( a média aritmética ( x1 + ) é uma possível escolha de um número racional entre x1 e
2 x x
1 1 1 −1
e então: ∈ α−1 > x pois ( ) = y ∉ α ( caso y ∈ α , x1 ∈ α )
y y y
Se x ≤ 0, existe um número racional y ∈ α−1 com y > x, já que α−1 contém pelo
menos um número racional estritamente positivo.

MULTIPLICAÇÃO.
Dados os números reais α, β e γ, (α β)γ = α (βγ).
Prova: Caso α > 0, β > 0 e γ > 0.

Seja x um número racional positivo pertencente a α e seja y um número racional
positivo pertencente a β. Então xy é um número racional pertencente a αβ. Se z é um número
racional positivo pertencente a γ , então (xy)z é um número racional positivo pertencente a
(αβ)γ e x(yz) é um número racional positivo pertencente a α(βγ). A prova da inclusão (αβ)γ ⊂
α(βγ) está concluída.
A inclusão reversa é análoga.
101

MULTIPLICAÇÃO.
Dados os números reais α e β , αβ = βα
Prova: Caso α > 0 e β > 0
Seja x um número racional positivo pertencente a α e seja y um número racional
positivo pertencente a β. Então xy é um número racional positivo pertencente a αβ e xy = yx
é um número racional positivo pertencente a βα. A prova da inclusão αβ ⊂ βα está
demonstrada. A prova da inclusão reversa é análoga.

MULTIPLICAÇÃO.
Para cada número real α , 1α = α
Prova:
i) α ⊂ 1α
Seja x um número racional tal que x > 0 e x ∈ α. Então existe um número racional y
x x
tal que y ∈ α e x < y ou < 1. Portanto, x = y e x ∈ 1α , porque xy ∈ 1 (número real) e
y y
y ∈ α.
ii)1α ⊂ α
Seja z um número racional tal que z > 0 e z ∈ 1α . Então existem um número racional
x > 0 tal que x ∈ 1 e um número racional y > 0 tal que y ∈ α com z = xy < y. Portanto, z ∈ α ,
pois z < y.
TEOREMA 4.3.4 EXISTÊNCIA DO ELEMENTO INVERSO DA OPERAÇÃO DE

MULTIPLICAÇÃO.
Para cada número real α, α ∙ α−1 = 1
Prova: se α ∈ ℝ e α > 0 , então α ∙ α−1 = 1
i) α ∙ α−1 ⊂ 1
Seja α ∈ ℝ e considere um número racional x tal que: x > 0 e x ∈ α .
Além disso, considere um número racional y tal que y > 0 y ∈ α−1
1 1 1 1
o que implica que ∉ α e que > x . ( caso < x , como x ∈ α , ∈α )
y y y y
xy < 1 e xy ∈ 1, visto que { x ∈ ℚ : x ≤ 0 } ⊂ 1 ,

α ∙ α−1 ⊂ 1
ii) 1 ⊂ α ∙ α−1
Seja x ∈ 1. Como x ≤ 0, x ∈ α ∙ α−1
Como 0 < x < 1 e, de acordo com o lema anterior, existem números racionais positivos:
z 1
y > 0 e z > 0, tais que y ∈ α e z ∉ α, tais que: = e ainda podemos assumir que z não é o
y x
elemento mínimo de ℚ – α , o que significa que :

1 1 −1
x=y( ) com: y ∈ α e ∈ α−1 pois ( 1z ) = z ∉ α , o que implica que:
x z

MULTIPLICAÇÃO EM RELAÇÃO A OPERAÇÃO DE ADIÇÃO.
Para números reais α, β e γ
α ( β + γ ) = αβ + αγ
Prova
Caso 1: α > 0, β > 0 e γ > 0
As inclusões { x ∈ ℚ : x ≤ 0 } ⊂ α ( β + γ ) e { x ∈ ℚ : x ≤ 0 }⊂ αβ + αγ são válidas.
Se x ∈ ℚ , x > 0 e x ∈ α ( β + γ ) então x = y ( z + w ) para números racionais y, z e w
com y > 0 , y ∈ α , z > 0 , z ∈ β , w > 0 , w ∈ γ. Mas x = y ( z + w ) = yz + yw com yz > 0, yz
∈ αβ, yw >0 , yw ∈ αγ o que mostra que x ∈ αβ + αγ e que a inclusão
α ( β + γ ) ⊂ αβ + αγ
é verdadeira.
Para demonstrar a inclusão contrária, seja x ∈ ℚ , x > 0 e se x ∈ αβ + αγ então existem
números racionais u, v, z e w tais que u > 0 , v > 0 , z > 0 , w > 0 , u ∈ α , v ∈ α , z ∈ β e w ∈
γ com x = uz + vw. No caso em que u ≤ v (o caso v ≤ u é análogo).
u
z≤z
v
u
e pela definição de número real z ∈ β.
v
Então
u
x = uz + vw = v [ z+w]
v
103
é um elemento de α ( β + γ ) e a inclusão
αβ + αγ ⊂ α ( β + γ )
está demonstrada.
Caso 2: α > 0, β < 0 e γ > 0

Caso 2a: β + γ > 0
αγ = α [ β + γ + |β| ] = α [ ( β + γ ) + |β| ] = α ( β + γ ) + α |β|
porque α > 0 , β + γ > 0 e |β| = – β > 0 ( caso 1).
α ( β + γ ) = – α |β| + αγ = αβ + αγ
Caso 2b: β + γ ≤ 0
α |β| = α (– β) = α [(– β – γ) + γ] = α (|β + γ| + γ ) = α |β + γ| + αγ
pelo caso 1 e de outra maneira
α ( β + γ ) = – α |β + γ| = – α|β| + αγ = αβ + αγ
Os demais casos a considerar são análogos
TEOREMA 4.3.6 TEOREMA DO COMPLETAMENTO DO CONJUNTO DOS

NÚMEROS REAIS.
Seja A um subconjunto não vazio do conjunto dos números reais limitado

superiormente no sentido de que existe um número real ω tal que para cada α ∈ A , α ≤ ω.
Então existe o número real supremo de A.
Prova:
Seja β = { x ∈ ℚ : ( ∃ α ∈ A ) ( x ∈ α ) }
A prova de que β é um número real é demonstrada em quatro passos.
i) β ≠ ∅ , porque, como A ≠ ∅ , existe um número real x ∈ A e existe um número

racional x tal que x ∈ α pois α ≠ ∅.
ii) β ≠ ℚ , porque, como o conjunto A é limitado superiormente, existe um número

real γ tal que para cada α ∈ A , α < γ , isto é, α ⊂ γ , como γ ≠ ℚ , existe um número racional
x tal que x ∉ γ e como α ⊂ γ , x ∉ α.
iii) Seja um número racional x ∈ β e seja um número racional y < x ; por definição de
β , existe um número real α ∈ A com x ∈ α e a hipótese de que y < x implica em y ∈ α e,
portanto, y ∈ β.
iv) Seja um número racional x ∈ β . Por definição de β, existe um número real α ∈ A,

tal que x ∈ α e como α é um número real, existe um número racional y tal que y ∈ α e x < y.
Portanto y ∈ β pela definição de β.
A demonstração de que β é o supremo do conjunto A é feita em duas etapas: a primeira

etapa é que para cada α ∈ A , temos α ≤ β , isto é , β é um limitante superior do conjunto A e
a segunda etapa é que se γ é um limitante superior do conjunto A, então β ≤ γ ,pois, para
cada número real α ∈ A , temos α ≤ γ, o que significa α = γ ou α ⊂ γ e, neste caso, β ⊂ γ .
COROLÁRIO: Seja A um subconjunto não vazio do conjunto dos números reais limitado
inferiormente. Então existe o número real ínfimo do conjunto A.
Prova:
Como A é subconjunto do conjunto dos números reais limitado inferiormente, o
subconjunto dos números reais:
–A={–α:α∈A}
é um subconjunto não vazio limitado superiormente e o supremo de – A é o ínfimo do conjunto
A.
TEOREMA 4.3.7 PROPRIEDADE ARQUIMEDIANA DO CONJUNTO DOS

NÚMEROS REAIS.
Dados os números reais α e β com α > 0 , existe um número natural n ∈ { 1, 2, 3, ... }

tal que nα ≥ β e (n + 1)α > β .
105
Prova:
Admitindo que não exista número natural n tal que nα ≥ β , isto é, para cada número
natural n , nα < β , então
A = { nα : n = 1 , 2 , 3 , ... }
é um subconjunto não vazio do conjunto dos números reais limitado superiormente por β e
que admite como supremo de A um número real β e, em particular, 0 < α < β. Além disso, β
– α não é um limitante superior do subconjunto A, o que significa que existe um número
natural m tal que mα > β – α ou β < (m + 1)α n com (m + 1)α ∈ A , o que é uma contradição.
Portanto, existe um número natural n e existe um número natural (n + 1), tais que
nα ≥ β e (n + 1)α > nα ≥ β .
TEOREMA 4.3.8 A DENSIDADE DO CONJUNTO ℚ DOS NÚMEROS

RACIONAIS NO CONJUNTO ℝ DOS NÚMEROS REAIS.
m
Dados os números reais α e β com α < β , existe um número racional tal que
n
m
α< < β em que m e n são números naturais com n ≠ 0.
n
Prova:
Sejam α e β dois números reais com α < β ou β – α > 0. Existe um número natural n
tal que n(β – α) > 1 pela propriedade arquimediana dos números reais ou 1 + nα < nβ e
novamente pela propriedade arquimediana dos números reais existe um número natural l tal
que l = l ∙ 1 > α e existe um número natural k tal que k = k ∙ 1 > – lα ou – k < lα .
Assim, l e n são números naturais tais que – k < nα < l
Existe um número inteiro m tal que m – 1 ≤ α < m ou m ≤ nα + 1 e assim nα < m ≤
nα + 1 < nβ, portanto,
m
α< <β
n
TEOREMA 4.3.9 A DENSIDADE DO CONJUNTO DOS NÚMEROS RACIONAIS

E DO CONJUNTO DOS NÚMEROS IRRACONAIS.
Dados os números reais α e β com α < β , existe um número racional q tal que
α < q < β e existe um número real não racional γ com α < γ < β .
Prova:
Caso: β > 0
Sejam α e β dois números reais tais que γ = β – α > 0. Pela propriedade arquimediana
1
dos números reais, existe um número natural m1 tal que m1 = m1 ∙ 1 > e existe um número
γ
2
natural m2 tal que m2 = m2 ∙ 1 > .
β
1 2 1
O número natural m = m1 + m2 é tal que m > em> >
γ β β
Pela propriedade arquimediana dos números reais, existe um número natural k tal que
1 1 1
k ≥ β , pois, β > 2 > .
m m m
1
O conjunto A = { l ∈ { 3 , 4 , ...} : l ≥ β }é um subconjunto do conjunto dos números
m
naturais não vazio (k ∈ A) e, pelo princípio da boa ordenação dos números naturais, A admite
1
um mínimo n ∈ A e assim n m ≥ β e como n – 1 é um número natural maior do que dois e
menor do que o mínimo n do conjunto A , temos

1
(n – 1) <β
m
1 1 1 1 1 1
Se (n – 1) ≤ α então < γ = β – α < β – (n – 1) =β–n + ≤
m m m m m m
1 1 1
já que β – n < 0 , o que é uma contradição pois m > ou γ > .
m γ m
1 1
Portanto, (n – 1) > α e (n – 1) < β ou
m m
𝑛−1
α< <β.
m
Caso β > 0
107
Sejam α e β dois números reais tais que β > 0 e γ = β – α > 0. Pela propriedade
1
arquimediana dos números reais, existe um número natural m1 tal que m1 γ > e existe um
√2
2
número natural m2 tal que m2 √2 > .
β
2 2 √2
O número natural m = m1 + m2 é tal que m√2 > ou β > = .
β 𝑚 √2 𝑚
Pela propriedade arquimediana dos números reais existe um número natural k tal que
√2
k ≥ β e k ≥ 2 o que garante que o subconjunto A do conjunto dos números naturais
𝑚
√2
A = { l ∈ { 2 , 3 , ...} : l ≥ β }é não vazio e pelo princípio da boa ordenação dos números
𝑚
naturais, A tem um mínimo n ∈ A, ou seja, n ∈ { 2 , 3 , 4 , ... }
√2
n ≥β
𝑚
e
√2
(n – 1) <β
𝑚
√2
Se (n – 1) ≤ α então
𝑚
√2
γ = β – α ≤ β – (n – 1)
𝑚
𝑛 √2 √2 √2
β– + ≤ ,
𝑚 𝑚 𝑚
𝑛 √2 √2
visto que β – ≤ 0 , o que é uma contradição pois γ >
𝑚 𝑚
√2
Então q = (n – 1) é tal que
𝑚
α<q<β.
Se q fosse um número irracional, isto é, não racional,
𝑚𝑞 𝑚
√2 = =( )q seria um número racional produto de fatores racionais.
𝑛−1 𝑛−1
Caso β < 0
Basta aplicar o caso anterior aos números reais – α e – β , em que – α e – β são números
reais positivos.
O caso α = 0 e β > 0 é interessante porque basta considerar o número natural n tal que
1
nβ > 1 ou 0 < < β cuja existência é assegurada pela propriedade arquimediana dos números
n
reais.
4.4 A EQUAÇÃO POLINOMIAL INCOMPLETA xn = α
Para cada número natural n ∈ { 1 , 2 , 3 , ... }e para cada número real α, a equação xn
= α tem solução real.
Para n = 1 , a equação é x = α .
Para n = 2 , 3 , ... , seja α > 1 , isto é , existe β > 0 tal que α = 1 + β e seja A =
{ x ∈ ℝ : x > 0 , xn ≤ α = 1 + β }
Então 1 ∈ A e se x > α então xn > α n = ( 1 + β )n > 1 + nβ > 1 + β = α e assim x ∉ A ; logo
para cada x ∈ A , x ≤ α.
Pelo teorema do completamento do conjunto dos números reais, existe γ ∈ ℝ tal que γ
= sup A.
Caso γ n < α , α – γn > 0 e pela propriedade arquimediana do conjunto dos números
reais, existe um número natural m ∈ { 1 , 2, 3 , ...., } tal que
m( α – γn ) ≥ ( 1 + γ )n – γn
ou equivalentemente
( 1 + γ )𝑛 – γ𝑛
α – γn ≥
m
e então
1 n 1 𝑛 1 𝑛
(γ+ ) = γn + ( 𝑛1 ) γn – 1 + ... + (
𝑛
) ( )
m m 𝑚
1 n n 1 n–1
= γn +
m
[( 1 ) γn – 1 + . . . + ( n ) (m) ]
γ
= γn + ( 1 + )n – γn ≤ γn + α – γn = α
m
1 1
o que mostra que γ + ∈Aeγ< γ+ , o que é uma contradição porque γ é o número real
m m
supremo do conjunto A .
109
Caso γ n > α , γn – α > 0 e pela propriedade arquimediana do conjunto dos números

reais, existe um número natural m ∈ { 1 , 2 , 3 , ...., } tal que
m( γn – α ) ≥ ( 1 + γ )n – γn
ou
( 1 + γ )𝑛 – γ𝑛
γn – α ≥ .
m
1
Existe um número real δ ∈ A tal que γ – < δ ≤ γ , lembrando que 1∈ A e γ ≥ 1 e, então,
m
δn=
1 𝑛 𝑛 1 𝑛 1 𝑛 –1 𝑛
δ > (δ −
n
) = γ – ( 1 ) γn – 1 + ( 2 ) 2 γn – 2 + ... + ( )
n
(𝑛)
𝑚 n 𝑛 𝑛
1 n n 1 n–1
> γn –
n
[( 1 ) γn – 1 + . . . + ( n ) (n) ]
1
= γn – [ ( 1 + γ )n - γn ] ≥ γn + α – γn = α
n
Pela lei da tricotomia para o conjunto dos números reais resta apenas a possibilidade
γn = α .
1
Caso α ∈ ℝ é tal que 0 < α < 1 , a equação xn = > 1 é considerada.
α
4.5 REPRESENTAÇÃO DECIMAL DOS NÚMEROS REAIS
O processo para representação decimal de números reais segue os seguintes passos.

Seja α um número real tal que α > 0 .
1º passo
Seja a0 o maior número pertencente a { 0 , 1 , 2 , ... } tal que a0 < α .
Se a0 = α o processo termina.
Se a0 < α segue o 2º passo
2º passo
Seja a1 o maior número pertencente a { 0 , 1 , 2 , ... } tal que
a1
a0 + ≤α
10
Então a1 ∈ { 0 , 1 , 2 , ... , 9 } porque se a1 ≥ 10 , então
a1
a0 + ≥ a 0 + a1 ≥ a 0 ,
10
o que contraria o fato de a1 ser o maior número inteiro com a propriedade de que
a1
a0 + < α.
10
a1
Se a0 + = α o processo termina.
10
a1
Se a0 + < α segue o 3º passo.
10
3º passo
Seja a2 o maior número pertencente a { 0 , 1 , 2 , ... }, tal que
a1 a2
a0 + + ≤α
10 102
Então a2 ∈ { 0 , 1 , 2 , ... , 9 } porque se a2 ≥ 10 , então
a1 a2 a1 + a2
a0 + + ≥ a0 +
10 102 10
o que contraria o fato de a2 ser o maior número inteiro com a propriedade de que
a1 a2
a0 + + ≤ α. .
10 102
a1 a2
Se a0 + + = α o processo termina.
10 102
a1
Se a0 + < α segue o próximo passo.
10
Caso o processo continue indefinidamente, seja o conjunto
a1 a2 an
A = { q n = a0 + + + ... + : n ∈ { 0 , 1 , 2 , ... } }
10 102 10n
de números racionais que é um conjunto limitado superiormente pelo número real α. Pelo
teorema do completamento dos números reais, o conjunto A admite como supremo o número
real β. Abaixo segue a demonstração da igualdade entre α e β .
Caso β < α , α – β > 0 e existe um número natural m tal que
1
0< <α–β
10𝑚
e
1 a1 a2 am + 1 1
qm + = a0 + + + ... + ≤β+ <α,
10m 10 102 10m 10m
111
o que contraria a propriedade maximal de am . Então β ≥ α mas β não pode ser maior do que
α ( que é um limitante superior de A)
Conclusão β = α .
Na construção da sequência dos dígitos a1 , a2 , ... pertencentes a { 0 , 1 , ... , 9 } não
ocorre que, a partir de um certo número natural N,
an = 9 n = N+1 , N+2 , ...
Porque caso an = 9 para cada número natural n > N ,
α = β é a soma do número racional q N com o supremo do conjunto
9 9
S={ + ... + : n = N+1 , N+2 , ... }
10𝑛 + 1 10𝑛
1 9 9 1 1
que é igual a porque + ... + = –
10𝑁 10𝑛 + 1 10𝑛 10𝑁 10𝑛
9 1
[ 1 + ... + ]
10𝑛 + 1 10𝑛 − 𝑁
1 10𝑁
1−
9 10 − 𝑁
𝑛 10 − 102
𝑛
10𝑛 + 1 1 = 9 ,
1 − 10 10
ou seja
1 a1 a2 aN + 1
α = β = qN + = a0 + + + ... + ≤α,
10N 10 102 10N
o que contraria a propriedade maximal de aN .
Lema 4.4.4 O subconjunto não vazio E dos números racionais

E = { x ∈ ℚ : x > 0 x2 < 2 }
é tal que se x ∈ E, então existe y ∈ E com x < y , isto é , o subconjunto E dos números racionais
não tem supremo no conjunto Q dos números racionais.
Prova
Se x ∈ E e x < 1, então como 1 ∈ E, o lema está provado neste caso.
Se x ∈ E e x > 1, então de x2 < 2 → 2 – x2 > 0 e
2 – 𝑥2
r= >0 2 – x2 < 2x + 1 → 2 < (x + 1)2
2x + 1
2 – 𝑥2
e existe um número racional q tal que 0 < q < 1 e q < . Assim,
2x + 1
2 – 𝑥2
q<
2x + q
2xq + q2 < 2 – x2
( x + q )2 < 2
o que mostra que x < x + q
x + q ∈ ℚ e ( x + q )2 < 2 .
Como consequência, está demonstrado que
√2 = { x ∈ ℚ : x ≤ 0 } ∪ { x ∈ ℚ : x > 0 x2 < 2 }
Analogamente √3 = { x ∈ ℚ : x ≤ 0 } ∪ { x ∈ ℚ : x > 0 x2 < 3 }
√5 = { x ∈ ℚ : x ≤ 0 } ∪ { x ∈ ℚ : x > 0 x2 < 5 }
√7 = { x ∈ ℚ : x ≤ 0 } ∪ { x ∈ ℚ : x > 0 x2 < 7 }.
113
Referências
GUIDORIZZI, H.: Um Curso de Cálculo (V.1): Rio de Janeiro, LTC, 1995.
LIMA, E. L.: Análise Real (V.1) : Rio de Janeiro, IMPA, 1993.
MILIES, C.P.; COELHO, S.P. Números : Uma introdução à Matemática.: São Paulo,
Edusp, 2003
MONTEIRO, L.H.J. : Elementos de Álgebra : Rio de Janeiro, Ao Livro Técnico S.A., 1969
SPIVAK, M.: Calculus. 3ª edição. : Houston, Publish or Perish, 1994.
EISENBERG, M.: Axiomatic theory of sets and classes : New York, Holt, Rinehart and
Winston, 1971.
PINTER, C.C.; Set theory: Reading, Addison-Wesley Pub. Co., 1971.
DODGE, C. W.: Sets, Logic & Numbers : Boston, Prindle, Weber & Schmidt, Inc, 1969.

ReinaldoVianadaCosta Revisada

Enviado por

Direitos autorais:

Formatos disponíveis

ReinaldoVianadaCosta Revisada

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

ReinaldoVianadaCosta Revisada

Enviado por

Direitos autorais:

Formatos disponíveis

1

Dos números naturais aos números reais

Reinaldo Viana da Costa

Reinaldo Viana da Costa

Dos números naturais aos números reais

Dissertação apresentada ao Instituto de

Area de Concentração : Mestrado Profissional

Orientador : Prof. Dr. Hermano de Souza Ribeiro

USP - São Carlos

From natural numbers to real numbers

Master dissertation submitted to the Institute of

Concentration Area: Professional Master Degree

Advisor: Prof. Dr. Hermano de Souza Ribeiro

USP - São Carlos

Palavras-chave: Conjuntos numéricos, Números naturais, Axiomas de Peano, Números

O trabalho apresenta três construções do conjunto dos números naturais. A primeira e

1. O CONJUNTO ℕ DOS NÚMEROS NATURAIS

1.1 O CONJUNTO ℕ = { 1 , 2 , 3 , ...} DOS NÚMEROS NATURAIS :

Uma introdução elementar do conjunto ℕ = { 1 , 2 , 3 , ...} dos números naturais

TEOREMA 1.1.1 LEI DO CANCELAMENTO DA OPERAÇÃO DE ADIÇÃO

TEOREMA 1.1.2 LEI DO CANCELAMENTO DA OPERAÇÃO DE

Consequência: O número natural 1 é o único número natural com a propriedade de que:

1.2 A RELAÇÃO DE ORDEM EM ℕ= { 1 , 2 , 3 , ... }.

Dados os números naturais m, n diz-se que m é menor do que n, e escreve-

quaisquer m, p ∈ ℕ. Em particular, m < m + 1. Segue-se que 1 < n para todo número

TEOREMA 1.2.1 LEI DA TRICOTOMIA

Os resultados seguintes são de demonstração imediata.

TEOREMA 1.2.2 COMPATIBILIDADE DA RELAÇÃO DE ORDEM COM A

1.3 O CONJUNTO ℕ DOS NÚMEROS NATURAIS: UMA

O conjunto de postulados mais conhecido para a construção de números naturais foi

O número natural 3 é definido como o sucessor do número natural 2.

O número natural 4 é definido como o sucessor do número natural 3.

E assim por diante para os demais números naturais.

1.4 A OPERAÇÃO DE ADIÇÃO NO CONJUNTO ℕ DOS

Dados números naturais m e n, definido o número natural soma m + n das parcelas m

TEOREMA 1.4.1 A operação binária interna fechada de adição de números naturais é

Fixado um número natural m, seja A={ n ∈ ℕ: m + n ∈ ℕ }. Então,

(1) 1 ∈ A porque m + 1 = m+ , o sucessor natural do número natural m cuja

(2) Hipótese de indução: se n ∈ A então, por hipótese, existe o número natural

que é o número natural ( m + n )+ sucessor do número natural soma m + n cuja existência

TEOREMA 1.4.2 PROPRIEDADE ASSOCIATIVA RESTRITA PARA A

TEOREMA 1.4.3 PROPRIEDADE ASSOCIATIVA DA OPERAÇÃO DE ADIÇÃO.

Em conclusão, se n ∈ A então n+ ∈ A e, pelo princípio da indução matemática,

TEOREMA 1.4.4 PROPRIEDADE COMUTATIVA DA OPERAÇÃO DE ADIÇÃO.

Em conclusão, se n ∈ A então n+ ∈ A e, pelo princípio da indução matemática, A = ℕ

1.5 A OPERAÇÃO DE MULTIPLICAÇÃO NO CONJUNTO ℕ

A partir dos postulados de Peano, a multiplicação de dois números naturais m e n nesta

A operação de multiplicação no conjunto dos números naturais é uma operação binária

TEOREMA 1.5.1 A operação binária interna fechada de multiplicação de números

Fixado um número natural m seja A={ n ∈ ℕ: m ∙ n ∈ ℕ }. Então

(1) 1 ∈ A porque por definição m ∙ 1 = m .

(2) Hipótese de indução: Se n ∈ A, por hipótese o produto m ∙ n dos fatores m e n

O objetivo é demonstrar que n+ ∈ A, ou seja, que o produto m ∙ ( n+ ) é um número

TEOREMA 1.5.2 PROPRIEDADE DISTRIBUTIVA RESTRITA DA OPERAÇÃO

TEOREMA 1.5.3 EXISTÊNCIA DO ELEMENTO NEUTRO PARA A OPERAÇÃO

TEOREMA 1.5.4 PROPRIEDADE DISTRIBUTIVA DA OPERAÇÃO DE

O objetivo é mostrar que n+ ∈ B.

TEOREMA 1.5.5 PROPRIEDADE ASSOCIATIVA DA OPERAÇÃO DE

TEOREMA 1.5.6 PROPRIEDADE COMUTATIVA DA OPERAÇÃO DE