rea de Anlisis Matemtico Universidad de Zaragoza

Cap tulo 4

Continuidad
4.1.
4.1.1.

L mites de funciones reales de una variable real

Denicin de l o mite de una funcin. Unicidad del l o mite. L mite por sucesiones

Denicin 4.1.1. Dado a R, llamaremos entorno de a a todo conjunto V R para el que o exista algn > 0 de manera que V contenga al intervalo (a , a + ). Si V es un entorno de a, u diremos que el conjunto V \ {a} es un entorno reducido de a. Ejemplos. a) Si b < a < c, los intervalos (b, c), [b, c), (b, c] y [b, c] son entornos de a. Tambin e lo son los intervalos (b, +), [b, +), (, c) y (, c]. b) Todo conjunto que contenga un entorno de un punto es a su vez entorno de ese punto. Denicin 4.1.2. Sea A R, a R; a es un punto de acumulacin de A si todo entorno o o reducido de a contiene puntos de A; equivalentemente, si para cada > 0 existe algn y A tal u que y = a, |y a| < , o sea, tal que 0 < |y a| < . El conjunto de puntos de acumulacin de un conjunto A suele denominarse conjunto derivado o de A y representarse por A . Informalmente, a A si y solo si hay puntos de A, distintos de a, arbitrariamente prximos al o punto a. Ejemplos. a) Si A es nito, A = .

b) N = Z = , Q = R. c) (a, b) = [a, b] = [a, b]. d) Si A = {1/n : n N}, 0 A (aunque 0 A) y 1 A (aunque 1 A). / / Ejercicio. Probar que a A si y solo si existe una sucesin (xn ) de puntos de A distintos de a o que converge a a. Denicin 4.1.3 (l o mite de una funcin en un punto). Sea A R, f : A R, a A , b R. o Se escribe l f (x) = b m
xa

cuando se cumple lo siguiente: para cada > 0 existe algn > 0 tal que para todo x A con u 0 < |x a| < se tiene |f (x) b| < . Se dice entonces que b es l mite de f (x) cuando x tiende al punto a. 51

52

CAP ITULO 4. CONTINUIDAD

La condicin de que |f (x) b| < para todo x A con 0 < |x a| < se puede escribir de o esta otra forma: f (U ) (b , b + ), U = [A (a , a + )] \ {a}. Podemos parafrasear esta denicin diciendo que f (x) se acerca a b cuando x se acerca a a o dentro del dominio de f , o que b puede ser aproximado tanto como se quiera por valores de f en puntos de su dominio sucientemente prximos al punto a, pero distintos de a. o Ejemplo. Si f : R R est dada por a f (x) = 0 si x = 0; 1 si x = 0,

entonces l f (x) = 0 (sin que importe que f (0) = 1). m

x0

Proposicin 4.1.4 (unicidad del l o mite). Sea A R, f : A R, a A , b1 , b2 R. Si l f (x) = b1 y l f (x) = b2 , m m xa xa entoncesb1 = b2 . b2 b1 . Deben existir un 2 b1 + b 2 1 > 0 tal que para todo x A con 0 < |x a| < 1 es f (x) < b1 + = y un 2 > 0 tal que 2 b1 + b2 para todo x A con 0 < |x a| < 2 es = b2 < f (x). Deniendo = m 1 , 2 }, resulta n{ 2 b1 + b 2 b1 + b2 que para todo x A con 0 < |xa| < es < f (x) < . Esto es una contradiccin. o 2 2 Demostracin. Supongamos, por ejemplo, que b1 < b2 . Elijamos = o El resultado anterior tambin se puede obtener como una consecuencia de la proposicin sie o guiente y de la unicidad del l mite para sucesiones. Proposicin 4.1.5 (l o mite a travs de sucesiones). Sea A R, f : A R, a A , b R. Las e siguientes propiedades son equivalentes: a) l f (x) = b. m
xa

b) para cada sucesin (sn ) de puntos de A \ {a} tal que l sn = a se verica l f (sn ) = b. o m m
n n

Demostracin. (a) = (b) Supongamos que l f (x) = b. Para cualquier > 0 se puede encontrar o m
xa

> 0 de modo que para todo x A con 0 < |x a| < se cumple |f (x) b| < . Sea (sn ) una sucesin de puntos de A \ {a} tal que l sn = a. Dado > 0, existir un N N tal que para todo o m a
n

n > N se verica |sn a| < , y como sn = a, se deduce que |f (sn ) b| < ; en otras palabras, l f (sn ) = b. m
n

(b) = (a) Vamos a probar que si (a) no se cumple, entonces (b) tampoco. Que no se cumpla (a) signica que existe algn > 0 tal que para todo > 0 hay al menos un x A que cumple u 0 < |x a| < y sin embargo |f (x ) b| . 1 1 Para cada n N, elijamos = n . Hay algn punto sn A que cumple 0 < |sn a| < n y sin u embargo |f (sn ) b| . La sucesin (sn ) as obtenida tiene las siguientes propiedades: o est contenida en A \ {a}, porque sn A, pero 0 < |sn a|; a l sn = a, porque 0 < |sn a| < m
n 1 n

(basta aplicar la denicin de l o mite, o bien la regla del

sandwich). pero la sucesin f (sn ) no tiende a b, porque para todos los n N, |f (sn ) b| . o Por lo tanto, no se cumple (b).

4.1. L IMITES DE FUNCIONES REALES DE UNA VARIABLE REAL

53

4.1.2.

L mites innitos y l mites en el innito

