CAPTULO 4 :

EL LMITE CONTINUO

4.1.- DEFINICIN Y EJEMPLOS Consideremos dos curvas en el plano, que se cruzan segn la Figura 4.1 siguiente:

Figura 4.1 Qu condiciones deben cumplir estas curvas para que no solo se crucen sino que se corten , es decir, tengan efectivamente un punto en comn ? Si estas curvas son grficas de funciones reales, el ejemplo siguiente nos muestra que el problema tiene una gran trascendencia:

Figura 4.2 Aqu la curva pretende representar la grfica de la funcin f ( x) = x n , y la recta horizontal representa la grfica de la funcin g ( x) = b . Si estas dos curvas tienen un punto en comn, entonces se tendr:

118

f (a ) = a n = g (a ) = b , es decir: a = n b . O sea, el punto en comn es nada menos que la raz n-sima del nmero b. El estudio de este problema nos conduce a la nocin de continuidad y de lmite continuo. El concepto de lmite de sucesiones corresponde a la idea de un acercamiento pasa a paso de los elementos de la sucesin a su lmite. Esta misma idea de acercamiento puede ser concebida de modo continuo. Aqu debe tenerse una funcin definida, no sobre ndices discretos como las sucesiones , sino sobre un intervalo, o por lo menos sobre un conjunto que tenga al punto de acercamiento como punto de acumulacin . Para visualizarlo mejor, ilustrmoslo con un ejemplo: x2 a2 Sea f ( x) = . Qu ocurre cuando x se acerca a a? se acerca xa el valor de la funcin a algn nmero real? Ntese que a no est en el dominio de la funcin f , es decir, no se puede evaluar la funcin en el punto a. Pero para todos los nmeros x distintos de a , la funcin se x 2 a 2 ( x a )( x + a ) = = x + a , luego, si x se puede calcular: f ( x) = xa xa acerca a a (sin tocarla!) claramente f(x) se acerca a 2a . Las grficas siguientes ilustran distintos tipos de comportamiento:
y 1

0.5

0 -5 -2.5 0 2.5 5 x

-0.5

-1

(a)

(b) Figura 4.3

(c)

En la Figura 4.3 (a), la funcin asume un valor distinto del valor L de acercamiento. En la Figura 4.3 (b) se ha graficado la funcin parte entera (el mayor entero menor o igual a la variable). Aqu el valor de

119

acercamiento es diferente si uno se acerca a los enteros por la izquierda o por la derecha: Si uno se acerca a 1 por la izquierda, la funcin se acerca a cero, mientras que por la derecha lo hace a 1. Finalmente, en 1 la Figura 4.3 (c), se ha graficado la funcin sen( ) , la cual no se x acerca a ninguna parte cuando x se acerca a 0.

La idea de lmite continuo es la de un acercamiento condicionado: el nmero f ( x) se acerca a su lmite si acaso x se acerca al punto de acercamiento correspondiente. Ya hemos introducido, cuando vimos los lmites de sucesiones, el concepto que matematiza la idea de acercamiento: se trata de las vecindades . La siguiente definicin no debiera, por lo tanto, ser demasiado sorprendente:
Definicin: Sea f : D , x 0 D ' . Entonces el lmite de la funcin f cuando x tiende a x0 es L, en smbolos:
x x0

lim f ( x) = L

Si acaso:

(U WL )(V W x0 )( x V D {x0 } f ( x) U )

La siguiente figura (abstracta) puede ilustrar esta definicin:

Figura 4.4

120

La definicin formal anterior ha sido escrita en lenguaje lgico: vale la pena hacer algunas observaciones aclaratorias: 1. Utilizando la definicin de subconjunto, la definicin puede ser reescrita del siguiente modo:
(U WL )(V W x0 )( f (V D {x0 }) U ) 2. La estructura lgica de este concepto (la definicin mirada con rayos X) es : p (q (r s )) No es, por lo tanto, una nocin simple. Sin embargo, tampoco es tan compleja: en el lenguaje usual usamos expresiones cuya estructura lgica es similar: Para cada perro hay un collar, tal que , si no se lo pone , correr como loco por todas partes o bien: cada vez que voy a comprar, me sale un perro que, si no le tiro una piedra, me muerde
3. Se ha exigido que el punto de acercamiento x0 sea un punto de acumulacin del dominio de la funcin. Esto es necesario , pues de lo contrario, segn la definicin de punto de acumulacin, se podr encontrar siempre una vecindad V de x0 tal que V D {x0 } = , con lo cual la condicin de lmite se cumple para cualquier punto (hiptesis vaca). Desde el punto de vista intuitivo, esta exigencia significa que nos podemos acercar efectivamente al punto x0 por puntos que estn en el dominio de la funcin. 4. Cuando tanto el punto de acercamiento x0 como el lmite L son nmeros reales, la definicin puede ser escrita usando las vecindades especficas de los nmeros reales:

( > 0)( > 0)(0 < x x0 < x D f ( x) L < ) 5. Si x0 , pero L = , entonces hay que usar las vecindades propias del punto infinito, y se tiene lim f ( x) =
x x0

121

si acaso: (K > 0)( > 0)(0 < x x 0 < f ( x) > K ) 6. Si x0 = , pero L , entonces lim f ( x) = L significa:
x

( > 0)(K > 0)( x > K x D f ( x ) L < )

7. De modo anlogo se traduce la definicin de lmite a los casos:

x

lim f ( x) = L , lim = ,
x x0

lim f ( x) =

8. Los lmites de sucesiones tambin son casos particulares de esta definicin general. En este caso el dominio de la funcin es el conjunto de los nmeros naturales (o una cola de l) y el nico punto de acumulacin de este conjunto es , con lo cual la definicin general anterior coincide con la definicin dada en el captulo 3. De pasada podemos observar que la notacin tradicional lim a n puede ser simplificada omitiendo el smbolo
n

