Introduccin

Sabemos ya que la imagen, f (I), de un intervalo I por una funcin continua f es un intervalo. Nos preguntamos Es f (I) un intervalo del mismo tipo que I? Enseguida nos damos cuenta de que no tiene por qu ser as. 1. f (x) = x 2 ; f ([1, 1[) = f (] 1, 1]) = [0, 1]; 3. f (x) = sen x; f (] , [= [1, 1].

2. f (x) = 1/x; f (]0, 1]) = [1, +[; f ([1, +[) =]0, 1].

Vemos as que la imagen por una funcin continua de un intervalo abierto, o semiabierto, o de una semirrecta, puede ser un intervalo de distinto tipo. Nos queda por considerar qu ocurre con los intervalos cerrados (y acotados), es decir, los de la forma [a, b]. Ntese que si f : [a, b] R es continua, para probar que f ([a, b]) es un intervalo cerrado y acotado basta probar que el conjunto f ([a, b]) tiene mximo y mnimo, es decir, que hay nmeros u, v [a, b] tales que para todo x [a, b] es f (u) f (x) f (v), pues entonces ser f ([a, b]) = [ f (u), f (v)]. 6.1 Denicin. Sea f : B R . Se dice que f est acotada en E si el conjunto f (B) est acotado. Se dice que f alcanza en B un mximo (resp. un mnimo) absoluto si el conjunto f (B) tiene mximo (resp. mnimo), es decir, existe algn punto c B (resp. b B) tal que f (x) f (c) (resp. f (b) f (x)) para todo x B. El siguiente resultada es importante. Su demostracin se propone como ejercicio. 6.2 Proposicin. Sea f : A R una funcin continua en un punto x A. Entonces para toda sucesin {xn } de puntos de A que converge a x se verica que la sucesin { f (xn )} converge a f (x). lm f (xn ) = f (lm xn ) = f (x)

ww

w.

at

em

at ic a1

.c o

6.3 Teorema (Teorema de Weierstrass). Toda funcin continua en un intervalo cerrado y acotado alcanza en dicho intervalo un mximo y un mnimo absolutos. En particular, toda funcin continua en un intervalo cerrado y acotado est acotada en dicho intervalo. Demostracin. Sea f : [a, b] R una funcin continua. Queremos probar que hay algn punto c [a, b] en el que f alcanza un mximo absoluto. Empezaremos probando que f est acotada en [a, b]. Razonamos por contradiccin: supondremos que f no est acotada y llegaremos a una contradiccin. Si f no est acotada entonces para cada nN tiene que haber algn punto xn [a, b] tal que f (xn ) n. La sucesin {xn } est acotada y, por el teorema de Bolzano-Weierstrass, tiene alguna parcial yn = x(n) convergente. Sea x = lm{xn }. Como a yn b se deduce que a x b y por tanto x [a, b] (aqu es donde se usa el hecho de que [a, b] es un intervalo cerrado). Usando la proposicin anterior y la continuidad de f en x obtenemos que la sucesin { f (yn )} debe ser convergente. Pero esto es imposible porque f (yn ) = f (x(n) ) (n) n lo que nos dice que la sucesin { f (yn )} no est acotada y por tanto no puede ser convergente. Como f est acotada, el conjunto f [a, b] es un conjunto acotado de nmeros reales y, por tanto, tiene supremo e nmo. Sea = sup f [a, b]. Probaremos que f [a, b]. Para cada n N tiene que existir un zn [a, b] tal que 1/n f (zn ) . Repitiendo el razonamiento anterior obtenemos que la sucesin {zn } tiene alguna sucesin parcial convergente. Sin perder generalidad, podemos suponer que la propia {zn } es convergente. Sea z = lm{zn }. Entonces z [a, b] (por ser un intervalo cerrado) y f (z) = lm f (zn ) = . En consecuencia f alcanza un mximo ab soluto en el punto z. Anlogamente se prueba que = nf f [a, b] f [a, b]. Como aplicacin del teorema de Weierstrass puede probarse el siguiente resultado.

at em

at ic

a1

.c

om

ww w.

6.4 Proposicin. Una funcin polinmica de grado par f (x) =

k=0

ak xk alcanza un mnimo ab-

soluto en R si el coeciente lder es positivo, an > 0, y alcanza un mximo absoluto en R si el coeciente lder es negativo, an < 0.

6.1. Lmite funcional

Sea I un intervalo, a un punto de I, y f una funcin denida en I \{a}. Naturalmente, como f no est denida en a no tiene sentido hablar de la continuidad de f en a. Sin embargo, podemos preguntarnos es posible encontrar un nmero L R tal que deniendo f (a) = L, la nueva funcin as obtenida sea continua en a? Para ello el nmero L tendra que cumplir la siguiente propiedad: 0 < |x a| < = | f (x) L| < R+ R+ : xI donde la condicin 0 < |x a| es obligada porque la funcin f no est denida en a. Podemos modicar un poco la situacin anterior, suponiendo ahora que f est denida en todo el intervalo I pero no es continua en a . En este caso queremos cambiar el valor de f en a ,

es decir, encontrar, si es posible, un nmero L R tal que deniendo el valor de f en a igual a L, la nueva funcin as obtenida sea continua en a . La condicin que tiene que cumplir dicho nmero L es exactamente la misma de antes. Ntese que ahora la condicin 0 < |x a| es obligada porque nuestra funcin f no est denida en a de forma apropiada. En los dos casos considerados la condicin obtenida es la misma con independencia del hecho de que f est o no denida en a y, en caso de estarlo, del posible valor que f pueda tener en a. Por ello, en lo que sigue consideraremos la siguiente situacin. Notacin. En adelante, representaremos por I un intervalo; a ser un punto de I, y f ser una funcin que supondremos denida en I \{a} sin excluir la posibilidad de que dicha funcin pueda estar denida en todo el intervalo I lo cual, para nuestros propsitos actuales, carece de importancia. 6.5 Denicin. Se dice que f tiene lmite en el punto a si existe un nmero L R tal que se verica lo siguiente: R+ R+ : 0 < |x a| < xI

Dicho nmero se llama lmite de f en a y escribimos lm f (x) = L . Observa que la existencia del lmite es independiente de que f est o no denida en a y, en caso de estarlo, del valor que f pueda tener en a. Tambin debe advertirse que en la denicin de la igualdad lm f (x) = L , slo intervienen desigualdades.
xa

Es fcil probar que el lmite de una funcin en un punto, si existe, es nico. Una consecuencia inmediata de la denicin dada es el siguiente resultado. 6.6 Proposicin. Sea f : I R una funcin denida en un intervalo y sea a I. Equivalen las armaciones siguientes: i) f es continua en a. ii) lm f (x) = f (a).
xa

