Cap tulo 1 L mite y continuidad de funciones

1.1. L mite de una funcin. o

El concepto de l mite es uno de los fundamentales del Clculo, pues est a a en la ra de muchos otros tan importantes como derivada e integral. En este z tema, nuestro objetivo es conseguir que, con el menor formalismo posible, el alumno adquiera una idea intuitiva de los conceptos de l mite y continuidad que le permita un aprendizaje adecuado del clculo. a I) Lmite nito. Cuando escribimos l f (x) = l , queremos signicar m xx0 que f (x) se acerca ms y ms al nmero l , a medida que x es ms prximo a a a u a o x0 (sin llegar a ser x0 ), tanto por la derecha de x0 como por la izquierda. Y si queremos que f (x) se diferencie de l en menos de una cantidad pequea, n > 0, bastar con que se tome cualquier x de un entorno de x0 con radio, a > 0, sucientemente pequeo. n

0 no est en el dominio de f , pero es a sen x l cito plantearse el clculo de l a m . En el apartado 3.3 probaremos que x0 x su valor es 1. Ejemplos 1.1.1. a) Si f (x) = 30

sen x , x

b) Sea f (x) = diferencia |f (x)

x+1 , x2 +3 1 2|

1 vamos a comprobar que l f (x) = . Calculamos la m x1 2

1 x+1 1 2x + 2 x2 3 |x 1|2 |=| |= . |f (x) | = | 2 2 x +3 2 2(x2 + 3) 2(x2 + 3) Ahora podemos buscar una cota superior del resultado obtenido 1 |x 1|2 |x 1|2 1 |f (x) | = = |x 1|2 . 2 + 3) 2 2(x 23 6 Hemos obtenido que la diferencia entre f (x) y el nmero 1 es inferior a u 2 1 2 |x1| , cualquiera que sea x D(f ). Para conseguir que f (x) se diferencie 6 3 1 de 2 en menos de 103 , basta tomar x en el entorno E(1, 6 10 2 ), ya que 3 para tales x tenemos |x 1| < 6 10 2 , lo que implica 1 1 1 |f (x) | |x 1|2 < 6 103 = 103 . 2 6 6 De igual forma, podemos probar que, si queremos que la diferencia |f (x) 1 | 2 sea menor que cierto nmero > 0, basta escoger x en el entorno E(1, ) u 1 con radio = 6 2 . Conviene destacar que x0 no tiene que pertenecer al dominio de f . No obstante, x0 deber ser un punto que tenga la propiedad de que podamos a encontrar valores de x, diferentes de x0 y tan cercanos a x0 como se quiera, en el dominio de f . Es decir, D E (x0 , r) = 0, para cada r > 0. Un punto x0 con tal propiedad se llama un punto de acumulacin de D(f ). o

Ejemplos 1.1.2. a) Si D(f ) = (0, 1), todos sus puntos son de acumulacin, o pero tambin lo son 0 y 1, aunque no pertenecen a D(f ). e b) Si D(f ) = {1} [0, +), entonces 1 no es punto de acumulacin o de D(f ). S lo son todos los elementos del intervalo [0, +).
1 II) Lmite innito. Si f (x) = xx0 , es fcil darse cuenta de que f (x) crece a sin medida, superando a cualquier nmero, por grande que fuera, a medida u

31

que x D(f ) se acerca a x0 . Este hecho se indica escribiendo xx f (x) = . l m 0 Existen otros dos casos de l mite innito: + y . Ejemplo 1.1.3. De acuerdo con la idea intuitiva que hemos dado, los l mites 1 1 = + y l 2 = . m siguientes resultan obvios: l m x0 x0 x2 x Cuando se quiere representar grcamente una funcin f , es importante a o detectar los puntos x0 tales que xx f (x) es innito, pues las rectas x = x0 l m 0 ser as an ntotas verticales de la curva de ecuacin y = f (x). o III) L mite lateral. En ciertas ocasiones interesa conocer el valor hacia el que se aproxima f (x) cuando x se acerca a x0 por la derecha (x > x0 ). Esto se indica por l + f (x) y se llama l m mite lateral por la derecha. De forma anloga, se dene el l a mite lateral por la izquierda l f (x); en este caso m representa el valor hacia el que se aproxima f (x) cuando x se acerca a x0 por la izquierda (x < x0 ). Ntese que la existencia de xx f (x) es equivalente a o l m 0 la existencia de ambos l mites laterales con igual valor.
1 Ejemplos 1.1.4. a) Consideremos la funcin dada por f (x) = x , si x > 0 y o f (x) = x + 1, si x 0. Es evidente que l + f (x) = + y l f (x) = 1. m m xx0 xx0

