Definicin formal [editar]

Funciones en espacios mtricos [editar]

El lmite de la funcin f(x) cuando x se aproxima a p ser L si y solo s para todo > 0 existe un > 0 tal que para
todo nmero real x en 0 < |x-p| < , tenemos que |f(x)-L| <
El siguiente concepto de lmite es la definicin formal, la cual no es muy aprehensible para el comn de la gente.
Dicha formulacin matemtica conocida ms como epsilon - delta. Por ello es importante entender el concepto de
lmite como aquella herramienta matemtica que sirve para conocer el comportamiento de una funcin alrededor
de un punto, y que no dice nada de tal comportamiento en ese punto.
Supngase f : (M, dM) -> (N, dN) es mapeado entre dos espacios mtricos, p es un punto lmite de M y LN.
Decimos que "el lmite de f en p es L" y escribimos

si y slo si para todo > 0 existe un > 0 tal que para toda xM en 0 < dM(x, p) < , tenemos dN(f(x), L) < .

Funciones de valor Real [editar]

La recta Real con metric d(x,y): = | x y | es un espacio mtrico. Tambin la lnea Real extendida con mtrica
d(x,y) = | arctan(x) arctan(y) | es un espacio mtrico.
Lmite de una funcin en un punto [editar]
Sea f una funcin Real, entonces
(donde

y L es un nmero real)

si y slo si
para todo > 0 existe un > 0 tal que para todo nmero real x en 0 < |x-p| < , tenemos que |f(x)-L| <
Con smbolos:

Ejemplo [editar]
Dado

calclese su lmite nicamente en base a la definicin.

Supngase que el lmite buscado existe y que es L, entonces por definicin:

Dividiendo la segunda expresin por 2 tenemos:

Luego entonces con

existir el lmite por lo que:

As tenemos que:
Con un anlisis igual para f(x)=kx se comprueba que:

Refirindonos a los limites infinitos, hay que tener en cuenta lo siguiente: Ya sea por la izquierda o derecha, los
limites que tienden a 0,y no necesariamente al -infinito o al +infinito, se toma en cuenta el signo de la
izquierda(negativo) o en su defecto derecha(positivo) para tomar en cuenta el resultado del infinito o la tendencia
a un nmero en especial. Todo depende del signo.

Propiedades de los lmites [editar]

1.
2.
3.
4.
5.
6.
7.
Obtenido de "http://es.wikipedia.org/wiki/L%C3%ADmite_de_una_funci%C3%B3n"

Definicin general [editar]

Sean (X,TX) e (Y,TY) dos espacios topolgicos. Una aplicacin
un abierto de X, cualquiera que sea el abierto G de Y.

se dice que es continua si f 1(G) es

Con la misma notacin, si

, diremos que f es continua en x cuando se obtiene que f 1(V) es un entorno de
x, cualquiera que sea el entorno V de f(x).
Es "inmediato" entonces comprobar que f es continua cuando y slo cuando es continua en
que sea ste, es decir, cuando sea continua en cada uno de los puntos de su dominio.

Funciones reales de una variable real [editar]

Introduccin [editar]

, cualquiera

Informalmente hablando, una funcin f definida sobre un intervalo I es continua si la curva que la representa, es
decir el conjunto de los puntos (x, f(x)), con x en I, est constituida por un trazo continuo, es decir que se puede
dibujarla sin levantar el lpiz del papel, como en la figura de la izquierda.
El intervalo I de x es el dominio de definicin de f, definido como el conjunto de los valores de x para los cuales
f(x) existe.
El intervalo J de y es el codominio (tambin conocido como contradominio, rango o imagen) de f, el conjunto
de los valores de y, tomados como y = f(x). Se escribe J = f(I).
El mayor elemento de J se llama el mximo absoluto de f en I, y el menor valor de J es su mnimo absoluto en
el dominio I.

Continuidad de una funcin en un punto [editar]

En el caso de aplicaciones de en , y de una manera ms rigurosa se dice que una funcin; f es continua en un
punto x1 si existe f(x1), si existe el lmite de f(x) cuando x tiende hacia x1 por la derecha, si existe el lmite de
f(x) cuando x tiende hacia x1 por la izquierda, y adems coinciden con f(x1).
As pues, una funcin f continua en el punto x1 implica lo siguiente:

