Funciones de Una Sola Variable. Límite y Continuidad

UNIVERSIDAD NACIONAL DE GENERAL SARMIENTO
Marzo de 2001
ISBN: 987-9300-39-4
1 Edicin, 750 ejemplares.
Impreso en Argentina

Notas de
Matemtica
para el Primer Ciclo Universitario

1- Funciones.
Lmite y continuidad

Claudio G. Schifini

Coleccin Universidad y Educacin
Serie Material Didctico N 8.I

INSTITUTO DE CIENCIAS
Universidad
Nacional de
General
Sarmiento

UNIVERSIDAD NACIONAL DE GENERAL SARMIENTO
AUTORIDADES
Rector
Prof. Jos Luis Coraggio
Vicerrectora
Ma. Susana Hintze
Director del Instituto de Ciencias
Lic. Adolfo Vispo
Directora del Instituto del Conurbano
Dra. Mara Di Pace
Director del Instituto de Industria
Ing. Roberto Lattanzi
Director del Instituto del Desarrollo Humano
Dr. Roberto Nol Domecq
Secretaria de Investigacin
Dra. Estela Grassi
Secretaria Acadmica
Lic. Claudia Danani
Secretario General
Prof. Jos Mara Beltrame
SECRETARIA ADMINISTRATIVA
DRA. DANIELA GUARDADO

CONTENIDO

Funciones .................................................................................................................... 7
Lmite y continuidad.................................................................................................. 49

Funciones

Funciones de una variable. Lmite y continuidad

9
FUNCIONES

1 Introduccin
El estudio del Clculo Infinitesimal consiste, en esencia, en el estudio de los nmeros
reales.
Es necesario, por lo tanto, para abordar el tema, tener claro quienes son los nmeros
reales y sobre todo sus propiedades bsicas.
A manera de recordatorio, sin pretender ser muy precisos, repasemos los distintos
conjuntos numricos que dan lugar al conjunto de los nmeros reales.
Los nmeros naturales son los primeros nmeros que aparecen en nuestra vida
1
(un
caramelo, dos rboles, etc.), son aquellos nmeros que se usan para contar
( L , 4 , 3 , 2 , 1 ). El conjunto de los nmeros naturales es notado con la letra N .

{ } L , 7 , 6 , 5 , 4 , 3 , 2 , 1 = N .

Si al conjunto de nmeros naturales se le agregan sus opuestos (los nmeros
negativos: L , 4 , 3 , 2 . 1 ) y el 0 se consigue un conjunto ms grande, el conjunto
de los nmeros enteros que se nota con la letra Z .

{ } L L , 5 , 4 , 3 , 2 , 1 , 0 , 1 , 2 , 3 , 4 , 5 , = Z .

Si a Z le agregamos los cocientes de nmeros enteros (los nmeros fraccionarios:
L , , ,
7
5
4
3
2
1
), obtenemos un conjunto numrico ms grande todava denominado
conjunto de los nmeros racionales que se nota con la letra Q.

{ } N n Z m Q
n
m
= , : .

Es claro que todo nmero natural es entero y que todo nmero entero es racional
( Z m m
m
= ,
1
). O sea, Q Z N .
Es sabido que, dividiendo el numerador por el denominador, todo nmero racional puede
escribirse mediante una expresin decimal. Por ejemplo: L ; ; ; 25 , 6 75 , 0 5 , 0
4
25
4
3
2
1
= = = ;
etc. En algunos casos su expresin decimal puede ser peridica (a partir de un cierto
momento un subconjunto de dgitos de su mantisa se repite infinitamente). Por ejemplo:
L
)
33333 , 0 3 , 0
3
1
= = , L
)
2111111 , 0 1 2 , 0
90
19
= = , etc.
Puede probarse que todo nmero racional posee un desarrollo decimal finito (su mantisa
consta de un nmero finito de dgitos) o bien peridico.

1
"Dios cre los nmeros naturales, el resto lo hizo el hombre". Leopold Kronecker, 21/9/1886.
Instituto de Ciencias - UNGS

10
Recprocamente, todo nmero que posee un desarrollo decimal finito o peridico es un
nmero racional. Por ejemplo:
4
1
100
25
25 , 0 = = ;
90
19
90
2 21
1 2 , 0 = =

)
; etc.
Sin embargo, si consideramos el nmero L 1 0000100000 1010010001 , 0 , ste posee
un desarrollo decimal infinito. Es claro que podemos construir infinitos de estos nmeros
que, por lo observado, no sern racionales. Estos nmeros se denominan nmeros
irracionales. Son ejemplos de nmeros irracionales: , 2 , 3 , 5 , en general p
con p un nmero natural primo, etc.
Finalmente, si al conjunto de nmeros racionales le agregamos todos los nmeros
irracionales obtenemos el conjunto de los nmeros reales que se nota con la letra R .

{ } { } es irracional Q x Q x x R = = irracional es o : .
Luego, R Q Z N .
Existe una manera sencilla de demostrar que Q 2 y es la siguiente.
Supongamos que Q 2 , por lo tanto (como 0 2 > ) deben existir N n m , tales
que
n
m
= 2 .
Sin prdida de generalidad podemos suponer que la fraccin
n
m
es irreducible (no
podemos simplificar una parte de m con una parte de n ). Esto es, podemos suponer que
no existen N p n m , , tales que p m m = y p n n = .
Luego,
( ) 2
2
2 2
= =
n
m
n
m
.
Por lo tanto,
2 2
2 n m = 1.
Luego,
2
m es par y, por lo tanto,
m es par 2.

Que m sea par significa que existe N h tal que h m = 2 3.
Reemplazando 3 en 1 resulta que

2 2 2 2 2 2
2 4 ) 2 ( 2 h n h h m n = = = = 4.
Luego,
2
n es par y, por lo tanto,
n es par 5.

Luego, de 2 y 5 concluimos, contra lo supuesto, que
n
m
no es irreducible (podemos
simplificar por 2 ). Esto es un absurdo (contradiccin) que provino de suponer que
n
m
= 2 . Luego Q 2 .


11
De manera similar puede probarse que p Q p , primo positivo.

El conjunto de nmeros reales R puede representarse geomtricamente sobre una recta
(llamada recta real) de manera tal que a cada nmero real le corresponde un nico punto
de le recta y a cada punto de la recta le corresponde un nico nmero real.

A manera de ejemplo veamos como podemos representar el nmero irracional 2 .
Desde el punto correspondiente al nmero real 1 se traza un segmento a 1 de longitud 1
perpendicular a la recta real. Trazamos luego el segmento a 0 que une el punto
correspondiente al nmero 0 con el punto a marcado.
Nos queda determinado un tringulo rectngulo de vrtices 0 , 1 y a . Por el teorema de
Pitgoras, ( ) ( ) 2 1 1
2 2
1 01 0 = + = + = a a . Por ltimo trazamos la circunferencia de
centro 0 y radio 2 0 = a . El punto de interseccin de esta circunferencia con la recta
real es la representacin del nmero real 2 .

Es sabido que podemos operar con los nmeros reales. Se tienen dos operaciones
bsicas, la suma ( + ) y el producto () de nmeros reales.
R b a R b a R b a + y : , .
Dichas operaciones verifican las siguientes propiedades bsicas:

S1) Asociatividad de la suma
R c b a c b a c b a + + = + + , , ; ) ( ) ( .

S2) Conmutatividad de la suma
R b a a b b a + = + , ; .

0 1 2 3
(+)
-1 -2
-3
(-)
a
-1 0 1 2
2

12
S3) Existencia de elemento neutro para la suma
R a a a = + ; 0 .

S4) Existencia de inverso aditivo
0 que tal , = + b a R b R a .
(Puede probarse que b es nico. Luego se lo denomina inverso aditivo de a y se
lo nota a ).

P1) Asociatividad del producto
R c b a c b a c b a = , , ; ) ( ) ( .

P2) Conmutatividad del producto
R b a a b b a = , ; .

P3) Existencia de elemento neutro para el producto
R a a a = ; 1 .

P4) Existencia de inverso multiplicativo
1 que tal , 0 , = d a R d a R a .
(Puede probarse que d es nico. Luego se lo denomina inverso multiplicativo de
a y se lo nota
1
a ).

SP) Distributividad
R c b a c a b a c b a + = + , , ; ) ( .

Sabemos tambin que podemos comparar dos nmeros reales. Es decir est definida
sobre R una relacin de orden (total), llamada menor que y notada < , que verifica:

O1) Tricotoma
R b a , se verifica una y slo una de las siguientes posibilidades:
b a < , b a = , a b < .

O2) Transitividad
R c b a c a c b b a < < < , , ; , .

O3) Monotona respecto de la suma
R c c b c a b a + < + < ; .

O4) Monotona respecto del producto
c R c c b c a b a < < < 0 , ; .


13
A partir de estas 13 propiedades bsicas o axiomas pueden deducirse nuevas
propiedades. Por ejemplo: R x x , 0
2
; 0 , ; < > < c R c c b c a b a ; etc.
En particular la relacin de orden nos permite definir ciertos subconjuntos particulares
de R , los intervalos.
Dados R b a , , se denomina:

1. Intervalo abierto con extremos a y b al conjunto
{ } b x a R x b a < < = : ) , ( .

2. Intervalo cerrado con extremos a y b al conjunto
{ } b x a R x b a = : ] , [ .

3. Intervalo semiabierto o semicerrado con extremos a y b a los conjuntos
{ } b x a R x b a < = : ] , ( , { } b x a R x b a < = : ) , [ .

Para definir intervalos infinitos no acotados se utiliza el smbolo (que se lee infinito).
Hay que tener en claro que es slo un smbolo y no un nmero real.
Se definen entonces los siguientes intervalos infinitos:

4. Intervalo abierto infinito con extremo izquierdo a al conjunto
{ } x a R x a < = + : ) , ( .

5. Intervalo abierto infinito con extremo derecho b al conjunto
{ } b x R x b < = : ) , ( .

6. Intervalo cerrado infinito con extremo izquierdo a al conjunto
{ } x a R x a = + : ) , [ .

7. Intervalo cerrado infinito con extremo derecho b al conjunto
{ } b x R x b = : ] , ( .

Los nmeros reales verifican una propiedad bsica ms, fundamental para desarrollar la
teora del Clculo. El llamado axioma de completitud
2
. Su enunciado es el siguiente:

C) Todo conjunto no vaco de nmeros reales, acotado superiormente, tiene supremo.

Tratemos de comprender, aunque ms no sea someramente, su significado.
Que un conjunto R A sea no vaco significa que A tiene por lo menos un elemento.

2
Esta propiedad bsica (numero 14) fue sugerida por la SMS (Sociedad Mundial de Supersticiosos).

14
Que A sea acotado superiormente significa que, por lo menos, posee una cota superior,
esto es, existe R b tal que A a a b , ( b se denomina una cota superior de A).
Que A tiene un supremo significa que si consideramos el conjunto de todas las cotas
superiores de A, dicho conjunto tiene un primer elemento o mnimo (existe una cota
superior ms chica que todas).
Consideremos un par de ejemplos:
1) Sea { } 1 0 : ] 1 , 0 [ = = x R x A .
Es claro que A (por ejemplo, A
2
1
) y tambin que es acotado superiormente
(por ejemplo por 3).
Si consideramos el conjunto de todas las cotas superiores de A resulta que 1 es una
cota superior de A (pues A a a , 1 ) y que no existe ningn nmero menor que
1 que sea cota superior de A. Luego 1 es el supremo del conjunto A.
En este caso A A = ) sup( 1 .

2) Sea { } 1 0 : ) 1 , 0 ( < < = = x R x B .
Es claro que B (por ejemplo, B
2
1
) y tambin que es acotado superiormente
(por ejemplo por 3).
Si consideramos el conjunto de todas las cotas superiores de B resulta que 1 es una
cota superior de B (pues B b b , 1 ). Tambin en este caso no existe ningn
nmero menor que 1 que sea cota superior de B . La razn fundamental de esto
ltimo es que en R no existe un nmero "anterior" a otro (observar que 1 9 , 0 =
)
y
no 1 9 , 0 <
)
).
Luego 1 tambin es el supremo del conjunto B .
En este caso B B = ) sup( 1 .

Estos ejemplos nos muestran que en ambos casos existe el supremo. En el primero,
A A = ) sup( 1 , es decir el supremo de A es el mximo (el mayor elemento) de A.
En el segundo, B B = ) sup( 1 , es decir el supremo de B no es el mximo del
conjunto B , ms an el conjunto B no posee un mximo.

La existencia de supremo es la propiedad que caracteriza a los nmeros reales (no se
cumple en el campo de los nmeros racionales) y es la base fundamental para la nocin
de lmite, nocin central en la teora del Clculo.
La nocin de supremo es una nocin delicada en cuanto a su comprensin. Por esta
razn, teniendo en cuenta que el objetivo de estas notas es slo introducir al alumno en el
Clculo, muchos de los resultados tericos necesarios para desarrollar el tema sern
tratados de una manera intuitiva.
Comencemos a entrar en el tema que nos convoca con el concepto que nos acompaar
durante todo el desarrollo de estas notas: el concepto de funcin.

15
2 Definicin
Sean B A y dos conjuntos. Una funcin f de A en B es una correspondencia o
relacin que asigna a cada elemento de A un nico elemento de B .
Es costumbre notar B A f : y para cada A a indicar con ) (a f (imagen de a por
f ) al nico elemento de B que le corresponde por la funcin.
El conjunto A se denomina dominio de la funcin f y se nota ) ( f Dom .
El conjunto B se denomina codominio de la funcin f y se nota ) ( f Codom .

3 Definicin
Sea B A f : una funcin.
Llamamos imagen de f al subconjunto de B :
{ } { } b a f A a B b A a a f f Im = = = ) ( que tal : : ) ( ) ( .

4 Ejemplos
Sean { } d c b a A , , , = y { } 3 , 2 , 1 , 0 = B .
1) Sea B A f : la correspondencia definida por:
2 ) ( = a f , 0 ) ( = b f , 1 ) ( = c f y 3 ) ( = d f .
Luego, esta correspondencia es una funcin de A en B pues a cada elemento de A
le corresponde un nico elemento de B . En este caso { } 3 , 2 , 1 , 0 ) ( = = B f Im .
Podemos representar esta situacin recurriendo a los Diagramas de Venn:

1 ) ( = a f , 0 ) ( = b f , 0 ) ( = c f y 2 ) ( = d f .
f
A
a
b
c
d
B
0
1
2
3

16
Esta correspondencia tambin es una funcin de A en B pues a cada elemento de
A le corresponde un nico elemento de B . Observar que no importa que a dos
elementos de A ( c b y ) le correspondan el mismo elemento de B ( 0 ), ni tampoco
que haya un elemento de B ( 3) que no es correspondiente de ningn elemento
de A. En este caso { } 2 , 1 , 0 ) ( = f Im .

1 ) ( = a f , 2 ) ( = a f , 0 ) ( = b f , 3 ) ( = c f y 2 ) ( = d f .
Esta correspondencia no es una funcin de A en B pues al elemento a de A le
corresponden dos elementos de B ( 2 y 1 ).

1 ) ( = a f , 0 ) ( = b f y 2 ) ( = c f .
Esta correspondencia tampoco es una funcin de A en B pues al elemento d de A
no le corresponde ningn elemento de B .

f
A
a
b
c
d
B
0
1
2
3
f
A
a
b
c
d
B
0
1
2
3
f
A
a
b
c
d
B
0
1
2
3

17
5 Comentario
Recordemos (1) que se nota con la letra R al conjunto de los nmeros reales.
Nos interesar estudiar las funciones de R en R ( R B A = = ), denominadas funciones
reales de variable real.
Por ejemplo, la correspondencia R R f : definida por x x f = ) ( (a cada nmero
real x le corresponde el mismo nmero real x ) es funcin.
Sin embargo, la correspondencia R R f : definida por x x f = ) ( no es funcin
puesto que a los nmeros reales negativos no le corresponde ningn nmero real (no
existe la raz cuadrada de un numero negativo).
Podemos corregir esto ltimo considerando la misma correspondencia pero cambiando el
dominio.
Ms especficamente, si consideramos R R f
0
: ( { } 0 :
0
= =

x R x R A ) la
correspondencia definida por x x f = ) ( , entonces ahora s es funcin.
Observemos que hemos podido corregir el hecho de que la correspondencia x x f = ) (
no era funcin achicando el conjunto de salida, tomando como nuevo conjunto el
mayor subconjunto de R donde la expresin tiene sentido (la cuenta se puede
hacer).
Observemos tambin que la expresin considerada no ofreca problemas de ambigedad
en cuanto a la correspondencia de un elemento (a ningn elemento le corresponde ms
de un elemento), propiedad esencial para que una correspondencia pueda ser funcin.
Es comn, en estos casos, hablar de la funcin R R f : sobreentendiendo que en
realidad estamos hablando de la funcin R R A f : , siendo A el mayor
subconjunto de R que verifica que f es funcin en el sentido de la definicin 2 (el
mayor dominio posible para f ).
Cuando se diga sea R R f : la funcin ... o simplemente sea R R f : ... y
hablemos del dominio de la funcin f nos estaremos refiriendo al mayor dominio
posible en el sentido antes mencionado.
6 Ejemplos
1) Sea R R f : , definida por x x f = ) ( .
Luego, { } [ ) + = = =

, 0 0 : ) (
0
x R x R f Dom .

2) Sea R R f : , definida por
x
x f
1
) ( = .
Luego, { } ( ) ( ) + = = =

, 0 0 , 0 : ) (
0
x R x R f Dom .


18
3) Sea R R f : , definida por
2 3
1
) (
2
+
+
=
x x
x
x f .
En este caso existen dos condiciones simultneas para poder calcular la expresin:
1. 0 1 + x (no se puede calcular la raz cuadrada de un nmero negativo).
2. 0 2 3
2
+ x x (no se puede dividir por cero).
O sea, { } 0 2 3 0 1 : ) (
2
+ + = x x x R x f Dom .
Observemos que
1 0 1 + x x 1,
y que
2 1 0 2 3
2
= = = + x x x x
o sea
2 1 0 2 3
2
+ x x x x 2.
Luego, de 1 y 2 resulta
{ } [ ) ( ) ( ) + = = , 2 2 , 1 1 , 1 2 1 , 1 : ) ( x x x R x f Dom .

7 Definiciones
Sea B A f : una funcin.
1. Diremos que f es inyectiva sii a a a f a f A a a = = ) ( ) ( : , .
2. Diremos que f es suryectiva o sobreyectiva sii B f Im = ) ( .
3. Diremos que f es biyectiva sii f es inyectiva y sobreyectiva.

8 Observaciones
1) La definicin 1 de 7 puede reescribirse de la siguiente forma equivalente:
f es inyectiva sii ) ( ) ( : , a f a f a a A a a .
Leda de esta manera nos dice que f es inyectiva sii a valores distintos de A le
corresponden valores distintos de B .
Por lo tanto, f no es inyectiva si existen a a A a a , , tales que
) ( ) ( a f a f = .
Observemos que la funcin del ejemplo 1) de 4 es inyectiva y que la funcin del
ejemplo 2) de 4 no es inyectiva.

