Apuntes Clase

Concepto y definicin de lmites. Lmites finitos e infinitos.
Sucesiones. El nmero e.
Dr. Juan Eduardo Npoles Valdes
1
CONCEPTO Y DEFINICIN DE LMITES. LMITES FINITOS E
INFINITOS. SUCESIONES. EL NMERO e.
La base del Calculus,
gira en torno a dos
problemas geomtricos
fundamentales, que
han sido estudiados
hace muchos aos, el
primero de ellos se le
conoce con el nombre
del Problema
Fundamental del
Clculo Diferencial y su
formulacin es la
siguiente: Dado un punto P(x,f(x)) sobre la curva y=f(x), cmo
calcular la pendiente de la recta tangente en P?
El problema de la
tangente es un
problema geomtrico,
pero su respuesta (en
la forma de derivadas)
es la clave para la
solucin de diversos
problemas de aplicacin
en muchas reas
cientficas y tcnicas.
El segundo problema,
llamado Problema
Fundamental del
Clculo Integral, se formula as: Si f(x)0 para x en el intervalo [a,b],
cmo calcular el rea A de la regin plana que est bajo la
curva y=f(x) y sobre este intervalo?
Si bien ambos problemas sern resueltos ms adelante (Unidades
III y VIII), hoy estudiaremos el concepto rector en el Calculus: el
concepto de lmite, sobre el que se asientan las soluciones de
ambos problemas. Si bien existen distintas aproximaciones,
nosotros seguiremos la formulacin de Cauchy.
El lmite de una funcin en un cierto numero c describe lo que le
sucede a esa funcin a medida que la variable x se aproxima a c.
Suponga que se desea conocer qu le sucede a la funcin
y = f(x)
P(x, f(x))
y = f(x)
a
b
2
1
1
) (
3
=
x
x
x f , x1, a medida que x se acerca a 1. Analicemos la
siguiente tabla de valores:
x tiende a 1 por la
izquierda
1
1
) (
3
=
x
x
x f , x1
x tiende a 1 por la
derecha
0.75 0.9 0.99 0.999 1 1.001 1.01 1.1 1.25
2.31
3 2.710 2.970 2.997 ? 3.003
3.03
0 3.310 3.813
Aunque f no est definida en x=1, la situacin puede resolverse
calculando f(x) para valores de x que se acercan cada vez ms a
1 por la izquierda y por la derecha.
Definicin provisional. La funcin f tiende hacia el lmite L cerca
de c, si se puede hacer que f(x) est tan cerca como queramos de
L, haciendo que x est suficientemente cerca de c, pero siendo
distinto de c, y se dice que
el lmite de f(x) es igual a
L cuando x tiende a c, lo
que se denota como
L x f Lim
c x
=
) (
.
Volvamos a la tabla anterior,
as vemos que s
0,999<x<1,001, entonces
2,997<f(x)<3,003, usando
valor absoluto, lo anterior se
puede escribir como si
x-1<0,001 entonces
f(x)-3<0,003, donde c=1, y L=3.
Analicemos los siguientes grficos.
3
Las tres funciones representadas, tienen comportamientos distintos
cerca del punto c, la funcin del inciso (a), est definida en el punto
y las imgenes de valores cercanos a c, est cercanos a L; en el
inciso (b), f(c) no est cerca de las imgenes de argumentos cerca
de c; y en el inciso (c), ni siquiera est definida en el punto, sin
embargo, en los tres casos, el lmite de la funcin en el punto c es
L.
Veamos ahora las siguientes funciones.
Es claro que en ambos casos, valores cercanos a c no producen, en
sus imgenes, ningn acercamiento a un valor dado L: en el inciso
(a) porque por la derecha y la izquierda se toman valores distintos y
en el inciso (b), porque la funcin crece sin cota.
En lo que sigue, a menos que se establezca lo contrario, se
considerar que f es una funcin real, definida sobre un dominio X y
c (no necesariamente un punto de X) es un punto de acumulacin
de dicho conjunto, es decir, un punto que en cualquier vecindad
suya, contiene puntos del conjunto X, distintos de el.
Definicin 1 (Lmite segn Cauchy). El nmero L, se llama lmite
de la funcin f en el punto c, si cualquiera sea c>0, se puede
encontrar un o=o(c), para el cual la condicin x-c<o, xc, implica
que f(x)-L< . Esto se denota como L x f Lim
c x
=
) ( .
Grficamente esto significa que dentro de la franja horizontal del
plano (x,y), comprendida entre (L- , L+ ), estn todos los puntos
del grfico de la funcin, correspondientes al intervalo (c-o, c+o)
excepto, posiblemente, el de c. En consecuencia, dos funciones que
son iguales para todos los valores de x, distintos de c, tienen el
mismo lmite para x c.
4
Qu significa esto en la prctica? Que es correcto, antes de
calcular el lmite, hacer en la funcin todas las simplificaciones
convenientes, incluso la supresin de factores comunes que se
anulan para x=c, siempre que stos no se anulen para otros valores
de x, prximos a c. As la funcin
x
x x
x f
2
) (
2
+
= , tiene como lmite 2,
cuando x 0, puesto que para todo valor x0, f(x) es x+2.
Geomtricamente, la definicin anterior puede ilustrarse en el
siguiente grfico.
Y ahora llegamos a un punto clave. El valor L es nico. Sin
embargo, si aceptamos que tanto L como K son lmites de f(x) en el
punto c, resulta que si |x-c|<o, f(x) tiene que estar simultneamente
cerca de L y de K, como f(x) es una funcin uniforme, esto no es
posible. En consecuencia, no es posible que una funcin tenga
dos lmites distintos. Su demostracin es muy sencilla y la
dejamos como entretenimiento (Spivak, p.120).
Observemos que con la indicacin x c, decimos que x se aproxima
indefinidamente al valor c, pero puede tomar valores mayores o
menores que c, puede acercarse a c, por la derecha o la izquierda.
Veamos el siguiente grfico.
Obsrvese que al tender x a 0, y oscila indefinidamente, sin tender
hacia ningn valor fijo; por el contrario, toma infinitas veces todos
los valores entre -1 y +1, de ah que sea imposible que exista algn
L +
L
L -
2
c - c c +
y = f(x)
5
valor L. Esto equivale a decir que no es verdad que para todo >0
para el que se cumpla que f(x)-0 < eligiendo x suficientemente
pequeo y distinto de cero. Para demostrar esto, nos basta con
encontrar un >0 para el cual no se pueda garantizar la condicin
f(x)-0 < , por pequeo que se haga x. De hecho, =1/2 cumple
lo dicho, es imposible asegurar que f(x)<1/2 por pequeo que sea
x; pues si A es un intervalo cualquiera que contiene al cero, existe
x=1/(t/2+2nt) que est en dicho intervalo (a partir de un cierto valor
de n), para el que se cumple que f(1/(t/2+ 2nt)=1>1/2.
La misma argumentacin puede utilizarse para demostrar que f no
se aproxima a ningn nmero cerca de 0. Para demostrar esto
debemos encontrar, cualquiera que sea el nmero particular L,
algn nmero >0 tal que f(x)-L < no se cumpla, por pequeo
que se haga x. En particular, =1/2 sirve cualquiera sea L, la razn
sigue siendo la misma: para cualquier intervalo A que contenga el
cero, existir un nmero de la forma en dicho intervalo cuya imagen
es 1 (tambin existen nmeros de la forma 1/(3t/2+ 2mt) en este
intervalo, tal que su imagen es -1). Pero el intervalo L-1/2 a L+1/2
no puede contener a la vez a 1 y -1, pues su longitud es solamente
1, as no se puede tener a la vez 1-L <1/2 y -1-L <1/2, sea cual
sea el valor de L.
6
Debemos aclarar el hecho de que la oscilacin de un funcin puede
impedir que esta tenga lmite en el punto, si tomamos en
consideracin la funcin
x
xsen x f
1
) ( = , vemos que las ordenadas de
la funcin anterior estn multiplicadas por x, y cuando sta
disminuye, las oscilaciones de la funcin van decreciendo y estn
limitadas a la regin comprendida entre las dos bisectrices de los
ejes (x y x), de aqu que cuando x tiende a cero, f(x) tambin lo
hace, por lo que L=0.
No obstante, estas observaciones nos llevan a la consideracin del
modo de tender x a c, es decir, a considerar los Lmites laterales.
Lmite lateral izquierdo. El lmite lateral izquierdo de f(x) cuando x
tiende a c (o lmite de f(x) cuando x tiende a c por la izquierda)
es igual a L si podemos acercar arbitrariamente a L los valores de
f(x) aproximando x lo suficiente a c, con valores de x menores que
c y se escribe
L x f Lim
c x
=
) (
.
Lmite lateral derecho. Anlogamente, el lmite lateral derecho de
f(x) cuando x tiende a c (o lmite de f(x) cuando x tiende a c por
la derecha) es igual a L si podemos acercar arbitrariamente a L
los valores de f(x) aproximando x lo suficiente a c, con valores
de x mayores que c y se escribe
L x f Lim
c x
=
+
) (
.
Es claro que si en el punto c, ambos lmites laterales existen y son
iguales, entonces el lmite en el punto existe y es igual a dicho valor
comn, es decir,
) ( ) ( ) ( x f Lim L x f Lim x f Lim
c x c x c x
= = =
+
.
Recprocamente, la existencia de lmite en el punto, implica la
existencia e igualdad de ambos lmites laterales. Sin embargo,
ambos lmites laterales pueden existir y no ser iguales, por ejemplo,
la funcin y=sgn x, tiene lmite lateral derecho en el cero igual a 1 y
lmite lateral izquierdo igual a -1, es claro entonces que no existe el
lmite de la funcin en x=0. Estas observaciones nos permiten
formular el siguiente resultado.
Condicin para la existencia del lmite de una funcin en un
punto. Para que una funcin tenga lmite en el punto c, es
necesario y suficiente que ambos lmites laterales existan y sean
iguales.
7
Esto nos dice que los lmites laterales son un instrumento til para
determinar si una funcin tiene o no lmite en un punto. Veamos otro
ejemplo:
>
<
+ =
0 , ,
0 ,
1 ) (
3
2
x si x
x si
x
x
x f
Para dicha funcin, vemos que ambos lmites laterales existen y son
iguales a cero, de aqu que la funcin tendr lmite en el punto y su
valor ser 0.
Qu pasa si ambos lmites laterales son iguales pero infinitos? En
este caso diremos que la funcin tiene lmite infinito en el punto c,
tomemos como ejemplo la funcin
2
) 2 (
1
) (
=
x
x f en el punto x=2; por
supuesto que ambos lmites laterales pueden ser infinitos de
distintos signos, sea el caso de la funcin
1
1
) (
=
x
x f , cuyo lmite
lateral derecho es + y el izquierdo -, cuando x tiende a 1.
Ahora bien, si queremos demostrar que una funcin no tiene lmite
en el punto, no siempre tenemos que calcular sus lmites laterales,
basta con negar con cuidado y correctamente la definicin 1.
Si no es verdad que
cualquiera sea c>0, se puede encontrar un o=o(c), para el
cual la condicin x-c<o, xc, implica que f(x)-L< ,
se cumple entonces que,
existe algn c>0, tal que para todo o>0, existe algn x para
el que se cumple que x-c<o, pero no f(x)-L< .
As, para demostrar que la funcin
x
sen x f
1
) ( = no tiene lmite en x=0,
consideramos =1/2 y observamos que para todo o>0 existe un x
con x<o, pero para el que no se cumple que
2
1
0
1
<
x
sen , a saber,
un x de la forma 1/(t/2+ nt) con n suficientemente grande, tal que
1/(t/2+ nt)<o.
Para ilustrar como se plica la definicin a una funcin que tiende a
un lmite, probemos que
5 ) 8 3 (
1
=
x Lim
x
.
Sea arbitrario. Debemos encontrar o>0 tal que si x-1<o, x1,
entonces (3x-8)-(-5)< , En otras palabras, es necesario resolver la
8
desigualdad
(3x-8)-(-5)=3x-1< .
Evidentemente, si o= /3, para x-1<o se cumple que
(3x-8)-(-5)<3o<3( /3)= .
Hasta ahora, hemos analizado la existencia (o no) del lmite de una
funcin en un punto c cualquiera (pero finito), cmo extender estas
nociones al caso en que c sea ?
Observemos el siguiente grfico.
A medida que x crece en magnitud (hacia la derecha o a la
izquierda), el cociente senx/x toma valores cada vez ms pequeos.
En realidad, lo que estamos diciendo es que si x se hace
infinitamente grande (a + -), senx/x tiende a cero y se escribe
0 =

x
senx
Lim
x
. Un lmite de la forma
) (x f Lim
x
suele llamarse lmite
al infinito.
Formalmente,
L x f Lim
x
=

) (
significa que, para todo c>0, existe un
nmero N tan grande, que, para todo x, si x>N, entonces f(x)-L< .
Debe quedar clara la analoga con los lmites que hemos tratado
hasta ahora (finitos o no), mientras la condicin x-c<o, expresa el
hecho que x est cerca de x, la condicin x>N, expresa el hecho
que x es suficientemente grande.
En el clculo de lmites, no siempre es posible disponer del
grfico de la funcin. Por esta razn, es conveniente saber
determinar el lmite de una funcin mediante procedimientos
algebraicos. Para esto es necesario conocer algunos lmites
bsicos y una cierta lgebra de lmites.
LGEBRA DE LMITES
9
Si existen (finitos) ) (x f Lim
c x
y ) (x g Lim
c x
, entonces:
1) j ) ( ) ( ) ( ) ( x g Lim x f Lim x g x f Lim
c x c x c x
=
El recproco es cierto? D un ejemplo.
2) j ) ( ) ( ) ( ) ( x g Lim x f Lim x g x f Lim
c x c x c x
- = -
3) Si 0 ) ( =
x g Lim
c x
, entonces
) (
) (
) (
) (
x g Lim
x f Lim
x g
x f
Lim
c x
c x
c x
=
(
]
1
(ambos no nulos)
Estas propiedades excluyen, por ejemplo, el resultado - en la
propiedad 1, pues la hemos establecido para lmites finitos y ser
estudiada ms adelante en lo que se conoce como
indeterminaciones.
Otras propiedades fundamentales son las siguientes.
Propiedad del acotamiento. Si una funcin tiene lmite en un
punto, existe un entorno de ese punto en el que la funcin est
acotada.
Propiedad de la conservacin del signo. Si el lmite de una
funcin en un punto no es cero, existe un entorno de ese punto en
el que la funcin tiene el mismo signo que el lmite.
Propiedad del emparedado. Sean h, f y g tres funciones definidas
en un entorno reducido de un punto c, y tales que en ese entorno se
verifica h(x)f(x)g(x). Si existen los lmites de h(x) y de g(x) cuando
x tiende al punto c y ambos lmites tienen el mismo valor, por
ejemplo K, entonces tambin existe el lmite de f(x) cuando x tiende
al punto c y ese lmite es necesariamente K.
Dentro de las funciones reales, ocupan un lugar especial las que
estn definidas sobre el dominio de los nmeros naturales N, dichas
funciones reciben el nombre de sucesiones.
Una sucesin se simboliza por x
1
, x
2
, x
3
, ..., x
n
, ... en la que el
subndice n indica, exactamente, el lugar que cada trmino ocupa
en la misma. As, x
5
es el quinto trmino de la sucesin.
Cuando en una sucesin haya que referirse a un trmino cualquiera
sin especificar el lugar que ocupa se har siempre mencin al
trmino x
n
, denominado trmino n-simo. En definitiva, el lugar que
cada trmino tome en una sucesin ser de vital importancia a la
hora de hacer un mnimo anlisis del comportamiento de la
sucesin. Los subndices son los nmeros naturales porque una
10
sucesin tiene tantos elementos como nmeros naturales hay; es
decir, una sucesin tiene una cantidad infinita numerable de
trminos.
Se debe recordar que el trmino general de una sucesin es una
expresin que permite conocer un elemento cualquiera siempre que
se sepa el lugar que ocupa, es decir, el valor de n.
Es claro entonces, que las propiedades de las funciones reales que
hemos estudiado, son aplicables a las sucesiones, como caso
particular de estas. Lo mismo es vlido para los lmites, con la
salvedad que el nico caso a considerar sera cuando n +, ya
que ningn otro comportamiento, arroja una infinidad de valores. En
trminos precisos, una sucesin que tenga lmite finito se dice
convergente.
No obstante, queramos detenernos en un resultado que nos lleva a
una constante muy significativa para las Matemticas y sus
aplicaciones: el nmero e. El que obtendremos como lmite de una
sucesin muy particular. Primeramente, veamos el siguiente
resultado.
Teorema 1. Toda sucesin x
n
acotada superiormente
(inferiormente) y montona creciente (decreciente) es convergente y
se tiene que lim x
n
=sup {x
n
} (lim x
n
=inf {x
n
}).
Sea
n
n
n
x )
1
1 ( + = , n=1,2,3, Probemos que esta sucesin converge.
Aplicando la Frmula del Binomio de Newton, obtenemos:
=

+ +

+
+ + = + =
n
n
n
n n
n n n
n
n n n
n
n n
n
n
n
x
1
... 3 . 2 . 1
1 )... 2 )( 1 (
...
1
3 . 2 . 1
) 2 )( 1 ( 1
2 . 1
) 1 ( 1
1 )
1
1 (
3 2
)
1
1 )....(
1
1 (
!
1
... )
2
1 )(
1
1 (
! 3
1
)
1
1 (
! 2
1
1 1
n
n
n n n n n
+ + + + + =
Todos los sumandos son positivos y al pasar de n a n+1, su nmero
aumenta. Adems, es una sucesin creciente, es decir, x
n
< x
n+1
. En
la expresin anterior, cada parntesis de la forma (1-s/n) es menor
que la unidad y
1
2
1
!
1
<
n
n
(demustrelo!!!!) se obtiene
x
n
<
!
1
...
! 3
1
! 2
1
2
n
+ + + +
1
2
1
...
4
1
2
1
2
+ + + + s
n
11
como
n n
2
1
1
2
1
...
4
1
2
1
1
= + + +

, se tendr en definitiva que 2< x
n
<3. Por
el Teorema 1, la sucesin es convergente a su supremo y este
lmite se define como e, es decir,
n
n
n
Lim e |
\
|
+ =

1
1
.
Un resultado ms general,
x
x
x
Lim e
|
\
|
+ =

1
1
se demuestra en
Piskunov, pp. 51-52.
Por ltimo, queramos presentar un ejemplo patolgico de una
funcin real, definida sobre todo R, que solo tiene lmite en un
punto.
Sea la funcin
e
e
=
I x x
Q x x
x f
,
,
) ( , en qu punto nicamente tiene
lmite?, por qu?
BIBLIOGRAFA
Apostol, T. M. (1960)-Anlisis Matemtico, Revert, Barcelona.
Piskunov, N. (1994)-Clculo diferencial e integral, Limusa, Mxico.
(pp.28-54)
Rey Pastor, J.; P. Pi Callejas y C. A. Trejo (1958)-Anlisis
Matemtico, I, Kapelusz, Buenos Aires. (pp.372-387)
Rabuffetti, H. T. (2002)-Introduccin al anlisis matemtico,
Buenos Aires, El Ateneo.
Spivak, Michael (1999)-Calculus. Clculo infinitesimal, Segunda
Edicin, Ed. Revert. (pp.107-140)
Snchez, Carlos (1982)-Anlisis Matemtico, Tomo I, Editorial
Pueblo y Educacin, La Habana. (pp. 78-140 y 227-242)
SITIOS WEB RELACIONADOS
http://hilbert.dartmouth.edu/~m3f02/
http://www.math.harvard.edu
http://math.smith.edu/Local/cicintro/cicintro.html/
http://king.mcs.drexel.edu/~hanton/
http://www.mathcentre.ac.uk/staff.php/all_subjects/graphs/simple/
http://www.learner.org/channel/courses/learningmath/algebra/sessio
n5/index.html
http://math.exeter.edu/rparris
http://www.cnice.mecd.es/Descartes/Analisis/Funciones_polinomica
s/
http://www.cnice.mecd.es/Descartes/Analisis/Funciones_elementale
s/unidad3.htm
12
http://descartes.cnice.mecd.es/Bach_HCS_1/Limite_en_un_punto_c
ontinuidad/Dominio_definicion_funcion_1.htm
http://www.geocities.com/cscience_sky/composicionfunciones.htm
http://cariari.ucr.ac.cr/~cimm/cap_03/cap3_3-1.html
Anexo
Uno de las primeras constantes que encontr el hombre es el
nmero t, sin embargo hay un gran contraste cuando se le compara
con el desarrollo histrico de otra constante no menos famosa: el
nmero e. El nmero e es, en comparacin con t, un recin llegado
a la escena matemtica.
El nmero e llega por primera vez a las matemticas de forma muy
discreta. Sucedi en 1618 cuando, en un apndice al trabajo de
Napier sobre logaritmos, apareci una tabla dando el logaritmo
natural de varios nmeros. Sin embargo, no se reconoci que estos
fueran logaritmos en base e, ya que la base sobre la que se
calculan los logaritmos no surgi en la manera en la que se
pensaba en los logaritmos en aquel entonces. Aunque hoy
consideramos a los logaritmos como los exponentes a los que se
debe elevar una base para obtener el nmero deseado, esta es una
forma moderna de pensar. Regresaremos despus a este punto.
Dicha tabla en el apndice, aunque no tiene el nombre del autor, es
casi seguro que fue escrita por Oughtred. Unos aos despus, en
1624, e estuvo a punto de volver a la literatura matemtica pero no
lo logr. En ese ao, Briggs dio una aproximacin numrica al
logaritmo base diez de e sin mencionar a e especficamente en su
trabajo.
La siguiente posible aparicin de e es de nuevo dudosa. En 1647,
Saint-Vincent calcul el rea bajo una hiprbola rectangular. Si
reconoci o no la conexin con los logaritmos es debatible y, an si
lo hubiera hecho, no haba realmente razn para que se encontrara
explcitamente con el nmero e. Sin lugar a dudas, hacia 1661
Huygens comprendi la relacin entre la hiprbola rectangular y el
logaritmo. Examin explcitamente la relacin entre el rea bajo la
hiprbola rectangular yx = 1 y el logaritmo. Por supuesto, el nmero
e es tal que el rea bajo la hiprbola rectangular entre 1 y e es igual
a 1. sta es la propiedad que hace que e sea la base de los
logaritmos naturales pero los matemticos de la poca no lo
entendan, aunque se estaban acercando lentamente a ello.
Huygens hizo otro avance en 1661. Defini una curva a la que llam
"logartmica" pero no en los trminos en los que nosotros nos
referimos a una curva exponencial, con la forma y = ka
x
.
13
Nuevamente, a partir de esto sale el logaritmo base 10 de e, que
Huygens calcul a 17 decimales. Sin embargo, en su trabajo
aparece como el clculo de una constante y no es reconocida como
el logaritmo de un nmero (cerca otra vez pero e sigue sin ser
reconocido).
Hay trabajos posteriores sobre los logaritmos en los que todava no
aparece el nmero e como tal pero que contribuyen al desarrollo de
los logaritmos. En 1668, Nicols Mercator public
Logarithmotechnia que contiene la expansin en serie de log (1+ x
). En este trabajo, Mercator usa el trmino "logaritmo natural" por
primera vez para los logaritmos en base e. El nmero e otra vez no
aparece explcitamente y contina escondido en las cercanas.
Tal vez de manera sorprendente, ya que los trabajos sobre los
logaritmos haban estado tan cerca de reconocer al nmero e, la
primera vez en que e es "descubierto" no tiene que ver con la
nocin de logaritmo sino ms bien en un estudio del inters
compuesto. En 1683, Jacobo Bernoulli examin el problema del
inters compuesto y, durante su anlisis del inters compuesto
continuamente, trat de encontrar el lmite de (1 + 1/n)
n
cuando n
tiende a infinito. Us el teorema del binomio para demostrar que el
lmite tena que estar entre 2 y 3, por lo que podramos considerar
que esta es la primera aproximacin que se encontr para e.
Tambin, si aceptamos sta como una definicin de e, sera la
primera vez en que un nmero fue definido mediante un proceso de
lmite. De hecho, Bernoulli no reconoci en ningn momento la
conexin entre su trabajo y aquellos sobre los logaritmos.
Mencionamos arriba que, al inicio de su desarrollo, no se pensaba
que los logaritmos tuvieran relacin alguna con los exponentes.
Claro que de la ecuacin x = a
t
, deducimos que t = log x donde log
es el logaritmo en base a pero esto es una forma de pensar muy
posterior. Aqu realmente estamos pensando en log como una
funcin mientras que los primeros trabajos sobre logaritmos lo
consideraban meramente como un nmero que ayudaba en los
clculos. Es posible que el primero en comprender la manera en
que la funcin log es la inversa de la funcin exponencial haya sido
Jacobo Bernoulli. Por otro lado, la primera persona que hizo la
conexin entre logaritmos y exponentes puede haber sido James
Gregory. En 1684, sin duda reconoci esta conexin pero podra no
haber sido el primero.
Hasta donde sabemos, la primera vez que el nmero e aparece
explcitamente es en 1690. En ese ao, Leibniz le escribi una carta
a Huygens en la que usa la notacin b para lo que nosotros hoy
14
llamamos e. Por fin el nmero e tena nombre (aunque no sea el
actual) y era reconocido. El lector puede preguntarse, no sin cierta
razn, por qu no empezamos este artculo sobre la historia de e en
el punto en el que hace su primera aparicin. La razn es que,
aunque los trabajos descritos antes nunca consiguieron
exactamente identificar a e, una vez que se le identific, entonces
se dieron cuenta poco a poco de que los trabajos anteriores son
importantes. En retrospectiva, los desarrollos iniciales del logaritmo
forman parte de la comprensin del nmero e.
Ms arriba se mencionaron los problemas que surgen del hecho de
que no se pensara en log como una funcin. Es necesario
mencionar que Johann Bernoulli comenz el estudio del clculo de
la funcin exponencial en 1697 cuando public Principia calculi
exponentialium seu percurrentium. Este trabajo incluye el
clculo de varias series exponenciales y muchos resultados se
obtienen mediante integracin trmino a trmino.
Es tanta la notacin matemtica actual que le debemos a Euler que
no sorprende descubrir que la notacin e para este nmero se la
debemos a l. La afirmacin que se ha hecho algunas veces de que
Euler us la letra e porque era la primera letra de su nombre es
ridcula. Es probable que e ni siquiera venga de "exponencial" sino
que sea simplemente la vocal que sigue de la a, la cual Euler ya
estaba usando en su trabajo. Sea cual fuera la razn, la notacin e
aparece por primera vez en una carta que le escribi Euler a
Goldbach en 1731. Euler hizo varios descubrimientos respecto a e
en los aos siguientes pero no fue sino hasta 1748 con la
publicacin de su Introductio in Analysin infinitorum cuando
Euler dio un tratamiento completo a las ideas alrededor de e.
Demostr que
e = 1 +
1
/
1!
+
1
/
2!
+
1
/
3!
+...
y que e es el lmite de (1 +
1
/
n
)
n
cuando n tiende a infinito. Euler dio
una aproximacin de e con 18 decimales,
e=2.718281828459045235 sin decir de dnde sali. Es probable
que haya calculado el valor l mismo, pero de ser as no hay
indicios de cmo lo hizo. De hecho, tomando unos 20 trminos de 1
+
1
/
1!
+
1
/
2!
+
1
/
3!
+... se obtiene la aproximacin dada por Euler. Entre
otros resultados interesantes, en este trabajo est la relacin entre
las funciones seno y coseno y la funcin exponencial compleja, lo
cual Euler dedujo usando la frmula de De Moivre.
15
Es interesante que Euler tambin haya dado el desarrollo de e en
fracciones continuas y que haya notado un patrn en la expresin.
Especficamente dio
y
Euler no dio una prueba de que los patrones que encontr
continuaran (lo cual s sucede) pero saba que si diera esta prueba
sera equivalente a probar que e es irracional. Ya que, si la fraccin
continua para (e -1)/2 siguiera el patrn mostrado por los primeros
trminos, 6,10, 14,18, 22, 26,... (sumando cuatro cada vez),
entonces nunca terminara; por ello (e -1)/2 (as como e) no puede
ser racional. Esto sin duda podra considerarse como el primer
intento de probar que e no es racional.
Aquella pasin que llev a tantos a calcular con ms y ms
decimales nunca se dio para el caso de e. Sin embargo, s hubo
quienes calcularon su expansin decimal y el primero en dar e con
un gran nmero de dgitos fue Shanks en 1854. Vale la pena hacer
notar que Shanks fue an ms entusiasta calculando la expresin
decimal de p. Glaisher mostr que las primeras 137 posiciones de
los clculos de Shanks estaban correctas pero encontr un error
que, despus de ser corregido por Shanks, dio e con 205
decimales. De hecho, se necesitan unos 120 trminos de 1 +
1
/
1!
+
1
/
2!
+
1
/
3!
+... para obtener 200 decimales de e.
En 1864, Benjamn Peirce se tom una foto parado delante de un
pizarrn en el que haba escrito la frmula i
-i
= (e
). En sus clases,
16
deca a sus estudiantes: Seores, no tenemos la menor idea de lo
que significa esta ecuacin pero podemos estar seguros de que su
significado es algo muy importante.
Casi todo el mundo acepta que Euler fue el primero en probar que e
es irracional. Y sin duda fue Hermite quien prob en 1873 que e no
es un nmero algebraico. Si e
e
es algebraico es todava una
pregunta abierta, aunque claro que lo nico que falta es una prueba
- ningn matemtico considerara seriamente que e
e
es algebraico!
Hasta donde sabemos, lo ms cerca que los matemticos han
llegado a probarlo es un resultado reciente que dice que al menos
uno de estos dos nmeros es trascendente: e
e
y e elevado a la
potencia e
2
.
Ms clculos de la expresin decimal siguieron. En 1884 Boorman
calcul e con 346 decimales y encontr que su clculo coincida con
el del Shanks hasta la posicin 187 pero despus variaban. En
1887, Adams calcul el logaritmo base 10 de e con 272 decimales.
Hoy, con los modernos equipos de cmputo, estos clculos son
fcilmente obtenidos, pero en aquellos tiempos era una verdadera
tarea de titanes.
Daremos otra va para su definicin despus de resolver una serie
de problemas en los que se aplica solamente un resultado sobre
lmites de sucesiones.
Problema 1. Demostrar que cualquiera que sean los nmeros
positivos a, b (ab), es vlida la desigualdad
1
1
+
+
+
s
n
nb a
n n
ab
.
Su solucin es inmediata.
Problema 2. Demostrar que a medida que aumenta n, tambin
aumentan las magnitudes y , o sea, que
ambas sucesiones son montonas crecientes.
Solucin. Tomando a=1, y b=1 + 1/n en la desigualdad del
problema anterior, encontramos
17
Elevando ambos miembros de esta desigualdad a tendremos
, o sea, x
n
<x
n+1.
La segunda desigualdad se demuestra anlogamente.
Problema 3. Demostrar que decrece a medida que
aumenta n.
Solucin. Tenemos
(vanse las notaciones del problema 2). Como z
n
aumenta a
medida que aumenta n, resulta que y
n
decrece.
En los problemas 2 y 3 hemos demostrado que
,
Por otra parte,
Luego, la sucesin x
n
satisface dos condiciones
1) x
n
crece montonamente a medida que aumenta n;
2) x
n
es una sucesin acotada (2< x
n
<4).
En virtud del Teorema 1, presentado ms arriba, toda sucesin
acotada y montona creciente tiene lmite. Por lo tanto, existe el
lmite de la sucesin x
n
. Este lmite se designa por la letra e, o sea,
Como quiera que la sucesin x
n
tiende a su lmite de una manera
creciente, resulta que x
n
es menor que su lmite, o sea, x
n
<e.
18
Es fcil ver que e<3. En efecto, si n es grande, tenemos
x
n
<y
n
<y
5
=
5
5
1
1 |
\
|
+ =2,985984. Por lo tanto, e<2,985984
Anlogamente se demuestra que el lmite de la sucesin y
n
es
tambin igual a e.
Observacin. Tratamientos alternativos a los aqu brindados,
pueden encontrarse en:
- Gabriel Klambauer-Aspects of Calculus, Springer 1986,
ISBN 0-387-96274-3;
- Ivan Niven-Maxima and Minima without Calculus,
Mathematical Association of America (The Dolciani
Math.Expositions 6), 1981;
- sin olvidar, desde luego, el texto
- Karl R.Stromberg-An Introduction to Classical Real Analysis,
Wadsworth, Intl.Group, 1981.

Apuntes Clase

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Apuntes Clase

Cargado por

Copyright:

Formatos disponibles

Concepto y definicin de lmites. Lmites finitos e infinitos.

También podría gustarte