Análisis Matemático vol. I Funciones de una variable real. *
Análisis Matemático vol. I Funciones de una variable real. *
Análisis Matemático vol. I Funciones de una variable real. *
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
3.1. SUCESIONES 21<br />
TEOREMA 3.3 (Sandwich) Si lím xn = lím yn = a ∈ R y xn zn yn para todo n<br />
suficientemente gran<strong>de</strong>, entonces lím zn = a.<br />
Demostración. Sea ε > 0 arbitrario. Por hipótesis <strong>de</strong> convergencia existen enteros<br />
positivos n1 y n2 tales que |xn − a| < ε y |ym − a| < ε siempre que n n1 y m n2<br />
respectivamente. Pro otro lado, existe n3 tal que xn zn yn para todo n n3.<br />
Tomemos ahora n4 máx{n1, n2, n3}, <strong>de</strong> modo que para n n4 se tiene<br />
a − ε < xn zn yn < a + ε,<br />
lo cual implica |zn − a| < ε. Por tanto zn → a.<br />
Para el caso <strong>de</strong> límites infinitos el Teorema anterior se enuncia <strong>de</strong> la siguiente forma.<br />
TEOREMA 3.4 (Sandwich) Si lím xn = +∞ y xn zn para todo n suficientemente<br />
gran<strong>de</strong>, entonces lím zn = +∞. Analogamente, si lím yn = −∞ y zn yn para todo n<br />
suficientemente gran<strong>de</strong>, entonces lím zn = −∞.<br />
Demostración. Es consecuencia inmediata <strong>de</strong> las <strong>de</strong>finiciones.<br />
Ejercicio. Demuestre que si lím xn = 0 y (yn) es <strong>una</strong> sucesión acotada, entonces<br />
lím xnyn = 0.<br />
Ejemplo 3.1 (Número <strong>de</strong> Euler) La sucesión con término general<br />
an = 1 + 1 + 1 1 1<br />
+ + · · · +<br />
2! 3! n! =<br />
n<br />
k=0<br />
1<br />
k!<br />
(3.2)<br />
es convergente. Para <strong>de</strong>mostrar esto notamos inmediatamente que (an) es creciente.<br />
A<strong>de</strong>más es acotada, pues 2 n−1 < n! para n 3 (vea Proposición 2.3), lo<br />
cual implica<br />
2 < an = 1+1+ 1 1<br />
+<br />
2! 2<br />
1<br />
+· · ·+ 2 2<br />
<br />
n−1<br />
= 1+<br />
n−1<br />
k=0<br />
k 1<br />
1 1 − 2 = 1+<br />
2<br />
n<br />
1 − 1<br />
2<br />
Definimos el número <strong>de</strong> Euler e, como el límite <strong>de</strong> la sucesión (an).<br />
PROPOSICIÓN 3.5 El número <strong>de</strong> Euler es irracional.<br />
= 1+2 1−(1/2) n 3.<br />
Una <strong>de</strong>mostración pue<strong>de</strong> ser encontrada en el libro “Calculus” <strong>de</strong> Michael Spivak.<br />
El ejemplo a continuación caracteriza el número <strong>de</strong> Euler como otro límite importante<br />
el cual, en ocasiones, es empleado como <strong>de</strong>finición, particularmente en algunos textos <strong>de</strong><br />
Cálculo.