En la recta real es posible distinguir si nos acercamos por la derecha o por la izquierda a un punto. Ello conduce de forma natural a la consideracin de los lmites laterales que pasamos a denir. Lmites laterales de una funcin en un punto Supongamos que: A) El conjunto {x I : a < x} no es vaco. En tal caso, se dice que f tiene lmite por la derecha en a, si existe un nmero R tal que se verica lo siguiente: R+ R+ : a < x < a+ xI = | f (x) | <

ww

w.

M at

em

at

ic

a1
xa

.c

om

| f (x) L| <

Dicho nmero se llama lmite por la derecha de f en a y, simblicamente, escribimos lm f (x) = . xa

x>a

B) El conjunto {xI : x < a} no es vaco. En tal caso, se dice que f tiene lmite por la izquierda en a, si existe un nmero R tal que se verica lo siguiente: R+ R+ : a < x < a xI = | f (x) | <

Dicho nmero se llama lmite por la izquierda de f en a y, simblicamente, escribimos lm f (x) = . xa

x<a

Teniendo en cuenta las deniciones dadas, es inmediato que: i) Si a = sup I , entonces lm f (x) = xa f (x). lm
xa x<a

ii) Si a = nf I , entonces lm f (x) = xa f (x). lm

xa x>a

iii) Si a no es un extremo de I, entonces equivalen las armaciones:

b) xa f (x) = xa f (x) = L. lm lm
x<a x>a

Funciones divergentes en un punto

ww w.

Se dice que f es positivamente divergente en a si se verica lo siguiente: M R+ R+ :

xa

at

em
0 < |x a| < xI =

6.2. Lmites innitos

at ic a1
f (x) > M a< x < a xI = f (x) > M

xa

Simblicamente, escribimos lm f (x) = +. Se dice que f es positivamente divergente por la izquierda en a si se verica lo siguiente: M R+ R+ :
x<a

Simblicamente, escribimos xa f (x) = +. lm De forma anloga se denen los conceptos: f es positivamente divergente por la derecha en a. Simblicamente xa f (x) = + lm
x>a

f es negativamente divergente en a. Simblicamente lm f (x) = .

xa

f es negativamente divergente por la izquierda o por la derecha en a. Simblicamente lm f (x) = xa f (x) = lm xa

x<a x>a

.c

a) lm f (x) = L.

om

