Lmites de funciones

Una aplicacin entre conjuntos de nmeros se llama

Funcin inversa
Sea y = f (x) una funcin inyectiva.
Podemos crear una nueva funcin f-1 que vaya del conjunto imagen al origen, de la
siguiente manera:

Si la imagen de x por f es y, entonces f-1 da como imagen de y al elemento x.

Esta nueva funcin se llama funcin inversa de f : f-1:
f-1 (y) = x f(x) = y
- f ha de ser inyectiva para poder hablar de funcin inversa.
- El dominio de f-1 es el conjunto lm f : el conjunto de elementos de B que son
imgenes de alguno de A.
- Entre una funcin y su recproca se intercambian los valo res de las variables : la
variable independiente pasa a dependiente, y viceversa.
* Hallar la funcin inversa de f (x) = 2x + 5 :
f es inyectiva: f (z) = f (t) 2z + 5 = 2t + 5 z = t, luego admite funcin recproca.
Poniendo y = f-1 (x), esta funcin es la que cumple x = f (y), es decir, x = 2y + 5.
Despejando y, tenemos:
x-5
-1
y = f (x) =
2

Funcin compuesta
Sean f, g dos funciones cumpliendo con el siguiente esquema:

- El dominio de f es A. Sus imgenes son un subconjunto de B.

- Dentro del dominio de g estn todas las imgenes de f.
En estas condiciones podemos definir una nueva funcin que nos pase
directamente de A al conjunto C, aprovechando a las funciones f y g.
A esta nueva funcin se le llama FUNCION COMPUESTA de f y g, y se representa
por
g f (atencin a la forma de escribirlas).
Veamos cmo acta :
x

Elemento de A

f(x)
g (f (x))

Elemento de B que est

Elemento de C que
dentro del conjunto lm f
es la imagen por g
y, por ello, pertenece al
de f (x)
dominio de g, que le recoge

y lo manda sobre C

La funcin compuesta recoge al

g f (x) elemento x de A y lo manda directamente
sobre el conjunto C : g (f (x))
(g f) (x) = g (f (x))
* Hallar la funcin compuesta de
1
2
f (x) = x + 1; g (x) =
x-2
Para poder hallar la funcin compuesta se ha de cumplir que el dominio de g
contenga a las imgenes de f.
Si hubiera un x tal que f (x) Dom g, a ese valor no podramos hallarle la imagen
por g y, por ello, tampoco la imagen de la funcin compuesta. Aqu Dom g = R {2},
pues para
1
1
x = 2 tendramos g (2) = = , que no tiene sentido.
0

2-2

Nos preguntamos hay algn valor x tal que f (x) = 2? Plan teamos f (x) = 2 x2 +
1 = 2 x = 1; para esos valores no es posible calcular la funcin compuesta.
Para los dems tendramos :
1
1
2
(g f) (x) = g (f(x)) = g (x + 1) = =
(x2 + 1) - 2
x2 - 1

Aproximacin al concepto de lmite de funciones

Observando las distintas grficas, analicemos lo que ocurre en las proximidades

del punto x0 para los valores f (x) de la funcin:
A) En el punto x0 no existe el valor f (x0).
Si nos acercamos al punto x0 por la izquierda, es decir, con valores x < x0, las
imgenes f (x) se acercan al valor L.
Escribimos f (x) L cuando x x0.
Anlogamente, si nos acercamos por valores x > x0 , obser vamos que tambin los
valores f (x) se acercan hacia L. Aqu la aproximacin a x se realiza por la derecha
: f (x) L cuando x x0+.

B) La diferencia con lo anterior es que existe f (x0) = L .

C) Cuando nos acercamos a x0 por la izquierda, f (x) H, y cuando lo hacemos

por la derecha, f (x) G, con G H.

D) Aqu existe f (x0), pero, a diferencia del caso B, este valor no coincide con la
tendencia de la funcin en las proximidades de x0. Cuando nos acercamos a x0
por los dos lados la funcin f (x) L.