Denicin 4.1.6. Llamaremos entorno reducido de + o a todo conjunto V R para el o que exista un r de manera que (r, +) V (respectivamente, (, r) V ). Denicin 4.1.7. Diremos que + es un punto de acumulacin de un conjunto A R si o o A no est acotado superiormente, en cuyo caso escribiremos + A . Diremos que es un a punto de acumulacin de un conjunto A R si A no est acotado inferiormente, en cuyo caso o a escribiremos A . Denicin 4.1.8 (l o mites innitos y l mites en el innito). Sea A R, f : A R, a, b R {}, a A . Pondremos l f (x) = b m
xa

si para cada entorno V de b existe un entorno reducido U de a tal que f (U ) V . Pueden darse deniciones en trminos de desigualdades, desglosando los diferentes casos posie bles. Concretamente, sean A R, f : A R, a, b R. a) l f (x) = + si para cada M R existe algn > 0 tal que todos los x A con m u
xa

0 < |x a| < cumplen f (x) > M . b) l f (x) = si para cada M R existe algn > 0 tal que todos los x A con m u
xa

0 < |x a| < cumplen f (x) < M . c)

x+

l f (x) = b si para cada > 0 existe algn K R tal que todos los x A con x > K m u

cumplen |f (x) b| < . d)

x+

l f (x) = + si para cada M R existe algn K R tal que todos los x A con x > K m u

cumplen f (x) > M . e)

x+

l f (x) = si para cada M R existe algn K R tal que todos los x A con x > K m u

cumplen f (x) < M . f)

x

l f (x) = b si para cada > 0 existe algn K R tal que todos los x A con x < K m u

cumplen |f (x) b| < . g)

x

l f (x) = + si para cada M R existe algn K R tal que todos los x A con x < K m u

cumplen f (x) > M . h)

x

l f (x) = si para cada M R existe algn K R tal que todos los x A con x < K m u

cumplen f (x) < M . Con esta ampliacin, sigue habiendo unicidad de l o mite. Igualmente se mantiene la caracterizacin mediante sucesiones: o Proposicin 4.1.9. Sea A R, f : A R, a, b R {}, a A . Las siguientes propiedades o son equivalentes: a) l f (x) = b. m
xa

b) para cada sucesin (sn ) de puntos de A \ {a} tal que l sn = a se verica l f (sn ) = b. o m m
n n

Demostracin. Basta adaptar a cada caso la demostracin de la proposicin 4.1.5. o o o

54

CAP ITULO 4. CONTINUIDAD

4.1.3.

Clculo de l a mites

Proposicin 4.1.10 (operaciones algebraicas con l o mites). Sean A R, a R {} un punto de acumulacin de A, c R y f, g : A R. Se tiene: o a) l (f (x) + g(x)) = l f (x) + l g(x), si estos ultimos l m m m mites existen y su suma est dea
xa xa xa

nida en R {}. m mite existe y su producto por c est denido en a b) l cf (x) = c l f (x), si este ultimo l m
xa xa

R {}. c) l f (x)g(x) = l f (x) l g(x), si estos ultimos existen y su producto est denido en m m m a
xa xa xa

R {}. d) l m l f (x) m f (x) = xa , si estos ultimos l mites existen y su cociente est denido en R{}. a xa g(x) l g(x) m
xa

Demostracin. Basta aplicar la proposicin 4.1.9 y el resultado anlogo para sucesiones. o o a Proposicin 4.1.11 (acotacin y l o o mite cero). Sean A R, a R {} un punto de acumulacin de A, y f, g : A R. Supongamos que: o a) la funcin f est acotada, es decir, existe M > 0 tal que |f (x)| M para todo x A. o a b) l g(x) = 0; m
xa

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

xa

Demostracin. Basta aplicar la proposicin 4.1.9 y el resultado anlogo para sucesiones. o o a Proposicin 4.1.12 (cambios de variable). Sean A, B subconjuntos de R, a un punto de o acumulacin de A, b un punto de acumulacin de B, f : A R y g : B R tales que f (A) B o o y supongamos que l f (x) = b, m l g(y) = c m
xa yb

Si b f (A), entonces existe l g(f (x)) = c. m

xa

Demostracin. Sea > 0. Como l g(y) = c, existe algn r > 0 tal que para todo y B con o m u
yb

0 < |y b| < r, se tiene |g(y) c| < . Ahora, como l f (x) = b, existe algn > 0 tal que para todo x A con 0 < |x a| < , se m u
xa

tiene |f (x) b| < r. Sea x A con 0 < |x a| < . No solo es |f (x) b| < r, sino que como b f (A) y f (A) B, resulta 0 < |f (x) b| < r, f (x) B Por lo tanto, |g(f (x)) c| < . La hiptesis adicional b f (A) es suciente, aunque no necesaria para que se verique la tesis. o Bastar tambin, por ejemplo, que f fuese inyectiva; o que b B y c = g(b). Sin aadir alguna a e n condicin como stas, no puede garantizarse la validez del resultado nal: considrese, por ejemplo, o e e el caso de las funciones denidas en R por f (x) = 0, g(y) = 0 1 si y = 0 . si y = 0

4.1. L IMITES DE FUNCIONES REALES DE UNA VARIABLE REAL Entonces g(f (x)) = 1 para todo x, y as
x0

55

l f (x) = 0, m

y0

l g(y) = 0, m

x0

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

A veces es util en el clculo de l a mites tener en cuenta las siguientes consecuencias inmediatas de la denicin de l o mite: Proposicin 4.1.13. Si A R, a punto de acumulacin de A y f : A R, o o a) l f (x) = b R l |f (x) b| = 0. m m
xa xa

b) l f (x) = b R = l |f (x)| = |b|. m m

xa xa