Lmites en innito Sea f : I R una funcin denida en un intervalo no mayorado I. Se dice que f tiene lmite en + si existe un nmero L R tal que se verica lo siguiente: R+ K R+ : x>K xI = | f (x) L| <
x+

Dicho nmero se llama lmite de f en + y escribimos lm f (x) = L. Anlogamente se dene el lmite en . Funciones divergentes en innito Sea f : I R una funcin denida en un intervalo no mayorado I. Se dice que f es positivamente divergente en + si se verica lo siguiente: M R+ K R+ : En cuyo caso escribimos lm f (x) = +.
x+

x+

lm f (x) = ,

em
x

lm f (x) = +,

at

Llegados aqu, el lector no tendr dicultad en precisar el signicado de:

x

ic a1

6.7 Proposicin. Sea f una funcin y sean a, L R {+, }. Equivalen las armaciones: i) lm f (x) = L
xa

ii) Para toda sucesin {xn } de puntos en el dominio de denicin de f , tal que {xn } a con xn se verica que { f (xn )} L.

ww w.

El siguiente resultado establece una importantsima relacin entre el lmite funcional y el lmite de sucesiones.

at

.c om

x>K xI

f (x) > M

lm f (x) = .

a,

6.3. Discontinuidades. lgebra de lmites. Lmites de funciones montonas

Clasicacin de las discontinuidades Sea f : I R una funcin denida en un intervalo y sea a I. Si f tiene lmite en a y lm f (x) dad evitable.
xa

f (a), se dice que f tiene en el punto a una discontinui-

Si los dos lmites laterales de f en a existen y son distintos: lm f (x) xa f (x) lm xa

x<a x>a

se dice que f tiene en el punto a una discontinuidad de salto. Si alguno de los lmites laterales no existe se dice que f tiene en el punto a una discontinuidad esencial. Es evidente que el concepto de lmite es, al igual que el de continuidad en un punto, un concepto local; la existencia del lmite de una funcin en un punto a depende solamente del comportamiento de la funcin en los puntos prximos al punto a. Es importante advertir que el concepto de lmite lateral es un caso particular del concepto general de lmite de una funcin en un punto. Por ello, cualquier resultado referente a lmites de funciones en un punto puede ser convenientemente enunciado para lmites laterales sin ms que considerar la restriccin de la funcin a la derecha o a la izquierda del punto en cuestin. El siguiente resultado pone de maniesto la compatibilidad de la operacin de paso al lmite con la estructura algebraica y de orden de R.

i) Las funciones f + g y f g tienen lmite en a y

xa xa xa

em
xa

lm ( f + g)(x) = lm f (x) + lm g(x), 0, entonces lm

lm ( f g)(x) = lm f (x) lm g(x)

xa xa

ii) Si lm f (x)
xa

xa

1 1 = f (x) lm f (x)

ww

iii) Si f (x)

g(x) para todo x I, x h(x)

w.

at

xa

a, entonces lm f (x)
xa

iv) Supongamos que f (x)

se verica que h tiene lmite en a y lm h(x) = L.

xa

g(x) para todo x I, x

at ic a1

6.8 Teorema (lgebra de lmites). Supongamos que f y g tienen lmite en a donde aceptamos que a puede ser un nmero real, o +, o . Se verica entonces que:

.c om
xa

lm g(x) a y lm f (x) = lm g(x) = L. Entonces

xa xa

En el siguiente resultado se establecen condiciones que garantizan la divergencia de una suma o de un producto. 6.9 Teorema. Supongamos que f es positivamente divergente en a, lm f (x) = +, donde acep
xa

tamos que a puede ser un nmero real, o +, o . i) Supongamos que hay un nmero M R tal que g(x) lm ( f + g)(x) = +.
xa

M para todo x I, x M para todo x I, x

a . Entonces

ii) Supongamos que hay un nmero M > 0 tal que g(x) lm ( f g)(x) = +.
xa

a . Entonces

En el siguiente resultado se establecen condiciones que garantizan que un producto tenga lmite igual a cero.

todo x I, x

6.10 Teorema. Supongamos que lm f (x) = 0, y que hay un nmero M > 0 tal que |g(x)|
xa

M para

a . Entonces lm ( f g)(x) = 0.
xa

Un resultado establece que la continuidad permuta con el paso al lmite. 6.11 Teorema. Si g es continua en el punto L = lm f (x), entonces lm (g f )(x) = g(L). Simblica xa xa mente: lm (g f )(x) = g(lm f (x))
xa xa

6.4. Continuidad y monotona

6.12 Teorema (Lmites de una funcin montona). Sea f una funcin creciente denida en un intervalo I. i) Para todo punto a I que no sea un extremo de I se verica que:
xa x<a xa x>a

