Universidade Federal do Rio Grande do Norte - UFRN

Centro de Ciências Exatas e da Terra - CCET

Departamento de Matemática - DMAT

JAQUES DIEGO MEDEIROS DA FONSECA

TEORIA INGÊNUA
DOS CONJUNTOS NUMÉRICOS

NATAL
AGOSTO DE 2019

1
 Universidade Federal do Rio Grande do Norte - UFRN
Sistema de Bibliotecas - SISBI
Catalogação de Publicação na Fonte. UFRN - Biblioteca Setorial Prof. Ronaldo Xavier de Arruda - CCET

Fonseca, Jaques Diego Medeiros da.

Teoria ingênua dos conjuntos numéricos / Jaques Diego
Medeiros da Fonseca. - 2019.
35f.: il.

Dissertação (mestrado) - Universidade Federal do Rio Grande

do Norte, Centro de Ciências Exatas e da Terra, Programa de Pós-
Graduação em Matemática em Rede Nacional. Natal, 2019.
Orientador: Ronaldo Freire de Lima.

1. Matemática - Dissertação. 2. Conjuntos numéricos -

Dissertação. 3. Operações - Dissertação. 4. Cardinalidade -
Dissertação. I. Lima, Ronaldo Freire de. II. Título.

RN/UF/CCET CDU 51

Elaborado por Joseneide Ferreira Dantas - CRB-15/324

 JAQUES DIEGO MEDEIROS DA FONSECA

TEORIA INGÊNUA
DOS CONJUNTOS NUMÉRICOS

Dissertação de Mestrado apresentada ao

Programa de Pós-Graduação em Mate-
mática em Rede Nacional, do Departa-
mento de Matemática da Universidade
Federal do Rio Grande do Norte, como
requisito parcial para obtenção do Título
de Mestre em Matemática. Área de con-
centração: Teoria dos Conjuntos.

UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE - UFRN

DEPARTAMENTO DE MATEMÁTICA
PROGRAMA DE PÓS-GRADUAÇÃO EM MATEMÁTICA EM
REDE NACIONAL

Orientador: Prof. Dr. Ronaldo Freire de Lima

NATAL
AGOSTO DE 2019

2
 JAQUES DIEGO MEDEIROS DA FONSECA

TEORIA INGÊNUA
DOS CONJUNTOS NUMÉRICOS
Dissertação de Mestrado apresentada ao
Programa de Pós-Graduação em Mate-
mática em Rede Nacional, do Departa-
mento de Matemática da Universidade
Federal do Rio Grande do Norte, como
requisito parcial para obtenção do Título
de Mestre em Matemática. Área de con-
centração: Teoria dos Conjuntos.

Dissertação de Conclusão de Curso apresentado e aprovado em / / ,

pela seguinte Banca Examinadora:

BANCA EXAMINADORA

Prof. Dr. Ronaldo Freire de Lima  Orientador

Universidade Federal do Rio Grande do Norte

Prof. Dr. Jaques Silveiro Lopes

Universidade Federal do Rio Grande do Norte

Prof. Dr. Carlos Alexandre Gomes da Silva

Universidade Federal do Rio Grande do Norte

Prof. Dr. Daniel Teixeira dos Santos

Examinador convidado

3
 Agradecimentos
A Deus, por tudo em minha vida!
A minha mãe, Maria José Medeiros da Fonseca, por tudo que ensinou a fazer
e não fazer, estar sempre ao meu lado, ter me incentivado a buscar sempre mais
e não desistir nunca, por ter me tornado a pessoa honesta que sempre fui e todo
amor que me proporcionou.
Ao meu pai, Antônio Jaques da Fonseca, por tudo que me ensinou, todo amor
que me proporcionou, ter me dado todo o tempo necessário para me dedicar aos
estudos.
A minha esposa, Renata Costa Pereira, por todo o amor, todo o apoio em tudo
que faço, toda a ajuda.
Aos meus lhos, Jaques Davyd A. da Fonseca, Lucy Marcelly D. da Fonseca,
Tarso F. Costa Lima e Luna Manuele D. da Fonseca, por todo amor, todo carinho
e por momentos e emoções inesquiváveis.
Ao meu orientador, Ronaldo Freire de Lima, pelo que me ensinou durante todo
o mestrado e a ajuda imprescindível no desenvolvimento deste trabalho.
A minha família, em geral, por toda a ajuda.
A todos os meus professores do PROFMAT - UFRN e da minha graduação em
matemática na UFRN pela força e todo o ensinamento na área de matemática e
didática em sala de aula.
À Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES),
pelo apoio nanceiro.

4
 Resumo
O Trabalho em questão tem como objetivo trazer a luz à discussão sobre as
convenções nas operações matemáticas realizadas nos conjuntos numéricos, bem
como abordar o conceito de cardinalidade de conjuntos utilizando uma linguagem
acessível a alunos do ensino médio.

Palavras-chave: Conjuntos Numéricos; Operações; Cardinalidade.

Abstract
This manuscript aims to shed light on the discussion of conventions in mathe-
matical operations performed on numerical sets, as well as addressing the concept
of cardinality of sets at a high school level.

Keywords: Numerical Sets; Operations; Cardinality.

5
Conteúdo

1 Conjuntos 8
1.1 Conceitos Básicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.2 Operações entre Conjuntos . . . . . . . . . . . . . . . . . . . . . . . 9

2 Conjuntos Numéricos 11
2.1 Números Naturais . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.2 Números Inteiros . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.3 Números Racionais . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.4 Números Reais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19

3 Cardinalidade de Conjuntos 30

6
Introdução
Neste trabalho, faremos uma breve discussão acerca dos conjuntos numéricos
elementares do ponto de vista estrutural. Para tanto, daremos uma atenção es-
pecial às operações denidas nesses conjuntos, bem como aos aspectos relativos à
cardinalidade dos mesmos.
Nossa motivação parte da constatação de que os estudantes, de modo geral,
veem as operações em conjuntos numéricos com meras convenções, arbitrariamente
denidas e sem justicativa alguma. O caso notório é a clássica regra de multipli-
cação de números inteiros negativos: menos por menos dá mais”.
Nesse contexto, percebemos também uma ausência de discussão dos concei-
tos relacionados à cardinalidade de conjuntos numéricos. Mais especicamente,
ignoram-se certos fatos como a enumerabilidade dos números racionais e a não
enumerabilidade dos números irracionais.
Nossa proposta, então, é a de discutir esses importantes aspectos relativos aos
conjuntos numéricos em uma linguagem acessível a alunos do ensino médio.
O texto é organizado da seguinte forma. Apresentamos, no capítulo 1, alguns
conceitos fundamentais da teoria dos conjuntos. No capítulo 2, introduzimos, jun-
tamente com suas operações, os conjuntos numéricos elementares, quais sejam, o
dos naturais (N), o dos inteiros (Z), o dos racionais (Q) e o dos reais (R). No
capítulo 3, introduzimos o conceito de cardinalidade e enumerabilidade de conjun-
tos, estabelecendo, inclusive, a enumerabilidade de Q e a não enumerabilidade de
R, citadas acima. Concluímos, então, com a apresentação do célebre Teorema de
Cantor, segundo o qual, a cardinalidade do conjunto das partes de um conjunto
arbitrário, A, é sempre maior que a cardinalidade do próprio A.

7
Capítulo 1
Conjuntos
O conceito matemático de conjunto pode ser usado como fundamento para toda
a matemática conhecida.”
Paul R. Halmos

Neste capitulo, para futura referência, introduziremos as notações e conceitos

fundamentais da Teoria dos Conjuntos.

1.1 Conceitos Básicos

Na Matemática existem alguns conceitos ditos primitivos, os quais não admi-

tem uma denição formal. Em Geometria, por exemplo, reta, ponto e plano são
conceitos primitivos.
Na teoria dos conjuntos, conjunto, elemento e pertinência são conceitos pri-
mitivos. Informalmente, um conjunto A é uma coleção qualquer de objetos, ditos
elementos de A. Se a é um elemento do conjunto A, diz-se que a pertence a A e
escreve-se a ∈ A.
Caso a não seja um elemento de A, dizemos que a não pertence a A e escrevemos
a∈
/ A.
Há, pelo menos, duas maneiras de se descrever um conjunto. A primeira, é
simplesmente listar os seus elementos. Por exemplo A = {a, e, i, o, u}.
A segunda é identicar os seus elementos através de uma propriedade que lhes
seja comum. Assim, o conjunto A acima pode ser descrito como

