Analysis

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

Iniciado por: Miguel Prez Fontenla

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

sistema sobrevino, con el sistema en coordenadas cartesianas conceptualizado por Descartes).

La abstraccin matemtica haca posible el descubrimiento de nuevas relaciones que los
fenmenos no podan mostrar, obtenindose de sta forma, una notable aceleracin del
progreso cientfico.
Despus del Discurso sobre el Mtodo de Conducir Rectamente la Razn y Buscar la Verdad
de las Ciencias , publicado por Descartes en el ao de 1637, otros matemticos y fsicos tales
como: Fermat, Newton, Leibniz, Galileo, Johann Bernoulli, Euler, Claireaut, D'alambert y
ms recientemente Gustav Dirichlet, contribuyeron decisivamente con el desarrollo del
concepto de funcin, y ms an, con los fundamentos que dieron origen a otras reas
disciplinarias en el mbito cientfico.
En particular Leibniz utiliza por primera vez en la historia, la palabra "funcin" . A pesar de
que a los 26 aos de su vida poco o nada saba de matemtica, ste hombre un genio de su
poca, emprendi el estudio de esta disciplina recibiendo clases particulares en los intervalos
de tiempo libre que le dejaba su trabajo de diplomtico. En 1676, ao en que se puso al
servicio del duque Brunswick, descubri el llamado Teorema Fundamental del Clculo . En
1677, 12 aos despus de que Newton descubriera la misma teora (el clculo), Europa
conoci sus trabajos. En menos de cincuenta aos el clculo pasara a ser, en el continente,
una herramienta de gran utilidad en la matemtica y en las ciencias aplicadas
Cuando Leibniz tena alrededor de 31 aos su descubrimiento del Clculo Diferrencial e
Integral lo haba hecho famoso en toda Europa. En cambio para Newton (quien haba
desarrollado la misma teora de forma independiente) debido a su aparente repugnancia, el
Clculo de la Fluxiones (como l mismo lo denomin) result ser en Inglaterra una simple
curiosidad.
El concepto de funcin indiscutiblemente permiti profundizar en el conocimiento de los
fenmenos de la naturaleza y al mismo tiempo di origen a diversas disciplinas, sin las
cules, no existiran en la actualidad campos tan diversos en ingeniera, matemtica y fsica
terica.
http://www.cidse.itcr.ac.cr/revistamate/AportesPe/Externos/fcuadraticas/paginas/historia2.htm

Historia del concepto de funcin

Si tratramos hoy de contestar a la difcil pregunta 'qu son las matemticas?' muchas veces
respondemos algo como 'El estudio de las relaciones entre conjuntos' o 'El estudio de las
dependencias entre cantidades variables'. Si estas afirmaciones son cercanas a la verdad entonces
sera lgico sugerir que el concepto de funcin debe haber aparecido desde las primeras etapas
del desarrollo de las matemticas. Ciertamente, si vemos las matemticas babilnicas
encontramos tablas de cuadrados de los nmeros naturales, cubos de los nmeros naturales y
recprocos de los nmeros naturales. Estas tablas sin duda definen funciones de N sobre N o de N
sobre R. E. T. Bell escribi en 1945:
Puede no ser demasiado generoso dar crdito a los antiguos babilonios de tener el instinto de
funcin; ya que una funcin ha sido definida sucesivamente como una tabla o como una
correspondencia.
Sin embargo esto seguramente viene de ver a los antiguos matemticos a travs de ojos
modernos. Por lo tanto tenemos que rechazar la sugerencia de que el concepto de funcin
estuviera presente en las matemticas babilnicas aunque podamos ver que estudiaban funciones

| 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

+ 1/22 + 1/32 + 1/42 + ...

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

y = x para x0, y = -x para x < 0

