Captulo 5

Calculo elemental de lmites. . .

Vamos a dedicar este captulo a tratar de mejorar nuestra relacion con los lmites, desarrollando el
metodo que ya hemos anunciado, que nos permitira calcular el lmite y demostrar a la vez que ese calculo
es correcto. Este captulo es necesaria e inevitablemente tecnico. Pero no parece haber alternativa: si
queremos ser capaces de calcular derivadas, necesitamos este lenguaje y estos resultados. Animamos al
lector a que tenga paciencia, con la promesa de que el esfuerzo tendra su recompensa en posteriores
captulos.

5.1. Operaciones elementales con lmites

La idea es facil de entender. La mayora de las funciones que encontraremos se construyen haciendo
operaciones a partir de funciones elementales.

Ejemplo 5.1.1. Consideremos una funcion, tal como:

3x2 + sen x
f (x) =
x3 cos ln x

Esta funcion puede obtenerse a partir de varias piezas mas sencillas, funciones elementales como son

x, sen x, cos x, ln x

Y esas funciones sencillas se combinan mediante operaciones. Por ejemplo, en el numerador, 3x2 se
obtiene de x con la operacion de multiplicacion as:

3x2 = 3 x x

Y a partir de 3x2 y sen x el numerador se obtiene con la operacion suma.

Lo que queremos hacer es estudiar como se comportan los lmites cuando las funciones se combinan
mediante esas operaciones, el producto, la suma, el cociente, la composicion, etc.Y ademas tendremos que
estudiar como se comportan al pasar al lmite las funciones elementales que utilizamos como piezas basicas
de la construccion: las potencias de x, las funciones trigonometricas, las exponenciales y logaritmos,
etcetera.
Empezaremos esta tarea por las operaciones aritmeticas y las funciones mas sencillas.

35
5.1.1. Lmites de sumas y productos. Polinomios. Lmite de cocientes senci-
llos.
El primer resultado teorico es tan sencillo que realmente casi parece que no hay nada que demostrar
aqu.

Teorema 5.1.2 (Lmite de sumas y productos).

Si se cumple

lm f (x) = A, y lm g(x) = B,

xx0 xx0

entonces tambien se tiene:

lm (f (x) + g(x)) = A + B, y lm (f (x)g(x)) = AB.

xx0 xx0

En lenguaje informal, lo unico que dice este teorema es que si, para x cerca de x0 , el valor de la funcion
f (x) se parece mucho a A y el de g(x) a B, entonces la suma que remedio! se parece mucho a A + B, y
el producto se parece mucho a AB.
A pesar de lo sencillo y evidente que es esto, es una buena idea que el lector interesado trate de
construir una demostracion formal de este teorema. Dejamos esa demostracion para los ejercicios del
curso.
La funcion f (x) = x, tiene evidentemente la propiedad de que:

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

Es decir, f (x) = x es continua en x0 , sea cual sea x0 . Abreviamos esto diciendo que f (x) es continua en
todo R.
De aqu se deduce, usando el teorema que acabamos de ver, que, puesto que x2 = x x, tambien se
cumple el siguiente resultado:
lm x2 = x20
xx0

Es decir, f (x) = x2 define una funcion continua en todo R. Y lo mismo sucede en general con todas las
potencias naturales x3 , x4 , etcetera1 .
Ademas es evidente que todas las funciones constantes son igualmente continuas en todo R. Y por
tanto, usando de nuevo nuestro teorema, todas las funciones de la forma

f (x) = an xn + an1 xn1 + + a1 x + a0

es decir, todos los polinomios en x, son funciones continuas en todo R sean cuales sean los coeficientes
an , . . . , a0 del polinomio.

Ejemplo 5.1.3. Quiza convenga detenerse un momento en este punto. Habamos dicho que los resultados
que estamos obteniendo permiten calcular y demostrar la vez. Veamos que, en efecto, es as: la continuidad
de los polinomios nos permite responder a preguntas como esta:

lm 4x3 2x2 + x 1 =??

x2

Porque la continuidad del polinomio nos garantiza que el lmite es precisamente el valor del polinomio en
ese punto:
lm 4x3 2x2 + x 1 = 4 23 2 22 + 2 1 = 25
x2

Y la teora nos permite asegurar que 25 es el lmite sin que tengamos que preocuparnos de cual es la
relacion concreta entre y en este caso. Si el lector no esta convencido de la ventaja de proceder as,
le sugerimos que busque en este caso esa relacion.

1 Para el lector esceptico: la demostracion rigurosa de ese etcetera que acabamos de escribir se puede conseguir utilizando

el metodo de induccion, que veremos mas adelante.

36
 Si en lugar de la suma o el producto consideramos el cociente, las cosas se complican. Porque podemos
sumar y multiplicar por cualquier numero real, pero no podemos dividir por cero. El primer resultado
sobre cocientes que vamos a ver nos dice que, salvo en ese caso, las cosas funcionan bien.

Teorema 5.1.4 (Lmite de cocientes, primera parte.).

Si se cumple