b) Si f (x) = |x1| , calcular l f (x). En este caso, la presencia del valor m x2 1 x1 absoluto de x 1, aconseja plantearse el clculo de los l a mites laterales, para ver si coinciden. Cuando calculamos el l mite lateral por la derecha de x0 = 1, podemos sustituir |x1| por su valor (x1), ya que x > 1. Entonces tenemos
x1+

x0

x0

l f (x) = l + m m
x1

x1 x1 1 1 = l + m = l + m = . 21 x1 (x 1) (x + 1) x1 x + 1 x 2

Sin embargo, en el clculo del lmite por la izquierda, debemos sustituir a |x 1| por su valor (x 1), ya que ahora x < 1. Luego
x1

l f (x) = l m m
x1

1 1 (x 1) = l m = . 21 x1 x + 1 x 2 32

Por tanto, ambos lmites laterales existen pero son diferentes, lo que implica que no existe l f (x). m
x1

IV) Lmite en el innito. En las aplicaciones, a veces, se presenta la necesi dad de conocer el comportamiento de f (x) para x grande. Por ejemplo: 1) si f (t) es una funcin de la variable tiempo, es interesante en algunas situaciones o conocer el comportamiento a largo plazo de f (t), 2) si se quiere representar grcamente la curva de ecuacin y = f (x), es de gran inters conocer hacia a o e qu evoluciona f (x) cuando x toma valores cada vez mayores. Diremos que e l f (x) = l si, al crecer x ms y ms, f (x) se aproxima al valor l tanto m a a x como se quiera. Si este es el caso, la curva de ecuacin y = f (x) posee una o as ntota horizontal de ecuacin y = l . Existen otros dos tipos de l o mite innito: l f (x) y l f (x). En el primer caso, x crece sin medida pero m m x+ x permanece positivo, y en el segundo x toma valores negativos cada vez ms a pequeos. n

1 l m Ejemplos 1.1.5. a) Si f (x) = x , entonces x f (x) = 0. x b) Si f (x) = 2 , por observacin de la grca de la funcin exponencial o a o se deduce l f (x) = + y l f (x) = 0. m m x+ x

Terminamos este apartado viendo algunas propiedades de los l mites que se usarn con cierta frecuencia a lo largo del curso. Todas ellas son muy a intuitivas, por lo que no se darn sus demostraciones. Son vlidas para todo a a tipo de l mite: laterales, en el innito, etc., pero slo las enunciaremos para o el l mite cuando x x0 . 1) Propiedad del sandwich: Supongamos que l f (x) = l g(x) = m m xx0 xx0 l . Si, adems, se verica que f (x) h(x) g(x) (para x = x0 en un entorno a de x0 ), entonces tambin l h(x) = l . e m
xx0

2) Si l f (x) = 0 y g es una funcin acotada (en un entorno de x0 ), m o xx0 entonces tambin l f (x) g(x) = 0. e m
xx0

33

3) Si el lmite l no es cero, debe ser posible encontrar un entorno (x0 r, x0 + r), con r sucientemente pequeo, tal que f (x) tiene el mismo signo n que l, cualquiera que sea x (distinto de x0 ) en dicho entorno. 4) Si f (x) g(x), para x = x0 en un entorno de x0 , se verica
xx0

l f (x) l g(x), m m
xx0

si existen ambos lmites. Es importante resaltar que, aunque se tenga la de sigualdad estricta f (x) < g(x), para cada x en un entorno de x0 , en general no es verdad que l f (x) < xx g(x). m l m xx
0 0

En efecto, basta considerar f (x) = x 0.

1 , 1+x2

g(x) = 1 y tomar l mite cuando

1.2.

Operaciones con l mites.

En este apartado se estudia el comportamiento del l mite en relacin con o las operaciones. Si xx f1 (x) = l1 y xx f2 (x) = l2 , se verica: l m l m
0

a) xx f1 (x) + f2 (x) = l1 + l2 . l m
0

