LÍMITE

Manuel Lpez Mateos Prohibida su reproduccin.
Para uso exclusivo de los alumnos de Clculo I, 2013-1
Lmite
Manuel Lpez Mateos
Lpez Mateos
2012
editores
Manuel Lpez Mateos Prohibida su reproduccin. Para uso exclusivo de los alumnos de Clculo I, 2013-1
Primera edicin, 2012, en Lpez Mateos Editores 2012 Lpez Mateos Editores, s.a. de c.v. Ave. Insurgentes Sur 1863-301 Guadalupe Inn lvaro Obregn, D. F. C.P. 01020 Mxico ISBN (En trmite) Informacin para catalogacin bibliogrca: Lpez Mateos, Manuel. Lmite / Manuel Lpez Mateos 1a ed. iv16 p. cm. ISBN En trmite 1. Matemticas 2. Clculo diferencial e integral 3. Lmite 4. Funciones reales I. Lpez Mateos, Manuel, 1945- II. Ttulo. Todos los derechos reservados. Queda prohibido reproducir o transmitir todo o parte de este libro, en cualquier forma o por cualquier medio, electrnico o mecnico, incluyendo fotocopia, grabado o cualquier sistema de almacenamiento y recuperacin de informacin, sin permiso de Lpez Mateos Editores, s.a. de c.v. Producido en Mxico
www.lopezmateos.mx ISBN (En trmite)
Lpez Mateos
editores
ndice general
Introduccin 1 Lmite 1.1. El signicado de l m f ( x ) = . . . . . . . . . . . . . . . 1.2. El signicado de l m f ( x ) = L . . . . . . . . . . . . . . . 1.3. El signicado de l m f ( x ) = . . . . . . . . . . . . . . .
xa x x
iv 1 1 6 11 16 20 20 21 23 23 27 27 31 32
1.4. El signicado de l m f ( x ) = L . . . . . . . . . . . . . . .
xa
Unicidad del lmite 2.1. Punto de acumulacin . . . . . . . . . . . . . . . . . . . . 2.2. Unicidad del lmite . . . . . . . . . . . . . . . . . . . . . . Lmite y no lmite 3.1. Negacin de las deniciones . . . . . . . . . . . . . . . . Teoremas sobre lmites 4.1. Enunciados y algunas demostraciones . . . . . . . . . . .
Bibliografa ndice alfabtico
iii
Introduccin
La versin original de este folleto fue publicada en el ao de 1973 por la Asociacin Nacional de Universidades e Institutos de Enseanza Superior (anuies) en el Programa Nacional de Formacin de Profesores. El propsito de este trabajo es aclarar el concepto de lmite. El lenguaje que utilizaremos est debidamente expuesto en el folleto Funciones reales [4]. Proponemos que la seccin 1.3 y los ejercicios al nal de cada seccin sean material de investigacin, se pueden repartir en grupos de trabajo. Sugerimos al maestro coordinar a los diversos grupos de trabajo ms que participar en ellos. Este folleto debe leerse despacio y discutirse. Ayudar tener papel y lpiz a la mano. Las aplicaciones naturales (derivada e integracin) sern tratadas en folletos aparte. Agradezco la colaboracin en la presente edicin de Axel Eduardo Becerril Njera en la tipografa y de Leonardo Camacho Villaln en la correccin de errores.
M.L.M. Octubre de 2012
iv
Captulo 1
Lmite
Todas las funciones de que se hable tendrn como dominio y contradominio a R a menos que se indique lo contrario adems utilizaremos la expresin funcin para la funcin misma, su regla de correspondencia o su grca. Creemos que el contexto evitar cualquier confusin.
1.1.
El signicado de l m f ( x ) =
x
x
La expresin l m f ( x ) = se lee el lmite de f de x es innito cuando x tiene a innito o f de x tiende a innito cuando x tiende a innito. Antes de discutir el signicado que los matemticos dan a
x
l m f ( x ) =
trataremos de aclarar el conocimiento intuitivo que indudablemente cada uno tiene de la expresin en cuestin. Esto nos pondr en condiciones de entender el concepto que no es otra cosa que la formalizacin del conocimiento intuitivo. Todos estamos de acuerdo con que si nos piden dibujar la grca de una funcin que tenga como lmite cuando x tiende a , dibujaramos algo como la gura (1.1) de la pgina siguiente. Esto es, daramos como denicin que el lmite de una funcin es cuando x tiende a si a valores cada vez ms grandes de x corresponden valores cada vez ms grandes de f ( x ). Ciertamente la funcin de la gura (1.1) cumple con esta denicin como se ilustra en la gura (1.2). Si consideramos cualquier punto x0 en el dominio, resulta que a cada x1 > x0 corresponde un valor f ( x1 ) > f ( x0 ). Sin embargo, con esta denicin hemos dejado a un lado funciones como la de la gura (1.3). 1
1.1. El signicado de l m f ( x ) =
x
10
Figura 1.1 La funcin y = x3 + x 2 tiende a cuando x .
f(x1) f(x0)
2 1
x0
x1
10
Figura 1.2 Si x1 > x0 entonces f ( x1 ) > f ( x0 ).
40
20
40
20 20
20
40
40
Figura 1.3 Acaso la funcin y = x + 6 sen x no tiende a cuando x ?
Cada lector estar de acuerdo con que la funcin de la gura (1.3) tambin tiende a cuando x tiende a . Esta funcin se ha dejado a un lado porque no cumple la denicin que hasta ahora hemos adoptado para l m f ( x ) = . No la cumple porque hay valores, llammosle a alguno de ellos x0 , para los que algn punto x1 > x0 no les corresponde f ( x1 ) > f ( x0 ) como lo muestra la gura (1.4). Podemos decir que hay puntos a la
x
x
40
f(x0) f(x1)
40
20 20
x0 x1
40
40
Figura 1.4 El punto x1 es mayor que x0 sin embargo f ( x1 ) no es mayor que f ( x0 ).
derecha de x0 a los cuales les corresponden puntos abajo de f ( x0 ). Sin embargo la funcin tiende a cuando x tiende a ! Tratemos de mejorar nuestra denicin. Podramos decir: f ( x ) tiende a cuando x tiende a si a partir de un punto x0 en el dominio todos los puntos a la derecha toman valores mayores que f ( x0 ). Segn esta denicin las funciones de la guras (1.1) y (1.3) tienden a cuando x tienden a . El inconveniente de la denicin es que deja tender a a demasiadas funciones. La funcin de la gura (1.5) cumple con la denicin propuesta y sin embargo algo nos dice que no tiende a cuando x tiende a (cuando ms tender a 1).
Figura 1.5 La funcin y = e1/ x + 2 no tiende a cuando x
Parece que un mejor enfoque consiste en pensar una funcin que tiende a cuando x tiende a como una que a partir de cierto punto suba tanto como queramos. Pero qu quiere decir que suba tanto como queramos?, pues que alcance valores mayores que cualquier nmero M prejado sin importar lo grande que este sea. La frase a partir de cierto punto quiere decir que existe un nmero N que depende del valor de M tal que a los
x
nmeros a la derecha de N les corresponden valores mayores que el nmero M prejado. Proponemos entonces la siguiente denicin El lmite de f ( x ) es cuando x tiende a si para cualquier nmero M (tan grande como se quiera) existe algn nmero N (que depende del valor de M) tal que si x > N entonces f ( x ) > M.
La gura (1.6) aclarar la denicin.

