Limites y Ad Intro Calculo

Introduccin al Clculo o a CNM 107
Skywalker
Copyleft 2009. Reproduccin permitida bajo los o
trminos de la licencia de documentacin libre GNU e o
Indice general
1. L mites y continuidad 1.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o 1.2. El concepto de l mite de forma intuitiva . . . . . . . . . . . . . . . . . 1.3. Denicin formal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o 1.4. Propiedades bsicas de L a mites . . . . . . . . . . . . . . . . . . . . .
1 1 1 4 9
1.5. L mites laterales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 1.6. L mite de funciones trigonomtricas . . . . . . . . . . . . . . . . . . . 24 e 1.6.1. Funciones trigonomtricas . . . . . . . . . . . . . . . . . . . . 24 e 1.6.2. Teorema de estriccin . . . . . . . . . . . . . . . . . . . . . . . 33 o 1.7. L mites innitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38 1.8. Funciones continuas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45 1.8.1. Continuidad de una funcin en un punto . . . . . . . . . . . . 46 o 1.8.2. Continuidad de una funcin en un intervalo . . . . . . . . . . 52 o 1.9. L mites al innito . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
INDICE GENERAL
CAP ITULO
L mites y continuidad
1.1.
Introduccin o
En matemticas, el l a mite de una funcin es un concepto que describe la teno dencia de sta, a medida que su variable dependiente se acerca a un determinado e valor. Despus del trabajo con n meros reales y funciones estamos preparados para e u introducir esta nueva e interesante idea. Una motivacin para el estudio de l o mites y sus generalidades es que este concepto se emplea en la denicin de nociones o fundamentales en el clculo como continuidad, derivacin e integracin. a o o El concepto formal de l mite de una funcin es algo complejo, por esta razn, o o en este tema la intuicin tiene un papel denitivo y procuraremos evitar en lo posible o las formalizaciones pues en este nivel stas no aportan ms claridad. e a
1.2.
El concepto de l mite de forma intuitiva
Inicialmente por medio de algunos ejemplos que ilustran diferentes situaciones se introducir la idea intuitiva de l a mite. La idea fundamental en cada ejemplo es la siguiente: considerando una funcin real denida en un intervalo (a, b) que contiene o un punto c. (la funcin puede estar o no denida en el punto c) Observamos lo que o sucede con la funcin cuando la variable x se aproxima al valor c. o 1
CAP ITULO 1. L IMITES Y CONTINUIDAD
Ejemplos 1.2.1 1. Sea f (x) = x2 . Qu le sucede a f (x) cuando el valor de x e se aproxima a 2? Para responder a esta pregunta se elabora una tabla de los valores de f (x) para algunos x cercanos de 2
x 1 1,5 1,90 1,99 1,999 2 2,001 2,01 2,1
y = x2 1 2,25 3,61 3,9601 3,996001 ?? 4,004001 4,0401 4,41
-2
-1
Notemos que cuando el valor de x se acerca a 2, tanto por izquierda como por derecha, f (x) est cerca a 4. En este punto, con base en la tabla y la grca, a a no es dif intuir a que valor se aproxima la funcin cuando la variable x cil o tiende a 2. Decimos que el l mite de x2 cuando x tiende a 2 es 4. Lo anterior lo escribimos simblicamente como o
x2
l f (x) = l x2 = 4. m m
x2
O tambin e f (x) 4 cuando x 2, en que la echa signica tiende a. Este ejemplo no tiene ningn obsculo, u a el siguiente, presenta un peque o reto. n o 2. Sea g(x) = x 4 . En este caso Dom(g) = R \ {2}, por lo tanto esta uncin no x2 est denida en x = 2. Sin embargo, es posible determinar cmo se comporta a o g(x) cuando x est prximo a 2; para esto realizamos de nuevo una peque a a o n tabla escogiendo algunos valores de x mayores que 2 y otros menores que 2. Por ejemplo,
2
1.2. EL CONCEPTO DE L IMITE DE FORMA INTUITIVA
x 1.90 1.95 1.97 1.99 2 2.01 2.03 2.05 2.10
y = x 4 x2 3.90 3.95 3.97 3.99 ???? 4.01 4.03 4.05 4.10
de lo anterior se intuye que g(x) se acerca a 4 cuando x se acerca a 2, pero no en x = 2, pues este punto no hace parte del dominio de g, por lo tanto escribimos x2 4 l m =4 x2 x 2 y se lee el lmite de g(x) =
x2 4 x2
cuando x tiende a 2 es igual a 4.
Un abordaje algebraico nos permite resolver esta situacin. Observese que en o la fraccin x2 4/x 2 cuando x est prximo de 2, el numerador x2 4 o a o est prximo de 0. De otra parte, el denominador x 2 tambin est prximo a o e a o a 0. La identidad x2 4 = (x 2)(x + 2) permite escribir x2 4 (x 2)(x + 2) = = x + 2. x2 x2
Por tanto, el comportamiento de g(x) cerca de 2 (pero no en 2) es el mismo comportamiento de x + 2 cerca de 2; dado que esta expresin no presenta o ninguna restriccin para el valor x = 2, al igual que en el ejemplo anterior, o basta slo sustituir por x = 2. As o ,
x2
l x + 2 = 4 m
de esto se deduce que l g(x) = l m m x2 4 = 4. x2 x + 2
x2
x 3. Sea f (x) = |x| . En este caso la funcin no est denida en x = 0. Sin embargo, o a una opcin para examinar el comportamiento de f a medida que x se acerca o
4 de 0 es observar la grca de f a
y=
1
x |x|
-1 -1
Vemos que cuando x se aproxima a 0 por la derecha (i.e., por valores positivos) f (x) es siempre 1. Si x se aproxima por la izquierda de 0, f (x) es siempre 1. Por lo tanto, f (x) no est prximo o no tiende a un n mero jo cuando x se a o u aproxima a 0, en este caso x l m x0 |x| no existe. Observacin 1.2.2 o 1. Observamos que en los ejemplos anteriores realizamos las tablas considerando valores cercanos a 2, al tomar valores mayores nos aproximamos por la derecha de 2 y al tomar valores menores nos aproximamos por la izquierda. 2. Puede hablarse de el l mite de una funcin f (x) cuando x tiende a c, an o u cuando la funcin no este denida en c. o 3. En base a lo presentado, la expresin l f (x) = M signica que para valores o m xc arbitrariamente prximos de c la funcin f asume valores arbitrao o riamente prximos de M. o Hasta ahora hemos hecho armaciones acerca del l mite de funciones acudiendo a valores tabulados y a sus grcas, no obstante, estas armaciones debern ser dea a mostradas mediante un procedimiento formal, para tal procedimiento en la siguiente seccin presentaremos la denicin formal de l o o mite.
1.3.
Denicin formal o
Intuitivamente sabemos que dada una funcin real f denida alrededor (o o arbitrriamente cerca) del n mero c se cumple a u
xc
l f (x) = M, m
donde M es un n mero real, si cuando x est muy cerca de c entonces f (x) esu a tar cerca de M. A seguir presentamos la denicin formal para esto. a o
1.3. DEFINICION FORMAL
Denicin 1.3.1 Sea f una funcin real denida en un intervalo A el cual contiene o o al punto c. Diremos que el nmero real M es el l u mite de f (x) cuando x tiende para c y escribimos l f (x) = M m
xc
para signicar lo siguiente: para cada nmero real > 0, es posible encontrar un u nmero real > 0 tal que para todo x A, u (1.1) |f (x) M| < siempre que 0 < |x c| < .
Observacin 1.3.2 o 1. La denicin formal de l o mite no exige que la funcin o est denida en c. Adems, e a 0 < |x c| < < x c < x = c c < x < c + x = c x (c , c + ) x = c 2. En la denicin intervienen dos intervalos abiertos, uno alrededor de c (ver o tem anterior) y otro alrededor de M, indicando lo prximo que debe estar x de o c para que f (x) est cerca de M. Esto es, cuando x se aproxima a c los valores e de f (x) se aproximan arbitrariamente a M; o sea, para cualquier nmero real u > 0, existe otro real > 0 tal que si x (c , c + ) x = c (la distancia entre x y c es mayor que cero y menor que ), entonces f (x) (M , M + ) (la distancia entre f (x) y M es menor que ). 3. Con base a lo anterior, la implicacin (1.1) puede escribirse o x (c , c + ) x = c = f (x) (M , M + ). La siguiente gura ilustra grcamente el signicado de y en esta ultima a implicacin. o
M + M M
c c c+
6 Ejemplos 1.3.3
CAP ITULO 1. L IMITES Y CONTINUIDAD 1. Usando la denicin del l o mite de una funcin mostremos o
x2
l 2x 1 = 3. m
Si > 0, debemos encontrar un > 0 tal que (1.2) 0 < |x 2| < = |2x 1 3| < .
Para esto, consideremos inicialmente la desigualdad que aparece como consecuente en la implicacin (1.2). o |2x 1 3| < |2x 4| < |x 2| < 2|x 2| <
2
Comparando el antecedente de (1.2) con la desigualdad encima, concluimos que basta escoger = /2 (obviamente cualquier otro valor menor funciona). En efecto, dado > 0, sea = 2 entonces
|x 2| < |x 2|, 2
= 2|x 2| <
= |2x 4| <
= |f (x) 3| <
2. Usando la denicin del l o mite de una funcin mostremos que o x2 1 = 2. x1 x + 1 l m Si > 0, debemos encontrar un > 0 tal que (1.3) 0 < |x (1)| < = x2 1 (2) < . x+1
Para esto, consideremos inicialmente la desigualdad que aparece como consecuente en la implicacin (1.3). o x2 1 (2) < x+1 x2 1 +2 < x+1
|x + 1| <
1.3. DEFINICION FORMAL
Comparando el antecedente de (1.3) con la desigualdad encima, concluimos que basta escoger = (obviamente cualquier otro valor menor funciona). En efecto, dado > 0, sea = entonces |x (1)| < |x + 1| < = =
= |x 1 + 2| <
(x 1)(x + 1) (2) < (x + 1) x2 1 (2) < . x+1
3. Usando la denicin del l o mite de una funcin mostremos que para c > 0 o l m x = c.
xc
Si > 0, debemos encontrar un > 0 tal que (1.4) 0 < |x c| < = | x c| < . Racionalizando la expresin que aparece en la implicacin (1.4) o o xc ( x c)( x + c) c| = = x+ c x+ c
(1.5)
| x
Adems, si se tiene como en el antecedente de (1.4) a |x c| |x c| xc | x c| = < . x+ c x+ c c c Por lo tanto, dado > 0 basta escoger c. En efecto, |x c| < |x c| < c = |x c| < c |x c| < = | x c| c
4. Usando la denicin formal de l o mite de una funcin mostremos que para c = 0 o

xc
l m
1 1 = . x c
CAP ITULO 1. L IMITES Y CONTINUIDAD Dado > 0, debemos encontrar un > 0 tal que (1.6) Pero, 1 |x c| cx 1 1 = = . x c cx |x| |c|
1 a a a Adems, el factor |x| es problemtico, mxime cuando x est cerca de cero, a para continuar necesitamos acotarlo. Para esto usamos la desigualdad
0 < |x c| < =
1 1 < x c
|x| |c| |c x| = |c| |x c|. Si es como en el antecedente de (1.6) y tal que |c|/2 entonces |x c| = |c x| < |c| , de este modo se obtiene 2 |x| |c| |x c| |c| y por lo tanto 2 1 . |x| |c| 1 |x c| 2 |x c| < < |x| |c| |c| |c| |c|2 |x c| < . 2
|c|2 2
|c| |c| = , 2 2
As
O sea, es necesario que
c2 . 2
As dado un > 0, basta escoger , |c| c2 , . 2 2

|c| c2 , 2 2 |c| 2
m n En efecto, si > 0, escojamos m n
. |x c| entonces
c2 2
0 < |x c| < |x c| de la primera desigualdad, se obtiene que

1 |x|
2 , |c|
1 1 1 |x c| 2 c2 = < 2 = . x c |x| |c| c 2

