1.

CONJUNTOS NUMRICOS


1.1. INTRODUO

Uma exposio sistemtica dos conjuntos numricos, utilizados na Matemtica,
pode ser feita a partir dos nmeros usados para contar, chamados de nmeros naturais.
Estes nmeros so conhecidos h tantos milnios que o famoso matemtico Kronecker
disse: Deus criou os nmeros naturais, todo o resto obra do homem.
A idia do nmero zero s apareceu mais tarde, tendo sido introduzido pelos
hindus. Uma notao para o mesmo surgiu a partir do sculo XI quando foi difundido e
adotado o sistema de numerao decimal hindu. Este fato foi extremamente importante
para a universalizao da Matemtica na sua forma escrita, uma vez que os seus smbolos
so hoje lidos e compreendidos em quase toda parte do mundo. Apesar de historicamente
o zero no ser um nmero natural (no sentido de usado para contar), incluir ou no o
zero como nmero natural uma questo de preferncia pessoal ou ento, de
convenincia. Faremos, portanto, a nossa escolha. Usando a simbologia moderna de
conjunto:
N = { 0, 1, 2, 3,...}

Da ampliao de N para um conjunto maior, onde fosse possvel a soluo de
equaes do tipo x + 3 = 2, por exemplo, surgiram os nmeros negativos, posteriormente
incorporados ao conjunto dos nmeros inteiros. Dessa forma, temos:
Z = { ... -3, -2, -1, 0, 1, 2, 3, ...}

Vale a pena ressaltar que os nmeros negativos j foram chamados de numeri
absurdi e numeri ficti e s a partir do sculo XVI foram incorporados condio de

2
nmeros por algebristas italianos e, mais tarde, no sculo XIX, agrupados para formar o
conjunto Z.
Os nmeros negativos tiveram uma aceitao relativamente recente. No entanto,
problemas envolvendo fraes j eram resolvidos pelos babilnios e egpcios, levados
pelas necessidades bsicas do dia a dia, muitos sculos antes de Cristo. O papiro egpcio
Ahmes (ou Rhind) data de 1700 AC e contm, dentre outros, problemas envolvendo
fraes.
Ampliando ento o conjunto dos inteiros para que fosse possvel a resoluo de
equaes do tipo 3x = 4, por exemplo, surgiram os nmeros racionais que so definidos
como: nmeros que podem ser escritos na forma
p
q
, sendo p q Z q , e 0 .
Considerando Q o conjunto dos nmeros racionais temos
Q
p
q
p q Z q =

; , , 0

Algumas observaes a respeito da definio de nmeros racionais so
necessrias.

Observaes

1) A definio de nmero racional diz: Um nmero que pode ser escrito na forma
p
q
, ... . A expresso pode ser est sendo utilizado a porque existem infinitas
maneiras de escrever um dado nmero racional. Por exemplo, usando o fato que
a
b
c
d
ad bc = = , temos que
2
3
4
6
6
9
2
3
2 3
3 3
= = = =

etc , . . desejvel que a
definio no dependa da maneira particular escolhida para representar um nmero.
Assim, numa primeira observao de uma expresso nem sempre podemos dizer se ela
representa, ou no, um nmero racional.

3


Exemplo

12
3
4 3
3
2 3
3
2
1
2 =

= = = Q

2) Exigimos q 0. Esta exigncia necessria pois q um divisor. Para construirmos
um sistema de nmeros onde o quociente entre dois inteiros no apenas exista mas seja
nico, no podemos permitir a diviso por zero. Vejamos:
p
q
b p b q q = = . , 0.
Fazendo q = 0 na segunda expresso acima, teramos
p b = = .0 0.
Assim, para p 0, no existiria valor para b que tornasse a equao verdadeira e se
p = 0, existiriam infinitos valores para b.


1.2. O PONTO DE VISTA GEOMTRICO

A correspondncia entre pontos de uma reta e nmeros um fato bastante natural e
til. Fazemos isso escolhendo dois pontos quaisquer e distintos de uma reta,
determinando as posies do 0 e do 1, e considerando a distncia entre estes dois pontos
como unidade. Convenciona-se escolher o ponto 1 direita do ponto 0 (chamado origem)
de modo que os pontos esquerda do 0 fiquem associados a nmeros negativos. Assim, a
cada ponto fica associado um nmero, distncia do ponto origem, juntamente com um
sinal +, se o ponto estiver direita do 0, e , se o ponto estiver esquerda.
fcil constatar que todo nmero racional pode ser representado na reta.