Cundo diremos que una funcin f (x) tiene lmite en un punto x0?
Intuitivamente diremos que es el valor UNICO al que se apro xima la funcin
cuando x se acerca a x0 por los dos lados. En los ejemplos anteriores, salvo en el
caso C, la funcin tiene lmite y su valor es L .
Observemos que el valor del lmite es independiente de lo que ocurra a la funcin
en el punto x0.
Por ejemplo, en el caso A el valor f (x0) no existe y, sin embargo, la funcin tiene
lmite; o en el caso D, donde, aunque existe f (x0 ), no coincide con el valor del
lmite.

Lmite de una funcin en un punto

Formalicemos la definicin, al objeto de tener un mtodo seguro para conocer si un
valor es el lmite de una funcin en un punto :

 > 0, por pequeo que sea, >0, tal

lm f (x) = L que si 0 < |x - x0| < , se cumple
xx0
|f (x) - L| < .
Por la equivalencia entre mdulos, distancias y entornos la explicacin de la
anterior definicin es :
Una funcin f (x) tiene lmite en un punto x0 si cumple que para todo entorno, por
pequeo que sea, alrededor de L siempre es posible encontrar un entorno de x0 tal
que para los puntos de ese entorno, excluido el propio punto x0, las imgenes van
a caer dentro del entorno de L.
Grficamente :

1. Se toma Ec (L) cualquiera .

2. Encontramos un conjunto de puntos x x0 que cumplen la condicin de que sus
imgenes estn en el entorno de L, es decir, f (x) E (L) . Ese conjunto es (C B)
3. Hemos de ver si de ese conjunto de puntos (C B) se puede extaer un entorno de
x0 .
4. Si encontramos ese entorno, podemos decir que el lmite de la funcin en el
punto x0 vale L .
De (C B) se puede sacar un entorno de x0 : (C T), tomando como radio del entorno
la distancia menor entre d (x0, C) y d (x0, B); luego L = lm f (x).
n

* Probar que lm (2x + 1) = 3

n
1. Tomemos un entorno cualquiera de 3 : E (3) .
2. Busquemos los puntos x que cumplen f (x) E (3) :
|f (x) - L| < |2x + 1 - 3| < |2x - 2| <

|2 (x - 1)| < 2 |x - 1| < |x - 1| <

2
Pasando a entornos, la ltima desigualdad nos dice que los puntos x que cumplen
la condicin f (x) E (3) son los x que cumplen x E /2 (1) .
Podemos afirmar que 3 es el lmite de la funcin . Aqu,

= .
2

Continuidad
Intuitivamente sabremos que una funcin es continua en un punto si en los
alrededores de dicho punto somos capaces de dibujarla sin levantar el lpiz del
papel
* Definicin :
f (x) es continua en x0 si cumple lm f (x) = f (x0)
n x0

Esta definicin nos da las tres condiciones que una funcin f (x) debe cumplir para
ser continua en un punto x0 .
- Ha de existir el valor de la funcin en el punto x0, es decir, ha de existir f (x0) .
- La funcin ha de tener lmite en x0 .
- El valor del lmite debe coincidir con f (x0) .

Ejemplos negativos de continuidad

Clculo de lmites de funciones

Aqu hablamos de sin especificar el signo, que se determina con la regla de los
signos. Esto lo hacemos para no alargar escesivamente la exposicin .

Lmites infinitos
lm f (x) = si y slo si M positivo y arbitrariamente
n x0

grande, existe > 0 tal que si 0 < |x - x0| < , entonces

3

|f (x)| > M .

* Probar que lm
n1

=
x-1

3
3
3
> M > M |x - 1| <
x-1
|x - 1|
M
3
tomando = .
M
Se cumple la condicin |f (x)| > M; est probado .
* Grfica

Esta funcin es la f(x) = 1/x2 que cumple

lim f(x) =
x
Limites en el infinito
lm f (x) = L > 0 y arbitrariamente pequeo H
x

positivo tal que si |x| > H, entonces se cumple

|f (x) - L| < .
* Grfica :

Lm f (x) = M > 0 y arbitrariamente grande, H