A = {x; x é vogal do alfabeto latino}.

O conjunto que não possui elementos é dito vazio e é denotamos por ∅.

Dizemos que dois conjuntos A e B são iguais, quando os elementos de A são
elementos de B e vice-versa. Nesse caso, escrevemos A = B.

8
 Quando todos os elementos de um conjunto A pertencem a um conjunto B ,
dizemos queA está contido em B , e escrevemos A ⊂ B , ou, equivalentemente, que
B contém A, e escrevemos B ⊃ A.
Quando um conjunto A não está contido em um conjunto B , escrevemos A 6⊂ B
ou B 6⊃ A.
Verica-se facilmente que a inclusão tem as seguintes propriedades fundamen-
tais, as quais são válidas para quaisquer conjuntos A, B e C:

• Reexividade: A⊂A

• Anti-simetria: A⊂B e B⊂A⇔A=B

• Transitividade: A⊂B e B⊂C ⇒A⊂C

1.2 Operações entre Conjuntos

Podemos obter conjuntos a partir de outros, efetuando-se operações entre os

mesmos, sobre as quais faremos uma breve discussão.

União e Intersecção
Sejam A e B dois conjuntos quaisquer. A união entre os conjuntos A e B , A∪B ,
e a intersecção entre A e B , A ∩ B , são denidas respectivamente por

A ∪ B = {x; x ∈ A ou x ∈ B} e A ∩ B = {x; x ∈ A e x ∈ B}.

Por exemplo, se A = {a, e, i, u} e B = {i, o, u}, então

A ∪ B = {a, e, i, o, u} e A ∩ B = {i, u}.

A união e a intersecção de conjuntos têm as seguintes propriedades fundamen-

tais, as quais são válidas para quaisquer conjuntos A, B e C:

• ∅⊂A

• A∪∅=A e A∩∅=∅

• Comutatividade: A∪B =B∪A e A∩B =B∩A

• Associatividade: A ∪ (B ∪ C) = (A ∪ B) ∪ C e A ∩ (B ∩ C) = (A ∩ B) ∩ C

• Idempotência: A∪A=A e A∩A=A

• A⊂B ⇔A∪B =B e A⊂B ⇔A∩B =A

9
Diferença
Sejam AeB dois conjuntos quaisquer. A diferença entre AeB é, por denição,
o conjunto formado pelos elementos que pertencem a A e não pertencem a B, a
qual denotamos por A − B. Assim,

A − B = {x ∈ A; x ∈
/ B}.

A = {a, e, i, o, u} e B = {a, i, o}, então A − B = {e, o}.

Por exemplo, se
No caso particular queA ⊂ B , a diferente B − A é tambem chamada de
complementar de A com relação a B .

Conjunto das Partes

Dado um conjunto A, o conjunto das partes de A, denotado por P (A), é aquele

formado por todos os subconjuntos de A, isto é

P (A) = {X; X ⊂ A}.

Por exemplo, se A = {a, e, i}, então

P (A) = {∅, {a}, {e}, {i}, {a, e}, {a, i}, {e, i}, {a, e, i}}.

No exemplo acima temos que a quantidade de elementos do conjunto partes de

3
A é igual a 8 = 2 . Através da Analise Combinatória, pode-se vericar que este
fato é geral, isto é, se um conjunto possuir n elementos, então o conjunto de suas
n
partes possui 2 elementos.
Este e outros fatos nos levam a considerar o conceito de cardinalidade de conjun-
tos nitos. Mais precisamente, dizemos que um conjunto A que possui n elementos
tem cardinalidade n, e escrevemos #A = n. Assim, podemos dizer que:

#A = n ⇒ #P (A) = 2n .
Uma vez que, para todo número natural n, a desigualdade n < 2n é verdadeira,
podemos dizer que, para todo conjunto nito A, o conjunto das partes de A tem
cardinalidade maior que a de A. Neste trabalho, estenderemos a noção de cardina-
lidade (comparativa) para conjuntos innitos, e vericaremos que essa propriedade
é verdadeira também nesse caso.

10
Capítulo 2
Conjuntos Numéricos
Deus criou os números naturais; tudo o mais é produto da mão do homem.”
Leopold Kronecker

Neste capítulo, introduziremos os conjuntos numéricos fundamentais junta-

mente com suas operações. Nos concentraremos especialmente nas propriedades
dessas operações, bem como na sua inuência na própria maneira como as opera-
ções são denidas.

2.1 Números Naturais

(i)
A teoria moderna dos números naturais foi introduzida por Giussepe Peano ,a
qual baseia-se em quatro postulados, presentemente conhecidos como Axiomas de
Peano. A partir dos mesmos, constrói-se a estrutura formada pelos números natu-
rais e suas operações. Tomaremos essa estrutura, então, como ponto de partida do
processo de construção dos outros conjuntos numéricos fundamentais (excetuando-
se o dos números complexos).
Dessa forma, consideraremos estabelecido o conjunto

N = {1, 2, 3, 4, ...}

dos números naturais, juntamente com as suas operações de adição (+) e multi-
plicação (·), as quais possuem as seguintes propriedades, validas para quaisquer
naturais a, b e c:

• Comutatividade: a+b=b+a e a·b=b·a

• Associatividade: a + (b + c) = (a + b) + c e a · (b · c) = (a · b) · c
(i)
Peano, G.: Arithmetices principia, nova methodo exposita (Torino: Bocca)  1889.

11
 • Elemento neutro: a·1=a

• Distributiva da adição com relação à multiplicação: a · (b + c) = a · b + a · c

Dene-se ainda em N a potenciação, que nada mais é que uma multiplicação

na qual todos os fatores são iguais. Mais precisamente, dados a, n ∈ N, a potência
de base
ae expoente
n é o número natural an dado por:

an = a
| · a {z
· ... · a} .
n fatores

A potenciação em N têm as seguintes propriedades, validas para quaisquer a,

b e n ∈ N.

• Produto de potências de mesma base: an · am = an+m

• Potência de potência: (an )m = an·m

• Potência de um produto: (a · b)n = an · bn

2.2 Números Inteiros

Dito de forma simples, o conjunto dos números inteiros é obtido a partir do

conjunto dos números naturais, acrescentando-se a esse os números negativos e o
zero.
Uma longa história envolve a criação do zero, o qual desempenha a impor-
tante função de dígito no sistema numérico decimal e, enquanto número, tem a
propriedade fundamental de ser o elemento neutro da adição.
Um número inteiro negativo é representado por −a, em que a ∈ N. Uma
ideia natural associada aos números negativos é a de dívida”, ou débito”. Nessa
analogia, os números naturais são ditos positivos, e aos mesmos associa-se a ideia
de excesso”, ou crédito”. Assim, a um débito de 5 reais, por exemplo, é associado
o número negativo -5, enquanto a um crédito de 10 reais, associa-se o número
positivo 10. Nesse contexto, o zero representa uma ausência de crédito ou débito.
O conjunto dos números inteiros é denotado por Z, isto é,

Z = {... − 4, −3, −2, −1, 0, 1, 2, 3, 4, ...}

Vale ressaltar que, por denição, N ⊂ Z, e também que as relações menor que”
(<) e maior que” (>) se estendem de N para Z. Mais especicamente, valem as
desigualdades :

• · · · −4 < −3 < −2 < −1 < 0 < 2 < 3 < 4 · · ·

12
 • · · · 4 > 3 > 2 > 1 > 0 > −1 > −2 > −3 > −4 · · · .

Dados inteiros a e b, escreve-se a 6 b (respec. a > b) para indicar que a é menor