Existe f(x1):

tiene limite por la izquierda:

tiene limite por la derecha:

El lmite por la derecha por la izquierda y el valor de la funcin coinciden:

Es decir: el lmite de la tasa de variacin es cero cuando el incremento de la variable independiente , h, tiende a
cero:

Una definicin ms exacta es [editar]

Si f(x1)= y1, la continuidad en x1 se expresa as:

parafraseando, cuando x se aproxima a x1, f(x) se aproxima a y1. Por definicin de los lmites, esto significa que
para todo intervalo abierto J, centrado en y1, existe un intervalo abierto I, centrado en x1, tal que

Si f ejecuta un salto en el punto, el teorema cae en falta. En efecto no todo intervalo I alrededor de x1 tiene su
imagen en un intervalo J centrado en y1, con un radio inferior al salto de f, no importa lo pequeo que este
intervalo sea, hay valores de x del intervalo I alrededor de x1 que tiene su imagen en un intervalo K centrado en
y2, siendo y1 y y2 valores distintos, esto es: x tiene imgenes que se salen de J.
La ventaja de esta definicin es que se generaliza a cualquier espacio topolgico.
Continuidad lateral [editar]

Una funcin f es continua por la izquierda en el punto x = x1 si el lmite lateral por la izquierda y el valor de la
funcin en el punto son iguales. Es decir:

como en la figura.
Una funcin f es continua por la derecha en el punto x = x1 si su lmite lateral por la derecha y el valor de la
funcin en el punto son iguales. Es decir :

Una funcin f es continua en un punto si es continua por la izquierda y es continua por la derecha. Esto es:

Continuidad de una funcin en un intervalo [editar]

Una funcin, f es continua en un intervalo I, si y slo si la funcin es continua en todos los puntos del intervalo, es
decir:
f es continua en un intervalo I
Dado que una funcin f es continua en un intervalo abierto (a, b) si la funcin es continua en todos los puntos del
intervalo, entonces f es continua en el intervalo cerrado [a, b] si y slo si es continua en el intervalo (a, b) y
adems es continua en el punto a por la derecha y en el punto b por la izquierda.
La funcin anterior es continua tanto en [-6, 1) como en (1, 6].

Algunas funciones continuas importantes [editar]

Funcin seno y coseno

Las funciones polinomiales, trigonomtricas: seno y coseno, las exponenciales y los logaritmos son continuas en
sus respectivos dominios de definicin.
La parbola, como funcin polinmica, es un ejemplo de funcin continua a lo largo de todo el dominio real.
En la grfica se ve la funcin seno que es peridica, acotada y continua en todo el domino real, dado su carcter
peridico, con ver uno solo de los ciclos es suficiente para comprobar la continuidad, porque el resto de los ciclos
son exactamente iguales.

Algunas funciones discontinuas [editar]

Los * En los y las funciones racionales: son discontinuas en los puntos donde el denominador se hace cero. Un
ejemplo de esto es la funcin inverso:

El denominador se hace cero para x = 1.

Esta funcin es una hiprbola compuesta por dos tramos. x < 1 y x > 1. Como vemos, efectivamente es continua
en todo su dominio
pero no esta definida en x= 1 por lo que no es una funcin continua.
Aunque este formada por dos ramas continuas cada una de por si.

La funcin raz: para los valores de x, en los que el radicando toma valores negativos:

La funcin seno toma valores positivos y negativos, la raz de nmeros negativos no esta definida para
la funcin es discontinua.

, donde

La funcin trigonomtrica Tangente es peridica y discontinua para / 2 en cada ciclo.

Funciones definidas por intervalos [editar]

La funciones definidas para distintos intervalos de x, puede ser discontinua en los puntos de cambio de intervalo,
como por ejemplo:

La Funcin parte entera de x, E(x), donde E(x) es el mayor nmero entero inferior o igual a x, tal que:
E(x) x < E(x) + 1.

Su curva es una sucesin de segmentos horizontales a distintas alturas. Esta funcin no es continua en los enteros,
pues los lmites a la izquierda y a la derecha difieren de uno, pero es continua en los segmentos abiertos (n, n+1)
donde es constante.

Otras funciones definidas por intervalos

Funcin escaln unitario
Funcin signo

Funciones que no son continuas en ninguna parte [editar]

