Escolar Documentos
Profissional Documentos
Cultura Documentos
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 .
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
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
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
2) 2 algbrico.
2 satisfaz a equao x 2 2 = 0 .
algbricos transcendentes
( x. y ). z = x.( y. z )
10
x R, ( x 0 ) ( 1 x
1 1 R; x. = 1 x x
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
11
1 1 tal que y = 1 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
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
3x + (1 + ( 1)) = 3
C5
3x + 0 = 3
C4
3x = 3
C2
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+
13
i) x = 0 ;
ii) x R * ; + R + = R * {0} +
iii) x R * + R = R * {0} .
R = R * R * {0} . +
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
-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
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