El rec proco solo es cierto, en general, cuando b = 0. c) l f (x) = b (a R) l f (a + t) = b. m m

xa t0

4.1.4.

L mites laterales

Si en las deniciones de l mites aadimos una de las dos condiciones x > a, x < a, entonces n se habla de l mites laterales (por la derecha y por la izquierda, respectivamente). Se emplea la notacin l f (x), l f (x). o m m
xa+ xa

Denicin 4.1.14 (l o mites laterales: por la derecha y por la izquierda). Sean A R, f : A R, a R un punto de acumulacin de A y b R. o a) Se dice que l f (x) = b si para cada > 0 existe algn > 0 tal que todos los x A con m u
xa+

0 < x a < cumplen |f (x) b| < . b) Se dice que l f (x) = + si para cada M R existe algn > 0 tal que todos los x A m u
xa+

con 0 < x a < cumplen f (x) > M . c) Se dice que l f (x) = si para cada M R existe algn > 0 tal que todos los x A m u
xa+

con 0 < x a < cumplen f (x) < M . d) Se dice que l f (x) = b si para cada > 0 existe algn > 0 tal que todos los x A con m u
xa

0 < a x < cumplen |f (x) b| < . e) Se dice que l f (x) = + si para cada M R existe algn > 0 tal que todos los x A m u
xa

con 0 < a x < cumplen f (x) > M . f ) Se dice que l f (x) = si para cada M R existe algn > 0 tal que todos los x A m u
xa

con 0 < a x < cumplen f (x) < M . En trminos de entornos reducidos, la denicin anterior se puede escribir de manera ms breve. e o a Para los l mites laterales se puede probar el resultado anlogo a la proposicin 4.1.9. Tambin, y a o e como consecuencia inmediata de las deniciones, tenemos: Proposicin 4.1.15. Sean A R, f : A R y a R de modo que (a , a + ) A para algn o u > 0. Sea b R {}. Entonces,
xa

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

xa xa+

56

CAP ITULO 4. CONTINUIDAD

Las proposiciones siguientes demuestran que las funciones montonas tienen l o mites laterales en todos los puntos. Proposicin 4.1.16. Sean A R, f : A R montona no decreciente , a R {}. o o a) si a [A (, a)] , entonces f tiene l mite por la izquierda en a (nito o innito) y es
xa

l f (x) = sup{f (x) : x A (, a)} m

(entendiendo que si el conjunto no est acotado superiormente, su supremo es +). a b) si a [A (a, +)] entonces f tiene l mite por la derecha en a (nito o innito) y es
xa+

l f (x) = inf{f (x) : x A (a, +)} m

(entendiendo que si el conjunto no est acotado inferiormente, su a nmo es ). Demostracin. Solo demostramos el apartado a) y en el caso de que a R y el conjunto {f (x) : o x A (, a)} est acotado. Los dems casos son similares. e a Sea L = sup{f (x) : x A (, a)} R. Sea > 0. Entonces, L no es una cota superior del conjunto {f (x) : x A (, a)}, as que existe algn r A (, a) tal que L < f (r). u Si ahora elegimos = a r, todos los x A tales que 0 < a x < cumplen r = a < x, luego L < f (r) f (x) L < L + , es decir: |f (x) L| < . La variante para funciones montonas no crecientes, que enunciamos a continuacin, se demueso o tra de igual manera. Proposicin 4.1.17. Sean A R, f : A R montona no creciente , a R {}. o o a) si a [A (, a)] , entonces f tiene l mite por la izquierda en a y es
xa

l f (x) = inf{f (x) : x A (, a)} m

(entendiendo que si el conjunto no est acotado inferiormente, su a nmo es ). b) si a [A (a, +)] entonces f tiene l mite por la derecha en a y es
xa+

l f (x) = sup{f (x) : x A (a, +)} m

(entendiendo que si el conjunto no est acotado superiormente, su supremo es +). a

4.1.5.

L mites de funciones elementales

Si f (x) representa una cualquiera de las funciones ex , log x, sen x, cos x, tg x, arc sen x, arc cos x, arc tg x, xr , entonces l f (x) = f (a) m
xa

para cualquier punto a del dominio de la funcin. Otros l o mites son los siguientes:
x x0+

l ex = 0 m

x+ x+

l ex = + m

l log x = m tg x = + 2

l log x = + m tg x =

x(/2) x

l m

x(/2)+ x+

l m

l arc tg x = m
x0+

l arc tg x = m
x+

l xr = 0 m l xr = + m

2 r l x = + m l xr = 0 m

(si r > 0) (si r < 0)

x0+

x+

4.1. L IMITES DE FUNCIONES REALES DE UNA VARIABLE REAL Si f (x) = ar xr + ar1 xr1 + + a0 es un polinomio (con r N y ar = 0), entonces
x+ x+

57

l f (x) = + m

(si ar > 0), (si ar < 0).

l f (x) = m

As mismo, se tiene el siguiente orden de innitud, donde a > 0 y b > 1: log x << xa << bx << xx Aqu f (x) << g(x) cuando x + signica que , l m f (x) =0 g(x) (x +).

x+

(o bien que g(x)/f (x) +). Denicin 4.1.18. Sean A R, a R {} un punto de acumulacin de A, y f , g : A R. o o Diremos que f es equivalente a g cuando x tiende al punto a, y escribiremos f (x) g(x) si se verica
xa

(x a)

l m

f (x) = 1. g(x)