2) La definicin 2 de 7 dice que f es suryectiva o sobreyectiva sii B f Im = ) ( , es
decir (ver 3), si b a f A a B b = ) ( que tal : . Dicho en palabras, una funcin
es suryectiva si todo elemento de B es correspondido de algn elemento de A
(viene, por lo menos, de algn elemento de A).

19
Por lo tanto, f no es suryectiva si existe B b tal que ) ( f Im b .
Observemos que la funcin del ejemplo 1) de 4 es suryectiva y que la funcin del
ejemplo 2) de 4 no es suryectiva.

3) Las propiedades de inyectividad y suryectividad son propiedades independientes.
Existen funciones inyectivas pero no suryectivas, existen funciones suryectivas pero
no inyectivas, existen funciones inyectivas y suryectivas (biyectivas) y existen
funciones que no son ni inyectivas ni suryectivas.

4) Sea B A f : biyectiva.
Por ser funcin: a cada elemento de A le corresponde un nico elemento de B
(todo elemento de A va a parar a un nico elemento de B ).
Por ser suryectiva: cada elemento de B es correspondido, por lo menos, de algn
elemento de A (todo elemento de B viene, por lo menos, de algn elemento de
A).
Por ser inyectiva a valores distintos de A le corresponden valores distintos de B .
Luego, B A f : biyectiva cada elemento de B es correspondido por un nico
elemento de A (todo elemento de B viene de un nico elemento de A).

9 Comentario
Consideremos el conjunto { } R y x y x R R R = = , : ) , (
2
, o sea el conjunto de pares
ordenados de nmeros reales (no es lo mismo ) 2 , 1 ( que ) 1 , 2 ( ).
A partir de la representacin geomtrica de R (1) el conjunto
2
R puede ser
representado sobre un plano considerando dos rectas perpendiculares, una horizontal y
una vertical. En cada una de ellas representamos a R colocando el nmero real 0 , de
cada copia de R , en el punto de interseccin de ambas rectas, los nmeros reales
positivos correspondientes a la representacin horizontal de R hacia la derecha y los
nmeros reales positivos correspondientes a la representacin vertical de R hacia arriba
de la siguiente manera:

(+)
(-)
(+)
(-)
R
R
1 2 3 4 -4 -3 -2 -1
1
2
-2

20
Luego, para representar un par ordenado
2
) , ( R b a hacemos lo siguiente:
1) Ubicamos el nmero real a (su primera coordenada) en la copia horizontal de R .
2) Ubicamos el nmero real b (su segunda coordenada) en la copia vertical de R .
3) Trazamos una recta vertical que pase por a .
4) Trazamos una recta horizontal que pase por b .
5) Representamos el par ordenado ) , ( b a como el punto de interseccin de estas rectas.
A la recta horizontal se la suele denominar eje x o eje de las abscisas y a la recta
vertical eje y o eje de las ordenadas.
Esta representacin de
2
R se denomina sistema de coordenadas cartesianas.

10 Definicin
Sea R R f : . Llamaremos grfico de f al subconjunto de
2
R
( ) { }
2
) ( : ) ( , ) ( R f Dom x x f x f Gr = .

11 Observacin
Sea R R f : . El grfico de f nos permite de una manera intuitiva y rpida deducir
propiedades de la funcin.
Mencionemos algunas propiedades que se pueden deducir del grfico de f .
1. f es funcin si toda recta vertical corta al ) ( f Gr a lo sumo una vez.
En efecto: Es claro que si una recta vertical, a x = , corta al ) ( f Gr ms de una vez
significa que f asigna a a ms de un valor y por lo tanto (2) f no es funcin.

a
b
) , ( b a
x
y
0

21
2. ) ( f Im b si la recta horizontal b y = corta al ) ( f Gr por lo menos una vez.
En efecto: Si la recta horizontal b y = corta al ) ( f Gr por lo menos una vez
significa que existe, por lo menos, un ) ( f Dom a tal que b a f = ) ( .

3. f es inyectiva si toda recta horizontal corta al ) ( f Gr a lo sumo una vez.
En efecto: Si alguna recta horizontal, b y = , corta al ) ( f Gr ms de una vez
significa que existen por lo menos dos valores distintos ) ( , f Dom a a tales que
b a f a f = = ) ( ) ( y por lo tanto f no es inyectiva.

4. f es suryectiva si toda recta horizontal corta al ) ( f Gr por lo menos una vez.
En efecto: Si alguna recta horizontal, b y = , no corta al ) ( f Gr significa que existe
R b tal que ) ( f Im b y por lo tanto f no es suryectiva.

5. f es biyectiva si toda recta horizontal corta al ) ( f Gr exactamente una vez.
En efecto: Por 2. Y 3.

Queremos hacer notar que, desde un punto de vista estricto, cualquier argumentacin que
realicemos observando el grfico de una funcin tenemos que tomarla como una
conjetura que indefectiblemente deberemos probar usando las definiciones analticas.
Es decir podemos, por ejemplo, argumentar que una funcin es inyectiva observando su
grfico y utilizando 3, pero la nica manera que tenemos de probarlo es usando la
definicin 1 de 7.
Sin embargo queremos enfatizar que es sumamente importante mantener siempre
presente la idea geomtrica de una funcin, realizar argumentaciones a partir de la
observacin de su grfico y posteriormente tratar de formalizar la argumentacin
realizada intentando una demostracin analtica.

22

12 Ejemplos
1) Sea R R f : definida por 1 2 ) ( = x x f .
Luego la representacin del ) ( f Gr en un sistema de coordenadas cartesianas es una
recta de pendiente 2 y ordenada al origen 1 .

Es claro del grfico (ver 11) que f resulta ser una funcin biyectiva.
Veamos como podemos probar esto analticamente.
1. f es inyectiva.
Sean R x x , tales que ) ( ) ( x f x f = . Por 1 de 7 deberemos probar que
x x = .
En efecto:
x x x x x x x f x f = = = = 2 2 1 2 1 2 ) ( ) ( .
Luego f es inyectiva.

2. f es suryectiva.
Sea R y . Por 2 de 7 deberemos probar que existe R x tal que y x f = ) ( .
O sea, deberemos probar que existe R x tal que y x = 1 2 .
Ahora bien,
2
1
1 2 1 2
+
= + = =
y
x y x y x .
Luego, tomando
2
1 +
=
y
x resulta que
y y
y y
f x f = + =
|
.
|
\
| +
=
|
.
|
\
| +
= 1 ) 1 ( 1
2
1
2
2
1
) ( .
Luego f es suryectiva.

Luego, de 1. y 2. f es biyectiva.
) ( f Gr
1
0 1
2
-1

23

2) Sea R R f : definida por
2
) ( x x f = .
Su grfico es una parbola.

Es claro del grfico que esta funcin no es inyectiva ni suryectiva.
En efecto:
Sean R x x , tales que ) ( ) ( x f x f = .
Luego,
( ) ( )
. 0 0
0 ) ( ) ( 0 ) ( ) (
2 2 2 2
x x x x x x x x
x x x x x x x x x f x f
= = = + =
= + = = =

Nos damos cuenta entonces que no podemos deducir en general que x x = . Ms
an el razonamiento anterior nos muestra que si tomamos cualquier
0
R x y
x x = resultar x x y ) ( ) ( x f x f = .
Por ejemplo, 1 1 y 1 ) 1 ( ) 1 ( = = f f .
Luego, por 1) de 8 resulta que f no es inyectiva.

Veamos que f no es suryectiva.
Sea R y . Debemos ver si existe o no R x tal que y x x f = =
2
) ( .
Pero como R x x , 0
2
, entonces debera ser 0 y .
Esto nos muestra que si
0 <
R y entonces no existe R x tal que y x x f = =
2
) ( .
Por ejemplo, R x x f , 1 ) ( . Luego ) ( 1 f Im y = y por lo tanto, por 2) de
8, f no es suryectiva.

Ms an, el razonamiento anterior nos muestra que 0 ) ( y f Im y (si 0 y ,
tomando y x = resulta que ( ) ( ) y y y f x f = = =
2
) ( ).
Luego,
{ } ) , 0 [ 0 : ) (
0
+ = = =

y R y R f Im .

) ( f Gr
0 1 2 -2 -1
1
2
3
4

24
13 Observacin
El ejemplo 1) de 12 nos mostr que la funcin 1 2 ) ( = x x f es biyectiva. Cuando
probamos la suryectividad, dado R y hemos encontrado el nico R x tal que
y x f = ) ( .
Nos queda definida entonces una nueva funcin R R g : dada por
2
1
) (
+
=
y
y g
o bien, lo que es lo mismo (cambiando el nombre de la variable),
2
1
) (
+
=
x
x g .
La funcin g tiene la propiedad de que si a R x le aplicamos f y a lo que nos da le
aplicamos g el resultado vuelve a ser x . Lo mismo ocurre si primero aplicamos g y
luego f . Ms precisamente,
=
=

x x g f
x x f g
R x
)) ( (
)) ( (
, .
En efecto:
x
x x x
x g x f g = =
+
=
+
= =
2
2
2
1 1 2
2
1 ) 1 2 (
) 1 2 ( )) ( (
x x
x x
f x g f = + =
|
.
|
\
| +
=
|
.
|
\
| +
= 1 ) 1 ( 1
2
1
2
2
1
)) ( ( .

La funcin g nos permiti desandar el camino que realiz f . Nos permiti resolver
el problema inverso que nos plante f . Se dice entonces que f es inversible y que g
es (en principio una) funcin inversa de f . Ms precisamente:

14 Definicin
Sea B A f : . Se dice que f es inversible sii existe A B g : tal que
=
=
B b b b g f
A a a a f g
, )) ( (
, )) ( (
.
En este caso, g se denomina (una) inversa de f .


25
15 Proposicin
Sea B A f : inversible. Entonces existe una nica A B g : inversa de f .
Es decir, si A B g g : , son inversas de f , entonces g g =
( B b b g b g = ), ( ) ( ).
Dem.:
Por ser g inversa de f resulta que (14)
=
=
) 2 (
) 1 (
, )) ( (
, )) ( (
B b b b g f
A a a a f g
.
Por ser g inversa de f resulta que (14)
=
=
) 4 (
) 3 (
, )) ( (
, )) ( (
B b b b g f
A a a a f g
.
Luego,
g g b g b g f g b g B b = = = ) ( ))) ( ( ( ) ( :
) 2 ( ) 3 (
.
16 Definicin
Sea B A f : inversible. Por 14 y 15 a la nica inversa de f se la denomina la
funcin inversa de f . En este caso, se nota A B f
:
1
a la nica inversa de f . O
sea,
1
f es la nica funcin que verifica
=
=
B b b b f f
A a a a f f
, )) ( (
, )) ( (
1
1
.

17 Proposicin
Sea B A f : . Entonces:
f es biyectiva f es inversible
Dem.:
) Por ser f biyectiva, para cada B b existe ( f es suryectiva) un nico ( f es
inyectiva) A a tal que b a f = ) ( . Luego, sea A B g : definida por a b g = ) ( .
Afirmamos que g es inversa de f .
En efecto:
Sea A a . Luego, a a f g = )) ( ( 1 ( a es el nico elemento de A que por f va a
parar a ) (a f ).

26
Sea B b . Sea A a el nico elemento de A tal que b a f = ) ( . Luego,
b a f b g f = = ) ( )) ( ( 2.
Luego, de 1 y 2 g es inversa de f .
) Por ser f inversible, existe A B f
:
1
tal que
=
=
) 2 (
) 1 (
, )) ( (
, )) ( (
1
1
B b b b f f
A a a a f f
.
Sean A a a , tales que ) ( ) ( a f a f = . Luego,
a a f f a f f a a f a f = = = =

)) ( ( )) ( ( ) ( ) (
1 1
) 1 (
.
Luego f es inyectiva 3.
Sea B b . Luego, por ) 2 ( , b b f f =
)) ( (
1
. Luego, existe ) (
1
b f a

= tal que
b a f = ) ( . Luego f es suryectiva 4.
De 3 y 4 f es biyectiva.

18 Observacin
Sea R R f : biyectiva. Luego, existe R R f
:
1
.
Como ) ( ) (
1
y f x y x f

= = , resulta que ) ( ) , ( ) ( ) , (
1
f Gr x y f Gr y x .

Luego, el grfico de
1
f y el grfico de f son simtricos respecto de la recta x y = .

19 Observaciones
1) Es importante notar que en la definicin del concepto de funcin (2) intervienen tres
elementos: el dominio ( A), el codominio ( B ) y la relacin funcional (la ley que
relaciona los elementos de A con los elementos de B ).
x y =
) ( f Gr
) (
1
f Gr

27
Por lo tanto, si se modificara alguno de estos tres elementos entonces se obtendra
una nueva funcin (distinta a la anterior).
En el caso que se modifique el dominio o el codominio de una funcin pero no la
relacin funcional (en esencia no cambiamos la correspondencia), mientras no exista
peligro de confusin, seguiremos notando a la nueva funcin de la misma manera
que notbamos la original pero debemos recordar siempre que hemos cambiado la
funcin.

2
) ( x x f = .
Vimos (2) de 12) que esta funcin no es ni inyectiva ni suryectiva. Sin embargo,
podemos elegir adecuadamente nuevos dominio y codominio para esta relacin
funcional de manera tal que resulte biyectiva.
En efecto:
Como ) , 0 [ ) ( + = f Im , para que resulte suryectiva, elegimos como nuevo
codominio el conjunto ) , 0 [ + (su imagen).
Segn lo analizado en 2) de 12, x x x x x f x f = = = ) ( ) ( . Luego, para
que resulte inyectiva, como nuevo dominio podemos optar entre los conjuntos
) , 0 [ + y ] 0 , ( .
Elijamos ) , 0 [ + como su nuevo dominio.
Teniendo en cuenta la observacin 1), si consideramos ) , 0 [ ) , 0 [ : + + f
resulta que ahora f es biyectiva.

Luego, por 17 y 16 existe ) , 0 [ ) , 0 [ :
1
+ +
f tal que
=
=
0 , )) ( (
0 , )) ( (
1
1
y y y f f
x x x f f
1.
Esta funcin (
1
f ) recibe el nombre de raz cuadrada y se nota x x f =
) (
1
.
Observemos entonces que slo podemos calcular la raz cuadrada de nmeros
positivos o cero y que su resultado es un nmero positivo o cero.
) ( f Gr
0 1 2
1
2
3
4

28
Si 0 a , a es el nico nmero no negativo b tal que a b =
2
2.
En este caso 1 dice que
( )
=
=
0 ,
0 ,
2
2
x x x
x x x
.
Observemos, por 2, que si R x entonces

x x =
2
.

20 Definicin
Sean B A f : y D C g : tales que C f Im ) ( .
Se denomina composicin de g y f a la funcin
D A f g : o
definida por
A a a f g a f g = )), ( ( ) )( ( o .

21 Observaciones
1) Sean B A f : y D C g : tales que C f Im ) ( .
De la definicin 20, es claro que ) ( ) ( f Dom f g Dom A = = o .

2) Sean R R f : y R R g : .
En este caso, teniendo en cuenta 5, la condicin C f Im ) ( debe reemplazarse por
) ( ) ( g Dom f Im .

f
A
B C
D
g
) ( f Im
) (a f
a
)) ( ( a f g

29
3) Dado un conjunto A, la funcin A A f : dada por a a f = ) ( recibe el nombre
de funcin identidad sobre el conjunto A y se nota
A
id f = .
Con esta notacin, teniendo en cuenta 14, 16 y 20, si B A f : es inversible, su
inversa es la nica funcin A B f
:
1
que verifica
=
=
B
A
id f f
id f f
1
1
o
o
.

22 Ejemplos
1) Sean R R g f : , dadas por
2
) ( x x f = y 3 ) ( + = x x g .
Luego, como ) ( ) ( g Dom R f Im = , podemos calcular (20) R R f g : o y
(21) R f Dom f g Dom = = ) ( ) ( o .
Luego, si R x
3 ) ( )) ( ( ) )( (
2 2
+ = = = x x g x f g x f g o .
O sea,
R x x x f g + = , 3 ) )( (
2
o 1.
Como ) ( ) ( f Dom R g Im = , tambin podemos calcular R R g f : o , y
tambin R g Dom g f Dom = = ) ( ) ( o .

Luego, si R x
( )
2
3 ) 3 ( )) ( ( ) )( ( + = + = = x x f x g f x g f o .
O sea,
( ) R x x x g f + = , 3 ) )( (
2
o 2.
Es claro que
( ) 9 6 3 3
2 2 2
+ + = + + x x x x .
Por lo tanto, de 1 y 2 concluimos que g f f g o o .
Es decir, concluimos que en general la composicin no es conmutativa.

2) Sean R R g f : , dadas por 1 ) ( + = x x f y 3 ) ( + = x x g .
Luego, ) ( ) ( g Dom R f Im = . Podemos calcular entonces R R f g : o y
) , 1 [ ) ( ) ( + = = f Dom f g Dom o .


30
Luego, si 1 x
3 1 ) 1 ( )) ( ( ) )( ( + + = + = = x x g x f g x f g o .
O sea,
1 , 3 1 ) )( ( + + = x x x f g o 1.

Intentemos calcular R R g f : o .
Como ) ( ) , 1 [ ) ( f Dom R g Im = + = , en principio (20), no podemos calcular
g f o . Deberamos entonces achicar el ) (g Dom para que se verifique la
condicin ) ( ) ( f Dom g Im .
Sin embargo, si operamos formalmente, resulta que
4 1 ) 3 ( ) 3 ( )) ( ( ) )( ( + = + + = + = = x x x f x g f x g f o .
O sea,
4 ) )( ( + = x x g f o .
Nos damos cuenta que ) , 4 [ ) ( + = f g Dom o .
Luego, bastar considerar ) , 4 [ ) ( + = g Dom , o sea R g + ) , 4 [ : , para que
se verifique ) ( ) ( f Dom g Im y poder calcular g f o . En este caso
4 , 4 ) )( ( + = x x x g f o 2.
Luego, sin preocuparnos quin debera ser el ) (g Dom , pudimos calcular g f o .
De 1 y 2, es claro que tambin en este ejemplo result g f f g o o .

23 Definiciones
Sean R R g f : , . Las operaciones de R permiten definir nuevas funciones a partir
de f y g .
1. Se denomina funcin suma de f y g a la funcin R R g f + : definida por
) ( ) ( ) )( ( x g x f x g f + = + .
En este caso, ) ( ) ( ) ( g Dom f Dom g f Dom = + .

2. Se denomina funcin resta de f y g a la funcin R R g f : definida por
) ( ) ( ) )( ( x g x f x g f = .
En este caso, ) ( ) ( ) ( g Dom f Dom g f Dom = .

3. Se denomina funcin producto de f y g a la funcin R R g f : definida por
) ( ) ( ) )( ( x g x f x g f = .
En este caso, ) ( ) ( ) ( g Dom f Dom g f Dom = .

31
4. Se denomina funcin cociente de f y g a la funcin R R
g
f
: definida por
) (
) (
) (
x g
x f
x
g
f
=
|
|
.
|
\
|
.
En este caso, { } 0 ) ( : ) ( ) ( =
|
|
.
|
\
|
x g g Dom x f Dom
g
f
Dom .

24 Definiciones
Sea R R f : tal que R f Dom = ) ( .
1. Se dice que f es par sii R x x f x f = ), ( ) ( .
2. Se dice que f es impar sii R x x f x f = ), ( ) ( .

25 Observaciones
Sea R R f : tal que R f Dom = ) ( .
1. Si f es par su grfico es simtrico respecto de la recta 0 = x (eje y ).
Son ejemplos de funciones pares:
2
) ( x x f = ,
4
) ( x x f = , en general
n
x x f = ) (
con N n par, 1 2 3 ) (
2 4 6
+ = x x x x f .

2. Si f es impar su grfico es simtrico respecto del origen de coordenadas.
Son ejemplos de funciones impares: x x f = ) ( ,
3
) ( x x f = , en general
n
x x f = ) (
con N n impar, x x x x f + =
3 5
3 2 ) ( .

26 Definiciones
Sea R R f : .
1. ) ( f Dom r se denomina una raz o cero de f sii 0 ) ( = r f .
El conjunto de todas las races de f se denomina conjunto de ceros o de races y se
nota
{ } 0 ) ( : ) ( ) (
0
= = x f f Dom x f C .
Desde un punto de vista geomtrico ) (
0
f C es la interseccin del grfico de f con
la recta 0 = y (eje x ).


32
2. Se denomina conjunto de positividad de f al conjunto
{ } 0 ) ( : ) ( ) ( > =
+
x f f Dom x f C .
Desde un punto de vista geomtrico ) ( f C
+
es el conjunto de puntos donde el
grfico de f se mantiene por arriba del eje x .

3. Se denomina conjunto de negatividad de f al conjunto
{ } 0 ) ( : ) ( ) ( < =
x f f Dom x f C .
Desde un punto de vista geomtrico ) ( f C
es el conjunto de puntos donde el

grfico de f se mantiene por abajo del eje x .

Mencionaremos a continuacin algunos ejemplos de funciones reales de variable real.

27 Ejemplo 1
FUNCIONES LINEALES
R R f : se dice que es lineal sii f tiene la forma
b mx x f + = ) ( ,
para ciertos R b m , . R f Dom = ) ( . Si 0 m f es biyectiva.
Su grfico es una recta no vertical que tiene pendiente m ( m es la tangente
trigonomtrica del ngulo que forma la recta con el semieje x positivo) y ordenada al
origen b ( ) 0 ( f b = es la interseccin de la recta con el eje y ).

En particular, si 0 = m , la funcin b x f = ) ( se denomina funcin constante. Su
grfico es una recta horizontal.

b
) ( f Gr
b
) tg( = m
) ( f Gr

33
28 Ejemplo 2
FUNCIONES POLINMICAS
R R f : se dice que es una funcin polinmica o simplemente un polinomio sii f
tiene la forma
f x a x a x a x a x a
n
n
n
n
( ) = + + + + +
1
1
2
2
1 0
LL ,
para ciertos R a a a a a
n n

0 1 2 1
, , , , , L L . R f Dom = ) ( .
Las funciones lineales son un caso particular de funciones polinmicas. Las funciones
cuadrticas , c bx ax x f + + =
2
) ( con 0 a , tambin son funciones polinmicas.
Otros ejemplos de funciones polinmicas son
2
) ( x x f = ,
3
) ( x x f = ,
3 2 2 4 ) (
2 3 4 5
+ + = x x x x x x f , 1 2 ) 1 ( ) (
2 2
+ = = x x x x f , etc.

29 Ejemplo 3
FUNCIONES RACIONALES
R R f : se dice que es una funcin racional sii f es un cociente de dos funciones
polinmicas. Es decir, si f tiene la forma
) (
) (
) (
x Q
x P
x f = ,
para ciertos polinomios P y Q. { } 0 ) ( : ) ( = x Q R x f Dom .
Son ejemplos de funciones racionales:
0
) ( ,
1
) (

= = R f Dom
x
x f ; { } 3 : ) ( ,
3
) ( =
+
= x R x f Dom
x
x
x f ;
{ } 2 1 : ) ( ,
2 3
6 2 3 4
) (
2
2 3
=
+
+ +
= x x R x f Dom
x x
x x x
x f .

34

30 Ejemplo 4
FUNCIONES TRIGONOMTRICAS
Recordemos que construyendo un tringulo rectngulo a partir de un ngulo agudo
(mayor que 0 y menor que un recto),

se definen las relaciones trigonomtricas del ngulo por:

HIP
OP
sen = ) ( (seno de ),
) (
1
) (
sen OP
HIP
cosec = = (cosecante de ),
HIP
ADY
cos = ) ( (coseno de ),
) (
1
) (
cos ADY
HIP
sec = = (secante de ),
ADY
OP
tg = ) ( (tangente de ),
) (
1
) (
tg HIP
ADY
cotg = = (cotangente de ).
Hemos notado: = OP cateto opuesto a , = ADY cateto adyacente a e = HIP
hipotenusa del tringulo rectngulo construido.
Por propiedades relativas a tringulos semejantes, estas relaciones dependen slo del
ngulo y no del tringulo rectngulo construido a partir de l.
Podemos extender estas relaciones definiendo, geomtricamente, funciones de R en R .
Para ello hacemos lo siguiente:
Consideramos la circunferencia de centro 0 y radio 1 de ecuacin 1
2 2
= + y x .

A
B
C
OP.
ADY.
HIP.
0 1 -1
1
-1

35
1) Enrollamos la semirrecta positiva de nmeros reales sobre la circunferencia en
sentido contrario a las agujas del reloj haciendo coincidir el nmero real 0 con el
punto ) 0 , 1 ( de la circunferencia.
2) Enrollamos la semirrecta negativa de nmeros reales sobre la circunferencia en
sentido de las agujas del reloj.