b) xx f1 (x) f2 (x) = l1 l2 . l m
0

c) l m

f1 (x)

f2 (x) d) xx f1 (x)f2 (x) l m

xx0
0

l1 (si l2 = 0). l2 l = l12 (si l1 y l2 no son nulos simultneamente). a

En las propiedades anteriores, cada uno de los dos l mites considerados es nito. Pero, de hecho, tambin son vlidas cuando uno o ambos son innitos, e a slo que en ese caso conviene tener presente que existen ciertas excepciones o que se denominan indeterminaciones. Vamos a explicar esto con ms cuidado. a Supongamos que se desea calcular l f1 (x) + f2 (x) y sabemos que el m xx0 l mite del primer sumando es nito e igual a l1 y el del segundo es innito. La aplicacin al pi de la letra de (a) nos llevar a armar que el l o e a mite de 34

la suma es l1 + = . Esto es correcto, y, adems, intuitivo. En efecto, en a la suma f1 (x) + f2 (x) se impone f2 (x) (que crece sin medida, cuando x se acerca a x0 , mientras que f1 (x) permanece cercano a l1 ). La idea es similar en los otros casos que relacionamos a continuacin: o
l1 1. l1 = , si l1 = 0. = 0. = . = . ++ = + l2 2. b+ = + si b > 1. b+ = 0 si b < 1. 3. +l2 = +, si l2 > 0. +l2 = 0 si l2 < 0.

Sin embargo, son indeterninaciones los siguientes casos: , 0 , 0 , , 1 , 00 , +0 . 0

.

A t tulo de ejemplo, vamos a mostrar qu es una indeterminacin e o f1 (x) = x y f2 (x) = x2 . Los dos l mites siguientes son del tipo :
x

Sean

l m

f1 (x)

f2 (x)

y l m

f2 (x)

f1 (x)

Sin embargo el primero, l m

1 , vale 0 y el segundo, l x, . m x x x

1.3.

Clculo de l a mites.

En este apartado estudiaremos algunos mtodos generales para el clculo e a de l mites. En la seccin nal, dedicada al estudio de la derivada, veremos la o regla de LHpital, que resulta un mtodo muy util para calcular l o e mites, pero que tiene el inconveniente de que slo es vlido para funciones derivables. o a I) Lmite de funciones racionales Supongamos que se desea calcular l m P (x) , x Q(x)

donde P (x) y Q(x) son funciones polinmicas. Para el clculo de este tipo o a de l mites, previamente se divide numerador y denominador por xn , siendo n el mayor de los grados de P y Q, y de esta manera la funcin adopta una o forma muy conveniente para el clculo del l a mite.

35

2x2 + x Ejemplos 1.3.1. a) Calcular x 2 l m . En este caso, debemos dividir 3x + 1 2 por x , y calculamos el lmite
1 2+ x 2x2 + x 2+0 2 l m = x l m = . 1 = x 3x2 + 1 3+0 3 3 + x2

Se ha usado que l m b) l m
x

1 = 0, para p > 0. xp

x3

x . En este caso se divide por x3 y se obtiene +x+1

1 x2 1 1 + x3 x2

x l m = l m x x3 + x + 1 x 1 +

0 0 = = 0. 1+0+0 1

x2 c) x l m . Ahora dividimos por x2 y obtenemos x+1 x2 = l m x x + 1 x l m

1 x

1 1 1 = = . 1 = 0+0 0 + x2

II) Indeterminaciones del tipo . Supongamos que se desea calcular xx f (x) g(x) y sabemos que es l m 0 del tipo . En algunos casos se resuelve la indeterminacin expresando o g(x) la diferencia f (x) g(x) en la forma f (x) (1 f (x) ), si f (x) es la funcin o ms grande de las dos. a 2 Ejemplos 1.3.2. a) l (2x 3x ) = l 3x (( )x 1) = l 3x m m m x+ x+ x+ 3 2 l (( )x 1) = + (0 1) = . m x+ 3 b) l (x x). Se puede proceder como antes, sacando factor comn la m u x+ funcin ms grande, x. No obstante, vamos a usar otro procedimiento general o a que se aplica cuando en la funcin objeto del l o mite aparecen factores del tipo o o u(x) v(x). En estos casos, se multiplica y divide la funcin en cuestin por el factor u(x) + v(x). En nuestro ejemplo, tenemos x2 ( x)2 (x x) (x + x) x2 x . l (x x) = l m m = l = m = l m x+ x+ x+ x+ x + x+ x x+ x x 36