Nota. Los resultados sobre sucesiones equivalentes se trasladan sin dicultad a funciones equivalentes. En general, podemos traducir las equivalencias entre sucesiones a equivalencias entre funciones. Por ejemplo: Equivalencias de innitsimos: cuando x 0, e ex 1 x sen x x arc sen x x log(1 + x) x 1 cos x x2 /2 arc tg x x (1 + x) 1 x tg x x

Equivalencias de innitos: sea f (x) = ar xr +ar1 xr1 + +a0 , con ar = 0; cuando x +, f (x) ar xr , log f (x) r log x (si ar > 0).

4.1.6.

L mites y desigualdades

Notacin. Para abreviar y unicar algunos enunciados, a veces es cmoda la siguiente notacin: o o o dados a R {}, r R, pondremos {x R : 0 < |x a| < r} si a R (y entonces r > 0) E(a; r) = {x R : x > r} si a = + {x R : x < r} si a = . Proposicin 4.1.19. Sean A R, a R {} un punto de acumulacin de A y f : A R o o para la que existe l f (x) = b R {}. Se tiene: m
xa

58 a) dado c < b, existe r tal que c < f (x)

CAP ITULO 4. CONTINUIDAD

x A E(a; r)

(en palabras, cuando el l mite de f en a es mayor que c, tambin la funcin f se mantiene e o mayor que c en puntos sucientemente prximos al punto a, pero distintos de a). o b) dado c > b, existe r tal que f (x) < c x A E(a; r)

(en palabras, cuando el l mite de f en a es menor que c, tambin la funcin f se mantiene e o menor que c en puntos sucientemente prximos al punto a, pero distintos de a). o Corolario 4.1.20. Sean A R, a R {} un punto de acumulacin de A y f, g : A R y o supongamos que existen l f (x) = b R {} y l g(x) = c R {}. Se tiene: m m
xa xa

a) Si b > 0, entonces existe algn r > 0 tal que u 0 < f (x) b) Si b < 0, entonces existe algn r > 0 tal que u f (x) < 0 c) Si b < c, entonces existe algn r > 0 tal que u f (x) < g(x) x A E(a; r). x A E(a; r). x A E(a; r).

En particular, f conserva el signo del l mite en puntos sucientemente prximos al punto a, pero o distintos de a (cuando el l mite no es nulo). Observacin. En el enunciado anterior, no se puede cambiar < por . o Corolario 4.1.21. Sean A R, a R {} un punto de acumulacin de A y f : A R, o g : A R funciones para las que existen l f (x) = b R {}, l g(x) = c R {}. Si m m xa xa existe algn r > 0 tal que u f (x) g(x) entonces b c. Observacin. En el enunciado anterior, no se puede cambiar por <. o Proposicin 4.1.22 (regla del sandwich para funciones con l o mite nito). Sean A R, a R {} un punto de acumulacin de A y f : A R, g : A R, h : A R funciones tales o que: a) existe r de modo que f (x) g(x) h(x) para todo x A E(a; r). b) existen l f (x) = l h(x) = b R. m m
xa xa

para todo x A E(a; r),

Entonces tambin existe l g(x) y es igual a b. e m

xa

Demostracin. Basta aplicar la proposicin 4.1.9 y el resultado anlogo para sucesiones. O bien, se o o a puede demostrar de manera similar al caso de las sucesiones.

4.1. L IMITES DE FUNCIONES REALES DE UNA VARIABLE REAL La versin para l o mites innitos es ms simple: a

59

Proposicin 4.1.23 (regla del sandwich para funciones con l o mite innito). Sean A R, a R {} un punto de acumulacin de A y f : A R, g : A R funciones tales que existe r o de modo que f (x) g(x) para todo x A E(a; r). a) si l f (x) = +, entonces tambin se tiene l g(x) = +. m e m
xa xa

b) si l g(x) = , entonces tambin se tiene l f (x) = . m e m

xa xa

Demostracin. Basta aplicar la proposicin 4.1.9 y el resultado anlogo para sucesiones. o o a

4.1.7.

Condicin de Cauchy para funciones o

Proposicin 4.1.24. Sean A R, a R {} un punto de acumulacin de A y f : A R. o o Las siguientes propiedades son equivalentes: a) f tiene l mite nito cuando x tiende a a; b) se cumple la siguiente condicin de Cauchy : para cada > 0 existe r R tal que para o cualesquiera x, y A E(a; r) se verica |f (x) f (y)| < ; c) para cada sucesin (xn ) de puntos de A \ {a} tal que l xn = a se verica que la sucesin o m o
n

(f (xn )) es de Cauchy. Demostracin. (a) = (b) Sea l f (x) = b. Dado > 0 existe r R tal que para todo x o m
xa

A E(a; r) se tiene

|f (x) b| < , 2 luego para cualesquiera x, y A E(a; r) ser a |f (x) f (y)| |f (x) b| + |b f (y)| < + = . 2 2

(b) = (c) Es una comprobacin sencilla. o (c) = (a) Dada una sucesin (xn ) de puntos de A \ {a} tal que l xn = a, como la sucesin o m o
n

(f (xn )) es de Cauchy tendr un l a mite b, posiblemente distinto para cada sucesin (xn ) considerada. o Segn la caracterizacin del l u o mite que hemos obtenido mediante sucesiones, para completar la demostracin ser suciente que probemos que l f (xn ) es el mismo para todas las sucesiones o a m
n

(xn ). Sean, pues, (yn ), (zn ) sucesiones de puntos de A \ {a} tales que l yn = a = l zn , y sean m m
n n

c = l f (yn ), d = l f (zn ). La sucesin (xn ) denida por x2n1 = yn , x2n = zn sigue siendo una m m o
n n

sucesin de puntos de A \ {a} con l xn = a, luego (f (xn )) ser una sucesin convergente. Si b es o m a o
n