lm f (x) = A, y lm g(x) = B,

xx0 xx0

y ademas

B 6= 0

entonces tambien se tiene:

f (x) A
lm = .
xx0 g(x) B

Y que sucede si el denominador es 0? Entonces las cosas se complican. Lo veremos con detalle en la
siguiente seccion.

5.2. Lmite infinito

Vamos a empezar con un ejemplo, para ilustrar lo que queremos decir.

Ejemplo 5.2.1.
Consideremos el comportamiento de la funcion

1
f (x) =
x2
en x0 = 0. Cuando sustituimos x en esta expresion por un valor cercano a cero se obtiene un valor muy
grande. De hecho, cuanto mas cerca de 0, mas grande es el resultado. Esto se traduce en que la grafica
de f cerca del origen tiene este aspecto:

Esta situacion se presenta muy a menudo en el estudio de las funciones, as que conviene desarrollar un
lenguaje para referirnos a ella con precision. La idea clave es la que hemos resaltado en este ejemplo:
cuanto mas cerca de x0 este x, mas grande es el valor de f (x) que se obtiene, mas grande que cualquier
valor elegido de antemano. O dicho con mas precision, podemos conseguir que f (x) sea tan grande como
se desee, si tomamos x suficientemente cerca de x0 . Elaborando un poco esta idea podemos dar una

37
definicion claramente similar a la definicion de lmite que ya hemos visto.

Definicion 5.2.2 (Lmite infinito).

1. Decimos que

lm f (x) = +
xx0

si sea cual sea el numero K que se elija, existe un tal que si 0 < |x x0 | < , entonces

f (x) > K

2. Del mismo modo, decimos que

lm f (x) =

xx0

si sea cual sea el numero K que se elija, existe un tal que si 0 < |x x0 | < , entonces

f (x) < K
Esta definicion, sin embargo, deja sin cubrir algunas situaciones parecidas, como la de este ejemplo.
Ejemplo 5.2.3. El comportamiento de la funcion
1
f (x) =
x
en x0 = 0 es muy parecido al que hemos visto en el anterior ejemplo, pero a diferencia de lo que ocurra
entonces, ahora el signo de x influye; y hace que, cuando x es positivo y cercano a cero se obtenga un
valor muy grande y positivo, mientras que si x es negativo y cercano a cero se obtiene un valor muy
grande pero negativo. La grafica de f cerca del origen tiene este aspecto:

El comportamiento a la izquierda de cero es como el de una funcion con lmite , mientras que a la
derecha es como en los casos de lmite +.

En una situacion como la de este ejemplo podemos decir simplemente que lmxx0 f (x) = . Pero
pronto veremos otros ejemplos en los que el comportamiento de la funcion a la izquierda y a la derecha
de x0 es distinto. Para poder describir lo que ocurre en esos casos con detalle introducimos mas notacion
en el siguiente apartado.

38
5.3. Lmites laterales
Veamos un par de ejemplos interesantes:

Ejemplo 5.3.1.

|x|
1. La funcion f (x) = tiene esta grafica:
x + x3

(Animamos al lector a que trate de convencerse de que es as). Cuando x es positivo y cercano a
cero se obtiene un valor muy proximo a 1, mientras que si x es negativo y cercano a cero se obtiene
un valor cercano a 1.

2. Sin necesidad de recurrir al valor absoluto, sucede algo parecido con la funcion

1
f (x) =
1 + e1/x

Animamos al lector a que compruebe que en este caso, cuando x es positivo y cercano a cero se
obtiene un valor muy proximo a 1, mientras que si x es negativo y cercano a cero se obtiene un
valor cercano a 0.

La proxima definicion es una ligera modificacion de la definicion de lmite, que sirve para describir lo

39
que sucede en estos casos:
Definicion 5.3.2 (Lmites laterales). Decimos que el lmite por la derecha de h en x es L si, sea cual
0
sea el error maximo que hayamos fijado, se puede elegir un numero tal que, para todos los x que
cumplen

x > x0 y ademas |x x0 | <

se puede garantizar que se cumple

|h(x) L| <

En tal caso escribimos

lm f (x) = L

xx+ 0

Del mismo modo, decimos que el lmite por la izquierda de h en x0 es L si, sea cual sea el error maximo

que hayamos fijado, se puede elegir un numero tal que, para todos los x que cumplen

x < x0 y ademas |x x0 | <

se puede garantizar que se cumple

|h(x) L| <

Y escribimos

lm f (x) = L
xx0

Que relacion hay entre los lmites laterales y el lmite que hemos estudiado antes? Es muy sencillo
de entender:
Proposicion 5.3.3.
Decir que

lm h(x) = L
xx0

es lo mismo que decir que los dos lmites laterales existen y que ambos valen L.

La definicion de lmite lateral se extiende de forma natural a una definicion de continuidad lateral, cuyos
detalles dejamos confiadamente al lector. Con estas definiciones es facil describir comportamientos como
el que veamos en el ejemplo 5.2.3. Y de hecho, esta definicion nos permite avanzar en nuestro analisis de
lo que sucede al estudiar el lmite de un cociente.