poda expresarse mediante la frmula y = (x). Por lo tanto dividir las funciones en E-continuas
y mixtas no tena sentido. Sin embargo, una objecin ms seria vino del trabajo de Fourier quien
afirm en 1805 que Euler estaba equivocado. Fourier demostr que algunas funciones
discontinuas podan representarse por lo que hoy llamamos una serie de Fourier. La diferencia
entre funciones E-continuas y funciones E-discontinuas, por ende, no exista. El trabajo de
Fourier no fue aceptado de inmediato y matemticos prominentes como Lagrange no lo
aceptaron en ese momento. Luzin seala en [17] y [18] que la confusin respecto a las funciones
se haba debido a una falta de comprensin de la diferencia entre 'funcin' y su representacin;
por ejemplo como una serie de senos y cosenos. EL trabajo de Fourier llevara finalmente a
clarificar el concepto de funcin cuando, en 1829, Dirichlet demostr algunos resultados
concernientes a la convergencia de las series de Fourier, y aclarando as la diferencia entre una
funcin
y
su
representacin.
Otros matemticos dieron sus propias versiones de la definicin de funcin. Condorcet parece
haber sido el primero en retomar la definicin general de Euler de 1755 (ver [31] para ms
detalles). En 1778 Condorcet envo las primeras dos partes de un trabajo de cinco, Trait du
calcul integral a la Academia de Pars. Nunca fue publicado pero muchos de los principales
matemticos franceses lo vieron. En esta obra, Condorcet distingue tres tipos de funciones:
funciones explcitas, implcitas dadas solo por ecuaciones no resueltas y funciones que se definen
a partir de consideraciones fsicas tales como las que son solucin de una ecuacin diferencial.
Lacroix, quien haba ledo el trabajo inconcluso de Condorcet, escribi en 1797:
Cada cantidad cuyo valor depende de una o ms cantidades se llama una funcin de stas
ltimas, se conozca o no qu operacin es necesario usar para llegar de la ltima a la primera.
Cauchy, en 1821, dio una definicin que hace de la dependencia entre variables el centro del
concepto de funcin. Escribi en Cours d'analyse:
Si cantidades variables son unidas entre ellas de tal modo que el valor de una de ellas est dado,
se puede llegar a los valores de todas las otras; uno ordinariamente concibe estas distintas
cantidades como expresadas mediante una de ellas, la cual entonces toma el nombre de variable
independiente; las otras cantidades expresadas mediante la variable independiente son aquellas
a las que se llaman funciones de esta variable.
Ntese que a pesar de la generalidad de la definicin de Cauchy, que est diseada para cubrir
tanto las funciones implcitas como las explcitas, an piensa en una funcin en trminos de una
frmula. De hecho, hace la distincin entre funciones implcitas y explcitas justo despus de dar
esta definicin. Tambin introduce conceptos que indican que todava peinsa en trminos de
expresiones
analticas.
Fourier, en Thorie analytique de la Chaleur en 1822, dio la siguiente definicin:
En general, la funcin (x) representa una sucesin de valores u ordenadas cada uno de los
cuales es arbitrario. Dados una infinidad de valores de la abscisa x, hay un nmero igual de
ordenadas (x). Todas tienen valores numricos, ya sean positivos, negativos o cero. No
suponemos que estas ordenadas estn sujetas a una ley comn; se siguen unas a otras de una
forma cualquiera y cada una de ellas est dada como si fuera una cantidad sola.

| 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

Conocer el concepto de continuidad de una funcin en un intervalo y qu significa eso

en los extremos del intervalo.
Conocer el teorema del valor intermedio de Bolzano y su aplicacin a la localizacin
de ceros de una funcin y al dibujo de grficas de funciones que se cortan.
Conocer el teorema de existencia de extremos absolutos de Weierstrass y, como
consecuencia, que toda funcin continua en un intervalo cerrado y acotado est
acotada y alcanza sus extremos.

| 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

Esta correspondencia, al tratarse de conjuntos numricos, queda mejor expresada mediante el

diagrama cartesiano donde los puntos gordos simbolizan los puntos de correspondencia

| CONCEPTOS BSICOS 11