que (respec. maior que), ou igual a, b.
Um conceito importante acerca de números inteiros é o de módulo ou valor
absoluto. Consideremos a situação em que uma pessoa, João digamos, empresta 5
reais a Pedro. Nesse caso, dizemos que Pedro tem com João uma dívida de 5 reais”
e não que Pedro tem com João uma dívida de menos 5 reais”. Assim, podemos
dizer que 5 é o valor absoluto da dívida de João com Pedro.
Denotamos, então, o valor absoluto ou, equivalentemente, módulo de um nú-
mero inteiro a∈Z por |a|. Por exemplo, | − 3| = |3| = 3.
Retornemos à ideia de associar-se números negativos a dívidas (débitos) e nú-
meros positivos a créditos, como numa conta corrente. É natural pensamos que
uma dívida de 3 acrescida de uma dívida de 4 resultará numa dívida de 7, assim,
−3 + (−4) = −7. Por outro lado, uma dívida de 3 acrescida de um pagamento ou
crédito de 2 diminuirá a dívida para 1, isto é, −3 + 2 = −1.
Procedendo-se dessa forma, justicamos as regras usuais de adição em Z. Assim,
dados números inteiros quaisquer a e b, tem-se:

• Se a e b têm o mesmo sinal, isto é, se são ambos positivos ou ambos negativos,

a + b é o inteiro cujo sinal é o sinal comum a a e b, e cujo módulo é igual a
|a| + |b|.
• Se a e b têm sinais opostos e, por exemplo, |a| > |b|, a + b é o inteiro cujo
sinal é o sinal de a e cujo módulo é igual a |a| − |b|.
• Se a e b têm sinais oposto e |a| = |b|, a + b é igual a 0.
Sendo a número inteiro qualquer, temos que

• a + 0 = a, isto é, 0 é o elemento neutro da adição em Z.

Uma vez denida a adição em Z, a multiplicação de um inteiro qualquer por um
inteiro positivo pode ser facilmente denida como uma adição de parcelas iguais.
Mais precisamente, se a e b são números inteiros com a > 0 e b 6= 0, o produto
ab é o inteiro cujo sinal é igual ao sinal de b e cujo módulo é igual a |a||b|. Se a = 0
ou b = 0, ab = 0.
Resta-nos denir a multiplicação de dois números negativos, isto é, uma mul-
tiplicação do tipo (−2) · (−3).
Observemos inicialmente que não há uma situação real que traduza tal opera-
ção, pois não há sentido em tomar-se uma adição de menos duas parcelas iguais a
−3 ou menos três parcelas iguais a −2. Dessa forma, para denimos essa multipli-
cação, devemos adotar um ponto de vista teórico, qual seja, o de se considerar a
multiplicação em Z como uma extensão da multiplicação em N.

13
 Assim, devemos denir a multiplicação de dois números negativos de uma ma-
neira tal que essa operação tenha, em Z, as propriedades fundamentais. Isso nos
sugere que, ao multiplicarmos dois números inteiros quaisquer, em particular dois
inteiros negativos, o produto obtido seja um inteiro com módulo igual ao produto
dos módulos dos fatores. Dessa forma, para a multiplicação (−2) · (−3), teríamos
dois resultados possíveis, 6 e −6, uma vez que estes são os únicos inteiros que têm
módulo igual a | − 2| · | − 3| = 2 · 3 = 6.
Vejamos que, se tivéssemos (−2) · (−3) = −6, a propriedade fundamental de
distributividade da adição com respeito à multiplicação não seria válida em Z. De
fato, nesse caso, teríamos

(−2) · 3 + (−2) · (−3) = −6 + (−6) = −12.

Por outro lado, −2 · (3 + (−3)) = −2 · 0 = 0, o que nos dá

−2 · (3 + (−3)) 6= −2 · 3 + (−2) · (−3).

Segue-se que devemos ter (−2) · (−3) = 6. Fica, então, justicada a regra seguinte:
• Sejam a e b números inteiros negativos. o produto ab é o número inteiro cujo
módulo é |a| · |b|.
Vimos ainda que, em Z, para cada número positivo corresponde um negativo
e vice-versa. Esse fato nos permite introduzir o conceito de simetria. Dado um
número inteiro a ∈ Z, o oposto ou simétrico de a é o inteiro b ∈ Z, tal que
a + b = 0. Como a adição é comutativa, se b é o simétrico de a, então a é o
simétrico de b. Nesse caso, dizemos que a e b são simétricos.
Assim, 1 e −1 são simétricos, bem como 3 e −3. Em geral, se a ∈ Z é um inteiro
positivo, então, o simétrico de a é −a. Para que essa regra seja válida, quando a é
negativo, convenciona-se, por exemplo, que −(−1) = (−1) · (−1) = +1 = 1. Assim
podemos dizer que o simétrico de a ∈ Z é −a ∈ Z.
Introduziremos a denição de radiciação em Z. Se a e b são números inteiros,
tais que a > 0 e a = b, n ∈ N, dizemos que a é a raiz n-ésima de b, a qual
n
√n
denotamos por b. Note que a radiciação, em geral, não está bem denida para
os inteiros negativos. De fato, se b < 0 e n é par, não existe um inteiro a tal que
an = b, pois, nesse caso, an > 0.

2.3 Números Racionais

Introduziremos agora os números racionais. Para tanto admitiremos conhecidas

e estabelecidas as frações de números naturais, bem como suas representações
decimais.

14
 O conjunto dos números racionais, Q, é denido como uma extensão do con-
junto das frações, da mesma maneira que Z é concebido como uma extensão de
N.
a
Considera-se, para cada fração (positiva)
b
, uma fração negativa
− ab , e dene-se
Q como o conjunto formado pelas frações que são positivas ou negativas, junta-
mente com 0.
Introduziremos, agora, algumas notações que nos permitirão descrever Q de
uma maneira mais homogênea, bem como estender a esse conjunto os conceitos de
igualdade, adição e multiplicação de frações.
a
Uma vez que uma fração
b
é interpretada como o resultado de se tomar a vezes
1
a medida , é natural denirmos
b

0
= 0, ∀ a ∈ N.
a
1
Por outro lado, uma fração
é tida como a medida de cada um dos segmentos
b
obtidos quando se divide um segmento de comprimento 1 em b partes iguais.
Nesse sentido, não se pode estender o conceito de fração de uma maneira tal que
se permitam frações de denominador zero, pois estas não deniriam subunidades,
o que subverteria esse conceito tal como ele é.
Adotando-se então a convenção

a −a a
− = = ,
b b −b
tem-se  
p
Q= ; p, q ∈ Z e q 6= 0 ·
q
A relação de igualdade do conjunto das frações estende-se naturalmente a Q,
p m
isto é, dados ,
q n
∈ Q, dene-se
p m
= ⇔ pn = qm.
q n
−1
Por exemplo,
2
= −2
4
e
−3
−5
= 35 .
p
Note que, dado p ∈ Z, tem-se p = , isto é, todo número inteiro é também um
1
número racional. Dessa forma, valem as seguintes relações de inclusão

N ⊂ Z ⊂ Q,

ou seja, Q é também uma extensão de Z.

Num contexto de unidades monetárias, como o real, pode-se pensar em frações
1 50
como subunidades destas. Por exemplo,
2
= 100 = 0, 5 representaria meio real

15
ou, equivalentemente, 50 centavos. Sendo assim, como zemos com os inteiros
negativos, podemos associar frações negativas a dívidas para , a partir daí, denir
as operações de adição e multiplicação em Q.
Dados p, q , m, n ∈ Z, q , n 6= 0, denem-se

p m pn + qm p m pm
+ = e · = ·
q n qn q n qn
Além disso, a subtração em Q é denida por

p m p  m  pn − qm
− = + − =
q n q n qn
e a divisão por
p/q p n pn
= · = , m 6= 0.
m/n q m qm
Note que a divisão por zero não está denida.  
1 −4 2/3
Determinemos, como exemplo, o valor da expressão − · − .
5 7 5/9
Pelas denições anteriores, temos
     
1 −4 2/3 1 −4 2 9 1 −4 6
− · − = − · − · = − · − =
5 7 5/9 5 7 3 5 5 7 5
   
1 −4 −6 1 −62 62
= − · + = − · = ·
5 7 5 5 35 175
Vale Salientar que, em Q, a adição e a multiplicação têm as propriedades funda-
mentais da Aritmética, o que pode ser facilmente vericado a partir das denições
dadas.
Convém observar ainda que a adição e a subtração de números racionais, assim
como a multiplicação e a divisão, são operações invernas uma da outra, conforme
as identidades
   
