Вы находитесь на странице: 1из 17

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

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 Considerando Q o conjunto dos nmeros racionais temos p Q = ; p, q Z , q 0 q 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 p , sendo p, q Z e q 0 . q

maneiras de escrever um dado nmero racional. Por exemplo, usando o fato que a c = ad = bc , temos que b d 2 4 6 2 2 3 = = = = , etc.. desejvel que a 3 6 9 3 3 3

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.

Exemplo 43 2 3 2 = = = 2 Q 1 3 3

12 = 3

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 = b p = b. q , q 0 . q 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.

Exemplo 1 1 9 , , 3 2 4

-1/3

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 No caso do quadrado de lado unitrio e sua diagonal tem-se que um nmero racional. AB uma frao. CD

AC AC = = d no 1 AB

A demonstrao de que d no um nmero racional clssica, bastante intuitiva e de fcil compreenso. Suponhamos, por absurdo, que d= e, suponhamos que d = 1 + 1 = 2 , ou seja,
2

p , p, q Z , q 0 q

p e q so primos entre si. Pelo Teorema de Pitgoras, p2 q2 = 2 . Logo, 2= p2 p 2 = 2q 2 . 2 q

Temos assim que p 2 inteiro par; logo p tambm par (estamos usando o fato que: p 2 par p par ). Consideremos portanto, p = 2 p1 , p1 Z Substituindo na igualdade p 2 = 2q 2 obtemos:
2 2 4 p1 = 2q 2 2 p1 = q 2

Usando o mesmo raciocnio anterior conclumos que

q par. Chegamos assim

concluso que p e q so pares, o que contradiz a hiptese inicial de que p e q 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 = entanto pode ser representado na reta! 2 no um nmero racional, no

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, 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 .
3, 5 , , etc. (A prova de que

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

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' U Q e Q'Q = .

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

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 an x n + an 1 x n 1 +...+ a1 x + a0 = 0 com coeficientes inteiros. Se um nmero no for algbrico chamado de transcendente. Exemplos

1) Todo nmero racional algbrico. De fato:


x= p qx = p qx p = 0, q ( p, q Z , q 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: racionais Reais irracionais (todos so algbricos)

algbricos transcendentes

algbricos Reais 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.0 = 0, x e x. y = 0 x = 0 ou y = 0 . 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, C1) Comutatividade
x+ y= y+x e x. y = y. x

C2) Associatividade ( x + y) + z = x + ( y + z) C3) Distributividade x.( y + z ) = x. y + x. z C4) Existncia de Elementos Neutros


0 R; x + 0 = x e 1 R; x.1 = x x R

( x. y ). z = x.( y. z )

C5) Existncia de Elementos Inversos


x R , x R; x + ( x ) = 0

( x chamado de inverso aditivo ou simtrico de x)

10

x R, ( x 0 ) ( 1 x

1 1 R; x. = 1 x 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 ou x.( y. z) . 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 C3, temos x.0 = x ( 0 + 0) = x.0 + x.0 e, portanto, x.0 = x.0 + x.0 Somando ( x.0) em ambos os membros temos: ( x.0) + ( ( x.0)) = ( x.0) + ( x.0) + ( ( x.0)) Utilizando C5 , obtemos 0 = x.0

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

11

y0 Logo, multiplicando x. y = 0 por

1 1 tal que y = 1 y y

1 e usando a associatividade, obtemos y 1 1 x (y ) = 0 y y

Usando C 4 e C5 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 C5 que por C1 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 )
C3

= x.( y + ( y)) = x.0 = 0

C5

Logo, o simtrico de x. y x.( y ) , ou seja, ( x. y ) = x.( y ) . iii) ( x ).( y ) = x. y D] ( x ).( y ) 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 )
(ii)

( ( x ). y )

(ii)

( ( x. y ))

= x. y

( i)

12

2)

x 1 = x. , y 0 y y

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


3x + 1 = 4 ( 3x + 1) + ( 1) = 4 + ( 1)
C2

3x + (1 + ( 1)) = 3

C5

3x + 0 = 3

C4

3x = 3

1 1 ( )(( 3). x ) = ( ).(3) 3 3

C2

1 1 (( ).( 3)). x = ( .3) 3 3

1. x = 1 x = 1

C5

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: O1: A soma e o produto de nmeros reais positivos so positivos, ou seja,
* * * x , y R+ x + y R+ e x. y R+

O2: Dado x R , exatamente uma das alternativas seguintes ocorre:

13

i) x = 0 ;

ii) x R * ; + R + = R * {0} +

iii) x R * + R = R * {0} .

Indiquemos: R * = {x; x R * } ; + O axioma O2 diz que

R = R * R * {0} . +

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

Com efeito, x R* + x R*

O1

x.x = x 2 R * +

O2

x R* +

O1

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

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 desigualdades. Observaes 1) Em particular,
x > 0 x 0 positivo x R * +

dos

tipos

x < y,

x y,

x>y, x y

so

chamadas

de

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

14

Os nmeros x R * so chamados de nmeros negativos.


* R * R+

-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: P1) 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. P2) 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 O2 que: xy=0 logo, xy=0 x=y ou
* x y R+ x y > 0 x > y

ou

* x y R+

ou

* (x y) R+

ou
* * (x y) R+ x + y R+ x + y > 0 y > x

15

P3) 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. P4) 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 2 < 1 escrever que < 1 equivale a 2 < ( 1)( x 1) para x 1 . Observemos x 1 x 1 que o erro vem do fato de no sabermos o sinal de x 1 (Ver propriedade P4). 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 2 < 1 + 1 < 1 + 1 x 1 x 1 -1 < x < 1. Usaremos as seguintes notaes para representar tipos especiais de subconjuntos reais chamados intervalos. 1) [a , b] = {x R; a x b} 2) (a , b] = {x R ; a < x b} 3) [a , b) = {x R ; a x < b} 4) (a , b) = {x R ; a < x < b} 5) (, b] = {x R ; x b} 6) (, b) = {x R ; x < b} 7) [a ,+) = {x R ; x a} 8) (a ,+) = {x R ; x > a} 9) (,+) = R
C5

2 x +1 +1< 0 <0 x 1 x 1

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

Observaes 1) A expresso a xb significa que x a e x b , assim como, a< x<b significa x > a e x < b . 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) b) 1 2 < x + 1 3x 1 x +1 x 2 + x 3+ x

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
1 > 0. x 1 1 < . y x

c) Se 0 < x < y ento

d) Se x > y 0 ento x 2 > y 2 . e) Se x > 0, y 0 e x 2 > y 2 , ento x > y.