4

Exemplo

1
3
1
2
9
4
, ,


-1/3 0 1/2 9/4

Surge ento uma pergunta: Ser que os racionais cobrem toda a reta? Ou seja,
existem pontos da reta que no representam nmeros racionais?
A descoberta de que existem nmeros que no so racionais foi feita pelos gregos
h mais de 2500 anos. Pitgoras e seus discpulos observaram, para sua surpresa, que o
comprimento da diagonal de um quadrado de lado unitrio (que, de acordo com o
Teorema de Pitgoras, corresponde ao nmero 2 ) no pode ser expresso como um
nmero racional. Para os gregos esta descoberta foi responsvel por uma grande crise na
Matemtica. De fato, em muitas de suas demonstraes eles supunham que dois
segmentos AB e CD quaisquer sempre admitiam uma unidade de comprimento comum.
Este fato equivalente a dizer que a razo dos seus comprimentos
AB
CD
uma frao.
No caso do quadrado de lado unitrio e sua diagonal tem-se que
AC
AB
AC
d = =
1
no
um nmero racional.



5
A demonstrao de que d no um nmero racional clssica, bastante intuitiva e
de fcil compreenso.
Suponhamos, por absurdo, que
d
p
q
p q Z q = , , , 0
e, suponhamos que p q e so primos entre si. Pelo Teorema de Pitgoras,
d
2
1 1 2 = + = , ou seja,
p
q
2
2
2 = . Logo,
2 2
2
2
2 2
= =
p
q
p q .
Temos assim que p
2
inteiro par; logo p tambm par (estamos usando o fato que:
p p
2
par par ). Consideremos portanto,
p p p Z = 2
1 1
,
Substituindo na igualdade p q
2 2
2 = obtemos:
4 2 2
1
2 2
1
2 2
p q p q = =
Usando o mesmo raciocnio anterior conclumos que q par. Chegamos assim
concluso que p q e so pares, o que contradiz a hiptese inicial de que p q e so
primos entre si. Esta contradio mostra que nossa suposio inicial, de que d era uma
frao, falsa.
O nmero d, que identificamos como d = 2 no um nmero racional, no
entanto pode ser representado na reta!


6
A nossa pergunta inicial fica ento respondida: existem pontos da reta que no
correspondem a nmeros racionais.
Existem outros nmeros (na verdade uma infinidade) que no so racionais e
podem ser representados na reta. Por exemplos, 3 5 , , , etc. (A prova de que
no racional foi dada por Lambert em 1701).
Podemos fazer a representao de na reta considerando uma semi-circunferncia
de raio unitrio e retificando-a. O comprimento do segmento correspondente .











Estamos prontos, portanto, para definir dentro do nosso ponto de vista intuitivo
um dos mais importantes conjuntos para a Matemtica .
O

7
Por nmeros reais entendemos a coleo de todos os nmeros associados a todos
os pontos da reta. A reta, ou eixo, com um nmero associado a cada um dos seus pontos
chamada de reta real. Qualquer nmero real que no racional diz-se irracional, ou
seja, no pode ser escrito como a razo entre dois inteiros. Usaremos Q' para representar
o conjunto dos nmeros irracionais. Temos que
Q R Q R Q Q Q Q ' ; ' ' = = = e U .
Alm disso,
N Z Q R .

Observaes
1) O conjunto dos nmeros irracionais infinito. Podemos mostrar, por exemplo, que
1 2 + , , , ... 2 + 2 3 + 2 so nmeros irracionais. Pode ser provado tambm que na
realidade, o conjunto dos nmeros racionais muito pequeno comparado com o
conjunto dos nmeros irracionais.
2) De uma certa forma a construo dos conjuntos numricos pode ser vista levando em
conta a necessidade de resolver equaes que aparecem naturalmente em problemas
aplicados. Observemos, por exemplo, que se conhecemos apenas o conjunto dos
racionais, como podemos resolver uma equao do tipo x
2
2 0 = ? Assim, podemos
pensar no conjunto dos reais como uma ampliao de Q. (Devemos lembrar, entretanto,
que os nmeros que satisfazem a certos tipos de equaes como a citada anteriormente
ainda no cobrem R como comentaremos adiante). Desta maneira, partindo de N, os
conjuntos so ampliados na ordem N, Z, Q e R. No entanto, historicamente, como
vimos, o aparecimento dos nmeros, hoje elementos de tais conjuntos, no respeita esta
cronologia.
3) Na linguagem diria, a palavra irracional significa algo desprovido de bom senso,
contrrio razo. O significado matemtico da palavra racional se refere razo, o
quociente de nmeros inteiros; irracional portanto, se refere ausncia de tal razo. O