1 Si c = 0 sabemos que la funcin f (x) = x presenta problemas, mostraremos o ms adelante que el l a mite no existe para este punto.
1.4. PROPIEDADES BASICAS DE L IMITES 5. Usando la denicin formal de l o mite de una funcin mostremos que o
x3
l 3 + 4x x2 = 6. m
Si > 0, debemos encontrar un > 0 tal que (1.7) 0 < |x 3| < = |(3 + 4x x2 ) 6| < . |(3 + 4x x2 ) 6| < |x2 4x + 3| = |(x 3)(x 1)| < . 5 |x 1| = |x 3 + 2| |x 3| + |2| + 2 . 2 Luego comparando la desigualdad anterior con (1.8), concluimos que basta escoger 2 m n{1/2, 2/5}. En efecto, dado > 0 sea m n{1/2, 5 } 2 0 < |x 3| < |x 3| < 1/2 |x 3| 5 por otro lado, 5 5 2 (3 + 4x x2 ) 6 = |x 3||x 1| < = . 2 2 5 Observacin 1.3.4 Consecuentemente de la denicin de l o o mite se sigue que para demostrar que una funcin f no tiene l o mite en c, es decir, que
xc
Factorizando la expresin que parece en el consecuente de (1.7) se obtiene o (1.8)
Si se tiene como en (1.7) y tal que 1/2, entonces
|(x 3)(x 1)| = |x 3||x 1| < 5/2,
l f (x) = M m
para todo M R, es necesario demostrar que existe > 0 tal que dado cualquier > 0, existe un x tal que 0 < |x c| < |f (x) M| .
1.4.
Propiedades bsicas de L a mites
En esta seccin se establecen las propieddes bsicas de los l o a mites de funciones con el n de emplearlas para el clculo de stos sin necesidad de recurrir a la a e denicin formal epsilon-delta presentada en la seccin anterior. o o
10
Teorema 1.4.1 (Unicidad del L mite) El l mite de una funcin en un punto, si o existe, es unico. Es decir
xc
l f (x) = M1 l f (x) = M2 = M1 = M2 m m
xc
Demostracin: Sean M1 y M2 l o mites de f en c, entonces dado > 0, existen 1 , 2 > 0, tales que 0 < |x c| < 1 , = |f (x) M1 | < /2 0 < |x c| < 2 , = |f (x) M2 | < /2 Escojamos m 1 , 2 } y sea x tal que 0 < |x c| < , entonces n{ |f (x ) M1 | < /2 |f (x ) M2 | < /2 luego 0 |M1 M2 | = |M1 f (x ) + f (x ) M2 | <
2
|M1 f (x )| + |f (x ) M2 | +
2
= .
As 0 |L M| < , como > 0 es arbitrario, es posible tomarlo tan peque o , n como se desee, por lo tanto |M1 M2 | = 0 lo que prueba que M1 = M2 . Teorema 1.4.2 Sea k una constante, f, g funciones reales. Suponiendo que existen l f (x), l g(x). Entonces m m
xc xc
1. l k = k m
xc
2. l x = c m
xc
3. l f (x) g(x) = l f (x) l g(x) m m m

xc xc xc
4. l kf (x) = k l f (x) m m
xc xc
5. l f (x) g(x) = l f (x) l g(x) m m m

xc xc xc
l f (x) m f (x) xc = , si l g(x) = 0. m 6. l m xc xc g(x) l g(x) m

xc
Demostracin: Demostraremos algunos de los enunciados aplicando la denicin o o formal.
1.4. PROPIEDADES BASICAS DE L IMITES 1. Sea > 0, veamos que existe > 0 tal que 0 < |x c| < = |k k| = 0 < , para esto basta escoger = . 2. Sea > 0, veamos que existe > 0 tal que 0 < |x c| < = |x c| < , para esto basta escoger de nuevo = . 3. Supongamos l f (x) = L, l g(x) = M. Tenemos que probar que m m
xc xc
11
xc
l [f (x) + g(x)] = L + M, m
esto es, para todo > 0, existe > 0 tal que 0 < |x c| < = |f (x) + g(x) (L + M)| < . En efecto, si > 0, por denicin existen 1 > 0, 2 > 0 tales que o si 0 < |x c| < 1 , entonces |f (x) L| < /2. si 0 < |x c| < 2 , entonces |f (x) M| < /2. Sea = m 1 , 2 } y asumamos que 0 < |x c| < . Como 1 , 2 , las n{ dos condiciones encima son satisfechas por lo tanto |f (x) + g(x) (L + M)| = |f (x) L + g(x) M| < /2 + /2 = .
|f (x) L| + |g(x) M|
4. Supongamos l f (x) = L. Dado > 0, veamos que existe > 0 tal que m
xc
0 < |x c| < = |kf (x) kL| < . En efecto, si > 0, por denicin existe > 0 tal que si 0 < |x c| < o entonces |f (x) L| < /|k|, es decir 0 < |x c| < = |k||f (x) L| < .
12
CAP ITULO 1. L IMITES Y CONTINUIDAD 5. Supongamos l f (x) = L, l g(x) = M. Tenemos que probar que m m
xc xc xc
l [f (x) g(x)] = L M. m
Para esto inicialmente mostremos el caso en el que M = 0, es decir mostremos que l [f (x) g(x)] = L M = L 0 = 0. m
xc
Esto es, para todo > 0, existe > 0 tal que 0 < |x c| < = |f (x) g(x) 0| < . En efecto, por denicin con = 1 existe 1 > 0 tal que 0 < |x c| < 1 o entonces |f (x)| |L| |f (x) L| < 1, o sea, (1.9) 0 < |x c| < 1 = |f (x)| 1 + |L|. Por otro lado, si > 0, de nuevo por denicin existe 2 > 0 tal que si o 0 < |x c| < 2 entonces |g(x)| < /(1 + |L|). O sea, (1.10) 0 < |x c| < 2 = |g(x)| /(1 + |L|). Sea = m 1 , 2 }, entonces para cada x tal que 0 < |x c| < se tienen n{ vlidas las ecuaciones (1.9), (1.10), por lo tanto a |f (x)| 1 + |L|, |g(x)| /(1 + |L|). As se tiene que , 0 < |x c| < = |f (x) g(x)| < (1 + |L|) /(1 + |L|) < . Para mostrar el caso general basta escribir f (x) g(x) = [f (x) L]g(x) + L[g(x) M] + L M y aplicar los anterior junto con las propiedades 1 y 3. Por induccin, se muestra o
xc
l [f1 (x) f2 (x) fn (x)] = M1 M2 Mn . m

xc xc
En que l f1 (x) = M1 , , l fn (x) = Mn En particular, si l f (x) = M, m m m entonces l [f (x)]n = M n . m

xc xc
6. La prueba de esta propiedad es dejada como ejercicio.
1.4. PROPIEDADES BASICAS DE L IMITES Corolario 1.4.3

xc
13
1. l f (x) = L l [f (x) L] = 0; m m
xc xc t0
2. l f (x) = L l f (t + c) = L. m m Demostracin: o 1. Como se debe mostrar una equivalencia, probemos cada implicacin por sepao rado. Inicialmente suponiendo que l [f (x) L] = 0, escribimos m
xc
f (x) = [f (x) L] + L, empleando el teorema anterior se tiene

xc
l f (x) = l [f (x) L] + L = l [f (x) L] + l L = 0 + L = L. m m m m

xc xc xc
xc
Rec procamente, si l f (x) = L, entonces como L es una constante, se tiene m xc l L = L, por lo tanto m
xc
l [f (x) L] = l f (x) l L = L L = 0. m m m
xc xc
2. Anlogo al anterior mostremos las dos implicaciones por separado. Inicialmente a si l f (t + c) = L. Por denicin de l m o mite se tiene que dado > 0, existe un t0 > 0 tal que 0 < |t| < = |f (t + c) L| < , sustituyendo t por x c en la implicacin anterior se obtiene o 0 < |x c| < = |f (x) L| < , o de forma equivalente, l f (x) = L. La armacin rec m o proca se muestra de
xc
igual modo, en efecto, esta vez suponemos que l f (x) = L, y aplicamos la m xc denicin de l o mite para obtener que dado > 0, existe un > 0 tal que 0 < |x c| < = |f (x) L| < de nuevo sustituimos x por t + a en la implicacin anterior, lo que produce o 0 < |t| < = |f (t + c) L| < , o de forma equivalente l f (t + c) = L. m
t0
14
Empleando las propiedades bsicas para l a mites es posible calcular algunos ejemplos. Ejemplos 1.4.4 1. Para f (x) = axn se tiene que l axn = acn . m
xc
2. (L mite de funciones polinomiales) Para el clculo de l a mites con funciones polinomiales basta realizar una sustitucin directa, a saber si o f (x) = an xn + an1 xn1 + + a1 x + a0 entonces se tiene que
xc
l an xn + an1 xn1 + + a1 x + a0 = an cn + an1 cn1 + + a1 c + a0 = f (c). m
En particular, a) l (2x + 1)2 = [l (2x + 1)]2 = 52 = 25. m m

x2 x2
b) l (7x + 7) = [ l (7x + 7)]3 = 03 = 0. m m

x1 x1
c) l x(x + 1) = [l x l (x + 1)] = 3 4 = 12. m m m

x3 x3 x3
3. (L mite de funciones racionales) Para toda funcin racional o f (x) = am xm + am1 xm1 + + a1 x + a0 p(x) = q(x) bn xn + bn1 xn1 + + b1 x + b0
cociente de polinomios. Cuando q(c) = bn cn + bn1 cn1 + + b1 c + b0 = 0. se tiene que am xm + + a1 x + a0 l x c am xm + + a1 x + a0 m = = f (c). xc bn xn + + b1 x + b0 l x c bn xn + + b1 x + b0 m l m En particular, l (x2 + 1) m 5 (x2 + 1) x2 = = = 3. a) l m x2 (2x 3) l (2x 3) m 1
x2
l (4x 5) m (4x 5) 5 x0 b) l m = = = 5. x0 (5x + 1) l (5x + 1) m 1

x0
1.4. PROPIEDADES BASICAS DE L IMITES l m x 2 1 x = x4 = = . c) l m x4 x l x m 4 2

x4
15
4. Dada una funcin racional f (x) = p(x)/q(x), cuando q(c) = 0, entonces no o es tan simple decidir sobre la existencia de l f (x). Sin embargo, las situam xc ciones con las que nos deparamos en este nivel no requieren emplear criterios demasiado sosticados, bastar simplemente con algunas manipulaciones ala gebraicas. a) Evaluar l m x3 x4 . x1 1 x En efecto, aplicando directamente el l mite de un cociente, se obtiene la expresin indeterminada 0/0 la cual carece de sentido aritmtico ya o e que la divisin por 0 no est denida. Sin embargo se puede eliminar la o a indeterminacin con un poco de lgebra o a x3 (1 x) x3 x4 = l m = l x3 = 1 m x1 x1 x1 1 x 1x l m b) Para la funcin f (x) = x2 evaluemos l o m f (x + h) f (x) . En efecto, h0 h
(x + h)2 x2 f (x + h) f (x) = l m l m h0 h0 h h (2xh + h2 ) = l m h0 h h(2x + h) = l m h0 h = l 2x + h m

h0
= 2x c) Evaluar l m
x3
x3 . x 3
16
CAP ITULO 1. L IMITES Y CONTINUIDAD De nuevo aplicando directamente el l mite de un cociente, se obtiene la expresin indeterminada 0/0. Esta se puede eliminar racionalizando y o luego factorizando, as :. (x 3)( x + 3) x3 = l m l m x3 ( x x3 x 3 3)( x + 3) (x 3)( x + 3) = l m x3 ( x)2 ( 3)2 (x 3)( x + 3) = l m x3 x3 = l m x + 3 = 2 3
x3
d) Evaluar l m
1 1 1 . x0 x 3 + x 3
En este caso no es posible aplicar directamente el l mite de un producto pues la funcin 1/x no posee l o mite en 0. Sin embargo se puede eliminar esta dicultad, a saber:
x0
l m
1 1 1 x 3+x 3
= l m
x0
1 3 (3 + x) x 3(3 + x)
= l m
1 = 3
x0
x 1 x 3(3 + x)
= l m
1 x0 3(3 + x)
A partir de los ejemplos calculados en la seccin anterior sabemos que o l m x = c.

xc
De modo ms general se tienen las siguientes propiedades, cuyas pruebas sern a a presentadas ms adelante. a Teorema 1.4.5 1. Si n es un nmero entero positivo, entonces u l n x = n c, m
xc
cuando n es par suponga que c > 0. 2. Si n es un nmero entero positivo y l f (x) = M, entonces u m
xc xc
l m
f (x) =
M,
cuando n es par suponga que M > 0.
1.5. L IMITES LATERALES Ejemplos 1.4.6 l m 1. Evaluar l m x+h h x x+h x . En efecto, h ( x + h x)( x + h + x) l m h0 h( x + h + x) h l m h0 h( x + h + x) 1 l ( x + h + x) m h0 1 2 x
17
h0
h0
= = = =
2. Evaluar l m
x4
2x 7x + 1
x4
l m
2x = 7x + 1 =
2x x4 7x + 1 l m
8 27
= 3x + 1 3. Evaluar l m x4 x2 10
2 3
l (3x + 1) m 3x + 1 l m = x4 2 x4 l m x 10 x2 10
x4
= =
x4 s
l 3x + l 1 m m
x4 x4
l (x 10) m
3(4) + 1 (4)2 10 13 = 6
1.5.
L mites laterales
Al estudiar el l mite de una funcin f en un punto c hemos analizado el como portamiento de sta en los valores de x que pertenecen a un intervalo abierto que e
18
contiene c. Es decir, valores de x mayores y menores que c. En ocasiones slo es o posible e importante conocer el comportamiento de la funcin cuando la variable x o se encuentra cerca de c, pero por un lado concreto de dicho punto. De esta manera surgen los l mites laterales. En lo que sigue presentaremos la denicin intuitiva de o los l mites laterales y establecemos su relacin con el l o mite de una funcin en un o punto dado. o a La funcin f (x) = x slo est denina para valores de x 0, por lo tanto la o expresin o l m x
x0
no tiene signicado. Sin embargo, suponiendo que se consideran valores de x slo o e positivos, puede lograrse que el valor de x est tan cerca de 0 como se desee tomando valores cercanos a 0 pero mayores. En este caso x se aproxima a 0 por la derecha y se considera el l mite por la derecha, el cual se denir en breve. a Recuerde la funcin f (x) = o
x . |x|
Esta funcin no est denida en x = 0. o a y=

