PRIMERA PARCIAL LAPSO 2013 -2 762 - 1/7

Universidad Nacional Abierta Análisis I: 762.

Vicerrectorado Académico Primera Parcial.
Área de Matemática Fecha: 21/09/2013 .

MODELO DE RESPUESTA

Obj2-Pta1: Sean A   Ai : i  I  y B  B j : j  J  dos familias indexadas de conjuntos,

tales que A  B . Demuestre que: Ai  BJ y Ai  Bj .

iI jJ iI jJ

SOLUCIÓN: Primeramente, demostremos que Ai  B j . En efecto: Por hipótesis,

iI jJ

todos los conjuntos de la familia A pertenecen a la familia B . Esto quiere decir que para
todo Ai  A , existe al menos un B j  B , tal que Ai  B j . Sea, pues, un elemento x tal

que x  BJ y supongamos que x  Ai . Esto indicaría que x  Ai0 , para algún i0  I .

jJ iI

Pero Ai0  B j0 para algún j0  J , por lo cual, x  B j0 . Esto representa una contradicción

con el hecho de que x  B j . Esto indica que la suposición x  Ai es falsa, en

jJ iI

consecuencia, x  Ai .
iI

Demostremos ahora que Ai  BJ . A tal efecto, sea un elemento x  Ai . Entonces

iI jJ iI

x  Ai , para algún i  I . Pero, dado que la familia de conjuntos A está contenida en la

familia B , se tiene en consecuencia que Ai  B j para algún j  J . De modo que x  B j

y, por tanto, x  B j . De allí que Ai  BJ como se pretendía probar.

jJ iI jJ

Obj2-Pta2: Sea x  0 , un número real positivo cualquiera. Demuestre que existe un

número natural n , tal que: n  1  x < n .

Sugerencia: Considere el conjunto:  n  N : x  n . Demuestre que tal conjunto es no

vacío y aplique el principio del buen orden.

SOLUCIÒN: Sea x  0 un número real positivo arbitrario y considérese el conjunto

  n  N : x  n . Por la propiedad arquimediana de R , es claro que    . Luego,
como  es un subconjunto no vacío de números naturales, el principio del buen orden
PRIMERA PARCIAL LAPSO 2013 -2 762 - 2/7

asegura que  posee primer elemento, llamémosle m0 . Dado que m0   , se tiene

obviamente que x  m0 . Además, m0  1 , pues, en caso contrario, m0 no sería el primer
elemento de  . Esto último asegura que: m0  1  x . Por lo tanto, se ha encontrado un
número natural m0 tal que: m0  1  x  m0 , como se quería demostrar.
 1 
OBJ 3 PTA 1: Considere la sucesión  xn    1  ; n  
n

 n 
Encuentre: limsup xn ;liminf xn ; sup  xn  ;inf  xn  .

SOLUCIÓN: Para fijar ideas, observemos por extensión algunos de los elementos del
conjunto de valores de la sucesión:

3 2 5 4 7 6 9 8
 xn   0,
, , , , , , , ,........... .

 2 3 4 5 6 7 8 9 
Puede notarse que los elementos de orden par e impar forman las secuencias
3 5 7 9   2 4 6 8 
 , , , ,...,  y 0, , , , ,... respectivamente. Tenemos así las
2 4 6 8   3 5 7 9 
subsucesiónes de orden par e impar:
an   1  , n   y bn  1  , n   , respectivamente.
1 1
 n   n 

Se observa que lim an  1 y lim bn  1 . Es fácil ver que 1 es el límite más grande al que
cualquier subsucesión de xn puede converger, así como -1 es el menor. Por tanto 1 y -1 son
el límite superior y el inferior respectivamente.
3
Por otra parte, es claro que sup  xn   e inf  xn   1.
2


  1n .n 
Obj3-Pta2: Demuestre que la sucesión:  yn     es acotada, pero no
 n  1 n 1
convergente. Determine una subsucesiòn que sea convergente. Calcule los límites superior
e inferior de la sucesión.

 1
n
n
SOLUCIÓN: Para probar el acotamiento de la sucesión yn  , basta analizar la
n 1
n  1 n
n
n
siguiente cadena de desigualdades: 1     1 . Esto demuestra que:
n 1 n 1 n 1
yn  1 . Para ver que no es convergente, hay varios caminos posibles. Uno es considerar las
PRIMERA PARCIAL LAPSO 2013 -2 762 - 3/7

 1  1 2  n  1
2n 2 n 1
2n
subsucesiones y2 n  de términos de orden par y y2 n1  de
2n  1 2  n  1  1
orden impar, respectivamente. Es claro, entonces, que Limn y2 n  1 y Limn y2n1  1 .
¡Verifíquese! Por lo tanto, la sucesión  yn  no converge, ya que posee dos subsucesiones
que convergen a límites diferentes. Nota: Se aceptan otros razonamientos siempre que
estén bien fundamentados.

Calculemos ahora el límite superior de la sucesión. El caso del límite inferior es análogo y
se dejará a consideración del lector. Es claro que ningún otro limite subsecuencial de yn
puede ser mayor que uno, pues, en tal caso, infinitos términos de la sucesión yn se
acumularían en torno a ese valor, todos mayores que uno, lo cual obviamente no es posible.
Por lo tanto, es lógico pensar que: LimSup  yn   1 . Para demostrarlo, usaremos la siguiente
definición de límite superior de una sucesión: Definición: L = LimSup  yn  si se cumplen
las dos condiciones siguientes: i.- Existe sólo un número finitos de términos de la sucesión
mayores que L. ii.- Para todo   0 , existe una cantidad infinita de términos yn de la
sucesión, para los cuales: L   yn  L. La primera condición es obvia, pues un número
finito de términos de la sucesión son mayores que L=1.(De hecho, ninguno). Para la
segunda condición, tomemos un   0 arbitrariamente pequeño. Debemos demostrar que
existen infinitos términos yn de la sucesión que cumplen: 1    yn  1. En efecto,
2n
y2 n  1     1   . Esto último será cierto, si y sólo si,
2n  1

1 
2n  1    2n  1    2n  1  1  n  .
2

1 
Por lo tanto, tomando n  n   1 , se concluye que todos los términos y2n de la
2
sucesión, de n en adelante, cumplen la condición: 1-   y2 n  1 . En conclusión hemos
probado que LimSup  yn   1 . Nota: Igualmente son admisibles otros razonamientos.
Intente demostrar que LimInf ( yn )  1 .

FIN DEL MODELO DE RESPUESTA.