40
f(x) M
40 20 20
40
40
Figura 1.6 Dado M es posible hallar N tal que si x > N entonces f ( x ) > M.
Esta denicin impide que la funcin de la gura (1.7) tienda a cuando x tiende a porque podemos encontrar a lo menos una M, por ejemplo M = 2, de manera que no hay un cierto punto N tal que los puntos a la derecha de N tomen valores arriba de 2. Es decir los puntos a la derecha de cualquier N toman valores abajo de 2.
f(x)
Figura 1.7 Dado M = 2 no importa que N tomemos, por ms a la derecha que vayamos con x > N nunca lograremos que el valor de la funcin en x est arriba de 2.
Pues s, la denicin propuesta es el signicado que los matemticos dan a l m f ( x ) = . Daremos la denicin formal:
x
x
Si f : R R diremos que l m f ( x ) = si y slo si para toda M existe N tal que si x > N entonces f ( x ) > M. En este momento, sugerimos al lector que dibuje funciones y diga, basndose en la denicin, si tienden o no a cuando x tiende a . Veamos algunos ejemplos.
x
1.1. Ejemplo. Sea f la funcin identidad de R es decir f : R R tal que f ( x ) = x. Tenemos que l m f ( x ) = porque si damos M arbitrario en el contradominio tomamos N = M. Como en la gura (1.8) vemos que si x > N = M entonces f ( x ) que es x, es mayor que M.
x
Figura 1.8 Para la funcin identidad, dado M hacemos N = M. Si x > N , como f ( x ) = x, tendremos x > M.
1.2. Ejemplo. Sea g : R R tal que g ( x ) = x2 . Tenemos que l m x2 = porque si damos la gura (1.9), M arbitrario basta con que, como en hagamos N = + M para que si x > N , o sea x > + M, entonces elevando al cuadrado ambos miembros de la desigualdad se obtiene que x2 > M pero x2 = g ( x ), es decir que g ( x ) > M. Ejercicio 1.1. Demuestra que l m x3 = .
x x
Ejercicio 1.2. Demuestra que l m x + 1 = .

x
Ejercicio 1.3. Cmo deniras l m f ( x ) = ?

x

x

