Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Lmites de Funciones
OpenUepc.com 1.1.4.4
Ver 01:03/02/2010
NOTA
La clasificacin decimal de todos los temas de este manual tienen
implcito el comienzo 1.1.3.6 correspondiente a
1
SCIENCE
1.1
MATHEMATICS
1.1.4
ANALYSIS
1.1.4.4
LIMITES DE FUNCIONES
COPYRIGHT
Este material as como los applets, powerpoints, videos y archivos de
sonido asociados, puede ser distribuido bajo los trminos y condiciones
definidos en Open Publication License versin 1.0 o posterior (La
versin
ms
reciente
est
disponible
en
http://www.opencontent.org/openpub/).
El contenido est sujeto a constantes cambios sin previo aviso. Su fin
es didctico y solo pretende la universalizacin de la cultura. Est
escrito en base a la colaboracin de las miles de personas que
componen nuestra comunidad OpenUepc. Se ha exigido a los autores
que referencien todas las fuentes utilizadas y figuran al final del texto.
Cualquier distribucin del mismo debe mencionar a OpenUepc como
fuente.
Miguel Prez Fontenla
miguelperez@edu.xunta.es
INDICE AUTORES
22/11/2009
TABLA DE CONTENIDO
INTRODUCCIN ................................................................................................................ 2
Historia.............................................................................................................................. 2
Aplicaciones ...................................................................................................................... 9
Objetivos Mnimos ............................................................................................................ 9
CONCEPTOS BSICOS .................................................................................................... 11
La idea de lmite .............................................................................................................. 11
Limite de un funcin en el infinito ................................................................................... 13
Limite de un funcin en un punto .................................................................................... 14
Lmites infinitos de una funcin en un punto ................................................................... 16
Lmites infinitos de una funcin en el infinito .................................................................. 18
Propiedades de los limites de funciones ........................................................................... 19
Calculo de lmites ............................................................................................................ 19
Indeterminaciones............................................................................................................ 19
Lmites de funciones trigonomtricas. .......................................................................... 23
FUNCIN CONTINUA ..................................................................................................... 25
Continuidad de las funciones elementales ........................................................................ 27
Tipos de discontinuidad ................................................................................................... 27
Asntotas de una funcin.................................................................................................. 30
Operaciones con funciones continuas. .............................................................................. 32
Propiedades de las funciones continuas ............................................................................ 33
Teorema del signo ........................................................................................................ 33
Teorema de acotacin .................................................................................................. 33
Teorema de Bolzano (o del valor medio) ...................................................................... 34
Idea intuitiva del Teorema de Bolzano ......................................................................... 34
Teorema de Weiestrass de los extremos absolutos (del supremo y el nfimo) ............ 35
Idea intuitiva del Teorema de Weiestrass ..................................................................... 36
Teorema de Darboux o de los valores intermedios........................................................ 36
| 1
INTRODUCCIN
El concepto de lmite es la base fundamental con la que se construye el clculo infinitesimal
(diferencial e integral). Informalmente hablando se dice que el lmite es el valor al que tiende
una funcin cuando la variable independiente tiende a un nmero determinado o al infinito.
En matemtica, el lmite es un concepto que describe la tendencia de una sucesin o una
funcin, a medida que los parmetros de esa sucesin o funcin se acercan a determinado
valor. En clculo (especialmente en anlisis real y matemtico) este concepto se utiliza para
definir los conceptos fundamentales de convergencia, continuidad, derivacin, integracin,
entre otros.
En matemticas, una funcin continua es aquella para la cual, intuitivamente, para puntos
cercanos del dominio se producen pequeas variaciones en los valores de la funcin. Si la
funcin no es continua, se dice que es discontinua. Generalmente una funcin continua es
aquella cuya grfica puede dibujarse sin levantar el lpiz del papel.
La continuidad de funciones es uno de los conceptos principales de la topologa. El artculo
describe principalmente la continuidad de funciones reales de una variable real.
Historia
El concepto de funcin tal y como hoy en da es conocido y desarrollado en los cursos
bsicos de matemtica, surgi hasta el siglo XVIII, a diferencia del clculo diferencial e
integral que encontr su gnesis un siglo antes, lo cual difiere de la forma clsica en como se
presenta actualmente el clculo, donde primero se ensean funciones, luego lmites y
finalmente derivadas e integrales.
El primer mtemtico que intenta dar una definicin formal del concepto de funcin fue
Leonhard Euler; al afirmar:
"Una funcin de cantidad variable es una expresin analtica formada de cualquier manera
por esa cantidad variable y por nmeros o cantidades constantes
En la historia de las matemticas se le da crditos al matemtico suizo Leonhard Euler por
precisar el concepto de funcin, as como por realizar un estudio sistemtico de todas las
funciones elementales, incluyendo sus derivadas e integrales; sin embargo, el concepto
mismo de funcin naci con las primeras relaciones observadas entre dos variables, hecho
que surgi desde los inicios de la matemtica en la humanidad, con civilizaciones como la
griega, la babilonica, la egipcia y la china.
La revolucin cientfica iniciada en el siglo XVI se debi, en gran parte, a que los cientficos
se plantearon preguntas dentro de un mbito experimental y, desarrollando sus
investigaciones ms en el mbito de los problemas fsicos que de los meta fsicos, al contrario
de lo ocurrido con la ciencia de la Edad Media. Cuando los cientficos centraron su atencin
en los fenmenos de la naturaleza, lo hicieron poniendo nfasis en las relaciones que se
desprendan entre las variables que determinaban dicho fenmeno y que podan ser
expresadas en trminos matemticos. Era necesario comparar las variables, relacionarlas,
expresarlas mediante nmeros y representarlas en algn sistema geomtrico adecuado (este
| INTRODUCCIN 2
| INTRODUCCIN 3
especficas.
Si avanzamos hasta las matemticas griegas entonces llegamos al trabajo de Ptolomeo. l
comput cuerdas de un crculo lo que esencialmente quiere decir que comput funciones
trigonomtricas. Seguramente, uno podra pensar, que si estaba calculando funciones
trigonomtricas entonces Ptolomeo debe haber comprendido el concepto de funcin. Como
escribi O Petersen en 1974 [22]:
Pero si concebimos una funcin no como una frmula sino como una relacin ms general que
asocia elementos de un conjunto con los elementos de otro conjunto, es obvio que las funciones
en ese sentido abundan en el Almagesto.
Sin duda Petersen est en lo correcto al afirmar que hay funciones, en el sentido moderno, por
todo el Almagesto. Ptolomeo lidi con las funciones pero es poco probable que comprendiera el
concepto de funcin. Como escribe Thiele en la primera pgina de [2]:
De vez en cuando, comparaciones anacrnicas como la que se acaba de dar nos ayudan a
elucidar hechos documentados pero no a interpretar su historia.
Habiendo sugerido que el concepto de funcin estaba ausente en estas antiguas obras
matemticas, permtanos sugerir, como lo hace Youschkevitch en [32], que Oresme se estaba
acercando en 1350 cuando describi las leyes de la naturaleza como leyes que dan una
dependencia entre una cantidad y otra. Youschkevich escribe [32]:
La nocin de una funcin aparece por primera vez en una forma ms general durante el siglo
XIV en las escuelas de filosofa natural de Oxford y Pars.
Galileo estaba empezando a entender el concepto an con mayor claridad. Sus estudios sobre el
movimiento contienen la clara comprensin de una relacin entre variables. De nuevo otra parte
de sus matemticas muestra que estaba empezando a captar el concepto de mapeo entre
conjuntos. En 1638 estudi el problema de dos crculos concntricos con centro O, el crculo mas
grande A con dimetro del doble que el crculo ms pequeo B. Pero al tomar cualquier punto P
sobre el crculo A entonces PA corta al crculo B en un punto. As Galileo haba construido una
funcin que mapeaba cada punto de A sobre un punto de B. De modo similar, si Q es un punto
sobre B entonces el segmento OQ resultante corta al crculo A en exactamente un punto. De
nuevo tiene una funcin, esta vez de los puntos en B hacia los puntos en A. Aunque la
circunferencia de A sea el doble de la circunferencia de B, ambas tienen el mismo nmero de
puntos. Tambin produjo la correspondencia uno-a-uno estndar entre los enteros positivos y sus
cuadrados, la cual (en trminos modernos) daba una biseccin entre N y un subconjunto propio.
Casi al mismo tiempo que Galileo llegaba a estas ideas, Descartes introduca el lgebra a la
geometra en La Gometrie (La geometra). Afirma que una curva puede dibujarse al permitir que
un lnea tome sucesivamente un nmero infinito de valores distintos. Esto de nuevo lleva el
concepto de funcin a la construccin de una curva ya que Descartes est pensando en
trminos de la magnitud de una expresin algebraica que toma infinitos valores como en que la
magnitud a partir de la cual se compone la expresin, toma un infinito nmero de valores
Detengmonos por un momento antes de llegar a la primera vez que se us la palabra 'funcin'.
Es importante entender que el concepto se desarroll con el paso del tiempo; su significado fue
cambiando y tambin fue siendo definido con mayor precisin a travs de los aos. Ya hemos
sugerido que una tabla de valores, aunque defina una funcin, no es pensada necesariamente por
su creador como una funcin. Los primeros empleos de la palabra 'funcin' s encapsulaban ideas
| INTRODUCCIN 4
del
concepto
moderno
pero
de
manera
mucho
ms
restrictiva.
Como tantos trminos matemticos, la palabra funcin fue usada por primera vez con su
significado no-matemtico. Leibniz escribi en agosto de 1673 de:
[...] otros tipos de lneas que, dada una figura, llevan a cabo alguna funcin.
Johann Bernoulli, en una carta a Leibniz escrita el 2 de septiembre de 1694, describe una
funcin como:
[...] una cantidad formada de alguna manera a partir de cantidades indeterminadas y constantes.
En un artculo de 1698 sobre problemas isoperimtricos, Johann Bernoulli escribe sobre
'funciones de ordenadas' (ver [32]). Leibniz le escribi a Bernoulli diciendo:
[...] Me agrada que use el termino funcin en el mismo sentido que yo.
Era un concepto cuya introduccin sucedi en el momento ideal en lo que respecta a Johann
Bernoulli ya que estaba estudiando problemas de clculo de variaciones en cuyas soluciones
aparecen funciones. Ver [28] para mayor informacin sobre cmo el autor considera que el
clculo de variaciones es la teora matemtica que se desarroll ms en conexin con el concepto
de
funcin.
Se puede decir que en 1748 el concepto de funcin salt a la fama en matemticas. Esto se debi
a Euler quien public Introductio in analysin infinitorum en el ao en que hace central el
concepto de funcin en su presentacin del anlisis. Euler defini una funcin en el libro como
sigue:
Una funcin de una cantidad variable es una expresin analtica compuesta de cualquier manera
a partir de la cantidad variable y de nmeros o cantidades constantes.
Todo esto est muy bien pero Euler no da una definicin de 'expresin analtica' sino que supone
que el lector entender que significa expresiones formadas por las operaciones comunes de suma,
multiplicacin, potencias, races, etc. Divide sus funciones en distintos tipos tales como
algebraicas y trascendentes. El tipo depende de la naturaleza de la expresin analtica; por
ejemplo, las funciones trascendentes son las no-algebraicas como:
[...] exponeciales, logaritmos y otras de las que el clculo integral nos provee en abundancia.
Euler permiti que las operaciones algebraicas de sus expresiones analticas aparecieran un
nmero infinito de veces, dando como resultado series infinitas, productos infinitos y fracciones
continuas infinitas. Ms adelante sugiere que una funcin trascendente debe ser estudiada
expandindola en una serie de potencias. No afirma que todas las funciones trascendentes puedan
ser expandidas de este modo pero s que se debe probar en cada caso especfico. Sin embargo,
haba una dificultad en el trabajo de Euler que generara confusin ya que no logr distinguir
entre una funcin y su representacin. No obstante, Introductio in analysin infinitorum cambiara
la manera en que los matemticos piensan sobre conceptos familiares. Jahnke escribe [2]:
Hasta Euler las cantidades trigonomtricas seno, coseno, tangente, etc. se consideraban como
lneas relacionadas con el crculo ms que como funciones. [...] Fue Euler quien introdujo el
acercamiento funcional.
| INTRODUCCIN 5
El concepto de funcin haba llevado a Euler a hacer muchos descubrimientos importantes antes
de que escribiera Introductio in analysin infinitorum. Por ejemplo, haba llegado a definir la
funcin gamma y a resolver el problema que haba derrotado a los matemticos durante mucho
tiempo: la suma de la serie
1 2
/1
Demostr
que
la
suma
da
2/6
public
el
resultado
en
1740.
Regresemos a los contenidos de Introductio in analysin infinitorum. All Euler presenta las
funciones continuas, discontinuas y mixtas pero ya que solo los primeros dos de estos conceptos
tienen significados modernos distintos, llamaremos las versiones de Euler E-continuas y Ediscontinuas para evitar confusiones. Una funcin E-continua era aquella que se expresaba
mediante una nica expresin analtica, una funcin mixta se expresaba en trminos de dos o ms
expresiones analticas y una funcin E-discontinua inclua funciones mixtas pero era un concepto
ms general. Euler no indic claramente qu quera decir por una funcin E-discontinua aunque
es obvio que las consideraba ms generales que las mixtas. Ms adelante las defini como
aquellas funciones que tenan curvas dibujadas arbitrariamente como sus grficas (de modo ms
bien confuso, son esencialmente lo que llamamos hoy funciones continuas).
En 1746 d'Alembert public una solucin al problema de una cuerda tensa que vibra. La solucin,
por supuesto, depende de la forma inicial de la cuerda y d'Alembert insisti en su solucin en que
la funcin que describe las velocidades iniciales de cada punto de la cuerda tena que ser Econtinua, es decir, expresada mediante una sola expresin analtica. Euler public un artculo en
1749 en el que objetaba la restriccin impuesta por d'Alembert, afirmando que, por razones
fsicas, expresiones ms generales para la forma inicial tenan que permitirse. Youschkevitch
escribe [32]:
d'Alembert no estaba de acuerdo con Euler. As empez la larga controversia sobre la naturaleza
de las funciones que se permitan como condiciones iniciales y en las integrales de las
ecuaciones diferenciales parciales, las cuales continuaba apareciendo en cantidades cada vez
mayores en la teora de la elasticidad, la hidrodinmica, la aerodinmica y la geometra
diferencial.
En 1755 Euler public otro libro muy importante, Institutiones calculi differentialis. En este libro
defini una funcin de manera totalmente general, dando lo que podemos razonablemente afirmar
que era una definicin verdaderamente moderna de funcin:
Si algunas cantidades dependen de otras del tal modo que si estas ltimas cambian tambin lo
hacen las primeras, entonces las primeras cantidades se llaman funciones de las segundas. Esta
definicin se aplica de manera ms bien amplia e incluye todas las formas en que una cantidad
puede ser determinada por otra. Si, por lo tanto, x denota una cantidad variable, entonces todas
las cantidades que dependen de x de cualquier modo, o que son determinadas por ella, son
llamadas funciones de x.
Esto podra haber sido un gran logro pero, despus de dar esta amplia definicin, Euler dedic el
libro al desarrollo del clculo diferencial usando solamente funciones analticas. El primer
problema con la definicin de Euler de tipos de funciones fue sealada en 1780 cuando se
demostr que una funcin mixta, dada por distintas frmulas, a veces poda darse mediante una
sola frmula. El ejemplo ms claro de una funcin as fue dado por Cauchy en 1844 cuando not
que la funcin
| INTRODUCCIN 6
| INTRODUCCIN 7
Est claro que Fourier ha dado una definicin que se aleja deliberadamente de las expresiones
analticas. Sin embargo, y a pesar de ello, cuando empieza a demostrar teoremas sobre expresar
una funcin arbitraria como serie de Fourier, entonces usa el hecho de que su funcin es
continua
en
el
sentido
moderno!
Dirichlet, en 1837, acept la definicin de funcin de Fourier e inmediatamente de dar esta
definicin, defini una funcin continua (usando continuo en el sentido moderno). Dirichlet
tambin dio un ejemplo de una funcin definida en el intervalo [0,1] que es discontinua en todos
sus puntos; sta es (x) definida como 0 si x es racional y 1 si x es irracional.
En 1838, Lobachevsky dio una definicin de una funcin general que todava necesitaba que sta
fuera continua:
Una funcin de x es un nmero que est dado para cada x y que cambia gradualmente junto con
x. El valor de la funcin puede estar dado mediante una expresin analtica o mediante una
condicin que ofrece una manera de probar todos los nmeros y seleccionar uno de ellos o,
finalmente, la dependencia puede existir pero ser desconocida.
Sin duda la funcin discontinua en todos los puntos de Dirichlet no sera una funcin bajo la
definicin de Lobachervsky. Hankel, en 1870, deplor la confusin que an reinaba sobre el
concepto de funcin:
Una persona define funcin esencialmente en el sentido de Euler, otra requiere que y debe
cambiar con x segn alguna ley, sin dar una explicacin de este obscuro concepto; la tercder la
define en la misma manera que Dirichlet, la cuarta sin ms no la define. Sin embargo, todo el
mundo deduce de su concepto conclusiones que no estn contenidas en l.
Alrededor de esa poca se construyeron muchas funciones patolgicas. Cauchy dio un ejemplo
temprano cuando not que (x) = exp(-1/x) para x0, (0) = 0, es una funcin continua cuyas
derivadas en 0 son todas 0. Por lo tanto, tiene una serie de Taylor que converge en todos los
puntos pero que solo es igual a la funcin en 0. En 1876 Paul du Bois-Reymond hizo la distincin
entre una funcin cuya serie de Fourier diverge en un punto. En esta lnea se avanz en 1885
cuando Weierstrass demostr que cualquier funcin continua es el lmite de una secuencia de
polinomios que converge uniformente. Anteriormente, en 1872, Weierstrass haba enviado un
artculo a la Academia de Ciencias de Berln dando un ejemplo de una funcin continua que no es
diferenciable en ningn punto. Ltzen escribe en [2]:
La funcin de Weierstrass contradeca la idea intuitiva de la mayor parte de sus contemporneas
que apuntaba a que las funciones contnuas eran differenciables excepto en 'puntos especiales'.
Fue una sensacin y, de acuerdo con Hankel, incredulidad cuando du Bois-Reymond la public
en 1875.
Poincar estaba a disgusto con la direccin que haba tomado la definicin de funcin. En 1899
escribi:
Durante medio siblo hemos visto una masa de funciones extraas que parecen forzadas a
parecerse lo menos posible a las funciones honestas que sirven a algn propsito. [...] Antes,
cuando se inventaba una nueva funcin era con una meta prctica. Hoy son inventadas a
propsito para mostrar que el razonamiento de nuestros ancestros fallaba y nunca obtendremos
ms que eso de ellas. Si la lgica fuera la nica gua del profesor, tendra que empezar por lo
ms general, es decir, las funciones ms estrambticas.
| INTRODUCCIN 8
De dnde han tomado el concepto las definiciones ms modernas? Goursat, en 1923, dio la
definicin que aparece en la mayora de los libros de textos hoy en da:
Se dice que y es una funcin de x si a cada valor de x le corresponde un valor de y. Esta
correspondencia se indica mediante la ecuacin y = (x).
En caso de que sta no sea lo suficientemente precisa y que involucra conceptos como 'valor' y
'correspondencia', vase la definicin dada por Patrick Suples en 1960:
Definicin. A es una relacin (x)(x A (y)(z)(x = (y,z)). Se escribe y A z si (y,z) A.
Definicin. es una funcin es una relacin y (x) (y) (z)(x y y x z y = z).
Qu hubiera pensado Poincar de la definicin de Suples?
Artculo de: J J O'Connor y E F Robertson
MacTutor History of Mathematics Archive
Fuente: http://ciencia.astroseti.org/matematicas/articulo_4379_historia_del_concepto_funcion.htm
Aplicaciones
La aplicaciones de los lmites se quedan en el mbitod el anlisis matemtico. Es un concepto necesario para
definir continuidad y toda la teora de funciones diferenciables y el clculo integral, as como toda la matemtica
superior que se desarrolla a partir de aqu
Muy probablemente no te vas a encontrar el lmite de ninguna funcin en tu vida cotidiana ni siquiera en tu vida
profesional aunque seas ingeniero o arquitecto. El lmite es una herramienta conceptual, pero eso si, de la
mxima importancia .
La virtud que tiene su estudio es que en realidad, las funciones en su mayora son continuas y tienen lmite en
todos sus puntos, luego lo que vas a estudiar aqu son los, llammosles casos raros, es decir aquellos puntos de
las funciones elementales que presentan dificultades. Este tema es pues un tema de excepciones
Objetivos Mnimos
Conocer los conceptos de lmite de una funcin en un punto (tanto finito como
infinito) y de lmite en el .
Saber calcular lmites de cocientes de polinomios.
Saber determinar las asntotas verticales, horizontales y oblicuas de una funcin.
Conocer el concepto de lmite lateral y su relacin con el de lmite.
Conocer las propiedades algebraicas del clculo de lmites, los tipos principales de
indeterminacin que pueden darse y las tcnicas para resolverlas.
Conocer el concepto de continuidad de una funcin en un punto, incluida la
continuidad lateral, y, como consecuencias elementales, la conservacin del signo y la
acotacin de la funcin en un entorno del punto.
Saber donde son continuas las funciones elementales.
Conocer los distintos comportamientos de discontinuidad que pueden aparecer y saber
reconocerlos usando los lmites laterales.
Saber determinar la continuidad de las funciones definidas a trozos.
| INTRODUCCIN 9
| INTRODUCCIN 10
CONCEPTOS BSICOS
La idea de lmite
En el estudio de sucesiones ya hemos considerado la idea de lmite de una sucesin de
nmeros reales. Ahora tenemos que dar un avance ms e introducir la misma idea pero con
funciones. Vamos por tanto a establecer ciertas comparativas entre uno y otro lmite para
intentar comprender al menos su significado intuitivo
Primero, una sucesin es una correspondiencia entre los nmeros naturales y los nmeros
n2 1
reales , de manera que , por ejemplo, la sucesin
hace corresponder
n
| CONCEPTOS BSICOS 11
Es decir, la lnea sera continua porque todos los elementos de tendran su correspondiente
imagen por f
Pues no hay ms, ya estamos trabajando con funciones en lugar de sucesiones, solo cambia el
n
1
1 e ,
lim
n
n
1
ahora en funciones tambin se sigue verificando que lim 1 e
x
x
| CONCEPTOS BSICOS 12
x k f ( x) l
x k f ( x) l
Ejemplo
x
1
1
La funcin f ( x) 1 es tal que lim f ( x) lim 1 e pues vemos que es
x
x
x
x
posible aproximar e a f(x) tanto como queramos con hacer x lo suficientemente
grande.
| CONCEPTOS BSICOS 13
Ejemplo
1
La recta y = e es una asntota horizontal para la funcin f ( x) 1
x
valor al que se aproximan las imgenes f(x) de los puntos x cuando stos tienden hacia x0 .
Esta definicin es inconcreta, usa palabras como tiende, aproxima, que en las Matemticas
actuales no se admiten, aunque puedan servir para facilitarnos la comprensin. Por ello, es
necesario introducin una definicin rigurosa de este concepto, definicin que vamos
arrastrar en lo sucesivo en la casi totalidad de los concetos del calculo infinitesimal.
Definicin matemtica de lmite
Decimos que una funcin f tiene lmite l cuando x tiende a x0 , y se escribe lim f ( x) l , si
x x0
es posible conseguir que f(x) est tan prximo a l como se quiera al tomar x suficientemente
prximo a x0, pero xx0
Esto que acabamos de decir, concretamente la frase que f(x) est tan prximo a l como se
quiera la expresi n equivalente "la variable x toma valores suficientemente prximos a
x0" en lenguaje matemtico equivale a decir que dependiendo de la proximidad de f(x) a l , as
deber estar ms o menos prximo x a x0 para que se cumpla la hiptesis /f(x)- l/< , es decir ,
debe de existir un tal que /x-x0/<. Todo esto se escribe as:
lim f ( x) l 0 0 /
x x0
x x0 f ( x) l
Esta definicin no es fcil de asimilar, pero tendrs que hacerlo, si no en secundaria, pues en
pre-universitario o en la universidad, pero no te queda ms remedio que lograrlo si quieres
cursar una carrera de ciencias. Tendrs que dibujar, las veces que sean necesarias, grficos de
funciones en un papel y dibujar puntos que se acerquen a x0 en el eje X y ver como la funcin
f(x) se acerca a l en el eje Y, y esto para todo nmero lo pequeo que quieras.
x0 x
lim f ( x) l 0 0 /
x x0
f ( x) l
lim f ( x) l 0 0 /
x x0
x x0
f ( x) l
cuando coinciden el lmite por la izquierda y el lmite por la derecha y son iguales a l:
x x0
x x0
x x0
Ejemplo
Vamos a ilustrar esta definicin con un ejemplo. Tomaremos la parbola ms simple,
la f(x) = x2, y vamos a calcular su lmite en x = 2
Hacemos una tabla de valores para ver el comportamiento de la parbola en puntos
que se aproximen a x = 2 por la izquierda y por la derecha.
x2-
y = f(x) ...
2.33333333
2.11111111
2.03703704
2.01234568
2.00411523
5.44444444
4.45679012
4.14951989
4.04953513
4.01647784
x2+
1.66666667
1.88888889
1.96296296
1.98765432
1.99588477
y = f(x) ...
2.77777778
3.56790123
3.85322359
3.9507697
3.98355603
Observamos que en ambos casios se tiene que , tanto por la derecha como por la
izquierda los valores de f(x) se acercan cada vez ms a 4. Esta idea se expresa as :
lim x 2 4 (lmite lateral por la izquierda)
x 2
lim x 2 4
x 2
Cuando el lmite por la derecha y por la izquierda existen y son iguales se dice que
existe lmite en ese punto y es :
lim x 2 lim x 2 lim x 2 4
x 2
x 2
x 2
| CONCEPTOS BSICOS 15
x x0
Se dice que lim f ( x) si para cualquier k positivo se puede encontrar un tal que f(x)<x x0
x x0
| CONCEPTOS BSICOS 16
lmites laterales no existe, o bien s existen pero no coincidiesen, decimos que la funcin f(x)
no tiene lmite en ese punto x0.
Ejemplo
2
cuya grfica dibujamos a continuacin. Se observa que en el
x
2
punto x0 = 0 los lmites por la izquierda y por la derecha existen pues el lim
x 0 x
2
y lim pero no coinciden y por tanto se dice que la funcin en el punto x0 = 0
x 0 x
no tiene lmite.
Sea la funcin f ( x)
| CONCEPTOS BSICOS 17
x x0
2
del ejemplo anterior
x
x x0
(l ) (l , l )
* ( x0 ) ( x0 , x0 ) / x * ( x0 )
f ( x) (l )
| CONCEPTOS BSICOS 18
lim f ( x) .
f
lim f ( x)
6. Si g(x) 0 entonces lim ( x)
, y siempre que no se den ninguna de las
lim g ( x)
g
0
indeterminaciones ,
0
p
7. p ; p 0 lim f p ( x) lim f ( x )
lim g ( x )
, y siempre
Calculo de lmites
Indeterminaciones
Como ya vimos en el estudio de las sucesiones de nmeros reales, hay 7 indeterminaciones
0
en el clculo de lmites que se representan por , , 0 , ,1 , 0 , 00
0
| CONCEPTOS BSICOS 19
Cuando se nos presente uno de estos casos, o bien empleamos una estrategia que resuelva la
indeterminacin, o bien, si no podemos, daremos el resultado por indeterminado.
Los mtodos para resolver estas indeterminaciones son semejantes a los ya dados en lmites
de sucesiones. Veamos aqu algunos ejemplos adaptados al caso de funciones reales.
Ejemplos caso 1:
Ejemplo 1
2 x3
x4
1
2 lim
2x
0
x x
lim 4
lim 4
x x x
1 1 0
x x x
lim1 lim 3
x 4 x 4 x x x
3
Ejemplo 2
2 x3
x3
lim 2
2 x3
2
2
x
lim
3
3
x 3 x 1
x 3 x 1 lim 3 lim 1 3 0 3
x x 3
x3 x 3 x
lim
Ejemplo 3
lim
5x 2
lim
4 x 1 x
3
5 x2
lim 5
x2
x
3
4x 1
4 x3
1
lim 4 lim 4
x x
x x
x2
5
4
1
lim 4
x x
x x
lim
Ejemplo 4
lim
lim
4 x x x
4x
4
4 x2
lim 4
4
4
x2
x
2
4
2
1
40 2
4x
x
lim 4 lim 2
4
4
x
x x
x
x
Ejemplo 5
lim
x2 x
lim
x
x
x2 x
x2 x
1
x
lim
1 lim 1
2
x
x
x
x
x
lim
lim 2
0
x x 1
x
x
x 1
x 1 x 1
x 1
| CONCEPTOS BSICOS 20
Ejemplo 2
x 1 x 2 1 x 2 x 1
2 x 2 x 1
x 1
x2
lim
2 lim
lim
0
2
x x 1
x
x
x 1
x 1 x 2 1
x 1 x 1
Ejemplo 3
lim
x
x 1 x 1 lim
x
x 1 x 1
...
x 1 x 1
x 1 x 1
x 1 x 1
2
... lim
lim
0
x
x
x 1 x 1
x 1 x 1
Ejemplo 4
x x2 1 x x 2 1
lim x x 1 lim
x
x
x x2 1
...
x 2 x 2 1
1
... lim
lim
0
2
2
x
x
x
1
x
lim 1
x
2x 1
x 2
2 x 2 2
2x
4
1
1
1 2
lim 1
lim 1
1
...
x
x
2x 1 2x 1
2x 1
4 2
2x
1
1
4 2
lim 1
lim
(1
0)
e
x 2 x 1 x 2 x 1
0
Ejemplos del caso 4: 0
Este caso es el que presenta algn tipo de novedad con respecto a las indeterminaciones que
aparecan en los lmites de sucesiones, porque ahora, con lmites de funciones, se puede dar el
caso de que el lmite sea puntual y sea 0. Veamos ejemplos:
Ejemplo 1
lim
x 2
x2 x 6 4 2 6 0
( x 2)( x 3)
( x 3) 2 3 5
lim
lim
2
x 3 x 10 4 6 10 0 x 2 ( x 2)( x 5) x 2 ( x 5) 2 5 7
Ejemplo 2
| CONCEPTOS BSICOS 21
lim
x 1
x3 2x2 5x 6 0
( x 1)( x 2)( x 3)
( x 2)( x 3) 3 4
lim
2
lim
2
x 1
x 4 x 5 0 x 1
( x 1)( x 5)
( x 5)
6
Ejemplo 3
( x 1) ( x 2 x 1)
x3 1 0
( x 2 x 1) 1 1 1 3
lim 2 lim
lim
x 1 x 1
x 1
( x 1)
1 1
2
0 x1 ( x 1) ( x 1)
Ejemplo 4
x 1 1 x
x
x x 1 x
0
lim
lim
lim 1 1 x 2
x 0 1 1 x
x 0
x 0
x
0 x 0 1 1 x 1 1 x
lim
1
lim 2 x 2 x 0 lim 2 lim 1 1
x x
x
x
x
x
Ejemplo 2
x 2 x 1
x3 x 2
x 1
lim
2 0 lim 3
lim
1
2
x x 1
x
x
x 1
x x
e
emplear un resultado que dice que lim
x x0
En algunos de estos casos puede ocurrir que aplicando lo dicho no podamos resolver la
indeterminacin. Estos casos, se resuelven en los temas sucesivos aplicando la Regla de
L'Hpital.
Ejemplo 1
1
lim 2
x x
1
x
0 lim e
0
1
1
ln
x x2
ln1 ln x
2
lim e
x
lim
ln x 2
x
......
Ejemplo 1
| CONCEPTOS BSICOS 22
1 3 x 2
2
1 x
lim
x 0 1 x 2
x2
1 e
1 3 x 2 1 x 2
1
2
x0 x 2
1 x
lim
lim
x0
1 3 x 2 2 x 2
2
x 2 1 x
lim
x0
2(1 3 x 2 )
1 x 2
e2
lim
x 0
sin( x)
1
x
Demostracin
Partimos de que es cierta la inecuacin trigonomtrica sin(x) < x < tan(x) en el intervalo
x
tan x
1
(0,/2). Si dividimos por sin(x), obtenemos que 1
sin x
1
x
sin x
sin x
lim1 1 lim
1
x0
x 0
x 0
x
x
sin x
1
x 0
x
tan( x)
1
x 0
x
lim
Demostracin
Utilizando las propiedades de los lmites y el valor obtenido en el lmite anterior, tenemos:
tan x
sin x
sin x
1
sin x 1
lim
lim
lim
lim
1 1 1
x0
x 0 x cos x
x0
x
x cos x x0 x x0 cos x
lim
Ejemplo - Ejercicio
Basndote en el anterior resultado calcula
| CONCEPTOS BSICOS 23
sin(12 x)
tan(4 x)
1 cos( x)
lim
1 (Nota: Usa la frmula del sen(x/2))
x0
x
lim
x 0
| CONCEPTOS BSICOS 24
FUNCIN CONTINUA
Definicin: Funcin continua.
Una funcin f se dice que es continua si su dibujo se puede realizar de un solo trazo.
Funcin continua
Funcin discontinua
Esta definicin dada en los primeros niveles de secundaria, aunque vlida, es poco rigurosa, y
no nos sirve de mucho a la hora de demostrar las propiedades de la continuidad ni desarrollar
toda la teora que sigue a partir de aqu, por eso es necesario formalizar este concepto de una
manera mucho ms rigurosa a partir del concepto de lmite.
Observemos que la funcin no tiene por qu estar definida en x0 para tener lmite en ese
punto, incluso aunque est definida no es necesario que sea igual al lmite. No obstante si f(x)
s est definida en x0 y f(x0) = l entonces
surge la definicin de continuidad
La funcin de la izquierda no est definida
1
en x0 = 0 y por lo tanto no existe el lim 2 y
x 0 x
sin embargo tiene lmites por la derecha
1
1
lim 2 y por la izquierda lim 2
x 0 x
x 0 x
en ese punto. Es ms, no solo tiene lmites
sino que incluso coinciden.
| FUNCIN CONTINUA 25
La definicin de continuidad esta pues totalmente ligada a la definicin de lmite hasta tal
punto que podemos decir:
f continua en x 0 Existe lim f ( x) f ( x0 ) 0 0 / x x0 f ( x) f ( x0 )
x x0
Es decir, que si fijamos un entorno de f(x0) de radio , que denotaremos E(f(x0), ), podemos
encontrar un entorno de x0 de radio , que depende de y llamaremos E(x0, ), de modo que
para cualquier valor de x que est en el entorno E(x0, ) exceptuando el propio x0, se tiene que
su imagen f(x0) est en el entorno E(f(x0), )
Teorema
Si y = f(x) es continua en x0 entonces existe el lim f ( x) (La demostracin es inmediata)
x x0
Demostracin
Es inmediata de la propia definicin de continuidad
Sin embargo, el teorema recproco no es cierto en general. Como contraejemplo tenemos la
x2 1
funcin f ( x)
que en x0 = 1 verifica que lim f ( x) 2 y lim f ( x) 2
x 1
x 1
x 1
Ejemplo
Vamos a comprobar que lim 2 x 6
x 3
Funciones racionales
k
2
P( x )
; con P(x) y Q(x)
Q( x )
dos polinomios.
Esta funcin presenta discontinuidad si Q(x) =0
Las races pares de nmeros negativos no exiasten en luego en este
conjunto no son continuas.
Tipos de discontinuidad
Existen 3 tipos de discontinuidad
Discontinuidad evitable
Discontinuidad de salto finito
Discontinuidad de salto infinito
x x0
x x0
Ejemplo 1
x 1 si x<0
La funcin f ( x ) 2
, no est definida para x0 = 0, luego no puede ser
x 1 si x>0
continua en ese punto a pesar de que lim f ( x) lim f ( x) 1 .
x x0
x x0
Ejemplo 2
x 1 si x<0
no coincide con los lmites laterales que valen 1: lim f ( x) lim f ( x) 1 f (0) 0 .
x x0
x x0
la izquierda lim f ( x)
x x0
Ejemplo
si x 0
x
La funcin f ( x ) 2
, si est definida
x 1 si x>0
para x0 = 0, pues f(2) = 2, sin embargo lim f ( x) 0 y
x x0
lim f ( x) 1
x x0
x x0
Caso 4 Esencial
Cuando no existe alguno de los lmites laterales (o ambos).
Puede serlo por la derecha, por la izquierda o por ambos lados.
| FUNCIN CONTINUA 28
Definicin: Salto
Si una funcin f tiene una discontinuidad de salto en x0, llamaremos salto de la funcin en x0
al valor lim f ( x) lim f ( x) .
x x0
x x0
| FUNCIN CONTINUA 29
lim f ( x)
x x0
| FUNCIN CONTINUA 30
Ejemplo 1
Calcular y representar las asntotas de la funcin f ( x)
x2 x 1
x2
Ejemplo 2
x2 x
Calcular y representar las asntotas de la funcin f ( x) 2
x 1
Ejemplo 3
Calcular y representar las asntotas de la funcin f ( x)
3 x3 2 x 2 5
x2 1
| FUNCIN CONTINUA 31
f g es continua en x0.
f g es continua en x0.
f
c)
es continua en x0 si g(x0) 0
g
d) f g es continua en x0 suponiendo que f(x0) > 0 (para que tenga sentido la potencia).
Teorema
Si f es continua en x0 y g es continua en f(x0) entonces g f es continua en x0.
Demostracin
f
g
f ( x)
g f ( x)
Consideramos. x a, b
Dado >0
Por ser g continua en f(x0) entonces 0 / f ( x) f ( x0 ) g f ( x) g f ( x0 )
Por ser f continua en x0 dado el anterior 0 / x x0 f ( x) f ( x0 )
De ambas desigualdades en conjunto se tiene que:
Dado >0 0 / x x0 f ( x) f ( x0 ) g f ( x) g f ( x0 )
| FUNCIN CONTINUA 32
f ( x0 )
0 , como f es continua en x0 se tiene que
2
0 / x x0 f ( x) f ( x0 )
f ( x0 ) 3 f ( x0 )
,
Es decir, si x x0 , x0 f ( x) f ( x0 ) , f ( x0 )
2
2
Por lo tanto: f(x) > 0. (c.q.d.)
Nota: Si x0 = b (respectivamente x0 = a) entonces existe un tal que f toma en (b-,b)
(respectivamente (a,a+) el mismo signo que f(x0).
Teorema de acotacin
una funcin continua en [a,b] y x0(a,b) entonces existe > 0 tal que f es
Sea f : a, b
acotada en E(x0,).
Demostracin
Tomemos 1 0 . Por la continuidad de f(x) en x0 se tiene que:
0 / x x0 , x0 f ( x) f ( x0 ) , f ( x0 ) f ( x0 ) 1, f ( x0 ) 1
| FUNCIN CONTINUA 33
una funcin continua en [a,b], tal que f toma valores de signos distintos
Sea f : a, b
en los extremos a y b del intervalo, es decir,
c(a,b) tal que f(c) = 0.
Entonces existe
Demostracin
Supongamos que f(a) < 0 y f(b) > 0 (Se razona de forma anloga si ocurre lo
contrario).
ab
Si f
0 el teorema est demostrado. En caso contrario, la funcin tomar en
2
dicho punto un valor del mismo signo que f(a) o que f(b).
Sea I1=[a1,b1] el nuevo intervalo donde hay cambio de signo.
a b
Si f 1 1 0 el teorema est demostrado. En caso contrario, repetimos el
2
proceso anterior.
De esta manera se obtiene una sucesin de intervalos I1 I 2 I3 ... I n ... de
intervalos encajados tales que cada uno es la mitad del anterior y la funcin toma
valores opuestos en los extremos de cada intervalo.
Dicha sucesin define un nmero real c(a,b). Demostremos que f(c) = 0.
Supongamos que f(c) 0, entonces por el Teorema del Signo existir un entorno de c
donde se mantendr el mismo signo que en c. Sin embargo, por la construccin
anterior, dicho entorno contendr uno al menos de los intervalos Ii , donde la funcin
tomaba valores opuestos. Llegamos pues a una contradiccin, lo que implica que
necesariamente f(c) = 0.
Consecuencia: Si f es continua en [a,b] y k es un valor comprendido entre los valores
de f(a) y f(b) (o al revs) entonces c(a,b)/ f(c) = k. (Basta aplicar el Teorema de
Bolzano a g(x) = f(x) - k)
Idea intuitiva del Teorema de Bolzano
Vamos a hacer la demostracin de forma grfica que, aunque no es una demostracin formal,
sirve para que entendamos la idea de fondo que subyace en este teorema.
Si f(a) y f(b) tienen signos distintos, entonces los puntos (a,f(a)) y (b,f(b)) estarn situados,
uno por encima del eje X y otro por debajo.
Como por hiptesis la funcin f es continua, necesariamente su grfica describir una curva
que una los dos puntos.
| FUNCIN CONTINUA 34
Entonces, necesariamente la curva en su trayecto del uno al otro punto tendr necesariamente
que cortar al eje X.
Ejemplo
En el dibujo adjunto, vemos una funcin
que en los puntos 2 y 6 toma valores de
signo contrario, en 2 es negativa y en 6 es
positiva. Como la funcin es continua,
partiendo de (2,f(2)) necesariamente en
algn momento tendr que cruzar el eje X
en busca del (6,f(6)).
ab
y los
2
subintervalos [a,x0] y [x0,b] y f no est acotada en uno de ellos al menos, al cual
llamaremos I1.
Supongamos que no lo est, consideremos entonces el punto medio x0
Dividimos I1 en dos mitades y llamemos I2 a aquella mitad de las dos (al menos) en la
que f no est acotada. Repetimos el proceso indefinidamente, obteniendo una sucesin
I1 I 2 I3 ... I n ... de intervalos encajados, cada uno la mitad del anterior,
donde f no est acotada.
Sea c el nmero real que define esta sucesin. Como f es continua en [a,b] se tiene que
f es continua en c por lo que, aplicando el Teorema de Acotacin, existir un entorno
de c en el que la funcin est acotada. Pero en dicho entorno y por construccin
estarn incluidos a partir de uno todos los Ii donde la funcin no estaba acotada, por lo
que llegamos a una contradiccin.
Por lo tanto, f est acotada en [a,b].
f alcanza el mximo en [a,b]. (Anlogamente se demuestra que alcanza el mnimo).
Si f est acotada en [a,b] entonces x a, b m, M / m f ( x) M
siendo m el nfimo o extremo inferior y M el supremo o extremo superior.
Si en algn punto de [a,b] resulta que f(x) = M, el teorema estar demostrado.
| FUNCIN CONTINUA 35
f ( x) M
1
una funcin que es continua en [a,b]. g necesariamente es
M f ( x)
1
1
k f ( x) M
x a, b que f(x)
acotada en [a,b] k /
M f ( x)
k
alcanza un mximo absoluto en [a,b]
Sea g ( x)
U
AB
UU|
| FUNCIN CONTINUA 37