Existen funciones que no son continuas en ningn punto. La ms conocida es la funcin caracterstica de Q, es
decir la funcin que toma como valor 1 cuando x pertenece al conjunto de los racionales, y 0 si no.
Obviamente, no se puede dibujar su curva, que est constituida por una infinidad de puntos en la recta y= 0 , y
una infinidad (menor) de puntos en la recta y= 1.

Tipos de discontinuidades [editar]

Ahora vemos distintos casos de funciones que son continuas en todos los puntos de un intervalo excepto en un
nmero finito de puntos. Con esto queremos decir que, si tomamos un punto en concreto del intervalo en el que la
funcin no es continua, podemos encontrar otro nuevo intervalo ms pequeo en el que el punto tomado sea el
nico punto en el que la funcin no es continua.
Discontinuidad evitable [editar]

Una funcin presenta un punto de Discontinuidad evitable (o removible) si en ese punto se cumple que:
1.
2.
Pueden ser transformadas en otra funcin continua, dndole a f(x1) el valor adecuado que la hace continua. Si
modificamos una funcin obtenemos otra funcin, no la misma, por ello se dice que son evitables.
ejemplo:
La funcin:

Presenta los siguientes limites por la izquierda y por la derecha:

pero la funcin para x= 2 no esta definida:

en este un caso de discontinuidad evitable y adems de un modo sencillo:

lo que es lo mismo:

simplificando:

esta funcin es continua para todo x de valor real y es equivalente a la primera funcin, excepto en que la primera
es discontinua para x= 2.
Discontinuidad de primera especie [editar]

Una funcin presenta una discontinuidad de primera especie en un punto x1, si en este punto se cumple que:

se produce un salto en los extremos.

Discontinuidad de segunda especie [editar]

Son las que tienen puntos para los que existe solo uno o ningn lmite. Por ejemplo la funcin
sta tiene una discontinuidad de segunda especie en 0 pues no existe el lmite
o

Discontinuidad asinttica [editar]

La discontinuidad viene marcada por una asntota vertical. Se cumple lo siguiente:

Ms informacin en: funcin discontinua

Derivabilidad implica continuidad [editar]

Si una funcin es derivable en x= a entonces es continua en x= a.

Hiptesis: Existe f'(a)
Tesis: f(x) es continua en x= a
Demostracin:

Es importante notar que el recproco no es vlido; es decir que nada se puede afirmar sobre la derivabilidad de una
funcin continua. Un ejemplo claro de esta situacin es la funcin valor absoluto f(x)= |x| que si bien es continua
en todo su dominio no es derivable en x= 0

Teoremas sobre funciones continuas [editar]

Estos son algunos de los teoremas ms importantes sobre funciones continuas.
1. Teorema de Weierstrass: Si f es continua en [a,b] entonces presenta mximos y mnimos absolutos.
2. Teorema de Bolzano: Si f es continua en [a,b] y f(a) > 0 y f(b) < 0, entonces
tal que f(c) = 0
3. Teorema del valor intermedio: Si f es continua en [a,b] y f(a) < k < f(b) entonces
tal que f(c) =
k

Teorema BolzanoWeierstrass [editar]

Un subconjunto A de

es secuencialmente compacto si y slo si es a la vez cerrado y acotado.

Teorema de Weierstrass [editar]

Las funciones continuas en un intervalo cerrado gozan de una propiedad interesante, recogida en el siguiente
teorema:
Hiptesis: Si una funcin f es continua en un intervalo cerrado [a,b] entonces
Tesis: Hay al menos dos puntos x1,x2 pertenecientes a [a,b] donde f alcanza valores extremos absolutos, es decir
, para cualquier
Corolario: El conjunto imagen de la funcin f est acotado, es decir:
Imf = f([a,b]) = [f(x1),f(x2)]
donde m=f(x1) simboliza el valor mnimo absoluto y M=f(x2) el valor mximo absoluto.
El Teorema de Bolzano, que es un caso especial del Teorema del valor intermedio, dice lo siguiente:

Sea f una funcin continua y acotada en un intervalo cerrado [a, b]. Si f toma valores de signos distintos en los
extremos de los mismos, entonces se anula al menos en un punto interior del intervalo, es decir: Si f continua en
[a, b], f(a)f(b) < 0 entonces existe c perteneciente a (a, b) tal que f(c)=0.
En palabras ms simples, lo que viene a decir el teorema de Bolzano es lo siguiente:
Suponiendo que el eje de abscisas (eje x) fuese un ro, y el segmento (a, b) un camino que hemos de seguir: si en
el punto a, la grfica est en un lado del ro (tiene valor negativo) y en el punto b est en el otro lado del ro(tiene
valor positivo) y la grfica es contnua en ese segmento, lgica y obligatoriamente ha de cortar por lo menos en un
punto con el eje x (el ro).

Demostracin [editar]
Suponer que f'(a) < 0 y f(b) > 0 (en caso contrario se demuestra de manera anloga)
Sea Z1 = (a + b)/2
Si f(Z1) = 0, ya estara con c = Z1, sino hay dos posibilidades, f(Z1) > 0 y f(Z1) < 0
Si f(Z1) > 0, entonces X1 = a e Y1=Z1
Si f(Z1) < 0, entonces X1 = Z1 e Y1 = b
Sea Z2 = (X1 + Y1)/2
Si f(Z2) = 0,ya estara con c = Z2, sino hay dos posibilidades, f(Z2) > 0 y f(Z2) < 0
Si f(Z2) > 0,entonces X2 = X1 e Y2 = Z2
Si f(Z2) < 0,entonces X2 = Z2 e Y2 = Y1
Repetimos el proceso iterativamente.
Observar que In=[Xn, Yn] est contenido en [a, b], que la longitud del invervalo es [1/(2^n)].(b - a), sucesin que
tiende a 0, y que f(Xn) < 0 y f(Yn) > 0 para todo n. Estas condiciones cumplen las impuestas en el Teorema de
Cantor de los intervalos encajados, por tanto la interseccin infinita de la sucesin In es igual a un c tal que es el
lmite de Xn y el lmite de Yn. Por otra parte como f es continua, f(c) = lim f(Xn) menos o igual que 0 y f(c) = lim
f(Yn) mayor o igual que cero, por tanto f(c) = 0
Finalmente como f(a) < 0 y f( b ) > 0 (por hiptesis), c distinto de a y de b, luego es un punto interior como
habamos dicho.

El Teorema del valor intermedio dice lo siguiente: sea f una funcin continua tal que f:[a,b]R donde R es el
conjunto de los nmeros reales. Entonces para todo nmero u tal que f(a)< u < f(b) o f(b) < u < f(a), existe x en [a,
b] tal que f(x)=u
Existen varios teoremas de Anlisis Matemtico relacionados con un valor intermedio.
El ms bsico de todos ellos es el llamado Teorema de Bolzano, que se obtiene en el caso que u=0, cuyo
enunciado es el siguiente:
"Si f(x) es una funcin continua en el intervalo cerrado [a, b] y el signo de f(a) es distinto a f(b) entonces existe al
menos un valor c que pertenece al intervalo abierto (a, b) tal que la funcin se anula en ese punto".
Obtenido de "http://es.wikipedia.org/wiki/Teorema_del_valor_intermedio"

Teorema del valor intermedio

Definicin de lmite Sea una funcin definida en una vecindad del punto

Definicin

Se dice que
, si para cada nmero positivo , por pequeo que
este sea, es posible determinar un nmero positivo , tal que para todos los
valores de , diferentes de , que satisfacen la desigualdad
verificar la desigualdad

Luego,

si y solo si para cada

tal que si

.
En forma grfica se tiene:
para cada

, se

existe

, entonces

tal que si

Tambin el

entonces

puede interpretarse de la forma siguiente: como la desigualdad

se deduce que

, entonces todos los puntos en la grfica de la funcin con ecuacin

, que corresponden a los puntos que se localizan a una distancia no mayor que del
punto , se encontrarn dentro de una franja de ancho ,limitada por las rectas
, como se muestra en la siguiente figura:

Puede decirse entonces que la definicin de lmite dada anteriormente , establece que los valores
de la funcin

se aproximan a un lmite

, conforme se aproxima a un nmero , s el valor

absoluto de la diferencia entre

se puede hacer tan pequea como se quiera tomando
suficientemente cercana a "b", pero no igual a "b".
Daremos ahora algunos ejemplos en los que se utiliza la definicin de lmite:
Ejemplo:
a.
Probar que
Solucin:
Debe probarse que dado