Qu ocurrira si el conjunto origen fuese en lugar de ? Pues bsicamente que la sucesin

x 2 1
sera
(es la misma pero con un cambio de notacin al tratarse ahora de ) y que
x x
el diagrama cartesiano sera

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

conjunto origen, el resto es igual. Cuando en sucesiones vimos que el

1
1 e ,
lim
n
n

1
ahora en funciones tambin se sigue verificando que lim 1 e
x
x

| CONCEPTOS BSICOS 12

Limite de un funcin en el infinito

Esta ejemplo anterior nos ilustra la siguiente definicin
Definicin: Lmite de una funcin en +
Decimos que el lmite de una funcin f cuando x tiende a + es el nmero real l, y se
escribe lim f ( x ) l , cuando para valores suficientemente grandes de x, los valores de la
x

funcin f(x)se aproximan a l.

La expresin suficientemente grandes que, en principio, puede parecer una expresin
matemticamente inconcreta, queda definida de forma rigurosa con la siguiente equivalencia:
lim f ( x ) l 0 k 0; k /

x k f ( x) l

Definicin: Lmite de una funcin en -

Anlogamente, decimos que el lmite de una funcin f cuando x tiende a - es el nmero
real l, y se escribe lim f ( x) l , cuando para valores suficientemente pequeos de x, los
x

valores de la funcin f(x)se aproximan a l.

Su expresin en notacin matemtica es:
lim f ( x ) l 0 k 0; k /

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.

Definicin: Asntota horizontal

Cuando lim f ( x ) l cuando lim f ( x) l la recta horizontal de ecuacin y = l se denomina
x

asntota horizontal de la funcin f(x).

| CONCEPTOS BSICOS 13

Ejemplo

1
La recta y = e es una asntota horizontal para la funcin f ( x) 1
x

Limite de un funcin en un punto

Definicin intuitiva de lmite
Dada una funcin f , el lmite de f cuando x tiende a x0 , que se denota por lim f ( x ) es el
x x0

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.

Sin embargo, aunque lo anteriormente dicho es absolutamente correcto y vlido, para

introducir hoy en da el concepto de lmite se hace mediante una doble definicin que
exponemos a continuacin
Definicin: lmite por la izquierda en un punto.
Decimos que una funcin f tiene lmite l cuando x tiende a x0 por la izquierda , y se escribe
lim f ( x ) l , cuando para valores muy prximos pero menores que x0, los valores de la
x x0

funcin f(x)se aproximan a l.

| CONCEPTOS BSICOS 14

x0 x

lim f ( x) l 0 0 /

x x0

f ( x) l

Definicin: lmite por la derecha en un punto.

Decimos que una funcin f tiene lmite l cuando x tiende a x0 por la derecha, y se escribe
lim f ( x ) l , cuando para valores muy prximos pero mayores que x0, los valores de la
x x0

funcin f(x)se aproximan a l.

lim f ( x) l 0 0 /

x x0

x x0

f ( x) l

Definicin: lmite de una funcin en un punto.

Decimos que una funcin f tiene lmite l cuando x tiende a x0, y se escribe lim f ( x) l ,
x x0

cuando coinciden el lmite por la izquierda y el lmite por la derecha y son iguales a l:

lim f ( x) l lim f ( x ) lim f ( x) 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

(lmite lateral por la derecha)

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

Dibujamos un grfico representativo de esta situacin para que lo medites.

| CONCEPTOS BSICOS 15

Lmites infinitos de una funcin en un punto

Se dice que lim f ( x) si para cualquier k positivo se puede encontrar un tal que f(x)>k
x x0

cuando /x-x0/< . Es decir

lim f ( x) k 0 0 / x x0 f ( x) k

x x0

Se dice que lim f ( x) si para cualquier k positivo se puede encontrar un tal que f(x)<x x0

k cuando /x-x0/< . Simblicamente:

lim f ( x) k 0 0 / x x0 f ( x) k