Ahora este ultimo lmite se calcula, como en (I), dividiendo numerador y 1 denominador por la mayor potencia de x, teniendo en cuenta que x = x 2 . Por tanto, dividiremos por x2 :
x+

l (x m

x) = l m

1 x2 x = l m 1 x+ x + x x+ x +

1 x 1

x2

10 1 = = +, 0+0 0

donde el signo + nal se debe a que x III) l m

xx0

x es positivo para x > 1.

sen f (x) = 1, siendo l f (x) = 0. m xx0 f (x) Vamos a probar el caso ms sima sen x ple l m = 1, para lo cual nos x0 x D ayudaremos de la representacin geo C tg x omtrica de las razones trigonomtrie e sen x cas. Una vez probado este caso, cualquier otro se deduce de forma inA B O cos x mediata. Consideramos una circunferencia de radio la unidad y escogemos x (0, ). Observamos en la gura 2 que las reas de los tringulos OAC a a y ODB, y del sector OBC verican la relacin o Ar(OAC) < Ar(OBC) < Ar(OBD).

Por tanto, tenemos las desigualdades 1 1 1 sen x cos x < 1 x < 1 tg x. 2 2 2 (1.1)

El trmino central necesita alguna aclaracin: el rea de un sector circular es e o a igual a la mitad del producto del radio por la longitud del arco que abarca y, en nuestro caso, la longitud coincide con x (la medida del ngulo en radianes). a 2 Multiplicando cada miembro de (1.1) por sen x , resulta cos x < x 1 < , sen x cos x 37 (1.2)

para cada x (0, ). En (1.2), las funciones de los extremos tienen l mite 2 1, cuando x 0; por tanto, la propiedad del sandwich nos asegura que x tambin l + e m = 1. Finalmente, haciendo el cambio t = x, se prueba x0 sen x que el l mite lateral por la izquierda tiene el mismo valor. tg x x Ejemplos 1.3.3. a) Calcular l m . Sustituimos tg x por sen x y procedecos x0 x mos al clculo del lmite: a sen x 1 sen x 1 tg x = l m = l m l m = 1 1 = 1. l m x0 x0 cos x x0 x x cos x x0 x 1 cos x b) Calcular l m . Ahora sustituimos, usando las frmulas del no a x0 x2 2 x gulo mitad, 1 cos x por 2 sen ( 2 ) y procedemos a calcular el l mite
sen( x ) 2 2 sen2 ( x ) sen2 ( x ) 1 1 1 cos x 2 2 2 = l m = l m = l m = . l m x x2 2 2 x0 x0 x0 x0 x x 2 2 2 2

1 f (x) = e, siendo xx f (x) = . En este caso, incluso l m 0 0 f (x) x 1 , tiene una prueba de cierta dicultad, la forma ms simple l a m 1 + x+ x por lo que no veremos la demostracin. Slo aclarar que se demuestra que o o 1 x existe y es nito l m 1 + y su valor se denota por e. Se sabe que es un x x nmero irracional cuyo desarrollo decimal comienza por 27182... u En los ejemplos, veremos cmo se usan estos hechos para resolver indeo terminaciones del tipo 1 . IV) xx 1 + l m

Ejemplo 1.3.4. Calcular l (1 + sen x) x . Se trata de una potencia de la m x0 forma 1 (indeterminado). Primero transformamos de forma conveniente la base para poder aplicar (IV) 1 (1 + sen x) = 1 + 1
sen x

y, nalmente, calculamos el l mite 1 1 1 1 m m 1 + 1 l (1 + sen x) x = l 1 + 1 x = l m

x0 x0 sen x x0 sen x

1 sen x

sen x x

= e1 = e.

38

1.4.

Innitsimos. e