su l mite, como (f (yn )), (f (zn )) son subsucesiones suyas, debe cumplirse c = b = d.

4.1.8.

L mites de restricciones y extensiones de funciones

Proposicin 4.1.25. Sean f : A R R, a R {} un punto de acumulacin de A, o o b R {}. Se cumple: a) si A1 A, a A1 , f1 = f |A1 , entonces

xa

l f (x) = b = l f1 (x) = b. m m
xa

El rec proco, en general, no es cierto. Sin embargo:

60 b) cuando A1 = A E(a; r) para algn r, u

xa

CAP ITULO 4. CONTINUIDAD

l f (x) = b l f1 (x) = b m m
xa

(nos referiremos a este hecho diciendo que el concepto de l mite es un concepto local). c) si A = A1 A2 Am y para 1 j m es a Aj , fj = f |Aj , entonces
xa

m l fj (x) = b (1 j m) = l f (x) = b. m
xa

Observacin. Suele ponerse o

xa, xS xa

l m

f (x)

en vez de l (f |S ) (x), y se lee l m mite de f (x) cuando x tiende a a a travs de S. e

4.2.
4.2.1.

Funciones continuas
Deniciones de continuidad. Operaciones con funciones continuas

Denicin 4.2.1. Sea f : D R R, a D. Diremos que f es continua en el punto a si o para todo > 0 existe > 0 tal que para cualquier x D con |x a| < es |f (x) f (a)| < . Grcamente: hay siempre una ventana o pantalla centrada en (a, f (a)) de altura arbitrariaa mente prejada (2) que, con la anchura ajustada convenientemente (2), no deja fuera de pantalla puntos de la grca de abscisa igual a los de la base de la ventana (ver [Guzman, pgs. 174175]). a a Proposicin 4.2.2. Sea f : D R R, a D. Se tiene: o a) si a es un punto aislado de D, lo que signica que a D , entonces f es continua en a. / b) si a es un punto de acumulacin de D, a D , entonces f es continua en a si y solo si existe o l f (x) y es igual a f (a). m
xa

Denicin 4.2.3. Sea f : D R R, S D. Diremos que f es continua en el conjunto S o si f es continua en todos los puntos de S. Si S = D, diremos simplemente que f es continua . Ejemplos. a) Dado c R, la funcin constante f (x) = c es continua (en todos los puntos). o

b) La funcin identidad, f (x) = x, es continua. o c) La funcin valor absoluto, f (x) = |x|, es continua. o d) Las funciones ex , log x, sen x, cos x, tg x, arc sen x, arc cos x, arc tg x, xr son todas ellas continuas en sus respectivos dominios de denicin. o e) La funcin de Dirichlet, o f (x) = no es continua en ningn punto. u f) La funcin f : R R dada por o f (x) = no es continua en 0.
1 sen x 0

1 0

si x Q si x Q /

si x = 0 si x = 0

4.2. FUNCIONES CONTINUAS g) La funcin f : R R dada por o f (x) = es continua en 0. Proposicin 4.2.4. Sea f : D R R, a D. Las siguientes propiedades son equivalentes: o a) f es continua en a;
1 x sen x 0

61

si x = 0 si x = 0

b) si (xn ) es una sucesin de puntos de D convergente al punto a, entonces la sucesin (f (xn )) o o converge a f (a); Demostracin. Anloga a la de la proposicin 4.1.9. o a o Proposicin 4.2.5. Sean f , g : D R R, a D, c R, y supongamos que f y g son continuas o en a. Se tiene: a) f + g es continua en a. b) c f es continua en a. c) f g es continua en a. d) si g(a) = 0, f /g es continua en a. Demostracin. Basta aplicar la proposicin 4.2.4 y el resultado anlogo para sucesiones. o o a Proposicin 4.2.6. Sean f : D R R, g : E R R, a D, y supongamos que f (D) E. o Si f es continua en a y g es continua en f (a), entonces la composicin g f es continua en a. o Demostracin. Sea > 0. Como g es continua en el punto f (a), existe algn r > 0 tal que para o u todo y E con |y f (a)| < r, se tiene |g(y) g(f (a))| < . Ahora, como f es continua en a, existe algn > 0 tal que para todo x D con |x a| < , se u tiene |f (x) f (a)| < r. Sea x dom(g f ) [es decir, x D y f (x) E] con |x a| < . Entonces, |f (x) f (a)| < r, luego |g(f (x)) g(f (a))| < . Ejercicio. Sean f , g : D R R, a D. Probar que si f y g son continuas en a, entonces que mx(f, g), m a n(f, g) son tambin continuas en a ([Ross, Ejercicio 17-8, pg. 94]). e a

4.2.2.

Propiedades de las funciones continuas: teoremas de Weierstrass, Bolzano y Darboux; funciones continuas montonas o

Teorema 4.2.7 (de Weierstrass). Sea f una funcin continua en un intervalo cerrado y acotado o [a, b], (donde a, b R, a < b). Entonces: a) f est acotada; a b) f alcanza un valor m nimo y un valor mximo, es decir, existen puntos r, s [a, b] (no a necesariamente unicos) tales que para todo x [a, b] es f (r) f (x) f (s).

62

CAP ITULO 4. CONTINUIDAD

Demostracin. a) Sea f : [a, b] R una funcin no acotada y probemos que entonces hay algn o o u punto del intervalo [a, b] donde la funcin no es continua. Dado que f no est acotada, para cada o a n N hay algn punto xn [a, b] tal que |f (xn )| > n. En particular, u l |f (xn )| = +. m
n