x x0

| CONCEPTOS BSICOS 16

Definicin: Inexistencia del lmite

Si queremos calcular el lmite de una funcin en un punto, es decir lim f ( x ) , y alguno de los
x x0

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

Definicin: Asntota Vertical

Si existe un x0 tal que lim f ( x) o lim f ( x)
x x0

x x0

decimos que la recta vertical de

ecuaci x = x0 es una asntota vertical para la funcin f(x)

Ejemplo
La lnea vertical x = 0 es una asntota para la fuincin f ( x)

2
del ejemplo anterior
x

Definicin de lmite basada en intervalos

lim f ( x ) l

x x0

(l ) (l , l )

* ( x0 ) ( x0 , x0 ) / x * ( x0 )

f ( x) (l )

Lmites infinitos de una funcin en el infinito

Se dice que lim f ( x ) si para cualquier k positivo se puede encontrar un H positivo tal
x

que para todo x mayor que H se tiene que f(x)> k

Se dice que lim f ( x ) si para cualquier k positivo se puede encontrar un H positivo tal
x

que para todo x mayor que H se tiene que f(x)<- k

Se dice que lim f ( x ) si para cualquier k positivo se puede encontrar un H positivo tal
x

que para todo x menor que H se tiene que f(x)> k

Se dice que lim f ( x ) si para cualquier k positivo se puede encontrar un H positivo tal
x

que para todo x menor que H se tiene que f(x)<- k

| CONCEPTOS BSICOS 18

Si escribimos lim f ( x) sobreentenderemos que el resultado es vlido para lim f ( x) y

x

lim f ( x) .

Propiedades de los limites de funciones

Designaremos por lim f ( x ) el lmite de la funcin f(x) tanto si es un lmite puntual lim f ( x)
x x0

como si es un lmite en el infinito lim f ( x) .

x

Se verifican entonces las siguientes propiedades:

1. El lmite de una funcin en un punto si existe , es nico y es igual a los lmites
laterales.
TEOREMA: Si existe el lmite, ste es nico. (Demostracin inmediata).
2. Si una funcin f tiene lmite distinto de cero en un punto entonces existe un entorno
del punto en el que los valores que toma f tienen el mismo signo que el lmite .
TEOREMA: Existe el lmite si y solo si existen los limites laterales (por la derecha y
por la izquierda) y ambos coinciden. (Demostracin inmediata).

3. lim f g ( x ) lim f ( x ) lim g ( x) , siempre que no se de la indeterminacin -

4. lim f g ( x ) lim f ( x ) lim g ( x) , siempre que no se de la indeterminacin 0
5. k ; k 0 lim k f ( x ) k 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 )

Si lim f ( x) 0 y lim g ( x ) 0 entonces lim f ( x) g ( x ) lim f ( x)

que no se den ninguna de las indeterminaciones 0 , 00 ,1
9. lim g f ( x ) g lim f ( x )
8.

, 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

Ejemplos del caso 2:

Ejemplo 1
x x 1 x x 1
x
2 x
x
lim

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

Ejemplo del caso 3: 1

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

Ejemplos del caso 5: 0

Ejemplo 1
x2 x
1

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

Ejemplos de los casos 5, 6 y 7