x
Sugerimos que los ejercicios 3, 4 y 5 se realicen en grupos de trabajo y que se comparen resultados con otros grupos.
1.2. El signicado de l m f ( x ) = L
x
Figura 1.9 Dado M, si x > N =
M entonces x2 > M.
1.2.
El signicado de l m f ( x ) = L
x
x
La expresin l m f ( x ) = L se lee el lmite de f de x es L (L R) cuando x tiende a innito o f de x tiende a L cuando x tiende a . Tratemos de seguir el mtodo de la seccin anterior para entender el signicado de la expresin que nos ocupa. Es posible que al imaginarnos la grca de una funcin que tienda a L cuando x tiende a se nos ocurran dos versiones, como en la gura (1.10). Entonces nuestra denicin debe tomar en cuenta que
Figura 1.10 La funcin puede acercarse por abajo o por arriba.
f ( x ) puede acercarse a L tanto por abajo como por arriba. El primer intento de denicin podra ser: f ( x ) tiende a L cuando x tiende a si y slo si para cualquier punto x0 en el dominio de la funcin, los puntos x a su derecha tengan imagen f ( x ) ms cerca de L que la imagen de f ( x0 ), es decir que d f ( x ), L < d f ( x0 ), L . La funciones de la gura (1.11) cumplen con esta denicin. En ambos casos, todos los puntos x a la derecha de x0 cumplen con d f ( x ) , L < d f ( x0 ) , L . Sin embargo muchas funciones que segn nosotros tienden a L cuando x tiende a no cumplen con la denicin
x
f(x) f(x0)
x0
x f(x0) f(x) x0 x
Figura 1.11 Ambas funciones cumplen la denicin propuesta, conforme x se aleja f ( x ) se acerca a L.
propuesta. Todos los lectores estarn de acuerdo con que la funcin de la gura (1.12) tiende a 0 cuando x .
Figura 1.12 Todos estarn de acuerdo en que y = 10e0.2x cos x tiende a 0 cuando x .
A pesar de eso, es posible elegir algn punto x0 para el cual no todas las imgenes de puntos a la derecha distan de L en menos que la distancia f ( x0 ) a L; es decir, que haya por lo menos algn punto, llammosle x, a la derecha de x0 tal que d f ( x ) , L no sea menor que d f ( x0 ) , L o lo que es lo mismo, que exista algn punto x > x0 tal que d f ( x ) , L d f ( x0 ) , L . La gura (1.13) muestra esto. Parece que el error en la denicin propuesta es pedir que para cualquier punto de x0 en el dominio de la funcin, si x > x0 entonces d f ( x ) , L < d f ( x0 ) , L . Si analizamos las funciones de la gura (1.10) veremos que hay algunos puntos x0 tales que si x0 < x entonces d f ( x ) , L < d f ( x0 ) , L . (Dejamos como ejercicio que el lector seale dichos puntos.) Entonces se nos ocurre corregir la denicin y decir: l m f ( x ) = L si y slo si hay algn punto x0 tal que todos los puntos a la derecha de
x
x
f(x) f(x0)
x0
Figura 1.13 Es posible hallar x0 en el dominio tal que no todos los puntos a la derecha tienen imagen ms cerca de 0 que f ( x0 ).
x0 vayan a dar, bajo la funcin, ms cerca de L que f ( x0 ), es decir que si x > x0 entonces d f ( x ) , L < d f ( x0 ) , L . El inconveniente de esta denicin es que deja tender a L, cuando x , a demasiadas funciones. Un ejemplo es la funcin de la gura (1.14).
Figura 1.14 Es cierto que mientras x est ms a la derecha f ( x ) se acerca ms a 2, pero nadie dira que la funcin tiende a 2. (Cuando ms a 1.)
Pedimos al lector que colabore a demostrar que esta funcin cumple la ltima denicin propuesta: Localiza en la gura (1.14) algn punto x0 en el dominio de la funcin y localiza la imagen correspondiente f ( x0 ) en el contradominio. Ahora bien, fjate que la distancia de la imagen de cualquier punto x que est a la derecha de x0 a 2, es menor que la distancia de f ( x0 ) a L = 2; es decir, si x > x0 , entonces d f ( x ) , 2 < d f ( x0 ) , 2 . Hemos vericado que esta funcin cumple la denicin y el lector estar de acuerdo con que esta funcin no tiende a L = 2. Tender a L 1 = 1 pero no a L = 2.
x
Es conveniente pensar si nuestro planteamiento es correcto o no. Segn se ha demostrado, hasta ahora no lo es. El hecho de que a valores cada vez ms alejados del origen corresponden, bajo la funcin, valores ms cercanos a L, no nos garantiza, como es el caso de la funcin de la gura (1.14), que estos valores estn tan cerca como queramos de L. He aqu el meollo! Debemos exigir que, a partir de cierto punto, los valores de la funcin estn tan cerca como queramos de L; no importa si arriba o abajo de L, sino que estn tan cerca como queramos de L. Es decir que, a partir de cierta N , los puntos a la derecha vayan a dar, bajo la funcin, a puntos dentro de una vecindad prejada de L, sin importar lo pequea que esta sea, es decir, sin importar que su radio sea un nmero muy pequeo. Proponemos entonces la siguiente denicin: Decimos que f ( x ) tiende a L cuando x tiende a si y slo si, dada cualquier vecindad de L existe algn nmero N tal que si x > N entonces f ( x ) es un elemento de la vecindad dada. Ilustramos esto en las siguientes guras donde al radio de la vecindad prejada le llamamos , asi V ( L) = ( L , L + ).
L+ f(x) L
Figura 1.15 Para cierta N , si x > N entonces f ( x ) est en la vecindad prejada de L.
Escribamos la denicin en su versin formal: Si f : R R diremos que l m f ( x ) = L si y slo si, para toda vecindad V ( L) existe N tal que si x > N entonces f ( x ) V ( L). Ntese que decir f ( x ) V ( L) es equivalente a decir d f ( x ) , L < . Tomando esto en cuenta podemos reescribir la denicin de la siguiente manera:
x
x
10
Si f : R R diremos que l m f ( x ) = L si y slo si, para todo > 0 existe N tal que si x > N entonces | f ( x ) L| < . Nuevamente pedimos al lector que dibuje funciones y que, dado un real L, compruebe si tienden o no a L cuando x .
x
2.1. Ejemplo. Sea L R. Consideremos la funcin constante f : R R tal que f ( x ) = L. En la gura (1.16) vemos la grca de la funcin. Mostraremos que l m f ( x ) = L.
x
L=
Figura 1.16 Para cualquier N , si x > N entonces f ( x ) = L est en la vecindad prejada de L.
Sea > 0 arbitrario. En este caso podemos considerar N como cualquier nmero real. Si x > N , entonces f ( x ) = L y por lo tanto d f ( x ) , L = d ( L, L ) = 0 < . 2.2. Ejemplo. Sea f : R R tal que f ( x ) = 1 + 1 x . Demostraremos 1 que l m 1 + = 1. Sugerimos al lector que dibuje la grca de x x la funcin empleando la gura (1.17). Sea > 0 arbitrario. Hagamos 1 N = 1 . Tenemos que demostrar que si x > N , es decir si x > , entonces d 1 + 1 x , 1 < . Sea x > N . Sabemos que 1 d 1+ ,1 x como d 1+
1 x
1+
1 x
1 =
1 x
1 ; x (por qu?); es decir,
es positivo (por qu?), entonces
=
1 x
1 x
1 x,1
1 x;
pero como x >
entonces
< ; es decir si x > N
entonces d 1 + 1 x , 1 < .
xa
11
Figura 1.17 Dibuja la grca de f ( x ) = 1 + 1 x.
Ejercicio 2.1. En cada una de las guras (1.10) y (1.12) encuentra al menos tres puntos x0 tales que para toda x > x0 se tenga d ( f ( x ) , L ) < d ( f ( x0 ) , L ) . Ejercicio 2.2. Cmo deniras l m f ( x ) = L? por qu? Se propone
x
que este ejercicio se haga por equipos de trabajo y despus se comparen los resultados con los otros equipos. Ejercicio 2.3. Con la denicin dada en el ejercicio anterior, demuestra 1 que l m 1 + = 1. x x
1.3.
El signicado de l m f ( x ) =
xa
En esta seccin trataremos de que el lector llegue por s mismo al signicado de la expresin l m f ( x ) = . Nosotros sugeriremos algunas
xa
deniciones, es misin del lector analizarlas y dando ejemplos y contra ejemplos determinar si estamos dando una denicin adecuada. La expresin l m f ( x ) = se lee, como ya todos suponen, el lmite
xa
de f de x es innito cuando x tiende a a o f de x tiende a innito cuando x a. Pedimos al lector que use la gura (1.18) para dibujar una funcin que tienda a cuando x a. Ests seguro de que lo dibujado es una funcin? Cul es el dominio de esa funcin? Proponemos la siguiente denicin,
xa
l m f ( x ) = si y slo si para toda x D f las imgenes de los puntos
x tales que d ( x, a) < d ( x0 , a) cumplen con f ( x ) > f ( x0 ).
xa
12
f(x)
Figura 1.18 Dibuja la grca de una funcin que tienda a cuando x a.
Cumple la funcin que dibujaste en la gura (1.18) con la denicin propuesta? Explica. Por qu no cumple la funcin de la gura (1.19) con la denicin propuesta?
0.30 0.25 0.20 0.15 0.10 0.05
Figura 1.19 ( x 1.5 sen3 x )/ x3 cuando x 0?
Cmo corregiras la denicin de tal manera que la funcin de la gura (1.19) la cumpliera? Comprueba que la funcin de la gura (1.19) cumple con la denicin corregida. Por qu crees que nos interesa que la funcin de la gura (1.19) cumpla la denicin? Proponemos la siguiente denicin:
xa
l m f ( x ) = si y slo si existe algn x0 D f tal que si d ( x, a) <
d ( x0 , a) entonces f ( x ) > f ( x0 ). La funcin que dibujaste en la gura (1.18) cumple con esta denicin? Explica (dibuja si es necesario). La funcin de la gura (1.19) cumple con la denicin propuesta? Explica.
xa
13
Por qu la funcin de la gura (1.20) cumple con la ltima denicin propuesta?