x

positivo tal que si |x| > H, entonces se cumple |f (x)| > M .

* Grficas :

Operaciones con lmites

Si las funciones f (x), g (x) son convergentes en un punto x0, tenemos :
lm (f (x) g (x)) = lm f (x) lm g (x)
x x0
x x0
x x0
lm (f (x) g (x)) = lm f (x) lm g (x)
x x0
x x0
x x0

lm
x x0

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

(si lm g (x) 0)
x x0

x x0

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

x x0
x x0 x x0

(si lm f (x) 0)
x x0

Aqu son vlidos los cuadros dados para las sucesiones, que podremos utilizar en
cuanto a operaciones con funciones que divergen . Recordemos que las
indeterminaciones siguen siendo :
0
- ; 0 ; ; ; 1.
0

Primeros resultados
- Para f (x) = c (funcin constante) :
lm f (x) = lm c = c
x x0

x x0

- Para f (x) = x (funcin identidad) :

lm f (x) = lm x = x0
x x0

x x0

- Para f (x) = x :
lm f (x) = lm x = x0
x x0

x x0

- Para f (x) = a0 + a1x + ... + akxk (funcin polinmica) :

lm f (x) = lm (a0 + a1x + ... + akxk) =

x x0

x x0

= a0 + a1x0 + ... + akxk0

El lmite coincide con el valor del polinomio en x = x0 .

Clculo prctico
0
- Indeterminacin :
0
x2 - x - 2
lm . Calculamos el lmite del polinomio del
x2 x2 - 3x + 2
numerador por un lado, y por otro, el lmite del polinomio
0
del denominador, y obtenemos la indeterminacin .
0
Para resolverla hemos de tener en cuenta que, por anularse ambos polinomios en
x = 2, este valor es una raz de ellos, y podemos factorizarlos aplicando la regla de
Ruffini :
1
-1
-2

2
2
2

1
1
0
x2 - x - 2 = (x - 2)(x + 1)

1
-3
2

2
2
-2

1
-1
0
x2 - 3x + 2 = (x - 2)(x - 1)

x2 - x - 2
(x - 2)(x + 1)
x+1 2+1
lm = lm = lm =
x2 x2 - 3x + 2 x2 (x - 2)(x - 1) x2 x - 1 2 - 1
=3

Hemos simplificado por x - 2. Lo podemos hacer porque en el proceso del clculo

del lm f (x) nos acercamos a x0
x x0
para valores de x que son siempre distintos de x0 . En nuestro caso siempre x 2,
luego (x - 2) 0, y podemos simplificar por ser una cantidad no nula .

- Indeterminacin :

2x2 - x + 1
lm . La indeterminacin se resuelve igual a
2
x -x +2
lo que hacamos con sucesiones :

2x2 - x +1

2x2 x
1
- +
x2 x2 x2

lm = lm =
x -x2 + 2
x -x2 2
+
x2 x2
1
1
2-+
x x2
= lm = - 2
x
2
-1+
x2
- Indeterminacin 1
x2 + 1
22 + 1
5
lm = = = 1
x2 2x + 1
22+1
5
x2 + 1
lm () 1/(x - 2)
x2 2x + 1

1
lm =
x2 x - 2

Repitiendo el proceso seguido en sucesiones, tenemos :

x2 + 1
1
1
x2 + 1
= 1 + = - 1 =
2x + 1
a (x)
a (x)
2x + 1
x2 - 2x
2x + 1
= a (x) =
2x + 1
x2 - 2x

x2 + 1
1
lm ()1/(x - 2) = lm [1 + ) a (x)] 1/a (x) 1 /x-2
x2 2x + 1
x2 a (x)
= elm 1/[a (x)(x - 2)] = elm x2 - 2x/[(2x + 1)(x - 2)] =
elm x(x - 2)/(2x + 1)(x - 2)
= elm x/(2x + 1) = e 2/2 2 + 1 = e 2/5