Luego, todo R x queda representado en la circunferencia de centro 0 y radio 1.
Es claro que, como la longitud de la circunferencia es 2 , cualquiera sea R x , los
nmeros Z k k x + , 2 quedan representados sobre el mismo punto de la
circunferencia. Por ejemplo, los nmeros reales ,... 4 , 2 ,..., 4 , 2 , 0 , quedan
todos representados sobre la circunferencia como el punto del plano ) 0 , 1 ( .
Luego, cada R x , pensado sobre la circunferencia de centro 0 y radio 1, es un punto
del plano ) , ( b a .
Se definen entonces funciones R R sen : (seno) y R R cos : (coseno) por
=
=
. ) sen(
, ) (
b x
a x cos

Esta definicin extiende a todo R las relaciones trigonomtricas definidas para ngulos
tales que (medido en radianes)
2
0

< < .

)) sen( ), (cos( x x
R
x
0
0
R
0
0
R

36
Los grficos de las funciones R R sen : y R R cos : son los siguientes:

A partir de estas definiciones geomtricas de las funciones seno y coseno se pueden
verificar rpidamente (entre otras) las siguientes propiedades:

a) R cos Dom sen Dom = = ) ( ) ( .
b) sen y cos son funciones peridicas de perodo 2 . O sea, R x y Z k
) ( ) 2 ( x sen k x sen = + y ) ( ) 2 ( x cos k x cos = + .
c) R R sen : es impar. O sea (2 de 24), R x x sen x sen = ), ( ) ( .
d) R R cos : es par. O sea (1 de 24), R x x cos x cos = ), ( ) ( .
e) R x x cos x sen = + , 1 ) ( ) (
2 2
.
f) R y x x cos y sen y cos x sen y x sen = , ); ( ) ( ) ( ) ( ) ( .
g) ) ( ) ( ) ( ) ( ) ( y sen x sen x cos x cos y x cos = m .
h) ) ( ) ( :
2
x cos x sen R x = +

y ) ( ) (
2
x sen x cos =

.
-1
1
0
2

2
3
2
5

2
2
3
2
5

2 3 - -2
) (x sen
-3
-1
1
0
2
2
3
2
5

2
2
3
2
5

2 3 - -2
) (x cos
-3

37
i) sen es positiva en el primer y segundo cuadrantes y negativa en el tercer y cuarto
cuadrantes.
j) cos es positiva en el primer y cuarto cuadrantes y negativa en el segundo y tercer
cuadrantes.

k) 1 ) ( y 1 ) ( : x cos x sen R x .
l) { } { } Z k k x R x x sen R x sen C = = = = , : 0 ) ( : ) (
0
.
m) { } { } Z k k x R x x cos R x cos C + = = = = , : 0 ) ( : ) (
2 0

.

A partir de las funciones sen y cos se definen las otras funciones trigonomtricas:

R R tg : (tangente),
) (
) (
) (
x cos
x sen
x tg = ,
{ } { } Z k k x R x x cos R x tg Dom + = = , : 0 ) ( : ) (
2

;

R R cosec : (cosecante),
) (
1
) (
x sen
x cosec = ,
{ } { } Z k k x R x x sen R x cosec Dom = = , : 0 ) ( : ) ( ;

R R sec : (secante),
) (
1
) (
x cos
x sec = ,
{ } { } Z k k x R x x cos R x sec Dom + = = , : 0 ) ( : ) (
2

;

R R cotg : (cotangente),
) (
) (
) (
x sen
x cos
x cotg = ,
{ } { } Z k k x R x x sen R x cotg Dom = = , : 0 ) ( : ) ( .
+ +
) (x sen
+
) (x cos
+

38
El grfico de la funcin tangente es el siguiente:

Puede observarse de los grficos que las funciones seno, coseno y tangente no son
biyectivas. Sin embargo, como hicimos en 2) de 19, podemos restringir los dominios y
codominios de cada una de ellas para que resulten biyectivas.
Como ] 1 , 1 [ ) ( ) ( = = cos Im sen Im e R tg Im = ) ( , deberemos considerar los siguientes
nuevos codominios:
] 1 , 1 [ ) ( = sen Codom , ] 1 , 1 [ ) ( = cos Codom y R tg Codom = ) ( .
Ahora bien, en el caso de los dominios observamos que existen, para las tres funciones,
varias elecciones posibles.
Para el seno podemos elegir cualquier intervalo de la forma ] ) 1 ( , [
2 2

+ + + k k con
Z k , o sea ] , [
2 2

, ] , [
2 2
3
, ] , [
2
3
2

, etc.
Para el coseno podemos elegir cualquier intervalo de la forma ] ) 1 ( , [ + k k con
Z k , o sea ] , 0 [ , ] 0 , [ , ] 2 , [ , etc.
Para la tangente, teniendo en cuenta que no est definida si 0 ) ( = x cos , podemos elegir
cualquier intervalo de la forma ) ) 1 ( , (
2 2

+ + + k k con Z k , o sea ) , (
2 2

,
) , (
2 2
3
, ) , (
2
3
2

, etc.
Las elecciones naturales (las que usan las calculadoras) son ] , [
2 2

para el seno, ] , 0 [
para el coseno y ) , (
2 2

para la tangente.
) (x tg
2
3
2
5
2

2
3
2
5
2 - -2
0
2


39
Luego, restringiendo las tres funciones mencionadas resulta que

] 1 , 1 [ ] , [ :
2 2

sen , ] 1 , 1 [ ] , 0 [ : cos y R tg ) , ( :
2 2

son biyectivas. Por lo tanto, existen sus funciones inversas

] , [ ] 1 , 1 [ : (sen)
2 2
1

=
arcsen (arcoseno),
] , 0 [ ] 1 , 1 [ : ) (
1
=
arccos cos (arcocoseno) y

) , ( : ) (
2 2
1

=
R arctg tg (arcotangente),

que, por 16, deben verificar las relaciones

=
=
] , [ , )) ( (
] 1 , 1 [ , )) ( (
2 2

x x x sen arcsen
x x x arcsen sen
,

=
=
] , [ , )) ( (
] 1 , 1 [ , )) ( (
x x x cos arccos
x x x arccos cos
,

=
=
) , ( , )) ( (
, )) ( (
2 2

x x x tg arctg
R x x x arctg tg
.
31 Ejemplo 5
FUNCIONES EXPONENCIALES Y LOGARTMICAS
Recordemos que dado R a , para cada N n , se define
43 42 1
L
veces n
n
a a a a = .
Esta operacin, denominada potenciacin, verifica las siguientes propiedades:
=
=
+
) ( ) (
) (
2
1
m n m n
m n m n
a a
a a a
,
N m n R a , ; .
La potenciacin se extiende a potencias enteras definiendo
0
R a y N n :
= =
=

) (
1
) (
) ( 1
4
3
1
0
n
n n
a
a a
a
,

40
Es fcil verificar que con las definiciones ) (3 y ) (4 las propiedades ) (1 y ) (2 siguen
siendo vlidas Z m n , .
Para poder extender la potenciacin a potencias racionales es necesario restringir los
valores de a .
Si
0 >
R a y Q q
n
m
= ( Z m N n , ) se define
n m q
a a a
n
m
= = ) ( ,
donde
n m
a indica el nico nmero positivo b tal que
m n
a b = .
Puede verificarse tambin que siguen siendo vlidas las propiedades ) (1 y ) (2 .

Ahora bien, la extensin de la potenciacin a potencias reales ya no es tan sencilla. Se
basa en el Axioma de Completitud de los nmeros reales (1).

[Para realizar dicha extensin, utilizando el Axioma de Completitud se desprende que todo R x puede
aproximarse por nmeros racionales, es decir existe una sucesin de nmeros racionales ) ( N n q
n

tales que, a medida que tomamos n cada vez ms grande, los nmeros
n
q estn cada vez ms cerca de x
(el lmite de la sucesin
N n n
q

) ( es x ). Una vez elegida esta sucesin
N n n
q

) ( , se considera la nueva
sucesin
N n
q
n
a

) ( y se comprueba que a medida que tomamos n cada vez ms grande, los nmeros
n
q
a
estn cada vez ms cerca de un nmero real (la sucesin
N n
q
n
a

) ( converge) que notaremos
x
a . Se
puede verificar que esta definicin de
x
a depende slo de x y no de la sucesin
N n n
q

) ( elegida y que
adems siguen siendo vlidas las propiedades ) (1 y ) (2 ].

En definitiva: para cada 1 , 0 , > a a R a queda definida una funcin que
denominamos exponencial en base a y notamos

R R Exp
a
: dada por
x
a
a x Exp = ) ( .
Hemos excluido el caso 1 = a pues, como R x
x
= , 1 1 , obtendramos la funcin
constante 1 ) ( = x f .

Las funciones exponenciales verifican las siguientes propiedades:

a) 0 ) ( : > =
x
a
a x Exp R x .
b)
y x y x
a a a R y x =
+
: , .
c) ( )
y
x y x
a a R y x =

: , .

41
d) 1 ) 0 (
0
= = a Exp
a
.
e)
x
x
a
a R x
1
: =

.
f)
y
x
y x
a
a
a R y x =

: , .
g) Si 1 > a ,
y x
a a y x R y x < < : , .
h) Si 1 0 < < a ,
y x
a a y x R y x > < : , .

Los tipos de grficos posibles para una funcin exponencial son los siguientes:

A partir de sus grficos observamos que 1 ,
0

>
a R a
R Exp Dom
a
= ) ( e ) , 0 ( ) ( + =
a
Exp Im .

De las propiedades g) y h) (y de su grfico) es claro que las funciones exponenciales son
inyectivas pero no suryectivas. Luego, para que resulten biyectivas deberemos
considerar como nuevo codominio su imagen, o sea, el conjunto ) , 0 ( + .
Considerando entonces, para cada 1 ,
0

>
a R a
) , 0 ( : + R Exp
a

ahora s resulta biyectiva.
x
a
0
1
1 > a
x
a
0
1
1 0 < < a

42
Su funcin inversa se denomina logaritmo en base a y se la nota
a a
log Exp =
1
) ( .
O sea,
R log
a
+) , 0 ( :

es la nica funcin que verifica
> =
=
0 , )) ( (
, )) ( (
x x x log Exp
R x x x Exp log
a a
a a
(#).
Recordando que
x
a
a x Exp = ) ( , podemos reescribir (#) de la forma siguiente:
> =
=
0 ,
, ) (
) (
x x a
R x x a log
x log
x
a
a
.
Observemos que, dado que hemos definido el
a
log como la funcin inversa de la
) (x Exp
a
, no existe una expresin que describa al
a
log . Todo lo que sabemos es que
x a y x log R x
y
a
= =
>
) ( :
0
,
es decir, el ) (x log
a
es el nico nmero real y que verifica que x a
y
= .
Las funciones logartmicas verifican las siguientes propiedades:

a) ) ( ) ( ) ( : ,
0
y log x log y x log R y x
a a a
+ =
>
.
b) ( ) ) ( ) ( : ,
0
y log x log log R y x
a a y
x
a
=
>
.
c) ( ) ) ( : ,
0
x log y x log R y R x
a
y
a
=
>
.
d) 0 ) 1 ( =
a
log .
e) 1 ) ( = a log
a
.
f) { } 1 ) (
0
=
a
log C .
g) Si 1 > a : ) , 1 ( ) ( + =
+ a
log C y ) 1 , 0 ( ) ( =
a
log C .
h) Si 1 0 < < a : ) 1 , 0 ( ) ( =
+ a
log C y ) , 1 ( ) ( + =
a
log C .
i) Si 1 > a , ) ( ) ( : , y log x log y x R y x
a a
< < .
j) Si 1 0 < < a , ) ( ) ( : , y log x log y x R y x
a a
> < .
k) Sean 1 , 1 , ,
0

