Universidad Nacional de Colombia Sede Bogot a Introduccin al Anlisis Real o a

Edinson Alberto Lara Silva - Cdigo: 153719 o Primer Examen Parcial - Correcin o
1. Dado a > 0 en R y n Z+ cualquiera, existe un unico nmero real b > 0 tal que bn = a u Demostracin o EXISTENCIA Consideremos el siguiente conjunto X = {r R | r > 0 y rn < a} Veamos que X = Si a > 0, por la Desigualdad de Bernoulli, tenemos:

(1 + a)n (1 + na)n Ahora, si x X entonces:

= >

(1 + na) (1 + na) > a a

xn < a < (1 + a)n = xn < (1 + a)n Es decir: x < 1 + a Para todo x X

Luego X est acotado superiormente y por lo tanto X tiene Supremo. a

Sea b = Sup X como R es un cuerpo ordenado, R satisface los Aximas de Orden, por el axioma 2 se tiene que puede ocurrir, una y slo una de las siguientes alternativas: o

bn < a bn > a bn = a Caso I. Si bn < a entonces, por la Propiedad Arquimediana existe un nmero natural k u tal que

k(a bn ) > 1 luego se tiene que: bn + As b+ Ahora b+ Esto es contradictorio, pues

1 k

1 k
n

<a 1 X k

1 0; k 1 k

b+

1 k

< a = b +

Sup X = b =

1 0 k

0 Para todo k N

Caso II. bn > a entonces, nuevamente por la Propiedad Arquimediana existe un nmero u natural k tal que

k(bn a) > 1 Luego se tiene que: bn 1 k > a; bn 1 k 0

As
n

xX

= xn < a < = xn < = x < b b 1 k

b 1 k

1 k

1 Luego b k tambien es cota superior de X, b 1 es contradictorio, pues k 0 Para todo k N

1 k

1 Sup X = b = k 0; Esto

Entonces por Aximas de Orden bn = a, esto es, X = UNICIDAD Sean b > 0, c > 0, b, c R tal que: bn = a = b = a n cn = a = c = a n b = an = c Por lo tanto b = c
1 1 1

2. Sea X un subconjunto de un espacio mtrico (X, d). Demuestre que p X si, y solo e si, toda bola con centro p contiene una innidad de puntos de X ) Sea (X, d) un espacio mtrico y X subconjunto del espacio mtrico e e Supongamos que p X y que existe una bola con centro en p y radio r > 0 que contiene n puntos de X Consideremos lo siguiente Sea G = {a1 , a2 , an }; G X un conjunto nito de puntos que estn alrededor de p a r = min {d(p; a1 ), d(p; a2 ), d(p; a3 ), , d(p; an )}
r r r Luego consideremos B(p; 2 ), luego 2 r para todo r > 0, es decir, que B(p; 2 ) no contiene ningn punto de G y por lo tanto p no es punto de acomulacin de X, esto u o niega el hecho de que x X , luego toda bola con centro en p contiene una innidad de puntos de X

) Por denicin de punto de acomulacin. Dado que toda bola con centro en p o o contiene una innidad de puntos de X, claramente B(p; r) X en particular, p B(p; r) entonces para toda bola con centro en p y radio r > 0 al intersectarla con X, la interseccin es no vac luego p X o a, 3. Demuestre que los l mites de subsucesiones de una sucesin (xn ) en un espacio mtrico o e M forman un subconjunto cerrado de M Un conjunto F M se dice cerrado cuando F c es abierto Un conjunto F en un espacio mtrico (X, d) es cerrado si y solo si F es igual a e la adherencia de F , es decir, F = F = F F Consideremos E formado por todos los limites de subsucesiones de (xn ), E = E E ? Debemos demostrar una igualdad entre conjuntos, doble contenencia, entonces: ) Por teoria de conjuntos, claramente E E E ) Si x E entonces x E {x}, luego tenemos dos casos: x E {x} x E {x} o /

x E {x}

= x E x {x} / c = x E x {x} = x E

x E {x} existe una bola abierta B con centro en x sin puntos en comn con E / u entonces, B c es un conjunto cerrado tal que E B c y x B c , esto signica que x E / Por lo tanto si x E = x E para todo x E , esto es que: E E y por lo tanto E = E es decir, el conjunto de todos los limites de subsucesiones de la sucecin x(n) o forma un conjunto cerrado en el espacio mtrico M e 4. Muestre que lim n n = 1
x
1

Sea f (n) = n n una sucesin, con n N, encontremos una funcin equivalente a o o f (n), entonces: Sacando el logaritmo natural a ambos lados de la igualdad se tiene que: ln[f (n)] ln[n n ] ln n ln[f (n)] = n ln n ln[f (n)] e = e n f (n) 4 = e
ln n n

 ln n ln n Finalmente obtenemos que f (n) = e n , es decir, n n = e n , Para todo n N y por lo tanto ln n lim n n = lim e n
x x

Entonces:
x

lim e

ln n n

ex

lim

ln n n

1 Este limite es una indeterminacin del tipo , dado que h(n) = ln n y g(n) = n son o continuas y derivables en el intervalo (0, ) entonces, por la Regla de LHopital

Sean f y g dos funciones denidas en el intervalo [a, b], y sean f (c) = g(c) = 0, con c perteneciente a (a, b) y g (x) = 0 si x = c . Si f y g son derivables en (a, b), entonces si existe el lmite
f g f g

en c, existe el lmite de f (x) , se tiene que: (x)

(en c) y es igual al anterior. Por lo tanto, lim lim

f (x)

xc g(x)

= lim

xc g

ex Y sabemos que:

1 ln n lim n = ex n lim 1 =0
1 n

x n

Gracias a la Propidad Arquimediana pues ( > 0) (N Z+ ) n N = 1 =0 Luego ex n = e0 = 1 y por lo tanto lim n n = 1 lim
x

5. Sean (xn ) una sucesin en el espacio mtrico M y : N N una funcin tal que o e o lim (n) = . Dena una nueva sucesin (yn ) en M as yn = x(n) para todo o : x n N. Pruebe que: i.) lim xn = a implica que lim yn = a. La rec proca es verdadera si , adems a x x de eso, fuera sobreyectiva. ii.) Si (xn ) es una sucesin de Cauchy en M entonces yn es una sucesin de Cauchy o o en M Para i.) La sucesin (yn ) es una subsucecin de la sucesin (xn ), es decir que (yn ) o o o est restingida a (xn ), luego a
x

lim xn = a signica que: Para todo

> 0 existe N Z+ tal que si n N en-

tonces d(xn , a) , en otras palabras, (xn ) converge a a, luego cualquier subsecin o de (xn ) tiene que converger al valor que converge toda la sucesin, en particular, la o 5

sucesin (yn ) por hipostesis es una subcesin de la sucesin (xn ) la cual converge a a; o o o por lo tanto, para todo > 0 existe M Z+ tal que si n M entonces d(yn , a)

ii.) Dado que (xn ) es una sucesin de Cauchy entonces: o Para todo > 0 existe N Z+ tal que si n, m N entonces d(xn , ym )

De otro lado tenemos que (yn ) se denin como una subsucesin de la sucesin (xn ), o o o como consecuencia de la denicin de sucecin de Cauchy, toda subsucesin de una o o o sucesin de Cauchy es una sucecin de Cauchy, por teoria de conjuntos, en particular, o o como (yn ) es una subsucecin de la sucecin (xn ), la cual por hipotesis es una sucecin o o o de Cauchy y por lo tanto (yn ) es una subsucecin de Cauchy. o