n , ya que n no puede tender a otro lado que a infinito. 9. Finalmente podemos introducir los conceptos de lmites laterales, simplemente restringiendo la funcin al lado izquierdo o derecho del punto de acercamiento (el cual debe ser, por supuesto, un nmero real): a) lim f ( x) = L (lmite por la izquierda), si acaso
x x0

(U WL )( > 0)( x0 < x < x0 x D f ( x) U ) b) lim f ( x) = L (lmite por la derecha) , si acaso:

x x0

(U WL )( > 0)( x0 < x < x0 + x D f ( x) U ) Existen otras notaciones para estos lmites laterales. Nosotros hemos denotado el lmite por la izquierda indicando que el acercamiento hacia x0 es desde la izquierda, es decir, con x

122

subiendo hacia x0 . Otros autores denotan este lmite agregando un signo menos al punto de acercamiento: lim f ( x) . Para el
x x0

lmite por la derecha, hemos indicado que el acercamiento es desde la derecha, es decir, bajando hacia x0 . Otros autores agregan un signo ms al punto de acercamiento: lim+ f ( x) .
x x0

Debido a la existencia de estos lmites laterales, el lmite propiamente tal de una funcin suele recibir el nombre de lmite bilateral.

Ejemplos

1 . El dominio de esta funcin es D = {0}, es x decir, no incluye al 0. Pero el 0 es obviamente un punto de acumulacin del dominio de la funcin, por lo que tiene sentido preguntarnos por los posibles lmites hacia el 0: 1 1 a) lim = : en efecto, sea K > 0 : basta tomar = > 0 . x0 x K 1 1 Si tomamos x tal que 0 < x < , entonces f ( x) = > = K . x 1 b) lim = : en efecto, si nos damos un nmero K < 0 , x0 x 1 basta tomar = > 0 : Si tomamos un x tal que K 1 1 < x < 0 , entonces f ( x) = < =K. x Debe notarse que, en este caso no hay limite bilateral, pero ambos lmites laterales existen, si bien no son nmeros reales. 1. f ( x) =
2. lim( x 2 + 1) = 2 . Este resultado es muy intuitivo, sin
x 1

embargo es preciso fundamentarlo, ya sea con algn teorema (que an no tenemos) o, al menos, directamente con la definicin: sea > 0 .Buscamos una vecindad de 1 que asegure : ( x 2 + 1) 2 = x 2 1 = x 1 x + 1 <

123

para todos los x en esa vecindad. Esto se cumplir si

. Debemos, pues, buscar una condicin de x +1 acercamiento al 1 para x que implique la desigualdad anterior. 1 1 2 Sea = min , . Si | x 1 |< , entonces | x 1 |< , 2 2 5 1 3 luego < x < . Adems: 2 2 2 = < = | x 1 |< 3 5 x +1 | x +1| +1 2 3. lim x 1 = 0 . Debe notarse, antes que nada, que este
x 1

acaso: x 1 <

lmite coincide con el lmite por la derecha, ya que el dominio de la funcin solo tiene elementos a la derecha del 1. Para demostrar nuestra afirmacin, tomemos un acercamiento arbitrario > 0 : buscamos un acercamiento > 0 al 1 que nos asegure: x 1 < . Pero esta desigualdad est implicada por x 1 < 2 , ya que ambos lados son positivos. Por lo tanto basta tomar = 2 . 4. lim x = a , a 0 . Si acaso a = 0 , se trata
xa

esencialmente del mismo ejemplo anterior. Supongamos que a 0 , es decir, a > 0 . Sea > 0 : necesitamos encontrar un > 0 que nos asegure x a < . El siguiente clculo algebraico nos ayudar a encontrarlo:

x a =

x a ( x + a) ( x + a)

xa x+ a

xa a

luego, bastar con tomar un = a . 5. El razonamiento empleado en el ejemplo anterior nos permite una generalizacin interesante: supongamos que hay una funcin tal que lim f ( x) = L 0. Entonces:
xa

124

lim
xa

f ( x) = lim f ( x)
xa

En efecto, si L = 0 , entonces dado > 0 , la desigualdad f ( x) < se logra con un > 0 que asegure f ( x) < 2 , si acaso 0 < x a < . Para L > 0 usamos el mismo truco algebraico del punto anterior: f ( x) L f ( x) L f ( x) L = < se lograr con un f ( x) + L L

acercamiento que asegure f ( x) L < L , lo cual ,a su vez, resulta de la hiptesis de que L es efectivamente el lmite de la funcin. 6. lim x n = , si n es un nmero natural no nulo. En efecto,
x

sea K > 0 . Basta tomar M = n K : si x > M , entonces xn > K .

.si.b > 0 7. lim bx = . Esto resulta directamente de las x .si.b < 0 definiciones. Finalmente agreguemos algunas observaciones: lim f ( x) = L lim f ( x) L = 0 , si acaso el lmite L es un
xa xa

nmero real. Esta propiedad resulta directamente de las definiciones. lim f ( x) = L lim f ( x) = lim f ( x) = L . Esto resulta
xa xa xa

tambin directamente de las definiciones. Ntese que en este caso el lmite L no necesita ser un nmero real. Demostrar la existencia de un lmite y, ms an, el clculo de su valor son asuntos extremadamente complicados si la funcin no es tan sencilla como las que se han presentado en los ejemplos. Se necesita una teora. Y esa teora existe! Presentaremos a continuacin sus elementos fundamentales.

TEOREMA 2. (Propiedades bsicas de los lmites de funciones)

125

1. 2. 3.