8
termo nmeros reais uma outra herana do passado e tambm no consideramos irreais
nmeros que no so reais.

Existe uma outra diviso dos nmeros reais, muito mais recente, em duas
categorias: algbricos e transcendentes .
Um nmero real diz-se algbrico se satisfaz alguma equao do tipo
a x a x a x a
n
n
n
n
+ + + + =

1
1
1 0
0 ...
com coeficientes inteiros. Se um nmero no for algbrico chamado de transcendente.

Exemplos

1) Todo nmero racional algbrico. De fato:
x
p
q
qx p qx p p q Z q = = = , ( 0 0 , , ) .

2) 2 algbrico.
2 satisfaz a equao x
2
2 0 = .

3) Os nmeros e e so transcendentes. A transcendncia de foi provada por
Lindemann em 1882 e a transcendncia de e por Hermite em 1873.
Existem portanto duas classificaes para os nmeros reais que so:

Reais

racionais

irracionais

(todos so algbricos)
algbricos

transcendentes

9
Reais

algbricos


transcedentes

racionais

irracionais

(todos so irracionais)

1.3. O CONJUNTO DOS NMEROS REAIS

R um corpo

Estamos to acostumados a operar com nmeros reais que usamos vrios
resultados muitas vezes sem nos preocuparmos com o porqu. Por exemplo,
x x .0 0 = , e x y x y . = = = 0 0 0 ou .
As justificativas para as afirmaes anteriores (e para muitas outras) seguem do
fato do conjunto dos nmeros reais ser um corpo, isto , no conjunto dos nmeros reais
esto definidas duas operaes, a de adio e a de multiplicao que satisfazem os
seguintes axiomas:
Dados x y R , ,
C
1
) Comutatividade
x y y x x y y x + = + = e . .
C
2
) Associatividade
( ) ( ) ( . ). .( . ) x y z x y z x y z x y z + + = + + = e
C
3
) Distributividade
x y z x y x z .( ) . . + = +
C
4
) Existncia de Elementos Neutros
+ = = 0 e 1 R x x R x x x R ; ; . 0 1
C
5
) Existncia de Elementos Inversos
+ = x R x R x x , ; ( ) 0
( x chamado de inverso aditivo ou simtrico de x)

10
= x R x
x
R x
x
( ) , ; . 0
1 1
1
(
1
x
chamado de inverso multiplicativo de x).

Observao

Devido propriedade associativa, conveniente denotar por x y z + + (sem parntesis)
a soma ( ) x y z + + ou x y z + + ( ) e por x y z . . o produto ( . ). .( . ) x y z x y z ou .
Dos axiomas acima resultam todas as regras familiares de manipulao com os
nmeros reais.


Exemplos

1) = x R x , . 0 0
D] De acordo com C
4
e C
3
, temos
x x x x . ( ) . . 0 0 0 0 0 = + = +
e, portanto,
x x x . . . 0 0 0 = +
Somando ( . ) x 0 em ambos os membros temos:
( . ) ( ( . )) ( . ) ( . ) ( ( . )) x x x x x 0 0 0 0 0 + = + +
Utilizando C
5
, obtemos
0 0 = x.

2) x y x y . = = = 0 0 0 ou
D] Suponhamos x y . = 0 e y 0 . Vamos mostrar que x = 0. De fato:

11
y
y
y
y
= 0
1 1
1 tal que
Logo, multiplicando x y . = 0 por
1
y
e usando a associatividade, obtemos
x y
y y
= ( )
1
0
1

Usando C e C
4 5
e o resultado anterior podemos concluir que x = 0.