6
Figura 1.20 Te parece que 6 x2 cuando x 0?
Crees que la funcin de la gura (1.20) tiende cuando x a? Por qu s o por qu no? Corrige la denicin de tal manera que la funcin de la gura (1.20) no la cumpla y la funcin de la gura (1.19) s la cumpla. Comprueba que la funcin de la gura (1.20) no cumple con la denicin corregida y que la funcin de la gura (1.19) s la cumple. Por qu crees que nos interesa que la funcin de la gura (1.20) no cumpla con la denicin? Quizs has tenido gran dicultad para efectuar esta ltima correccin; an ms, es posible que muchos lectores no hallan podido efectuar la correccin deseada. Esto se debe a que el enfoque no ha sido adecuado. Debemos recordar que pedir que la funcin tienda a es pedir que suba tanto como queramos. Y pedir que la funcin tienda a cuando x a, es pedir que suba tanto como queramos para valores cercanos a a. Proponemos la siguiente denicin: imgenes de los puntos x V ( a) son mayores que cualquier nmero prejado M, sin importar lo grande que este sea. La versin formal de la nueva denicin propuesta es: Si f : R R entonces l m f ( x ) = si y slo si para todo M (no
xa xa
l m f ( x ) = si y slo si existe alguna vecindad V ( a) de a tal que las
importa que tan grande sea) existe alguna vecindad V ( a) (llamamos al radio) tal que si x V ( a) (es decir, si d ( x, a) < ) entonces f ( x ) > M. Cules de las funciones de las guras (1.18), (1.19) y (1.20) cumplen con esta denicin? Explica por qu. Fjate en la gura (1.21). El dominio de la funcin dibujada es R { a}; es decir, f ( a) no est denida.
xa
14
M
5 4 3 2 1
a 2=a a+
Figura 1.21 La funcin f ( x ) = 1/( x 2)2 no est denida en x = 2.
Ahora, para x = a tenemos d ( x, a) < ya que d ( a, a) = 0 y , por ser el radio de una vecindad, es mayor que 0. Sin embargo, no podemos decir que f ( a) > M. Esto es, la funcin de la gura (1.21) no cumple la denicin! y nos parece que la funcin s tiende a cuando x 2. Podemos arreglar esto agregando en la denicin que slo a las x que estn en V ( a) y que estn en el dominio de la funcin sern a las que exigiremos cumplir f ( x ) > M. La versin formal de la denicin corregida es: V ( a) D f entonces f ( x ) > M. Ahora s!, la funcin de la gura (1.21) cumple con esta nueva denicin. Pero esto no es as de fcil. En la gura (1.22) damos una funcin en la cual a D f ; es decir, f ( a) est denida, y sin embargo podemos prejar M tal que f ( a) no sea mayor que M.
6
xa
l m f ( x ) = si y slo si para toda M existe > 0 tal que si x
M
5 4
f(a)
3 2 1
a 2=a a+
Figura 1.22 f ( a) no es mayor que M.
xa
15
Qu sucede aqu? Esta funcin crece tanto como queramos conforme tomamos valores cada vez ms cerca de a. Es decir, esta funcin tiende a cuando x a, independientemente de lo que pase en el punto a. Corrijamos la denicin de la siguiente manera: Pidamos que para cada M exista > 0 tal que si x V ( a) D f excepto a, entonces f ( x ) > M. Al decir que x V ( a) D f excepto a, decimos que x est en la interseccin de la vecindad agujereada de a, de radio , con el dominio de la funcin. Esto es, que si x V ( a) D f , entonces f ( x ) > M. Tambin podemos expresar lo anterior diciendo que si 0 < d ( x, a) < entonces f ( x ) > M, con x D f . Ntese que el nico punto del intervalo ( a , a + ) = V ( a) cuya distancia al punto a es 0 es precisamente a. Al pedir 0 < d ( x, a) estamos excluyendo la posibilidad de que x = a. Tomando en cuanta todo lo anterior, parece que la denicin debe quedar:
Si f : R R decimos que l m f ( x ) = si y slo si para cada M (no importa

xa
lo grande que sea) existe > 0 tal que si x V ( a) D f entonces f ( x ) > M. En trminos de distancia podemos escribir: l m f ( x ) = si y slo si, para cada M existe > 0 tal que si
xa
x D f y 0 < f ( x, a) < entonces f ( x ) > M. Usando la distancia usual en R: l m f ( x ) = si y slo si, para cada M existe > 0 tal que si
xa
x D f y 0 < | x a| < entonces f ( x ) > M.
Investiga cules de las funciones de las guras (1.18), (1.19), (1.20), (1.21) y (1.22) cumplen con esta denicin y explica por qu. 3.1. Ejemplo. Sea f : R {1} R con regla de correspondencia f ( x ) = 1 2 . Ntese que 1 / Df
(1 x )
Demostremos que l m
x 1
(1 x )2
= .
xa
16
Debemos, dado M, encontrar tal que si 0 < d ( x, 1) < entonces f ( x ) = 1 2 > M. Vemos que esta desigualdad se cumple si
(1 x )
(1 x )2 <
es decir, si
1 M
1 |1 x | < , M
1 . Si 0 < d ( x, 1) < , o M 1 1 entonces f ( x ) = M (1 x )2
elijamos =
lo que es lo mismo, si 0 <
|1 x | < =
> M.
Ejercicio 3.1. Demuestra que l m
x 0
1 = . x2