Las indeterminaciones del tipo 1 , 0 ,00 se pueden resolver utilizando la propiedad
g ( x ) ln f ( x )
con lo que se reducir a una de las indeterminaciones ya estudiadas .
f ( x) g (x) e
En el caso concreto de 1 y que no sea aplicable una expresin en el nmero e se puede
g ( x ) f ( x ) 1
lim
g (x)
x x0
f
(
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

Lmites de funciones trigonomtricas.

Teorema

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 sin x cos x

Invirtiendo los trminos de la inecuacin: cos x

sin x
1
x
sin x
sin x
lim1 1 lim
1
x0
x 0
x 0
x
x

Tomamos lmites cuando x tiende a 0: lim cos x lim

x0

sin x
1
x 0
x

Aplicando el Teorema del sndwich: lim

Teorema

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

Definicin: Funcin continua en un punto

Se dice que la funcin f es continua en un punto x0 si se verifican las tres condiciones:
1. La funcin f est definida en x0, es decir, existe f(x0)
2. Existe lim f ( x)
x x0

3. Se cumple que lim f ( x) f ( x0 )

x x0

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

Tomamos = 0.1 , es decir , la distancia entre f(x) y

el lmite 6 es menor que 0.1,
f(x) - 6<0.1 2x-6<0.1 -0.1<2x-6<0.1
5.9<2x<6.1 2.95<x<3.05 ...
... 3-0.05<x<3+0.05 x-3<0.05 luego
debemos tomar = 0.05
Para cualquier que tomemos todo lo pequeo que
nosotros queramos , y siempre encontraremos un
apropiado.
En general para esta funcin : f(x) - 6< 2x-6< -<2x-6< 6-<2x<6+
3-/2<x<3+/2 x-3</2 luego debemos tomar = /2.
depende siempre del valor de que tomemos .
| FUNCIN CONTINUA 26

Definicin: Continuidad en un intervalo

Una funcin f se dice que es continua en un intervalo (a,b) de la recta real si lo es en cada
uno de sus puntos.
Definicin: Discontinuidad en un punto
Si una funcin f no es continua en un punto x0 se dice que f presenta una discontinuidad
en x0.

Continuidad de las funciones elementales

Funciones polinmicas
Funciones exponenciales
Funciones logartmicas
Funciones trigonomtricas

Son siempre continuas en todo

Son continuas en todo
La funcin logartmica no est definida para el intervalo (-,0 ] luego
ah no es continua
El seno y coseno son continuas
La tangente es discontinua para x

Funciones racionales

k
2

Una funcin racional es de la forma f ( x)

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.

Funciones con radicales

Tipos de discontinuidad
Existen 3 tipos de discontinuidad

Discontinuidad evitable
Discontinuidad de salto finito
Discontinuidad de salto infinito

Caso 1: Discontinuidad evitable (1 especie)

Este primer tipo de discontinuidad ocurre cuando la funcin
no est definida en ese punto. Ms concretamente:
1. O bien la funcin f no est definida en x0, es
decir, no existe f(x0)
2. O bien no se cumple que f ( x0 ) lim f ( x) que
x x0

Pero s se cumple la segunda propiedad que

lim f ( x) lim f ( x) lim f ( x)
x x0

x x0

x x0

Se llama evitable porque si redefinimos la funcin en x0 de

| FUNCIN CONTINUA 27

manera que f ( x0 ) lim f ( x) la funcin sera continua

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

si x=0 , s est definida para x0 = 0, y vale f(0) = 0, pero

La funcin f ( x) 0
x 2 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

Caso 2: Discontinuidad inevitable de salto finito (2 especie)

La discontinuidad de segunda especie o no inevitables ocurren
cuando la funcin s est definida en ese punto, pero presenta
un salto en su traza, es decir, cuando f(a) existe pero no existe
lim f ( x) porque sus lmites laterales, aunque existen, no
x x0

coincide el lmite por la derecha lim f ( x) con el lmite por

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

Caso 3: Discontinuidad inevitable asinttica

Esta discontinuidad es tambin inevitable de 2 especie y se
produce cuando alguno de los dos lmites laterales, o bien
lim f ( x) , o bien lim f ( x) , son infinitos.
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: Valor Verdadero

Si una funcin f tiene una discontinuidad evitable en x0, llamaremos verdadero valor de la
funcin en x0 al lim f ( x) . Dicho valor es el que convierte a la funcin en continua.
x x0

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

Asntotas de una funcin

Definicin: Ramas infinitas
Cuando en la grfica de una funcin f encontremos un tramo en el que la funcin se aleja
indefinidamente diremos que la funcin presenta una rama infinita.
Definicin: Asntota
Cuando una funcin f presenta una rama infinita que se aproxima indefinidamente a una
recta, sin llegar a contactarla, se dice que
esa recta es una asntota de la funcin
Definicin: Rama asinttica
Cuando una funcin f presenta una rama
infinita que se aproxima a una asintta se
dice que la rama infinita es una rama
asinttica.
Definicin: Rama parablica
Cuando una funcin f presenta una rama
infinita que no es asinttica se denomina
rama parablica.
Definicin: Asntota horizontal
Cuando una funcin f verifique que lim f ( x ) l que lim f ( x) l la recta horizontal de
x

ecuacin y = l se denomina asntota horizontal de la funcin f(x).

Definicin: Asntota Vertical
Si existe un x0 tal que lim f ( x) o
x x0

lim f ( x)

x x0

decimos que la recta

vertical de ecuaci x = x0 es una asntota

vertical para la funcin f(x)

Definicin: Asntota oblcua

Cuando una funcin f verique que
f ( x)
lim
m
y
lim f ( x) mx b
x
x
x
diremos que la funcin f presenta una
asntota oblicua en la recta y = mx + b.

| 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

Operaciones con funciones continuas.

Sean f y g dos funciones continuas en x0, se tiene entonces que:
a)
b)

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