tal que

siempre que

.
Vamos a establecer una relacin entre
Como

.
o sea

Entonces, para hacer

puede tomarse

menor que , es suficiente que

, por lo que

Luego, dado

, existe

tal que si

entonces

b.
Probar que
Solucin:
Dada

, debe encontrarse

tal que

siempre que

Como

entonces para que

sea menor que es suficiente que

por lo que podemos tomar

.
Luego, dado

, existe

tal que

siempre que

.
c.
Probar que
Solucin:
Debe encontrarse en trminos de
cuando

, tal que

sea menor que

. Se tiene que

Como lo que nos interesa es el lmite cuando tiende a 1, vamos a considerar los valores
de que estn cerca de 1, pero que sean diferentes de 1.
As, tomamos

de donde

y por tanto

Vamos a determinar un nmero para el que

cuando

De la desigualdad
tomarse
.

por lo que

se obtiene que

Luego
Adems

cuando
es menor que

Por tanto, si se toma como el menor de los nmeros

entonces

.
y puede

cuando

Por ejemplo, si se toma

entonces

cuando
En general, el determinar el
mediante el uso directo de la definicin es difcil,
por lo que para hacerlo se contar con la ayuda de una serie de teoremas, que
estudiaremos ms adelante.
Hemos dado un vistazo intuitivo y otro ms formal sobre la nocin de lmite en un punto.
En sntesis, lo que nos interesa saber es el comportamiento de una funcin cuando la
variable independiente tiende a un determinado valor en el eje .
Ejemplo:
Determinar:

utilizando para ello la

siguiente representacin grfica de la funcin :

Solucin
A partir de la grfica de se tiene que:
,

Ejercicio:
Determinar los siguientes lmites, utilizando para ello la representacin grfica de la funcin ,
que se da a continuacin:

a.

e.

b.

f.

c.

g.

d.
Lmites y continuidad
LMITES
El concepto de lmite es la base fundamental con la que se construye el clculo infinitesimal (diferencial e
integral). Informalmente hablando se dice que el lmite es el valor al que tiende una funcin cuando la variable
independiente tiende a un nmero determinado o al infinito.
Definicin de lmite
Antes de establecer la definicin formal del lmite de una funcin en general vamos a observar qu sucede con
una funcin particular cuando la variable independiente tiende (se aproxima) a un valor determinado.
Ejemplo:
En la tabla adjunta escribimos algunos valores para la variable independiente x, en el entorno de 2, y calculamos
los valores correspondientes de la funcin f (x):
x
f (x)
Cuando x se aproxima a 2, tanto por la izquierda como por la
derecha, tomando valores menores o mayores que 2, f (x) se
1.9
2.61
aproxima, tiende, cada vez ms a 3; y cuanto ms cerca est x
1.99
2.9601
de 2, o lo que es lo mismo, cuando la diferencia en valor
1.999
2.996001
absoluto entre x y 2 es ms pequea asimismo la diferencia, en
1.9999
2.99960001
valor absoluto, entre f (x) y 3 se hace cada vez ms pequea.
2.0001
3.00040001
(Estas diferencias se muestran en la tabla inferior derecha).
2.001
3.004001
Osea, la funcin se acerca a un valor constante, 3, cuando la
2.01
3.0401
variable independiente se aproxima tambin a un valor
2.1
3.41
constante.
|x 2|

| f (x) 3|

|1.9-2| = 0.1
|1.99-2| = 0.01
|1.999-2| = 0.001
|1.9999-2| = 0.0001
|2.0001-2| = 0.0001
|2.001-2| = 0.001
|2.01-2| = 0.01
|2.1-2| = 0.1

|2.61-3| = 0.39
|2.9601-3| = 0.0399
|2.996001-3| = 0.003999
|2.99960001-3| = 0.00039999
|3.00040001-3| = 0.00040001
|3.004001-3| = 0.004001
|3.0401-3| = 0.0401
|3.41-3| = 0.41

De lo anterior se deduce intuitivamente que el lmite de la funcin f (x) cuando x tiende a 2, es 3.

Ahora, pasamos a dar la definicin formal de lmite:
Definicin psilon-delta
Sea f una funcin definida en algn intervalo abierto que contenga a a. El lmite de f (x)
cuando x tiende a a es L, y se escribe