1
x |x|
-1 -1
Vemos que cuando x se aproxima a 0 por la derecha (i.e., por valores positivos) f (x) es siempre 1. Por lo tanto, puede intuirse que el l mite de f a la derecha del 0 es 1. Igualmente, si x se aproxima por la izquierda de 0, f (x) es siempre 1. Por lo tanto, puede intuirse que el l mite de f a la izquierda del 0 es 1. Denicin 1.5.1 Sea f una funcin real denida en un intervalo abierto el cual o o contiene a c, con la posible excepcin de c. o 1. Al valor, si existe, al cual se aproxima f (x), cuando x se aproxima a c por medio de valores estrictamente menores que c, lo llamamos el l mite de f (x) cuando x tiende a c por la izquierda y lo denotamos por l f (x). m
xc
2. Al valor, si existe, al cual se aproxima f (x), cuando x se aproxima a c por medio de valores estrictamente mayores que c, lo llamamos el l mite de f (x) cuando x tiende a c por la derecha y lo denotamos por l + f (x). m
xc
Consecuentemente de la denicin anterior se tiene que o x x = 1, l m = 1, l + x = 0. m l + m x0 |x| x0 x0 |x|
1.5. L IMITES LATERALES
19
La relacin existente entre las nociones de l o mite y l mites laterales de una funcin es dada por el siguiente o Teorema 1.5.2 Sea f una funcin real denida en un intervalo abierto el cual o contiene al punto c, con la posible excepcin de c. o
xc
l f (x) = M l f (x) = l + f (x) = M. m m m

xc xc
Es decir, si tanto el l mite por la derecha como por la izquierda de f existen en el punto c y son iguales, entonces existe el l mite de f y coincide con el valor com n u de los l mites laterales. Pero si los l mites laterales no coinciden, entonces no existe el l mite de f en c. Ejemplos 1.5.3 1. Considere la funcin f cuya grca es: o a
-2
-1 -1
En este caso se observa que

x1+
l f (x) = 1, m
x1
l f (x) = 1. m
x1
Aun cuando los l mites laterales existen, no son iguales. As el l f (x) no m existe. A proposito, el hecho de que f (1) = 1 es irrelevante en la determinacin de la no existencia del l o mite. Por otro lado,
x1+
l f (x) = 1, m
x1
l f (x) = 1. m
As l f (x) existe y es 1. A proposito, el hecho de que f (1) = 1 es irrele, m x1 vante en la determinacin de la existencia del l o mite. Finalmente,
x0+
l f (x) = 0, m
x0
l f (x) = 1. m
De nuevo, los l mites laterales existen y no son iguales. As el l f (x) no m x0 existe. A proposito, el hecho de que f no est denida en 0 es irrelevante en e la determinacin de la no existencia del l o mite.
20
CAP ITULO 1. L IMITES Y CONTINUIDAD 2. Consideremos la funcin denida por o x + 1; f (x) = 0; x 1; En este caso se tiene
x0
si x 0, si 0 < x < 1, si x 1.
a) l f (x) = l x + 1 = 1 m m
x0
c) l f (x) = l 0 = 0 m m
x1 x1
m b) l + f (x) = l + 0 = 0 m
x0 x0
m d) l + f (x) = l + x 1 = 0 m
x1 x1 x1
Por lo tanto, no existe el l mite de f cuando x tiende a 0 y l f (x) = 0. m 1 o mites laterales 3. Consideremos la funcin f (x) = , usando la denicin de l o x 1 es posible mostrar que l m no existe. Para esto inicialmente se observa la x0 x gura a seguir
-1 -1
La grca muestra que esta funcin presenta problemas cuando x est cerca a o a de cero, veamos que sucede con los l mites laterales tanto por derecha como por izquierda. Para valores de x que se aproximan a cero por la izquierda, la funcin es negativa y toma valores arbitrariamente peque os, mientras que o n para valores positivos cercanos a cero la funcin es positiva y toma valores o arbitrariamente grandes. Concluimos entonces que el l mite no existe. En el ejemplo a seguir, se realizan clculos similares a los necesarios para justicar a de manera formal la armacin anterior. Los cuales son simples de imitar. o
1.5. L IMITES LATERALES 4. Recuerde la funcin f (x) = 1/x2 si x = 0 y f (0) = 0. o
21
-2
-1
La grca muestra que f toma valores tan grandes como se quiera en los a puntos cercanos a cero, bien sea por la izquierda o por la derecha, de modo que no tiene l mite a la izquierda ni l mite a la derecha del origen y por lo tanto el l mite cuando x se aproxima a 0 no existe. Para demostrar con rigor que no existe el anterior l mite, mostraremos que no existe el l mite lateral por derecha. Razonando por reduccin al absurdo, supongamos que existe el l o mite por derecha, l + 1/x2 = M y supongamos que M > 0, escojamos = 1, existe m > 0 tal que para x = 0, 0 < x0 < entonces |1/x2 M| < 1, consideremos el intervalo 0 < x < M1 en el cual tenemos que +2 f (x) = 1/x2 > (M + 2)2 > (M + 2), luego 1/x2 M > 2, lo cual es un absurdo debido a que |1/x2 M| < 1. As pues, cualquier intervalo del cero contiene puntos para los que 1/x2 no cumple la desigualdad |1/x2 M| < 1 para este escogido. Luego f no tiene l mite a la derecha de cero. 5. Consideremos la funcin o f (x) = 3; 0; si x = 0, si x = 0.
x0
Para concluir acerca de la existencia del l mite de f en 0. Note que esta funcin o toma el valor constante 3 para todo x, excepto en 0, donde tiene valor 0. Sin embargo los l mites a la derecha y a la izquierda de cualquier punto c son 3, por lo tanto el l mite cuando x tiende a c, existe y es igual a 3. Observemos que el l mite de f en el punto 0 es 3, esto es l f (x) = 3, siendo f (0) = 0. m
x0
22 6. Consideremos la funcin o
f (x) = En este caso se tiene m a) l f (x) = l 2 x = 0 m

x2 x2
2 x, si x < 2 1 2 x, si x 2 2
1 m b) l + f (x) = l + x2 = 2. m x2 2 x2 En consecuencia l f (x) no existe. m

x2
7. Recuerde la funcin valor absoluto o |x| =

x0 x0
x, x,
x0
x0 x<0
x0
En este caso, l + |x| = l + x = 0 = l |x| = l x, luego m m m m

x0
l |x| = 0. m
Ms general, para cada nmero real c, a u (1.11) l |x| = m

xc xc
l x, m
c>0 c<0
xc
l x, m
c, c,
c>0 = |c| c<0
8. Considere la funcin o f (x) = 1, 0, xZ xZ /
En este caso, dado un nmero entero c, u

xc+ xc xc
m m m l f (x) = l + 0 = l f (x) = l 0 = 0 m
xc
En esta seccin se introdujo la nocin de l o o mite lateral de una funcin f (x), es decir o l mite cuando la variable x tiende a un n mero c bien sea por valores mayores o u menores que c. Al igual que la denicin de l o mite antes presentada, esta denicin no involucra a f (a), incluso a puede no estar en el dominio de la funcin. La o o existencia y similitud en sus valores de los l mites laterales para una funcin en un o punto a, garantiza la existencia del l mite en dicho punto, y viceversa la exsitencia del l mite garantiza la existencia de los l mites laterales y la igualdad de sus valores;
1.5. L IMITES LATERALES
23
sin embargo, en ocasiones encontramos funciones para los cuales los l mites laterales existen pero no coinciden en sus valores, estos ejemplos, aunque poco interesantes como proposito de estudio, ejemplican situaciones reales y deben considerarse pues muestran casos de la no existencia del l mite. Pese a lo simple e intuitivo de estas observaciones, nos reiteramos en stas ya que es importante que el estudiantes e identique todas las condiciones y posibles situaciones que se presentan al abordar la nocin de l o mite, puesto que sobre esta nocin se fundamentan otros importano tes conceptos tratados en el clculo como son la continuidad y la diferenciacin de a o funciones.
24
1.6.
L mite de funciones trigonomtricas e
En esta seccin vamos a considerar y establecer la existencia de algunos l o mites de funciones trigonomtricas, en particular el l e mite sen(t) . t0 t Para esto son necesarios algunos preliminares que desarrollamos a seguir. l m
1.6.1.
Funciones trigonomtricas e
En el plano cartesiano, al rotar una semirecta sobre su origen se obtiene un angulo, la posicin inicial de la semirecta se llama lado inicial del ngulo, la posicin o a o de la semirecta despus de efectuado el giro se llama lado terminal. e P P s Q
Q O O
En matemticas generalmente los ngulos se miden en grados, por ejemplo 360 a a grados es la medida para un ngulo obtenido por una revolucin completa. Otra a o unidad com n para medir los ngulos es el radin. Sea P OQ el ngulo que aparece u a a a en la gura anterior. Para medir su tama o en radianes, se realiza lo siguiente: Se n traza un c rculo con centro en O y radio r el cual es interceptado por el ngulo en a un arco de longitud s. El cociente s/r ser la medida del ngulo, y se dice que el a a ngulo mide s/r radianes. El radin como medidad de un ngulo, no depende del a a tama o del c n rculo. La longitud de una circunferencia de radio r es el n mero 2r, en que es un u n mero irracional cuyo valor aproximado es 3,14; por lo tanto, la medida en radianes u para un ngulo obtenido por una revolucin completa es a o 2r s = = 2, r r es decir, la medida en radianes para un ngulo de 360 grados es 2 radianes. De a aqu que un ngulo obtenido por medio giro cuya medida en grados es 180 tenga a medida en radianes igual a . Consecuentemente tenemos la siguiente observacin. o
1.6. L IMITE DE FUNCIONES TRIGONOMETRICAS
25
Observacin 1.6.1 o 1. Para convertir grados a radianes y viceversa empleamos la siguente proporcin: o Radianes Grados = 180 O sea, para pasar de grados a radianes multiplicamos la medida del ngulo en a grados por 180 ; y para pasar de radianes a grados multiplicamos la medida del a ngulo en radianes por 180 . Por ejemplo para calcular la medida en radianes de un ngulo de 45 grados a 45 = 180 4 Igualmente, calculemos la medida en grados de un ngulo /6 radianes a Radianes = Grados = 180 = 30 6
2. En el c rculo unitario, i.e., el c rculo cuyo radio es 1, la expresin = s/r o es = s/1 = s. En tal caso, la longitud del arco intersecado por el ngulo es a igual a la medida del ngulo en radianes. a 1
Consecuentemente, para cada nmero real > 0 con la ayuda del c u rculo unitario es posible tener un ngulo cuya medida en radianes sea . A saber, se a ubica lo largo del eje x positivo el lado incial del ngulo deseado. Para dibujar a el segundo lado, se va alrededor del c rculo unitario en direccin contraria a la o de las manecillas del reloj un arco de longitud . Para el caso en el que < 0, al dibujar el lado nal, se va en el sentido de las manecillas del reloj un arco de longitud ||. Cuando un ngulo se presenta en la posicin descrita encima, es decir, su a o lado inicial sobre el eje positivo x, el lado terminal en cualquier cuadrante del plano cartesiano y su vrtice es el origen, decimos que el ngulo se encuentra e a en posicin estndar. En la siguiente gura se muestra un par de ngulos o a a en posicin estndar, un cuya medida es mayor que 2 y otro cuya medida es o a menor que 0.
26 mayor que 2
CAP ITULO 1. L IMITES Y CONTINUIDAD negativo
En la siguiente gura se presentan los puntos sobre el c rculo unitario que pertenecen al lado terminal de los ngulos positivos ms comunes, a a
2
3 4 5 6
2 3
120
90
60
135 150
45
30
180 7 6 210 225 240 54 4 3
0 0 360 2 330 11 315 6 300 74 53
90 3 2
Denicin 1.6.2 (Funciones Trigonomtricas) Para cada nmero real , el seno y o e u el coseno de se denen como sigue: En el c rculo unitario trace en posicin estadar o el ngulo de medida en radianes. Denote por P el punto de interseccin del lado a o nal con el c rculo unitario. 1. La primera coordenada del punto P o la abscisa del punto P se llama el coseno de y se denota por cos , 2. La segunda coordenada del punto P o la ordenada del punto P se llama el seno de y se denota por sen .
27
Un soporte grco de la denicin presentada encima aparece en el siguiente diaa o grama, el cual es la base de la trigonometr Una buena familiaridad con ste, ayua. e dar tanto al clculo de algunos valores asumidos por las funciones trigonomtricas, a a e como al entendimiento de las propiedades elementales satisfechas por stas y que e presentaremos en breve.
sen
P cos , sen
cos
(1, 0)
Ejemplos 1.6.3
1. Para los ngulos /2, /2 se tiene a