>
b a R b a .
) (
) (
) ( : 0
b log
x log
x log x
a
a
b
= > .


43
Los tipos de grficos posibles para una funcin logartmica son los siguientes:

Recordemos que existe un nmero real (irracional) muy especial, el nmero e .
[Para definir el nmero e se considera la sucesin de nmeros reales
( ) N n
n
a
n
n
+ = ,
1
1
y se prueba que la sucesin, que es creciente ( N n a a
n n
<
+
,
1
) y acotada superiormente
( N n a
n
< , 3 ), converge (a medida que se toma N n cada vez ms grande los nmeros
n
a se
aproximan cada vez ms a un nmero real). El nmero real al cual converge la sucesin se denomina nmero
e ].
Se sabe que 3 2 < < e (en particular ) 1 > e y que, aproximadamente (es irracional)
7182818 , 2 e .

En particular tenemos las funciones
x
e
e x Exp = ) ( y su inversa
e
log . La funcin
e
log
se denomina logaritmo natural y se la nota ln . O sea ,
x e y x ln R x
y
= =
>
) ( :
0
.

Si consideramos 10 = a obtenemos las funciones
x
x Exp 10 ) (
10
= y su inversa
10
log .
La funcin
10
log se la nota simplemente log . O sea,
x y x log R x
y
= =
>
10 ) ( :
0
.

La propiedad k) de las funciones logartmicas nos permite calcular el valor del logaritmo
en una base dada en funcin del logaritmo en otra base. Es por esta razn que en las
calculadoras generalmente aparecen nicamente ln y log .

0 1
1 > a
) (x log
a
1 0 < < a
0 1
) (x log
a

44
32 Ejemplo 6
FUNCIN MDULO
Dado R x se puede definir, desde un punto de vista geomtrico, el mdulo o valor
absoluto de x como la distancia entre x y 0 . Desde un punto de vista analtico esta
definicin da lugar a una funcin definida a trozos (o por partes) denominada mdulo

R R f : , dada por
<
= =
0
0
) (
x si x
x si x
x x f .

Su grfico es el siguiente:

Alguna de las propiedades ms importantes de la funcin mdulo son las siguientes:
a) 0 : x R x y 0 0 = = x x .
b) x x R x = : . O sea (1 de 24), la funcin mdulo es par.
c) y x y x R y x + + : , .
d) y x y x R y x = : , .
e) ] , [ : 0 , a a x a x a a x a R x > .
f) ) , ( : 0 , a a x a x a a x a R x < < < > .
g) ) , [ ] , ( : 0 , + > a a x a x a x a x a R x .
h) ) , ( ) , ( : 0 , + > < > > a a x a x a x a x a R x .
i) y x R y x : , mide la distancia entre x e y .
1
1 -1
x
0

45
Las propiedades e) a i) nos permiten describir el conjunto de todos los nmeros reales
cuya distancia a un nmero real fijo es menor o menor o igual que una distancia
prefijada.
Ms precisamente. Si R x
0
y 0 > , queremos describir el conjunto
{ } que menor es y entre distancia la :
0
x x R x A = .

Teniendo en cuenta e) a i) resulta que
). , (
que menor es y entre distancia la
0 0
0 0
0
0
0

+
+ < <
< <
<
x x x
x x x
x x
x x
x x

Por lo tanto,
{ } ) , ( :
0 0 0
+ = < = x x x x R x A .
Anlogamente, si
{ } que igual o menor es y entre distancia la :
0
x x R x B = ,

], , [
que igual o menor es y entre distancia la
0 0
0 0
0
0
0

+
+

x x x
x x x
x x
x x
x x

entonces,
{ } ] , [ :
0 0 0
+ = = x x x x R x B .

Se dice que A es un entorno abierto alrededor de
0
x y que B es un entorno cerrado
alrededor de
0
x .

+ x x
( )
0
x

A
+ x
x
[ ]
0
x

B

46
33 Ejemplo 7
FUNCIONES DEFINIDAS A TROZOS
La funcin mdulo (32) es un ejemplo de lo que denominamos funciones definidas a
trozos o simplemente funciones partidas.
Otro ejemplo de este tipo de funciones es la funcin signo que notamos sg . Su
definicin es la siguiente:
R R sg :

<
=
>
=
0 1
0 0
0 1
) (
x si
x si
x si
x sg

Pueden definirse funciones partidas a partir de funciones conocidas. Por ejemplo si
R R f : es la funcin dada por
<
+
=
1
1 1
) (
2
x si x
x si x
x f

f queda definida a partir de las funciones 1 ) ( + = x x g y
2
) ( x x h = .

)
0
1 (
-1
) (x sg
5
) ( f Gr
0 1 2 -2 -1
1
2
3
4
[
)

47
Es decir, la funcin f posee dos expresiones segn si 1 x o 1 < x . Por lo tanto, hay
que tener en claro que se tiene una nica funcin, la funcin f , y no dos. Si queremos
saber cul es el valor de f aplicada a un nmero x , primero debemos observar si 1 x
o 1 < x y recin despus aplicar la expresin correspondiente. Por ejemplo, como 1 2
(por ms que podemos calcular 4 2 ) 2 (
2
= = h ) 3 1 2 ) 2 ( = + = f y no 4 ) 2 ( = h .
De la misma manera observemos que 0 0 ) 0 (
2
= = f (pues 1 0 < ) y no
1 1 0 ) 0 ( = + = h , 1 1 ) 1 (
2
= = f (pues 1 1 ) y no 2 1 1 ) 1 ( = + = h , etc.

Lmite y
Continuidad


51
LMITE Y CONTINUIDAD

1 Introduccin
Desarrollaremos a continuacin la nocin central en el Clculo, el concepto de lmite
de funciones.
Dada una funcin R R f : y R x
0
queremos precisar la siguiente pregunta:
Qu le pasa a f(x) cuando x se acerca a
0
x ?
Aclaremos la pregunta. Si consideramos valores x cada vez ms cerca del valor
0
x los
valores ) (x f se acercan a algn nmero?
La pregunta as planteada parecera tener una respuesta obvia:
los valores ) (x f se acercan al nmero ) (
0
x f .
Sin embargo esta respuesta es errnea dado que nos interesa saber qu le pasa a ) (x f
cuando x toma valores cada vez ms cerca de
0
x pero no nos importa lo que vale la
funcin en
0
x . Ms an, la funcin podra no estar definida en
0
x (no nos importa si
0
x pertenece o no al dominio de la funcin) y en ese caso no tendra sentido hablar de
) (
0
x f .
Para comprender el concepto de lmite, lo primero que debe quedar claro entonces es que
No importa lo que pasa en
0
x ,
slo interesa lo que ocurre cerca de
0
x .
Analicemos algunos ejemplos.
Consideremos R R f : , R R g : y R R h : definidas por:

1 ) ( + = x x f ,
=
+
=
1 1
1 1
) (
x si
x si x
x g y
1
1
) (
2
=
x
x
x h .

Luego, R f Dom = ) ( , R g Dom = ) ( y { } 1 ) ( = R h Dom ,

1
2
1
0
) (h Gr
1
2
1
0
) (g Gr
1
2
1
) ( f Gr
0

52

y consideremos 1
0
= x .
Es claro que ) ( ) ( x f x g = , 1 x .
Por otra parte, 1 x
( ) ( )
) ( 1
1
1 1
1
1
) (
) (
2
x f x
x
x x
x
x
x h = + =
+
=
,
(observar que la igualdad ) ( slo vale para 1 x ).
Por lo tanto, ) ( ) ( ) ( x h x g x f = = , 1 x .
Tomemos valores cada vez ms cerca de 1 (pero no en 1) y evaluemos las tres
funciones en dichos puntos como muestra la siguiente tabla:

x ) ( ) ( ) ( x h x g x f = = x ) ( ) ( ) ( x h x g x f = =
9 , 0 9 , 1 1 , 1 1 , 2
99 , 0 99 , 1 01 , 1 01 , 2
999 , 0 999 , 1 001 , 1 001 , 2
9999 , 0 9999 , 1 0001 , 1 0001 , 2
99999 , 0 99999 , 1 00001 , 1 00001 , 2
999999 , 0 999999 , 1 000001 , 1 000001 , 2
9999999 , 0 9999999 , 1 0000001 , 1 0000001 , 2
99999999 , 0 99999999 , 1 00000001 , 1 00000001 , 2
------ ------ ------ ------

Observando la tabla intuimos que, a medida que consideramos valores x cada vez
ms cerca de 1, los valores ) (x f , ) (x g y ) (x h se encuentran cada vez ms cerca
del numero 2 .
En el caso de la funcin f , ) ( 1 f Dom , 2 ) 1 ( = f y ) (x f se acerca a 2 ) 1 ( = f .
En el caso de la funcin g , ) ( 1 g Dom , 1 ) 1 ( = g y ) (x g no se acerca a
1 ) 1 ( = g .
En el caso de la funcin h , ) ( 1 h Dom y, como no existe ) 1 ( h , no tiene sentido
preguntarse si ) (x h se acerca o no a ) 1 ( h .
Ahora bien:
Porqu estamos tan seguros que las funciones se acercan a 2 ?
No podra ocurrir que, tomando valores an ms cercanos a 1, la funcin
cambie la tendencia que muestra la tabla?
La tabla nos alcanza?
Cuntos valores tendremos que tomar para estar seguros de nuestra conclusin?

53
El hecho que alrededor de un nmero real
0
x fijo haya siempre infinitos nmeros
reales tan cerca de
0
x como queramos hace que ninguna tabla que podamos
construir nos alcance para sacar conclusiones certeras (ejemplos no tan simples
como estos nos mostrarn que, realizando un anlisis similar, podemos arribar a
conclusiones errneas). Por lo tanto el anlisis anterior no nos garantiza lo
concluido.
Es el momento entonces de comenzar a precisar la definicin de lmite.
Sean R R f : , R x
0
y R l .
Queremos precisar la frase
) (x f se acerca a l cuando x se acerca a
0
x .
Para ello realizamos las siguientes observaciones:
1. No importa lo que le pasa a la funcin en
0
x .
2. Slo importa lo que le pasa a la funcin cerca de
0
x , no lejos.
3. Que ) (x f se acerca a l es lo mismo que decir que l ) (x f se acerca a 0 . Es
decir, que la distancia entre ) (x f y l se hace tan chica como se quiera. Esto
ltimo significa que l ) (x f se hace tan chico como se quiera.
4. Que x est cerca de
0
x (pero no es
0
x ) es lo mismo que decir que la distancia
entre x y
0
x es pequea pero no nula. Esto ltimo significa que
0
x x es
pequeo pero distinto de 0 .
Por lo tanto, la frase ) (x f se acerca a l cuando x se acerca a
0
x significar
que:
l ) (x f puede hacerse tan chico como se quiera con tal de tomar
0
x x
suficientemente pequeo pero distinto de 0 .
Por ltimo observemos que ser tan pequeo como se quiera significa ser menor
que cualquier nmero positivo.
Precisando an ms, la frase ) (x f se acerca a l cuando x se acerca a
0
x
significa entonces que:
dado cualquier nmero positivo , se puede conseguir que l ) (x f sea menor
que con tal que
0
x x sea suficientemente pequeo pero distinto de 0 , es decir
con tal que < <
0
0 x x , para un cierto nmero positivo (que, en principio,
depender de cul sea el ).
Estamos en condiciones ahora de dar la definicin de lmite.


54
2 Definicin
Sea ) , (
0
b a x y sea R R f : una funcin definida en ) , ( b a salvo quizs en
0
x .
Sea R l .
Se dice que ) (x f tiende a l cuando x tiende a
0
x , o que ) (x f tiene lmite l cuando
x tiende a
0
x sii
Cualquiera sea 0 > , existe 0 > ( ) ( = ) tal que si < <
0
0 x x entonces
< l ) (x f .
En ese caso escribimos
l =
) (
0
x f lm
x x
,
que se lee: el lmite de ) (x f cuando x tiende a
0
x es igual a l .

3 Observaciones
1) La definicin de lmite (2) puede reescribirse de la siguiente manera:
l =
) (
0
x f lm
x x
sii existe una funcin
0 0
:
> >
R R tal que
0 > , ) ( 0
0
< < x x < l ) (x f ().
Por lo tanto, para probar que l =
) (
0
x f lm
x x
en un caso determinado hay que
encontrar una funcin ) ( = que verifique () y probar que la tiene!

2) Recordemos que (ver 32 del captulo de Funciones)
( ) + < l l l , ) ( ) ( x f x f
y que
( ) ( ) ( )
0 0 0 0 0 0 0 0
, , , , 0 x x x x x x x x x x x x x x x x + + < < .

Luego, desde un punto de vista geomtrico, l =
) (
0
x f lm
x x
significa que cualquiera
sea 0 > existe 0 > (que en general depende de ) de manera tal que para
valores ( )
0 0 0
, , x x x x x x x + , el grfico de f se encuentra en la zona
sombreada como muestra la siguiente figura

55

3) Teniendo en cuenta la dificultad de la nocin de lmite (que en esencia se basa en el
axioma de Completitud de los nmeros reales), la observacin 1) y que el objetivo
de estas notas es slo introducir al alumno en el Clculo, aceptaremos muchas de las
propiedades que posee el lmite de funciones intentando su comprensin de manera
intuitiva.

4) No toda funcin posee lmite.
Por ejemplo, sea R R f : definida por |
.
|
\
|
=
x
sen x f
1
) ( . Luego,
0
) (

= R f Dom . Su grfico aproximado es el siguiente:

Observando el grfico, nos damos cuenta que a medida que nos acercamos a 0 = x
) (x f va tomando todos los valores posibles entre 1 y 1 infinitas veces. O sea, no
es cierto que ) (x f se acerca a un nmero cuando x se acerca 0 (todo lo que
podemos observar es que el grfico se acerca al eje y pero no a un nmero).
1
-1
( )
x
sen
1

l
+ l

0
x +
0
x +
0
x
0
x
+ l
l
l

0
x

56
Por lo tanto,
|
.
|
\
|
/
x
sen lm
x
1
0
.

Probar que esto es efectivamente as equivale a demostrar que no se verifica la
definicin 2 para ningn R l . Esto es, se debera demostrar (cosa no demasiado
sencilla) que cualquiera sea R l no se verifica la definicin de lmite. O sea,
existe un 0 > de manera tal que cualquiera sea 0 > , existe un x que verifica
< < x 0 y sin embargo ( ) l
x
sen
1
.

Observemos (como hemos mencionado en 1) cmo podramos haber arribado a una
conclusin errnea si hubisemos construido algn tipo de tabla de valores.
Analicemos las siguientes tablas:

x ) (x f x ) (x f
1

0

2

1
2
1

0

5
2

1
3
1
0

9
2

1
------ ------ ------ ------
Z k
k
,
1

0

Z k
k

+
,
) 1 4 (
2

1

Es claro que los nmeros elegidos en ambas tablas (
k
1
y Z k
k

+
,
) 1 4 (
2
) se
encuentran cada vez ms cerca de 0 .
Luego, si slo hubiramos construido la Tabla 1 concluiramos que ) (x f se esta
acercando al nmero 0 (ms an diramos que la funcin siempre vale 0 ).
Si por el contrario, hubisemos slo construido la Tabla 2 concluiramos que ) (x f
se esta acercando al nmero 1 (ms an diramos que la funcin siempre vale 1).

Esto muestra que ninguna tabla de valores puede garantizar cul es el lmite de una
funcin, ms an (como en este caso) la funcin puede no tener lmite.
Las tablas y los grficos slo me permiten intuir (que no es poca cosa) el
comportamiento de una funcin cerca de un punto.
Una vez que intuimos (tabla, grfico o cualquier otra manera) que una cierta funcin
tiene lmite, o bien que no tiene lmite, la nica manera de garantizarlo es verificar
rigurosamente si se cumple o no la definicin 2.

Tabla 1 Tabla 2

57
4 Proposicin (Unicidad del lmite)
Sea ) , (
0
b a x y sea R R f : una funcin definida en ) , ( b a salvo quizs en
0
x .
Sean R l l, .
Si l =
) (
0
x f lm
x x
y l =
) (
0
x f lm
x x
, entonces l l = .

(En caso de existir, el lmite de una funcin es nico).

5 Ejemplos
1) Sea R c y sea R R f : dada por c x f = ) ( , R x (funcin constante).
Entonces c c lm x f lm
x x x x
= =

0 0
) ( , R x
0
.

Dem:
Teniendo en cuenta la definicin de lmite (2) y las observaciones 1) y 2) de 3
debemos considerar 0 > y tratar de encontrar un 0 > de manera tal que se
verifique la propiedad ().