3) Regras de sinais

i) = ( ) x x (o simtrico do simtrico de x x )
De fato: A expresso de C
5
que por C
1
dada por ( ) + = x x 0, significa que o
simtrico de x x , ou seja = ( ) x x .
ii) x y x y x y .( ) ( . ) ( ). = =
D]
x y x y x y y x . ( ) .( ( )) . + + =
=

C C
3 5
=
0 0
Logo, o simtrico de x y . x y .( ) , ou seja, = ( . ) .( ) x y x y .

iii) ( ).( ) . = x y x y
D]
( ).( ) ( ( ). ) ( ( . )) .
(
x y x y x y x y
(ii) (ii) i)
= = =

Em particular, (1).(1) = 1.

A partir dos axiomas citados definimos diferena e diviso como a seguir.

Dados x y R , ,
1) x y x y = + ( )

12
2)
x
y
x
y
= .
1
, y 0

Exemplo

Vamos resolver a equao + = 3 1 4 x , observando os axiomas de corpo envolvidos na
resoluo.
+ = + + = + + + =

3 1 4 3 1 1 4 1 3 1 1 3 x x x
C
2

( ) ( ) ( ) ( ( ))
C C C
C
5 4 2
5




+ = = = =
= =
3 0 3 3 3
1
3
3
1
3
3
1
3
3
1
3
3
1 1 1
x x x x
x x
( )(( ). ) ( ).( ) (( ).( )). ( . )
.


R ordenado

Dados dois nmeros reais a e b, quando dizemos que a menor que b e usamos
o smbolo a < b, imaginamos logo que, na representao na reta, a e b ocupam posies
tais que a est esquerda de b. Para quaisquer dois nmeros reais a e b sempre possvel
decidir qual representado na reta esquerda (ou direita) do outro. Isto decorre do fato
que R um corpo ordenado.
Vamos assumir que todo nmero que est direita do zero dito positivo, isto ,
existe um subconjunto que indicaremos por R
+
*
chamado de conjunto dos nmeros reais
positivos. Podemos ento, introduzir o conceito de ordem em R: R
+
*
satisfaz aos seguintes
axiomas (ou postulados ) chamados de axiomas de ordem:

O
1
: A soma e o produto de nmeros reais positivos so positivos, ou seja,
x y R x y R x y R , .
* * *
+
+ + +
e
O
2
: Dado x R , exatamente uma das alternativas seguintes ocorre:

13
i) 0 x = ; ii)
*
R x
+
; iii)
*
R x
+


Indiquemos: } R x ; x { R
* *
+
= ; } 0 { R R
*
=
+ +
e } 0 { R R
*
=

.
O axioma O
2
diz que
} 0 { R R R
* *
=
+
.

Conseqncia: Para todo x R , com x 0, temos que
* 2
R x
+


Com efeito,
* 2
O
*
R x x . x R x
1
+ +
=


* 2
O
*
O
*
R x ) x ).( x ( R x R x
1 2
+ +
=


O smbolos < (menor que); (menor ou igual a); > (maior que); (maior ou
igual a) so definidos como segue:
1) a b b a < positivo
2) a b b a positivo ou a b =
3) a b a b > positivo
4) a b a b positivo ou a b =
Expresses dos tipos x y x y x>y, x y < , , so chamadas de
desigualdades.

Observaes

1) Em particular,
x x > 0 0
*
R x positivo
+

*

*
R x R x positivo x 0 0 x
+
<

14
Os nmeros
*
R x

so chamados de nmeros negativos.
R

*
R
+
*

-x 0 x

2) A relao de ordem, apresentada em R, no pode ser estendida, por exemplo, para os
nmeros complexos, de maneira a ser compatvel com a soma e o produto.

3) O conjunto R no o nico corpo ordenado. Por exemplo, Q tambm um corpo
ordenado.

Valem as seguintes propriedades da relao de ordem em R:
P
1
) Transitividade
Se x < y e y < z ento x < z
D] x < y e y < z y x > 0 e z y > 0 (y x) + (z y) > 0
z x > 0 x < z.

P
2
) Tricotomia
Dados x e y R ocorre exatamente uma das alternativas
x = y ou x < y ou y < x.
D] Dados x, y R temos por O
2
que:
x y = 0 ou x y R
+
*
ou (x y) R
+
*