(0, 1)
2
(0, 1)
cos = 0, sen = 1 2 2
cos = 0, sen = 1 2 2
Observese que los lados terminales de los ngulos en la gura anterior coincide a respectivamente con los lados terminales de los ngulos a 5 , 9 , 13 , . . . 2 2 2 Por lo tanto, tenemos las siguientes igualdades las cuales tienen su anlogo a para los ngulos negativos, con valores 0 para la funcin coseno y 1 para la a o
28 funcin seno o cos 5
= cos 9 = cos 13 = 0, sen 5 = sen 9 = sen 13 = 1 2 2 2 2 2 2
2. Para los ngulos , se tiene a
(1, 0)
(1, 0)
cos = 1, sen = 0
cos () = 1, sen () = 0
Como consecuencia de la observacin (1.6.1) se tiene que el dominio de las o funciones seno y coseno es el conjunto de los n meros reales. Adems, si (x, y) es un u a punto del c rculo unitario entonces, |x| 1, |y| 1; por lo tanto, la imagen de cada una de estas funciones es el intervalo cerrado [1, 1], es decir 1 sen 1, 1 cos 1. Algunas de las propiedades de las funciones seno y coseno pueden deducirse por inspeccin de las siguientes guras. o
(cos , sen )
(cos () , sen ())
+ 2
29
En efecto, inspeccionando el c rculo unitario en la primera gura se puede concluir que cos = cos () , sen = sen () ,
es decir, la funcin coseno es una funcin par y la funcin seno es una funcin impar. o o o o Usando el teorema de Pitgoras se puede concluir que los nmeros cos , sen se a u relacionan por la identidad (1.12) cos2 + sen2 = 1. Por otro lado, inspeccionando la segunda gura se concluye que, un cambio de 2 en cualquier ngulo lleva al mismo punto sobre el c a rculo unitario, luego cos ( + 2) = cos , sen ( + 2) = sen . Es decir, tanto la funcin seno como la funcin coseno se repiten a cada 2 radianes. o o Ejemplos 1.6.4 1. Para el ngulo /4 a cos = sen , en efecto, estas son las 4 4 longitudes de los catetos del tringulo a rectngulo OP Q el cual es issceles. a o La identidad (1.12) implica P O Q As , cos2 1 = 4 2
1 . 2
1 = cos2
+ sen2 = 2 cos2 4 4 4
Por lo tanto, cos = sen = 4 4
Como consecuencia de la simetr en el c a rculo unitario, es posible obtener las coordenadas de los puntos para los cuales el ngulo es igual a 3 , 5 , 7 . a 4 4 4
1 1 2 , 2 1 1 , 2 2
1 1 2 , 2
1 1 , 2 2
30 es decir,
1 cos 3 = 2 , sen 3 = 4 4
1 2
cos 7 = 4 2. Para el ngulo /3 a
1 1 cos 5 = 2 , sen 5 = 2 4 4 1 , 2 1 sen 7 = 2 4
P R O Q
El tringulo OP R es equiltero, por lo a a tanto, el pie de cada altura est ubia cado en el punto medio del respectivo lado, es decir, Q, es el punto medio del lado OR cuya longitud es 1, lue1 go |OQ| = cos = 2 . En que |OQ| 3 denota la longitud del segmento OQ. Empleando (1.12) se obtiene sen2 1 3 = 1 cos2 = 1 = 3 3 4 4
3 . 2
por lo tanto, sen = 3
Por la simetr del c a rculo unitario se obtienen las coordenadas de los puntos para los ngulos 2 , 4 , 5 . a 3 3 3 1, 2
3 2
1 , 23 2
1 , 23 2
1 , 23 2 3 2
es decir,
1 cos 2 = 2 , sen 2 = 3 3
1 cos 4 = 2 , sen 4 = 3 3 1 cos 5 = 2 , 3
sen 5 = 3
3 2 23
Finalizamos este breve repaso sobre trigonometr elaborando las grcas de a a las funciones seno y coseno. Para esto es suciente gracar ambas funciones slo o
31
para valores comprendidos en el intervalo [0, 2], y despus repetir dichas porciones e de grca en intervalos de longitud 2 a lo largo de eje x. Las siguientes grcas son a a de utilidad + (cos , sen ) (cos , sen ) (1, 0) (cos , sen ) + (cos , sen )
(0, 1)
+ + (cos , sen )
Como consecuencia de la grca anterior y los ejemplos calculados se tienen a las siguientes tablas
0
4 3 2
cos 1
1 2 1 2
5 4 3 2 2
cos 1 1 2 0 1
varia de cos va de cos es 0a 2 1a0 decreciente 0 a 1 decreciente a 2 a 3 1 a 0 creciente 2 3 2 a 2 0a1 creciente
Con base a todos estos datos un bosquejo de la grca de la funcin coseno es: a o
43
|
5 3 4 2
32
CAP ITULO 1. L IMITES Y CONTINUIDAD Repitiendo la porcin de grca anterior, por intervalos de longitud 2 se tiene o a
1 2 3 2 2 0 1
2
cos 3 2 2
Un procedimiento similar permite obtener la grca de la funcin sen a o
1 2 3 2 2 0 1
2
sen 3 2 2
Observamos que las funciones seno y coseno no son inyectivas, sin embargo, al considerar la funcin coseno restringida al intervalo [0, ] sta es inyectiva; igualmente o e la funcin seno restringida al intervalo [/2, /2] es inyectiva. Por lo tanto, estas o funciones son invertibles cuando son consideradas sobre dichos intervalos. Denicin 1.6.5 (Funcin Tangente) Dado un nmero real , tal que cos = 0, la o o u tangente de se dene como sen tan = cos En la denicin observamos que la funcin tangente es indenida en los valores en o o los cuales la funcin coseno se anula, es decir en = /2, , 3/2, 5/2 . La o funcin tangente es impar o tan () = sen () sen sen = = = tan cos () cos cos
Su grca se presentar ms adelante. a a a Ejemplos 1.6.6 1. tan

4
sen 4 = = 1. cos 4
1.6. L IMITE DE FUNCIONES TRIGONOMETRICAS 2. tan