p m m p m m p
• q
+ n
− n
= q
− n
+ n
= q
, q ,n 6= 0;

p/q m p/q · m/n p

• m/n
· n
= m/n
= q
, com q ,m,n 6= 0·
Esse fato nos permite resolver, em Q, equações do tipo

ax + b = 0 a,b ∈ Z, a 6= 0.

Com efeito, para isolamos x no primeiro membro da equação dada, basta sub-
trairmos b de ambos os seus membros e, em seguida, devirmos por a, isto é,

ax −b −b
ax + b = 0 ⇔ (ax + b) − b = 0 − b ⇔ ax = −b ⇔ = ⇔x= ·
a a a
16
 −5
Por exemplo, a equação 2x + 5 = 0 tem solução x=
2
·
Diz-se que uma operação está bem denida num conjunto numérico A, quando,
através dela, ao operarmos dois elementos quaisquer de A, o resultado ainda é um
elemento de A.
Dessa forma, a adição está bem denida em N, Z e Q, enquanto a subtração
está bem denida em Z e Q, porém não em N. Com efeito, 2 e 3 são números
naturais, entretanto, 2−3∈ / N.
Conjuntos como Z e Q, que têm bem denidas as operações de adição e sub-
tração, juntamente com suas propriedades fundamentais, são chamados de anéis.
Note que, em Q, além da adição e da subtração, estão bem denidas as opera-
ções de multiplicação e divisão, o que caracteriza esse conjunto com um corpo. Tal
característica é o que diferencia, em termos estruturais, os conjuntos Z e Q. De
fato, embora a adição, a subtração e a multiplicação estejam bem denidas em Z,
a divisão não está, pois ao dividirmos dois números inteiros quaisquer, nem sempre
obtemos um número inteiro como resultado. Dessa forma, Z é um anel, mas não é
um corpo.
Vejamos agora como se dene a potenciação de números racionais.
p
Dados p, q ∈ Z, q 6= 0, e n ∈ N, denimos a potência de base
q
e expoente n
por
 n
p p p p pn
= · ··· = n·
q q q q q
| {z }
n fatores

Assim, tem-se

 2 3
32 (−2)3

3 9 −2 −8
= 2 = e = 3
= ·
7 7 49 5 5 125
p
Observemos agora que, dados, m, n ∈ N e
q
∈ Q, vale

 m  n  m+n
p p pm pn pm+n p
· = m · n = m+n = , (2.1)
q q q q q q

isto é, a regra para multiplicação de potências racionais de mesma base é idêntica

àquela para potência de números naturais.
Nosso objetivo agora é estender a denição de potenciação em Q para potências
de expoente negativo ou nulo, de tal forma que a equação (2.1) permaneça válida.
1
Tomaremos, por exemplo, a fração . Temos que
2
 1  1+0
1 1 1
= = ·
2 2 2

17
 Se quisermos então que seja válida a equação (2.1), devemos ter

 1+0  1  0  0
1 1 1 1 1 1
= = · = · ,
2 2 2 2 2 2

o que nos sugere denir

 0
1
= 1.
2
p
O mesmo raciocínio poderia ser aplicado a qualquer número racional
q
6= 0, o
que nos leva à seguinte denição:

 0
p p
= 1, ∀ ∈ Q, p 6= 0.
q q

Note que não há denição para a potência 00 .

p
Vejamos agora que, dados n∈N e
q
∈ Q, p 6= 0, tem-se

 0  −n+n
p p
1= = ·
q q

Então, se desejarmos que a equação (2.1) permaneça verdadeira, devemos ter

 −n  n
p p
1= · ,
q q

sugerindo a denição

 −n  n
p q p
= , ∀ ∈ Q, p 6= 0.
q p q

Dessa maneira, temos

 −1  1  −3  3
1 2 −3 5 125 125
= =2 e = = =− ·
2 1 5 −3 −27 27

Vejamos ainda que, se m, n ∈ N, então,

 m n  m n  mn
p p pmn p
= m
= mn = ,
q q q q
e n n  n  
(pa)n pn an
     
p a pa p a n
· = = = · = · ·
q b qb (qb)n q n bn q b

18
 Por exemplo,

 3 !2 6 2  2  2
(−1)6
  
−1 −1 1 1 3 1 3
= = 6
= e · = · ·
3 2 3 729 5 2 2 2

p a n
a
= pq , n ∈ N, dizemos que ab é a


Se e são racionais positivos tais que
b q q b
raiz n-ésima p
de , que é denotada por n
q
p
q
. Note que, neste caso,

r √
n p
p
n
= √ ·
q n q

a p
Vale a mesma denição quando
b
e
q
são racionais negativos e n é ímpar.
Logo,
r r r
36 6 4 16 2 3 64 4
= , = e − =− ·
25 5 81 3 343 7
Para nalizarmos esta seção, observemos apenas que a representação decimal
de um racional negativo,− ab , a,b ∈ N, é feita acrescentando-se o sinal menos” (−)
a
à representação decimal de . Por exemplo,
b

1 1
− = −0, 5 e − = −0, 333333 · · · .
2 3

2.4 Números Reais

O conjunto dos números reais R é obtido pela união do conjunto dos números
racionais com o conjunto dos números irracionais, os quais representam medidas
que não são realizadas por frações.
Pensava-se, na antiguidade, que qualquer medida podia ser representada por
um fração ou, equivalentemente, que dois segmentos de reta quaisquer era sempre
comensuráveis.
Denição 1. Dois segmentos de reta AB e CD são ditos comensuráveis se existe
um segmento de reta P Q que cabe uma quantidade inteira de vezes em AB e CD.

Suponhamos, por exemplo, que AB tem comprimento 1 e CD tem comprimento

3/2. Então, AB e CD P Q, de comprimento
são comensuráveis, pois um segmento
1/2, cabe duas vezes em AB e três vezes em CD .
Suponhamos agora que as medidas de AB e CD sejam respectivamente iguais
a 2/3 e 5/2. É fácil ver que um segmento P Q de medida 1/6 cabe quatro vezes em
AB e quinze vezes em CD. Logo, AB e CD são comensuráveis.

19
 De modo geral, se AB tem medida a/b e CD tem medida c/d, então AB e CD
são comensuráveis, pois um segmento P Q de medida 1/bd cabe ad vezes em AB e
cb vezes em CD.
Dessa forma, se as medidas de todos os segmentos fossem representadas por
frações, dois quaisquer deles seriam sempre comensuráveis. Vejamos, agora, que
isso não é verdade.
Para tanto, consideremos um quadrado ABCD cujos lados têm ambos medida
igual a 1. Provaremos que a diagonal AC desse quadrado e um qualquer de seus
lados não são comensuráveis, isto é, são incomensuráveis.
Suponhamos, por absurdo, que AC e BC são comensuráveis. Nesse caso, existe
um segmento P Q que cabe um número inteiro de vezes em AC bem como em BC .
Denotando-se esses números inteiros por m e n, respectivamente, teremos, pela
denição de fração, que o segmento P Q tem medida 1/n e AC tem medida m/n.
Podemos supor que a fração m/n está na forma reduzida, pois, caso contrário,
poderíamos eliminar os fatores comuns a m e n e obter uma fração reduzida e
equivalente a esta.
Aplicando o Teorema de Pitágoras ao Triângulo retângulo ABC , obtemos

 m 2
= 2 ⇒ m2 = 2n2 . (2.2)
n
Essa equação nos diz que m2 é um múltiplo de 2, isto é, um número par. É
fácil vericar que o quadrado de um número ímpar é também um número ímpar.
Sendo assim, concluímos que m é par. Logo, existe um inteiro a tal que m = 2a.
Combinando-se essa igualdade com a equação (2.2), temos

(2a2 ) = 2n2 ⇒ 4a2 = 2n2 ⇒ n2 = 2a2 .

Segue-se que n2 , e portando n, é um número par. Dessa forma, m e n são,