Ahora bien, como en este caso particular es
0 ) ( = = c c c x f ,
nos damos cuenta que eligiendo cualquier 0 > la propiedad (), que en este caso
es
< <
0
0 x x < = = 0 ) ( c c c x f ,
es verdadera.
Por lo tanto hemos probado (por la definicin 2) que c c lm
x x
=
0
.

) ( f Gr
c
c
+ c

0
x +
0
x
0
x

58
2) Sea R R f : dada por x x f = ) ( , R x (funcin identidad). Entonces
0
0 0
) ( x x lm x f lm
x x x x
= =

, R x
0
.

Dem:

Sea 0 > .
Luego, como
0 0
) ( x x x x f = nos damos cuenta entonces que eligiendo
= la propiedad (), que en este caso es
< = < <
0 0 0
) ( 0 x x x x f x x ,
es verdadera.
En efecto, basta observar que
< < <
0 0
0 x x x x .

6 Proposicin (Lema del Sndwich)
Sea ) , (
0
b a x . Sea R l . Sean R R h g f : , , definidas en ) , ( b a salvo quizs en
0
x tales que:
i) ) ( ) ( ) ( : ), , (
0
x h x f x g x x b a x .
ii) l = =

) ( ) (
0 0
x h lm x g lm
x x x x
.
Entonces, l =
) (
0
x f lm
x x
.
7 Proposicin
Sea ) , (
0
b a x . Sea R l . Sea R R f : definida en ) , ( b a salvo quizs en
0
x tal
que l =
) (
0
x f lm
x x
. Sea R b . Entonces:

) ( f Gr

0
x
+
0
x

0
x +
0
x
0
x
0
x

59
a) b x f b < < ) ( l , cerca de
0
x .
b) b x f b > > ) ( l , cerca de
0
x .
c) b x f < ) ( , cerca de
0
x b l .
d) b x f > ) ( , cerca de
0
x b l .

Donde por cerca de
0
x significa que 0 > tal que la propiedad es vlida para
valores ( )
0 0 0
, , x x x x x + .

8 Proposicin (Propiedades del lmite)
Sea ) , (
0
b a x . Sean R
2 1
, l l . Sean R R g f : , definidas en ) , ( b a salvo quizs
en
0
x tales que
1
) (
0
l =
x f lm
x x
y
2
) (
0
l =
x g lm
x x
. Entonces:

a) ( ) ( ) ) ( ) ( ) (
0 0
x g x f lm x g f lm
x x x x
+ = +

, y adems
( )
2 1
) ( ) (
0
l l + = +
x g x f lm
x x
.
El lmite de la suma es la suma de los lmites (siempre y cuando ambos lmites
existan y sean finitos
3
).

b) ( ) ( )
2 1
) ( ) ( ) (
0 0
l l = =

x g x f lm x g f lm
x x x x
, y adems
( )
2 1
) ( ) (
0
l l =
x g x f lm
x x
.
El lmite de la resta es la resta de los lmites (siempre y cuando ambos lmites
existan y sean finitos).

c) ( ) ( ) ) ( ) ( ) (
0 0
x g x f lm x g f lm
x x x x
=

, y adems
( )
2 1
) ( ) (
0
l l =
x g x f lm
x x
.
El lmite del producto es el producto de los lmites (siempre y cuando ambos
lmites existan y sean finitos).

3
O sea, que el lmite sea un nmero. Ms adelante introduciremos la nocin de lmite infinito.

60
d) Si 0
2
l ,
|
|
.
|
\
|
=
|
|
.
|
\
|

) (
) (
) (
0 0 x g
x f
lm x
g
f
lm
x x x x
, y adems
2
1
) (
) (
0 l
l
=
|
|
.
|
\
|
x g
x f
lm
x x
.
El lmite del cociente es el cociente de los lmites (siempre y cuando ambos
lmites existan, sean finitos y el lmite del denominador no sea nulo).

e) ( ) ( )
1
) (
0
l ln x f ln lm
x x
=
.

f)
1
0
) ( l
e e lm
x f
x x
=
.

g) Si 0
1
> l , ( ) ( ) ( )
) (
) ( ) (
0 0
x g
x x
g
x x
x f lm x f lm

= , y adems
( ) ( ) ( )
2
0
1
) (
) (
l
l =
x g
x x
x f lm .
El lmite de una potencia es la potencia de los lmites (siempre y cuando ambos
lmites existan, sean finitos y el lmite de la base sea positivo.

9 Proposicin
Sea ) , (
0
b a x , sea R l y sea R R f : una funcin definida en ) , ( b a salvo
quizs en
0
x tal que l =
) (
0
x f lm
x x
. Entonces
R a a x f a lm
x x
=
, ) (
0
l .
Dem:
Sea R a .
Por 1) de 5, a a lm
x x
=
0
.
Luego, aplicando c) de 8,
l =
|
.
|
\
|
|
.
|
\
|
=

a x f lm a lm x f a lm
x x x x x x
) ( ) (
0 0 0
.

10 Proposicin
Sea N n . Sea R R f : dada por
n
x x f = ) ( . Sea R x
0
. Entonces
( )
n n
x x
x x lm
0
0
=
.

61
Dem:
Probemos primero el resultado para 2 = n .
Por 2) de 5,
0
0
x x lm
x x
=
.
Luego, aplicando c) de 8,
( )
2
0 0 0
2
0 0 0 0
x x x x lm x lm x x lm x lm
x x x x x x x x
= =
|
.
|
\
|
|
.
|
\
|
= =

.

Observando que N n x x x
n n
=
+
,
1
( x x x =
2 3
, x x x =
3 4
, etc.), el resultado
general se sigue aplicando recurrentemente c) de 8.

11 Proposicin
Sea R x
0
. Sea R R f : una funcin polinmica, o sea,
0 1
2
2
1
1
) ( a x a x a x a x a x f
n
n
n
n
+ + + + + =

L L ,
para N n y ciertos R a a a a a
n n

0 1 2 1
, , , , , L L . Entonces
( ) ( ) ( )
0 0 1
2
0 2
1
0 1 0
) (
0
a x a x a x a x a x f lm
n
n
n
n
x x
+ + + + + =

L L .
Dem:
El resultado se sigue aplicando a) y c) de 8, 9 y 10.
12 Observaciones
Aceptaremos como vlidos los siguientes resultados:
1) ( )
n
m n m
x x
x x lm N m n
0
0
: , =
( ( )
n m
x Dom x
0
).
2)
0
0
: 1 ,
0
x x
x x
a a lm a R a =
>
.
3) ) ( ) ( : 0 , 1 ,
0 0 0
0
x log x log lm x a R a
a a
x x
= >
>
.
4) ) ( ) (
0
0
x sen x sen lm
x x
=
.
5) ) ( ) (
0
0
x cos x cos lm
x x
=
.
6) ) ( ) (
0
0
x tg x tg lm
x x
=
, ) (
0
tg Dom x .
7) ( )
a a
x x
x x lm x R a
0 0
0
: 0 , = >
.
8) Sean ) , (
0
b a x , ) , (
0
d c y y R l . Sea R R g : una funcin definida en
) , ( b a salvo quizs en
0
x tal que
0 0
, ) ( x x y x g y
0
) (
0
y x g lm
x x
=
.

62
Sea R R f : una funcin definida en ) , ( d c salvo quizs en
0
y tal que
l =
) (
0
y f lm
y y
. Entonces
( ) l o =
) (
0
x g f lm
x x
.
(Si ) (
0
f Dom y y ) ( ) (
0
0
y f y f lm
y y
=
la condicin
0 0
, ) ( x x y x g puede
quitarse).

13 Ejemplos
Los siguientes ejemplos mostrarn cmo se puede calcular el lmite de una funcin
utilizando las propiedades ya mencionadas.

1) Calcular ( ) 6 5 3
2
2
+
x x lm
x
.
Utilizando 11
( ) 8 6 2 5 2 3 6 5 3
2 2
2
= + = +
x x lm
x
.

2) Calcular ( ) 2 1
2
1
+ +
x lm
x
.
( ) 2 2 2 2 2 1 1 2 1 2 1
2
) 8 12
, 11 , 5 1
2
1 ) 8
2
1
= + = + + = + + = + +
x x a x
lm x lm x lm
.

3) Calcular ( ) ( ) ( ) 3 2
2
5
+ +

x x lm
x
.
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) 54 3 5 2 5 3 2 3 2
2
11 5
2
5 ) 8
2
5
= + + = + + = + +

x lm x lm x x lm
x x c x
.

4) Calcular
1
1
2
1

x
x
lm
x
.
( )
( )
( )
0
2
0
1 1
1 1
1
1
1
1
2
11
1
2
1
) 8
2
1
=
=

=

x lm
x lm
x
x
lm
x
x
d x
.

Observar que hemos podido utilizar d) de 8 en virtud de que ( ) 0 2 1
1
=

x lm
x
.


63
5) Calcular
1
1
2
1

x
x
lm
x
.
En este caso no podemos utilizar d) de 8, dado que ( ) 0 1
1
=
x lm
x
.
Sin embargo, como 1 x es
( ) ( )
1
1
1 1
1
1
2
+ =
+
=
x
x
x x
x
x

y no nos importa lo que pasa en 1 = x ) ( , resulta que
( ) ( )
2 1 1 1
1
1 1
1
1
11 1 ) ( 1
2
1
= + = + =
+
=

x lm
x
x x
lm
x
x
lm
x x x
.

6) Calcular
3 4
2 3
2
2
1
+
+
x x
x x
lm
x
.
En este caso tampoco podemos utilizar d) de 8, dado que ( ) 0 3 4
2
1
= +
x x lm
x
.
( ) ( )
( ) ( )
( )
( ) 3
2
3 1
2 1
3 4
2 3
2
2
=

=
+
+
x
x
x x
x x
x x
x x

( )
( ) 2
1
3 1
2 1
3
2
3 4
2 3
1 ) (
2
2
1
=
=
+
+

x
x
lm
x x
x x
lm
x x
.

7) Calcular
3
3
3

x
x
lm
x
.
Tampoco podemos utilizar d) de 8, dado que ( ) 0 3
3
=
x lm
x
.
( ) ( )
( ) ( ) ( ) ( ) 3
1
3 3
3
3 3
3
3
3
3
3
3
3
2 2
+
=
+
=
+
=
+
+
x x x
x
x x
x
x
x
x
x
x
x

3 2
1
3 3
1
3
1
3
3
3 ) ( 3
=
+
=
+
=

x
lm
x
x
lm
x x
.


64
14 Definicin
Sea R R f : y sea ) ( f Dom A . Se dice que f es acotada en A sii existen
R M m , tales que A x M x f m , ) ( .

15 Observaciones
1) Sea R R f : y sea ) ( f Dom A . Entonces
f es acotada en A
0 >
R M tal que A x M x f , ) ( .

2) Las funciones ) (x sen y ) (x cos son acotadas en R .
(Recordar que 1 ) ( x sen y 1 ) ( x cos , R x ).

16 Proposicin
4

Sea R R f : tal que 0 ) (
0
=
x f lm
x x
. Sea R R g : acotada en un entorno de
0
x .
Entonces
0 ) ( ) (
0
=
x g x f lm
x x
. ( cero por acotada es cero)

17 Observaciones
1) Si 0 ) (
0
x f lm
x x
, o bien si g no es acotada la proposicin 16 no puede aplicarse.
Por ejemplo:
a) ( ) ( ) ( ) 1 ) 0 ( 1 0 ) ( 1 ) ( 1
0 0 0
= + = + = +

cos x cos lm x lm x cos x lm
x x x
.
Sin embargo, si hubisemos aplicado 16, hubisemos concluido errneamente
que ( ) 0 ) ( 1
0
= +
x cos x lm
x
.
En este caso ) (x cos es acotada pero ( ) 0 1 1
0
= +
x lm
x
.

4
Esta propiedad sigue siendo vlida reemplazando
0
x por , nociones que introduciremos luego.

65
b) 2
1
1
2
1
=
x
x
lm
x
(ver 13-5)).
Sin embargo, si hubisemos aplicado 16, hubisemos concluido errneamente
que ( ) 0
1
1
1
1
1
2
1
2
1
=

x
x lm
x
x
lm
x x
.
En este caso ( ) 0 1
2
1
=
x lm
x
pero
1
1
x
no es una funcin acotada en ningn
entorno de 1
0
= x .

2) Un ejemplo de aplicacin correcta de la proposicin 16 es el siguiente.
0
1
0
= |
.
|
\
|
x
sen x lm
x
.
Observar que 0
0
=
x lm
x
y
|
.
|
\
|
x
sen
1
es una funcin acotada en
0
R .

18 Comentario
Recordemos la funcin signo definida en 33 del captulo Funciones. R R sg :