Pero la sucesin (xn ) s est acotada, as que, por el teorema de Bolzano-Weierstrass, hay alguna o a n=1 subsucesin suya que converge: o x(n) c [a, b]. Sabemos que l |f (x(n) )| = +, m
n

por ser una subsucesin de o fuera deber ser a

(|f (xn )|) . n=1

n

Entonces, la funcin f no es continua en c, ya que si lo o

l |f (x(n) )| = |f (c)|. m b) Sea f : [a, b] R continua. Por el apartado anterior, ya sabemos que est acotada, de modo a que tiene supremo e nmo; sean M = sup{f (x); x [a, b]} R, m = inf{f (x); x [a, b]} R. Se trata de probar que ese supremo y ese nmo se alcanzan, es decir, que existen ciertos r, s [a, b] tales que f (r) = m, f (s) = M . 1 Para cada n N, el nmero M no es una cota superior de f , de modo que podemos elegir u n algn xn [a, b] tal que u 1 M < f (xn ) M. n En particular, l f (xn ) = M. m
n

Como la sucesin o

(xn ) n=1

est acotada, tendr alguna subsucesin (x(n) ) convergente: a a o n=1 x(n) s [a, b].

Por una parte, la funcin f es continua en todos los puntos de [a, b]; por otra, f (x(n) ) es una o subsucesin de f (xn ). Entonces, o f (s) = l f (x(n) ) = M. m
n

De manera anloga se demuestra que existe algn punto r [a, b] tal que f (r) = m. a u Pasamos a ver dos resultados ntimamente relacionados entre s el teorema de Bolzano y el , teorema de los valores intermedios o propiedad de Darboux. Algunos libros comienzan por probar el teorema de los valores intermedios (por ejemplo, [Ross, pg. 96, Teorema 18.2]) y el teorema de a Bolzano resulta como caso particular; otros proceden al revs, demostrando primero el teorema de e Bolzano y obteniendo despus el teorema de los valores intermedios como consecuencia. Tomaremos e este segundo camino, que utiliza una demostracin ms constructiva que sugiere un procedimiento o a (un tanto rudimentario) para obtener aproximaciones de ra ces de ecuaciones. Teorema 4.2.8 (de los ceros, de Bolzano). Sea f : [a, b] R una funcin continua (a, b R, o a < b). Supongamos que f (a)f (b) < 0. Entonces existe c (a, b) con f (c) = 0.

4.2. FUNCIONES CONTINUAS

63

Demostracin. Sea, por ejemplo, f (a) < 0 < f (b). Veamos mediante induccin que podemos conso o truir sucesiones (xn ), (yn ) tales que a x1 x2 xn < yn y1 b, ba , f (xi ) 0, f (yi ) > 0 (1 i n). 2i a+b Para ello, comencemos tomando z1 = . O bien f (z1 ) 0, o f (z1 ) > 0. En el primer caso, 2 hagamos x1 = z1 , y1 = b; en el segundo caso hagamos x1 = a, y1 = z1 . En ambos casos, resulta a x1 < y1 b, y1 x1 = (b a)/2, f (x1 ) 0, f (y1 ) > 0. Supongamos construidos x1 , . . . , xn , y1 , . . . , yn , de manera que yi xi = a x1 x2 xn < yn y1 b, xn + yn ba , f (xi ) 0, f (yi ) > 0 (1 i n). Tomamos entonces zn+1 = ; o bien i 2 2 f (zn+1 ) 0 o f (zn+1 ) > 0. En el primer caso, hagamos xn+1 = zn+1 , yn+1 = yn , en el segundo caso hagamos xn+1 = xn , yn+1 = zn ; en ambos casos resulta yi xi = a x1 x2 xn xn+1 < yn+1 yn y1 b, yn+1 xn+1 = ba , f (xn+1 ) 0, f (yn+1 ) > 0. 2n+1 La sucesin (xn ) es una sucesin montona no decreciente, acotada superiormente por b. Eno o o tonces tiene un l mite c, y necesariamente c b. Anlogamente, (yn ) es una sucesin montona no a o o creciente acotada inferiormente por a. As que tiene l mite y necesariamente l yn a. Pero como m n ba l (yn xn ) = l m m n = 0, resulta que l yn = l xn = c, con lo que a c b. m m n n n n 2 Puesto que para cada n N es f (xn ) 0, f (yn ) > 0, usando la continuidad de f en c se deduce nalmente f (c) = l f (xn ) 0, m f (c) = l f (yn ) 0, m
n n

o sea, f (c) = 0 (lo que garantiza adems que a = c = b). a Teorema 4.2.9 (teorema de los valores intermedios o propiedad de Darboux). Sea I un intervalo, f : I R continua. Entonces f tiene la propiedad de los valores intermedios : si a < b y est entre f (a) y f (b), es decir, f (a) < < f (b) o f (a) > > f (b), entonces existe al a menos un x (a, b) tal que f (x) = . Demostracin. Aplicar el teorema de Bolzano a la funcin f (x) en el intervalo [a, b]. o o Corolario 4.2.10. Sea I un intervalo, f : I R continua. Entonces f (I) es un intervalo. Aplicaciones. a) Toda aplicacin continua de [0, 1] en [0, 1] tiene un punto jo (ver [Ross, pg. 97]). o a b) Dado m N, todo y > 0 tiene ra m-sima positiva (ver [Ross, pg. 97]). z e a Lema 4.2.11. Sea g una funcin estrictamente montona en un intervalo J y tal que g(J) es un o o intervalo I. Entonces g es continua en J. Demostracin. Podemos suponer que g es estrictamente creciente (en el otro caso, se sigue de forma o anloga). Sea c J. Entonces, a
xc xc+