ambos, pares. Tal fato, porém, contradiz a hipótese de que a fração m/n está na
forma reduzida, o que nos leva a concluir que AC e BC são incomensuráveis.
Sabemos que segmentos representados por frações, isto é, números racionais,
são sempre comensuráveis. Portanto, a medida de AC não é um número racional.
Chamando-se essa medida de
√ d, temos que d2 = 2. Por essa razão, denotamos esse
número por 2. √
Números como 2, os quais representam medidas que não podem ser realizadas
por frações, são chamados de irracionais, mais especicamente, irracionais positi-
vos. Para cada número irracional positivo, dene-se um número irracinal negativo,
√
que é o oposto daquele. Por exemplo, o oposto do número irracional positivo
√ 2
é o número irracional negativo − 2.
Um outro fato geométrico relacionado aos números irracionais é o de que
quando se divide o comprimento de uma circunferência qualquer pelo seu diâ-

20
metro, obtém-se sempre o mesmo número, o qual é simbolizado pela letra grega
π. √
Assim como 2, π é um número irracional. No entanto, a demonstração desse
fato é bastante difícil. Para se ter uma ideia disso, vale salientar que a irraciona-
lidade de π só foi demonstrada no século XVIII por J. H. Lambert,
√ em contraste
com a de 2, que, como vimos, foi feita por volta do século IV a.C.
Provaremos, no próximo capítulo, que o conjunto dos números irracionais é
innito. No entanto, podemos nos convencer também da veracidade desse fato
através da representação decimal desses números.
√
Vejamos o caso de
√ 2. Uma vez que o quadrado desse número é 2, temos que
√
1 < 2 < 2. Logo, podemos dizer que 2 = 1 + α com 0 < α < 1. Tomando-se
α1
α ∈ N tal que α101 < α, teremos 1 + √ 2
. Logo,

2
(10 + α1 )2

 α1 2 10 + α1
1+ <2⇒ <2⇒ < 2,
10 10 100
o que nos dá

(10 + α1 )2 < 200. (2.3)

Uma vez que(10 + 4)2 = 142 = 196 e (10 + 5)2 = 152 = 225, vê-se que 4 é
o maior valor de α1 , para o qual a desigualdade (2.3) é verdadeira. Sendo assim,
√
podemos dizer que 1,4 é o maior número decimal que é menor que 2 e que tem
uma casa decimal.
Tomemos agora α2 ∈ N tal que

4 α2
+ < α.
10 100
Procedendo de maneira análoga, conclui-se que 1 é o maior valor de α2 , para o
qual a desigualdade
 2
4 α2
1+ + <2
10 100
√
é verdade, isto é, 1,41 é o maior número decimal que é menor que 2 e que tem
duas casas decimais.
Esse processo pode ser continuado indenidamente, obtendo-se, a cada etapa,
√
uma aproximação decimal de 2 com um número maior de casas decimais. Se
assim o zéssemos, obteríamos nas cinco etapas seguintes as aproximações 1,414;
1,14142; 1,41421; 1,414213 e 1,4142135.
√
Dessa forma, assim como as frações representadas por dízimas periódicas, 2
é o limite de uma soma innita:
√ 4 1 4 2 1 3 5
2=1+ + 2 + 3 + 4 + 5 + 6 + 7 + · · · = 1, 4142135 · · · . (2.4)
10 10 10 10 10 10 10
21
 A interpretação da equação (2.4) é a seguinte:

(i ) começando-se por 1 e adicionando-se sucessivamente

√
4
,
1
,
10 102 103
4

etc., nunca se atingirá 2, porém, a cada etapa, se estará mais próximo

dele;
√
(ii) a soma das n primeiras parcelas pode car tão próxima de 2
quando se queira, bastando para tanto que se tome n sucientemente
grande.

√
Como se vê, as propriedade (i) e (ii), que caracterizam 2 como limite de uma
soma innita, são as mesmas que caracterizam como tal uma fração representada
√
por uma dízima periódica. Observe, porém que na representação decimal de 2
não há um número que se repete ao longo desta, de forma a constituir um período.
Com efeito, se fosse esse o caso, obteríamos, a partir dessa representação decimal,
√
uma fração igual à 2, contradizendo o fato de que esse número é irracional.
√
Sendo assim, a representação decimal de 2 tem innitas casas decimais e não
constitui uma dízima periódica. Neste contexto, essa é a propriedade que distingue
os números irracionais dos racionais.
Assim, um número é irracional se, e somente se, sua representação decimal
tem innitas casas decimais e não constitui uma dízima periódica.
Verica-se, por exemplo, que a representação decimal de π é

π = 3, 14159 · · · .

Com o auxílio de computadores, pode-se obter até milhões de casas decimais

de um número irracional como π. Note que, no entanto, em constaste com o com-
portamento das dízimas periódicas, as casas decimais de um número irracional
distribuem-se de maneira aleatória, isto é, o conhecimento de uma delas, por si só,
não dá informação alguma sobre o valor da próxima.
É fácil ver que há innitas maneiras de se obter uma representação decimal
innita, de tal modo que esta não seja uma dízima periódica. Assim temos que o
conjunto dos números irracionais é innito.
Denição 2. O conjunto dos números reais, denotado por R, é o conjunto for-
mado pela união do conjunto dos números racionais com o conjunto dos números
irracionais, isto é,

R = {x; x é racioanl ou x é irracional}.

Segue-se dessa denição que

N ⊂ Z ⊂ Q ⊂ R.

22
 Além disso, no universo dos números reais, o conjunto dos números irracionais
é o complementar de Q, R − Q.
isto é, é o conjunto
A propriedade fundamental do conjunto R é que uma medida qualquer é sempre
representada por um número real e reciprocamente. Assim, o comprimento de
qualquer segmento de reta é igual a um número real positivo.
Mais precisamente, se tomamos uma reta r e representarmos nesta o conjunto
R, teremos que, para cada número real corresponderá um único ponto de r e vice-
versa, isto é, existe uma correspondência biunívoca entre R e os pontos da reta r .
Nesse caso, r é dita a reta real.
Como consequência dessa propriedade, costuma-se, por economia, fazer referên-
cia aos números reais como pontos de
√ r e vice-versa. √
Podemos dizer, por exemplo,
o ponto 2”, ao invés de o ponto de r associado à 2”.
Neste contexto, introduzem-se as sequências de números reais. Diz-se então que
uma tal sequência converge para x ∈ R, se a correspondente sequência de pontos
de r converge para o ponto associado a x. Diz-se também que x é o limite da
sequência dada.
Por exemplo, π é o limite da sequência

3 3, 1 3, 14 3, 1414 3, 14159 ···.

Vale salientar que o conceito de limite de sequência é mais geral, e que lidamos
apenas com casos particulares, a saber, sequências crescentes (cada termo é maior
que o precedente) e limitadas (existe um número que é maior que todos os termos
da sequência). No entanto tomando-se representações decimais, mesmo se consi-
deramos apenas esses casos, não será difícil nos convencermos de que todo número
real é igual ao limite de alguma sequência de números racionais. No caso de um
número irracional α,α1 α2 α3 α4 · · · , temos que este é limite da sequência

α α,α1 α , α1 α2 α , α1 α2 α3 α,α1 α2 α3 α4 ···.

Do ponto de vista formal, o fato de R estar em correspondência biunívoca

com os pontos de uma reta caracteriza esse conjunto como um espaço completo. A
denição precisa desse termo envolve conceitos avançados e não a daremos aqui.
Convém mencionar, entretanto, que essa característica está relacionada com o fato
de que certos tipos de sequências de números racionais, dentre as quais as que
mencionamos, sempre têm um limite.
Veja que no universo dos números racionais a sequência

1 1, 4 1, 41 1, 4142 1, 41421 1, 414213 ···

√
não tem limite, pois, como vimos, ela converge para 2, que não é um número
racional. Nesse sentido, diz-se que Q não é um espaço completo, contrariamente
ao que se pensava antes da descoberta do primeiro número irracional.

23
 O módulo, ou valor absoluto, de um número real x, denotado por |x|, é denido
por 
x se x≥0
|x| =
−x se x < 0.
Por exemplo, |3, 47564738283 · · · | = 3, 47564738283 · · · e | − π| = −(−π) = π .
Observe que, para todo x ∈ R,

|x| ≥ 0 e |x| = 0 ⇔ x = 0.

Vejamos agora como comparar dois números irracionais a partir de suas repre-
sentações decimais.
Se eles têm partes inteiras distintas, é fácil ver que o menor deles será o que
tiver menor parte inteira. Por exemplo,