xa

ww

b) Si f no est mayorada en I es lm f (x) = +.

xa

Demostracin. Supongamos que a I no es el extremo izquierdo de I, es decir que el conjunto {xI : x < a} no es vaco. Entonces, el conjunto B = { f (x) : x I, x < a} tampoco es vaco y, por ser f creciente, el nmero f (a) es un mayorante de B. Sea = sup{ f (x) : x I, x < a}. Dado > 0, el nmero no puede ser mayorante de B, es decir, tiene que haber algn punto xo I, xo < a tal que < f (xo ). Sea = a xo > 0. Entonces para a < x < a, esto es, para xo < x < a, se verica que < f (xo ) f (x) , lo que claramente implica que < f (x) < + , es decir, | f (x) | < . Hemos probado as que xa f (x) = sup{ f (x) : x I, x < a}. Los dems casos lm se prueban de forma muy parecida y quedan como ejercicios. 6.13 Teorema (Discontinuidades de las funciones montonas). Sea f una funcin montona en un intervalo. Entonces: i) En los puntos del intervalo que no son extremos del mismo, f solamente puede tener discontinuidades de salto. ii) Si el intervalo tiene mximo o mnimo, f puede tener en dichos puntos discontinuidades evitables.
x<a

w.

a) Si f est mayorada en I es lm f (x) = sup{ f (x) : x I \ {a}}.

xa

at

iii) Si a R {+} es el extremo derecho de I, entonces:

em
xa

b) Si f no est minorada en I es lm f (x) = .

at

a) Si f est minorada en I es lm f (x) = nf{ f (x) : x I \ {a}}.

ic

ii) Si a R {} es el extremo izquierdo de I, entonces:

a1

.c om

lm f (x) = sup{ f (x) : x I, x < a}

lm f (x) = nf{ f (x) : x I, x > a}

6.14 Teorema (Continuidad de una funcin montona). Una funcin montona denida en un intervalo es continua si, y slo si, su imagen es un intervalo. Demostracin. En efecto, si f : I R es una funcin creciente en un intervalo I y suponemos que su imagen f (I) es un intervalo entonces, si a I no es un punto extremo de I, es decir, hay puntos u, v I tales que u < a < v, tenemos que { f (x) : x I, x < a} [ f (u), f (a)[, y deducimos que
xa x<a

{ f (x) : x I, x > a} ] f (a), f (v)]

lm lm f (x) = f (a) = xa f (x)

x>a

esto es, f es continua en a. Anlogamente se prueba que si I contiene a alguno de sus extremos entonces f es continua tambin en esos puntos. Teniendo en cuenta que la funcin inversa de una funcin estrictamente montona es tambin estrictamente montona (y del mismo tipo), se deduce de lo anterior el siguiente importante resultado.

6.16 Teorema (Funciones continuas e inyectivas en intervalos). Una funcin continua e inyectiva denida en un intervalo es estrictamente montona.

6.5. Indeterminaciones en el clculo de lmites

Frecuentemente hay que estudiar el lmite de una suma o producto de dos funciones precisamente cuando las reglas que hemos visto anteriormente no pueden aplicarse. Se trata de aquellos casos en que el comportamiento de las funciones f + g, f g, no est determinado por el de f y g. Por ejemplo, si sabemos que lm f (x) = + y que lm g(x) = , qu podemos decir
xa xa xa xa

en general del comportamiento en el punto a de la funcin f + g? Respuesta: absolutamente nada. En consecuencia, para calcular un lmite del tipo lm ( f + g)(x) donde lm f (x) = + y una indeterminacin del tipo .
xa

lm g(x) = se requiere un estudio particular en cada caso. Suele decirse que estos lmites son

Anlogamente, si sabemos que lm f (x) = 0 y que la funcin g es divergente (positivamente o negativamente) en el punto a, ello no proporciona ninguna informacin sobre el comportamiento de la funcin f g en dicho punto. Cuando esto ocurre se dice que el lmite lm ( f g)(x)
xa xa

ww w.

El siguiente resultado se demuestra haciendo uso del teorema de los ceros de Bolzano y ser usado en el prximo captulo para obtener una importante propiedad de las funciones con derivada distinta de cero. Su demostracin no aade nada nuevo a lo que ya sabemos y por eso no la incluyo aqu; pero lo que se arma en l es muy intuitivo: si una funcin es continua e inyectiva en un intervalo entonces es claro que su grca no puede subir y bajar, en consecuencia o siempre sube o siempre baja.

at em

at ic

a1 .c