Se dice que f (x) es un innitsimo en x = x0 , si xx f (x) = 0. Asi, e l m 0 p son innitsimos en el origen sen x, x (p > 0), 1 cos x, etc. Entre otras e aplicaciones, los innitsimos son de gran utilidad en el clculo de l e a mites. Pero, antes de pasar a ver esto, necesitamos el concepto de innitsimos e equivalentes. Decimos que dos innitsimos en x = x0 , f (x) y g(x), son e f (x) = 1 y se denota por f g. Un ejemplo imporequivalentes si l m xx0 g(x) tante lo constituye la pareja sen x y x. Son equivalentes en el origen, pues sen x l m = 1. x0 x Si f (x) y g(x) son innitsimos en x = x0 , decimos que f (x) es un ine f (x) nitsimo de orden superior a g(x), si se cumple l e m = 0. Si el l mite xx0 g(x) anterior es , diremos que f (x) es de menor orden que g(x). Por ejemplo, x2 es un innitsimo de mayor orden que tg x (en el origen). En efecto, tenemos e x x x2 = l m x cos x = l m l x cos x = 1 0 = 0. m x0 sen x x0 sen x x0 x0 tg x l m Pasamos ahora a ver cul es el papel de los innitsimos equivalentes a e en el clculo de l a mites. Supongamos que se desea calcular el l mite de un producto, l f (x) g(x), y conocemos un innitsimo equivalente de uno m e xx0 de los factores; por ejemplo, sabemos que f h en x = x0 . Probaremos que los l mites siguientes son iguales
xx0

l f (x) g(x) y xx h(x) g(x). m l m

0

Ms concretamente, probaremos que, caso de existir uno de los l a mites anteriores, entonces existe el otro y coinciden. En efecto, supongamos que l h(x) g(x) = l , y calculamos el otro como sigue m
xx0

xx0

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

xx0

f (x) l h(x) g(x) = 1 l = l , m h(x) xx0

pues los dos l mites que aparecen en el segundo miembro existen y valen 1 y l , respectivamente. De este resultado se deduce la regla prctica siguiente a 39

En el clculo del lmite de un producto, cuando x x0 , se puede sustituir a un factor por un innitsimo equivalente en x = x0 , sin que cambie el l e mite. Es importante destacar que, en general, esta sustitucin slo puede reo o alizarse en productos (o cocientes). El ejemplo nal muestra esto claramente. A la vista de las ideas anteriores parece conveniente disponer de una lista de innitsimos equivalentes para ser usada en el cculo de l e a mites. A continuacin damos una relacin de los innitsimos equivalentes ms comunes o o e a y posteriormente demostramos algunas de las equivalencias. Todos ellos son innitsimos en el origen. e 1. 2. 3. 4. 5. sen x x, x tg x. x arc tg x, x arc sen x. 2 1 cos x x . 2 log(1 + x) x. ex 1 x.

La lista anterior puede aumentarse teniendo en cuenta que: 1) en todas las anteriores puede cambiarse x por un innitsimo cualquiera f (x), y 2) e aadiendo las relaciones que se obtienen teniendo en cuenta que la relacin n o de equivalencia entre innitsimos es transitiva; es decir, se verica: f g y e g h implican f h. En efecto
xx0

l m

f (x) f (x) g(x) = l m l m = 1 1 = 1. h(x) xx0 g(x) xx0 h(x)

Veamos la demostracin de algunas de las relaciones anteriores: o 1 log(1 + x) 11 l m m = l = log(1 + x) x = l log 1 + 1 x = log e = 1. m x0 x0 x0 x x x log(1 + ex 1) l m = l m = 1, x0 ex 1 x0 ex 1 donde, en el ultimo paso se ha usado que son equivalentes log(1 + f (x)) y f (x), cuando f (x) es un innitsimo. e Ejemplo 1.4.1. Calcular l m sen x tg x .Calcularemos el l mite de dos forx0 x3 40

mas diferentes. En primer lugar, usando innitsimos equivalentes. Sabemos e que sen x y tg x son innitsimos euivalentes en el origen y vamos a sustituir e uno de ellos por el otro sen x tg x sen x sen x 0 = l m = l m 3 = l 0 = 0. m x0 x0 x0 x x0 x3 x3 l m Ahora vamos a calcularlo transformando previamente la diferencia sen xtg x como sigue sen x tg x = sen x sen x sen x cos x sen x sen x (1 cos x) = = . cos x cos x cos x