2, 17639685474 · · · < 3, 00047648465743 · · · .

Consideremos agora os números irracionais, 0, 123 · · · e 0, 124 · · · . Temos que

1 2 3 1 2 9 9 9 9
0, 123 · · · = + 2 + 3 · · · < + 2 + 3 + 4 + 5 + 6 +· · · = 0, 124 < 0, 124 · · · .
10 10 10 10 10 10 10 10 10
Esse exemplo justica a seguinte regra.
No caso de as partes inteiras serem iguais, comparamos casa decimal por casa
decimal até encontramos duas distintas, sendo menor o irracional que tiver, dentre
estas, a casa decimal de menor valor.
Por exemplo, dados x = 3,12375658 · · · , y = 3,12377959 · · · e z = 3,123796587 · · · ,
tem-se x < y < z , uma vez que 5 < 7 < 9.
Já havíamos visto que há innitos números racionais entre dois números raci-
onais dados. Vemos que o mesmo acontece com números irracionais. De um modo
geral, temos que:

Dados dois números reais distintos x e y , existem, entre eles, innitos

números racionais, bem como innitos números irracionais.

Por esta razão, os conjuntosQ e R−Q são ditos densos em R. Mais preci-
samente, um subconjunto A⊂Ré dito denso em R, A estão
se os elementos de
espalhados por toda a reta, isto é, se entre dois elementos quaisquer de R, não
importando quão próximos eles estejam, existirem innitos elementos de A. Note
que N e Z não são densos em R.
Vejamos agora como estender as operações já denidas em Q para o conjunto
R. Para isso, resta-nos denir tais operações entre números irracionais entre si,
bem como entre racionais e irracionais.

24
 No que se segue, deniremos alguns resultados de operações em R como limi-
tes de certas somas innitas. Convém observar, entretanto, que estamos supondo
tacitamente a existência desses limites, isto é, a convergência das sequências cor-
respondentes, o que pode ser provado rigorosamente.
Observemos ainda que, assim como em Q, as operações de adição, multiplicação
e divisão de números reais positivos podem ser feitas geometricamente, o que sugere
a existência dos limites mencionados.
√
Tomemos, uma vez mais, o irracional 2. Uma vez que sua parte inteira é 1, é
razoável denirmos, por exemplo,

√
1+ 2 = 1 + 1, 414213 · · · = 2, 414213 · · · ,

isto é, para adicionar-se a um número irracional um número inteiro, basta adicionar-

se este à parte inteira daquele, deixando-se inalteradas as casas decimais. Assim,

−3+π = −3+3, 14159 · · · = 0, 14159 · · · e 5+(−9, 365209 · · · ) = −4, 365209 · · · .

Como regra geral, para adicionar-se um irracional a um número real qualquer,

√
deve-se usar o conceito de limite. Por exemplo, para adicionarem-se πe 2, tomam-
se inicialmente suas representações como somas innitas de frações decimais

√ 4 1 4 2 1
2=1+ + 2 + 3 + 4 + 5 + ···
10 10 10 10 10
1 4 1 5 9
π =3+ + 2 + 3 + 4 + 5 + ···
10 10 10 10 10
.
√
2 + π como o limite da soma innita
Dene-se então
        
4 1 1 4 4 1 2 5 1 9
(1+3)+ + + + + + + + + +· · ·
10 10 102 102 103 103 104 104 105 105

que, por sua vez, é dada por

5 5 5 7 10 5 5 5 8
4+ + 2 + 3 + 4 + 5 + ··· = 4 + + 2 + 3 + 4 + ···,
10 10 10 10 10 10 10 10 10
isto é,
√
2 + π = 4, 5558 · · · .
Procede-se igualmente quando efetuamos a adição de um irracional a um raci-
onal. Por exemplo,
 
1 1 4 1 5 9 5
π + = 3, 14159 · · · + 0, 5 = 3+ + 2 + 3 + 4 + 5 + ··· + ·
2 10 10 10 10 10 10

25
 Logo,

1 6 4 1 5 9
π+ =3+ + 2 + 3 + 4 + 5 + · · · = 3, 64159 · · · .
2 10 10 10 10 10
Dados x, y ∈ R dene-se a subtração x − y por

x − y = x + (−y).

De maneira análoga, dene-se a multiplicação de dois números reais quaisquer,

isto é, como limite de somas innitas, obtidas a partir de suas representações
decimais. No caso dos produtos que envolvem números negativos, observam-se as
mesmas regras de produto de sinais, isto é, o produto de dois números reais de
sinais contrários é negativo, enquanto o produto de reais de mesmo sinal é positivo.
Convenciona-se ainda que x · 0 = 0 · x = 0, qualquer que seja x ∈ R.
Assim denidas, verica-se que a adição e a multiplicação de números reais
têm as propriedades fundamentais da Aritmética.
Vejamos agora como se dene a divisão em R.
Dado um número real y 6= 0, prova-se que existe z ∈ R, tal que yz = 1. Diz-se
então que z = 1/y .

Denição 3. Se x, y ∈ R, y 6= 0, a divisão de x por y é denotada por x/y e

denida por
x 1
=x· ·
y y
Note que, se x, y ∈ Q, essa denição coincide com a que foi dada anteriormente.
No caso em que x ou y é irracional, procede-se como na adição e na multi-
plicação, ou seja, tomam-se as representações decimais de x e y e, após algumas
operações, obtém-se o resultado como limite de uma soma nita (se este for um nú-
mero racional que não é uma dízima periódica) ou innita (se este for um número
irracional ou dízima periódica).
Em geral, evitam-se os cálculos com números irracionais, deixando-os apenas
indicados, como
√
√ 2 2 π
π − 3 2, , , √ etc.
3 π 2
O importante é sabermos que essas operações estão bem denidas, isto é, que
têm como resultado um número real.
Na prática, opera-se com números irracionais através de aproximações destes.
Por exemplo, se considerarmos
√ π ≈ 3, 141 [lê-se, pi é aproximadamente igual a
3,141”] e 2 ≈ 1, 414, teremos
√
π− 2 ≈ 3, 141 − 1, 414 = 1, 727.

26
 Uma vez que, em R, estão bem denidas as operações de adição, subtração,
multiplicação e divisão, e considerando a relação de ordem, temos que esse conjunto
é um corpo ordenado. Logo, podemos dizer que

R é um corpo ordenado completo.

Essa é a propriedade fundamental de R, e que o distingue dos demais conjun-

tos numéricos. Lembrando-se de que Q, apesar de ser um corpo ordenado, não é
completo.
Dados, x∈R e n ∈ N, as potências xn e x−n são denidas como em Q, isto é,

• xn = x · x · x · x...x · x (n fatores);

• x−n = 1
xn
, x 6= 0;
• x0 = 1, x 6= 0.

Como anteriormente, dessas denições segue-se que, dados p, q ∈ Z e x, y ∈ R,

tem-se
xp · xq = xp+q . (2.5)

Além disso,

• (x · y)p = xp · y p ;
• (xp )q = xpq .
√
Relembremos agora que, por denição, 2 é o número real x tal que x2 = 2.
De um modo geral, prova-se que, se n ∈ N e a ∈ R, a > 0, então, existe um
único número real positivo x tal que

x n = a, (2.6)

√
o qual simbolizamos por
n
a, lê-se raiz
√ n-ésima a. de
√
2
Por exemplo, o número real x= 3 é tal que x = 3, enquanto y = 7 π satisfaz
7
y = π.
Prova-se ainda que a equação (2.6) admite uma única solução, se
√ n é ímpar
√ e a
3
é negativo ou nulo. Igualmente, essa solução é representada por
n
a. Assim, −5
3
é o número real x tal que x = −5.
Note que, como em Q, uma potência de expoente par sempre resulta num
número real não-negativo. Dessa forma, a equação (2.6) não admite solução, se n
é par e a é negativo.
Vale observar também que, adotando-se um procedimento análogo àquele da
√ √
demonstração da irracionalidade de 2, prova-se que, se a ∈ N, então n
a é um
número inteiro ou irracional.

27
Propriedade 1. Sejam a, b números reais não negativos e m, n n ∈ N. Então,