<
=
>
=
0 1
0 0
0 1
) (
x si
x si
x si
x sg

Sea 0
0
> x .
Es claro que x cerca de
0
x 1 ) ( = x sg .
Luego,
1 ) (
0
=
x sg lm
x x
.
Sea 0
0
< x .
Es claro que x cerca de
0
x 1 ) ( = x sg .
Luego,
1 ) (
0
=
x sg lm
x x
.

)
0
1 (
-1
) (x sg

66
Ahora bien, ) (
0
x sg lm
x
?
Si consideramos valores x cerca de 0 , por ms cerca que los tomemos, ) (x sg toma
el valor 1 y el valor 1.
Luego, es claro que
) (
0
x sg lm
x
/ .

Sin embargo, nos damos cuenta que, si slo consideramos valores x cerca de 0 pero
mayores que 0 (geomtricamente por la derecha del 0 ), entonces ) (x sg es la
funcin constante 1.
Diremos entonces que, el lmite de ) (x sg cuando x tiende a 0 por la derecha vale 1, y
escribiremos
1 ) (
0
=
+
x sg lm
x
.

Anlogamente, si slo consideramos valores x cerca de 0 pero menores que 0
(geomtricamente por la izquierda del 0 ), entonces ) (x sg es la funcin constante
1 .
Diremos entonces que, el lmite de ) (x sg cuando x tiende a 0 por la izquierda vale
1 , y escribiremos
1 ) (
0
=
x sg lm
x
.

Estos lmites se denominan lmites laterales (por la derecha y por la izquierda). Sus
definiciones precisas son las siguientes.

19 Definicin
Sea R x
0
y sea R R f : una funcin definida en ) , (
0
b x . Sea R l .
Se dice que ) (x f tiene lmite l cuando x tiende a
0
x por la derecha sii
Cualquiera sea 0 > , existe 0 > ( ) ( = ) tal que si < <
0
0 x x entonces
< l ) (x f .
l =
+
) (
0
x f lm
x x
.


67
20 Definicin
Sea R x
0
y sea R R f : una funcin definida en ) , (
0
x a . Sea R l .
Se dice que ) (x f tiene lmite l cuando x tiende a
0
x por la izquierda sii
Cualquiera sea 0 > , existe 0 > ( ) ( = ) tal que si < < x x
0
0 entonces
< l ) (x f .
l =
) (
0
x f lm
x x
.
21 Ejemplos
1) Sea R R f : dada por
<
+
=
1
1 1
) (
2
x si x
x si x
x f .

Observando el grfico, es claro que
2 ) (
1
=
+
x f lm
x
y 1 ) (
1
=
x f lm
x

Analticamente,
2 1 ) (
1 ) 1 ( 1
= + =
+ +

x lm x f lm
x x

y
1 ) (
2
1 ) 2 ( 1
= =

x lm x f lm
x x
.
Notemos que la igualdad ) 1 ( es vlida dado que 1 ) ( + = x x f , 1 > x .
Anlogamente, la igualdad ) 2 ( es vlida dado que
2
) ( x x f = , 1 < x .
Adems, es claro que
) (
1
x f lm
x
/ .
(Los lmites laterales existen pero son distintos).
5
) ( f Gr
0 1 2 -2 -1
1
2
3
4
[
)

68

2) Sea R R f : dada por
<
=
1
1
) (
2
x si x
x si x
x f .

Luego,
1 ) (
1 1
= =
+ +

x lm x f lm
x x

y
1 ) (
2
1 1
= =

x lm x f lm
x x
.

En este caso
1 ) (
1
=
x f lm
x
.
(Los lmites laterales existen y son iguales).

22 Proposicin
Sea ) , (
0
b a x , sea R l y sea R R f : una funcin definida en ) , ( b a salvo
quizs en
0
x . Entonces, las siguientes afirmaciones son equivalentes:
a) l =
) (
0
x f lm
x x
.
b) ) ( ) (
0 0
x f lm x f lm
x x x x
+

= = l .

5
) ( f Gr
0 1 2 -2 -1
1
2
3
4
)[

69
23 Observacin
Todas las propiedades que hemos mencionado hasta ahora sobre lmite de funciones
siguen siendo vlidas para los lmites laterales.

24 Comentario
Ampliaremos a continuacin la nocin de lmite de funciones. Por un lado nos interesar
conocer el comportamiento de una funcin a medida que la variable x toma valores
cada vez ms grandes positivos, o bien cada vez ms grandes en valor absoluto pero
negativos. Por otro lado puede ocurrir que, si bien f no se acerca a un nmero, ) (x f
toma valores cada vez ms grandes positivos, o bien cada vez ms grandes en valor
absoluto pero negativos. Ejemplifiquemos estas situaciones.
Consideremos la funcin R R f : dada por
2
1
) (
x
x f = . Luego,
0
) (

= R f Dom .

Observando su grfico notamos que a medida que x toma valores cada vez ms grandes
positivos, ) (x f se acerca cada vez ms a 0 . Diremos entonces que el lmite de ) (x f
es 0 cuando x tiende a + y escribiremos
0
1
2
=
+
x
lm
x
.

Anlogamente, notamos que a medida que x toma valores cada vez ms grandes en
valor absoluto pero negativos, ) (x f tambin se acerca cada vez ms a 0 . Diremos
entonces que el lmite de ) (x f es 0 cuando x tiende a y escribiremos
0
1
2
=

x
lm
x
.

Por ltimo, observamos que a medida que x se acerca a 0 los valores ) (x f se hacen
cada vez ms grandes positivos. Diremos entonces que el lmite de ) (x f es +
cuando x tiende a 0 y escribiremos
+ =
2
0
1
x
lm
x
.
0
( )
2
1
x
Gr

70
Recordemos que + (ms infinito) y (menos infinito) son slo smbolos, no
nmeros. Por lo tanto x tiende a + significa que x toma valores cada vez ms
grandes positivos y x tiende a significa que x toma valores cada vez ms
grandes en valor absoluto pero negativos.

Consideremos la funcin R R g : dada por
2
1
) (
x
x g = . Luego,
0
) (

= R g Dom .

Como en el ejemplo anterior, 0
1
2
=
+
x
lm
x
y 0
1
2
=

x
lm
x
.
En este caso, a medida que x se acerca a 0 los valores ) (x g se hacen cada vez ms
grandes en valor absoluto pero negativos. Diremos entonces que el lmite de ) (x g es
=
2
0
1
x
lm
x
.

Consideremos por ltimo la funcin R R h : dada por
x
x h
1
) ( = . Luego,
0
) (

= R h Dom .

Como en los dos ejemplos anteriores resulta que 0
1
=
+
x
lm
x
y 0
1
=

x
lm
x
.

0
( )
2
1
x
Gr
0
( )
x
Gr
1 `

71
Ahora bien, a medida que x se acerca a 0 los valores ) (x h se hacen cada vez ms
grandes positivos si 0 > x y cada vez ms grandes en valor absoluto pero negativos si
0 < x . Resumiendo, los valores ) (x h se hacen cada vez ms grandes a medida que x
se acerca a 0 . Diremos entonces que el lmite de ) (x h es simplemente (infinito)
=
x
lm
x
1
0
.
Observemos que
+ =
+
x
lm
x
1
0
y =
x
lm
x
1
0
.
Precisemos estas nuevas nociones.

25 Definiciones
En las siguientes definiciones R R f : debe estar definida de manera tal que tenga
sentido calcular el lmite. O sea, si se esta calculando el lmite cuando R x x
0
, f
debe estar definida en algn entorno abierto que contenga a
0
x salvo quizs en
0
x . Si se
est calculando el lmite cuando + x , f debe estar definida en algn intervalo de
la forma ) , ( + a . Etc.

1) l =
+
) (x f lm
x
sii < > > > l ) ( : 0 , 0 x f N x N .

2) l =

) (x f lm
x
sii < < > > l ) ( : 0 , 0 x f N x N .

3) + =
) (
0
x f lm
x x
sii M x f x x M > < < > > ) ( 0 : 0 , 0
0
.

4) =
) (
0
x f lm
x x
sii M x f x x M < < < > > ) ( 0 : 0 , 0
0
.

5) =
) (
0
x f lm
x x
sii M x f x x M > < < > > ) ( 0 : 0 , 0
0
.

6) + =
+
) (x f lm
x
sii M x f N x N M > > > > ) ( : 0 , 0 .

7) =
+
) (x f lm
x
sii M x f N x N M < > > > ) ( : 0 , 0 .


72
8) =
+
) (x f lm
x
sii M x f N x N M > > > > ) ( : 0 , 0 .

9) + =

) (x f lm
x
sii M x f N x N M > < > > ) ( : 0 , 0 .

10) =

) (x f lm
x
sii M x f N x N M < < > > ) ( : 0 , 0 .

11) =

) (x f lm
x
sii M x f N x N M > < > > ) ( : 0 , 0 .

12) Definiciones anlogas a 3), 4) y 5) para lmites laterales.
26 Ejemplos
1) =
+
) (
0
x ln lm
x
.
2) + =
+
) (x ln lm
x
.
3) + =
+
x
x
e lm .
4) 0 =

x
x
e lm .
5) 1 > a : =
+
) (
0
x log lm
a
x
, + =
+
) (x log lm
a
x
, + =
+
x
x
a lm y 0 =

x
x
a lm .
6) 1 0 < < a : + =
+
) (
0
x log lm
a
x
, =
+
) (x log lm
a
x
, 0 =
+
x
x
a lm y
+ =

x
x
a lm .
27 Observacin
Las propiedades de los lmites que hemos mencionado hasta ahora (lmite de la suma es
la suma de los lmites, lmite del producto es el producto de los lmites, etc.) slo son
validas para lmites finitos (nmeros) y dejan de ser vlidas en el caso que alguno de los
lmites sea + , o .
En algunos casos, pueden encontrarse leyes que permiten decidir el valor de un lmite.
Sin embargo, dado que la lista es muy extensa, se recomienda no memorizar las mismas.
Por el contrario, se sugiere analizar cada caso particular teniendo en cuenta que:
=
) (
0
x f lm
x x
, significa que los valores ) (x f son cada vez ms grandes en valor
absoluto.

73
0 ) (
0
=
x f lm
x x
, significa que los valores ) (x f son cada vez ms chicos.

0
) (
0

= R a x f lm
x x
, significa que los valores ) (x f son prcticamente a .
La siguiente proposicin hace mencin, en forma no exhaustiva, de alguna de esas leyes.
28 Proposicin
Las siguientes propiedades son vlidas considerando R x
0
o tambin reemplazando
0
x por + o . Asimismo son vlidas (en los casos que corresponda) para lmites
laterales.
Por otra parte, se deja a cargo del lector analizar propiedades anlogas en funcin del
signo del infinito cuando correspondiere.
Entre parntesis colocamos reglas mnemotcnicas, entendiendo que en ellas slo se trata
de valores de lmites de funciones y no nmeros. Bajo ningn punto de vista deben ser
consideradas igualdades numricas.

a) =
) (
0
x f lm
x x
, R a x g lm
x x
=
) (
0
( ) =
) ( ) (
0
x g x f lm
x x
.
( = a ).

b) =
) (
0
x f lm
x x
, =
) (
0
x g lm
x x
( ) =
) ( ) (
0
x g x f lm
x x
.
( = ).

c) =
) (
0
x f lm
x x
,
0
) (
0

= R a x g lm
x x
=
) ( ) (
0
x g x f lm
x x
.
( 0 a , = a ).

d) =
) (
0
x f lm
x x
, R a x g lm
x x
=
) (
0
=
) (
) (
0 x g
x f
lm
x x
y 0
) (
) (
0
=
x f
x g
lm
x x
.
|
.
|
\
|
=
0 ,
a
a
.

e)
0
) (
0

= R a x f lm
x x
, 0 ) (
0
=
x g lm
x x
=
) (
) (
0 x g
x f
lm
x x
.
|
.
|
\
|
=
0
, 0
a
a .


74
f) Si 0 ) ( x f ,
0
x x cerca de
0
x , entonces: = =

) (
1
0 ) (
0 0 x f
lm x f lm
x x x x
.
|
.
|
\
|
=
= 0
1
,
0
1
.

g) 1 , > a R a : a x f lm
x x
=
) (
0
, + =
) (
0
x g lm
x x
( ) + =
) (
) (
0
x g
x x
x f lm .
( ) + = >
+
a a , 1 .

h) 1 , > a R a : a x f lm
x x
=
) (
0
, =
) (
0
x g lm
x x
( ) 0 ) (
) (
0
=
x g
x x
x f lm .
( ) 0 , 1 = >

a a .

i) 1 0 , < < a R a : a x f lm
x x
=
) (
0
, + =
) (
0
x g lm
x x
( ) 0 ) (
) (
0
=
x g
x x
x f lm .
( ) 0 , 1 0 = < <
+
a a .

j) 1 0 , < < a R a : a x f lm
x x
=
) (
0
, =
) (
0
x g lm
x x
( ) + =
) (
) (
0
x g
x x
x f lm .
( ) + = < <

a a , 1 0 .

k) + =
) (
0
x f lm
x x
, + =
) (
0
x g lm
x x
( ) + =
) (
) (
0
x g
x x
x f lm .
( ) ( ) + = +
+
.

l) + =
) (
0
x f lm
x x
, =
) (
0
x g lm
x x
( ) 0 ) (
) (
0
=
x g
x x
x f lm .
( ) ( ) 0 = +

.

m) =
) (x f lm
a x
, R a x g lm
x x
=
) (
0
( ) =
) (x g f lm
a x
o .
( = a o ).

n) =
+
) (x f lm
x
, + =
) (
0
x g lm
x x
( ) =
+
) (x g f lm
x
o .
( ( ) = + o ).

...................Etc. ...............


75
29 Comentario (Indeterminaciones)
Existen algunos casos de lmites donde ninguna propiedad (de lmites finitos o infinitos)
nos permiten calcularlos (ejemplos distintos del mismo tipo dan resultados distintos).
Diremos que estamos en presencia de un lmite indeterminado, o simplemente de una
indeterminacin.
Para poder calcular este tipo de lmites debemos recurrir a algn tipo de manipuleo
algebraico para salvar la indeterminacin y poder luego aplicar alguna propiedad
conocida.
En lo que sigue
0
x es un nmero real, + o .
Los casos de indeterminacin son los siguientes:
1) Caso
|
.
|
\
|
0
0
. Ms precisamente.
Si 0 ) (
0
=
x f lm
x x
y 0 ) (
0
=
x g lm
x x
, entonces el
) (
) (
0 x g
x f
lm
x x
es indeterminado.
Por ejemplo.
a) Sean x x f = ) ( y x x g = ) ( .
Luego, 0 ) (
0
=
x f lm
x
y 0 ) (
0
=
x g lm
x
.
En este caso, dado que 0 x es 1 =
x
x
, resulta
1 1
0 0
= =
x x
lm
x
x
lm .
b) Sean x x f = ) ( y
2
) ( x x g = .
Luego, 0 ) (
0
=
x f lm
x
y 0 ) (
0
=
x g lm
x
.
En este caso, dado que 0 x es
x x
x 1
2
= , resulta
= =

x
lm
x
x
lm
x x
1
0
2
0
.

c) Sean
2
) ( x x f = y x x g = ) ( .
Luego, 0 ) (
0
=
x f lm
x
y 0 ) (
0
=
x g lm
x
.
En este caso, dado que 0 x es x
x
x
=
2
, resulta
0
0
2
0
= =

x lm
x
x
lm
x x
.


76
2) Caso
|
.
|
\
|
. Ms precisamente.
Si =
) (
0
x f lm
x x
y =
) (
0
x g lm
x x
, entonces el
) (
) (
0 x g
x f
lm
x x
es indeterminado.
Por ejemplo.
a) Sean x x f = ) ( y x x g = ) ( .
Luego, =
+
) (x f lm
x
y =
+
) (x g lm
x
.
En este caso, dado que para 0 x es 1 =
x
x
, resulta
1 1 = =
+ + x x
lm
x
x
lm .

b) Sean x x f = ) ( y
2
) ( x x g = .
Luego, =
+
) (x f lm
x
y =
+
) (x g lm
x
.
En este caso, dado que 0 x es
x x
x 1
2
= , resulta
0
1
2
= =
+ +
x
lm
x
x
lm
x x
.

c) Sean
2
) ( x x f = y x x g = ) ( .
Luego, =
+
) (x f lm
x
y =
+
) (x g lm
x
.
En este caso, dado que 0 x es x
x
x
=
2
, resulta
+ = =
+ +
x lm
x
x
lm
x x
2
.

3) Caso .
Ms precisamente.
Si =
) (
0
x f lm
x x
y =
) (
0
x g lm
x x
, entonces el ( ) ) ( ) (
0
x g x f lm
x x

es
indeterminado.

4) Caso 0 .
Ms precisamente.
Si 0 ) (
0
=
x f lm
x x
y =
) (
0
x g lm
x x
, entonces el ( ) ) ( ) (
0
x g x f lm
x x

es indeterminado.

77

5) Caso
0
0 .
Ms precisamente.
Si 0 ) (
0
=
x f lm
x x
y 0 ) (
0
=
x g lm
x x
, entonces el ( )
) (
) (
0
x g
x x
x f lm
es indeterminado.

6) Caso
0
.
Ms precisamente.
Si + =
) (
0
x f lm
x x
y 0 ) (
0
=
x g lm
x x
, entonces el ( )
) (
) (
0
x g
x x
x f lm
es indeterminado.

7) Caso
1 .
Ms precisamente.
Si 1 ) (
0
=
x f lm
x x
y =
) (
0
x g lm
x x
, entonces el ( )
) (
) (
0
x g
x x
x f lm
es indeterminado.

Resumiendo. Son indeterminaciones los casos
1 y , 0 , , 0 , ,
0
0
0 0
.

30 Observacin
Cuando se quiere calcular un lmite de la forma ( )
) (
) (
0
x g
x x
x f lm
muchas veces puede

llegar a dudarse (porque no se los recuerda con precisin) si se est o no en un caso de
indeterminacin.
El siguiente mtodo permite por un lado intentar el clculo del lmite y por otro lado
decidir si el lmite es indeterminado o no.
Supongamos que ( ) l =
) (
) (
0
x g
x x
x f lm (eventualmente + o ).
Teniendo en cuenta que las funciones ) (x ln y
x
e conmutan en todos los casos (finito o
infinito) con el lmite, resulta que
( ) ( ) ( ) ( ) ) ( ) ( ) ( ) ( ) (
0 0 0
) ( ) (
x f ln x g lm x f ln lm x f lm ln ln L
x x
x g
x x
x g
x x
= =
|
.
|
\
|
= =

l .

Luego, si ( ) ) ( ) (
0
x f ln x g lm
x x

es indeterminado ( 0 o 0 ) entonces es
indeterminado el lmite ( )
) (
) (
0
x g
x x
x f lm
.
Por otra parte, si ( ) L x f ln x g lm
x x
=
) ( ) (
0
, entonces ( )
L x g
x x
e x f lm = =
) (
) (
0
l .

78

Tener en cuenta que en el caso en que ( ) =
) ( ) (
0
x f ln x g lm
x x
es necesario precisar si
es + o dado que (ver 3) y 4) de 26) + =
+
e y en cambio 0 =
e .

31 Ejemplos
1) Calcular
2 3
x x lm
x

+
.
Dado que + =
+
3
x lm
x
y + =
+
2
x lm
x
estamos en presencia de una
indeterminacin del tipo .
Ahora bien, 0 x es
|
.
|
\
|
=
x
x x x
1
1
3 2 3
1.
Y como 0
1
=
+
x
lm
x
, resulta que 1
1
1 = |
.
|
\
|

+
x
lm
x
. 2.
Teniendo en cuenta que + =
+
3
x lm
x
, 1 y 2, resulta que
( ) ( ) + = + =
|
|
.
|
\
|
|
.
|
\
|
=
|
.
|
\
|
=
+ + + +
" " 3 3 2 3
1
1
1
1
1
x
lm x lm
x
x lm x x lm
x x x x
.

2) En general. Si ) (x f es una funcin polinmica
0 ) ( ,
0 1
2
2
1
1
+ + + + + =

n
n
n
n
n
a a x a x a x a x a x f L L ,
entonces

( ) ( )
n
n
x
n
n
n
n
x
x a lm a x a x a x a x a lm
+
+
= + + + + +
0 1
2
2
1
1
L L .
O sea,
( )
<
> +
= + + + + +

+
0
0
0 1
2
2
1
1
n
n n
n
n
n
x
a si
a si
a x a x a x a x a lm L L
y
( )
<
< +
> +
>
= + + + + +

impar es y 0
par es y 0
impar es y 0
par es y 0
0 1
2
2
1
1
n a si
n a si
n a si
n a si
a x a x a x a x a lm
n
n
n
n
n
n
n
n
x
L L .
En efecto:
0 x ,

79
|
.
|
\
|
+ + + + = + + + +
n n
n n
n n
n
n
n
x
a
x
a
x
a a x a x a x a x a
1 1 1
0
1
1 1 0 1
1
1
L L L L
1.
Luego, como 0
1
: , =
+
k
x
x
a lm N k R a resulta que
n
n n
n n
x
a
x
a
x
a
x
a a lm = |
.
|
\
|
+ + + +
+
1 1 1
0
1
1 1
L L 2.
+
n
x
x lm , 1 y 2, resulta que
( )
( )
( ) .
0
0
1 1 1
1 1 1
"
"
0
1
1 1
0
1
1 1
0 1
1
1
<
> +
= + =
= = =
=
|
|
.
|
\
|
|
.
|
\
|
+ + + + =
=
|
|
.
|
\
|
|
.
|
\
|
+ + + + =
= + + + +
+ +
+ +
+
n
n
n
n
n
x
n
x
n
n n
n n
x
n
x
n n
n n
n
x
n
n
n
n
x
a si
a si
a
x a lm x lm a
x
a
x
a
x
a a lm x lm
x
a
x
a
x
a a x lm
a x a x a x a lm
L L
L L
L L

Anlogamente si x , teniendo en cuenta que + =

n
x
x lm si n es par y
=

n
x
x lm si n es impar.

3) Calcular
4 3
1 2 2
2
2 3

+ +
+
x x
x x x
lm
x
.
Por 2), sabemos que ( ) + = + +
+
1 2 2
2 3
x x x lm
x
y ( ) + =
+
4 3
2
x x lm
x
.
Estamos en presencia de una indeterminacin del tipo
.
Ahora bien, 0 x es
|
.
|
\
|

|
.
|
\
|
+ +
=
|
.
|
\
|

|
.
|
\
|
+ +
=

+ +
2
3 2
2
2
3 2
3
2
2 3
4 1
3
1 2 1
2
4 1
3
1 2 1
2
4 3
1 2 2
x x
x x x
x
x x
x
x x x
x
x x
x x x
1.
Como 0
1
: , =
+
k
x
x
a lm N k R a resulta que

80
2
1 2 1
2
3 2
=
|
.
|
\
|
+ +
+
x x x
lm
x
2.
y
3
4 1
3
2
= |
.
|
\
|

+
x x
lm
x
3.
+
x lm
x
, 1, 2 y 3, resulta que
( )
( )
+ =
+
=
=
|
.
|
\
|

|
|
.
|
\
|
|
.
|
\
|
+ +
=
|
.
|
\
|

|
|
.
|
\
|
|
.
|
\
|
+ +
=
=
|
.
|
\
|

|
.
|
\
|
+ +
=

+ +
+
+ +
+
+
+ +
" "
2
3 2
2
3 2
2
3 2
2
2 3
3
2
4 1
3
1 2 1
2
4 1
3
1 2 1
2
4 1
3
1 2 1
2
4 3
1 2 2
x x
lm
x x x
lm x lm
x x
lm
x x x
x lm
x x
x x x
x
lm
x x
x x x
lm
x
x x
x
x
x x

4) Calcular
1 2 2
4 3
2 3
2
+ +

+
x x x
x x
lm
x
.
Como en 3), es una indeterminacin del tipo
.
Un anlisis similar al ejemplo 3) (observar que hemos invertido los polinomios del
numerador y del denominador) nos muestra que 0 x es
|
.
|
\
|
+ +
|
.
|
\
|

=
+ +

3 2
2
2 3
2
1 2 1
2
4 1
3
1 2 2
4 3
x x x
x
x x
x x x
x x
.
+
x lm
x
, resulta que

81
( )
( )
0
2
3
1 2 1
2
4 1
3
1 2 1
2
4 1
3
1 2 1
2
4 1
3
1 2 2
4 3
" "
3 2
2
3 2
2
3 2
2
2 3
2
=
+
=
=
|
|
.
|
\
|
|
.
|
\
|
+ +
|
.
|
\
|

=
|
|
.
|
\
|
|
.
|
\
|
+ +
|
.
|
\
|

=
=
|
.
|
\
|
+ +
|
.
|
\
|

=
+ +

+ +
+
+
+
+ +
x x x
lm x lm
x x
lm
x x x
x lm
x x
lm
x x x
x
x x
lm
x x x
x x
lm
x x
x
x
x
x x

5) Calcular
4 3
1 2 2
3
2 3

+ +
+
x x
x x x
lm
x
.
Tambin es una indeterminacin del tipo
.
0 x es
|
.
|
\
|

|
.
|
\
|
+ +
=
|
.
|
\
|

|
.
|
\
|
+ +
=

+ +
2
3 2
2
3
3 2
3
3
2 3
4 1
3
1 2 1
2
4 1
3
1 2 1
2
4 3
1 2 2
x x
x x x
x x
x
x x x
x
x x
x x x
.
Luego,
3
2
4 1
3
1 2 1
2
4 1
3
1 2 1
2
4 3
1 2 2
2
3 2
2
3 2
3
2 3
=
|
.
|
\
|

|
.
|
\
|
+ +
=
=
|
.
|
\
|

|
.
|
\
|
+ +
=

+ +
+
+
+ +
x x
lm
x x x
lm
x x
x x x
lm
x x
x x x
lm
x
x
x x

Observemos que el valor del lmite es el cociente de los coeficientes principales
(coeficientes que acompaan a la potencia de mayor grado).

6) En general. Si ) (x f y ) (x g son funciones polinmicas
0 ) ( ,
0 1
2
2
1
1
+ + + + + =

n
n
n
n
n
a a x a x a x a x a x f L L ,

82
0 ) ( ,
0 1
2
2
1
1
+ + + + + =

m
m
m
m
m
b b x b x b x b x b x g L L ,
entonces
=
>
>
=

m n si
b
a
n m si
m n si
x g
x f
lm
m
n
x
0
) (
) (
.
En el caso m n > el signo del depende de los signos de
n
a y
m
b . Si x el
signo del depende adems de la paridad de n y m.

7) Los ejemplos 5), 6) y 7) de 13 son indeterminaciones del tipo
0
0
.

32 Proposicin
1
) (
0
=
x
x sen
lm
x
.

Dem:
Estamos en un caso de indeterminacin del tipo
0
0
.
Probaremos primero que 1
) (
0
=
+
x
x sen
lm
x
.
Ahora bien, como estamos calculando el lmite cuando
+
0 x (y slo nos interesan
valores de x cerca de 0 ), podemos considerar que
2
0

< < x .

) sen(x
) (x tg
x

83
Observando la figura es claro que
2
0 :

< < x x resulta
) ( ) ( x tg x x sen < < .
O sea,
) (
) (
) (
x cos
x sen
x x sen < < 1.

Dado que 0 ) ( > x sen ,
2
0 :

< < x x , dividiendo 1 por ) (x sen obtenemos
) (
1
) (
1
x cos x sen
x
< < 2.

Dado que
2
0 :

< < x x es 0 > x , 0 ) ( > x sen y 0 ) ( > x cos resulta de 2 que

) (
) (
1 x cos
x
x sen
< < .

Por ltimo observemos que 1 1
0
=
+
x
lm y 1 ) (
0
=
+
x cos lm
x
.
Luego, por el Lema del Sndwich (6) para lmites laterales resulta que

1
) (
0
=
+
x
x sen
lm
x
) 1 ( .

Calculemos ahora el
x
x sen
lm
x
) (
0
.
Teniendo en cuenta que ) ( ) ( x sen x sen = (es impar) resulta que
x
x sen
lm
x
x sen
lm
x
x sen
lm
x x x

=

) ( ) ( ) (
0 0 0
.

Realizando el cambio de variables x y = resulta que
+
0 y (pues
0 x ). Luego,
1
) ( ) ( ) ( ) (
) 1 ( 0 0 0 0
= =
=
+

y
y sen
lm
x
x sen
lm
x
x sen
lm
x
x sen
lm
y x x x
) 2 ( .

Luego, de ) 1 ( , ) 2 ( y 22
1
) (
0
=
x
x sen
lm
x
.


84
33 Ejemplos
1) 1
) (
0
=
x
x tg
lm
x
.
En efecto:
0
0
.
Dado que
) (
1 ) (
) (
) ( ) (
) (
) (
x cos x
x sen
x cos x
x sen
x
x cos
x sen
x
x tg
=
= =
resulta por 32 que
1 1 1
) (
1 ) (
) (
1 ) ( ) (
0 0 0 0
= =
|
|
.
|
\
|
|
.
|
\
|
=
|
|
.
|
\
|
=

x cos
lm
x
x sen
lm
x cos x
x sen
lm
x
x tg
lm
x x x x
.

2) 1
1
= |
.
|
\
|
+ x
sen x lm
x
.
En efecto:
Dado que 0
1
=
+ x
lm
x
, estamos en un caso de indeterminacin del tipo 0 .
Realizando el cambio de variable
x
y
1
= y teniendo en cuenta que 0 y (pues
+ x ). Resulta por 32 que
1
) (
) (
1
1
0 0
= = = |
.
|
\
|
+
y
y sen
lm y sen
y
lm
x
sen x lm
y y x
.

3) Calcular
x
x sen
lm
x
3
) 2 (
0
.
0
0
.
Ahora bien,
x
x sen
lm
x
x sen
lm
x
x sen
lm
x x x
2
) 2 (
3
2
3 2
) 2 ( 2
3
) 2 (
0 0 0
=
= .

Realizando el cambio de variable x y 2 = en el ltimo lmite y teniendo en cuenta
que 0 y (pues 0 x ) resulta por 32 que
3
2
1
3
2 ) (
3
2
2
) 2 (
3
2
3
) 2 (
0 0 0
= = = =

y
y sen
lm
x
x sen
lm
x
x sen
lm
y x x
.

85

4) Calcular
2 2
) 1 (
1

x
x sen
lm
x
.
0
0
.
Ahora bien,
( ) ( ) 1
) 1 (
2
1
1 2
) 1 (
2 2
) 1 (
1 1 1

x
x sen
lm
x
x sen
lm
x
x sen
lm
x x x
.

Realizando el cambio de variable 1 = x y en el ltimo lmite y teniendo en cuenta
que 0 y (pues 1 x ) resulta por 32 que
( ) ( ) 2
1
1
2
1 ) (
2
1
1
) 1 (
2
1
2 2
) 1 (
0 1 1
= = =

y
y sen
lm
x
x sen
lm
x
x sen
lm
y x x
.

La siguiente proposicin generaliza la proposicin 32 y nos evitar tener que realizar
cambios de variable en este tipo de casos.

34 Proposicin
Sea R R f : tal que 0 ) (
0
=
x f lm
x x
. Entonces
1
) (
)) ( (
0
=
x f
x f sen
lm
x x
.
(El resultado sigue siendo vlido reemplazando
0
x por
+
0
x ,
0
x , + o ).
35 Observaciones
1) Observar que en 34,
0
x no tiene por que ser 0 como en 32, pero es esencial la
condicin de que 0 ) (
0
=
x f lm
x x
.

2) Los ejemplos 2), 3) y 4) de 33 pueden resolverse utilizando 34.
Por ejemplo, para calcular
2 2
) 1 (
1

x
x sen
lm
x
basta observar como antes que

( ) ( ) 1
) 1 (
2
1
1 2
) 1 (
2 2
) 1 (
x
x sen
x
x sen
x
x sen
.


86
Luego, si se considera 1 ) ( = x x f , resulta que 0 ) (
1
=
x f lm
x
.
Utilizando 34 se concluye que 1
1
) 1 (
1
=
x
x sen
lm
x
.
Por ltimo, aplicando la propiedad del lmite de un producto (c) de 8) se obtiene que

( ) 2
1
1
2
1
1
) 1 (
2
1
2 2
) 1 (
1 1
= =

x
x sen
lm
x
x sen
lm
x x
.

36 Proposicin
a) e
x
lm
x
x
=
|
.
|
\
|
+
+
1
1 .
b) Si =
) (
0
x f lm
x x
, entonces e
x f
lm
x f
x x
=
|
|
.
|
\
|
+
) (
) (
1
1
0
.
(El resultado sigue siendo vlido reemplazando
0
x por
+
0
x ,
0
x , + o ).

37 Ejemplos
1) Calcular
x
x
x
lm
|
.
|
\
|
+
+
2
1
1 .
1 .
Es claro que
2
1
2
2
1
2
2
1
1
2
1
1
2
1
1
(
(
|
.
|
\
|
+ =
|
.
|
\
|
+ =
|
.
|
\
|
+
x x x
x x x
.
Luego, utilizando b) de 36 y g) de 8
.
2
1
1
2
1
1
2
1
1
2
1 2
1
2
2
1
2
e
x
lm
x
lm
x
lm
x
lm
x
x
x
x
x
x
=
(
(
|
.
|
\
|
+ =
=
(
(
|
.
|
\
|
+ =
|
.
|
\
|
+
+
+
+ +


87
2) Calcular
x
x
x
x
lm
|
.
|
\
|
+
+
1
1
.
1 .
Ahora bien, operando algebraicamente, resulta que

( ) ( )
.
2
1
1
1
2
1
1
1
2
1
1
1
2
1
1
1
1
2
1
1
1 1
1 1
1
1
1
1
1
1
2
2
1
1
2
2
1
1
2
2
1
|
.
|
\
|
+
|
.
|
\
|
+
|
.
|
\
|
+
|
.
|
\
|
+
|
.
|
\
|
+
|
.
|
\
|
+
(
(
(
(
(
(
|
|
|
|
.
|
\
|
|
.
|
\
|
+
+ =
(
(
(
(
(
(
|
|
|
|
.
|
\
|
|
.
|
\
|
+
+ =
=
|
|
|
|
.
|
\
|
|
.
|
\
|
+
+ =
|
|
|
|
.
|
\
|
|
.
|
\
|
+
+ =
|
.
|
\
|
+
+ =
=
|
.
|
\
|
+
+
+ =
|
.
|
\
|

+
+ =
|
.
|
\
|
+
x
x
x
x
x
x
x
x
x
x
x
x x x
x x
x x x
x
x x
x
x
x
x

Como =
+
+
2
1 x
lm
x
, aplicando b) de 36 con
2
1
) (
+
=
x
x f se obtiene que
e
x
lm
x
x
=
(
(
(
(
(
(
|
|
|
|
.
|
\
|
|
.
|
\
|
+
+
|
.
|
\
|
+
+
2
1
2
1
1
1 .


88
Luego, como por 6) de 31 es 2
1
2
=
+
+
x
x
lm
x
, por g) de 8 resulta que

.
2
1
1
1
2
1
1
1
1
1
2
1
2
2
1
1
2
2
1
|
.
|
\
|
+
|
.
|
\
|
+
+
|
.
|
\
|
+
|
.
|
\
|
+
+ +
=
(
(
(
(
(
(
|
|
|
|
.
|
\
|
|
.
|
\
|
+
+ =
=
(
(
(
(
(
(
|
|
|
|
.
|
\
|
|
.
|
\
|
+
+ = |
.
|
\
|
+
+
e
x
lm
x
lm
x
x
lm
x
x
lm
x
x
x
x
x
x
x
x
x

3) ( ) e x lm
x
x
= +
|
.
|
\
|
1
1
0
.
En efecto:
1 .
Operando
( )
|
.
|
\
|
|
|
|
|
.
|
\
|
|
.
|
\
|
+ = +
|
|
.
|
\
|
x
x
x
x
1
1
1
1 1
1

Como =
x
lm
x
1
0
, aplicando b) de 36 con
x
x f
1
) ( = resulta que
( ) e
x
lm x lm
x
x x
x
=
|
|
|
|
.
|
\
|
|
.
|
\
|
+ = +
|
.
|
\
|

|
|
.
|
\
|
1
0 0
1
1
1 1
1
.


89
4)
( )
1
1
0
=
+
x
x ln
lm
x
.
En efecto:
0
0
.
Operando
( )
( ) ( )
(
(
+ = + =
+
|
|
.
|
\
|
x
x ln x ln
x x
x ln
1
1 1
1 1
.

Luego, como ln conmuta con el lmite, por el ejemplo 3) resulta que
( )
( ) ( ) 1 ) ( 1 1
1
1 1
0 0 0
= =
(
(
|
|
.
|
\
|
+ =
(
(
+ =
+
|
|
.
|
\
|
|
|
.
|
\
|

e ln x lm ln x ln lm
x
x ln
lm
x x
x x x
.
5) 1
1
0
=
x
e
lm
x
x
.
En efecto:
0
0
.
Realizamos el cambio de variables 1 =
x
e t .
Luego,
) 1 ( 1 1 + = + = = t ln x t e e t
x x
.

Teniendo en cuenta que 0 t (pues 0 x ) y utilizando d) de 8 y el ejemplo 4),
resulta que
1
1
1
) 1 (
1
) 1 (
1
) 1 (
1
0
0
0 0 0
= =
|
.
|
\
| +
=
|
.
|
\
| +
=
+
=

t
t ln
lm
lm
t
t ln
lm
t ln
t
lm
x
e
lm
t
t
t t
x
x
.
38 Proposicin
Sean
0 >
R y ) (x P un polinomio. Entonces,
a) =
+

x
e
lm
x
x
. Ms an, =
+
) (x P
e
lm
x
x
.
b) 0 =
+
x
x
e
x
lm

. Ms an, 0
) (
=
+
x
x
e
x P
lm .
(Cuando + x , la exponencial tiende ms rpido a que los polinomios).

90
c) 0
) (
=
+

x
x ln
lm
x
. Ms an, 0
) (
) (
=
+
x P
x ln
lm
x
.
d) =
+
) (x ln
x
lm
x
. Ms an, =
+
) (
) (
x ln
x P
lm
x
.
(Cuando + x , el logaritmo natural tiende ms despacio a que los polinomios).

39 Comentario
Consideremos la funcin R R f : definida por
=
Q x si
Q x si
x f
0
1
) ( .
Dado que entre dos nmeros reales cualesquiera siempre existe un nmero racional y
tambin un nmero irracional, es claro que es imposible graficar esta funcin.
Este ejemplo muestra que no toda funcin es graficable.
Por esta razn, muchas nociones intuitivas que surgen geomtricamente a partir de la
observacin del grfico de una funcin (como por ejemplo la de lmite) deben ser
definidas analticamente con la rigurosidad matemtica necesaria.
Sin embargo, podemos coincidir en que funciones como la definida no son demasiado
normales. Las funciones intuitivamente normales son las que llamaremos continuas.
Desde un punto de vista histrico y geomtrico las funciones continuas son aquellas
funciones cuyo grfico puede realizarse con un trazo continuo, es decir, que pueden
graficarse sin levantar el lpiz. Esto es, aquellas funciones f cuyo grfico no pega
saltos ni tiene agujeros. Es claro que este tipo de cosas (repasar ejemplos anteriores)
slo suceden en aquellos puntos
0
x que verifican alguna de las siguientes tres
condiciones:
) (
0
f Dom x ,
) (
0
x f lm
x x
/ o bien =
) (
0
x f lm
x x
,
R x f lm
x x

) (
0
pero ) ( ) (
0
0
x f x f lm
x x

.
Estamos en condiciones de pasar a definir el concepto de continuidad.

91
40 Definicin
Sea R R f : definida en un intervalo abierto ( ) b a, y sea ( ) b a x ,
0
.
Se dice que f es continua en
0
x sii se verifican simultneamente las siguientes tres
condiciones:
a) ) (
0
f Dom x ( ) ) (
0
x f .
b) ) (
0
x f lm
x x
y es finito ( ) R .
c) ) ( ) (
0
0
x f x f lm
x x
=
.

41 Definicin
Sea R R f : . Se dice que f es continua en R A si f es continua en
0
x ,
A x
0
.

42 Definicin
Sea R R f : y sea R x
0
.
Se dice que
0
x es un punto de discontinuidad de f , o bien que f es discontinua en
0
x sii f no es continua en
0
x . O sea, si, por lo menos, alguna de las tres condiciones
(a), b) o c)) de 40 no se satisface.

Los puntos de discontinuidad se clasifican en dos clases.
Se dice que
0
x es un punto de discontinuidad evitable de f , sii se verifica b) de 40
(pero no se verifica a) o c)). Es decir, si ) (
0
x f lm
x x
y es finito.

Se dice que
0
x es un punto de discontinuidad esencial o inevitable de f , sii no se
verifica b) de 40. Es decir, si ) (
0
x f lm
x x
/ o bien =
) (
0
x f lm
x x
.


92
43 Observaciones
0
.
1) Teniendo en cuenta la definicin de lmite de una funcin (2) resulta que
f es continua en ) (
0
f Dom x s y slo si
Cualquiera sea 0 > , existe 0 > ( ) ( = ) tal que si <
0
x x entonces
< ) ( ) (
0
x f x f .

2) Si
0
x es un punto de discontinuidad evitable de f , dado que ) (
0
x f lm
x x
y es
finito, es posible redefinir la funcin en
0
x (modificar el valor asignado a
0
x o bien
asignarle algn valor en el caso que ) (
0
f Dom x ) para convertirla en continua de
la siguiente manera:
Sea R R f :
~
definida por
0
0
) (
) (
) (
~
0
x x si x f lm
x x si x f
x f
x x
.
Luego f
~
es continua en
0
x .
(Notar que ) ( ) (
~
,
0
x f x f x x = . Sin embargo f f
~
).

3) Si
0
x es un punto de discontinuidad esencial o inevitable de f , dado que
) (
0
x f lm
x x
/ o bien =
) (
0
x f lm
x x
, es imposible redefinir la funcin en
0
x para
convertirla en continua (no hay manera de asignarle a
0
x algn valor para que se
pegue bien).

4) Son funciones continuas en todo su dominio:
Las funciones polinmicas.
Las funciones trigonomtricas ( ) (x sen , ) (x cos , ) (x tg , ) (x sec , ) (x cosec ,
) (x cotg ).
Las funciones exponenciales (
x
a , con 1 , 0 > a a ). En particular
x
e .
Las funciones logartmicas ( ) ( log x
a
, con 1 , 0 > a a ). En particular ) (x ln .


93
44 Ejemplos
1) R R f : definida por
=
1 1
1 2
) (
x si
x si x
x f .

Luego, f es continua en ( ) ( ) + , 1 1 , pues 1 , 2 ) ( = x x x f y los
polinomios son continuos.
Estudiemos la continuidad en 1 = x .
a) R f Dom = ) ( 1 ( 1 ) 1 ( = f ).
b) R x lm x f lm
x x
= =

2 2 ) (
1 1
.
c) ) 1 ( 1 2 ) (
1
f x f lm
x
= =
.
Luego, como no se verifica c) de 40, f es discontinua en 1.
Por otra parte, como s se verifica b) de 40, 1 es un punto de discontinuidad evitable.
(Observar que si se considera x x f 2 ) (
~
= , resulta que f
~
es continua en 1 = x , y por
lo tanto en R . Tener en claro que ) ( ) (
~
, 1 x f x f x = pero f f
~
).

<
=
1
1
) (
2
x si x
x si x
x f .
(Ver el ejemplo 1) de 21).

Luego,
f es continua en ( ) 1 , pues 1 , ) (
2
< = x x x f y los polinomios son funciones
continuas. 1
f es continua en ( ) + , 1 pues 1 , ) ( > = x x x f y los polinomios son funciones
continuas. 2

1
2
1
0
) ( f Gr

94
a) R f Dom = ) ( 1 .
b) R x f lm
x
=
1 ) (
1
pues
1 ) (
1 1
= =
+ +

x lm x f lm
x x
y 1 ) (
2
1 1
= =

x lm x f lm
x x
.
(Los lmites laterales existen y son iguales).
c) ) 1 ( 1 ) (
1
f x f lm
x
= =
.
Luego, f es continua en 1 = x . 3
De 1, 2 y 3, f es continua en R .

<
+
=
1
1 1
) (
2
x si x
x si x
x f .
(Ver el ejemplo 2) de 21).
Luego,
f es continua en ( ) 1 , pues 1 , ) (
2
< = x x x f y los polinomios son continuos.
f es continua en ( ) + , 1 pues 1 , 1 ) ( > + = x x x f y los polinomios son
continuos.
a) R f Dom = ) ( 1 .
b) ) (
1
x f lm
x
/ pues
2 1 ) (
1 1
= + =
+ +

x lm x f lm
x x
y 1 ) (
2
1 1
= =

x lm x f lm
x x
.
(Los lmites laterales existen pero son distintos).
Luego, como no se verifica b) de 40, f es discontinua en 1. Ms an, 1 es un punto
de discontinuidad esencial o inevitable.
45 Proposicin (Propiedades de las funciones continuas)
3

Sean R R g f : , continuas en
0
x . Entonces
1) g f es continua en
0
x .
2) g f es continua en
0
x .
3) Si 0 ) (
0
x g ,
g
f
es continua en
0
x .

3
Dado que la nocin de continuidad es en esencia la existencia de un lmite finito, estas propiedades
se deducen inmediatamente de la proposicin 8.

95

46 Proposicin
(ver Nota al Pie N 3 en pgina 94)

Sean R R g f : , .
Si f es continua en
0
x y g es continua en ) (
0
x f , entonces f g o es continua en
0
x .

47 Definicin
Sea R R f : definida en ] , (
0
x a .
Se dice que f es continua por la izquierda en
0
x sii se verifican simultneamente las
siguientes tres condiciones:
a) ) (
0
f Dom x ( ) ) (
0
x f .
b) ) (
0
x f lm
x x

y es finito ( ) R .
c) ) ( ) (
0
0
x f x f lm
x x
=
.

48 Definicin
Sea R R f : definida en ) , [
0
b x .
Se dice que f es continua por la derecha en
0
x sii se verifican simultneamente las
siguientes tres condiciones:
a) ) (
0
f Dom x ( ) ) (
0
x f .
b) ) (
0
x f lm
x x
+
y es finito ( ) R .
c) ) ( ) (
0
0
x f x f lm
x x
=
+
.

49 Proposicin
Sea R R f : definida en ( ) b a, y sea ( ) b a x ,
0
. Entonces
f es continua en
0
x f es continua por la derecha y por la izquierda en
0
x .


96
50 Ejemplos
1) La funcin del ejemplo 1) de 44 no es continua ni por la izquierda ni por la derecha
en 1 = x .

2) La funcin del ejemplo 2) de 44 es continua por la izquierda y por la derecha en
1 = x .

3) La funcin del ejemplo 3) de 44 no es continua por la izquierda pero s por la
derecha en 1 = x .

4) La funcin signo ( ) (x sg ) definida en 33 de la seccin Funciones no es continua
ni por la izquierda ni por la derecha en 0 = x .

( )
( )
( )
( )
<
<
+

<
+
+
=
x si e
x si
x
x
x si
x si
x
x x cos
x f
x
2
2 1
3
2
2
1 1
2
1
1
1
1
) (
2
1
2
2
2 2
.

Analicemos la continuidad de f en R .
En ) 1 , ( :
1 < x es
( )
( )
2
2 2
1
1
) (
+
+
=
x
x x cos
x f .
Por 4) de 43, 1) de 45 y 46, resulta que ( ) 1
2 2
+ x x cos y ( )
2
1 + x son funciones
continuas.
Luego, dado que ( ) 1 , 0 1
2
< + x x , resulta, por 3) de 45, que f es continua en
) 1 , ( . 1

En ) 1 , 1 ( :
1 1 < < x es
2
1
) ( = x f .

97
Luego, por ser una funcin constante (por lo tanto un polinomio), resulta, por 4) de
43, que f es continua en ) 1 , 1 ( . 2

En ) 2 , 1 ( :
2 1 < < x es
( )
3
2
2 ) (
2
+
=
x
x
x f .
Teniendo en cuenta 4) de 43, 45, 46 y que ) 2 , 1 ( , 0 3 + x x , resulta que f es
continua en ) 2 , 1 ( . 3

En ) , 2 ( + :
2 > x es
( ) x
e x f

=
2
1
) ( .
Nuevamente, teniendo en cuenta 4) de 43, 45, 46 y que 2 , 0 2 > x x , resulta
que f es continua en ) , 2 ( + . 4

Resta analizar la continuidad de f en 2 y 1 , 1 = x .
Por ser R f Dom = ) ( , slo basta verificar las condiciones b) y c) de 40.
Por otra parte, dado que f cambia de expresin en cada uno de esos puntos, para
estudiar la existencia o no del lmite, nos vemos obligados a estudiar los lmites
laterales.

En 1 = x :
2
1
2
1
) (
1 1
= =
+ +
x x
lm x f lm . 5

( )
( )
2
2 2
1 1
1
1
) (
+
+
=

x
x x cos
lm x f lm
x x
(indeterminacin del tipo
0
0
).

Ahora bien, recordando que R x x cos x sen = + , 1 ) ( ) (
2 2
, resulta que

( ) ( ) x x sen x x cos + = +
2 2 2
1 .

98
Luego,
( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
.
1
1
1
1
1 1 1
1
2
2
1
2
2
2 2
2
2
2
2
2
2
2
2
2
2
2 2
x x
x x sen
x
x
x x
x x sen
x
x x
x x
x x sen
x
x x
x x
x x
x
x x sen
x
x x sen
x
x x cos
x
+
+
+
=
=
+
+
+
+
=
+
+
+
+
=
=
+
+
+
+
=
+
+
=
+
+

Ahora bien, como 0
1
2

+
x
x x , resulta, por 34, que
( )
( )
1
2
2
1
=
+
+

x x
x x sen
lm
x
.
Por otra parte,
=
+

1
1
x
x
lm
x
.
Luego,
( )
( )
( )
( )
( )
=
(
+
+
+
=
+
+
=

x x
x x sen
x
x
lm
x
x x cos
lm x f lm
x x x
2
2
1
2
2 2
1 1
1
1
1
) ( . 6

De 5 y 6, ) (
1
x f lm
x
/ . Luego, f no es continua en 1 = x . Ms an, 1 es un
punto de discontinuidad esencial de f . 7

En 1 = x :
2
1
2
1
) (
1 1
= =

x x
lm x f lm .

( )
2
1
3
2
2 ) (
2
1 1
=
+
=
+ +

x
x
lm x f lm
x x
.
Luego,
) 1 (
2
1
) (
1
f x f lm
x
= =
.


99
En 2 = x :
( )
0
3
2
2 ) (
2
2 2
=
+
=

x
x
lm x f lm
x x
.

Teniendo en cuenta que 0 2 < x , cuando
+
2 x , resulta, por 4) de 26, que
( )
0 ) (
2
1
2 2
= =

+ +
x
x x
e lm x f lm .
Luego,
) 2 ( 0 ) (
2
f x f lm
x
= =
.

Resumiendo, de 1, 2, 3, 4, 7, 8 y 9 resulta que
f es continua en { } ) , 1 ( ) 1 , ( 1 + = R y 1 es un punto de
discontinuidad esencial.

>
+
=
<
=
3
3
12
3 2
3
3
)) 3 ( (
) (
2
x si
x
x x
x si b
x si
x
x a sen
x f .

Analicemos la continuidad de f en funcin de los parmetros a y b .

En ) 3 , ( :
3 < x es
3
)) 3 ( (
) (
=
x
x a sen
x f .
Teniendo en cuenta 4) de 43, 45, 46 y que 3 , 0 3 < x x , resulta que f es
continua en ) 3 , ( cualesquiera sean R b a , . 1

En ) , 3 ( + :
3 < x es
3
12
) (
2
+
=
x
x x
x f .
Teniendo en cuenta 4) de 43, 45, 46 y que 3 , 0 3 > x x , resulta que f es
continua en ) , 3 ( + cualesquiera sean R b a , . 2


100
En 3 = x :
Dado que R f Dom = ) ( , slo basta verificar las condiciones b) y c) de 40.
Analicemos los lmites laterales. Es claro que ambos son indeterminaciones del tipo
0
0
.
Operando algebraicamente,
( ) ( ) 3
)) 3 ( sen(
3
)) 3 ( sen(
3
)) 3 ( sen(
0

=

=
x a
x a
a
x a
x a a
x
x a
a
.

Dado que 0 ) 3 (
3

x
x a , resulta, por 34, que ( 0 a )
( ) ( )
a
x a
x a
lm a
x a
x a
a lm
x
x a
lm x f lm
x x
x x
=

=

=
=

=

3
)) 3 ( sen(
3
)) 3 ( sen(
3
)) 3 ( sen(
) (
3 3
3 3
. 3

Por otro lado,
( ) ( )
4
3
4 3
3
12
3
2
+ =
+
=
x
x
x x
x
x x
x
.
Luego,
( ) 7 4
3
12
) (
3
2
3 3
= + =
+
=
+ + +

x lm
x
x x
lm x f lm
x x x
. 4

De 3 y 4, para que se verifique b) de 40, debe ser
7 = a . 5
En ese caso,
7 ) (
3
= =
a x f lm
x
.

para que se verifique c) de 40, debe ser
) 3 ( 2 7 ) (
3
f b x f lm
x
= = =
,
de donde,
2
7
= b . 6

Por ltimo, observemos que si 0 = a es 3 , 0 ) ( < = x x f . Luego, 0 ) (
3
=
x f lm
x

y, por 4, ) (
3
x f lm
x
/ . 7


101
Luego, por 5, 6 y 7
f es continua en R 7 = a y
2
7
= b .

Si 7 a , 3 = x es un punto de discontinuidad esencial de f .
Si 7 = a y
2
7
b , 3 = x es un punto de discontinuidad evitable de f .

51 Observacin
Que R R f : sea continua en un intervalo cerrado ] , [ b a significa que:
f es continua en ) , ( b a (segn la definicin 40).
f es continua por la derecha en a (segn la definicin 48).
f es continua por la izquierda en b (segn la definicin 47).
52 Definiciones
0
.
1) Se dice que
0
x es un mximo local o relativo de f sii
x x f x f ), ( ) (
0
cerca de
0
x .

2) Se dice que
0
x es un mnimo local o relativo de f sii
x x f x f ), ( ) (
0
cerca de
0
x .

3) Se dice que
0
x es un mximo global o absoluto de f sii
) ( ), ( ) (
0
f Dom x x f x f .

4) Se dice que
0
x es un mnimo global o absoluto de f sii
) ( ), ( ) (
0
f Dom x x f x f .

Donde por cerca de
0
x significa que 0 > tal que la propiedad es vlida para
valores ( ) +
0 0
, x x x .

102
Con ms precisin debera decirse que f alcanza un mximo (mnimo) en
0
x . El valor
mximo (mnimo) de f es ) (
0
x f y no
0
x .

(
5 3 1
y , x x x son mximos locales;
6 4 2
y , x x x son mnimos locales;
3
x es mximo
global y
4
x es mnimo global).

53 Teorema
Sea R R f : continua en un intervalo cerrado ] , [ b a . Entonces
1) f es acotada en ] , [ b a .
2) f alcanza un mximo global y un mnimo global en ] , [ b a .

3
x
1
x
2
x
4
x
5
x
6
x
b
M
m
a
Mnimo
global
Mximo
global
b
M
m
a
Mnimo
global
Mximo
global

103
54 Teorema (de Bolzano)
4

Sea R R f : continua en un intervalo cerrado ] , [ b a tal que 0 ) ( > a f y 0 ) ( < b f
(o viceversa). Entonces existe ) , ( b a c tal que 0 ) ( = c f ( c es una raz de f ).

55 Teorema (del valor intermedio)
4

Sea R R f : continua en un intervalo cerrado ] , [ b a tal que ) ( ) ( b f a f <
( ) ( ) ( b f a f > ).
Si ( ) ) ( ), ( b f a f d ( ) ( ) ) ( ), ( a f b f d , existe entonces ) , ( b a c tal que d c f = ) ( .

4
El Teorema asegura que existe un ) , ( b a c , puede haber otro o no, pero no dice como encontrarlo.
d
) (b f
) (a f
a
b
c
0
b
a
c

104
56 Aplicaciones (del Teorema de Bolzano)
1) Como consecuencia del Teorema de Bolzano (54), existe un mtodo para calcular,
de manera aproximada, races de una funcin continua (por ejemplo polinomios).
Dada R R f : continua, el mtodo (algoritmo) para hallar una raz r de f ,
denominado de biparticin, consiste en los siguientes pasos:

a) Hallar dos nmeros x
1
y x
2
, (lo suficientemente cercanos para que el proceso
sea ms corto), que verifiquen f x ( )
1
0 < y f x ( )
2
0 > (o viceversa).
b) Calcular el nmero medio entre x
1
y x
2
, x
x x
3
1 2
2
=
+
y calcular f x ( )
3
.
c) Si f x ( )
3
0 < , cambiar x
1
por x
3
y volver a realizar el paso b).
d) Si f x ( )
3
0 > , cambiar x
2
por x
3
y volver a realizar el paso b).
e) Realizar tantos pasos como hagan falta para que la aproximacin sea buena.

Observar que cada vez que se reitera el paso b) la distancia entre los valores x
1
y x
2

se reduce a la mitad y, por lo tanto, como la raz r siempre est en el medio de
dichos valores, luego de un nmero n de pasos, la distancia entre r y el ltimo x
3

es menor que la distancia entre los valores x
1
y x
2
originales dividida por
n
2
(Pensarlo!). El ltimo valor x
3
obtenido ser una buena aproximacin de la raz r
buscada, tanto mejor como ms grande sea la cantidad de pasos n realizados.

2) Otra consecuencia importante del teorema de Bolzano (54) es que nos brinda una
herramienta muy poderosa para calcular los conjuntos de positividad y negatividad
de una funcin continua.
Si r y r r r
1 2 1 2
( ) < son dos races consecutivas de una funcin continua f
)) r , r ( , 0 ) ( (
2 1
x x f resulta que, si calculamos f c ( ) para algn valor c entre
r y r
1 2
( ) r r
2 1
< < c , entonces:
si f c f x x ( ) ( ) , ( , ) > > 0 0
1
r r
2
,
si f c f x x ( ) ( ) , ( , ) < < 0 0
1
r r
2
.

En efecto:
Si f c ( ) > 0 y existiera d ( , ) r r
2 1
con f d ( ) < 0, por el teorema de Bolzano,
debera existir una raz entre c d y , o sea, una raz entre r y r
1 2
y esto contradice el
hecho que habamos supuesto de que r y r
1 2
son dos races consecutivas.
(Anlogamente si f c ( ) < 0 ).


105
3) Todo polinomio de grado impar tiene, por lo menos, una raz real.
En efecto:
Sea R R f : una funcin polinmica de grado impar, o sea
0 ) ( ,
0 1
2
2
1
1
+ + + + + =

n
n
n
n
n
a a x a x a x a x a x f L L , con n impar.
Por 2) de 31, resulta que ( n es impar)

<
> +
=
+
0
0
) (
n
n
x
a si
a si
x f lm y
< +
>
=

0
0
) (
n
n
x
a si
a si
x f lm .

Luego, deben existir a y R b tales que ) (a f y ) (b f tienen signos opuestos.
Luego, por el teorema de Bolzano (54), debe existir ) , ( b a c o ) , ( a b tal que c
es una raz de f .

4) La ecuacin ( ) 0 15 ) ( 15
2
= + x sen cos x
x
tiene, por lo menos, una solucin en
R .
En efecto:
Sea R R f : definida por ( ) 15 ) ( 15 ) (
2
+ = x sen cos x x f
x
.
Ahora bien,
0 15 ) 0 ( < = f ,
y
( ) 0
4
2
2
2
2 2
> = =

f .

Luego, como f es continua en R , y por lo tanto en [ ]
2
, 0

, por el Teorema de
Bolzano (54), existe ( )
2
, 0

c tal que 0 ) ( = c f .

Notas de Matemtica para el Primer Ciclo Universitario
1- Funciones de una variable. Lmite y continuidad

Coleccin: Universidad y Educacin
Serie: Material Didctico N 8.I

Produccin general: Instituto de Ciencias - UNGS
Diseo y diagramacin: Departamento de Publicaciones - UNGS

Datos Bibliogrficos:
Autores: C. Schifini
Cant. de pginas: 108, 19x26 cm
Lugar de publicacin: Los Polvorines, Bs. As., AR
Fecha de publicacin: Marzo de 2001- 20010300
Editor responsable: Universidad Nacional de General Sarmiento
ISBN: 987-9300-39-4
Descriptores: <MATEMTICA> <FUNCIONES> <ANLISIS DE FUNCIONES>
<LMITES Y CONTINUIDAD>

Funciones de Una Sola Variable. Límite y Continuidad

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Funciones de Una Sola Variable. Límite y Continuidad

Uploaded by

Copyright:

Available Formats

UNIVERSIDAD NACIONAL DE GENERAL SARMIENTO

es el conjunto de puntos donde el

arccos cos (arcocoseno) y

muchas veces puede

You might also like