Nota: no es necesario que f este definida en a para que el lmite exista.

Ejercicios resueltos (aplicando la definicin epsiln-delta)

En los ejercicios 1 a 4, demuestre que el lmite es el nmero indicado aplicando la
definicin Epsiln-delta:

Soluciones
1. Solucin:

2. Solucin:

3. Solucin:

4. Solucin:

Definicin de lmite y continuidad de una funcin.

Figura 22: Definicin de lmite segn Heine

Es decir que
de

si y slo si cualquiera sea el entorno

, que no contiene a

tal que

de que escojamos, existe un entorno

(ver la figura 23).

Figura 23: Definicin de lmite segn Weierstrass

Existen cuatro tipos fundamentales de discontinuidad:

Discontinuidad evitable
Esta discontinuidad tiene lugar si existe el lmite
definida, o

pero la funcin en

no coincide con el lmite . Es evitable pues en

la tal forma que

podemos redefinir la funcin

de

Figura 24: Funcin con discontinuidad evitable en

Discontinuidad no evitable (o escencial) de salto finito
Esta discontinuidad tiene lugar si existen los lmites laterales
pero son diferentes. Por tanto, no existe el lmite de
redefinir la funcin

, o no est

de la tal forma que

en

existen

. Adems en este caso es imposible

Figura 25: Funcin con discontinuidad de salto finito en

Discontinuidad no evitable (o escencial) de salto infinito

Esta discontinuidad tiene lugar si alguno de los lmites laterales es igual a

o

, o sea, si

. Por tanto, no existe el lmite finito de

en este caso tambin es imposible redefinir la funcin

Este caso corresponde cuando la funcin esta bien definida en todo el entorno de

Figura: La funcin

pero no existen los

).

en

Muy distinto es el caso de la funcin

Figura: La funcin

. Adems

Figura 26: Funcin con discontinuidad de salto infinito en

Discontinuidad no evitable (o escencial)

lmites laterales (no son siquiera

en

(izquierda) y en

en

(izquierda) y en

(derecha).

(derecha).

Propiedades de los lmites

Como consecuencia de las propiedades de los lmites de sucesiones tenemos las siguientes propiedades:

Como una consecuencia de este teorema se tiene que si

, entonces

Como consecuencia del apartado 2 del teorema anterior tenemos que si

dicho intervalo, entonces

es continua en

Asntotas de funciones.

es continua en

e inyectiva en

Por ejemplo, la funcin

tiene la asntota vertical

Por ejemplo, la funcin

Figura 29: Asntotas horizontal

tiene dos asntota horizontales

y vertical

(izquierda) y oblicua

(derecha).

Para calcular la pendiente de las posibles asntotas oblicuas hay que calcular

y luego

Las asntotas horizontales son un caso particular de las oblicuas cuando la pendiente de estas ltimas son iguales a
cero.

Por ejemplo, la funcin

tiene la asntota oblicua

cuando

Por ejemplo, la funcin

es un infinitsimo de mayor orden que

es un infinitsimo de mayor orden que

en

, o sea,

Utilizando esta notacin los infinitsimos tenemos

1.

2.

3.

4.

5.

6.
7.
8.

.
.
.

Propiedades de las funciones continuas.

en

, es decir
.

, y la funcin

Figura 30: Teorema de Bolzano (izq.) y de los valores intermedios (der.)

Continuidad uniforme
Definicin 10.1 Se dice que una funcin

Ntese que en este caso el

es continua en

depende, en general, no slo de

Definicin 10.2 Se dice que una funcin

todo

existe un

tal que si para todos

si

sino tambin de

es uniformemente continua en un intervalo

e

de

, tales que

si si para

, entonces

Figura 31: Continuidad uniforme: la funcin

Lmites notables.

en

(izquierda) y

en

En este apartado vamos a encontrar una serie de lmites importantes que aparecen en un sinnmero de ejemplos y problemas: los
denominados lmites notables.

Por ejemplo, la sucesin

es equivalente a la sucesin
como la frmula de Stirling, es vlida:

y por tanto la siguiente frmula, conocida

(9.5)

Ejemplo 9.5 Calcular el lmite

Sea

pero

. Definamos

.
. Entonces, como