l g(x) = sup{g(x) : x J, x < c} g(c), m l g(x) = inf{g(x) : x J, x > c} g(c) m

64

CAP ITULO 4. CONTINUIDAD

(esto, en caso de que c no sea uno de los extremos del intervalo; si lo es, la demostracin se reduce o a tomar el unico l mite lateral que tenga sentido). Se trata de probar que las dos desigualdades son igualdades. Supongamos que, por ejemplo, sup{g(x) : x J, x < c} < g(c) (para la otra desigualdad se procede de manera similar). Elijamos cualquier tal que sup{g(x) : x J, x < c} < < g(c). Entonces, g(x) < para todos los x J, x < c. Y si x J, pero x c, resulta que < g(c) g(x). As que g(J). Sin embargo, tomando cualquier x J tal que x < c, se tiene g(x) < < g(c), / g(x) g(J), g(c) g(J). Por lo tanto, g(J) no es un intervalo, lo que contradice las hiptesis. o Proposicin 4.2.12. Sea I un intervalo, f : I R continua y estrictamente creciente (resp., o estrictamente decreciente ), J = f (I) el intervalo imagen. Entonces la funcin inversa f 1 : o J I es asimismo continua y estrictamente creciente (resp., estrictamente decreciente). Demostracin. Es una consecuencia directa del lema anterior, ya que la funcin inversa de una o o estrictamente montona es tambin estrictamente montona (y del mismo tipo) y f 1 (J) = I es o e o un intervalo. Teorema 4.2.13 (continuidad de la funcin inversa). Sea f una funcin continua e inyectiva o o en un intervalo I. Entonces f es estrictamente creciente o estrictamente decreciente, y la inversa f 1 : f (I) R es asimismo estrictamente montona (del mismo tipo) y continua. o Demostracin. De acuerdo con la proposicin anterior, basta demostrar que f es estrictamente o o montona. Supongamos que f no es estrictamente decreciente; entonces existen ciertos a, b I o tales que a < b, f (a) f (b). Como f es inyectiva, se deduce que f (a) < f (b). Vamos a probar que f es estrictamente creciente, es decir, que r, s I con r < s, resulta que f (r) < f (s). Consideramos seis casos: en los tres primeros uno de los dos puntos r, s es el punto a; en los tres ultimos ninguno es a. Tendremos en cuenta que la funcin es inyectiva, as que, por ejemplo, o tenemos descartado que sea f (r) = f (s). a) r = a, s = b. Ya sabemos que f (a) < f (b). b) r = a, a < s, s = b. Hay que probar que f (a) < f (s). Pero si fuera f (s) < f (a), entonces f (a) estar comprendido entre f (s) y f (b), luego habr algn c comprendido entre s y b tal que a a u f (c) = f (a). Esto no puede ser, porque f es inyectiva. c) s = a, r < a. Hay que probar que f (r) < f (a). Pero si fuera f (r) > f (a), entonces podr amos tomar algn tal que u f (a) < < f (r), f (a) < < f (b). Habr algn c comprendido entre r y a tal que f (c) = y algn d comprendido entre a y b tal a u u que f (d) = . Esto no puede ser, porque f es inyectiva. d) r < a < s. Segn los apartados anteriores, ya sabemos que f (r) < f (a) < f (s). u e) a < r < s. Ya sabemos que f (a) < f (r) y que f (a) < f (s). Si fuera f (r) > f (s), entonces f (s) estar comprendido entre f (a) y f (r), luego habr algn c (a, r) tal que f (c) = f (s). Esto a a u no puede ser, porque f es inyectiva. f) r < s < a. Ya sabemos que f (r) < f (a) y que f (s) < f (a). Si fuera f (r) > f (s), entonces f (r) estar comprendido entre f (s) y f (a), luego habr algn c (s, a) tal que f (c) = f (r). Esto a a u no puede ser, porque f es inyectiva.

4.2. FUNCIONES CONTINUAS

65

4.2.3.

Clasicacin de discontinuidades o

Deniciones 4.2.14 (tipos de discontinuidades). Sea f : D R, c D . Diremos que f tiene en c una discontinuidad evitable si existe l f (x) R pero o bien el l m mite no coincide con
xc

f (c), o bien c D. / Ntese que en tal caso, la funcin g denida por o o g(t) = f (t) l f (x) m
xc

si t D \ {c} si t = c

que es casi la misma que f , resulta continua en el punto c: hemos evitado la discontinuidad de f redeniendo adecuadamente el valor en c como l f (x). Este l m mite se denomina a veces el valor xc asinttico de f en c. o Diremos que f tiene en c una discontinuidad de salto si existen l f (x) R y l f (x) m m
xc xc+

R, pero son distintos. En algunos libros llaman a este tipo de discontinuidad discontinuidad de salto nito . La diferencia l f (x) l f (x) recibe el nombre de salto de f en c (hay textos m m
xc+ xc

que dan este nombre al valor absoluto de la diferencia). Corolario 4.2.15. Sea f : (a, b) R una funcin montona . Si c (a, b), entonces o bien f es o o continua en c o bien f tiene en c una discontinuidad de salto. Nota. Puede probarse que, como consecuencia de este resultado, el conjunto de discontinuidades de una funcin montona en un intervalo es nito o numerable. o o

4.2.4.

Continuidad uniforme. Teorema de Heine. Extensin de funciones contio nuas

