Beruflich Dokumente
Kultur Dokumente
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.
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
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.
Si se cumple
lm f (x) = A, y lm g(x) = B,
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
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:
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
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.
Si se cumple
lm f (x) = A, y lm g(x) = B,
xx0 xx0
y ademas
B 6= 0
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.
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.
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
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
|h(x) L| <
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
|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.
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.
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:
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.
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.
La funcion f tiene lmite L en + si, sea cual sea el numero , se puede encontrar un valor K tal que
|f (x) L| <
La funcion f tiene lmite L en + si, sea cual sea el numero , se puede encontrar un valor K tal que
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:
P (x)
lm
xa Q(x)
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)
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:
P (a)
3. r = s; este es el caso mas interesante. El lmite es
Q(a)
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:
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:
Las siguientes funciones son continuas en todos los puntos donde estan definidas:
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).
El siguiente resultado nos dice como se comporta la continuidad al formar una funcion mediante la
composicion:
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:
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
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
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:
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:
Esta desigualdad es justo lo que necesitabamos para poder aplicar el teorema del embudo con x0 = 0
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
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.
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
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.
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. . .
(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
51
52