logo,
x y = 0 x = y
ou
x y R
+
*
x y > 0 x > y
ou
(x y) R
+
*
x + y R
+
*
x + y > 0 y > x

15

P
3
) Monotonicidade da Adio
Se x < y ento para todo z R tem-se x + z < y + z
D] x < y y x > 0 y x + z z > 0 (y + z) ( x + z) > 0
y + z > x + z.

P
4
) Monotonicidade da Multiplicao
i) Se x < y ento para todo z > 0 tem-se xz < yz
ii) Se x < y ento para todo z < 0 tem-se xz > yz

D]
i) x < y y x > 0 z.(y x) > 0 zy zx > 0 zy > zx
ii) x < y y x > 0 z.(y x) > 0 zy + zx > 0 zx > zy

Consequncia :
i) Se x < 0 ento para todo z > 0 tem-se xz < 0
ii) Se x < 0 ento para todo z < 0 tem-se xz > 0


Alguns comentrios sobre inequaes

A resoluo de uma inequao com uma incgnita consiste na aplicao sucessiva
das propriedades das desigualdades, que foram vistas, at se chegar a uma expresso final
do tipo x c x c, x < c ou x > c , .
Um dos erros mais frequentes cometidos ao se resolver uma inequao do tipo
2
1
1
x
< escrever que
2
1
1
x
< equivale a 2 1 1 < ( )( ) x para x 1. Observemos
que o erro vem do fato de no sabermos o sinal de x 1 (Ver propriedade P
4
). Quando
resolvemos uma inequao todas as etapas podem ser justificadas pelos axiomas de

16
corpo, pelos axiomas de ordem e as propriedades decorrentes. Vejamos com mais
detalhes a resoluo da inequao citada acima:
2
1
1
2
1
1 1 1
2
1
1 0
1
1
0
x x x
x
x
<

+ < +

+ <
+

<

C
5

Analisando o sinal de x x + 1 1 e , conclumos que x x > < 1 1 e , ou seja,
-1 < x < 1.

Usaremos as seguintes notaes para representar tipos especiais de subconjuntos
reais chamados intervalos.
1) [ , ] { ; } a b x R a x b = 6) } b x ; R x { ) b , ( < =
2) } b x a ; R x { ] b , a ( < = 7) } a x ; R x { ) , a [ = +
3) } b x a ; R x { ) b , a [ < = 8) } a x ; R x { ) , a ( > = +
4) } b x a ; R x { ) b , a ( < < = 9) R ) , ( = +
5) } b x ; R x { ] b , ( =

Observaes
1) A expresso a x b significa que x a x b e , assim como, a x b < <
significa x a x b > < e .
2) Os smbolos + (infinito positivo) e (infinito negativo) no devem ser
confundidos com nmeros reais pois no obedecem as propriedades dos nmeros reais.
3) Os quatro primeiros intervalos so limitados com extremos a e b.
4) [a,b] dito intervalo fechado e (a,b) dito intervalo aberto.
5) [a,b) dito fechado esquerda e (a,b] dito fechado direita.
6) Quando a = b o intervalo fechado [a,b] reduz-se a um nico elemento e chama-se
intervalo degenerado.




17
EXERCCIOS

1) Determine todos os nmeros reais que satisfazem as seguintes desigualdades:
a)
1
1
2
3 1 x x +
<

b)
x
x
x
x
+
+

+
1
2 3


2) Verifique se as seguintes afirmaes so verdadeiras ou falsas. Se verdadeira, prove;
se falsa, d contra-exemplo.
a) Se a e b so irracionais ento ab irracional.
b) Se a e b so irracionais ento a + b irracional.
c) Se a irracional e b racional no nulo ento ab irracional.
d) Se a, b, c e d so racionais e irracional ento
a + b = c + d a = c e b = d.

3) Mostre que os nmeros da forma m+ 2 , m Z, so irracionais.

4) Dados x, y, z , w R, prove que:
a) Se x < y e z < w ento x + z < y + w.
b) Se x > 0 ento
x
1
> 0.
c) Se 0 < x < y ento
x
1
y
1
< .
d) Se x > y 0 ento x y
2 2
> .
e) Se x > 0, y 0 e x y
2 2
> , ento x > y.