xa
Ejercicio 3.3. Utilizando la denicin del ejercicio anterior demuestra que 1 l m = . x 1 (1 x )2 Se recomienda que los ejercicios 2 y 3 se hagan en grupos de trabajo y que se comparen resultados con los de otros grupos.
1.4.
El signicado de l m f ( x ) = L
xa
Esta expresin se lee el lmite de f ( x ) es L (L R) cuando x tiende a a. Despus de lo desarrollado en las tres secciones anteriores parece claro que la expresin quiere decir que podemos encontrar valores sucientemente cercanos al punto a que les corresponda bajo la funcin valores tan cercanos como queramos al punto L. Es decir, que es posible encontrar una vecindad de a tal que a los puntos que pertenezcan a esta vecindad correspondan, bajo la funcin, puntos en una vecindad prejada de L, sin importar lo pequea que esta ltima sea. Formalmente, podemos expresar lo anterior como
xa
l m f ( x ) = L si y slo si para cada vecindad V ( L) de L ( > 0 es el
radio de la vecindad de L) existe alguna vecindad V ( a) de a ( > 0 es el radio de la vecindad de a) tal que si x V ( a) D f entonces f ( x ) V ( L). Esta denicin se cumple en funciones como en la gura (1.23).
xa
17
L+ L L
a+
Figura 1.23 Es cierto que el lmite de f ( x ) es L cuando x tiende a a.
f(a) L+ L L
a+
Figura 1.24 Tambin es cierto que el lmite de f ( x ) es L cuando x tiende a a.
Sin embargo, hay funciones que tienden a L cuando x a y no cumplen con la denicin anterior, como en la gura (1.24). Es claro que esta funcin toma valores arbitrariamente cerca de L conforme tomamos valores sucientemente cerca de a, esto sucede independientemente de lo que suceda en a. Es decir, lo importante es que los puntos en la vecindad agujerada de radio de a vayan a dar bajo la funcin dentro de una vecindad prejada de radio de L. La versin formal de esta denicin es:
Si f : R R entonces l m f ( x ) = L si y slo si, para toda V ( L) existe

xa
alguna V ( a) tal que si x V ( a) D f entonces f ( x ) V ( L). Usando el concepto de distancia: l m f ( x ) = L si y slo si, para toda > 0 existe > 0 tal que si
xa
x D f y 0 < d ( x, a) < entonces d ( f ( x ) , L) < .
xa
18
Y con la distancia en R: l m f ( x ) = L si y slo si, para toda > 0 existe > 0 tal que si
xa
x D f y 0 < | x a| < entonces | f ( x ) L| < .

2
9 4.1. Ejemplo. Sea : R {3} R tal que f ( x ) = x x 3 . (Ntese que x2 9 3 / D f ). Demostremos que l m = 6. x 3 x 3 Hay que demostrar que, si > 0 es un nmero arbitrario, existe 9 > 0 tal que si x D f y 0 < | x 3| < entonces x x 3 6 < . Para x = 3, la desigualdad anterior es equivalente a
2
( x 3) ( x + 3) 6 = | ( x + 3) 6| < x3
de donde
| x 3| <
. As pues, siendo arbitrario, la desigualdad x2 9 6 < x3 se vericar si se cumple 0 < | x 3| < ; es decir, en este caso, = . x2 9 Por lo tanto, l m =6 x 3 x 3 Surge ahora la siguiente cuestin: Supongamos que l m f ( x ) = L1
xa
y l m f ( x ) = L2
xa
Lo aqu planteado es la unicidad del lmite. Nos interesa saber qu condiciones debemos imponer ya sea a f , L a, para que el lmite sea nico. Trataremos el problema en el siguiente captulo. Ejercicio 4.1. Demuestra, a partir de la denicin que: 1. l m (4x + 2) = 14.
x 3
2. l m ( x + 3) = 6.
x 3
3. l m
x 2 xa
x2 4 = 4. x2 c constante.
4. l m c = c,
xa
19
5. l m x = a.
xa
En cada caso, aclarar cul es el dominio de la funcin y trata de dibujar su grca. Ejercicio 4.2. Sea f : R {0} R tal que f ( x ) = cuando x 0? Dibuja una grca.
|x| . Existe el lmite x
Captulo 2
Unicidad del lmite

2.1. Punto de acumulacin
En esta seccin deniremos los conceptos necesarios para precisar la denicin de l m f ( x ) = L de tal manera que el lmite sea nico.
xa
1.1. Denicin. Sea A un subconjunto no vaco de R. Decimos que R es un punto de acumulacin de A si para cada vecindad de existe al menos un punto x = tal que x A. Es decir, es un punto de acumulacin de A si V () A = , para toda vecindad de . Debemos notar que si es un punto de acumulacin de A no necesariamente A. Por otro lado, el que no sea punto de acumulacin de A quiere decir que existe alguna vecindad de que no contiene algn punto x = tal que x A. Es decir, no es punto de acumulacin de A si existe alguna vecindad V () de tal que V () A = . Es posible que A y no sea punto de acumulacin de A. 1.2. Ejemplo. Sea A = [4, 8]. En este caso cada x [4, 8] es un punto de acumulacin de A (por qu?) y esos son todos los puntos de acumulacin de A. Tambin en este caso todos los puntos de acumulacin de A son elementos de A. 1.3. Ejemplo. Sea B = (1, 7). En este caso cada elemento de B es un punto de acumulacin de B; sin embargo esos no son todos los puntos de acumulacin de B, ya que 1 y 7 tambin lo son (por qu?) y no estn en B. 1.4. Ejemplo. Sea C = [0, 1) {3, 5, 7}. En este caso no todos los elementos de C son puntos de acumulacin de este conjunto, ya que 3 C, 5 C y 7 C, y ninguno de ellos es punto de acumulacin de C (por qu?). Adems, hay puntos de acumulacin que no estn en el conjunto. Tenemos que 1 / C y 1 es punto de acumulacin de C. 20
2.2. Unicidad del lmite
21
2.2.
Unicidad del lmite

xa
Si en la expresin l m f ( x ) sucede que a no es punto de acumulacin del dominio de la funcin entonces cualquier nmero real puede ser el lmite de f ( x ) cuando x a. Es decir, si L1 y L2 son dos nmeros reales distintos y a no es punto de acumulacin del dominio de la funcin, entonces es posible que l m f ( x ) = L1 y l m f ( x ) = L2 .
Para demostrar esto consideremos > 0 tal que V ( L1 ) V ( L2) = . Como a no es punto de acumulacin de D f , entonces existe alguna vecindad V ( a) (llamemos al radio de esa vecindad) tal que V ( a) D f = . As, si x V ( a) D f entonces, por vacuidad1 f ( x ) V ( L1 ) y f ( x ) V ( L2 ). Analicemos el caso en que a es un punto de acumulacin del dominio de la funcin. Demostraremos que si
xa
xa
xa
l m f ( x ) = L1
xa
l m ( x ) = L2
entonces L1 = L2 . Supondremos lo contrario, que L1 = L2 . El desarrollo de esta hiptesis nos conducir a una contradiccin; esto es, ser insostenible armar que L1 = L2 , por lo tanto tendremos necesariamente que L1 = L2 . Bien, como L1 = L2 podemos suponer que L1 < L2 . Sea > 0 tal que V ( L1 ) V ( L2 ) = . Como l m f ( x ) = L1 , para V ( L1 ) existe V1 ( a) tal que si x
xa
V 1 ( a) entonces f ( x ) V ( L1 ). Asimismo, l m f ( x ) = L2 implica que para V ( L2 ) existe V2 ( a) tal

