Professional Documents
Culture Documents
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[
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 +
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
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
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 .
x > 2
3x 2 5
x2 1 < 1
x 1 x