Teorema 5.3.4 (Lmite de cocientes, segunda parte.).

Si se cumple

lm f (x) = A, y lm g(x) = 0,
xx0 xx0

y ademas

A 6= 0

f (x)
entonces los dos lmites laterales de en x0 son infinitos, aunque sus signos pueden ser distintos.
g(x)

Observacion. El unico caso de lmite de cociente que este teorema deja pendiente es el de la indetermi-
nacion 0/0, que es precisamente, como hemos visto, el que se presenta al tratar de calcular la derivada
de una funcion continua. Lo unico que se puede hacer, ante una indeterminacion, es buscar otro metodo
para analizar el lmite. Veremos varios de estos metodos a lo largo del curso.

5.4. Otras dificultades en relacion con los lmites

Hay otras razones que pueden hacer que el lmite de una funcion no exista. En el siguiente ejemplo
veremos un caso que ilustra a la perfeccion como de complicado puede ser el comportamiento de algunas
funciones dadas por expresiones muy sencillas.

40
Ejemplo 5.4.1. Como sin duda sabe el lector, la funcion f (x) = sen x es periodica, de periodo 2.
Cuando el valor de x recorre cualquier intervalo de la forma (2n, 2(n + 1)), con n = 0, 1, 2, . . ., los
valores del seno recorren el intervalo [1, 1] como se muestra en esta figura:

Pensemos ahora en la funcion

1
f (x) = sen
x
que se representa en esta figura:

Para entender lo que le ocurre a esta funcion cuando x se acerca a 0 debe entenderse que el argumento
1/x de la funcion seno recorre todos los valores del angulo posibles cada vez que x recorre un intervalo
de la forma
1 1 1 1 1 1
, , , ,..., ,
2 4 4 6 2k (2k + 2)
Pero estos intervalos son cada vez mas pequenos y estan mas cerca de cero cuanto mas grande sea k.
Entonces podemos concluir que esta funcion oscila muy bruscamente entre -1 y 1 cuando x esta muy
cerca de 0, y por lo tanto es imposible asignarle un lmite cuando x tiende a cero.

5.5. Lmite en el infinito

De la misma forma que
lm f (x)
xx0

41
es la forma matematica de preguntarse si f (x) se parece a algun numero cuando x se parece mucho a x0 ,
tambien podemos preguntarnos si hay algun valor al que f (x) se parezca mucho cuando x es muy grande
y positivo. Esa pregunta se escribe:
lm f (x)
x
Y si existe algun numero L al que f (x) se parece cada vez mas a medida que x se hace mas grande y
positivo entonces decimos que ese numero es el lmite de f cuando x tiende a infinito. La existencia de
un lmite en el infinito tiene un significado facil de entender en la grafica de f . En efecto, si existe el
lmite y vale L, trazamos la lnea horizontal a altura L. La existencia del lmite entonces significa que a
medida que nos desplazamos hacia la derecha en la grafica de f , hacia valores de x cada vez mas grandes
y positivos la grafica se acerca mas y mas hacia la recta horizontal que hemos dibujado, como en los
siguientes ejemplos, en los que el lmite es 1/2:

De forma analoga se define el lmite cuando x tiende hacia menos infinito, que se escribe:
lm f (x)
x

Y que consiste en preguntarnos si existe algun valor al que f se parece cada vez mas a medida que x va
siendo un numero negativo cada vez mas grande (en valor absoluto).
Con la experiencia que hemos adquirido en las anteriores secciones, debera resultar un sencillopara el
lector escribir la definicion formal antes de leer la nuestra. Se trata de ir a la definicion original de lmite,
y cambiar la idea para x suficientemente cerca de x0 por la idea para x suficientemente grande.

Definicion 5.5.1 (Lmite en el infinito).

La funcion f tiene lmite L en + si, sea cual sea el numero , se puede encontrar un valor K tal que

si x es mayor que K se tiene

|f (x) L| <

La funcion f tiene lmite L en + si, sea cual sea el numero , se puede encontrar un valor K tal que

si x es menor que K se tiene

|f (x) L| <
Los metodos para calcular lmites en el infinito son muy parecidos a los que usamos para los lmites
ordinarios. A veces es suficiente tratar de determinar el comportamiento de f (x) cuando x es muy grande.
Sin embargo, este tipo de lmites tambien nos puede conducir a una indeterminacion.

Ejemplo 5.5.2. Tratemos de estudiar

4x2 + 2x + 1
lm
x x2 3x + 2

A medida que x es mas grande, el numerador 4x2 + 2x + 1 es cada vez mas grande. Pero lo mismo ocurre
con el denominador. Es decir:
lm 4x2 + 2x + 1 =
x
lm x2 3x + 2 =
x
En este caso no podemos usar el teorema que dice que el lmite del cociente es el cociente de los lmites.
Estamos ante lo que se conoce como indeterminacion del tipo (infinito partido por infinito).