(unicidad del lmite) Si una funcin tiene lmite, ste es nico. Si f ( x) = g ( x), x a , entonces lim f ( x) = L lim g ( x) = L
xa xa

(cero aniquila) Si lim f ( x) = 0 y g es una funcin

xa

acotada en una vecindad de a, entonces lim( fg )( x) = 0

xa

4. 5.

(el sandwich) Si f ( x) h( x) g ( x), x a y si lim f ( x) = lim g ( x) = L , entonces lim h( x) = L

xa xa xa

(el lgebra de lmites) Si lim f ( x) = A lim g ( x) = B

xa xa

entonces: lim( f + g )( x) = A + B
xa

lim( fg )( x) = AB
xa

Si adems B 0 , lim
xa

f A ( x) = g B

6.

(lema de enlace) lim f ( x) = L

xa

((a n ), a n dom( f ), a n a, a n a, f (a n ) L)

DEMOSTRACIN.
1. Si una funcin tuviese dos lmites distintos, digamos A B , entonces podemos tomar vecindades disjuntas de A y B que debern contener las imgenes de puntos que estn vecindades del mismo punto de acercamiento, lo cual es imposible, pues la interseccin de dos vecindades de un punto es tambin una vecindad del mismo punto. 2. Esta propiedad es consecuencia directa de la definicin pues el punto de acercamiento se excluye de la condicin.

126

3. Sea lim f ( x) = 0 y g ( x) M para todo x en una vecindad V1 de

xa

a. Sea > 0 : existe una vecindad V2 de a tal que , si

. Por lo tanto bastar M con tomar la vecindad V = V1 V2 : si a x V dom( f ) ,

x V2 dom( f ) {a} , entonces f ( x) <

= . M 4. Aqu es preciso distinguir tres casos: L . Sea > 0 : existirn dos vecindades de a , V1 ,V2 tales que : a x V1 dom( f ) L < f ( x) < L + a x V2 dom( g ) L < g ( x) < L + . Bastar con tomar la vecindad V = V1 V2 de a para que ambas desigualdades se cumplan, luego, si a x V dom(h) , se tendr: L < f ( x ) h( x ) g ( x ) < L +
entonces g ( x) f ( x) < M L = . Sea K > 0 : existe una vecindad V de a tal que , si a x V dom( f ) dom(h) , entonces K < f ( x) h( x) , es decir, lim h( x) = . Ntese que la funcin g no se ha usado.
xa

L = . Sea K < 0 : existe una vecindad V de a tal que , si a x V dom( g ) dom(h) , entonces h( x) g ( x) < K , es decir, lim h( x) = .
xa

5. Sea : lim f ( x) = A lim g ( x) = B . Veremos

xa xa

separadamente los tres casos: La suma: Sea > 0 : existirn dos vecindades V1 , V2 de a tales que:

, 2 a x V2 dom( g ) g ( x) B < 2 Bastar entonces tomar la vecindad V = V1 V2 para tener f ( x) + g ( x) ( A + B) f ( x) A + g ( x) B < + = si acaso 2 2 a x V dom( f ) dom( g )

a x V1 dom( f ) f ( x) A <

127

El producto: puesto que A es un nmero real, la funcin f estar acotada , digamos por M , en una vecindad V1 de a . Por otro lado habr otra vecindad , digamos V2 , tal que g ( x) B < en esa 2M vecindad y, finalmente, habr una tercera vecindad, V3 donde se cumple f ( x) A < . Por lo tanto, si V = V1 V2 V3 y si 2B a x V dom( f ) dom( g ) , entonces tendremos: f ( x) g ( x) AB f ( x) g ( x) f ( x) B + f ( x) B AB = = f ( x) g ( x) B + f ( x) A B < M

2M

2B

B =

El cuociente: demostraremos primero el caso especial en que f ( x) = 1, x . Recordemos que B 0 , por lo tanto existe una vecindad V1 de a tal que si a x V1 dom( g ) , entonces se B tendr: g ( x) B < . Usando la desigualdad triangular al 2 B , por lo tanto revs, se tiene B g ( x) B g ( x) < 2 B . Por otro lado existe una vecindad V2 donde g ( x) > 2 2 B y si tomamos, como antes la interseccin de g ( x) B < 2 estas vecindades, se tendr 2 B g ( x) 1 1 2 1 B = < = g ( x) B g ( x) B B B 2
Para el caso general, en que f es una funcin cualquiera que cumple la hiptesis, basta usar el teorema para el producto.

6. El llamado lema de enlace recibe ese nombre porque enlaza el lmite continuo con el lmite discreto, es decir, de sucesiones. Se trata de una condicin necesaria y suficiente:

128

Sea lim f ( x) = L , sea (a n ), a n dom( f ), a n a , a n a y

xa