Ahora procedemos a calcular el l mite propuesto x x sen x tg x sen x (1 cos x) 1 1 2 l m = l m = l m = l m = , 3 3 3 x0 x0 x0 cos x x x0 2 cos x x cos x x 2 donde se han sustituido sen x por x y (1 cos x) por x . Se han obtenido 2 dos resultados diferentes, pero es obvio cul es el correcto : 1 . En el clculo a a 2 del lmite propuesto por el primer mtodo, se ha hecho una sustitucin que e o no est justicada: se ha sustituido tg x por sen x en una diferencia y slo a o hemos demostrado que las sustituciones son correctas en los productos, que es precisamente lo que se ha hecho en la segunda forma.
2 2

1.5.

Continuidad de funciones.

Sea f : D R y x0 D, diremos que f es continua en x0 si existe l f (x) y su valor es precisamente f (x0 ). Por tanto, la continuidad de f en m xx0 x0 signica que, tomando x en un entorno (x0 r, x0 +r) con r sucientemente pequeo, f (x) estar tan prxima como queramos a f (x0 ). n a o
1 Ejemplos 1.5.1. a) f (x) = x . En este caso D(f ) = {x R : x = 0}. Entonces 0 D(f ) y f no puede ser continua en x0 = 0. /

41

b) Sea f la funcin denida por f (x) = 1, si x > 0 y f (x) = 1, si x 0. o Ahora D(f ) = R, pero f tampoco es continua en x0 = 0. En efecto, ntese o que l + f (x) = 1 y l f (x) = 1. Por tanto, no existe l f (x). m m m c) Sea f la funcin denida por f (x) = sen x , si x = 0 y f (0) = 1.Hemos o x sen x visto que l m = 1. Por tanto, f es continua en x0 = 0. x0 x A continuacin recogemos, sin demostracin, algunas propiedades de las o o funciones continuas que usaremos a lo largo del curso relativas al comportamiento en relacin con las operaciones con funciones y a la continuidad de o las funciones elementales: 1) La suma, el producto, el cociente (si el denominador no se anula en el punto en cuestin) y la composicin de funciones continuas tambin es o o e continua. 2) Todas las funciones elementales son continuas en cada punto de sus respectivos dominios. 3) Si f es continua en x0 y f (x0 ) = 0, existe un entorno de x0 , sucientemente pequeo, tal que f (x) tiene el mismo signo que f (x0 ), cualquiera que n sea x en dicho entorno. 4) Funciones continuas y lmite conmutan. Si l f (x) = y0 y g es con m xx0 tinua en y0 , entonces
xx0 x0 x0 x0

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

xx0

e Ejemplos 1.5.2. a) Sea f (x) = x2 +1 . f es cociente de dos funciones continuas y el denominador, x2 + 1, no se anula nunca. Por tanto, f es continua en cada punto de R. b) f (x) = x2x .Por la misma razn anterior, f es continua en todo punto o 1 de R, salvo en los puntos 1 y -1, para los que el denominador se anula.

c) Calcular l log m
x0

x2

x4

+ 1 . Como la funcin logaritmo es continua en o +1 42

x0 = 1, conmutan lmite y logartimo y podemos poner

x0

l log m

x2

+ 1 x2 + 1 = log l m 4 = log 1 = 0. x0 x + 1 x4 + 1

1.6.

Discontinuidades

Si una funcin no es continua en x0 , se dir que en x0 existe una discono a tinuidad de la funcin. Las discontinuidades se clasican, atendiendo a las o causas concretas, en los siguientes tipos: - Evitables. Se dice que x0 es una discontinuidad evitable de f , si existe y es nito xx f (x), pero su valor no coincide con f (x0 ), o bien x0 D(f ). l m / 0 El nombre hace referencia al hecho de que se puede evitar la discontinuidad redeniendo f en x0 . Concretamente, poniendo f (x0 ) = xx f (x); de esta l m 0 forma, la nueva funcin resulta continua en x0 . o - De salto nito. Se dice que x0 es una discontinuidad de salto nito, si existen, son nitos y distintos los dos l mites laterales de f en x0 . Los valores de estos l mites se denotan por f (x0 +) y f (x0 ) y la diferencia f (x0 +) f (x0 ) se llama salto de la funcin en x0 (es el salto que hay que dar para o ir desde un punto de la grca situado a la derecha de (x0 , f (x0 )) hasta otro a situado a la izquierda). - Innita. Si existen ambos l mites laterales, pero al menos uno de ellos es innito. - Esencial. Si no existe alguno de los l mites laterales.
1