42
5.6. Indeterminaciones polinomicas
Veamos como se pueden resolver de manera elemental algunas de las indeterminaciones asociadas con
cocientes de polinomios. Son de dos tipos:

5.6.1. Indeterminaciones por races de los polinomios

Supongamos que queremos estudiar el lmite:

P (x)
lm
xa Q(x)

con P (x) y Q(x) polinomios, y que se cumple:

P (a) = 0
Q(a) = 0

En ese caso estamos ante una indeterminacion de la forma 00 . La forma de resolverla consiste en utilizar
el hecho de que si a es una raz de ambos polinomios entonces estos polinomios se descomponen en la
forma:
P (x) = (x a)r P (x)

Q(x) = (x a)s Q(x)

donde P (a) 6= 0, Q(a) 6= 0. Con lo cual:

P (x) (x a)r P (x) P (x)

lm = lm = lm (x a)rs
xa Q(x) xa (x a)s Q(x) xa Q(x)

Y ahora todo depende de los tamanos de r y s, ya que los polinomios P , Q no se anulan en a. Hay tres
posibilidades:

1. r > s; en este caso el lmite es cero.

2. r < s; en este caso el lmite es de tipo infinito.

P (a)
3. r = s; este es el caso mas interesante. El lmite es
Q(a)

5.6.2. Comportamiento en el infinito de un cociente de polinomios

El lmite:
P (x)
lm
x Q(x)

es siempre una indeterminacion de la forma . Para resolverla, supongamos que el grado de P (x) es s,
y el grado de Q(x) es r; sea p = max(r, s). Dividimos entonces el numerador y el denominador entre xp .
Es facil ver que de nuevo hay tres posibilidades:

1. p = r > s; en este caso el lmite es infinito.

2. r < s = p; en este caso el lmite es cero.

ar
3. p = r = s; tambien aqu es el caso mas interesante. El lmite es donde ar y br son los coeficientes
br
de los terminos de grado mas alto de P y Q respectivamente.

43
5.7. Continuidad de algunas funciones elementales. Composi-
cion.
Despues de tratar el lmite de sumas, productos y cocientes, volvemos a la idea de desarrollar un
metodo que nos permita agilizar el calculo de lmites todo lo posible. Recordemos que, como hicimos en
el apartado 5.1.1 para el caso de polinomios, se trataba de estudiar la continuidad de algunas funciones,
y garantizar que al combinar esas funciones se obtienen nuevas funciones continuas. Para avanzar en esta
idea necesitamos nuevos ingredientes. El siguiente resultado nos garantiza un buen repertorio de funciones
continuas:

Teorema 5.7.1 (Continuidad de algunas funciones elementales).

Las siguientes funciones son continuas en todos los puntos donde estan definidas:

1. Las funciones seno y coseno.

2. Las funciones xa para a real.

3. Las funciones ex y ln x

Observese que algunas de estas funciones no estan definidas para todos los valores de x. Por ejemplo, el
logaritmo neperiano solo esta definido para numeros positivos. Lo que dice el anterior teorema en el caso
del logaritmo es que, si x0 es cualquier numero real positivo, f (x) = ln x es continua en x0 . En el caso
de xa hay que tener en cuenta que, segun cual sea el valor de a, la funcion solo estara definida en valores
positivos de x. Por el contrario, las funciones seno y coseno y la exponencial estan definidas sea cual sea
el valor de x. Dentro de un momento, en este mismo captulo, volveremos sobre este tema y ampliaremos
un poco el vocabulario para referirnos a este tipo de situaciones.

Observacion. En este captulo vamos a dar una argumentacion de la continuidad del seno y el coseno
por medios elementales. Los argumentos que vamos a dar no se pueden considerar una demostracion
completamente rigurosa, ya que se basan en una definicion geometrica del seno y el coseno, que no
resulta satisfactoria. Pero los argumentos geometricos, incluso si no son una demostracion, tienen la
virtud de iluminar la discusion del problema en cuestion. Para las funciones exponenciales y logartmicas
se pueden buscar tratamientos elementales, pero son mas complicados que en el caso trigonometrico, y
no los veremos aqu para no alargar inutilmente la discusion. Mas adelante en el curso volveremos sobre
este punto.

Con esta lista de funciones continuas, y los polinomios, podemos resolver muchas cuestiones sobre
lmites, pero aun nos tropezamos con dificultades en casos muy sencillos, como el de este ejemplo:

Ejemplo 5.7.2. Supongamos que tenemos una funcion como f (x) = sen(x2 ) y queremos saber cual es
su lmite en x0 = 0, es decir la pregunta es:

lm sen(x2 + ) =??
x0 4

Si el lector repasa lo que hemos hecho hasta ahora comprobara que ninguno de los teoremas que hemos
establecido en este captulo se puede aplicar directamente a esta situacion. Y sin embargo, la situacion
parece muy sencilla de entender: cuando x sea acerca a 0, el valor de x2 + 4 se acerca a 4 , y el seno de

2
un numero cercano a 4 es un numero muy parecido a . As que nos gustara poder decir que
2

2
lm sen(x2 ) =
x0 2