3
33
sen 3/2 3 = 3. = = cos 3 1/2
Finalizamos este breve repaso sobre trigonometr listando algunas frmulas a, o que son importante para el trabajo con funciones trigonomtricas. e 1. Frmula para la suma y la resta de ngulos: o a a) sen ( ) = sen cos cos sen b) cos ( ) = cos cos sen sen c) tan ( ) = 2. Cofunciones: a) sen b) cos c) tan
2 2 2
tan tan 1 tan tan
= cos = sen = cos sen
Ejemplos 1.6.7 1. sen 2 = sen ( + ) = sen cos + sen cos = 2 sen cos 2. cos 2 = cos ( + ) = cos cos sen sen = cos2 sen2 3. tan (2) = tan ( + ) = tan + tan 2 tan = 1 tan tan 1 tan2
1.6.2.
Teorema de estriccin o
Teorema 1.6.8 Sean f, g y h funciones reales denidas en un intervalo abierto I que contiene a c excepto posiblemente en el punto c y tales que: 1. f (x) g(x) h(x) para todo x I, 2. l f (x) = l h(x) = M. m m
xc xc
Entonces, l g(x) = M. m
xc
34
Demostracin: Sea > 0, a n de obtener el resultado deseado debemos mostrar o que existe un > 0 tal que 0 < |x c| < = |g(x) M| < . Como l f (x) = l h(x) = M, existe un 1 > 0 tal que m m
xc xc
0 < |x c| < 1 = |f (x) M| < o de forma equivalente (1.13) 0 < |x c| < 1 = M < f (x) < M + . 0 < |x c| < 2 = |h(x) M| < o de forma equivalente (1.14) 0 < |x c| < 2 = M < h(x) < M + . 0 < |x c| < = M < f (x) g(x) h(x) < M + . Por lo tanto, o de forma equivalente 0 < |x c| < = M < g(x) < M + 0 < |x c| < = |g(x) M| < . Una interpretacin geomtrica del teorema anterior es la siguiente: o e
Igualmente, existe un 2 > 0 tal que
Sea = m 1 , 2 }, como consecuencia de las ecuaciones (1.13), (1.14) se tiene que n{
h(x) M c g(x)
f (x)
1.6. L IMITE DE FUNCIONES TRIGONOMETRICAS Como aplicacin del teorema anterior mostraremos la existencia del l o mite sen 0 l m Para esto veamos que l cos = 1. En efecto, observando la siguiente grca m a
0
35
(cos , sen ) (1, 0) (1, 0)
(cos , sen )
es posible concluir que a medida que se acerca al ngulo con medida 0 por medio a de ngulos con medida positiva, el valor de cos se aproxima a 1, igualmente, a a medida que se acerca al ngulo con medida 0 por medio de ngulos con medida a a negativa, el valor de cos se aproxima a 1. Es decir,
0+
l cos = l cos = 1, m m
0
por lo tanto
0
l cos = 1 m
sen
P = cos
Tome 0 < < . Con referencia a la 2 gura: el rea del sector circular de radio a cos y ngulo central es: a 1 A1 () = cos2 . 2 El rea del tringulo OP Q es: a a 1 A2 () = sen cos . 2 El rea del sector circular de radio 1 y a ngulo central es: a 1 A3 () = . 2
36
Adems A1 () < A2 () < A3 (), al sustituir se tiene a 1 1 1 cos2 < sen cos < 2 2 2 o equivalentemente (multiplicado por (1.15) cos <
2 cos
> 0) si 0 < <

2
1 sen < , cos
. 2
Por otro lado, si < < 0, se tiene que 0 < < 2 cos () <
y de (1.15),
1 sen () < cos ()
Pero cos () = cos , sen () = sen ; de modo que lo anterior puede escribirse como 1 sen < , si < < 0 (1.16) cos < cos 2 De (1.15) y (1.16) se concluye que sen 1 < , si < < =0 cos 2 2 1 , como consecuencia de la desigualdad (1.17) y Dado que l cos = 1 = l m m 0 0 cos del teorema de estriccin se tiene que o (1.17) cos < (1.18) sen = 1. 0 l m 1. l sen = sen 0 = 0 m
0
Corolario 1.6.9 2. l m
1 cos =0 0
Demostracin: o 1.
0
l sen = l m m
sen ( multiplicamos y dividimos por ) 0 sen l m ( teorema (1.4.2)) = l m 0 0 = 10 ( igualdad (1.18)) = 0
1.6. L IMITE DE FUNCIONES TRIGONOMETRICAS 2.
37
(1 cos ) (1 + cos ) 1 cos = l m ( mult y div por (1 + cos )) 0 0 (1 + cos ) 1 cos2 = l m ( se multiplica ) 0 (1 + cos ) sen2 = l m ( igualdad (1.12)) 0 (1 + cos ) sen sen l m ( teorema (1.4.2)) = l m 0 (1 + cos ) 0 l sen m 0 = 1 ( igualdad (1.18)) l (1 + cos ) m l m
0
= 10 = 0
Ejemplos 1.6.10
1. Calcular l m l m
tan . En efecto, 0
tan 1 sen sen 1 = l m = l m l m =1 0 0 cos 0 0 cos 2. Calcular l m 2 . En efecto, 0 sen 2 0 = l sen = m 0 sen 0 1 l m 3. Calcular l m sen 3 . En efecto, multiplicando y dividiendo por 3 resulta 0 2 3 sen 3 3 sen 3 3 = l m = 0 2 3 2 0 3 2 l m 4. Calcular l m l m cos sen . En efecto, /4 1 tan
cos sen cos sen 1 = l m = l cos = 1/ 2 m /4 1 tan /4 cos sen 1/ cos /4
38 5. Calcular l + m
CAP ITULO 1. L IMITES Y CONTINUIDAD . En efecto, 0 1 cos (1.19) 1 + cos 1 + cos l m = l m = l m 0+ 1 cos 0+ ( 1 cos ) ( 1 + cos ) 0+ 1 cos2 pero 1 cos2 = sen2 = | sen |, dado que 0+ se tiene que sen > 0, consecuentemente | sen | = sen y la igualdad (1.19) se torna 1 + cos 1 + cos 1 l + m = l + m = l + m = = 1. 0 0 sen sen / 1 1 cos 0
1.7.
L mites innitos
En esta seccin estudiaremos funciones cuyos valores crecen o decrecen aro bitrriamente cuando la variable x se aproxima a un determinado valor c. Ejemplos a de este tipo de funciones ya han sido presentados, en 1.5.3. Dada una funcin real racional f (x) = p(x)/q(x), el dominio de f es el conjunto o de los n meros reales en los cuales q(x) no se anula. En la grca de la funcin se u a o 1 analiza el comportamiento cerca de estos puntos. Considere la funcin f (x) = x1 o cuya dominio es el conjunto R \ {1}. A continuacin se calcularn algunos valores o a de la funcin cuando x se aproxima de 1 o
x f (x) = 1/x 1 1,1 10 1,01 100 1,001 1000 1,0001 10000 1,00001 100000
x f (x) = 1/x 1 0,9 10 0,09 100 0,009 1000 0,0009 10000 0,00009 100000
Ntese que cuando la variable x se aproxima de 1 por la derecha (por valores mayores o que 1) el denominador x 1 toma valores cercanos a 0, pero positivos, por esta razn la funcin f (x) asume valores positivos y arbitrriamente grandes. Igualmente, o o a cuando la variable x se aproxima de 1 por la izquierda (por valores menores que 1) el denominador x 1 toma valores cercanos a 0, pero negativos, por esta razn la o funcin f (x) asume valores negativos y arbitrriamente peque os. Debido a esto, es o a n posible escribir 1 1 l + m = +, l m = x1 x 1 x1 x 1
1.7. L IMITES INFINITOS
39
En el caso inicial se dice que f (x) crece sin l mite o tiende a innito cuando x se acerca a 1 por la derecha, en el segundo caso se dice que f (x) decrece sin l mite o tiende a menos innito cuando x se acerca a 1 por la izquierda. Con base a esta informacin, es posible obtener la grca de f , mostrada a seguir. o a
1 -1 1 2
-1
-2
Otro ejemplo importante que fue presentado en el cap tulo anterior es la funcin o 1 a f (x) = x2 . Cuya grca es
y=
1 x2
-2
-1
Ntese que cuando la variable x se aproxima de 0 por la derecha (por valores mayores o que 0) el denominador x2 toma valores positivos cercanos a 0, por esta razn la o funcin f (x) asume valores positivos y arbitrriamente grandes. Igualmente, cuando o a la variable x se aproxima de 0 por la izquierda (por valores menores que 0) el denominador x2 toma valores positivos cercanos a 0; por esta razn la funcin f (x) o o asume valores positivos y arbitrriamente grandes. Debido a esto, es posible escribir a l + m 1 1 = + = l 2 m 2 x0 x x
x0
Estos ejemplos son un prembulo suciente para presentar la denicin formal de a o l mites innitos.
40
Denicin 1.7.1 Sea f una funcin real denida en un intervalo abierto A el cual o o contiene al punto c, excepto en c mismo. 1. Escribimos
xc
l f (x) = m
para signicar lo siguiente: para cada nmero N > 0, es posible encontrar un u nmero real > 0 tal que para todo x A, u (1.20) f (x) > N siempre que 0 < |x c| < La ecuacin (1.20) quiere decir que a medida que la variable x se aproxima de o c, los valores de f (x) crecen sin l mite. 2. Escribimos
xc
l f (x) = m
para signicar lo siguiente: para cada nmero N < 0, es posible encontrar un u nmero real > 0 tal que para todo x A, u (1.21) f (x) < N siempre que 0 < |x c| < La ecuacin (1.21) quiere decir que a medida que la variable x se aproxima de o c, los valores de f (x) decrece sin l mite. Ejemplos 1.7.2 1. Usando la denicin de l o mites innitos, demostrar que
x2
l m
Si N < 0, veamos que existe un > 0 tal que 0 < 2 x < =
1 = . x2 1 < N. x2
Para encontrar tal , usamos la desigualdad x 2 < 0 y N < 0, luego
1 < N. Como x 2 , x2
de este modo, escogemos 1/N. En efecto, si N < 0, sea 0 < 1/N, tal que si 0 < 2 x < 1/N, entonces N(2 x) < 1 N(x 2) < 1 N > Igualmente, es posible mostrar que l + m
x2
1 < N 1 > (x 2)N (x 2) > 1/N 2 x < 1/N, x2
1 = . x2
1 . x2
1.7. L IMITES INFINITOS 2. Calcular

x2
41
l + m
x2 4 x2 (x 2)2 . As
Dado que x 2+ , x 2 > 0; por lo tanto (x 2) =

x2
l + m
x2 4 = x2
(x 2)2 x2 x+2 = l + m x2 x2 x2 x+2 = l + m x2 x2
x2
l + m
(x 2) (x + 2)
Para este ultimo l mite se realiza el siguiente anlisis, dado x 2+ , a que entonces para x prximo y mayor que 2 se cumple 2 < x + 2 y x 2 < x2 o por lo tanto valen las desigualdades 2 2 x+2 < < x2 x2 x2 Usando el ejemplo anterior tenemos que l + m
x2
desigualdades encima permite concluir que 2 x+2 = l + m = . l + m x2 x 2 x2 x2 En efecto, si N > 0, existe un > 0 tal que
2 = , esto junto a las x2
x+2 2 2 0 < x 2 < , = N < < < . x2 x2 x2 3. Consideremos la funcin o f (x) = x . (x 1)(x + 1)
Empleando las tcnicas para resolver desigualdades es simple mostrar e a) f (x) = 0, si x = 0; b) f (x) > 0, si x (1, 0] (1, ); c) f (x) < 0, si x (, 1) [0, 1).
42
CAP ITULO 1. L IMITES Y CONTINUIDAD Vamos a observar que sucede con la funcin f cuando consideramos valores o a la recha de 1. Sabemos que en este caso la funcin es positiva, adems si o a 1 < x < y, se tiene xy + 1 > 0 y adems a 1 < x < y = x(xy + 1) < y(xy + 1) = x2 y + x < y 2x + y = y(x2 1) < x(y 2 1) x y < 2 = 2 y 1 x 1 = f (y) < f (x). Por lo tanto la funcin es decreciente en el intervalo (1, ). Por otro lado, las o mismas desigualdades encima valen cuando se toma 0 < x < y < 1 1 < o x < y < 0, luego en el intervalo (1, 1) la funcin decrece, es positiva en o (1, 0) y es negativa en (0, 1). Igualmente, las desigualdades anteriores son vlidas cuando x < y < 1, es decir la funcin es decreciente en (, 1). a o Con base a esta informacin podemos grcar la funcin o a o
1 -2 -1 1 2
-1
-2
y deducir l f (x) = m l f (x) = m
x1+
x1+
x1
l f (x) = m
x1
l f (x) = m
Un resultado importante sobre l mites innitos es el siguiente Teorema 1.7.3 Si n es cualquier entero positivo, entonces
1.7. L IMITES INFINITOS 1. l + m

x0
43
1 = xn 1 = xn si n es par , si n es impar
2. l + m
x0
Demostracin: En efecto, mostremos el primer inciso. Sea N > 0, debemos encono trar > 0 tal que 1 0 < x < = n > N x o de forma equivalente 1 0 < x < = > xn . N Como n > 0, se tiene se tiene 1 > xn x < N 1 N
1/n
De este modo, la ultima implicacin puede ser escrita como o 0 < x < = x < 1 N
1/n
.
1 1/n . N
Por lo tanto el enunciado es cierto si tomamos =
Vimos en el cap tulo anterior que la regin correspondiente a los puntos del o plano para los cuales su primera componente es constante, es representada por una recta paralela al eje y, ms espec a camente, el conjunto {(a, y) : y r} grcamente a se representa como Esta recta es conformada por todos los puntos del plano cuya primera coordenada es a, es decir, puntos que solucionan la ecuacin x = a en el plano; o sea, eso ta recta tiene por ecuacin precisamente o x = a. Esta ecuacin tambin tiene sentio e do en la recta, all la solucin es el n mero o u a, en el plano su solucin es el conjunto o de puntos gracados, o sea, al hablar de una ecuacin es importante determinar o en dnde se est planteando sta. o a e
44
Denicin 1.7.4 La recta x = a es una as o ntota vertical de la grca de la a funcin f si se cumple alguna de las condiciones a seguir o 1. l + f (x) = m
xa
2. l f (x) = m
xa
Ejemplos 1.7.5
1. En los ejemplos presentados puede observarse que la recta 1 , igualmente la recta x = 1 es una as ntota vertical para la funcin o x1 1 x = 0 es una as ntota vertical para la funcin f (x) = 2 . En general, para o x el caso de funciones racionales, los puntos donde la funcin que aparece en el o denominador se anulan, son los puntos en los cuales se presentan as ntotas verticales.
2. Para la funcin f () = tan() determinemos sus as o ntotas verticales. Esta funcin no est denida en los valores en los cuales la funcin coseno se o a o a anula, es decir es en los multiplos de 2 . En estos puntos estn precisamente las as ntotas verticales.
2
(1, tan )
(1, 0)
(1, 0)
(1, tan )
Ntese en la gura anterior que para cercano de pero menor, tan es posio 2 tivo y toma valores arbitrariamente grandes. Igualmente, para en el segundo cuadrante, es decir < < el valor de tan es negativo, adems para a 2 valores cercanos de 2 y mayores, tan toma valores arbitrariamente grandes. Consecuentemente
+ 2
l tan = , m
l tan = m
De la gura anterior es posible concluir que a medida que theta varia de 0 a /2, la funcin tangente es creciente. Empleando esto junto con el hecho de o
1.8. FUNCIONES CONTINUAS
45
que es un funcin impar, obtenemos la siguiente grca, en la que aparecen o a trazadas las as ntotas verticales en /2, 3/2
y = tan 1 2 3 2 2
2
3 2
3. Cada una de las gura a seguir muestra un trozo de la grca de una funcin a o para la cual la recta x = a es una as ntota vertical.
x=a
x=a
x=a
x=a
xa+
l f (x) = m
xa+
l f (x) = m
xa
l f (x) = m
xa
l f (x) = m
1.8.
Funciones continuas
Vamos a estudiar el concepto de continuidad , el cual aparece como hiptesis o fundamental en los principales teoremas del clculo. La denicin de este concepto a o se realiza apoyados en el de l mite de funciones. Una intuicin geomtrica de funcin o e o
46
real continua, es que su grca pueda ser dibujada en el plano cartesiano sin levantar a la mano, es decir, de un solo trazo. Por lo tanto, dicha grca no presenta interrupa ciones, en que por interupciones entendemos un hueco o un salto. Para comprender estas ideas es conveniente observar el siguiente dibujo La grca de la funcin se rompe en los a o puntos x = 1, 1, 2. Dicha ruptura se presenta bajo diferentes condiciones. En x = 1, no exite el l mite pues
x1
l f (x) = 2 = l + f (x) = 1. m m
x1 x1 x1
m En x = 1, l f (x) = l + f (x) = 1, m
-2 -1 -1 1 2
pero este valor es diferente de f (1) = 2. En x = 2,

x2
-2
m l f (x) = l + f (x) = 2, m
x2
pero la funcin no est denida en 2. o a
1.8.1.
Continuidad de una funcin en un punto o
Al mirar con cuidado la grca anterior y los comentarios al respecto, es posible a deducir intuitivamente condiciones que permitirn denir la nocin de funcin cona o o tinua en un punto con mayor claridad y precisin. A saber, se requiere la existencia o del l mite en dicho punto y que tal l mite coincida con el valor de la funcin en el o mismo. Denicin 1.8.1 Una funcin real f es continua en x = a si y solamente, se o o satisfacen las siguientes condiciones 1. f (a) existe; 2. l f (x) existe; m
xa
3. l f (x) = f (a) m
xa
Si una o ms de estas tres condiciones no se cumple en el punto a, decimos que la a funcin f es discontinua en a. o
47
En la grca se tiene que la funcin es discontinua en x = 1, 1, 2 en el primer caso a o no existe el l mite, en el segundo caso, el l mite existe en el punto x = 1 pero su valor es diferente al de la funcin en tal punto, en el caso nal, la funcin no est denida o o a en x = 2. Observacin 1.8.2 o 1. Las condiciones impuestas en la denicin de continuio dad en un punto pueden resumirse slo en la siguiente: la funcin f es continua o o en el punto a si, y solamente si, l f (x) = f (a). m
xa
2. Para funciones denidas en intervalos del tipo (a, b) no se presenta dicultades a la hora de considerar el l mite, ya que para cada c (a, b) hay puntos en tal intervalo tanto a izquierda como a derecha de c y tan prximos de ste como o e se desee. Sin embargo, para funciones denidas en intervalos del tipo [a, b) se presentan dicultades en el punto a, puesto que no es posible aproximarse a dicho punto por valores a su izquierda. Por lo tanto, al considerar la continuidad en este punto consideramos slo el l o mite a derecha de a; siendo as , en la denicin de continuidad en un punto, de ser posible puede escribirse o m m l + f (x) = f (a), o l f (x) = f (a) en lugar de l f (x) = f (a). En estos m casos, se dice que la funcin f es continua a derecha o la funcin f es o o continua a izquierda del punto x = a. 3. Suponiendo que una funcin f es discontinua en un punto x = a y que l f (x) o m
xa xa xa xa
existe. Entonces f (a) no existe, o bien f (a) = l f (x). En este caso, se dice m xa que la discontinuidad es removible o evitable. Pues f puede redenirse en x = a de modo que su valor sea igual a l f (x). Las discontinuidades que no m xa son removibles, se llaman discontinuidades esenciales. Ejemplos 1.8.3 ciones. 1. En las siguientes guras se pueden observar diversas situa-