xa
que si x V 2 ( a) entonces f ( x ) V ( L2 ). Las vecindades V1 ( a) y V2 ( a) encontradas deben cumplir alguna de estas propiedades 1 < 2 , 1 = 2 1 > 2 ; es decir, V1 ( a) V2 ( a) V2 ( a) V1 ( a). Supongamos que V1 ( a) V2 ( a) (si V2 ( a) V1 ( a) la demostracin es anloga). Como a es un punto de acumulacin de D f entonces para cualquier vecindad de a, en particular para V1 ( a), existe x D f tal que x V 1 ( a) D f . Y por estar V1 ( a) contenido en V2 ( a) tenemos tambin que x V 2 ( a) D f , por lo tanto f ( x ) V ( L1 ) y f ( x ) V ( L2 ), es decir f ( x ) V ( L1 ) V ( L2 ) lo cual contradice la hiptesis de que V ( L1 ) V ( L2 ) = . Entonces, la denicin de lmite que garantiza la unicidad ser:
1 Ver
folleto de Conjuntos [3]
2.2. Unicidad del lmite
22
Si f : R R decimos que l m f ( x ) = L si y slo si a es punto de acumulaxa
cin de D f y para toda V ( L) existe alguna V ( a) tal que si x V ( a) D f , entonces f ( x ) V ( L). O, simplemente,
Sea f : D f R R y a un punto de acumulacin de D f . Decimos que l m f ( x ) = L si para toda vecindad V de L existe alguna vecindad W de a
xa
tal que f (W D f ) V . Se deja como ejercicio dar las deniciones usando el concepto de distancia. Ejercicio 2.1. Encuentra un subconjunto A de R tal que todos sus puntos sean puntos de acumulacin de A. Ejercicio 2.2. Encuentra un subconjunto B de R tal que ningn punto de B sea punto de acumulacin de B, y sin embargo, que B tenga al menos un punto de acumulacin. Ejercicio 2.3. Sea f : A B. Si X A denimos a la imagen del conjunto X como f ( X ) = {y B| f ( x ) = y, x X }. Sabemos que A. Demuestra que si Y B y Z B son dos subconjuntos ajenos de B, entonces f () Y y f () Z. Ejercicio 2.4. Construye una funcin real tal que si L1 = L2 , se tenga:
xa
l m f ( x ) = L1
xa
l m f ( x ) = L2 .
Ejercicio 2.5. Trata de construir una funcin tal que si L1 = L2 y a es punto de acumulacin del dominio, entonces:
xa
l m f ( x ) = L1
xa
l m f ( x ) = L2 .
Ejercicio 2.6. Da la denicin de lmite usando el concepto de distancia y, en particular, la distancia en R.
Captulo 3
Lmite y no lmite
3.1. Negacin de las deniciones
l m f ( x ) = ,
Ya sabemos el signicado de, por ejemplo,

xa xa
pero qu querr decir l m f ( x ) = ? Nos proponemos analizar en este breve captulo, con base en algunos ejemplos, el signicado de esas expresiones. Sabemos que l m f ( x ) = quiere decir que dado M es posible encontrar N tal que si x > N entonces f ( x ) > M. Para averiguar el signicado de l m f ( x ) = debemos negar la proposicin anterior. Lo hacemos de la siguiente manera, l m f ( x ) = si es posible encontrar alguna M tal que sin importar qu N considere, siempre hay puntos a la derecha de N que van a dar, bajo la funcin, abajo de M. 1.1. Ejemplo. Sea f la funcin de la gura (3.1). Para la M sealada en la gura se tiene que para cualquier N D f siempre hay puntos x > N tales que f ( x ) M. Invitamos al lector a que de un valor a N y localice algunos de estos puntos. Tambin sabemos que l m x f ( x ) = L quiere decir que para cualquier vecindad V ( L) existe N tal que si x > N entonces f ( x ) V ( L). Neguemos esta proposicin, esto es, l m f ( x ) = L si existe algux x x x
na vecindad Vr ( L) tal que, sin importar qu N considere, siempre hay puntos x > N tales que f ( x ) / Vr ( L). 1.2. Ejemplo. Sea f como en la gura (3.2). Dada la vecindad sealada en la gura, sin importar qu N tomemos, siempre habr puntos a la derecha de N cuya imagen no est dentro de Vr ( L). 23
24
2 Figura 3.1 La funcin f ( x ) = e1/(1+ x ) tiende a cuando x ?
L+r L Lr
2 Figura 3.2 La funcin f ( x ) = e1/(1+0.05x ) tiende a L cuando x ?
Otra expresin que analizamos en el captulo anterior es l m f ( x ) = , que quiere decir que para toda M es posible encontrar alguna V ( a) tal que si x V ( a) D f entonces f ( x ) > M. Al negar la proposicin anterior obtendremos el signicado de l m f ( x ) = .
xa xa
As, l m f ( x ) = si existe M tal que para cualquier vecindad V ( a)

xa
es posible encontrar x V ( a) D f tal que f ( x ) M. 1.3. Ejemplo. Consideremos la funcin de la gura (3.3). Sealamos M. Pedimos al lector que d cualquier vecindad de a y localice, en esa vecindad, al menos un punto que cumpla x V ( a) D f y f ( x ) M. Por ltimo, vimos que l m f ( x ) = L quiere decir que para toda
xa
V ( L) existe V ( a) tal que si x V ( a) D f entonces f ( x ) V ( L). Negar que para toda V ( L), exista V ( a). . . , es equivalente a armar que al menos una V ( L) tiene la propiedad de que en toda vecindad V ( a) existen puntos x V ( a) D f tales que f ( x ) / V ( L).
25
Figura 3.3 Es cierto que la funcin f ( x ) = ( x 1.5 sen3 x )/ x3 tiende a cuando x a?
1.4. Ejemplo. Analicemos la funcin de la gura (3.4).

L+ L L
Figura 3.4 Para la vecindad dada de L, verica que para cualquier radio de una vecindad de a, siempre habr puntos x V ( a) D f tales que la funcin no los lleve dentro de la vecindad prejada de L.
La vecindad sealada en la gura (3.4) cumple con la propiedad de que en cualquier vecindad de a hay puntos x V ( a) D f tales que f (x) / V ( L). De hecho traza una vecindad de a y localiza ah algn punto cuya imagen no est dentro de la vecindad prejada de L. Ejercicio 1.1. Demuestra que: a) l m = 3.
x 2
b) l m x2 = 1538.
x
c) l m
x+1 = 3. x
3.1. Negacin de las deniciones 1 = 80. 1 x2
26
d) l m
x 1
Ejercicio 1.2. Trata de encontrar otras maneras de negar las expresiones estudiadas en el captulo 1. Este ejercicio deber hacerse en grupos de trabajo.
Captulo 4
Teoremas sobre lmites