Ejemplos 1.6.1. a) f (x) = e x , si x = 0, y f (0) = 0. Se calculan los l mites + laterales: l + f (x) = e m = + y l f (x) = e m = 0. Por tanto, 0 es x0 x0 una discontinuidad de tipo innito. x+1 b) f (x) = x2 1 .El denominador se anula para x = 1, por tanto, f posee dos puntos de discontinuidad; para los restantes valores de x, f es continua por ser cociente de dos funciones polinmicas. En x = 1, la discontinuidad o

43

2 es de tipo innito, pues l f (x) = = . En x = 1, la discontinuidad es m x1 0 evitable, pues existe y es nito l f (x) = l m m 1 1 x+1 = l m = . x1 x 1 x1 (x + 1) (x 1) 2

x1

1.7.

Funciones continuas en un intervalo. Teoremas fundamentales.

En este apartado se estudian las propiedades fundamentales de las funciones denidas y continuas en un intervalo [a, b], cerrado y acotado. Desde un punto de vista intuitivo, podemos decir que las grcas de estas funciones, a por ser continuas en cada punto de [a, b], se pueden dibujar sin levantar el lpiz del papel; es decir, la curva de ecuacin y = f (x) (a < x < b) es un a o trazo continuo desde (a, f (a)) hasta (b, f (b)). El primer resultado del que vamos a ocuparnos es el llamado Teorema de Bolzano. La idea, intuitivamente, es muy simple: si una curva es de trazo continuo y el origen (a, f (a)) est por encima del eje OX, mientras que el a extremo (b, f (b)) est por debajo, necesariamente la curva debe cortar al eje a OX en algn punto (c, f (c)) = (c, 0), con c (a, b). El enunciado preciso es u el siguiente: Teorema 1.7.1. (Bolzano). Sea f : [a, b] R continua en [a, b]. Si f (a) f (b) < 0, entonces existe c (a, b), tal que f (c) = 0. Ntese que la condicin f (a) f (b) < 0 equivale a decir que f toma o o valores de signo opuesto en a y b. El teorema de Bolzano se usar para a probar otros resultados fundamentales en este apartado, pero adems nos a ofrece un mtodo util para encontrar valores aproximados de las ra e ces de una ecuacin f (x) = 0. o Ejemplo 1.7.2. Encontrar un valor aproximado de las ra de la ecuacin ces o 44

x3 + x + 1 = 0.En este caso, es fcil deducir por tanteo que existe una ra a z en el intervalo [1, 0], pues f (1) = 1 < 0 y f (0) = 1 > 0. El teorema de Bolzano, aplicado a la funcin f (x) = x3 + x + 1, nos asegura que existe o una ra de la ecuacin en el intervalo (1, 0). Ahora podemos dividir el z o intervalo por la mitad y ver en qu parte est la ra Para ello, vemos el e a z. 1 1 a signo de f ( 2 ). Un clculo sencillo nos da f ( 2 ) = 5 + 1 = 3 > 0. Por 8 8 tanto, f toma valores de signo distinto en los extremos del nuevo intervalo 1 [1, 2 ]. Procediendo de esta manera, y con ayuda de una calculadora, vamos reduciendo el tamao del intervalo donde se encuentra la ra y, en denitiva, n z puede determinarse sta con la aproximacin que se precise. Con tcnicas e o e del clculo diferencial, que veremos enseguida, puede comprobarse que no a hay ms ra a ces. Concretamente, basta calcular la derivada f (x) = 3x2 + 1 y estudiar el signo. Como la derivada es siempre positiva, la funcin f es o estrictamente creciente en R y, por tanto, slo puede tomar el valor 0 una o vez. El resultado siguiente tambin es muy intuitivo, si tenemos en mente el e hecho comentado anteriormente de que la grca de las funciones que estamos a considerando en este apartado son curvas de trazo continuo.

Teorema 1.7.3. (Bolzano-Weierstrass). Toda funcin denida y continua o en un intervalo [a, b] es acotada. Recordemos que f se dice acotada en [a, b] si existen constantes m y M tales que m f (x) M , para cada x [a, b]. Esto signica, desde el punto de vista grco, que la grca de la funcin est comprendida entre las rectas a a o a horizontales y = m e y = M .

Teorema 1.7.4. (Existencia de extremos absolutos). Si f es una funcin o denida y continua en un intervalo [a, b], entonces f alcanza un mximo y a un mnimo absolutos en [a, b]. 45

