Gesto de Empresas

Matemtica I

Lio 3 Intervalos. Conjuntos limitados. Mximo, mnimo, supremo e nfimo de um conjunto. Axioma do supremo. Introduo s noes topolgicas em IR - Interpretao geomtrica dos reais. Mdulo. Distncia. Vizinhana.

1. INTERVALOS
Se a e b so dois nmeros reais tais que a b , chamamos ao conjunto de todos os nmeros reais entre a e b, o intervalo de extremos a e b. So usuais as seguintes designaes: O intervalo consiste em todos os x reais que satisfazem

Notao

Designao Intervalo aberto de extremos a e b Intervalo fechado de extremos a e b Intervalo semi-fechado ou semi-aberto de extremos a e b Intervalo semi-fechado ou semi-aberto de extremos a e b

(a, b ) ou ]a, b[ [a, b] (a, b] ou ]a, b]

a<x<b axb a<xb ax<b

[a, b ) ou [a, b[

Observao: No caso particular de a = b , todos os intervalos anteriores so vazios, com excepo do intervalo fechado, que tem apenas um elemento. Definem-se ainda os intervalos ilimitados. Sendo a um nmero real, podemos designar dois tipos de intervalos de origem a ilimitados direita, e dois tipos de intervalos de extremidade a ilimitados esquerda, so eles respectivamente: O intervalo consiste em todos os x reais que satisfazem

Notao

Designao Intervalo fechado de origem a Intervalo aberto de origem a Intervalo fechado de extremidade a Intervalo aberto de extremidade a

[a,+[ ]a,+[ ] , a ] ] , a[

xa

x >a
xa

x <a

Gesto de Empresas

Matemtica I

Observao: O prprio conjunto IR tambm considerado um intervalo ilimitado e designado s vezes por ] ,+[ . Seja agora K um subconjunto qualquer de IR (no necessariamente um intervalo), a e b nmeros reais. Diremos que: b um majorante do conjunto K se e s se qualquer elemento de K for menor ou igual a b, ou seja, x b qualquer que seja x K ; a um minorante de K se e s se a x , qualquer que seja x K .

claro que, se b um majorante de K e b ' um nmero real maior do que b, tambm b ' majorante de K; e de forma anloga para os minorantes. Exemplo 1: Determine o conjunto dos minorantes e dos majorantes dos conjuntos IR + e {0} . Um conjunto K IR diz-se, majorado (ou limitado superiormente, ou limitado direita) sse tiver majorantes; minorado (ou limitado inferiormente, ou limitado esquerda) sse tiver minorantes; limitado se tiver majorantes e minorantes, isto , se for majorado e minorado; ilimitado se no for limitado.

Dado um conjunto K IR , pode existir ou no em K um elemento maior do que todos os outros, isto , pode existir ou no um nmero real c verificando simultaneamente as condies: c K e c majorante de K. Se tal elemento existe, designamo-lo por o elemento mximo ou simplesmente o mximo do conjunto K, e notamo-lo por max K. Por outro lado, o mnimo de K, se existe, o menor dos elementos de K, isto , o nico minorante de K que pertence ao conjunto, e notamo-lo por min K. Se designarmos por V o conjunto de todos os majorantes de K , chamamos supremo de K, e designase por sup K, o elemento mnimo do conjunto V (no caso de V no ter mnimo, dir-se- que K no tem supremo). Este elemento, quando existe, nico, pode ou no pertencer a K, e satisfaz portanto as condies: 1. Qualquer que seja x K , x s (s majorante de K, s V ) 2. Qualquer que seja v V , s v (no h majorantes de K menores do que s) Observao: V = sse K no for majorado.

Gesto de Empresas

Matemtica I

Se designarmos por U o conjunto de todos os minorantes de K , chamamos nfimo de K, e designa-se por inf K, o elemento mximo do conjunto U (no caso de U no ter mximo, dir-se- que K no tem nfimo). Este elemento, quando existe, nico, pode ou no pertencer a K, e satisfaz portanto as condies: 1. Qualquer que seja x K , x r (r um minorante de K, r U ) 2. Qualquer que seja u U , u r (no h minorantes de K maiores do que r)

bvio que qualquer conjunto K que tenha mximo tem supremo, sendo sup K = max K; analogamente, qualquer conjunto com mnimo tem nfimo, igual ao mnimo. Contudo, pode o supremo de um conjunto existir sem que lhe pertena, caso portanto em que no existe mximo nesse conjunto; de forma anloga para o nfimo e o mnimo. Exemplo 2: Determine em IR os majorantes, minorantes, mximo, mnimo, supremo e nfimo, nos casos em que possvel, para os seguintes subconjuntos de IR: a.

[0,1]

b. ]0,1[

c. [ 0,1[

d. ]0,1]

e.

f. IR

g. {1,2,3}

2. AXIOMA DO SUPREMO
AXIOMA 8. (Axioma do supremo) Qualquer subconjunto de IR majorado e no vazio tem supremo. Deste axioma, deduzem-se os resultados: Teorema 9. Qualquer subconjunto de IR minorado e no vazio tem nfimo. Teorema 10. O conjunto IN no majorado. Teorema 11. (Propriedade arquimedeana) Sejam a, b IR e a > 0 ; ento existe um natural n tal que

na > b .
Teorema 12. Qualquer que seja o nmero real a > 0 e o inteiro n > 0 existe um e um s real b > 0 tal que b n = a ; b precisamente o supremo do conjunto dos reais x tais que x n < a . A saber, b = n a .

Gesto de Empresas

Matemtica I

3. NOES TOPOLGICAS NO CONJUNTO DOS REAIS As noes topolgicas surgem ligadas s ideias de aproximao e de determinao experimental. Alguns dos conceitos fundamentais da Anlise, como limite e continuidade, que iro ser desenvolvidos mais adiante, assentam nessas noes e por isso o seu estudo no dispensado. 3.1. INTERPRETAO GEOMTRICA DOS REAIS As definies que introduziremos a seguir tornam-se mais claras se entendermos geometricamente os nmeros reais como pontos de uma recta. Prova-se, com base em conceitos primitivos e axiomas da Geometria Euclidiana, que existe uma bijeco entre o conjunto IR e uma recta r (considerada como conjunto de pontos) se, fixados arbitrariamente em r dois pontos distintos O e U que ficaro a corresponder aos nmeros 0 e 1 associarmos a cada x IR o ponto X r que verifica as seguintes condies: a. O ponto O est situado entre U e X, sse x < 0 b. Tomando para unidade o comprimento do segmento OU , o comprimento do segmento OX igual ao nmero x , se este for positivo, e igual ao seu simtrico, x , se x for negativo. Embora no assente nesta geometria algum tipo de estruturao da Anlise real, esta terminologia constitui um auxlio eficaz da intuio e da memria para melhor compreender certas propriedades dos reais. Utiliza-se frequentemente a seguinte terminologia: chamamos pontos aos nmeros reais, e ao conjunto IR recta real, ou recta numrica.

3.2 MDULO, DISTNCIA E VIZINHANA Antes de definir a distncia de dois reais, convm introduzir o conceito de mdulo (ou valor absoluto ou ainda norma) de um nmero real. Sendo x IR , chamamos mdulo de x, e
designamos por x ao maior dos nmeros x e x. Assim, por definio:

x = max {x , x}
ou
x x = x se se x0 x<0

Gesto de Empresas

Matemtica I

No sentido intuitivo fcil constatar que, na interpretao geomtrica dos reais, o mdulo do nmero x traduz (na unidade considerada), a distncia do ponto correspondente, X, origem do referencial, isto , ao ponto O, correspondente ao nmero 0. Desta observao, resulta o teorema:
Teorema 1. Seja x IR , ento:

a. b. c. d. e.

x 0 (mais precisamente, x > 0 se x 0 e 0 = 0 ); x = x x x x (verificando-se sempre uma das duas desigualdades) x <a x >a x < a x > a a < x < a com a IR + x > a x < a, com a IR +

Teorema 2. Para todo x , y IR , verificam-se as seguintes propriedades: 1. 2. 3. 4. 5. 6. 7. 8. 9. 10.

x+y x + y

xy x y
x .y = x y

x x = , y IR \ {0} y y
x n = x , com n IN
n

x = y x = y x = y x = y x2 = y2 x < y x2 < y 2 x > y x2 > y2 x2 = x

Definio 1. Sendo x , y IR , chamaremos distncia de x a y ao mdulo da diferena x y , ou seja,

define-se

d ( x,y ) = x y
Definio 2: Sejam a IR , IR + . Chama-se vizinhana de a, e representa-se por V ( a ) , ao

conjunto de todos os nmeros reais x cuja distncia a a menor do que :

Gesto de Empresas

Matemtica I

V ( a ) = {x IR : d ( x ,a ) < } = {x IR : x a < } .
Exemplo 1: Atendendo definio de mdulo, reescreva 5 3x .

Exemplo 2: Determine x tal que

i. ii. iii. iv.

x > 2

3x 2 5
x2 1 < 1

x 1 x