Está en la página 1de 2

Encajes de intervalos

1)Como para cualquier , entonces y (haz un dibujo, por ejemplo que ilustre la relacin para convencerte, y si lo requieres, demustralo analticamente pero siguiendo la definicin de que los intervalos estn encajados). 2) Con lo anterior, hemos probado que y son sucesiones montonas. Para ver que, por ejemplo es acotada inferiormente, puedes tomarte a como cota inferior (otra vez, si es necesario haz un dibujo pero con ms intervalos). De la misma forma, observa que las son acotadas superiormente (por ). Esto prueba que ambas sucesiones convergen, digamos a y a respectivamente, y no solo eso, sino que otra vez, por la monotona y la acotacin de las sucesiones, y . 3) Hay un resultado conocido (si no te convence, intenta probarlo, y si no puedes, no hay problema con que preguntes): Si y cada sucesin converge, digamos a e respectivamente, entonces . Usa esto para las suceciones y . Es decir, aplica este teorema. 4)Veamos que para cualquier . Por una parte, por la monotona de las suceciones, se tiene que y para cualquier . Pero por lo hecho en (3), se tiene entonces que para cualquier . Por tanto para cualquier , y por definicin, esto prueba que para cualquier , de donde . Ahora que ya te lo hice para , te toca hacerlo para (mostrar que ). 5)Lo anterior prueba que la interseccin de los intervalos es no vaca, por lo que ya tenemos la mitad del problema. Veamos que esa interseccin es un nico punto. Pero como ya tenemos que , entonces debemos mostrar que , y que adems no hay otro punto. Como , entonces . Por una parte, . Pero usando la monotona de las sucesiones se tiene que es una sucesin decreciente y con nfimo 0. Luego, converge a ese nfimo y por tanto (otra vez, para ver la monotona de esta sucesin, conviene que te des cuenta de que se trata de la sucesin de longitudes de los intervalos , que como son encajados, deben formar una sucesin decreciente de longitudes).

Por tanto, y usando la ltima desigualdad del primer prrafo del punto (5), se tiene que . Mostremos que no hay ms puntos. Sea . Entonces para cualquier , y entonces es cota superior e inferior de las respectivas sucesiones. Pero como y , se cumple que , por lo que . Hemos probado la unicidad. Espero que te haya quedado ms claro. Si tienes dudas, pregunta.. Saludos