sea U W L . Por la hiptesis, para esta vecindad debe existir una vecindad V de a tal que f ( x) U si a x V dom( f ) . Pero para esta vecindad de a existe un nmero natural m tal que a n V , si n>m. Luego f (a n ) U , es decir, puesto que a n a , limf (a n ) = L Sea ahora : para cada sucesin (a n ), a n dom( f ), a n a , a n a , que f (a n ) L . Sea U WL y supongamos que no existe ninguna vecindad V de a que cumpla con f (V dom( f ) {a}) U : debemos llegar a una contradiccin. Es necesario distinguir tres casos: (i) a : para cada nmero 1 1 natural n podemos considerar la vecindad Vn = a , a + . n n Por nuestra suposicin debe existir un elemento a n Vn dom( f ) {a} tal que f (a n ) U . Luego esta sucesin (a n ) tiende a a , pero f (a n ) no tiende a L . (ii) Si a = , basta tomar Vn = ]n, ] y el mismo argumento es vlido. (iii) Si a = , entonces debe tomarse Vn = [ , n[ .

Q.E.D.
Ejemplos

sen x = 1 . Este resultado necesita, en rigor, de una definicin x 0 x analtica de la funcin seno. Pero eso requiere un poco ms de anlisis (Teora de Integracin). Sin embargo, si aceptamos algunas propiedades que resultan de la geometra, podemos obtenerlo: 1.- lim

129

Figura 4.3 De la figura resulta la desigualdad: sen( x) x tg( x) = luego: cos( x) sen( x) , cos( x)

sen( x) 1 y, aceptando que lim cos( x) = 1 se x 0 x obtiene el resultado propuesto por el teorema del sandwich. [x ], x 1 Entonces se afirma : lim f ( x) = 1 . En 2. Sea f ( x) = x 1 2 x 1, x < 1 este caso no podemos evitar el clculo de lmites laterales: lim f ( x) = lim[x ] = 1 y lim f ( x) = lim(2 x 1) = 1
x 1 x 1 x 1 x 1

3. lim

x+ x+ x de lmites pues no es un nmero real. Pero podemos hacer previamente un arreglo algebraico: x x 1 = = x+ x+ x 1 1 1 1 x( 1+ + ) 1+ + x x x x lmite es 1 aplicando el lgebra de lmites. 4. lim

= 1 . En este caso no podemos aplicar el lgebra

cuyo

1+ x2 1 = 0 . Aqu tampoco podemos usar directamente el x 0 x lgebra de lmites. El truco algebraico es, en este caso, similar al que

130

se emple para las sucesiones: 1 + x 2 1 ( 1 + x 2 1)( 1 + x 2 + 1 x2 x = = = 2 2 x x( 1 + x + 1) x( 1 + x + 1) 1+ x2 +1 a esta ltima fraccin podemos aplicar el lgebra de lmites y el resultado es 0. 1 5. lim n sen( ) = 1 . Se trata, en este caso, del lmite de una sucesin. n n cmo usar la teora de lmites continuos para abordar este lmite discreto? Usaremos, evidentemente, el lema de enlace: consideremos sen( x) 1 y la sucesin a n = . Entonces: la funcin real f ( x) = x n 1 sen( ) n = n sen( 1 ) . Como lim f ( x) = 1 , entonces tambin f (a n ) = x 0 1 n n nuestra sucesin tiende a 1. 6.(*) lim f ( x) = lim f (1 2 x) , en el sentido que: la existencia de
x 1 x0

un lado implica la del otro y vale la igualdad. Este resultado es bastante intuitivo, corresponde a una suerte de cambio de variables, pues si x tiende a 0 entonces 1 2 x tiende a 1 y los signos dan la lateralidad correspondiente. Sin embargo vale la pena examinarlo con detalles. En primer lugar hay que entender que hay en juego dos funciones : la funcin f y la funcin compuesta g ( x) = f (1 2 x) . Si queremos analizar este ejemplo en toda su generalidad, debemos examinar los dominios de ambas funciones recordando que los puntos de acercamiento deben ser puntos de acumulacin de dichos dominios. La relacin entre los dominios es claramente la siguiente: 1 x x dom( f ) dom( g ) ; 2 x dom( g ) 1 2 x dom( f ) a) Sea lim f ( x) = L . Entonces 1 es un punto de acumulacin
x 1

del lado derecho del dominio de f , es decir: 1 (dom( f ) ]1, [)' . Debemos demostrar, en primer lugar, que 0 es un punto de acumulacin del lado izquierdo del

131

dominio de g. Para esto, sea > 0 . Pero existe un x en el dominio de f tal que 1 < x < 1 + 2 , por lo tanto 1 x 1 x < < 0 , con dom( g ) , es decir, 0 es punto de 2 2 acumulacin del lado izquierdo del dominio de g. Sea ahora U W L . Por hiptesis existe > 0 tal que, si 1 < x < 1 + y

< y < 0, 2 con y dom( g ) para tener: 1 < 1 2 y < 1 + , con 1 2 y dom( f ) , por lo tanto g ( y ) = f (1 2 y ) U . Es decir, lim f (1 2 x) = L .
x0

x dom( f ) , se tiene f ( x) U . Bastar tomar

b) Sea ahora lim f (1 2 x) = L . En particular,

0 (dom( g ) ] ,0[)' . Debemos demostrar, en primer lugar que 1 es punto de acumulacin del lado derecho del dominio de f Para esto, sea > 0 : debe existir x en el dominio de g tal
x0

< x < 0 , por lo tanto 1 + 2 x < 1 + con 2 1 + 2 x dom( f ) , luego efectivamente 1 (dom( f ) ]1, [)' . Sea ahora U W L : deber existir > 0 tal que , si < x < 0 x dom( g ) , entonces g ( x) U . Pero bastar con tomar ]1,1 + 2 [ como vecindad derecha de 1: si 1 y 1 < y < 1 + 2 y dom( f ) , entonces < < 0 con 2 1 y 1 y dom( g ) , por lo tanto g ( ) = f ( y ) U , es decir 2 2 lim f ( x) = L .
que
x 1

7. (*) Sea lim f ( x) = . Entonces lim

1 = 0 . Este ejemplo es x 1 f ( x ) x 1 similar al anterior, si lo queremos analizar en toda su generalidad. Lo primero ser demostrar que, bajo la hiptesis de que 1 es punto de acumulacin del dominio de f , 1 tambin es punto de 1 acumulacin del dominio de la funcin . Para esto sea V una f vecindad de 1 . Deber existir otra vecindad V1 V tal que

132

f (V1 dom( f ) { 1}) ] ,1[ Pero el conjunto V1 dom( f ) { 1} no es vaco , luego existe un x en este conjunto y como f ( x) < 1 , existe el inverso multiplicativo de f ( x) , es 1 1 decir, x dom( ) , luego, en particular x V dom( ) { 1} . Por f f lo tanto 1 es tambin punto de acumulacin del dominio de la 1 funcin . f Sea ahora > 0 : por la hiptesis hay una vecindad V de 1 tal que , 1 1} , entonces f ( x) < . Luego si: x V dom( f ) {

1 1 1 = < , es decir, lim = 0. x 1 f ( x ) f ( x) f ( x)

4.2

PROBLEMAS

1. En la siguiente pregunta la existencia o no existencia de lmites se refiere a lmites de valores reales: Si no existe lim( f ) ni lim(g), PUEDE existir lim(f+g) ? Si existe lim(f) y lim(f+g) DEBE existir lim(g) ? Si existe lim(f) y no existe lim(g) PUEDE existir lim(f+g)? Si existe lim(f) y lim(fg) DEBE existir lim(g)? 2. Cree Ud. que existen los siguientes lmites?: lim([x ] + x [x ])
x 1

lim
x 8

x 8 x 8

133

3 x 2 ,x <8 lim g ( x) , donde g ( x) = x 8 x 8 2 ,x >8 3x 1 cos x ,x < 0 x2 lim f ( x) , donde f ( x) = 3 x 0 ( x + 2) 8 , x > 0 x

En caso que su respuesta sea afirmativa cules seran sus valores? 3. Calcule los siguientes lmites (si es que existen) : lim 6 7x (3 + 2 x) 4 xn yn x y

x 2

lim
x y

1+ x + x2 1 x 0 x x 1 2 lim 2 x 5 x 25 sen(6 x) lim x 0 x sen 2 x lim x 0 x tg( x ) z + tg( z ) lim z 0 sen z lim lim
h 0

a+h a h

4(*). Demuestre las siguientes igualdades, en el sentido que la existencia de un lado implica la del otro y vale la igualdad: 1 lim f ( x) = lim f ( ) x x 0 x

134

1 lim f ( x) = lim f ( ) x x 0 x lim f ( x) = lim f ( x)

x0 x0

5. Demostrar que, si lim f ( x) = L , entonces lim f ( x) = L

xa xa

x, x.es.racional 6. Demostrar que , si f ( x) = , entonces x, x.es.irracional lim f ( x) no existe si a 0 .

xa

7. Demostrar lim f ( x ) = lim f ( x)

x 0 x0

8. Demostrar lim f ( x ) = lim f ( x)

2

x 0

x 0

9. Escriba detalladamente la definicin de lim f ( x) = y su

x

negacin. 10. Sern correctas todas las siguientes definiciones de limite, a : lim f ( x) = L
xa

Para todo > 0 existe un > 0 tal que: Si 0 < x a < , entonces f ( x ) L < Para todo > 0 existe un > 0 tal que: Si 0 < x a < , entonces f ( x) L Para todo > 0 existe un > 0 tal que: Si 0 < x a < 5 , entonces f ( x) L < Para todo > 0 existe un > 0 tal que: Si 0 < x a < , entonces f ( x ) L < 5

11. Suponga que lim g ( x) = 0 . Ser cierto que lim

f ( x) = ? Si Ud. xa xa g ( x) considera que no es cierto deber demostrarlo apropiadamente. Tal vez podra Ud. obtener un verdadero teorema agregando algunas hiptesis.

135

4.3.- Definicin. Sea f : D , x0 D . La funcin f se dice continua en el punto x0 de su dominio, si acaso:

(U W f ( x0 ) )(V W x0 )( x V D f ( x) U )
Como tanto x0 como f ( x0 ) son nmeros reales, la definicin anterior se traduce:
( > 0)( > 0)( x x0 < f ( x) f ( x 0 < )

La funcin se dice continua en el dominio D, si acaso es continua en cada punto de ese dominio

Observaciones:
1. Es importante notar las semejanzas y las diferencias de esta definicin con la definicin de lmite continuo. En la definicin de continuidad, el punto no necesita ser punto de acumulacin del dominio de la funcin, pero si necesita ser un punto del dominio de la funcin En la definicin de lmite continuo el punto no necesita estar en el dominio de la funcin, pero si necesita ser un punto de acumulacin del dominio de la funcin. Si acaso x0 D D' , entonces f es continua en x0 si y solo si: lim f ( x) = f ( x0 )
x x0

2.

3. Si x0 es un punto aislado del dominio de la funcin, entonces la funcin es continua en x0 4. La continuidad es una propiedad local, es decir, solo involucra al punto de continuidad y a una vecindad arbitrariamente pequea. 5. Utilizando estas observaciones y el lgebra de lmites, vale tambin el algebra de las funciones continuas: la suma, producto y cuociente de funciones continuas (donde no se anule el denominador) es continuo. Aqu puede agregarse tambin la operacin composicin: pero esto requiere de una

136

demostracin, puesto que no aparece en nuestro teorema del lgebra de lmites. 6. Si se restringe la funcin al lado izquierdo del punto, surge en forma natural el concepto de continuidad por la izquierda:

lim f ( x) = f ( x0 )
x x0

y de modo anlogo el de continuidad por la derecha:

lim f ( x) = f ( x0 )
x x0

Ejemplos
1. La funcin f ( x) = sen x no es continua en 0, pues 0 no est en el x dominio de la funcin . Pero posee una extensin continua: la sen x ,x 0 extensin de f definida por f ( x) = x , 1 , x 0 = es continua en 0

2.

La funcin parte entera : f ( x) = [x ] obviamente que no es continua en los enteros, pero es continua por la derecha en los enteros. La funcin identidad f ( x) = x es claramente continua, lo que se ve directamente de la definicin. Por lo tanto , usando el lgebra de las funciones continuas, tambin lo sern todas las funciones polinmicas : f ( x) = a 0 + a1 x + .....a n x n y tambin las funciones racionales donde no se anule el denominador: a 0 + a1 x + ...a n x n R ( x) = b0 + b1 x + ...bm x m

3.

137

x 2 , x 0 4. La funcin f ( x) = es discontinua en 0, pues el lmite en 1, x = 0 0 no coincide con el valor de la funcin. Este tipo de discontinuidades se suele llamar reparable, pues la funcin puede dar origen a una funcin continua redefiniendo la funcin en el punto 0. Este concepto de reparabilidad de las funciones es bastante controvertido: sugiere que las funciones discontinuas son anmalas, estn mal definidas, como si la continuidad fuese una condicin de normalidad de las funciones. 1 sen( ), x 0 La funcin f ( x) = es claramente discontinua x 0 , x = 0 en el punto 0 sin posibilidad alguna de ser reparada, pues no tiene lmite es ese punto. Este tipo de discontinuidades se denomina de segunda especie, para diferenciarlas de aquellas en que existen ambos lmites laterales, las cuales se llaman de primera especie.

5.

6.(*) Vamos a llamar funcin de Spivak a la funcin Sp : [0,1] , definida por:

0, si.x.es.irracional Sp ( x) = 1, si.x = 0 p 1 q , si.x = q , p, q, primos.relativos Una buena grfica de esta funcin no es fcil de hacer, pero se puede ilustrar dibujando el valor de la funcin en algunos puntos:

138

Figura 4.5 Esta funcin es discontinua sobre los racionales del 1 p intervalo [0,1] . En efecto, si x = , entonces f ( x) = > 0 . q q Basta tomar como vecindad de este punto el intervalo 1 11 1 q , q + con = 2 q . Entonces, para cualquier vecindad de x habr puntos cuyos valores de funcin se salen de esta vecindad de f ( x) , a saber, aquellos cuya valor de funcin es 0, o sea, los irracionales. Pero lo interesante es que esta funcin es continua sobre los irracionales: Sea x* un nmero irracional del intervalo [0,1] . 1 Sea > 0 , y sea n > . Para cada denominador

vecindad ]x * , x * + [ solo habr racionales con p 1 1 denominador q > n , por lo tanto Sp ( ) = < < , lo q q n que demuestra la continuidad de esta funcin sobre los irracionales, ya que ella se anula sobre los irracionales.

p [0,1] q , a saber, aquellos donde p = 1,2,3...q . Tomar el racional r ms cercano a x* y definir = r x * > 0 . Entonces en la q = 1,2,3,4...n hay un nmero finito de racionales

139

TEOREMA 3. (Propiedades bsicas de las funciones continuas)

1. Sea lim g ( x) = L , sea f continua en el punto L y sea a un
xa

punto de acumulacin de dom( f D g ) . Entonces lim f ( g ( x)) = f (lim g ( x)) = f ( L)

xa xa

2. Sea f continua en a, f (a ) > c . Entonces hay una vecindad U de a tal que f ( x) > c, x U . Anlogamente, si acaso f (a) < c , hay una vecindad U de a tal que f ( x) < c, x U 3. (Teorema del valor intermedio) Sea f : [a, b] continua en [a, b] , y sea f (a) < c < f (b) (o bien f (a) > c > f (b) ). Entonces existe un x0 [a, b] , tal que f ( x0 ) = c . 4. (Teorema de los valores extremos) Sea f : [a, b] continua en [a, b] . Entonces existen puntos x1 , x 2 [a, b ] tales que f ( x1 ) = inf( f [a, b]) y f ( x 2 ) = sup( f [a, b]) 5. (Teorema de la funcin inversa) Sea f : [a, b ] inyectiva y continua. Entonces f es estrictamente montona, el recorrido de la funcin f [a, b] es un intervalo y la funcin inversa f
1

: f [a, b] es continua.

DEMOSTRACIN
1. Sea lim g ( x) = L , sea f continua en el punto L y sea a un punto de acumulacin de dom( f D g ) . Sea > 0 : por continuidad de f en L , existe > 0 tal que f ( y ) f ( L) < para todo
x a

y domf que cumpla y L < . Pero para este , por definicin

de lmite, existe una vecindad V de a tal que g ( x) L < ,si acaso x V domg {a}

140

Usando la misma vecindad V , si x V dom( f D g ) {a} , entonces se tendr en particular que g ( x) domf , y cumple las hiptesis , luego f ( g ( x )) f ( L) < . 2. Sea f continua en a, f (a) > c . Tomar = f (a) c > 0 . Por continuidad existe una vecindad V de a tal que, si x V dom( f ) , entonces f (a ) f ( x ) f ( x) f (a ) < = f (a ) c , de donde

f ( x) > c . El caso en que f (a ) < c es completamente anlogo.

3. Sea f : [a, b ] continua en [a, b ] , y sea f (a) < c < f (b) . Construyamos el conjunto: A = {x [a, b] : f ( y ) < c, y [a, x ]}. Este conjunto no es vaco pues contiene a a y es acotado superiormente por b. Luego, por el axioma del supremo existe x0 = sup( A) . Adems x0 b por ser b una cota superior y x0 ser la menor. Adems x0 a por ser a elemento de A y x0 una cota superior de A. Por lo tanto x0 [a, b] = dom( f ) . En particular, f es continua en x0 . Demostraremos que este punto satisface la propiedad f ( x0 ) = c . Supongamos que f ( x0 ) < c : por el punto anterior habra una vecindad de a donde esto ocurre, en particular habra un x1 > x0 donde f ( x1 ) < c , con lo

cual x0 no sera cota superior de A. Del mismo modo, si f ( x0 ) > c , habra una vecindad con esa misma propiedad y ninguno de esos puntos estara en A, con lo cual habra cotas menores que x0 , es decir, x0 no sera supremo. El caso f (a) > c > f (b) es completamente anlogo. 4. Sea f : [a, b] continua en [a, b] . Demostraremos primero que el conjunto f [a, b] es acotado. Sea : A = {x [a, b] : f [a, x ].es.a cot ado}. Es claro que A , pues a A , adems A est acotado por b. Por el axioma del supremo existe x0 = sup( A) . Por el punto anterior, la funcin f es acotada en una vecindad de cada punto de continuidad, en particular, x0 > a . Adems x0 b , luego x0 [a, b] . Si suponemos que x0 < b , por ser f acotada en una vecindad de x0 existira un

141

x > x0 donde f [a, x ] es acotado , luego x0 no sera supremo. Luego x0 = b . Finalmente f es acotada en una vecindad de b, con lo que el conjunto f [a, b ] es acotado. Llamemos = inf( f [a, b]) , y = sup( f [a, b ]) . Debemos demostrar que tanto como estn en el recorrido de la funcin. Supongamos que f ( x), x [a, b] . Se tendra que 1 es continua en [a, b] y por lo tanto la funcin f ( x) acotada all. Esto, sin embargo, no es cierto, pues si nos damos 1 y, por definicin de supremo K > 0 bastar tomar = K habra x [a, b] tal que f ( x) > , es decir, 1 1 0 < f ( x) < , luego: > = K . Anlogamente f ( x) ocurre con . Esto demuestra que ambos puntos son asumidos por la funcin en el intervalo [a, b ] . 5. Sea f : [a, b] inyectiva y continua. Demostraremos este teorema en varios pasos: Sea x < y < z f ( x) < f ( z ) : entonces f ( x) < f ( y ) < f ( z ) . En efecto, si no es as, por el teorema del valor intermedio ya demostrado, se contradira la inyectividad de la funcin. La Figura 4.5 ilustra este comportamiento.

Figura 4.6

142

Anlogamente, si x < y < z f ( x) > f ( z ) , entonces f ( x) > f ( y ) > f ( z ) . Sea ahora x < y f ( x) < f ( y ) y tomemos un punto z fuera del intervalo z < x < y . Entonces debe ocurrir f ( z ) < f ( x) , de lo contrario se contradira el punto anterior tomando y como punto intermedio. Anlogamente, si y < z , se debe tener f ( y ) < f ( z ) Anlogamente si x < y f ( x) > f ( y ) Aplicando todos los puntos anteriores, si f (a) < f (b) , entonces f es estrictamente creciente. Si en cambio f (a) > f (b) , entonces f es estrictamente decreciente.

Sea ahora f 1 : rec( f ) [a, b] . Demostraremos la continuidad de esta funcin en todo su dominio. Sea y 0 rec( f ) , luego existe un nico x0 [a, b] , tal que f ( x0 ) = y 0 . Sea > 0 : tomemos

Hemos demostrado que rec( f ) = [ f (a), f (b)] , si f es creciente y rec( f ) = [ f (b), f (a )] si f es decreciente.

= min{ f ( x 0 + ) y 0 , y 0 f ( x0 )}

Para el caso creciente (luego f 1 tambin es creciente), si y < y 0 + y 0 + f ( x0 + ) y 0 = f ( x0 + ) , aplicando f

se

tiene: f 1 ( y ) < f 1 f ( x0 + ) = x0 + = f 1 ( y 0 ) + . Si y > y 0 y 0 y 0 + f ( x0 ) = f ( x0 ) , entonces: f

1

( y ) > x0 = f

( y 0 ) . Por lo tanto juntando estas dos

1

ltimas desigualdades: f continuidad.

( y) f

( y 0 ) < , lo que demustra la

El caso decreciente es enteramente anlogo. Q.E.D

Corolarios y observaciones.
1. Si la funcin f no es continua el punto 1 del Teorema puede fallar: 1, x = 0 Sea f ( x) = y g ( x) = x . Entonces lim g ( x) = 0 , luego x 0 0, x 0

143

f (lim g ( x)) = f (0) = 1 . Pero lim f ( g ( x)) = lim f ( x) = 0 .

x 0 x 0 x 0

2. Esta observacin nos debiera poner en alerta respecto al cambio de variables en los lmites. Un ejemplo simple al respecto es el 1, x > 0 siguiente: sea f ( x) = 0, x = 0 . Claramente no existe lim f (u ) . u 0 1, x < 0 Pero si hacemos el cambio de variables x 2 = u tendramos lim f ( x 2 ) = 1 .
x 0

3. Podemos demostrar un verdadero teorema de cambio de variables (Teorema de Substitucin) si agregamos las suficientes hiptesis y utilizamos adecuadamente nuestro Teorema: Sea lim f (u ) = L
u u 0 t t 0

Sea lim u (t ) = u 0 Sea rec(u ) dom( f ) Sea u (t ) u 0 , t V {t 0 }, V .vecindad .de.t 0 Entonces efectivamente lim f (u (t )) = L
t t 0

Para demostrar esto, comenzamos por definir f (u 0 ) = lim f (u ) = L , con lo cual f se extiende continuamente a
u u 0

u 0 . La cuarta hiptesis permite asegurar que t 0 es un punto de acumulacin del dominio de la funcin compuesta f D u . Finalmente, aplicando el teorema, obtenemos lim f (u (t )) = f (lim u (t )) = f (u 0 ) = L = lim f (u )
t t 0 t t 0 u u 0

4. De este mismo punto del Teorema podemos extraer el corolario: la compuesta de dos funciones continuas es continua, ms precisamente: si g es continua en a y f es continua en g (a) , entonces f D g es continua en a.

144

5. El Teorema del valor intermedio permite finalmente demostrar la existencia de races de cualquier orden de nmeros positivos. En efecto, consideremos la funcin f : [0, [ [0, [ definida por f ( x) = x n . Esta funcin es continua, pues es el producto de la funcin identidad n veces, es estrictamente creciente, por las propiedades ya estudiadas de las desigualdades. Adems lim x n = . Por lo tanto, si a es un nmero real positivo, habr
x

otro nmero c 0 tal que c n > a , luego, tenemos una funcin continua tal que 0 = f (0) a < f (c) , por lo tanto, existe un nmero b 0 , talque f (b) = b n = a , es decir, b = n a . Adems este nmero es nico por ser la funcin estrictamente creciente. La unicidad permite demostrar las propiedades bsicas de las races: n ab = n a n b . En efecto, basta probar que el nmero
n

a n b satisface la condicin de raz n-sima, es decir, es

un buen candidato: ( n a n b ) n = ( n a ) n ( n b ) n = ab , lo que es una simple aplicacin de la conmutatividad del producto. a m = ( n a ) m . Esta es una generalizacin de la propiedad anterior y puede demostrarse por induccin. Pero tambin por la unicidad basta comprobar que ambos nmeros satisfacen la condicin de raz n-sima: si se eleva a la potencia n el lado derecho, se comprueba que resulta a m
n

Finalmente el Teorema de la funcin inversa permite demostrar que la funcin g ( x) = n x , con dominio [0, [ , es continua. 6. Demostrar que la ecuacin: x179 + 163 = 119 tiene al 1 + x + sen 2 x menos dos soluciones en . Esta ecuacin es del tipo trascendente, es decir, mezcla potencias con funciones trascendentes (como la funcin seno). No hay ms que mtodos aproximados para el estudio de este tipo de ecuaciones. Sin embargo, la pregunta por la existencia de soluciones se puede
2

145

responder fcilmente utilizando el Teorema del Valor 163 Intermedio. En efecto, la funcin x179 + es 2 1 + x + sen 2 x claramente continua en todo . Si evaluamos en 0, obtenemos el valor 163 que es mayor que 119. Evaluando en 1, se obtiene un nmero menor que 83, que es menor que 119. Luego, en el intervalo [0,1] debe haber una solucin. Finalmente, si evaluamos en 2, la funcin toma un valor mayor que 2179 3.7 10 53 , que es obviamente mayor que 119, luego, en el intervalo [1,2] debe haber otra solucin.

4.4

PROBLEMAS

1 1 1. Hallar una funcin que sea discontinua en 1, , ,...... pero 2 3 continua en todos los dems puntos. 1 1 2. Hallar una funcin que sea discontinua en 1, , ,...... y en 0, 2 3 pero continua en todos los dems puntos. 3. Suponga que la funcin f satisface la propiedad f ( x + y ) = f ( x) + f ( y ) , x, y y que es continua en 0. Demuestre que entonces es continua en todos los puntos. 4. Para cada una de las siguientes funciones, decida cules estn acotadas superiormente o inferiormente en el intervalo indicado, y cules alcanzan sus valores mximo o mnimo: f ( x) = x 2 en ] 1,1[ f ( x) = x 3 en ] 1,1[ f ( x) = x 2 en f ( x) = x 2 en [0, [

146

x2, x a , en [a 1, a + 1] (aqu ser f ( x) = a + 2, x > a necesario distinguir distintos valores posibles de a ) 0, x.irracional f ( x) = 1, x = 0 en [0,1] p 1 q , x = q . fraccin.irreducible

1, x.irracional f ( x) = 1, x = 0 p 1 q , x = q . fraccin.irreducible

en [0,1]

1, x.irracional en [0,1] f ( x) = 1, x = 0 p 1 q , x = q . fraccin.irreducible x, x.racional f ( x) = 0, x.irracional

5. Suponga que f es continua en [a, b] y que f ( x) es siempre racional. Qu puede decir acerca de f ? 6. Cuntas funciones continuas f existen que satisfacen la relacin ( f ( x)) 2 = x 2 para todo x ? 7. Un conjunto de nmeros reales se dice abierto , si es vecindad de todos sus puntos, es decir, cada elemento admite una vecindad contenida completamente en el conjunto. Suponga que la funcin f es continua en todo y que A es un conjunto abierto en . Demuestre que el conjunto f 1 ( A) =: {x : f ( x) A} es tambin abierto.

147

8. Cree Ud. que la ecuacin trascendente log x 2 cos x = 0 tiene una solucin en el intervalo 0, ? Es nica ? 2 9. Ocurre lo mismo con la ecuacin log((1 + senx) cos x = 0 ? 10. Ser cierto que toda funcin continua f : [0,1] [0,1] posee un punto fijo , es decir un nmero x [0,1] tal que f ( x) = x ? 11. Cree Ud. Que exista una funcin que sea continua en un nico punto a y sea discontinua en todos los dems? 12. Si f y g son dos funciones reales, vamos a definir la envolvente superior de f y g por ( f g )( x) = max{ f ( x), g ( x)} y, anlogamente la envolvente inferior de f y g por ( f g )( x) = min{ f ( x), g ( x)} . Porqu cree Ud. Que se llaman envolventes? (hgase un dibujito: le servir). Si tanto f como g son continuas en un punto x lo sern tambin ambas envolventes? 13. Determinar los valores que deben tomar los parmetros A y B 2senx., x 2 sea para que la funcin f ( x) = Asenx + B, < x < 2 2 cos x, x 2 continua en toda la recta real.
14. Generalice el mtodo empleado en el punto anterior enunciando y demostrando un Teorema de Anudamiento de Funciones Continuas , para funciones que estn definidas por tramos.

148