Nota 1.7.5. El teorema anterior arma que deben existir dos puntos xmin y xmax en [a, b], tales que f (xmin ) f (x), para cada x en [a, b] y f (xmax ) f (x), para cada x en el intervalo.

1 Ejemplo 1.7.6. Sea f (x) = x , siendo x (0, 1]. f es continua en cada punto de (0, 1], pero tiene una discontinuidad de tipo innito en el origen. Por tanto, f (x) se hace tan grande como se quiera sin ms que tomar x prximo a 0. a o Es decir, f no es acotada superiormente en (0, 1]. Ntese que este ejemplo a o no entra en contradiccin con el teorema de acotacin ni con el anterior, o o pues f no cumple todas las condiciones que se exigen en dichos teoremas. En concreto, el intervalo debe ser cerrado y acotado y (0, 1] no es un intervalo cerrado.

Terminamos el apartado probando que el conjunto imagen f ([a, b]) es un intervalo cerrado y acotado. Concretamente, el intervalo [m, M ], donde m y M denotan el m nimo y el mximo absolutos de f , respectivamente. a

Teorema 1.7.7. (De los valores intermedios). Si f : [a, b] R es continua en [a, b], entonces f toma en [a, b] todos los valores comprendidos entre su m nimo y su mximo absolutos. Es decir, para cada y0 [m, M ], existe a x0 [a, b], tal que f (x0 ) = y0 . DEMOSTRACION: Sean xmin y xmax dos valores donde f alcanza su m nimo y su mximo absolutos. Vamos a probar que todo y0 perteneciente al a intervalo [m, M ] es alcanzado por f en el intervalo I determinado por xmin y xmax . Si no fuera as consideramos la funcin auxiliar g(x) = f (x) y0 . Esta , o funcin es continua en el intervalo I y toma valores de signos opuestos en los o extremos de I, que son los puntos xmin y xmax . Por el teorema de Bolzano, existe x0 I, tal que g(x0 ) = 0; es decir, f (x0 ) = y0 .

46

Ejemplo 1.7.8. Sea f : [a, b] R continua en [a, b]. Si x1 , x2 , .., xn son puntos de [a, b], demostrar que existe c [a, b] tal que f (c) es igual a la media aritmtica de los nmeros f (xi ). e u De las desigualdades m f (xi ) M (i = 1, 2, .., n), se sigue que n m P i f (xi ) n M (sumando las desigualdades en i = 1, 2, .., n). Por tanto, P dividiendo por n miembro a miembro, obtenemos m i n M . Ahora basta acudir al Teorema de los valores intermedios para concluir la existencia del c deseado. PROBLEMAS PROPUESTOS 1. Calcular los l mites siguientes: eax ebx l m , x0 x ex + sen x tg2 x x1 l m , l m , l m x+ ex + cos x x0 1 cos2 x x1 x 1

f (xi )

1 x x l m , l (1 + sen x) x , m x+ x2 + 1 x0

x0+

l (1 + x ) m

1 x

l m

x x . x+1

Soluciones: a b, 1, 1, 1/2, 0, e, 1, e1 . 2. Sea f (x) = 1 1 si x = 0 y f (0) = 1. Estudiar el tipo de discontinuidad 1+e x de f en el origen. Solucin: Los l o mites laterales son nitos pero distintos: f (0+) = 0 y f (0) = 1. Discontinuidad de salto nito. 3. Sea f (x) = x+22 si x = 2 y f (2) = 1 . Estudiar el tipo de discontinuidad x2 4 de f en x0 = 2. Solucin: Continua en x = 2. o 4. Calcular l m log(x2 + 2) . x+ log(x3 + 4) Solucin: 2/3. o 47

5. Estudiar la continuidad en el origen de las siguientes funciones: a) f (x) = :

8 < < sen(1/x), si x = 0 x sen(1/x), si x = 0 y b) f (x) = : . 0, si x = 0 0, si x = 0
x3 3x2 +3x1 . x2 +x2

6. Estudiar la continuidad de la funcin f (x) = o

Solucin: Continuidad evitable en x = 1, de tipo innito en x = 2 y en o los restantes puntos continua. 7. Estudiar la continuidad de la funcin f (x) = x2 sen(1/x), si x = 0, y o f (0) = 0.

48