LIMITE DE UNA FUNCION

Idea intuitiva de lmite de una funcin en un punto

El lmite de una funcin y = f(x) en un punto x0 es el valor al que tiende la funcin en puntos muy prximos a x0.
Idea intuitiva de lmite
1. Considrese la funcin lineal y = 2 x + 1. ! qu valor se aproxima la funcin" cuando x se aproxima al valor
#$
Resolucin%
& 'i se quiere estudiar el l(mite de esta funcin cuando x tiende a #" )ay que ver los valores que toma la
funcin en puntos muy prximos a #.
*ara ello se puede )acer la si+uiente ta,la de valores%
& 'e o,serva que al tomar valores de x muy prximos a #" ya sean mayores o menores que l" sus im-+enes
se aproximan al valor .. Cuanto mayor es la proximidad de x a #" mayor es la proximidad de f/x) a ..
Esto se expresa diciendo que" cuando x tiende a #" el l(mite de la funcin y = 2 x + 1 es ." y se escri,e
/2.x + 1) = .
LIMITES LATERALES
& El lmite por la izquierda de una funcin y = f/x)" cuando x x0" es el valor al que tiende la funcin para
puntos muy prximos a x0 y menores que x0.
*ara expresar el l(mite por i0quierda se escri,e f/x)
& El lmite por la derecha de una funcin y = f/x)" cuando x x0" es el valor al que tiende la funcin para puntos
muy prximos a x0 y mayores que x0.
*ara expresar el l(mite por derec)a se escri,e f/x)
Relacin ente el lmite ! lo" lmite" lateale" de una funcin
El l(mite de una funcin y = f/x) en un punto x0 existe si y solo si existen los l(mites laterales y coinciden%
f/x) = l f/x) = f/x) = l
'i se verifica esto" y l es un n1mero finito" se dice que la funcin es convergente.
En el e2emplo anterior los l(mites por la derec)a y por la i0quierda coinciden%
/2.x + 1) = /2.x + 1) = .
#RO#IEDADES DE LOS LIMITES DE FUNCIONES
'i una funcin f/x) tiene l(mite cuando x x0"el l(mite es 1nico.
Esto se puede escri,ir tam,in as(%
'i f/x) = l y f/x) =l3 l = l3
E$ecicio% c&lculo apo'imado de lmite"
'ea la funcin definida por f/x) =
x 4" si x 5 2
." si x = 2
Cu-l es su l(mite cuando x tiende a 2$
Resolucin%
*ara calcular el l(mite de la funcin cuando x tiende a 2" puede )acerse una ta,la de valores para puntos de
a,scisa prximos a 2%
'e o,serva que cuando x tiende a 2"tanto por la derec)a como por la i0quierda" la funcin tiende al valor 6. *or
lo tanto"
f/x) = f/x) = 6 f/x) = 6
'ea la funcin f/x) =
1" si x 7 #
x & 2" si x 8 #
definida en & 9#:
! qu valor se aproxima la funcin cuando x se aproxima a #$
Resolucin%
Cuando x se aproxima a #" tanto por la i0quierda como por la derec)a" la funcin se aproxima al valor 1. *or lo
tanto"
f/x) = 1
;,srvese cmo se pone de relieve que el valor del l(mite de una funcin en un punto es independiente del
valor que la funcin tome en ese punto.
En este e2emplo" el l(mite de la funcin en el punto # es 1 y sin em,ar+o" la funcin ni siquiera est- definida en
l.
LIMITE DE UNA FUNCION EN UN #UNTO
() 'e dice que una funcin f(x) converge" en el punto x0")acia el valor l" o que su l(mite en x0 es l" y se escri,e
f/x) = l" cuando a valores muy prximos a x0 corresponden valores de la funcin muy prximos a <.
=a definicin anterior se puede concretar m-s%
*) >na funcin f(x ) conver+e )acia < en x0"o tiene por l(mite < en x0"cuando para
todo entorno de < de radio ?" E/<" ?) = /< & ?" < + ?)" )ay un entorno de x0de radio @ "
E/x0" @) = /x0 & @ " x0 + @)"tal que para cualquier x de E/x0" @)"su ima+en f(x ) est-
en E/<" ?).
; ,ien%
+) >na funcin f/x) conver+e )acia l en x0" o tiene por l(mite l en x0" cuando para cualquier ? 8 0" existe un @ 8 0
tal que si 0 7 A x & x0 A 7 @ A f/x) & l A 7 ?
Lmite" infinito"
>na funcin es divergente cuando su l(mite es + B &B.
'e estudiar-n los si+uientes l(mites%
() f/x) = CB
*) f/x) = l
+) f/x) = CB
Ca"o () f/x) = &B
'ea la funcin f/x) = 1 D x 4.
*ara calcular el l(mite de esta funcin en el punto x0 = 0" )ay que estudiar los valores que toman las im-+enes
de puntos prximos a 0. Ee la o,servacin de la +r-fica de la funcin se deduce que%
*ara valores prximos a 0 y menores que 0" la funcin toma valores cada ve0 mayores. Esto si+nifica que
1Dx 4 = +B
*ara valores prximos a 0 y mayores que 0" la funcin toma valores cada ve0 mayores. Esto si+nifica que
1Dx 4 = +B
*uesto que 1Dx 4 = 1Dx 4 = +B" entonces 1Dx 4 = +B
En el caso de la funcin g(x) = -1x !" el l(mite de la funcin cuando x 0 es &B.
*ara valores prximos a 0 y distintos de 0" tanto por la derec)a como por la i0quierda" los valores que toma la
funcin son cada ve0 menores.
Ca"o *) f/x) = l
'ea la funcin y = x D /x & 1).
;,servando la +r-fica de la funcin" se ve como a medida que x toma valores cada ve0 mayores" la funcin se
aproxima m-s a 1. *or lo tanto" el l(mite de la funcin cuando x tiende a infinito es 1.
xD/x & 1) = 1
Ee la o,servacin de la +r-fica se deduce que a medida que x toma valores cada ve0 menores" la funcin se
aproxima m-s a 1. *or lo tanto" el l(mite de la funcin cuando x tiende a &B es tam,in 1.
xD/x & 1) = 1
Ca"o +) f/x) = CB
'ea la funcin f/x) = x + F.
;,servando la +r-fica se ve claramente que cuando x tiende a m-s infinito" la funcin tam,in tiende a m-s
infinito. Es decir" a valores cada ve0 mayores de x"corresponden valores cada ve0 mayores de la funcin. *or
lo tanto"
/x + F) = +B
Cuando x toma valores cada ve0 menores" la funcin tam,in toma valores cada ve0 menores. *or lo tanto"
/x + F) = & B
'i se estudian los l(mites en el infinito de +/x) = &/x + F)" se tiene%
&/x + F) = & B
& /x + F) = +B
Es decir" cuando x toma valores cada ve0 mayores" x +B" la funcin toma valores cada ve0 menores" +/x)
&B.
G cuando x toma valores cada ve0 menores" x +B" la funcin toma valores cada ve0 mayores" +/x) +B.
O#ERACIONES CON LIMITES DE FUNCIONES
'ean f y + dos funciones tales que% f/x) = ! y +/x) = H
Lmite de una "uma de funcione"
El l(mite de una suma de dos funciones conver+entes" es i+ual a la suma de los l(mites de cada una de ellas%
/f + +)/x) = f/x) + +/x) = ! + H
Lmite de una e"ta de funcione"
El l(mite de una resta de dos funciones conver+entes" es i+ual a la diferencia de los l(mites de cada una de
ellas%
/f & +)/x) = f/x) & +/x) = ! & H
Lmite de un poducto de funcione"
El l(mite de un producto de dos funciones conver+entes" es i+ual al producto de los l(mites de cada una de
ellas%
/f.+)/x) = f/x) . +/x) = !.H
Lmite de un cociente de funcione"
El l(mite de un cociente de dos funciones conver+entes es i+ual al cociente de los l(mites de cada una de ellas"
si el denominador no es nulo%
/fD+)/x) = f/x) D +/x) = !DH /siempre que H 5 0)
E2ercicio% l(mites de suma" resta" producto y cociente de funciones
'i f/x) = x 4 + 2 y +/x) = 1DxI calcular%
/f + +)/x)" /f & +)/x)" /f.+)/x) y /fD+)/x)
Resolucin%
f/x) = 2 4 + 2 = 11 y +/x) = 1D#
/f + +)/x) = f/x) + +/x) = 11 + 1D# = #6D#
/f & +)/x) = f/x) & +/x) = 11 & 1D# = #2D#
/f.+)/x) = f/x) . +/x) = 11./1D#) = 11D#
/fD+)/x) = f/x) D +/x) = 11D/1D#) = ##
CALCULO DE LIMITES DE FUNCIONES ,I-
C&lculo del lmite de funcione" polinmica"
>na funcin polinmica es una funcin del tipo%
f(x) = a" # a1$x # a%$x ! # $$$ # an$x
n
*ara estudiar el c-lculo de su l(mite" se distin+uir-n dos casos%
A) Lmite de una funcin polinmica en el punto '. finito
El l(mite de una funcin polinmica en un punto x0 es i+ual al valor que toma la funcin en ese punto%
Lmite de una funcin polinmica en el infinito
El l(mite de una funcin polinmica en el infinito es +B &B"dependiendo de que el coeficiente del trmino de
mayor +rado del polinomio sea positivo o ne+ativo%
a0 + a1.x + a2.x 4 + ... + an.x
n
= + BI si an es positivo.
a0 + a1.x + a2.x 4 + ... + an.x
n
= &BI si an es ne+ativo.
E$ecicio% c&lculo de lmite" de funcione" polinmica"
1) Calcular 6.xJ & #.x & 2
Resolucin%
/6.xJ & #.x & 2) = 6./&1)J & #./&1) & 2 = &6 + # & 2 = &#
2) # + x 4 & 6.x
F
y K.xJD# + F.xD2 & L
Resolucin%
# + x 4 & 6.x
F
= &B
ya que el coeficiente del trmino de mayor +rado es &6.
K.xJD# + F.xD2 & L = + B
puesto que el coeficiente del trmino de mayor +rado" KD#" es positivo.
C&lculo de lmite" de funcione" acionale"
>na funcin racional es una funcin del tipo f(x) = &(x) '(x)" donde &(x) y '(x) son polinomios.
*ara estudiar el l(mite de una funcin racional" se distin+uir-n dos casos%
A) Lmite de una funcin acional en el punto '. finito
*uesto que una funcin racional es el cociente de dos polinomios" para calcular su l(mite puede aplicarse la
re+la para el c-lculo del l(mite de un cociente de dos funciones%
*/x)DM/x) = */x)D M/x)
Nanto el l(mite del numerador como el del denominador son l(mites de funciones polinmicas" cuyo c-lculo se
explic en el apartado anterior.
!l efectuar estos l(mites pueden darse varias situaciones.
A)() (l lmite del denominador es distinto de cero% M/x) 5 0
'e calculan en este caso los l(mites de */x) y M/x) como funciones polinmicas y se )alla su cociente.
A)*) (l lmite del denominador es cero% M/x) = 0
'i el denominador se anula en x0"puede ocurrir que el numerador tam,in se anule en x0" o que el numerador
no se anule en x0.
A)*)() (l lmite del numerador tam)i*n es cero% M/x) = 0 y */x) = 0
En este caso se o,tiene el resultado 0 D 0" que es una indeterminacin.
*ara resolver esto ,asta con tener en cuenta que si M/x0) = 0 y */x0) = 0" x0 es ra(0 de los polinomios */x) y
M/x)" y por tanto el cociente */x) D M/x) se puede simplificar.
>na ve0 )ec)a la simplificacin" ,ien dividiendo */x) y M/x) entre x & x0 ,ien aplicando la re+la de Ouffini" se
vuelven a calcular los l(mites de los polinomios ya simplificados.
A)*)*) (l lmite del numerador no es cero.
El l(mite del cociente da como resultado la indeterminacin */x)D0
*ara resolver esta indeterminacin es necesario estudiar los l(mites laterales de la funcin f(x) = &(x) '(x)" en
el punto x0.
'i am,os l(mites laterales son i+uales" la funcin tiene por l(mite su valor. 'i no son i+uales" la funcin no tiene
l(mite.
E$ecicio% c&lculo de lmite" de funcione" acionale" ,' '.-
1) Calcular el l(mite de la funcin f/x) = /2.xJ & 1)D/#.x 4 + 6)" cuando x 1
Resolucin%
/2.xJ & 1)D/#.x 4 + 6) = /2.xJ & 1)D /#.x 4 + 6) = 1D.
2) Calcular el l(mite de la funcin +/x) = /xJ & 2.x 4 & L.x + 12)D/x 4 + #.x & 10)" cuando x 2
Resolucin%
/xJ & 2.x 4 & L.x + 12)D/x 4 + #.x & 10) = /xJ & 2.x 4 & L.x + 12)D /x 4 + #.x & 10) = /2J & 2.2 4 & L.2 + 12)D/2
4 + #.2 & 10) = 0D0
Esta indeterminacin se resuelve simplificando el cociente. !plicando la re+la de Ouffini" se o,tiene la
descomposicin de los polinomios */x) = xJ & 2 x 4 & L x +12 y
M/x) = x 4 + # x &10.
& Eescomposicin factorial de */x)%
1 &2 &L 12
2 2 0 &12
1 0 &L 0
&(x) = x+ - %$x ! - ,$x # 1% = (x - %)$(x ! - ,)
& Eescomposicin factorial de M/x)%
1 #
&
10
2 2 10
1 F 0
*/x) = x 4 + #.x & 10 = /x & 2)./x + F)
& El l(mite del cociente */x)D M/x) es%
/xJ & 2.x 4 & L.x + 12)D/x 4 + #.x & 10) = P/x & 2)./x 4 & L)QDP/x & 2)./x + F)Q = /x 4 & L)D/x + F) = &2D.
#) Calcular el l(mite de la funcin f/x) = /#.x 4 & 6.x)Dx" cuando x 0
Resolucin%
/#.x 4 & 6.x)Dx = /#.x 4 & 6.x)D x = 0D0" indeterminacin.
& 'e simplifican numerador y denominador%
/#.x 4 & 6.x)Dx = x./#.x & 6)Dx = /#.x & 6) = &6
6) Calcular 1D/x & #) 4
Resolucin%
1D/x & #) 4 = 1D /x & #) 4 = 1D0" indeterminacin.
& *ara resolver la indeterminacin se estudian los l(mites laterales de la funcin en el punto x0 = #.
1D/x & #) 4 = 1D /x & #) 4 = 1D0 = + B
1D/x & #) 4 = 1D /x & #) 4 = 1D0 = + B
Como los l(mites laterales coinciden" 1D/x & #) 4 = + B
Calcular el l(mite de la funcin f/x) = 1 D /x & 1)" cuando x 1.
Resolucin%
1 D /x & 1) = 1 D /x & 1) = 1D0" indeterminacin.
& 'e estudian los l(mites laterales%
1D/x & 1) = 1D /x & 1) = 1D0 = + B
1D/x & 1) = 1D /x & 1) = 1D0 = & B
Como los dos l(mites laterales no coinciden" la funcin f/x) = 1D/x & 1) no tiene l(mite cuando x tiende a 1.
CALCULO DE LIMITES DE FUNCIONES ,II-
Lmite de una funcin acional en el infinito
=as re+las de c-lculo de l(mites de funciones cuando x CB"son las mismas que las empleadas para l(mites
de sucesiones.
El l(mite de una funcin racional cuando x CB" es i+ual al l(mite del cociente de los trminos de mayor +rado
del numerador y denominador.
'i% &(x) = a" # a1$x # a%$x ! # $$$ # an$x
n
M /x) = )" # )1$x # )%$x ! # $$$ # )n$x
n
*/x)DM/x) = /a0 + a1.x + a2.x 4 + ... + an.x
n
)D/,0 + , 1.x + , 2.x 4 + ... + ,m.x
m
) = /an$x
n
)D/)n$x
n
)
El valor de este l(mite depende del valor que ten+an n y m%
& 'i el +rado del numerador es mayor que el +rado del denominador /n 8 m)" el l(mite es C B" dependiendo de
que los si+nos de los cocientes an y ,m sean i+uales o distintos.
& 'i el +rado del numerador es i+ual que el +rado del denominador /n = m)" el l(mite es el cociente an )m.
& 'i el +rado del numerador es menor que el +rado del denominador /n7 m)"el l(mite es 0.
E$ecicio% c&lculo de lmite" de funcione" acionale" ,' /-
1) Calcular el l(mite de la funcin f/x) = /#.x 4 & 2.x & F)D/x & 6)" cuando x B
Resolucin%
En este caso" el +rado del numerador" 2" es mayor que el +rado del denominador" 1" por tanto el l(mite es B.
/#.x 4 & 2.x & F)D/x & 6) = #.x 4Dx = #.xD1 = +B
2) Calcular el l(mite de la funcin +/x) = /xJ & F)D/&x 4 & 6)" cuando x B
Resolucin%
El +rado del numerador es mayor que el +rado del denominador" y los trminos de mayor +rado tienen si+nos
distintos" por tanto%
/xJ & F)D/&x 4 & 6) = xJD/&x 4) = = xD/&1) = &B
#) Calcular /&#.x 4 & 2.x + F)D/6.x 4 & 6)
Resolucin%
El +rado del numerador es i+ual que el +rado del denominador" por tanto%
/&#.x 4 & 2.x + F)D/6.x 4 & 6) = /&#.x 4)D/6.x 4) = &#D6
6) Calcular /x 4 & x + 1)D/xJ & 6.x + #)
Resolucin%
El +rado del numerador es menor que el +rado del denominador" por tanto%
/x 4 & x + 1)D/xJ & 6.x + #) = x 4DxJ = 1Dx = 0
C&lculo de lmite" de funcione" iacionale"
>na funcin es irracional cuando la varia,le independiente aparece ,a2o el si+no de ra(0.
'on funciones irracionales las si+uientes%
f/x) = Rx & #
+/x) = #.x &
)/x) = Rx & 1DRx + 1
S/x) = xDRx
El modo de calcular el l(mite de una funcin irracional es an-lo+o al c-lculo del l(mite de una sucesin
irracional.
A) C&lculo del lmite de una funcin iacional en un punto '. finito
Estos l(mites se resuelven" en +eneral" como si de una funcin racional se tratara.
En el caso de que" calculando el l(mite apare0ca una indeterminacin" sta suele resolverse multiplicando y
dividiendo por el con2u+ado del numerador o del denominador.
E$ecicio% c&lculo de lmite" de funcione" iacionale" ,' '.-
1) Calcular Rx & 2
Resolucin%
Rx & 2 = R2 & 2 = 0
2) Calcular /Rx & 1)D/x & 1)
Resolucin%
/Rx & 1)D/x & 1) = /R1 & 1)D/1 & 1) = 0D0" indeterminacin.
& *ara resolver la indeterminacin se multiplica y se divide por el con2u+ado del numerador" Rx + 1%
/Rx & 1)D/x & 1) = P/Rx & 1)./Rx + 1)QDP/x & 1)./Rx + 1)Q = /x & 1)DP/x & 1)./Rx + 1)Q = 1D/Rx + 1) = 1D/R1 +
1) = 1D2
#) Oesolver el si+uiente l(mite% /Rx & RF)D/x & F)
Resolucin%
/Rx & RF)D/x & F) = /RF & RF)D/F & F) = 0D0" indeterminacin.
& *ara resolver la indeterminacin se multiplica y se divide por RF + RF
/Rx & RF)D/x & F) = P/Rx & RF)./Rx + RFQ)DP/x & F)./Rx + RF)Q = /x & F)DP/x & F)./Rx + RF)Q = 1D/Rx + RF)
= 1D/RF + RF) = 1D2.RF
C&lculo del lmite de una funcin iacional en el infinito
0)() -mites indeterminado de la forma ..
Cuando al calcular el l(mite de una funcin irracional resulta la indeterminacin BD B" sta se resuelve
aplicando la re+la dada para la misma situacin en funciones racionales.
E$ecicio% c&lculo de lmite" indeteminado" de la foma /1/
1) Calcular el l(mite de la funcin f/x) = /6.xJ & 2)D/Rx & #)" cuando x B
Resolucin%
/6.xJ & 2)D/Rx & #) = BDB" indeterminacin.
& Taciendo uso de la re+la mencionada" resulta%
Urado del numerador = #
Urado del denominador = 1D2" /puesto que Rx = x
1D2
)
*or lo tanto" /6.xJ & 2)D/Rx & #) = B
2) Calcular el l(mite de la funcin f/x) = " cuando x B
Resolucin%
& Calculando el l(mite del numerador y del denominador se o,tiene%
= BDB" indeterminacin.
& Estudiando los +rados%
Urado del numerador = 1
Urado del denominador = 1 /puesto que = x)
*or lo tanto" el l(mite es%
= FDR6 = FD2
#) Calcular
Resolucin%
= BDB" indeterminacin.
Urado del numerador% FD2
Urado del denominador% #
FD2 7 #
*or lo tanto" el l(mite es%
= 0
0)*) -mites indeterminado de la forma B & V
Cuando al calcular el l(mite de una funcin irracional resulta la indeterminacin
B & V sta se resuelve +eneralmente multiplicando y dividiendo la funcin por su con2u+ada.
E$ecicio"% c&lculo de lmite" indeteminado" de la foma / 2 3
Calcular el l(mite de la funcin y = & x" cuando x B.
Resolucin%
& x = B & B" indeterminacin.
'e multiplica y se divide la funcin por su con2u+ada" + x
= = #D/R1 & 1) = #D2
Calcular el l(mite de la funcin y = Rx & # & Rx + #" cuando x B.
Resolucin%
Rx & # & Rx + # = B & V" indeterminacin.
'e multiplica y se divide la funcin por su con2u+ada"
Rx & # + Rx + #
/Rx & # & Rx + #)./Rx & # + Rx + #)D/Rx & # + Rx + #) = /x & #) & /x + #)D/Rx & # + Rx + #) = &LD/Rx & # +
Rx + #) = 0
Calcular el l(mite de la funcin f/x) = Rx + 1 & x" cuando x B.
Resolucin%
Rx + 1 & x = B & B" indeterminacin.
'e multiplica y se divide la funcin por su con2u+ada" Rx + 1 + x
/Rx + 1 & x)./Rx + 1 + x)D/Rx + 1 + x) = /x + 1 & x 4)D/Rx + 1 + x) = &B
CONTINUIDAD
Funcin continua
>na funcin f es continua en un punto x0 cuando existe el l(mite de la funcin en x0 y coincide con el valor que
toma la funcin en x0.
f es continua en x0 f/x) = f/x0)
*ara que una funcin sea continua en x0" se tienen que cumplir tres condiciones%
() Existir el l(mite de la funcin cuando x x0.
*) Estar definida la funcin en x0" es decir" existir f(x").
+) =os dos valores anteriores )an de coincidir% f/x) = f/x0)
'i al+una de las tres condiciones no se cumple" la funcin es discontinua en x0.
'e dice que una funcin es continua en un intervalo cuando es continua en todos los puntos del intervalo.
E$ecicio% e"tudio de la di"continuidad de una funcin
1) *ro,ar que la funcin definida por f/x) =
2" si x W #
&1" si x 8 #
es discontinua en el punto x0 = #.
Resolucin%
*ara pro,ar la discontinuidad de la funcin en x0 = # )ay que ver cu-l de la tres condiciones de continuidad no
se cumple.
En este caso es la primera" ya que no existe el l(mite de la funcin cuando x tiende a #I los l(mites laterales no
coinciden%
f/x) = &1
f/x) = 2
*or lo tanto" la funcin es discontinua en x0 = #.
2) *ro,ar que la funcin definida por f/x) =
1" si x 7 #
x & 2" si x 8 #
es discontinua en el punto x0 = #.
Resolucin%
& En este caso existe el l(mite de la funcin cuando x tiende a #" y es 1I los dos l(mites laterales coinciden%
f/x) = 1 = 1
f/x) = /x & 2) = # & 2 = 1
& 'in em,ar+o" la funcin no est- definida en x0 = #I no existe f /#).
*or tanto" la funcin es discontinua en x0 = #.
#) Es la funcin definida por f/x) =
x 4 & 1 " si x 5 2
F" si x = 2
discontinua en el punto x0 = 2$
Resolucin%
& Existe el l(mite de la funcin cuando x tiende a 2" ya que los dos l(mites laterales coinciden%
f/x) = 2 4 & 1 = #
f/x) = 2 4 & 1 = #
& =a funcin est- definida para x = 2 y vale F% f/2) =F.
& 'in em,ar+o" el valor del l(mite de la funcin cuando x 2 no coincide con f /2)%
f/x) = # 5 f/2) = F
*or tanto" la funcin es discontinua en x0 = 2.
O#ERACIONES CON FUNCIONES CONTINUAS
Suma
=a suma de dos funciones continuas en un punto es tam,in una funcin continua en ese punto.
/emostracin%
'ean f y + dos funciones continuas en un punto x0. Esto si+nifica que%
f/x) = f/x0) y +/x) = +/x0)
*ara pro,ar que la funcin suma f + + es una funcin continua en x0" es necesario demostrar que /f + +)
/x) = /f + +)/x0)
!plicando una de las propiedades de los l(mites de funciones"
/f + +)/x) = f/x) + +/x) = f/x0) + +/x0) = /f + +)/x0)
=a demostracin es v-lida para una suma de n funciones continuas en x0.
Re"ta
=a resta de dos funciones continuas en un punto es tam,in una funcin continua en ese punto.
Esta demostracin" como las que si+uen" se )acen de forma similar a la anterior" ,as-ndose en las
propiedades de los l(mites de funciones.
#oducto
El producto de dos funciones continuas en un punto es tam,in una funcin continua en ese punto.
#oducto de una funcin po un n4meo
El producto de una funcin continua en un punto" por un n1mero real" es otra funcin continua en ese punto.
Cociente
El cociente de dos funciones continuas en un punto es otra funcin continua en ese punto. /'iempre que el
denominador no se anule).
Compo"icin de funcione"
'i f es una funcin continua en x0 y + es otra funcin continua en f(x")" la funcin compuesta gof es continua en
el punto x0.
#RO#IEDADES DE LAS FUNCIONES CONTINUAS
'i una funcin es continua en un punto x0" entonces es conver+ente en x0" es decir" existe el l(mite de la
funcin cuando x tiende a x0.
'i f/x) es continua en x0 f/x) = f/x0)
CONTINUIDAD DE FUNCIONES ELEMENTALES
Funcin con"tante
=a funcin constante f/x) = S es continua en todos los puntos.
f/x) = S
f/x) = f/x0)
f/x0) = S
Funcin identidad
=a funcin identidad f/x) = x es continua en todos los puntos.
f/x) = x0
f/x) = f/x0)
f/x0) = x0
Funcin potencial
=a funcin potencial f /x) = x
n
es continua en todos sus puntos" salvo el caso en que n70 y x=0" ya que en este
caso se tendr(a una funcin racional con denominador nulo.
f/x) = x0
n
f/x) = f/x0)
f/x0) = x0
n
Xuncin polinmica
=a funcin f/x) = a" # a1$x # a%$x ! # $$$ # an$x
n
es una funcin continua en todos
los puntos" por ser suma de funciones continuas en todos los puntos.
f/x) = a0 + a1.x + a2.x 4 + ... + a0.x
n
f/x) = f/x0)
f/x0) = a0 + a1.x + a2.x 4 + ... + a0.x
n
Funcin acional
=a funcin f(x) = &(x)'(x)" donde &(x) y '(x) son funciones polinmicas" es continua en todos los puntos"
salvo en los que el denominador se anula" por ser un cociente de dos funciones continuas.
Funcin e'ponencial
=a funcin exponencial f/x) = a
x
" con a 8 0" es continua en todos los puntos.
f/x) = a
x0
f/x) = f/x0)
f/x0) = a
x0
Funcin lo5atmica
=a funcin f/x) = lo+a x" siendo a 8 1"es continua en todos los puntos de su campo de existencia /0" +B).
f/x) = lo+a x0
f/x) = f/x0)
f/x0) = lo+a x0
E$ecicio% e"tudio de lo" punto" de continuidad
1) <ndicar en qu puntos la funcin f/x) = /2.x 4 & #)D/x & #) es discontinua.
Resolucin%
=a funcin es continua en todos los puntos salvo en los que se anula el denominador" ya que en stos la
funcin no estar- definidaI es decir" en x = #.
=a funcin es continua en todos los puntos salvo en x = #" en el que es discontinua.
2) Oeali0ar un estudio e indicar si la funcin f/x) = /x & F)D/x 4 & #.x & 10) es continua en los intervalos /&#" 0) y /0"
2).
Resolucin%
& =a funcin es continua en todos los puntos" salvo en los que el denominador se anula. El denominador se
anula en x = &2 y en x = F
& El punto x = &2 est- en el intervalo /&#" 0)" lue+o en ste la funcin no es continua.
& 2 /0" 2) y F /0" 2)I lue+o en este intervalo la funcin f/x) s( es continua.
CLASIFICACION DE #UNTOS DE DISCONTINUIDAD
*ara que una funcin f/x) sea discontinua /o no continua) en un punto x0 de,er- darse una" al menos" de estas
condiciones%
a) Yo existe f/x) o no existe f/x)
,) =os l(mites laterales existen" pero f/x) 5 f/x)
c) Existe f/x)" pero f/x) 5 f(x")
Eependiendo de qu condicin se verifique" los puntos en los que una funcin no es continua se clasifican en
puntos de discontinuidad evita)le y en puntos de discontinuidad no evita)le /o inevita)le).
Di"continuidad evita6le
>na funcin presenta una discontinuidad evita)le en un punto x0 cuando"existiendo el l(mite de la funcin en
ste" no coincide con el valor que toma la funcin en el punto /caso c)%
x0 es un punto de discontinuidad evita,le f/x) 5 f(x")
=a discontinuidad se puede evitar asi+nando a la funcin" en el punto x0"el valor de su l(mite.
En este caso a f/x) = f/x0) se le denomina verdadero valor de la funcin en x0" y es el que )ace la que la
funcin sea continua en ese punto.
Di"continuidad inevita6le
>na funcin presenta una discontinuidad inevita)le en un punto x0cuando o ,ien no existe al+1n l(mite lateral
/caso a) o ,ien los l(mites laterales existen pero son distintos /caso ,)" en cuyo caso no existe el l(mite.
x0 es un punto de discontinuidad inevita,le
Yo existe f/x)
o no existe f/x)
o no existe f/x)
E$ecicio% e"tudio ! cla"ificacin de lo" punto" de di"continuidad de una funcin
Oeali0ar un estudio de los puntos de discontinuidad de la funcin
f/x) =
x + 2 " si x 5 1
1" si x = 1
Resolucin%
& =a funcin x + 2 es continua en todos los puntos.
& =a funcin f/x) es continua en todos los puntos salvo en x = 1I ya que f/1) = 1
f/x) = x + 2 = #
f/x) = x + 2 = #
f/x) 5 f/1)
'i se asi+na a f(1) el valor #" valor de f,'-" se evita la discontinuidad y entonces f/x) = x + 2 es continua en
todos los puntos.
El verdadero valor de la funcin en x = 1 es #.
2) Estudiar la discontinuidad /evita,le o no) de la funcin f/x) =
2" si x 7 #
1" si x Z #
Resolucin%
& f/x) es continua en todos los puntos salvo en x = #.
f/x) = 2 = 2
f/x) = 1 = 1
f/x) 5 f/x)
=a discontinuidad es inevita,le.
#) Estudiar y clasificar los puntos de discontinuidad de la funcin f/x) = /x 4 & 6)D/x & 2)
Resolucin%
& =a funcin es continua en todos los puntos salvo en los que se anule el denominador% x = 2
& 'e procede a ver si la discontinuidad en x0 = 2 es evita,le o no%
/x 4 & 6)D/x & 2) = /x & 2)./x + 2)D/x & 2) = /x + 2) = 6
& El l(mite existe y es 6" por lo tanto la discontinuidad en x0 = 2 es evita,le. El verdadero valor de la funcin en
x0 = 2 es 6.
!si+nando a f/2) el valor 6" la funcin
f/x) =
/x 4 & 6)D/x & 2)" si x 5 2
6" si x = 2
es continua en todos los puntos.
#RO#IEDADES DE LAS FUNCIONES CONTINUAS
Neorema del si+no.
'ea f%Pa",Q &&8O una funcin continua en /a",) entonces si f/x0) 5 0"existe un entorno E/x0" @) en que f tiene el
mismo si+no que f/x0).
'i x0 =, /respectivamente x0 =a) entonces existe @ un tal que f toma en /,& @ ",) /respectivamente /a"a+ @) el
mismo si+no que f/x0).
=ema /de acotacin).
'ea f%Pa",Q&&8O una funcin continua en Pa",Q y x0 /a",) entonces existe @ 80 tal que f es acotada en E/x0" @).
Neorema de los ceros" de Hol0ano.
'ea f%Pa",Q&&8O una funcin continua en Pa",Q" tal que f toma valores de si+nos distintos en los extremos a y ,
del intervalo" es decir" si+no f/a) 5 si+no f/,). Entonces existe c /a",) tal que f/c)=0.
Neorema de los valores intermedios" de Ear,oux.
'ea f%Pa",Q&&8O una funcin continua en el intervalo cerrado Pa",Q" entonces f toma todos los valores
intermedios comprendidos entre f/a) y f/,).
Neorema de los extremos a,solutos /del supremo y el (nfimo)" de [eierstrass.
'i f es una funcin continua en el intervalo Pa",Q" entonces f alcan0a al menos una ve0 el m-ximo y el m(nimo
a,solutos en dic)o intervalo.
Tipo" de di"continuidade"%
*ara empe0ar" si f% ! O O no es continua en a !" entonces a es pto. de acumulacin de !.
!l no ser continua f en a" puede ocurrir%
1.& Mue exista lim x a f/x) pero que sea distinto que f/a)" se dice entonces que f tiene una discontinuidad
evita,le en a.
E2emplo%
f% x O
x si x 5 0
1 si x=0
lim x 0 f/x) = 0 5 f/0)
2.& Mue no exista lim x a f/x) pero que existan lim x a
&
f/x)" lim x a
+
f/x) pero que sean distintos. 'e dice"
entonces" que f tiene una discontinuidad de salto finito.
E2emplo%
f% x O
&1 si x W0
1 si x 8 0
lim x 0
&
f/x) = &1
lim x 0
+
f/x) = 1
En ese e2emplo lim x 0
&
f/x) = f/0)
se dice que es continua en 0 por la i0qda.
2\.& Eiscontinuidad de salto infinito cuando al+uno de los l(mites laterales es infinito /+6" &6). Evita,le infinito
cuando lim x a
+
f/x) = +6
E2emplo%
f% x O
1Dx si x 5 0
1 si x=0
#.& Yo existe al+uno de lo l(mites laterales. Eiscontinuidad esencial o de 2] especie.
E2emplo%
f% x O
0 si x M
1 si x M
;tra forma de decir que una funcin es continua es esta%
?8 0" @8 0 D f
&1
/Qf/a) & ?" f/a) + ? P) Qa & @ "a + @ P
Neniendo en cuenta que este particular espacio topol+ico /O con su topolo+(a natural)" un con2unto > O es
entorno de un punto p O" si slo si /por definicin) > contiene contiene al+1n intervalo centrado en p"
podemos decir que f% ! O O es continua en a ! cuando%
^ ^_/f/a))" f
&1
/^) ^_/a) donde ^_/!) son entornos de a con la topolo+(a relativa de !" es decir" con
con2untos que son interseccin con ! de lo entornos /con la topolo+(a de O).
Teoema%
'i f% ! O O es continua y ! es compacto entonces f/!) tam,in es compacto.
Eemostracin%
*or )iptesis de todo recu,rimiento a,ierto de ! se puede extraer un su,recu,rimiento finito /! es compacto).
'ea 9Ui D i <: un recu,rimiento a,ierto de f/!). *or ser f continua cada f
&1
/Ui) es un a,ierto de !" lue+o 9f
&1
/Ui) D
i <: es un recu,rimiento a,ierto de !. Como ! es compacto i1.....in en < D 9f
&1
/Ui1).....f
&1
/U in): es un
recu,rimiento de ! 9Ui1....U in: es un recu,rimiento de f/!).
Corolario%
'i ! es compacto y f% ! O O es continua" entonces f alcan0a un m(nimo y un m-ximo" es decir" a" , ! D
f/a) = min. 9f/x) D x !:" f/,) = m-x. 9f/x) D x !:
Eemostracin%
Como f/!) es compacto" acotado y cerrado" existe m = inf.f/!)" n = sup. f/!). Como f/!) es cerrado el inf y el
sup. de l pertenecen a l.
E2emplo%
f% x Q0" +6P 1Dx
Es continua pero no alcan0a ni el m-ximo ni el m(nimo.
'up. f/Q0"+6P) = `+6`
<nf. X/Q0" +6P) = 0
f% x Q0" 1P x
inf. f/Q0" 1P) = 0 a" , Q0" 1P D f/a) = 0" f/,) = 1
sup f/Q0" 1P) = 1 a" , Q0" 1P D f/a) = min. f/!)" f/,) = m-x. f/!)
'a,emos por el teorema anterior que si f% ! O O es continua" entonces si ! es compacto implica que f/!)
es compacto.
'in em,ar+o%
1.& ! a,ierto no f/!) a,ierto
E2emplo%
f% x Q&1" 1P x 4
f /Q&1" 1P) = P0" 1P
2.& ! cerrado no f/!) cerrado
E2emplo%
f% x P1" +6P 1Dx
f/P1" +6P) = Q0" 1Q
#.& ! acotado no f/!) acotado
f es secuencialmente continua % P/xn) a f/x) f/a)Q
!ca,amos de ver que en O%
f secuencialmente continua f continua
>n intervalo en sentido amplio en O es un con2unto < tal que x" y <" x 7 0 7 y 0 < /un con2unto tal que" si
contiene a dos puntos" tam,in contiene a todo los intermedios).
Es evidente que < es un intervalo en sentido amplio si y slo si es de la forma%a" 9a:" Pa" ,Q" Pa" ,P" Qa" ,Q" Qa" ,P"
con a 7 ," Q&6"aQ" Q&6"aP" Qa" +6P" Pa" +6P"Q&6"+6P.
Teoema ,del valo medio paa funcione" continua"-%
'i f% Pa" ,Q O O es continua y tal que f/a)bf/,) 7 0 entonces existe c Qa" ,P tal que f/c) = 0
Eemostracin%
'upon+amos que f/a) 7 0 7 f/,). Consideremos el con2unto c = 9x Pa" ,Q D f/x) 7 0:" c es no vac(o" a c y
acotado superiormente" , es cota superior de c. *or tanto" tiene supremo. 'ea c = sup c. ^amos a ver a 7 c 7
, y f/c) = 0. *ara ello veremos cuatro casos" en cada uno de ellos el ar+umento es el mismo%
1.& a 7 c
2.& c 7 , /e2ercicio)
#.& f/c) no 7 0
6.& f/c) no 8 0 /e2ercicio)
1.& *or ser f continua en c y tal que f/a) 7 0" dado &f/a) 8 0" @8 0 D x Pa" ,Q" Ax & aA7@ Af/x) & f/a)A 7 &f/a).
=ue+o f/x) = 0
Como Pa" a + @ Q c c Za + @ c 8 a
#.& 'upon+amos que f/c) 7 0" por ser f continua en c /ya se sa,e que c Pa" ,Q)" dado &f/c) 8 0" @8 0 D x Pa"
,Q" Ax & cA 7 @ Af/a) & f/c)A 7 &f/c) f/x) 7 0
Como a 7 c 7 ," eso si+nifica que )ay puntos en c a la derec)a de c" lue+o c no es cota superior de c.
Contradiccin.
Corolario%
'i < es un intervalo /en sentido amplio) y f% < O es continuo" entonces f/<) tam,in es un intervalo /en sentido
amplio).
En otras pala,ras" f alcan0a todo valor comprendido entre dos que alcan0a. Es decir" si x" y <" x 7 y" f/x) 7 d 7
f/y)" /lo mismo si f/y) 7 d 7 f/x))" entonces existe e" @ entre x" y tal que f/e@) = d
En efecto" ,asta considerar la funcin continua +% t Px" yQ +/t) = f/t) & d
E2emplo%
Xuncin no continua que tam,in lleva intervalos en intervalos%
f% x O f/x) =
'en. 1Dx si 5 0
0 si x = 0
Eamos por sa,ido que la funcin x O sen x es continua y" por tanto" tam,in lo es su composicin con la x
O f 90: 1Dx. Es decir" f es continua en O & 90:. 'in em,ar+o" no es continua en 0. Hasta tener en cuenta que
@ 8 0" 0 P&1" 1Q" x Q& @ " @ P D f/x) = 0
=im x 0 sup f/x) = 1I =im x 0 inf f/x) = &1
Esta f transforma intervalos en intervalos.
'i 0 <" f continua
'i 0 <" f/0) = 0" 0 f/<) P&1" 1Q.
E2ercicio%
^er que si f% O O tiene al+una discontinuidad de salto" entonces no lleva intervalos en intervalos.
Teoema ,7eie"ta""-%
'i ! O es compacto y f% ! O O es continua entonces es uniformemente continua.
Noda funcin continua en un compacto es uniformemente continua.
=a definiciones implicadas son%
f es continua en ! x !" ?8 0" @8 0 D y !" Ax & yA 7 @ Af/x) & f/y)A 7 ?
f es uniformemente continua en ! ? 8 0" @8 0 D x" y !" Ax & yA 7 @ Af/x) & f/y)A 7 ? .
>n e2emplo de continua no uniformemente continua es la f% x O f 90: 1Dx f% x O x 4 f% x Q0" 1P
1Dx /Ytese que Of90:" O" Q0" 1P no son compactos).
Eemostracin%
Mue f es continua en ! si+nifica que%
x !" ?8 0" @x D y !" Ax & yA 7 @ x Af/x) & f/y)A 7 ? D2
Yaturalmente"9Qx & @ xD2"x + @ xD2P D x !: es un recu,rimiento a,ierto de ! /`cada punto de a con su para+uas`).
Como ! es compacto" ,asta con finitos de ellos" es decir" existen x1"........." xn ! tales que 9Qx1 & @ xD2"x1 + @
xD2P......Qxn & @ xD2"xn + @ xD2P: recu,ren a !.
'ea @ = min 9 @ x1D2"..........." @ x2D2:8 0
Entonces" si x" y !" Ax & yA 7 @ " existe S 91"....." n: tal que x QxS & @ xSD2" x + @ xSD2P y tenemos que Ay & xSA W Ay
& x + x & xSA 7 @ + @ xSD2 W @ xS
*or tanto" x" y !" Ax & yA 7 @ Af/x) & f/y)A WAf/x) & f/xS)A + Af/xS) & f/y)A 7 ? D2 + ? D2= ?