Pero a pesar de que sabemos que tanto los polinomios como la funcion seno son continuos en R, todava
no hemos visto un teorema que nos permita combinarlos como se hace en este ejemplo.

Vamos a ponerle remedio a la situacion que acabamos de ver. Empecemos por ponerle nombre a la

44
operacion que aparece en este ejemplo para combinar funciones:
Definicion 5.7.3 (Composicion de funciones).

Sean f y g dos funciones. La funcion h definida as:

h(x) = g(f (x))

se denomina la composicion de f con g. Esta funcion se representa con el smbolo g f .

Es decir, para calcular la composicion de f con g primero calculamos y = f (x), y luego calculamos g, pero
aplicado al valor y. Podemos pensar en las funciones f y g como teclas de una calculadora. Para calcular
la composicion, despues de introducir el valor de x pulsamos la tecla f y, cuando aparece el resultado en
pantalla -al que hemos llamado y, entonces pulsamos la tecla de la funcion g.
Hay un pequeno problema de notacion con la composicion. Desde el principio del curso venimos
utilizando la notacion y = f (x) para indicar que, usando la funcion f , a partir del numero x se calcula el
numero y. Pero ahora, al componer, queremos utilizar la funcion g con ese numero y que es el resultado
de f , para calcular g(y) = g(f (x)). As que, para evitar confusiones vamos a seguir escribiendo y = f (x),
pero escribiremos u = g(y). En el siguiente esquema subrayamos como se relacionan estos numeros x, y, u
a traves de las funciones f y g:
f g
x // y 44// u
gf

El siguiente resultado nos dice como se comporta la continuidad al formar una funcion mediante la
composicion:

Teorema 5.7.4 (Composicion y continuidad).

Supongamos dadas dos funciones mediante y = f (x), u = g(y). Dado un valor x , sea y = f (x ), y
0 0 0
sea entonces u = g(y ) = g(f (x )), el valor obtenido mediante la composicion de f con g. Pues bien, si
0 0 0
la funcion y = f (x) es continua en el punto x , y la funcion g es continua en el punto y , entonces la
0 0
composicion g f es continua en x0 .
La demostracion de este teorema es un ejercicio sencillo, usando esta indicacion: fijado un , se obtendra un
para g, que hay que usar como el para f , con el que a su vez se obtiene el definitivo. Con este
resultado, y con nuestro actual repertorio de funciones elementales se puede abordar el analisis inicial de
la continuidad de practicamente todas las funciones que se presentan en la practica del calculo.
Ejemplo 5.7.5. Por ejemplo, supongamos que queremos estudiar la continuidad de una funcion tal como

x3 6x2 + 11x 6
f (x) =
x2 7x + 6
Puesto que el numerador y el denominador son polinomios, ambos son funciones continuas en todo R.
Y el cociente de funciones continuas define una funcion continua, salvo tal vez en aquellos puntos en los
que el denominador se anula. Descomponiendo en factores numerador y denominador se obtiene:
(x 1)(x 2)(x 3)
f (x) =
(x 1)(x 6)
De manera que sin ningun esfuerzo adicional podemos concluir que f es continua en cualquier valor de x
salvo tal vez cuando x = 1 o x = 6. De hecho, puesto que el numerador no se anula para x = 6 podemos
concluir que f no es continua en ese punto (sus lmites laterales en ese punto seran ). En x = 1 se
obtiene una indeterminacion 0/0, que se puede estudiar por los metodos del apartado 5.6.1 de la pagina
43; volveremos sobre este tipo de situaciones en el ultimo apartado (??) de este captulo.

Como muestra este ejemplo, gracias al metodo que hemos desarrollado, el analisis de la continuidad de
una funcion consiste basicamente, en los ejemplos comunes, en localizar una cantidad finita de puntos en
los que el lmite no se deja analizar de modo elemental mediante los teoremas que hemos visto. Y por otra
parte, a menudo esos casos son precisamente los lmites interesantes, los que contienen informacion no
trivial! A lo largo del curso vamos a desarrollar algunas tecnicas para tratar esos casos difciles, empezando
por la siguiente seccion.

45
5.8. Lmites mediante desigualdades: el teorema del embudo
El resultado que vamos a presentar en esta seccion permite analizar algunos indeterminaciones difciles,
como los que veremos mas abajo en los ejemplos.

Teorema 5.8.1. (Teorema del embudo). Supongamos que f, g, h son tres funciones definidas en el in-
tervalo [a, b] salvo tal vez en x0 , un punto interior de este intervalo (es decir, x0 (a, b)). Si se cumple:

f (x) g(x) h(x)

para todos los puntos del intervalo [a, b] (de nuevo con la posible excepcion de x0 ) y ademas:

lm f (x) = L = lm h(x)
xx0 xx0

(los lmites de las funciones f, h existen y son iguales) entonces tambien existe lm g(x) y vale lo mismo:
xx0

lm g(x) = L
xx0

Esta propiedad se ilustra en esta figura:

Como puede verse, la desigualdad fuerza a la funcion g a pasar por el embudo que forman en x0 las
otras dos funciones, de ah el nombre que le hemos dado a esta propiedad.
La justificacion de esta propiedad es muy sencilla; de las desigualdades

f (x) g(x) h(x)

se obtiene
f (x) L g(x) L h(x) L

Y ahora basta tener en cuenta que una desigualdad de la forma a b c siempre implica que el valor
absoluto del numero intermedio es menor que el maximo de los otros dos:

|b| max(|a|, |c|)

En nuestro caso, se obtiene

|g(x) L| max(|f (x) L|, |h(x) L|

A partir de aqu es un ejercicio sencillo construir una demostracion formal (, ) del teorema. Dejamos
esa demostracion como un ejercicio util para el lector.

46
Aplicacion a las funciones trigonometricas
Vamos a utilizar este resultado para demostrar varias propiedades interesantes de las funciones tri-
gonometricas. Para empezar, vamos a argumentar la continuidad de las funciones seno y coseno que
enunciamos en el teorema 5.7, usando para ello la construccion geometrica de estas funciones. Para ello
consideramos la siguiente figura, en la que el crculo es de radio 1:

En esta figura se muestra el arco circular AC determinado por el angulo x. La ventaja de utilizar la
medida en radianes de los angulos es que en tal caso el arco circular AC mide precisamente x (la longitud
del arco es (angulo en radianes)(radio)) Esa longitud x es obviamente mayor que el segmento rectilneo
AC, porque la recta es el camino mas corto entre ambos puntos. Y, finalmente, puesto que AC es la
hipotenusa del triangulo rectangulo ABC, tambien esta claro que la longitud de AC es mayor que la de
AB. Y, puesto que la longitud de AB es sen x, hemos establecido la desigualdad:

0 < sen x < x

Esta desigualdad es justo lo que necesitabamos para poder aplicar el teorema del embudo con x0 = 0

f (x) = 0, g(x) = sen x, h(x) = x

y concluir que
lm sen x = 0
x0

En esa misma figura puede verse que el cateto AB, cuya longitud es 1 cos x, es tambien menor que x.
Por lo tanto se tiene
0 < 1 cos x < x
y con otra aplicacion del teorema del embudo se puede concluir que

lm (1 cos x) = 0
x0

Y por tanto
lm cos x = 1
x0

Una vez analizado el comportamiento del seno y el coseno en el origen, es muy facil trasladar este
conocimiento a otros puntos. Para ello vamos a emplear un truco de cambio de variable que volveremos
a usar muchas veces. Para analizar
lm sen x
xx0

introducimos una nueva variable:

u = x x0

47
Entonces, cuando x tiende a x0 , el valor de u tiende a 0; es esta propiedad precisamente la que vamos a
aprovechar para reducir el problema de un punto x0 cualquiera al caso del origen que ya hemos estudiado.
Es decir, que
lm sen x = lm sen(u + x0 )
xx0 u0
Y ahora usamos una identidad trigonometrica:
lm sen(u + x0 ) = lm (sen u cos x0 + cos u sen x0 ) = 0 cos x0 + 1 sen x0 = sen x0
u0 u0

Aqu hemos usado la identidad trigonometrica del seno de una suma, los teoremas sobre lmites de sumas
y productos y ademas hemos usado los lmites en el origen que hemos argumentado geometricamente. En
definitiva hemos mostrado que, sea cual sea x0 se tiene:
lm sen x = sen x0
xx0

Es decir, que el seno es continuo en todo R, como dijimos en el teorema 5.7 en la pagina 44. Dejamos
para el lector como ejercicio repetir este razonamiento en el caso del coseno.

Una indeterminacion trigonometrica importante: la derivada del seno

Si queremos usar el metodo de Newton para calcular con la funcion seno tendremos que calcular sus
rectas tangentes. Y para eso hay que responder a esta pregunta: cual es la derivada de la funcion seno?
La clave de la respuesta empieza por calcular la derivada de la funcion seno en el origen: despues se puede
utilizar ese resultado para calcular el resto de las derivadas, como hemos hecho en el apartado anterior
para reducir la continuidad al caso del origen.
Y como se calcula la derivada en el origen? Apliquemos la definicion a la funcion f (x) = sen x:
f (x) f (0) sen x 0
f (0) = lm = lm =
x0 x0 x0 x 0
Hemos llegado a una indeterminacion; ese hecho en s no es ninguna sorpresa. El problema es que esta
indeterminacion no se deja resolver por medios elementales como los que hemos usado hasta ahora.
Vamos a terminar de calcular el lmite:
sen x
lm
x0 x
En esta figura (el crculo es de radio 1):

podemos ver que para los angulos x cercanos a cero el area del triangulo OCD es mas pequena que el area
del sector circular OAC (sombreado) que a su vez es menor que el area del triangulo OAB. Escribiendo
las formulas para estas areas2 , tenemos esta desigualdad:
1 x 1
sen x cos x < < tan x
2 2 2
2 Elarea de un sector circular dado por una angulo x (en radianes, desde luego) se calcula mediante la formula x 2
r . En
2
nuestro caso r = 1

48
Hemos usado que AB = tan x y que el area de un triangulo es, por supuesto:
1
bh
2
donde b es la base y h la altura. Si multiplicamos por 2 y despues dividimos todas las desigualdades por
sen x (que es positivo para x positivo y cercano a 0) se obtiene:
x 1
cos x < <
sen x cos x
Hemos establecido esta desigualdad para x > 0. Dejamos para el lector el trabajo de comprobar que la
misma desigualdad es cierta si x < 0 es un valor negativo y cercano a 0. Por tanto, podemos aplicar el
teorema del embudo, ya que:
1
lm cos x = 1, lm =1
x0 x0 cos x

para concluir que:

x
lm =1
x0 sen x

5.9. El dominio de una funcion, y el lmite. Tipos de disconti-

nuidades.
Los siguientes ejemplos ilustran lo que vamos a discutir en este apartado:
Ejemplo 5.9.1.
1. En el anterior apartado nos hemos encontrado con la funcion
sen x
f (x) =
x
Supongamos que alguien nos pregunta cual es el valor de f (0). Sin duda alguna, decir que
0
f (0) =
0
no es una respuesta. As que la formula que define a f no se puede aplicar directamente. Hemos
visto que
sen x
lm =1
x0 x
As que parece razonable, en algun sentido, decir que debera ser

f (0) = 1

2. Si hemos definido la funcion f (x) = ln x y nos preguntan cual es el valor de f (3), nos encontramos
con la dificultad evidente de que no existe el logaritmo de un numero negativo. Ademas, en este caso,
no tiene sentido plantearse el lmite, porque a diferencia de lo que ocurra en el ejemplo anterior f
no esta definida en ninguno de los valores cercanos a 3.

En los dos casos de este ejemplo hay algo en comun: una funcion esta definida mediante una formula,
pero esa formula no se puede utilizar para todos los valores de x. Es decir, que hay valores x0 para los
que no sabemos darle sentido a f (x0 ). Vamos a utilizar la siguiente terminologa para referirnos a estas
situaciones:
Definicion 5.9.2 (Dominio de una funcion).

El dominio de una funcion f es el conjunto de puntos en los que el valor f (x) esta definido.
El dominio forma de hecho parte de la definicion de la funcion: no se puede considerar una funcion
completamente definida si no se ha especificado cual es su dominio. Hasta este punto del curso no hemos
necesitado entrar en esta discusion, pero ahora queremos dejar claro que, al definir una funcion y = f (x),
es esencial saber cuales son los valores de x para los que la expresion f (x) tiene sentido.

49
Ejemplo 5.9.3. Por lo tanto, cuando decamos que f (x) = ln x, nos faltaba definir el dominio de la
funcion f . Lo hacemos ahora, diciendo que el dominio de esa funcion son los valores x positivos. De
manera que si alguien nos pregunta cual es f (3) podemos responder diciendo que ese valor x = 3 no
pertenece al dominio de f , y zanjar as la cuestion.

Dicho esto, a veces las cosas no son tan sencillas.

Ejemplo 5.9.4 (Continuacion de 5.9.1). Cual es el dominio de la funcion f que hemos visto en el
ejemplo inicial de este apartado? Recordemos que era:
sen x
f (x) =
x
Mas concretamente: esta 0 en el dominio de esta funcion? La pregunta contiene una pequena trampa:
hemos dicho que la funcion no esta definida del todo mientras no se define su dominio. Es decir, que
la expresion anterior, por si misma, no define completamente una funcion. Lo que s esta claro es que,
si queremos incluir el valor x = 0 en el dominio de la funcion, tenemos que darle un valor a f (0). Es
importante entender que esa decision es nuestra, porque somos nosotros los que definimos la funcion f .
Es decir, que para incluir x = 0 en el dominio de f podemos escribir
sen x
x 6= 0
f (x) = x
a x=0

y elegir un valor de a = f (0). En principio, esa eleccion es completamente arbitraria. Sin embargo,
muy a menudo las funciones que estudiamos tienen interes en alguna aplicacion, por ejemplo en algun
problema fsico o tecnico. Y en esos casos puede que haya buenas razones para desear que la definicion
de f produzca una funcion continua; a menudo los procesos fsicos transcurren de forma continua y es
bueno que los modelos matematicos se comporten asimismo con continuidad. Si decidimos que, por los
motivos que sean, queremos definir f de manera que se obtenga una funcion continua, entonces tenemos
que ver si es posible elegir un valor de a que haga continua en 0 a la funcion f . Para que suceda eso,
recordando la definicion de continuidad, debe ser

a = f (0) = lm f (x)
x0

Pero hemos visto que lm f (x) = 1. Y por tanto, si queremos definir f para que sea continua en x = 0,
x0
no tenemos otro remedio mas que hacer: a = 1, y definir:
( sen x
x 6= 0
f (x) = x
1 x=0

Por supuesto, no es obligatorio hacer esto. Puede que por alguna razon, alguien prefiera elegir otro valor
de a, y definir otra funcion, a la que vamos a denominar f para no confundirlas. Por ejemplo, eso se
puede hacer diciendo que ( sen x
x 6= 0
f(x) = x
8 x=0
Naturalmente, al hacer esto se obtiene una funcion que no es continua en 0. La decision vendra dada por
el uso que queramos hacer de esa funcion.

Para describir la situacion que hemos descrito al final de este ejemplo se utiliza la siguiente terminologa;
supongamos que existe el lmite lm f (x) pero que f (x0 ) no coincide con ese lmite. Por supuesto, en
xx0
tal caso f no es continua en x0 , pero se dice que se trata de una discontinuidad evitable. Eso significa que
bastara cambiar la definicion de f en x0 haciendola igual al lmite, para obtener una funcion continua.
Cuando no existe el lmite en x0 la funcion puede naturalmente definirse en x0 , pero en cualquier caso se
obtendra una funcion que no es continua en x0 3 Esas discontinuidades se denominan no evitables. Esas
3 Naturalmente, si existe alguno de los lmites laterales en x , puede ser interesante definir f de manera que se obtenga
0
una funcion continua por la derecha o por la izquierda.

50
discontinuidades no evitables incluyen los casos en que alguno de los lmites laterales es infinito, o cuando
los lmites laterales no coinciden (en ese caso se habla de una discontinuidad de salto, ver el ejemplo 5.3.1
de la pagina 39) y, en general, cualquier otro caso en el que el lmite no exista (recordar el ejemplo 5.4.1
en la pagina 41)
Observacion (Determinacion del dominio en la practica). En general, en la practica, cuando se dice
sea f la funcion definida por y = f (x), se esta asumiendo tacitamente que el dominio coincide con el
conjunto mas grande en el que la formula f (x) produce un valor bien definido. Si, para algun valor x0 esa
formula produce una indeterminacion, es conveniente en cualquier caso aclarar si el lmite en x0 existe,
en cuyo caso estaremos ante una discontinuidad evitable y deberemos definir explcitamente el valor de
f en x0 . Por supuesto, lo mas sencillo es describir completamente el dominio al definir la funcion, pero
no siempre nos tomamos tantas molestias. . .

5.10. *Definicion de funcion

Observacion. Esta seccion, y en general todos los marcados con asterisco, puede (debe?)
omitirse en una primera lectura.
En el anterior apartado hemos discutido que la definicion de una funcion no esta completa mientras
no se hace explcito cual es su dominio. Lo cual nos lleva a una pregunta natural, que hemos soslayado
desde el comienzo del curso: como se define una funcion? Para el trabajo que vamos a hacer en este
curso, es suficiente con una idea bastante informal. Podemos pensar, a ese nivel informal, que una funcion
viene dada por una formula y = f (x) que nos dice que operaciones hay que hacer con el numero x para
calcular el numero y. Esa idea informal es suficiente para muchos propositos, pero no es muy precisa, ni
cubre todas las posibilidades. Porque la relacion entre x e y puede ser difcil de expresar con la idea de
formula. Por ejemplo, puede que el numero y se obtenga de x mediante un algoritmo, como un programa
de ordenador. Es eso exactamente una formula? Por esta y otras razones similares, los matematicos han
buscado una definicion de funcion que les permita liberarse del concepto de formula. Lo esencial en la
idea de funcion no es eso, sino el hecho de que exista una relacion entre x e y, de manera que una vez
conocido un valor de x en el dominio de la funcion, solo haya un valor posible de y. Esto es esencial!
El resultado o valor f (x) de la funcion tiene que quedar perfectamente determinado por x. Es decir,
volviendo a la idea del programa de ordenador, para que ese programa de verdad defina una funcion,
siempre que ejecutemos el programa utilizando x como dato, la respuesta del programa debe ser y. Si
distintas ejecuciones del programa conducen a resultados distintos4 , entonces ese programa
no define una
funcion. En un ejemplo mas cercano a la matematica elemental, la expresion y = x no define una
funcion. En cambio y = x (es decir, la raz positiva), s define una funcion.
La definicion de funcion que vamos a dar recoje todas estas ideas.

Definicion 5.10.1 (Definicion de funcion).

Una funcion f con dominio A, donde A es un subconjunto de R, es un conjunto de pares de numeros

(x, y), con la propiedad de que en el conjunto no hay dos parejas de la forma (x, y ) y (x, y ) con y 6= y .
1 2 1 2
Es decir, no hay dos parejas con el mismo x pero distintos valores de y.

La relacion entre esta definicion y la idea informal esta clara. Dada una formula y = f (x), con dominio A,
la funcion f es el conjunto de parejas de la forma (x, f (x)), siendo x un elemento del conjunto A. Es decir,
la funcion f la forman las parejas (x, y) en las que la y se calcula usando la formula f (x), naturalmente.

4 Como sucedera si el programa emplea valores aleatorios o que dependen del instante de tiempo en que comienza la

ejecucion, por ejemplo

51
52