√ √ √
i) n a · n b = n ab;

√ √
ii)
p
m n
a = mn a.
√ √
Demonstração. Sejam x = n
a e y = n
b. Temos, então, que x n = a e y n = b.
n
Multiplicando-se essas igualdades membro a membro, obtemos (xy) = ab. Logo,
√
n
por denição, xy = ab o que prova (i).

p √ √
A m de provarmos (ii), façamos z =
m n
a, isto é, z m = n a. Essa igualdade,
m n
porém, nos diz que (z ) = a, o que implica
√ z mn = a. Segue-se, por denição, que
z= mn
a, o que prova (ii).

Vejamos, nalmente, como denir a potência ap/q com a ∈ R, a ≥ 0 e p/q ∈ Q,

de tal forma que a equação (2.5) permaneça válida para expoente racionais.
1/q
Consideremos inicialmente a , q > 0. Devemos ter

1/q + 1/q + · · · + 1/q

| {z }
1/q 1/q 1/q
| · a {z· ... · a } = a
a q vezes
= aq/q = a1 = a.
q vezes

Fazendo-se x = a1/q , essa igualdade nos diz que x q = a, o que nos sugere a
denição
√
a1/q = q
a.
Agora, se p > 0, temos

1/q + 1/q + · · · + 1/q

√ | {z }
( q a)p = |a1/q · a1/q{z· ... · a1/q} = a p vezes
= ap/q .
p vezes

Denimos, então,
√
ap/q = ( q a)p .
Por m, se p<0 e a > 0, denimos

1 1
ap/q = = √ ·
a−p/q q
a−p
Por exemplo,

√ 1 1
31/2 = 3 e π −2/3 = = √ ·
π 2/3 ( π)2
3

28
 √
Uma aplicação à geometria. Vimos, anteriormente,
√ que 2 é um número ir-
racional. De modo análogo, pode-se vericar que 3 é também irracional. Vejamos,
então, no teorema e corolário que se seguem, que uma interessante propriedade dos
triângulos equiláteros no plano decorre desse fato.

Teorema 1. Seja ABC um triângulo em R2 com todos os vértices em Z2 = Z × Z,

e `1 , `2 , `3 as medidas de seus lados. Então, a área de ABC é um número racional
e, para cada i = 1, 2, 3, `2i é um número inteiro.
Demonstração. Uma vez que os vértices de ABC estão em Z2 , podemos inscrevê-lo
num retângulo com lados paralelos aos eixos coordenados, conforme indicado na
Figura 2.1. Assim, cada lado `i é a hipotenusa de um triângulo retângulo ∆i cujos
comprimentos dos catetos são inteiros. Daí, e do Teorema de Pitágoras, tem-se que
`2i é inteiro para todo i = 1, 2, 3.

Figura 2.1: a, b , c , d ∈ Z .

Temos, também, que as áreas dos triângulos ∆i são números racionais, bem
como que a área do retângulo circunscrito a ABC é um número inteiro. Logo, a
área de ABC , sendo a diferença entre as áreas do retângulo e a soma das áreas
dos triângulos ∆i , é um número racional. Isso conclui nossa demonstração.

Corolário 1. Não existe um triângulo equilátero em R2 com todos os vértices em

Z2 .

Demonstração. De fato, se um tal triângulo existisse, o quadrado de seu lado,

√
`2 , seria inteiro e sua área, `2 3/4, seria racional, pelo Teorema 1. Isso, porém,
√
contradiria o fato de que 3 é irracional.

29
Capítulo 3
Cardinalidade de Conjuntos
A noção de innito, de que é preciso se fazer um mistério
em Matemática, resume-se no seguinte princípio:
Depois de cada número inteiro existe sempre um outro.”
J. Tannery

Neste capítulo, introduziremos os conceitos de cardinalidade e enumerabilidade

de conjuntos. Em seguida, estabeleceremos a enumerabilidade de Q, bem como a
não enumerabilidade de R. Concluiremos, então, com a demonstração do Teorema
de Cantor.
Relembremos, inicialmente, o conceito de função.

Denição 4. Dados conjuntos A e B, uma função f de A em B, denotada por

f: A → B
x → y = f (x),

é uma correspondência que a cada elemento x, de A, único y de B .

associa um
Nesse caso, os conjuntos A e B são chamados, respectivamente, de domínio e
contra-domínio da função f.

Na denição de função, como se pode observar, não se impõem condições aos

elementos do contra-domínio B , isto é, alguns desses podem ou não se corresponder
com elementos de A, sugerindo a seguinte denição.

Denição 5. Numa função f : A → B , o conjunto formado pelos elementos

do contra-domínio B que correspondem a elementos do domínio A é chamado de
conjunto-imagem de f , o qual denotamos por Im(f ). Se y ∈ B é tal y = f (x) para
algum x ∈ A, dizemos que y é a imagem de x (por f ). Em símbolos:

Im(f ) = {y ∈ B ; y = f (x), x ∈ A}.

30
 A igualdade y = f (x) que dene uma função f : A → B, chamada de lei
de correspondência ou expressão de f, nem sempre é dada por uma expressão
algébrica, mesmo que A e B sejam conjuntos numéricos.
Por exemplo, dado o conjunto dos números naturais N, a função

f : N → N ∪ {0}
n → f (n),
tal quef (n) é igual à quantidade de números primos (positivos) menores que n, está
bem denida, isto é, para cada natural n, existe um único número correspondente
f (n) em N ∪ {0}.
Vimos que o conjunto-imagem de uma função pode ou não ser igual ao seu
contra-domínio. Igualmente, podemos observar que dois elementos distintos do
domínio de uma função podem ter imagens iguais.
Essas considerações nos levam a concluir que, nem sempre, uma função esta-
belece uma correspondência biunívoca entre o seu domínio e o contra-domínio.
Veremos agora que quando essa correspondência acontece pode-se inverter a
função, realizando então uma operação que, num certo sentido, é semelhante à
inversão de números reais.

Denição 6. Uma função f : A → B é dita sobrejetiva, se Im(f ) = B , isto é, se

para todo y0 ∈ B existe x0 em A tal que f (x0 ) = y0 . Se f (x1 ) 6= f (x2 ) sempre que
x1 6= x2 , f é dita injetiva. Uma função que é sobrejetiva e injetiva é dita bijetiva.
Observemos agora que, uma função bijetiva f : A → B estabelece uma cor-
respondência biunívoca entre seu domínio A e seu contra-domínio B. Nesse caso,
para cada y
B existe um único x de A que lhe é correspondente, denindo assim
de
uma função de B em A, a qual denominamos inversa de f , e denotamos por f −1 .
Dizemos, então, que f é uma função invertível.
Note que se f não for sobrejetiva, a condição imposta pela palavra cada”
será violada, enquanto, se não for injetiva, a condição violada será a imposta pela
palavra única”. Segue-se que:

Uma função é invertível se, e somente se, é bijetiva.

Denição 7. A e B têm mesma cardinalidade, quando

Diz-se que dois conjuntos
existe uma função bijetiva f : A → B. Nesse caso, escreve-se #A = #B. A é dito
nito, se, para algum n ∈ N, #A = #{1, . . . , n}. Caso contrário, A é dito innito.
A é dito enumerável, se #A = #N.
Observemos que se A ⊂ N não é nito ou vazio, então é enumerável. De fato,
temos que A = {n1 , n2 , . . . , nk , . . . }, em que n1 é o menor elemento de A, n2 é o
menor elemento de A − {n1 }, e assim por diante. O mesmo argumento se aplica a
qualquer conjunto X enumerável, isto é, se A ⊂ X é innito, então A é enumerável.

31
Teorema 2. Z e Q são conjuntos enumeráveis.
Demonstração. Considere a função f :N→Z denida por:

(n − 1)/2, n ímpar.
f (n) =
−n/2, n par.

Claramente, f é uma bijeção, cuja inversa, f −1 : Z → N, é dada por:


−2m, m < 0.
f −1 (m) =
2m + 1, m ≥ 0.

Logo, #Z = #N, donde Z é enumerável.

Dessas considerações, segue-se também que #(N×N) = #(Z×Z). Porém, pela
unicidade da decomposição de um número natural em fatores primos, temos que
n m
a função g : N × N → N, dada por g(m, n) = 2 .3 , é injetiva. Logo,