-1 1 1
-1
En el caso inicial, en x = 1 hay una discontinuidad esencial, sin embargo, esta funcin es continua a la derecha de x = 1 pues l + f (x) = 1 = f (1). o m
x1
48
CAP ITULO 1. L IMITES Y CONTINUIDAD En el segundo caso, en x = 1 hay una discontinuidad removible, adems la a funcin presenta discontinuidades a ambos lados de esta punto puesto que o l + f (x) = l f (x) = 1 = 2 = f (1); sin embargo, para reparar esta sim m
x1 x1
tuacin basta con redenir f (1) = 1. En este caso la grca resultante es o a
0 1
-1
La demostracin del siguiente resultado es consecuencia directa del teorema 1.4.2. o Teorema 1.8.4 Si f, g son funciones continuas en un punto a, entonces 1. f +g es continua en a. La suma de funciones continuas es una funcin continua o 2. f g es continua en a. La resta de funciones continuas es una funcin continua o 3. f g es continua en a. El producto de funciones continuas es una funcin o continua 4. f /g es continua en a, si g(a) = 0. El cociente de funciones continuas es una funcin continua. o Observacin 1.8.5 Observe las funciones o f (x) = x x [1, 1] g(x) = 0 x [1, 1] / 0 x [1, 1] x x [1, 1] /
Para cada x R, (f + g) (x) = x. Por lo tanto, la funcin suma es una funcin o o continua en cada nmero real pues u
xc
l (f + g) (x) = l x = c, m m
xc
pero observe que tanto la funcin f , as como la funcin g son discontinuas en los o o puntos x = 1, 1, a saber
x1+
m m m l f (x) = l + 0 = 0 = 1 = l f (x) = l x m
x1 x1 x1
es decir no existe el l mite l f (x). De forma anloga, no existe el l m a mite l g(x). m x1 x1 Esto prueba la armacin referente a las discontinuidades. O sea, si la suma de o dos funciones es una fucnin continua en un punto a, no necesariamente cada una o
49
de las funciones es continua en a; lo que arma el resultado encima es que si dos funciones son continuas en alg n punto a, entonces su suma es una funcin continua u o en a. Esto tambin ejemplica la situacin del teorema 1.4.2, el cual arma que si e o existen los l mites de dos funciones f, g en un punto a, entonces existe el l mite de la suma f + g en dicho punto y su valor es la suma de los l mites. Sin embargo, la existencia del l mite de la funcin f + g en algn punto a no garantiza la existencia o u de los l mites para la funcin f ni para la funcin g en el punto a. Como sucedi en o o o este ejemploen x = 1. Ejemplos 1.8.6 Con base a los ejemplos presentados en 1.3.3 y 1.4.4 se tiene 1. Para cada c 0 la funcin ra cuadrada es continua, en efecto hemos moso z trado que l m x = c.
xc
Observese que en el punto c = 0 est en el dominio de la funcin, pero no hay a o puntos a la izquierda de 0 que pertenezcan al dominio de la misma, por lo tanto, para este punto estamos hablando de continuidad a derecha ya que olo es s posible aproximarse de cero por valores positivos. Adems, l + x = 0 = 0. a m
x0 1 2. Para cada c = 0, la funcin f (x) = x es continua en c, en efecto hemos o mostrado que 1 1 l m = . xc x c
3. Las funciones polinomiales son continuas en todo nmero. Puesto que para u cada nmero c se tiene que u
xc
l an xn + an1 xn1 + + a1 x + a0 = an cn + an1 cn1 + + a1 c + a0 . m
Ms general, toda funcin racional es continua en cada punto de su dominio. a o 4. Vimos que para cada nmero real c u l |x| = m
xc xc
l x, m
c>0 c<0
xc
l x, m
c, c,
c>0 = |c| c<0
Por lo tanto, la funcin valor absoluto es continua en cada nmero real. o u 5. En la seccin de l o mites de funciones trigonomtricas vimos que e
x0
l sen x = sen 0 = 0, l cos x = cos 0 = 1, m m

x0
50
CAP ITULO 1. L IMITES Y CONTINUIDAD es decir las funciones seno y coseno son continuas en x = 0, esto pede ser extendido a cualquier nmero real, es decir, las funciones seno y coseno son u continuas en cada nmero real. O sea, para cada nmero real c vale u u
xc
l sen x = sen c, l cos x = cos c. m m

xc
En virtud del corolario 1.4.3, esto es equivalente a mostrar que l sen (t + c) = sen c, l cos (t + c) = cos c. m m
t0 t0
En efecto, para mostrar esto empleamos las frmulas para la suma y la resta o de ngulos, a sen (t + c) = sen t cos c + sen c cos t, cos (t + c) = cos t cos c sen t sen c. Calculando se obtiene m l sen (t + c) = l (sen t cos c + sen c cos t) m
t0 t0
= l sen t l cos c + l cos t l sen c m m m m

t0 t0 t0 t0
= 0 cos c + 1 sen c = sen c.

t0
Del mismo modo, es mostrado que l cos (t + c) = cos c. m 6. Consecuentemente, la funcin tangente es continua en todos lo puntos de su o dominio.Pues es el cociente de funciones continuas. A pesar de que la nocin de funcin continua se presenta a partir de l o o mites, los teoremas acerca de funciones continuas son de utilidad para calcular algunos l mites. Para esto recordamos algunas nociones referentes a la composicin de funciones. o Dadas funciones f, g, la funcin compuesta, denotada por f g, es denida por o (f g) (x) = f (g(x)) el dominio de f g consiste de los elementos del dominio de la funcin g tales que g(x) o es un elemento del dominio de la funcin f . Empleando la nocin de continuidad es o o posible calcular l mites para funciones compuestas, ms espec a camente se tiene Teorema 1.8.7 Sean f, g funciones. Si f es continua en el punto b y l g(x) = b, m xa entonces l (f g) (x) = l f (g(x)) = f l g(x) = f (b). m m m
xa xa xa
En otras palabra, este teorema lo que arma es que las funciones continuas dejan ingresar el l mite en sus argumetos.
51
Demostracin: La continuidad de la funcin f en b implica que l f (x) = f (b). o o m Por tanto, dado > 0, es posible encontrar 1 > 0, tal que (1.22)
xa xb
0 < |y b| < 1 = |f (y) f (b)| < .
Como l g(x) = b, para cada 1 es posible encontrar un 2 , tal que m (1.23) 0 < |x a| < 2 = |g(x) b| < 1 .
De este modo, si tomamos = 2 , se tiene en virtud de (1.23) que si 0 < |x a| < , entonces |g(x) b| < 1 . Consecuentemente, de (1.22) (con g(x) en lugar de y) resulta |f (g(x)) f (b)| < . O sea, para cualquier > 0, es posible encontrar un > 0 tal que 0 < |x a| < = |f (g(x)) f (b)| < . Esto muestra el resultado deseado. Corolario 1.8.8 Como consecuencia del teorema anterior y de la continuidad de la funcin x se tiene una prueba para el o 1 tem 6 en el teorema 1.4.2. En efecto, si 1 1 h(x) = x entonces (h g) (x) = h (g(x)) = g(x) . Por lo tanto
xc
l m
1 1 = l (h g) (x) = l h (g(x)) = h l g(x) = m m m xc xc xc g(x) l g(x) m

xc
Finalmente el resulatdo se sigue de aplicar la propiedad del tem 5, as l f (x) m 1 1 f (x) 1 = l f (x) m = l f (x) l m m = l f (x) m = xc xc g(x) xc xc g(x) xc g(x) xc l g(x) m l g(x) m l m
xc xc
Corolario 1.8.9 Como consecuencia del teorema anterior y de la continuidad de la funcin ra cuadrada se tiene una prueba para el segundo tem en el teorema 1.4.5 o z para el caso n = 2, es decir, si l f (x) = L, entonces m
xa
xa
l m
f (x) =
xa
l f (x) = m
L.
Una prueba de este resultado en el caso general, requiere inicialmente mostrar el primer tem del mismo teorema, es decir necesitamos probar la continuidad de la funcin ra n-sima. Esto ser planteado en los ejercicios al nal del cap o z e a tulo, con una serie de sugerencias para resolverlo.
52
Corolario 1.8.10 Sean f, g funciones. Si la funcin g es continua en a y la funcin o o f es continua en g(a), entonces la funcin compuesta f g es continua en a. o Demostracin: o
xa
l (f g) (x) = l f (g(x)) = f l g(x) = f (g(a)) . m m m

xa xa
Ejemplos 1.8.11 1. Si f (x) = f g se dene como su dominio es el conjunto
x, g(x) = 9x2 , entonces la funcin compuesta o 9 x2 ,
f g(x) = f (g(x)) = f (9 x2 ) =
Dom(f g) = {x R : 0 9 x2 } = {x R : 3 x 3}. Esta funcin es continua en cada elemento de su dominio, ya que es la como posicin de funciones continuas en cada elemente del conjuntoanterior. En los o puntos 3, 3, tenemos continuidad a la izquierda y a la derecha respectivamente. x2 1 , g(x) = |x|, entonces la funcin compuesta f g se dene o 2. Si f (x) = 4x como |x|2 1 f g(x) = f (g(x)) = f (|x|) = , 4 |x| su dominio es el conjunto Dom(f g) = {x R : 0 x2 1 0 < 4 |x|} = (4, 1] [1, 4). Esta funcin es continua en cada elemento de su dominio, ya que es la como posicin de funciones continuas en tal conjunto. o
1.8.2.
Continuidad de una funcin en un intervalo o
En la seccin anterior se estableci la continuidad de una funcin en un punto o o o de su dominio. Este concepto puede extenderse de manera natural para todos los puntos de su dominio. A saber, inicialmente se tiene la siguiente denicin. o Denicin 1.8.12 Sea f una funcin real cuyo dominio es un intervalo abierto, o o o est constituido por intervalos abiertos. Entonces f es una funcin continua si es a o continua en cada punto de su dominio.
53
1 Ejemplos 1.8.13 La funcin est denida en el intervalo abierto A = (0, ). o a x Esta funcin es continua, puesto que es el cociente de dos funciones que son contio nuas en cada elemento de A. Empleando los conceptos de continuidad a derecha e izquierda puede denirse la nocin de funcin continua en un intervalo cerrado o semi-abierto. La diferencia o o de este caso con el de continuidad sobre un intervalo abierto es la presencia de los extremos en los intervalos semi-abiertos y cerrados. Como ya comentamos antes, para intervalos del tipo (a, b) no se presentan dicultades a la hora de considerar el l mite de una funcin en cualquier punto de este intevalo; sin embargo, para o funciones denidas en intervalos del tipo [a, b) se presentan dicultades en el punto a, puesto que no es posible aproximarse de dicho punto por valores a la izquierda del mismo. Por lo tanto, al considerar la continuidad en este punto consideramos el l mite a derecha de a. Ms espec a camente se tiene la siguiente Denicin 1.8.14 Sea f una funcin real cuyo dominio es un intervalo cerrado o o [a, b]. Entonces f es una funcin continua en el intervalo [a, b] si, y solamente si, es o una funcin continua en el intervalo abierto (a, b), a la derecha del punto a y a la o izquierda del punto b. De igual orma se dene la nocin de continuidad para el caso de funciones denidas o en intervalos semi-abierto. Retomando los ejemplos anteriores se tiene o 1. Para f (x) = 9 x2 , el dominio es [3, 3]; y vimos que la funcin es continua en su dominio, a saber para c (3, 3)
xc
l m
9 x2 =
xc
l 9 x2 = m
9 c2 = f (c),
x3
l + m
9 x2 = 9 x2 =
x3+
l 9 x2 = m
x3
9 (3)2 = 0 = f (3), 9 (3)2 = 0 = f (3). , es una funcin continua en o
x3
l m
l 9 x2 = m
2. Un anlisis similar muestra que f (x) = a su dominio (4, 1] [1, 4).
|x|2 1 4 |x|
3. Considere la funcin denida en el intervalo cerrado [3, 3] y dada por la o
54 grca a