4.1. Enunciados y algunas demostraciones
En este captulo enunciaremos seis teoremas y demostraremos algunos que nos permitirn calcular lmites de funciones algo complicadas. Al nal se incluye una larga lista de ejercicios, es fundamental que el lector los resuelva todos para lograr una uidez aceptable en el manejo de lmites. El primer teorema dice que si conocemos el lmite de f y de g cuando x a entonces conocemos el lmite de f + g cuando x a. Lo enunciaremos as: Teorema 1 Sean f y g funciones tales que
xa
l m f ( x ) = L
xa
l m g ( x ) = M,
si a es un punto de acumulacin de D f + g , entonces el lmite de f + g cuando x a existe y

xa
l m ( f + g) ( x ) = l m f ( x ) + l m g ( x ) = L + M.
xa xa
Demostracin. Sea > 0. Queremos mostrar que existe > 0 tal que si x D f + g y 0 < | x a| < entonces |( f + g) ( x ) ( L + M )| < . Ahora, usando la desigualdad del tringulo1 tenemos que
|( f + g) ( x ) ( L + M)| = | f ( x ) + g ( x ) L M| = |( f ( x ) L) + ( g ( x ) M)| = | f ( x ) L| + | g ( x ) M| ,
es decir, que
|( f + g) ( x ) ( L + M)| | f ( x ) L| + | g ( x ) M| .
1 Ver
seccin 1.3 del folleto Funciones Reales.
27
28
Entonces, si logramos que cada uno de los trminos de la derecha sea menor que /2 para x en una vecindad de a, habremos obtenido el resultado deseado. Como l m f ( x ) = L, para cada /2 > 0 existe 1 > 0 tal que si x D f y 0 < | x a| < 1 entonces | f ( x ) L| < /2. Adems, como l m g ( x ) = M, para cada /2 > 0 existe 2 > 0 tal que si x D f y 0 < | x a| < 2 entonces | g ( x ) M | < /2. Sea > 0 un nmero menor que 1 y 2 . Entonces, si x D f + g = D f Dg y 0 < | x a| < , tendremos que:
xa xa
|( f + g) ( x ) ( L + M)| | f ( x ) L| + | g ( x ) M| < + = . 2 2
1.1. Ejemplo.
x
l m
x2 + 2 x 2 = l m 1 + 2 x x x
= l m 1 + l m
x
xa
2 = 1 + 0 = 1. x
Lo que el primer teorema dice del lmite de la suma, el segundo lo dice de la multiplicacin. Teorema 2 Sean f y g funciones tales que
xa
l m f ( x ) = L
xa
l m g ( x ) = M,
xa
si a es un punto de acumulacin de D f g = D f Dg entonces el l m ( f g) ( x ) existe y l m ( f g) ( x ) = l m f ( x ) l m g ( x ) = L M.

xa xa
1.2. Ejemplo. l m 4x2 = l m 4 l m x2 = 4 4 = 16.

x 2 x 2 x 2
Teorema 3 Si l m g ( x ) = L = 0 entonces el lmite de

xa
1 existe cuando g
x a y l m
xa
1 g
xa
(x) =
1 . L
xa
Corolario. Si l m f ( x ) = L, l m g ( x ) = M y si M = 0 y a es un punto de acumulacin del dominio de l m f g f , entonces l m xa g f g
( x ) existe y
xa
(x) =
l mx a f ( x ) L = . l mx a g ( x ) M
29
1.3. Ejemplo. l m 3x + 5 3 l mx1 x + 5 l mx1 (3x + 5) 18 = = = . 4x 2 l mx1 (4x 2) 4 l mx1 x 2 4
x 1
Teorema 4 Si entre los valores correspondientes de las tres funciones f , g y h se cumplen las desigualdades f ( x ) g ( x ) h ( x ) para toda x D f Dg Dh y adems l mx a f ( x ) = l mx a h ( x ) = L, entonces l mx a g ( x ) existe y l m g ( x ) = L.
Demostracin. Sea > 0. Queremos encontrar > 0 tal que si x Dg y 0 < | x a| < entonces | g ( x ) L| < . Como f ( x ) g ( x ) h ( x ) tenemos que f ( x ) L g ( x ) L h ( x ) L.
xa
(4.1)
Como l m f ( x ) = L, para cada > 0 existe > 0 tal que si x D f y 0 < | x a| < entonces | f ( x ) L| < . Adems, como l m h ( x ) = L, para cada > 0 existe 1 > 0 tal que si x Dh y 0 < | x a| < 2 entonces |h ( x ) L| < . Haciendo = m n {1 , 2 } se vericar que si x D f Dg Dh y 0 < | x a| < entonces
s a
< f ( x ) L < y
< h ( x ) L < .
Esto y la desigualdad (4.1) implican que < g ( x ) L < , o sea que | g ( x ) L| < , es decir l m g ( x ) = L.
xa
Teorema 5 Si f ( x ) 0 para toda x D f y l m f ( x ) = L, entonces xa L 0. Demostracin. Supongamos que L < 0. Sea 0 < < d ( L, 0) entonces y V ( L) implica y < 0. Como l m f ( x ) = L, para cada > 0, en particular para <
xa
d ( L, 0), existe > 0 tal que si x V ( a) D f entonces f ( x ) V ( L). De aqu, f ( x ) < 0 que contradice la tesis de que f ( x ) 0. Por lo tanto L > 0. Teorema 6 Si l m f (t) = x0 y l m g ( x ) = L entonces l m ( g f ) (t) =
t t0 x x0 t t0
L. Calcular los lmites siguientes: Ejercicio 1.1. l m x2 + 2 x + 5 . x2 + 1
x 1
30
Ejercicio 1.2. l m (2 sen x cos x + cot x ).

x 2
x2 Ejercicio 1.3. l m . x 2 2+x Ejercicio 1.4. l m

