Problemas y Ejercicios (Conjunto Acotados)

Conjuntos Acotados Definicin: Sea A R, A . Se dice que R es una cota superior (respectivamente inferior) de A, si x ( x respectivamente), x A . Definicin: a) Se dice que un conjunto A es acotado superiormente (mayorado), si el conjunto de las cotas superiores de A es no vaco. b) Se dice que un conjunto A es acotado inferiormente (minorado), si el conjunto de las cotas inferiores de A es no vaco. Definicin: Se dice que A es acotado si es acotado superior e inferiormente. Definicin: Sea A R, A . Se denomina extremo superior (respectivamente extremo inferior) de Ay se nota supA (respectivamente infA) a la menor de las cotas superiores (respectivamente inferiores) de A. Caracterizaci n del extremo superior y del extremo inferior Sea A R, A . !n n"mero real b es el extremo superior de A si verifica# i. ii. b es una cota superior. c es otra cota superior y c b .

Sea A R, A . !n n"mero real c es el extremo inferior de A si verifica# i. ii. c es una cota superior. d es otra cota superior y c d .

Teorema 1: $l extremo inferior (respectivamente superior) si existe, es "nico. Demostracin: Sea c un extremo inferior, supondremos que existe otro extremo inferior d, de A, siendo d c , entonces d c . %or otro lado, como c es extremo inferior, c d . &ue'o se si'ue que c = d , lo que es una contradicci n con la (ip tesis. %or lo tanto el extremo inferior es "nico. Teorema 2: Sea A R, A un conjunto acotado superiormente y sea b = sup A . $ntonces, para todo > ), x A , tal que x > b . Demostracin: Supondremos que ) > ) tal que x A , x b , con lo que obtenemos que b es una cota superior de A pero como adem*s b < b , se tienen una contradicci n, pues nin'una cota superior puede ser menor que el extremo superior.

%or lo tanto lo que supusimos es incorrecto y entonces podemos concluir que para todo > ), x A , tal que x > b . Axioma de Completez: Sea A R, A . Si A es acotado superiormente, entonces existe un extremo superior. Teorema 3: Sea A R, A . Si b es una cota superior de A, tal que > ), x A , tal que x > b , entonces b = sup A Demostracin: Si c es una cota superior de A, debemos demostrar que c b . Supon'amos entonces que c < b , esto implica que b c > ) . Como se cumple para todo , podemos tomar uno en particular. Sea = b c > ) , por (ip tesis existe un x A , tal que x > b b + c , es decir x > c , lo que es una contradicci n pues nin'"n elemento del conjunto puede ser mayor que una cota superior. %or lo tanto b es el supA. Teorema 4: (%ropiedad Arquimediana)# Sean x, y R , x > ) . $ntonces existe n Z + tal que nx > y . Demostracin: Como x ), x y R, y dado que Z + no es acotado superiormente, existe un n Z + , tal que n > y x , de donde se si'ue que nx > y . $jercicios# n , n N es acotado inferiormente: +. Demostrar que A = n ++ Solucin: n ) y existe entonces una cota inferior -enemos que n ) y n + + ) . &ue'o n ++ que es ). %or lo tanto A es acotado. i A = x R + # x . . , pro!ar que existe el supA" Solucin: i. /ebemos primero demostrar que A . $n efecto, como + . , A es no vaco. ii. /ebemos probar a(ora que A es acotado superiormente.

..

Sea x A , si x < + , entonces x . < x < + , y por lo tanto + es una cota superior. Si x > + , entonces x < x . < . , es decir x < . , por lo tanto . es una cota superior. 0inalmente, como A es acotado superiormente, por el axioma de completez, existe es supA1b. 2. i A = [ .,2[ , pro!ar que sup A = 2 . Solucin: 3amos a suponer que 2 no es sup A . -omamos b como cota superior b 2 , entonces se presentan dos opciones. a) sup A = b > 2 $ste caso es una contradicci n, puesto que como 2 es una cota superior, si existiese otra cota b, mayor que 2, esta debera cumplir con b < 2 . b) sup A = b < 2 Si b < 2 , entre b y 2 existe al menos un z, que sera# b< Con b+2 <2 .

b+2 [ .,2[ . &o que es una contradicci n pues nin'"n z A puede ser . mayor al sup A . %or lo tanto sup A = 2 . 4. #ro!ar que $% no es acotado superiormente" Solucin: Supon'amos que $% es acotado superiormente. Como $% , por el axioma de completez, existe sup $%1b. $s decir# b = sup Z + > ), n Z + # n > b Se'"n este resultado, esto se cumple para cualquier y en particular para = + , tal + que n) > b + , de donde se si'ue que n) + + > b y como n) + + Z se tiene una contradicci n, pues nin'"n elemento puede ser mayor que el supremo de A. %or lo tanto lo que supusimos es incorrecto y entonces podemos decir que $% no es acotado superiormente. 5. #ro!ar que > ), n Z + tal que n = + Solucin:

-omando $ como x y y1+ en la propiedad Arquimediana, se tiene el resultado. n , n N #ro!ar que sup A = + " ea A = n ++ Solucin: /esarrollando este conjunto tenemos, + . 2 A = ), , , ,4..... . 2 4 %or teoremas . tenemos que# sup A = + > ), x A, x > + &ue'o, + < n n + < n ++ n ++ n ++ n < n ++ + < n ++ %or la propiedad arquimediana, tenemos que es mayor para cualquier + n , por lo tanto es cierto que + < n n ++ n = x , concluimos que sup A = +. n ++

6.

0inalmente, siendo