-3 -2 -1 -1 1
Esta funcin no es continua en el intervalo cerrado [3, 3], pues no es continua o en el intervalo abierto (3, 3) ya que es discontinua en x = 1; adems, no a es cotinua a la izquierda de x = 3, pues l f (x) = 1 = 2 = f (3). Sin m
x3
embargo, f es continua sobre el intervalo semi-abierto [3, 1) y no lo es en el cerrado [3, 1], ya que no es una funcin continua a la izquierda de x = 1. o Igualmente f es una funcin continua en el intervalo semi-abierto [1, 3) y no o lo es en el cerrado [1, 3] ya que no es continua a la izquierda de 3. La importancia de la nocin de continuidad de una funcin en un intervalo se o o har ms evidente a medida que se avanza en el estudio del clculo. Esta proa a a piedad es una hiptesis en muchos de los teoremas esenciales del clculo. A seguir o a presentamos uno de stos, el Teorema del valor intermedio. e Teorema 1.8.15 (Teorema del valor intermedio) Si f es una funcin continua en o el intervalo cerrado [a, b] y si f (a) = f (b), entonces f asume todos los valores comprendidos entre f (a) y f (b), ms espec a camente, para cada nmero k entre u f (a) y f (b) es posible encontrar un nmero c [a, b] tal que f (c) = k. u Una intuicin geomtrica es que el teorema anterior establece que cada recta o e horizontal comprendida entre f (a) y f (b) corta al menos una vez la grca de la a funcin. La siguiente gura puede ser de utilidad para generar una idea intuitiva del o resultado anterior. f (b) k y=k k f (a) a cb f (a) a b y=k f (b)
55
La gura anterior muestra los casos en que para el valor de k entre f (a) y f (b) hay uno o varios posibles c entre a y b que asumen el valor de k por la funcin f . A o seguir observamos que la continuidad es una hiptesis fundamental en el teorema. o En efecto, considere la funcin denida por la grca o a
-1
La funcin es discontinua en el punto x = 1, adems si tomamos k = 1,5 no hay o a ning n c en el intevalo cerrado [1, 2] cuya imagen por f sea k. u Como consecuencia del teorema del valor intermedio se tiene los siguientes resultados. Corolario 1.8.16 (Teorema del cero intermedio) Si f es una funcin continua en el o intervalo cerrado [a, b] y si f (a) y f (b) tienen signos opuestos, entonces f es posible encontrar un nmero c [a, b] tal que f (c) = 0. u Demostracin: La funcin f satisface las condiciones del teorema del valor intero o medio, como f (a) y f (b) tienen signos contrarios, se tiene que k = 0 est entre estos a valores, por lo tanto, existe un c [a, b] tal que f (c) = k = 0. Corolario 1.8.17 (Teorema del punto jo) Si f es una funcin continua en el o intervalo cerrado [0, 1] y a valores en el mismo intervalo [0, 1], entonces existe un c [0, 1] tal que f (c) = c. Demostracin: Si f (0) = 0 f (1) = 1 no tenemos nada que demostrar. Si f (0) = 0 o o y f (1) = 1 consideramos la funcin g(x) = f (x) x. Esta funcin es continua o o pues f lo es y la aplicacin x tambin lo es; por lo tanto g(0) = f (0) 0 > 0, o e adems g(1) = f (1) 1 < 0, por lo tanto g(0) y g(1) tienen signos opuestos, como a consecuencia del corolario anterior se tiene que existe un c [0, 1] tal que g(c) = 0, pero g(c) = f (c) c, luego f (c) = c. Ejemplos 1.8.18 1. Sea f (x) = 2 + x x2 . Esta funcin es continua en el o intervalo [0, 3], adems f (0) = 2 y f (3) = 4, por lo tanto, el teorema del valor a intermedio garantiza que para cada valor k entre 4 y 2, existe un nmero u c [0, 3] tal que f (c) = k. De este modo, para k = 1 es posible determinar
56
CAP ITULO 1. L IMITES Y CONTINUIDAD el valor de c. A saber, se requiere resolver la ecuacin f (c) = 2 + c c2 = 1, o bajo la condicin de que c [0, 3]. O de forma equivalente, c2 c 1 = 0, con o c [0, 3]. Empleando la frmula general para resolver ecuaciones de segundo o grado se tiene que (1) (1)2 4(1)(1) 1 5 c= = 2(1) 2 empleando la condicin c [0, 3] determinamos que el valor es c = 1+2 5 . o Igualmente para k = 0, es posible determinar el valor de c, tal que f (c) = 0. A saber, para esto se requiere resolver la ecuacin f (c) = 2 + c c2 = 0, bajo o la condicin de que c [0, 3]. De nuevo empleando la frmula general para o o resolver ecuaciones de segundo grado se tiene que (1) (1)2 4(1)(2) 2 1 9 1 3 c= = = = 2(1) 2 2 1 emplenado la condicin c [0, 3] determinamos que el valor es c = 1. o 2. La funcin f (x) = x3 6x + 3 es continua sobre toda la recta en particular lo o es en el intervalo cerrado [5, 5]. Por otro lado, f (5) = 98 y f (5) = 152. Como consecuencia del teorema del cero intermedio sabemos que existe un nmero c [5, 5] tal que f (c) = 0, pero determinar este valor puede no ser u una tarea sencilla. Sin embargo, un anlisis ms detallado permite determinar a a la ubicacin ms exacta para este valor y para todas las posibles soluciones o a de la ecuacin f (x) = 0. A saber, f (5) = 152 < 0 y f (0) = 3 > 0, por o lo tanto el mismo teorema garantiza la exitencia de un valor c1 [5, 0] tal que f (c1 ) = 0. Igualmente, f (0) = 3 > 0 y f (1) = 2 < 0, por lo tanto existe un nmero c2 [0, 1] tal que f (c2 ) = 0; nalmente f (1) = 2 < 0 y u f (5) = 98 > 0 luego existe un valor c3 [1, 5] tal que f (c3 ) = 0. Es decir, el teorema del cero intermedio sirve para delimitar los posibles valores de c para los cuales f (c) = 0 y no para calcular tales valores. 3. El teorema del punto jo no es vlido si el intervalo en cuestin no es cerrado. a o En efecto, la funcin f (x) = x es claramente continua en el intervalo abierto o 2 (0, 1), pero no hay ningn elemento c (0, 1) para el cual f (c) = c; en efecto, u c esta igualdad equivale con 2 = c lo que implica que c = 0, pero 0 (0, 1). /
1.9.
L mites al innito
En la seccin (1.7) hemos estudiado el caso de los l o mites innitos de funciones. Estos son el resultado de un crecimiento o un decrecimiento arbitrario de los valores
1.9. L IMITES AL INFINITO
57
1 Considere la funcin f (x) = x1 cuya dominio sabemos es el conjunto R \ {1}. o A continuacin se calcularn algunos valores de la funcin cuando x asume valores o a o grandes en valor absoluto.
asumidos por la funcin a medida que la variable independiente se aproxima a un o determinado valor. Pasamos ahora al estudio de los l mites en el innito, la idea ahora es conocer el comportamiento de los valores de f (x) cuando la variable x toma valores positivos o negativos arbitrriamente grandes en valor absoluto. Esto a se escribe como x , x .
x 101 1001 10001 100001 1000001
f (x) = 1/x 1 102 = 0,01 103 = 0, 001 104 = 0,0001 105 = 0,00001 106 = 0,00001
x 99 999 9999 99999 999999
f (x) = 1/x 1 102 = 0,01 103 = 0,001 104 = 0,0001 105 = 0,00001 106 = 0,00001
Ntese que cuando la variables x asume valores positivos o negativos muy o grandes en valor absoluto, el denominador x 1 asume valores positivos o negativos grandes en valor absoluto, por esta razn el cociente asume valores arbitrriamente o a peque os. Debido a esto decimos que f (x) tiende a cero cuando x tiene a innito n (resp. menos innito) y es posible escribir 1 1 = 0 = l m . x x 1 x x 1 l m Sin ms prembulos presentamos la denicin de l a a o mites en el innito. Denicin 1.9.1 o 1. Sea f una funcin real denida en un intervalo del tipo o (a, ). Escribimos l f (x) = M m
x
para signicar lo siguiente: para cada nmero real > 0, es posible encontrar u un nmero real N > 0 tal que u x > N = |f (x) M| < La implicacin encima quiere decir que a medida que la variable x crece los o valores de f (x) se aproximan de M. 2. Sea f una funcin real denida en un intervalo del tipo (, a). Escribimos o
x
l f (x) = M m
58
CAP ITULO 1. L IMITES Y CONTINUIDAD para signicar lo siguiente: para cada nmero real > 0, es posible encontrar u un nmero real N < 0 tal que u x < N = |f (x) M| < La implicacin encima quiere decir que a medida que la variable x decrece los o valores de f (x) se aproximan de M.
Grcamente l f (x) = M1 , l f (x) = M2 se interpreta como a m m

x x
y = M1
y = M2
Observacin 1.9.2 o 1. Para el caso de l mites en el innito tambin se tienen e resultados anlogos a los que aparecen en el teorema 1.4.2. Ms espec a a camente se tiene: Si k es una constante, f, g funciones reales. Suponiendo que l f (x), l g(x) son nmeros reales. Entonces m m u
x x
a) l k = k m
x
b) l x = m
x
c) l m f (x) g(x) = l f (x) l g(x) m m

x x x
d) l kf (x) = k l f (x) m m
x x
e) l m f (x) g(x) = l f (x) l g(x) m m

x x x
f) l m
l f (x) m f (x) = x , si l g(x) = 0. m x x g(x) l g(x) m

x
Las pruebas de estos enunciados son similares a las efectuadas en 1.4.2.
1.9. L IMITES AL INFINITO
59
2. Los enunciados encima son igualmente vlidos si se remplaza x por a x . Ejemplos 1.9.3 1. Usando la denicin de l o mites al innito, demostrar que 1 l m = 0. x x Si > 0, veamos que existe un N > 0 tal que x > N = 1 < . x 1 < . Como x , se tiene x
Para encontrar tal N, usamos la desigualdad |x| = x > 0, luego
1 1 < < x. x De este modo es posible escoger 0 < N 1 . En efecto, si N 1 , dado x > N se tiene que 1 1 < . x N Un resultado ms general es el siguiente, para cada nmero natural n > 0, a u 1 1 (1.24) l m n = 0, l m n = 0. x x x x Para la demostracin de este hecho basta imitar lo encima realizado y escoger o 1 1 n N .
2. Como aplicacin del inciso anterior se tiene el clcuo de l o a mites en el innito para funciones racionales. Para 2x 1 f (x) = . x+3 Determinemos l f (x). Para aplicar el inciso anterior, se divide el numeram x dor y el denominador entre x, obteniendos 2x 1 = x x + 3 l m 2 x 1 + l m
x 1 x 3 x
1 x = 3 l 1 + l m m x x x 20 = 1+0 = 2. l 2 l m m
x
60 3. Para
x2 + 1 x calcular l f (x), l f (x). Para hacer esto, de nuevo se divide el numem m x x rador y el denominador por x2 = |x|. Cuando x , |x| = x2 = x, se tiene entonces f (x) = x2 + 1 = l m x x 1+
x x 1 x2 x
l m
1+ l 1 m
l m
1 x2 =
l m
1+
1 x2
=1
Anlogamente, cuando x , |x| = a l m x2 +1 = x

x
x2 = x, se tiene entonces l m 1+ 1 x2 = 1
l m
1+
l 1 m
1 x2 =
4. Empleando la denicin de l o mites innitos y l mites en el innito, es simple ver que para cada nmero natural n > 0 u
x
l xn = . m
En efecto, para combinar las dos deniciones, veamos que dado M > 0, es posible encontrar un N > 0 tal que x > N = |xn | > M. A saber, como x , se tiene |x| = x > 0 luego n n |xn | > M = |x| > M x > M , por lo tanto, para obterner el resultado basta escoger N = en el que x , se tiene
x
M . Para el caso
l xn = m
n par n impar
En efecto, veamos el caso en que n = 2k es par, en esta situacin vamos a o n mostrar que l x = , para esto combinando las deniciones de l m mites
x
innitos y l mites en el innito se tiene que para cada M > 0, es posible encontrar un N < 0 tal que x < N = xn > M.
1.9. L IMITES AL INFINITO En efecto, dado M > 0, se tiene xn > M =

2k
61
x2k > (xk )2
M > n M
1 k
Mostremos ahora el caso en que n = 2k +1 es impar, en esta situacin vamos a o mostrar que l xn = , para esto combinando las deniciones de l m mites
x
Consecuentemente, para obtener el resultado basta tomar N = n M .
1 |xk | k > n M |x| > n M x > n M x < n M .
innitos y l mites en el innito se tiene que para cada M < 0, es posible encontrar un N < 0 tal que x < N = xn < M.
En efecto, dado M < 0, se tiene xn < M xn < n M x < n M . = n
Consecuentemente, para obtener el resultado basta tomar N = 5. Para
M.
calcular l f (x), m
x
x2 1 x3 + x2 + 1 l f (x). Dividiendo tanto el numerador como el denom f (x) =
minar por la mayor potencia de x que aparece en la expresin de f (x), es decir o 3 por x se tiene x 1 = l m 2 +1 x 1 + 1 + +x x
2 1 x 1 x3 1 x3
x x3
l m
1 1 3 x x x = 1 1 l m 1 + + 3 x x x l m
0 =0 1
Igualmente se muestra l f (x) = 0. m