Propiedades de las funciones continuas

Teorema del signo

una funcin continua en todo (a,b) entonces si f(x0) 0, existe un entorno

Sea f : a, b
E(x0,) en que f tiene el mismo signo que f(x0).
Demostracin
Dicho en palabras se demostrara diciendo: Sea f(x) una funcin continua en x0
siendo f(x0) distinto de 0, entonces existe un entorno de x0 en el que los valores de f(x)
tienen el mismo signo que f(x0).
Haciendo con demostracin rigurosa en notacin matemtica sera:
Supongamos que f(x0) > 0 (si fuese negativo, se razonara de modo similar).
Dado

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

f ( x0 ) 1, f ( x0 ) 1 es un intervalo acotado, por lo tanto f est acotada

en el entorno x0 , x0 .
de modo que

| FUNCIN CONTINUA 33

Teorema de Bolzano (o del valor medio)

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.

sign f(a) sign f(b).

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)).

Teorema de Weiestrass de los extremos absolutos (del supremo y el nfimo)

es una funcin continua en el intervalo [a,b], entonces f alcanza al menos

Si f : a, b
una vez el mximo y el mnimo absolutos en dicho intervalo.
Demostracin
f est acotada en [a,b].

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

Supongamos entonces que no, que x a, b

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)

Idea intuitiva del Teorema de Weiestrass

La interpretacin de que este teorema es cierto es de una evidencia absoluta, no as su
demostracin rigurosa como acabamos de ver.
Es decir, Weiestrass nos dice que si f es
continua, entonces desde (a,f(a)) y (b,f(b))
tendr que haber un trazo continuo, y es obvio
deducir que en este camino f tendr un mximo
y un mnimo absoluto, si no los tuviera sera
como pensar que la funcin crecera o decrecera
hasta el infinito en algn momento de la traza, lo
cual sera una contradiccin con la afirmacin
de que f es continua

Teorema de Darboux o de los valores intermedios

una funcin continua en el intervalo [a,b] , entonces f toma todos los

Sea f : a, b
valores intermedios comprendidos entre f(a) y f(b).
Demostracin
Es inmediata a partir de la consecuencia del
teorema de Bolzano y del teorema de
Weierstrass.
Como vemos en el dibujo, en su traza desde
(a,f(a)) hasta (b,f(b)) la funcin, al ser
continua, verifica que todos los puntos del
intervalo (f(2),f(6)) del eje Y son imagen de
algn punto de [2,6].
Es decir, para cualquier punto m del
intervalo m[f(a),f(b)] existe c[a,b] tal que
f(c) = m.
| FUNCIN CONTINUA 36

U
AB
UU|

| FUNCIN CONTINUA 37