#(N × N) = #g(N × N),

isto é, N×N tem a mesma cardinalidade que um subconjunto de

N. Desta forma,
N×N Z × Z é enumerável. Agora, basta
é enumerável, já que é innito. Logo,
∗
observarmos que Q tem a mesma cardinalidade de Z × Z ⊂ Z × Z, donde se infere
que Q é enumerável.

Teorema 3. O conjunto dos números reais não é enumerável.

Demonstração. Para demonstrarmos que R não é enumerável, basta mostrarmos
que [0, 1] não é enumerável.
Suponhamos, por absurdo, que o intervalo
1 [0, 1] seja enumerável. Como esse
conjunto contém o conjunto innito A =
n
,n ∈N , vemos que [0, 1] é também
innito.
Seja {x1 , x2 , x3 , · · · } uma enumeração de [0, 1]. Podemos escrever cada xj na
forma decimal innita fazendo-se, por exemplo, 0, 5 = 0, 49999 · · · . Assim,

x1 = 0, a11 a12 a13 · · ·

x2 = 0, a21 a22 a23 · · ·
: :
xi = 0, ai1 ai2 ai3 · · ·
: :
(ai1 , ai2 , ai3 , · · · ∈ {0, 1, 2, ··· , 9} são os algarismos da representação decimal de
xi )
Vamos agora denir o número b = 0, b1 b2 b3 · · · da seguinte maneira:

b1 = 0, se a11 6= 0 e b1 = 1, se a11 = 0;

32
 b2 = 0, se a22 6= 0 e b2 = 1, se a22 = 0
e assim por diante. Ou seja, bn = 0, se ann 6= 0
bn = 1, se ann = 0, para cada n.
e
Vejamos agora que o número b
é diferente de x1 , pois, por construção, sua
primeira casa decimal é diferente da primeira casa decimal de x1 (b1 6= a11 ).
O número b também é diferente de x2 , pois b2 6= a22 , · · · . Para cada n, o número
b é diferente de xn , pois bn 6= ann .
Mas isso contradiz o fato de {x1 , x2 , x3 , · · · } ser uma enumeração de [0, 1],
já que encontramos um número b ∈ [0, 1] que não estava nessa lista. Portanto o
intervalo [0, 1], e por consequência R, não são enumeráveis.

Dados conjuntos A e B, dizemos que a cardinalidade de A é menor que a de

B, e escrevemos #A < #B, quando existe uma função injetiva f : A → B , e não
existe uma função bijetiva de A em B.

Teorema 4. Sejam X1 , X2 , · · · , Xn conjuntos enumeráveis. A união X = Un=1

∞
Xn
é enumerável.
Demonstração. Primeiramente vamos observar que, como X1 ⊂ U , U é innito.
Os elementos de cada X1 podem ser colocados em uma lista innita, já que Xn
é enumerável. Assim, vamos considerar a matriz

x11 x12 · · · x1n · · ·

 
 x21 x22 · · · x2n · · · 
.. .. 
 
 : : . : .


 xm1 xm2 · · · xmn · · · 
 
.. ..
: : . : .

em que a primeira linha é formada por todos os elementos do conjunto X1 , a

segunda linha, pelos elementos de X2 , e assim por diante.
Os elementos da matriz são os elementos do conjunto U. Para mostrar que
U é um conjunto enumerável, teríamos que escrever os elementos de U em uma
lista sem repetições. Como não sabemos quais termos se repetem na matriz, vamos
colocar os elementos da matriz em uma sequência (que pode ter repetições),

s : x11 ,x21 ,x12 ,x31 ,x22 ,x13 ,x41 ,x32 ,x23 ,x14 , · · ·

observe que a sequência s tem uma regra de formação (semelhante ao que realiza-
mos nos racionais): primeiramente começamos com o termo x11 , depois os termos
cuja soma dos índices é 3, a saber, x21 e x12 , depois termos cuja soma dos índices
é 4: x31 , x22 e x13 e assim por diante.
Como conseguimos escrever todos os elementos da matriz em forma de uma
sequência, existe uma função de N no conjunto U, que associa os números 1, 2, 3,

33
··· , respectivamente a x11 , x21 , x12 , x31 , x22 , x13 , x41 , x32 , x23 , x14 , · · · . Como a
primeira linha da matriz já é um conjunto enumerável, logo innito, os termos da
sequências formam um conjunto enumerável.
Assim, U é um subconjunto innito do conjunto enumerável formado pelos
termos da sequência s. Pelo teorema 3, U é enumerável.

Teorema 5. O conjunto dos números irracionais não é enumerável.

Demonstração. Para demonstramos que R−Q não é enumerável, relembremos
que, pela Denição 2, o conjunto dos números reais é formado pela união do con-
junto dos números racionais com o conjunto dos números irracionais.
Suponhamos, por absurdo, que o conjunto dos números irracionais seja enume-
rável. Como o conjunto dos números racionais é enumerável, como demonstrado no
Teorema 2, a união do conjunto dos números irracionais com o conjuntos dos nú-
meros racionais é enumerável, como demonstrado pelo teorema 5. Logo o conjunto
dos números reais é enumerável.
Mas isso contradiz o fato do conjunto dos números reais não ser enumerável,
como demonstrado no Teorema 3. Portanto R−Q não é enumerável.

Teorema de Cantor. Seja A um conjunto arbitrário. Então, #A < #P (A).

Demonstração. Consideremos a função que associa a cada a ∈ A o conjunto {a} ∈
P (A). Claramente, tal função é injetiva.
Tomemos agora uma função arbitrária f : A → P (A) e veriquemos que f
não pode ser bijetiva. Para tanto, considere o conjunto X = {a ∈ A; a 6∈ f (a)}.
Armamos que X 6∈ Im(f ), donde f não é sobrejetiva. De fato, suponha, por
absurdo, que exista a ∈ A, tal que f (a) = X . Se a ∈ X, então, por denição,
a 6∈ f (a), o que signica que a 6∈ X. Se a 6∈ X, tem-se que a 6∈ f (a), o que implica
que a ∈ X . Assim, ambas as hipóteses, a ∈ X e a 6∈ X , levam a uma contradição.
Logo, f não é sobrejetiva e, em particular, não é bijetiva.

Segue-se, então, do Teorema de Cantor, o fato notável de que existem innitas

ordens de innito.

34
Bibliograa
[1] HALMOS, Paul R. Teoria Ingênua dos Conjuntos . 1nd Ed., Rio de
Janeiro: Editora Ciência Moderna, 2001.

[2] LIMA, Elon L.; CARVALHO, P. C. P.; WAGNER, Eduardo; MORGADO, Au-
gusto C. A Matemática do Ensino Médio . vol.1.9nd Ed., Rio de Janeiro:
Editora SBM, 1997.

[3] COURANT, Richard; ROBBINS, Herbert O que é Matemática? . 1nd Ed.,

Rio de Janeiro: Editora Ciência Moderna, 2000.

[4] ANDRADE, Rubens Leão de; LIMA, Ronaldo Freire de Pré-Calculo . 2nd
Ed., Natal: EDUFRN, 2012.

[5] LIMA, Elon L. Números e Funções Reais . 1nd Ed., Rio de Janeiro: Editora
SBM, 2013.

[6] LIMA, Elon L. Análise Real Volume 1 . 11nd Ed., Coleção Matemática
Universitária”: Editora do IMPA, 2012.

[7] LIMA, Elon L. Curso de Análise  Volume 1 . 14nd Ed., Coleção Projeto
Euclides”: Editora do IMPA, 2013.

[8] HEFEZ, A. Programa de Iniciação Cientíca da OBMEP: Iniciação

à Aritmética . Editora do IMPA, 2009.
[9] HEFEZ, A. Elementos de Aritmética . Coleção Textos Universitários”:
Sociedade Brasileira de Matemática, 2005.

[10] DOMINGOS, Hygino H. Fundamentos de Aritmética . São Paulo: Atual

Editora Ltda, 1998.

[11] FOMIN, D., ITENBERG, L., GENKIN, S. Círculos Matemáticos: A Ex-

periência Russa . 1nd Ed., Editora do IMPA, 2010.

35