x
62
CAP ITULO 1. L IMITES Y CONTINUIDAD 6. Observando las grcas de las funciones seno y coseno, se nota que estas a funciones estn oscilando peridicamente entre 1 y 1, puede intuirse que a o conforme la variable x crece o decrece arbitrriamente estas funciones no se a aproximan de un valor jo. Es decir, no existen los l mites
x
l sen x, m
l cos x. m
Para ver esto, razonemos por reduccin al absurdo, es decir supongamos que o l sen x = M. Sea > 0, por denicin es posible encontrar un nmero real m o u x N > 0 tal que (1.25) x > N = | sen x M| < .
Tambin es claro que existe un nmero entero n tal que 2n > N, de (1.25) e u se sigue que | sen (2n) M| = |M| < < M < , dado que es un nmero cualquiera, se tiene que M = 0. Consecuentemente, u si tomamos = 1/2, es posible encontra un nmero real N > 0 tal que la u ecuacin (1.25) puede escribirse como o 1 x > N = | sen x| < . 2 Igualmente, existe un nmero entero m tal que (2n + 1) > N, de (1.25) se u 2 sigue que sen(2n + 1) = |1| < 1/2. 2 Lo que es un absurdo, por lo tanto no existe el l mite l sen x. De forma m x anloga se muestra que no existe el l a mite l cos x. m
x
7. (L mites en el innito para funciones racionales) Sea f (x) = p(x) am xm + am1 xm1 + + a1 x + a0 = q(x) bn xn + bn1 xn1 + + b1 x + b0
una funcin racional con, am , bn = 0, m y n enteros positivos. Entonces o a) Si m < n, es decir el grado del numerador es menor que el grado del denominador. Entonces
x
l f (x) = l m m
p(x) = 0. x q(x)
1.9. L IMITES AL INFINITO En efecto, si dividimos por xn como resultado se tiene am1 a0 am + nm1 + + n nm x x l x m bn1 b0 x bn + ++ n x x am1 a0 am + nm1 + + n l m nm x x x x bn1 b0 l m bn + ++ n x x x am1 a0 am + l m + + l m l m x xnm1 x xn x xnm b0 bn1 + + l m l bn + l m m x xn x x x 0 bn 0
63
l f (x) = m
= =
b) Si m = n, es decir el grado del numerador es igual que el grado del denominador. Entonces l f (x) = l m m p(x) am = . x q(x) bn
En efecto, si dividimos por xn como resultado se tiene am1 a0 ++ n x x l f (x) = l m m bn1 b0 x x bn + ++ n x x a0 am1 ++ n l m am + x x x = bn1 b0 l m bn + ++ n x x x am = bn am + c) Si m > n, es decir el grado del numerador es mayor que el grado del denominador. Entonces l f (x) = l m m p(x) = . x q(x)
64
CAP ITULO 1. L IMITES Y CONTINUIDAD En efecto, si dividimos por xn como resultado se tiene l f (x) = m l m am xmn + am1 xm1n + + bn + bn1 b0 ++ n x x a0 xn a0 xn
l m am xmn + am1 xm1n + +

x
l m
bn +
b0 bn1 ++ n x x
= 8. Empleando el inciso anterior se puede calcular rpidamente los l a mites en el innito para funciones racionales, a saber a) l m x dor. b) l m 7x 1 = 0, el grado del numerador es menor que el del denominax2
2 1 2x3 + x2 + 1 = = , el grado del numerador es igual que el del 3 +x1 x 4x 4 2 denominador.
x4 + x3 + 1 = , el grado del numerador es mayor que el del denoc) l m x 2x2 + x 1 minador. Observacin 1.9.4 La hiptesis exigida en la observacin 1.9.2, con respecto a que o o o los l mites de f (x) y g(x) sean nmeros reales, es esencial, ya que si esta condicin u o no se cumple, el teorema no es vlido; a saber para el caso de la suma considere a las funciones f (x) = x2 + 1, g(x) = x, en este caso se tiene l f (x) = , m
x x
l g(x) = ; sin embargo, m

x
l (f (x) g(x)) = l f (x) l g(x) = . m m m

x x
Inicialmente la expresin es una indeterminacin, adems calculando o o a l f (x) g(x) = l m m x2 + 1 x x x x2 + 1 x x2 + 1 + x = l m x x2 + 1 + x 1 = l m 2 +1+x x x = 0
1.9. L IMITES AL INFINITO Para el producto basta considerar f (x) = l f (x) = 0, l g(x) = ; sin embargo, m m
x x x 1 , x
65 g(x) = x, en este caso se tiene
l f (x) g(x) = l f (x) l g(x) = 0 . m m m

x
Inicialmente la expresin 0 es una indeterminacin, adems calculando o o a

x
l f (x) g(x) = l 1 = 1. m m
x
En la seccin de l o mites innitos, como aplicacin de stos se denieron las o e as ntotas verticales a la grca de una funcin, ahora como aplicacin de los l a o o mites en el innito se introducen las as ntotas horizontales. Denicin 1.9.5 La recta y = b es una as o ntota horizontal a la grca de una a funcin f si se cumple alguna de las condiciones a seguir o 1. l f (x) = b, y para algn N > 0, si x > N, entonces f (x) = b; m u
x
2. l f (x) = b, y para algn N < 0, si x < N, entonces f (x) = b. m u

x
Ejemplos 1.9.6
k , la recta y = 0 es x una as ntota horizontal, a saber, hemos mostrado que l f (x) = 0. m 1. Para cada funcin de la forma f (x) = o
x
ntota horizontal, a 2. Para la funcin f (x) = x+1 , la recta y = 1 es una as o x saber, empleando las observaciones para el clculo de l a mites en el innito para funciones racionales se tiene que en este caso el grado del numerador es igual al del denominador, por lo tanto el valor del l mite es el cociente de los coecientes principales, luego x+1 = 1. x x l m 3. Cada una de las guras a seguir muestra un trozo de la grca de una funcin a o para la cual la recta y = b es una as ntota horizontal.
l f (x) = b m
l f (x) = b m y=b
y=b
66
l f (x) = b m
l f (x) = b m y=b
y=b 4. Toda funcin racional f (x) = p(x) para la cual el denominador y el numerador o q(x) tiene igual grado, presenta una as ntota horizontal. A saber, la recta horizantal determinada por el cociente de los coecientes principales. 5. Para la funcin f (x) = o
x
horizontal pues
x1 , se tiene que la recta y = 1, es una as ntota x+1 horizontal ya que l f (x) = 1; adems la recta x = 1 es una asintota m a
x1
permiten determinar geomtricamente el comportamiento de la curva cerca de e las as ntotas y su grca. En efecto, con base a la informacin que ofrece la a o as ntota vertical se tiene el bosquejo
l + f (x) = y m
x1
l f (x) = . Los datos anteriores m
-2
-1 -1
-2
por otro lado, referente a la as ntota horizontal observe que la funcin no corta o tal recta, es decir para cada nmero x R se tiene f (x) = 1, en efecto, si u existe x R con f (x) = 1, entonces f (x) = x1 = 1 2 = 0 x+1
lo cual es absurso. Para saber el comportamiento de la grca de la funcin, a o referente a esta as ntota, necesitamos saber si la funcin est por encima o o a por debajo de esta, ms espec a camente, necesitamos saber dnde f (x) < 1?, o
1.9. L IMITES AL INFINITO en efecto, para esto resolvemos la desigualdad f (x) = x1 x1 < 1 1 <0 x+1 x+1 2 <0 x+1 x + 1 > 0 x > 1
67
o sea, que para valores de x > 1, la funcin asume valores por debajo de o la as ntota y = 1 y para valores de x < 1 la funcin est por encima de la o a as ntota y = 1. Esto permite terminar de elaborar la grca para f ,a saber a
-4
-3
-2
-1 -1
-2

Limites y Ad Intro Calculo

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Limites y Ad Intro Calculo

Enviado por

Direitos autorais:

Formatos disponíveis

Introduccin al Clculo o a CNM 107

trminos de la licencia de documentacin libre GNU e o

El concepto de l mite de forma intuitiva

CAP ITULO 1. L IMITES Y CONTINUIDAD

x 1 1,5 1,90 1,99 1,999 2 2,001 2,01 2,1

y = x2 1 2,25 3,61 3,9601 3,996001 ?? 4,004001 4,0401 4,41

1.2. EL CONCEPTO DE L IMITE DE FORMA INTUITIVA

x 1.90 1.95 1.97 1.99 2 2.01 2.03 2.05 2.10

y = x 4 x2 3.90 3.95 3.97 3.99 ???? 4.01 4.03 4.05 4.10

cuando x tiende a 2 es igual a 4.

de esto se deduce que l g(x) = l m m x2 4 = 4. x2 x + 2

CAP ITULO 1. L IMITES Y CONTINUIDAD

1.3. DEFINICION FORMAL

1.3. DEFINICION FORMAL

(x 1)(x + 1) (2) < (x + 1) x2 1 (2) < . x+1

4. Usando la denicin formal de l o mite de una funcin mostremos que para c = 0 o

O sea, es necesario que

As dado un > 0, basta escoger , |c| c2 , . 2 2

m n En efecto, si > 0, escojamos m n

0 < |x c| < |x c| de la primera desigualdad, se obtiene que

1 1 1 |x c| 2 c2 = < 2 = . x c |x| |c| c 2

Factorizando la expresin que parece en el consecuente de (1.7) se obtiene o (1.8)

Si se tiene como en (1.7) y tal que 1/2, entonces

|(x 3)(x 1)| = |x 3||x 1| < 5/2,

Propiedades bsicas de L a mites

CAP ITULO 1. L IMITES Y CONTINUIDAD

3. l f (x) g(x) = l f (x) l g(x) m m m

5. l f (x) g(x) = l f (x) l g(x) m m m

l f (x) m f (x) xc = , si l g(x) = 0. m 6. l m xc xc g(x) l g(x) m

Demostracin: Demostraremos algunos de los enunciados aplicando la denicin o o formal.

l [f1 (x) f2 (x) fn (x)] = M1 M2 Mn . m

En que l f1 (x) = M1 , , l fn (x) = Mn En particular, si l f (x) = M, m m m entonces l [f (x)]n = M n . m

6. La prueba de esta propiedad es dejada como ejercicio.

1.4. PROPIEDADES BASICAS DE L IMITES Corolario 1.4.3

f (x) = [f (x) L] + L, empleando el teorema anterior se tiene

l f (x) = l [f (x) L] + L = l [f (x) L] + l L = 0 + L = L. m m m m

CAP ITULO 1. L IMITES Y CONTINUIDAD

l an xn + an1 xn1 + + a1 x + a0 = an cn + an1 cn1 + + a1 c + a0 = f (c). m

En particular, a) l (2x + 1)2 = [l (2x + 1)]2 = 52 = 25. m m

b) l (7x + 7) = [ l (7x + 7)]3 = 03 = 0. m m

c) l x(x + 1) = [l x l (x + 1)] = 3 4 = 12. m m m

l (4x 5) m (4x 5) 5 x0 b) l m = = = 5. x0 (5x + 1) l (5x + 1) m 1

1.4. PROPIEDADES BASICAS DE L IMITES l m x 2 1 x = x4 = = . c) l m x4 x l x m 4 2

(x + h)2 x2 f (x + h) f (x) = l m l m h0 h0 h h (2xh + h2 ) = l m h0 h h(2x + h) = l m h0 h = l 2x + h m

A partir de los ejemplos calculados en la seccin anterior sabemos que o l m x = c.

cuando n es par suponga que M > 0.

CAP ITULO 1. L IMITES Y CONTINUIDAD

Esta funcin no est denida en x = 0. o a y=

Consecuentemente de la denicin anterior se tiene que o x x = 1, l m = 1, l + x = 0. m l + m x0 |x| x0 x0 |x|

1.5. L IMITES LATERALES

l f (x) = M l f (x) = l + f (x) = M. m m m

En este caso se observa que

1.5. L IMITES LATERALES 4. Recuerde la funcin f (x) = 1/x2 si x = 0 y f (0) = 0. o

CAP ITULO 1. L IMITES Y CONTINUIDAD

f (x) = En este caso se tiene m a) l f (x) = l 2 x = 0 m

1 m b) l + f (x) = l + x2 = 2. m x2 2 x2 En consecuencia l f (x) no existe. m

7. Recuerde la funcin valor absoluto o |x| =

En este caso, l + |x| = l + x = 0 = l |x| = l x, luego m m m m

Ms general, para cada nmero real c, a u (1.11) l |x| = m

c>0 = |c| c<0

8. Considere la funcin o f (x) = 1, 0, xZ xZ /

En este caso, dado un nmero entero c, u

1.5. L IMITES LATERALES