6.15 Teorema. La funcin inversa de una funcin estrictamente montona y continua en un intervalo es tambin una funcin continua y estrictamente montona.

om

es una indeterminacin del tipo 0 . Las indeterminaciones que aparecen al estudiar el cociente de dos funciones divergentes o de dos funciones con lmite cero, es decir, las llamadas indeterminaciones de los tipos /, 0/0, pueden reducirse a una indeterminacin del tipo 0 . Todava hemos de considerar nuevas indeterminaciones que van a surgir al considerar funciones de la forma f (x) g(x) donde f es una funcin que toma valores positivos y g es una funcin cualquiera. Puesto que: f (x) g(x) = exp(g(x) log f (x)) teniendo en cuenta los resultados anteriores, el lmite lm f (x) g(x) vendr determinado por el lmite lm g(x) log f (x), el cual, a su vez, est determinado en todos los casos por el comporta miento en el punto a de las funciones f y g, excepto cuando dicho lmite es una indeterminacin del tipo 0 , lo que ocurre en los siguientes casos: a) lm f (x) = 1, lm |g(x)| = + (indeterminacin 1 )
xa xa xa xa

b) lm f (x) = +, lm g(x) = 0 (indeterminacin 0 )

xa xa xa xa

Los resultados que siguen son de gran utilidad para calcular lmites. Su justicacin se ver ms adelante. 6.17 Proposicin. Sea a un nmero real o + o . En los apartados b1), b2) y b3) se supone que f (x) > 0. a1) lm f (x) = L lm e f (x) = e L .
xa xa

a2) lm f (x) = + lm e f (x) = +.

xa xa

a3) lm f (x) = lm e f (x) = 0.

xa xa

b1) lm f (x) = L > 0 lm log f (x) = log L.

xa xa

b2) lm f (x) = + lm log f (x) = +.

xa xa

b3) lm f (x) = 0 lm log f (x) = .

xa xa

ww

Lmites de exponenciales y logaritmos

w.

at e

Ni que decir tiene que no hay tcnicas generales que permitan resolver las indeterminaciones, no seran tales si las hubiera! Es por ello que, los lmites indeterminados, requieren un estudio particular en cada caso. Es un hecho que la mayora de los lmites que tienen algn inters matemtico son lmites indeterminados. Cuando estudiemos las derivadas obtendremos tcnicas que permitirn calcular con comodidad dichos lmites.

m at

ic a

1.c

c) lm f (x) = 0, lm g(x) = 0 (indeterminacin 0 0 ")

om

El siguiente resultado es de gran importancia. En l se comparan los rdenes de crecimiento de las funciones logaritmo, potencias y exponenciales, resultando que el logaritmo crece ms lentamente que cualquier potencia positiva y stas, a su vez, crecen ms lentamente que la exponencial. 6.18 Proposicin.
II )
x0

I)

|log x| = 0 para todos > 0 y R. x+ x lm

lm |x| log |x| lm

= 0 para todos > 0 y R.

III )

x+

x = 0 para todos > 0 y > 0. e x

6.6. Ejercicios
1. Sea f : [a, b] R continua. Supongamos que para cada x [a, b] hay algn y [a, b] tal que 9 | f (y)| 10 | f (x)|. Prueba que f se anula en algn punto de [a, b]. 2. Sea f : [a, b] R continua. Prueba que la funcin g : [a, b] R dada por g(x) = m x f ([a, x]), a (a x b), es continua. 3. Sea f : [a, b] R continua, pongamos M = m x f ([a, b]), m = mn f ([a, b]) y supongamos que a f (a) = f (b) y que m < f (a) < M. Prueba que f toma todo valor de [ f (a), M[]m, f (a)] en al menos dos puntos de [a, b]. 4. La ecuacin ax 2 + 2x 1 = 0 donde a > 1, a 0 tiene dos soluciones que representaremos por (a) y por (a). Calcula los lmites de dichas funciones en a = 0 y en a = 1. 5. Prueba que, dado x R, la ecuacin logt + t 5 = x tiene una nica solucin, que representamos por (x). Justica que la funcin x (x), (x R), as denida es continua. 6. Sea f : [0, 1] R continua vericando que | f (s) f (t)| |st| para todos s,t [0, 1], y f ({0, 1}) = {0, 1}. Prueba que o bien es f (x) = x para todo x [0, 1], o bien es f (x) = 1 x para todo x [0, 1]. 7. Estudia los lmites en + y en de: a) Una funcin polinmica. b) Una funcin racional. 8. Justica que una funcin polinmica de grado par o bien alcanza un mximo en R o bien alcanza un mnimo absoluto en R.

ww

w.

at

em

at

ic a1

.c o