x
1 4 + 2 . x x
Ejercicio 1.5. l m Ejercicio 1.6. l m Ejercicio 1.7. l m
4 x3 2 x2 + 1 . x 3 x3 5
x
x+1 . x x2 + x 1 . 2x + 5
Ejercicio 1.8. l m Ejercicio 1.9. l m
3 x2 2 x 1 . x x3 + 2 x 4 x3 2 x2 + x . x 0 3 x3 + 2 x x2 4 . x2 x3 1 . x1 x2 5 x + 6 . x2 12x + 20
Ejercicio 1.10. l m
x 2
Ejercicio 1.11. l m
x 1
Ejercicio 1.12. l m
x 2
Ejercicio 1.13. l m
x2 + 3x 10 . x 2 3 x 2 5 x 2
x8 3 x2 + 2 x . x 2 x 2 x 6 x2 3 Ejercicio 1.15. l m . 3 x x3 + 1 Ejercicio 1.14. l m Ejercicio 1.16. l m

x
x2 + 1
x2 1 .
Bibliografa
[1] R. Courant y F. John. Introduction to Calculus and Analysis, volume 1. Interscience Publishers. [2] N. Haaser, J. La Salle y J. Sullivan. lntroduction to Analysis. Blaisdell Publishing Co., 1959. [3] M. Lpez Mateos. Los Conjuntos. Facultad de Ciencias. [4] M. Lpez Mateos. Funciones Reales. Lpez Mateos Editores, 2012. [5] E. Moise. Calculus, Part 1. Addison-Wesley Publishing Co., 1967. [6] N. Piskunov. Clculo Diferencial e Integral. Editorial MIR, Mosc, 1969.
31
ndice alfabtico
acumulacin punto de, 20 denicin negacin, 23 introduccin, iv lmite, 1 unicidad, 20, 21 y no lmite, 23 l m f ( x ) = , 1
x x xa xa
l m f ( x ) = L, 16
lmites teoremas sobre, 27 negacin de la denicin, 23 no lmite, 23 punto de acumulacin, 20 teoremas enunciados, 27 sobre lmites, 27 unicidad del lmite, 20, 21
l m f ( x ) = L, 6
l m f ( x ) = , 11
32

LÍMITE

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

LÍMITE

Uploaded by

Copyright:

Available Formats

Manuel Lpez Mateos Prohibida su reproduccin.

Para uso exclusivo de los alumnos de Clculo I, 2013-1

Manuel Lpez Mateos

www.lopezmateos.mx ISBN (En trmite)

Bibliografa ndice alfabtico

M.L.M. Octubre de 2012

Figura 1.1 La funcin y = x3 + x 2 tiende a cuando x .

Figura 1.2 Si x1 > x0 entonces f ( x1 ) > f ( x0 ).

Figura 1.3 Acaso la funcin y = x + 6 sen x no tiende a cuando x ?

Figura 1.4 El punto x1 es mayor que x0 sin embargo f ( x1 ) no es mayor que f ( x0 ).

Figura 1.5 La funcin y = e1/ x + 2 no tiende a cuando x

La gura (1.6) aclarar la denicin.

Ejercicio 1.2. Demuestra que l m x + 1 = .

Ejercicio 1.3. Cmo deniras l m f ( x ) = ?

Ejercicio 1.4. Cmo deniras l m f ( x ) = ?

Ejercicio 1.5. Cmo deniras l m f ( x ) = ?

Figura 1.9 Dado M, si x > N =

Figura 1.10 La funcin puede acercarse por abajo o por arriba.

Figura 1.15 Para cierta N , si x > N entonces f ( x ) est en la vecindad prejada de L.

Figura 1.16 Para cualquier N , si x > N entonces f ( x ) = L est en la vecindad prejada de L.

1 ; x (por qu?); es decir,

es positivo (por qu?), entonces

pero como x >

< ; es decir si x > N

Figura 1.17 Dibuja la grca de f ( x ) = 1 + 1 x.

l m f ( x ) = si y slo si para toda x D f las imgenes de los puntos

x tales que d ( x, a) < d ( x0 , a) cumplen con f ( x ) > f ( x0 ).

Figura 1.18 Dibuja la grca de una funcin que tienda a cuando x a.

Figura 1.19 ( x 1.5 sen3 x )/ x3 cuando x 0?

l m f ( x ) = si y slo si existe algn x0 D f tal que si d ( x, a) <

Por qu la funcin de la gura (1.20) cumple con la ltima denicin propuesta?

Figura 1.20 Te parece que 6 x2 cuando x 0?

l m f ( x ) = si y slo si existe alguna vecindad V ( a) de a tal que las

Figura 1.21 La funcin f ( x ) = 1/( x 2)2 no est denida en x = 2.

l m f ( x ) = si y slo si para toda M existe > 0 tal que si x

Figura 1.22 f ( a) no es mayor que M.

Si f : R R decimos que l m f ( x ) = si y slo si para cada M (no importa

x D f y 0 < | x a| < entonces f ( x ) > M.

lo que es lo mismo, si 0 <

Ejercicio 3.1. Demuestra que l m

Ejercicio 3.2. Cmo deniras l m f ( x ) = ?

l m f ( x ) = L si y slo si para cada vecindad V ( L) de L ( > 0 es el

Figura 1.23 Es cierto que el lmite de f ( x ) es L cuando x tiende a a.

Figura 1.24 Tambin es cierto que el lmite de f ( x ) es L cuando x tiende a a.

Si f : R R entonces l m f ( x ) = L si y slo si, para toda V ( L) existe

x D f y 0 < d ( x, a) < entonces d ( f ( x ) , L) < .

x D f y 0 < | x a| < entonces | f ( x ) L| < .

|x| . Existe el lmite x

Unicidad del lmite

2.2. Unicidad del lmite

Unicidad del lmite

V 1 ( a) entonces f ( x ) V ( L1 ). Asimismo, l m f ( x ) = L2 implica que para V ( L2 ) existe V2 ( a) tal

folleto de Conjuntos [3]

2.2. Unicidad del lmite

Si f : R R decimos que l m f ( x ) = L si y slo si a es punto de acumulaxa

Ejercicio 2.6. Da la denicin de lmite usando el concepto de distancia y, en particular, la distancia en R.

Ya sabemos el signicado de, por ejemplo,

3.1. Negacin de las deniciones

2 Figura 3.1 La funcin f ( x ) = e1/(1+ x ) tiende a cuando x ?

2 Figura 3.2 La funcin f ( x ) = e1/(1+0.05x ) tiende a L cuando x ?

As, l m f ( x ) = si existe M tal que para cualquier vecindad V ( a)

3.1. Negacin de las deniciones

Figura 3.3 Es cierto que la funcin f ( x ) = ( x 1.5 sen3 x )/ x3 tiende a cuando x a?

1.4. Ejemplo. Analicemos la funcin de la gura (3.4).