Funcin exponencial
f(x) = ax con a > 0
- Si a = 0, no podramos encontrar ninguna imagen para
1
1
los x negativos, pues, por ejemplo, 0-3 = = y no
03 0
existe el inverso del cero.
- Si a < 0, habra valores x para los que no se podra

1
encontrar imagen; por ejemplo, si a = - 2 y x = + :
2
f (x) = ax = (-2)1/2 = -2
y no existe la raz cuadrada de un nmero negativo.
- Recordando lo estudiado en potencias, las imgenes se calcularan:
x = natural ax = an = a an... a ; a3 = a a a

an = an... a ; a5 = a a a a a
x = entero
1
1
1
-n
-3
a = ; a = =
an
a3
aaa
x = racional am/n = nam ; a3/5 = 5a3
x = real

Recordemos que un nmero real se define

como el lmite de una sucesin de nmeros
racionales .
Entonces si
= (b1, b2, b3, ...), donde bi Q
ax = a = lm (ab1, ab2, ab3, ...)

Por ejemplo :
2 = 1,4142 ... = (1, 1,4, 1,41, 1,414, ...)
32 = lm (31, 31,4, 31,41, ...)
31,4 = 3 14/10 = 10314 ; 31,41 = 3 141/100 = 1003141

Grficas

Propiedades
f (x) = ax con a > 1

f (x) = ax con 0 < a < 1

1. Dominio : R .

1. Dominio : R .

2. Imgenes siempre

2. Imgenes siempre positivas .

positivas .
3. Para x = 0 ax = 1.
El punto (0, 1) pertenece a
la grfica .

3. (0, 1) es un punto
de la grfica .

4. Inyectiva .

4. Inyectiva .

5. Creciente : z < t az < at .

5. Decreciente : z < t
az > at .

6. Continua : lm ax = ax0
x x0

6. Continua .

7. Lm ax = + ; lm ax = 0.
x+
x +

7.Lm ax = 0;lm ax =
x+
x-

La funcin exponencial cumple:

ax1 ax2 = ax1 + x2
esto significa que f (x1) f (x2) = f (x1 + x2)
es decir, la imagen de una suma se transforma en el producto de las imgenes, y
viceversa.

Funcin logartmica
Se define como la funcin inversa de la funcin exponencial.
Se representa por y = logax.
Se lee: y es el logaritmo en base a de x.
De acuerd con la definicin, tenemos:
y = loga x ay = x
y es el logaritmo
en base a de x.

SIGNIFICADO
El logaritmo y es el exponente
al que hay que elevar la base
para obtener x.

- Como el logaritmo se define a partir de la exponencial, las bases de los

logaritmos han de ser nmeros reales positivos (a > 0).
- Como las funciones han de ser inyectivas para admitir inversa, exige que a 1.
- Ejemplos de clculo de un logaritmo:
1
log 1/2 4 = y ()y = 4 2-y =22 -y (*) = 2 y = - 2
2
1
1
y
log 2 = y 2 = 2y = 2-3 y = - 3
8
8

Grficas

Propiedades de la funcion logartmica

1. Dominio: R+ (reales positivos) .
2. Las imgenes pueden ser positivas o negativas:
Si a > 1

Si 0 < a < 1

loga x > 0 si x >1

loga x > 0 si 0 < x < 1

loga x < 0 si 0 < x < 1

loga x < 0 si x > 1

3. El punto (1, 0) pertenece a la grfica; esto significa que loga 1 = 0 .

4. Inyectiva .
5. Continua : lm loga x = loga x0 .
xx
0
6. Creciente .
7. lm loga x = +

6. Decreciente
7. lm loga x = -

x+

x+

lm loga x = -
x 0+

lm loga x = +
x 0+

Propiedades de los logaritmos

Se basan en las propiedades de las potencias, y son:
Loga (z t) = loga z + loga t
Logaritmo de un producto es igual a la suma de los logaritmos.
Loga ( z/t ) = Loga Z - loga t
Logaritmo de un cociente es la resta de los logaritmos.

Loga (zn) = n loga z

Logaritmo de una potencia es igual al exponente por el logaritmo de la base.