Denicin 4.2.16. Sea f : S R R. Entonces f es uniformemente continua en S si para o cada > 0 existe > 0 tal que para cualesquiera x, y S con |x y| < es |f (x) f (y)| < . Ntese que una funcin uniformemente continua es, necesariamente, continua. El rec o o proco, en general, no es cierto. Ejemplo. La funcin o 1 x es continua, pero no uniformemente continua. Sin embargo, para cada a > 0, la funcin o f : (0, 1] R, f (x) = g : [a, +) R, es uniformemente continua. Nota. Por comodidad, diremos a veces que una funcin es uniformemente continua en un subo conjunto de su dominio en vez de decir que la restriccin de la funcin a dicho subconjunto es o o uniformemente continua. As en el ejemplo anterior, la funcin 1/x es uniformemente continua en , o [a, +) (para cualquier a > 0) pero no es uniformemente continua en (0, 1]. Teorema 4.2.17 (de Heine). Si f es continua en un intervalo compacto [a, b], entonces f es uniformemente continua en [a, b]. Demostracin. Sea f : [a, b] R, supongamos que no es uniformemente continua en [a, b] y proo bemos que entonces hay algn punto de [a, b] donde f no es continua. u g(x) = 1 x

66

CAP ITULO 4. CONTINUIDAD

Como f no es uniformemente continua, existe algn > 0 tal que para cualquier > 0 hay u al menos un par de puntos x, y [a, b] (que dependern de ) para los cuales |x y| < , pero a |f (x) f (y)| . Entonces, para cada n N tenemos un par de puntos xn , yn [a, b] tales que |xn yn | < 1 , n |f (xn ) f (yn )| .

En particular, xn yn 0. Dado que la sucesin (yn ) est acotada, hay alguna subsucesin o a o n=1 suya convergente: y(n) c [a, b]. Por otra parte, y dado que xn yn 0, tambin x(n) y(n) 0. Por lo tanto, e x(n) = (x(n) y(n) ) + y(n) c. Por ultimo, la funcin f no puede ser continua en el punto c, ya que entonces se tendr o a |f (x(n) ) f (y(n) )| |f (c) f (c)| = 0 y, sin embargo, |f (x(n) ) f (y(n) )| para todos los n N. Sin embargo, la continuidad en intervalos del tipo (a, b] o [a, +) no produce el mismo efecto: ya hemos visto, por ejemplo, que f : (0, 1] R, f (x) = 1 x

no es uniformemente continua, pese a ser continua; tambin es continua, pero no uniformemente e continua, la funcin o g : [0, +) R, g(x) = x2 (considrense, por ejemplo, los valores de g en n + e 1 y n). n

Proposicin 4.2.18. Si f es uniformemente continua en un conjunto S y (sn ) es una sucesin de o o Cauchy contenida en S, entonces (f (sn )) es una sucesin de Cauchy. o Demostracin. Sea > 0. Como f es uniformemente continua, existe algn > 0 tal que para o u cualesquiera x, y S con |x y| < , se tiene |f (x) f (y)| < . Ahora, como la sucesin (sn ) es de Cauchy, existe algn K N tal que para cualesquiera o u n=1 n, m > K se tiene |sn sm | < . Y adems, sn , sm S. Entonces, para cualesquiera n, m > K se a tiene |f (sn ) f (sm )| < . Por lo tanto, la sucesin (f (sn )) es de Cauchy. o n=1 Proposicin 4.2.19. Una funcin f : (a, b) R es uniformemente continua si y solo si posee una o o extensin continua en [a, b]. o Demostracin. Si f tiene una extensin continua g : [a, b] R, entonces g es uniformemente o o continua, segn el teorema de Heine. Cualquier restriccin de una funcin uniformemente continua u o o tambin es uniformemente continua, y en particular, f . e Ahora supongamos que f es uniformemente continua en (a, b); se trata de probar que existen los dos l mites l f (x), m l f (x) m
xa+ xb

4.2. FUNCIONES CONTINUAS

67

y que son nmeros reales, ya que entonces la siguiente funcin ser una extensin continua de f al u o a o intervalo [a, b]: si x (a, b) f (x), l m g(x) = xa+ f (x), si x = a l f (x), si x = b m
xb

Solo vamos a probar que existe l f (x) y que es un nmero real; el otro l m u mite se prueba de
xa+

manera anloga. a Elijamos una sucesin (sn ) contenida en el intervalo (a, b) y tal que l sn = a. Como es o m n=1 n convergente, la sucesin es de Cauchy; y como la funcin f es uniformemente continua, la sucesin o o o es tambin de Cauchy y, por lo tanto, convergente. Sea (f (sn ))n=1 e l f (sn ) = L R. m
n

Ahora sea (tn ) una sucesin cualquiera contenida en el intervalo (a, b) y tal que l tn = a. o m n=1 n Denamos la nueva sucesin o r2n = tn , r2n1 = sn . Por la misma razn que antes, la sucesin (f (rn )) es convergente. Como (f (tn )) y (f (sn )) o o n=1 n=1 n=1 son dos subsucesiones suyas, deducimos que l f (tn ) = l f (rn ) = l f (sn ) = L. m m m
n n n

Segn la proposicin 4.1.9, u o

xa+

l f (x) = L R. m

68

CAP ITULO 4. CONTINUIDAD

Bibliograf a
[Guzman] Guzmn, M.: El rincn de la pizarra: Ensayos de visualizacin en anlisis matemtico. a o o a a Pirmide, Madrid, 1996.Citado en la(s) pgina(s) 60 a a

[Ross]

Ross, K. A.: Elementary Analysis: The Theory of Calculus. Springer, Berl 1980. n, Citado en la(s) pgina(s) 61, 62, 63 a

69

rea de Anlisis Matemtico Universidad de Zaragoza analisis@unizar.es