Está en la página 1de 10

Continuidad de una funcin real de variable real

CONTINUIDAD DE UNA FUNCIN REAL


DE VARIABLE REAL
ESQUEMA DE CONTENIDOS___________________________________________


CONTINUIDAD DE
UNA FUNCIN
en un punto
Definicin
Evitables
Primera
especie
Imagen del
punto
Discontinuidades
Extensin
continua de
la funcin
No-evitables
CONTINUIDAD DE
UNA FUNCIN
en todo su
dominio
de salto
finito
Segunda
especie
de salto
infinito
lmite no
calculable
Clculo de los
lmites laterales




























Proyecto e-Math 1
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
w
w
w
.
M
a
t
e
m
a
t
i
c
a
1
.
c
o
m
Continuidad de una funcin real de variable real
INTRODUCCIN ___________________

La aplicacin ms importante del clculo de lmites es la determinacin de la continuidad de una
funcin en un punto. Saber calcular lmites permite determinar si una funcin es continua en un
punto, es decir si al trazar dicha curva vamos a tener que levantar el lpiz del papel, llegando en
ocasiones a tender a desplazarlo hacia el infinito, o si el transcurrir del lpiz encima de la curva de
la funcin va a ser continuado, sin interrupciones finitas o infinitas, es decir continuo.

Adems de saber averiguar si una funcin es continua en un punto, es conveniente ser capaz de
determinar rpidamente en qu puntos de su dominio, la funcin presenta posibles
discontinuidades. Estos puntos deben ser examinados individualmente persiguiendo la
determinacin del tipo de discontinuidad. Si la discontinuidad es evitable, podremos definir una
nueva funcin que no poseer esta discontinuidad y, por lo tanto, ser continua en dicho entorno
o en toda la recta real si ste fuera el nico punto de posible discontinuidad. Por el contrario, si la
discontinuidad implica un salto finito o infinito de la funcin o la imposibilidad de efectuar el clculo
del lmite, entonces, se trata de una discontinuidad no evitable. Por consiguiente en dicho punto,
la funcin no tendr derivada, por ejemplo.

La inestimable ayuda de Mathcad nos va a permitir comprobar la posicin y tipo de
discontinuidades que presenta una funcin a partir de su representacin grfica.



OBJETIVOS DOCENTES ___ ___________________________________

Introducir el concepto de continuidad a partir del clculo de los lmites laterales y del clculo del
valor de la funcin en dicho punto.

Compaginar el estudio analtico de la continuidad de una funcin en un punto y en todo su
dominio con la comprobacin de dichos resultados mediante la representacin grfica con el
Mathcad.

Adquirir destreza en averiguar las posibles discontinuidades a partir de la expresin analtica de la
funcin y de su representacin grfica con Mathcad.



CONOCIMIENTOS PREVIOS ___________________________________

Puesto que la continuidad de una funcin real de variable real es una propiedad que emana del
concepto y clculo de lmites de funciones reales, es imprescindible previamente a la lectura de
este Mathblock el haber realizado un estudio detallado de los siguientes temas:

Funciones reales de variable real.
Lmites de funciones.

Asimismo tambin es muy aconsejable que se tenga un conocimiento mnimo del programa Mathcad,
que incluya como calcular lmites de funciones.

Por lo tanto, recomendamos que trabajis los Mathblocks: Uso bsico del Mathcad en Anlisis (I):
clculo simblico y analtico, Funciones de una variable y Lmites de funciones, antes de empezar
con ste. Despus de haber trabajado este Mathblock podis abordar el de Derivacin.

Proyecto e-Math 2
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
w
w
w
.
M
a
t
e
m
a
t
i
c
a
1
.
c
o
m
Continuidad de una funcin real de variable real
CONCEPTOS FUNDAMENTALES ______________________________

Continuidad de una funcin en un punto

Decimos que una funcin es continua en un punto cuando en dicho punto podemos asegurar
que:
0
x

1. la funcin est definida en , es decir, existe
0
x ) (
0
x f

2. los lmites laterales y existen (se pueden calcular y son finitos!)
y son iguales, lo que equivale a afirmar que existe el lmite de la funcin en dicho punto:
.
) ( lim
0
x f
x x
+

lim )
0
f x
x x

=
) ( lim
0
x f
x x

) ( ( lim ) ( lim
0
0
x f x f
x x
x x
+

=

coincide el lmite de la funcin en el punto con su valor en dicho punto, es decir:

. ) ( ) ( lim
0
0
x f x f
x x
=



Discontinuidades: Clasificacin

Existe una discontinuidad en cuando alguno de los tres puntos anteriores no se satisface.
0
x x =

Clasificamos las discontinuidades en dos grandes grupos, a saber: evitables y no evitables.


Discontinuidad evitable en un punto y extensin continua de la funcin en dicho punto

En las discontinuidades evitables, el lmite existe (es decir, y son
nmeros reales finitos y coinciden), pero no existe en (alguno de sus limites laterales en
tiende a infinito o no se puede calcular). Tambin hablamos de discontinuidad evitable cuando
existe en pero su valor difiere del lmite. La discontinuidad es evitable porque basta con
redefinir la funcin asignando a la funcin en dicho punto, el valor del lmite:
) ( lim
0
x f
x x
) (
0
x f
) ( lim
0
x f
x x
+

) ( lim
0
x f
x x

0
x
( f )
0
x

) ( lim
) (
) (
0
x f
x f
x f
x x
E
cuando y , respectivamente.
0
x x
0
x x =


Discontinuidad evitable en un punto y extensin continua de la funcin en dicho punto

Las discontinuidades no evitables aparecen cuando es imposible obtener el lmite de la funcin en
el punto. Esto sucede o bien porque los lmites laterales, a pesar de ser ambos finitos no coinciden
(discontinuidad no evitable de primera especie o de salto finito
1
) o porque uno de los dos lmites
laterales, o ambos lmites, divergen (son infinitos) (discontinuidad no evitable de segunda especie,

1
A menudo nos referimos a este tipo de discontinuidades como discontinuidades de salto.
Proyecto e-Math 3
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
w
w
w
.
M
a
t
e
m
a
t
i
c
a
1
.
c
o
m
Continuidad de una funcin real de variable real
de salto infinito
2
) o porque no se pueden calcular (discontinuidad no evitable de segunda especie
cuyo lmite no se puede calcular).


Continuidad de una funcin en todo su dominio

Una funcin es continua en todo su dominio cuando lo es en cada punto del dominio. Para ilustrar lo
que acabamos de decir, analizamos la continuidad de una funcin racional en todo . Una funcin
polinmica racional es continua en todos los puntos de la recta real excepto en aquellos en los que su
denominador se anula. Si el denominador se anula y el numerador no lo hace en un punto , la
funcin presenta en una discontinuidad no evitable de segunda especie de tipo asinttico. Se
dice tambin que la recta vertical de ecuacin es una asntota vertical para la funcin. No
obstante, si el numerador tambin se anula en , habr que simplificar los factores ( y
redefinir la funcin. Entonces si obtenemos un denominador que no se anula, decimos que la
discontinuidad es evitable.
0
x
)
0
x
0
x
0
x x =
0
x x = x


Determinacin de puntos de discontinuidad

La bsqueda prctica de puntos de discontinuidad, para una funcin cuya grfica desconocemos,
consiste en primer lugar en determinar si existen puntos de la recta real donde ocurren, entre
otras, las siguientes situaciones:

a. La funcin no est definida

b. La funcin est definida de forma diferente para valores superiores e inferiores al
punto

c. La funcin diverge al anularse su denominador

d. La funcin no puede calcularse al convertirse en negativo el argumento de una raz
de ndice par

e. La funcin diverge al anularse el argumento de un logaritmo

f. La funcin no puede calcularse por tender a infinito el argumento de una funcin
trigonomtrica


En cada punto susceptible de presentar una discontinuidad de la funcin, procederemos a evaluarla,
calcular sus lmites laterales en aquel punto y averiguar el tipo de discontinuidad si la hubiese a partir
de las definiciones dadas anteriormente.


Mathcad nos proporciona una inestimable ayuda para comprobar las discontinuidades y, por supuesto
tambin, para encontrarlas con solamente representar la funcin.


CASOS PRCTICOS CON SOFTWARE___________________________________


Ejemplos de los distintos tipos de discontinuidades utilizando Mathcad para el
clculo de los lmites

2
Tambin nos llamamos este tipo de discontinuidades de salto infinito discontinuidades con asntota
vertical.
Proyecto e-Math 4
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
w
w
w
.
M
a
t
e
m
a
t
i
c
a
1
.
c
o
m
Continuidad de una funcin real de variable real

Discontinuidad evitable y extensin continua de la funcin

Estudiemos la discontinuidad que presenta la funcin
2
16
2

=
x
x
y en . 4 = x

Cunto vale la funcin en ? 4 = x

No est definida en dicho punto puesto que ambos, el numerador y el denominador, se anulan.


Cunto valen los lmites laterales para ? 4 x

Con la ayuda de Mathcad calculamos:


el lmite lateral por la izquierda:




el lmite laterial por la derecha:



y al ser iguales, el lmite existe y tiene el
valor de los dos lmites laterales:

4 x
x
2
16
x 2
lim

32
4 x
x
2
16
x 2
lim
+

32
4 x
x
2
16
x 2
lim

32



Esta funcin presenta una discontinuidad evitable en . Por lo tanto, podemos definir una nueva
funcin, extensin continua de la primera o funcin extendida, de la siguiente manera:
4 = x

=
32
2
16
) (
2
x
x
x f
E
cuando y , respectivamente. 4 x 4 = x



Discontinuidad no evitable de primera especie (o de salto finito)

Estudiemos la discontinuidad que presenta la funcin
x
x
y = en . 0 = x
Cunto vale la funcin en ? 0 = x

No est definida en dicho punto puesto que ambos, el numerador y el denominador, se anulan.


Cunto valen los lmites laterales para ? 0 x

Proyecto e-Math 5
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
w
w
w
.
M
a
t
e
m
a
t
i
c
a
1
.
c
o
m
Continuidad de una funcin real de variable real
Con la ayuda de Mathcad calculamos:


el lmite lateral por la izquierda:




el lmite laterial por la derecha:



y al no coincidir, el lmite no existe como
Mathcad afirma:

0 x
x
x
lim

1
0 x
x
x
lim
+

1
0 x
x
x
lim

undefined



Esta funcin presenta una discontinuidad no evitable en . 0 = x


Discontinuidad no evitable de segunda especie de salto infinito

Estudiemos la discontinuidad que presenta la funcin
1
1

+
=
x
x
y en . 1 = x
Cunto vale la funcin en ? 1 = x

No est definida en dicho punto puesto que ambos, el denominador, se anulan.


Cunto valen los lmites laterales para ? 1 x


Ambos lmites divergen como vemos con
Mathcad:


el lmite lateral por la izquierda:




el lmite laterial por la derecha:



y al no existir los lmites laterales (no tienden
a ningn nmero real sino que divergen) el
lmite tampoco existe:

1 x
x 1 +
x 1
lim


1 x
x 1 +
x 1
lim
+


1 x
x 1 +
x 1
lim

undefined



Estamos, pues ante una discontinuidad no-evitable de segunda especie de salto infinito o asinttica

Proyecto e-Math 6
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
w
w
w
.
M
a
t
e
m
a
t
i
c
a
1
.
c
o
m
Continuidad de una funcin real de variable real
Discontinuidad no evitable de segunda especie con lmite no calculable

Estudiemos la discontinuidad que presenta la funcin
|
|
.
|

\
|
|
.
|

\
|
=
x x
y
1
sin
1
tanh en . 0 = x
Cunto vale la funcin en ? 0 = x

No est definida en dicho punto puesto que dos denominadores de dicha expresin se anulan.


Cunto valen los lmites laterales para ? 0 x


Ambos lmites no se pueden calcular como
vemos con Mathcad:

el lmite lateral por la izquierda:

el lmite laterial por la derecha:

y al no existir los lmites laterales (no tienden
a ningn nmero real ni divergen, sino
oscilan) el lmite tampoco existe:


Representemos con Mathcad el
comportamiento en el entorno de , de
esta funcin:
0 = x


Estamos pues tratando con una
discontinuidad no evitable de segunda
especie sin limite calculable y que tampoco
diverge.
0 x
tanh
1
x
sin
1
x
|

\
|
|
.

\
|
|
.
lim

undefined
0 x
tanh
1
x
sin
1
x
|

\
|
|
.

\
|
|
.
lim
+

undefined
0 x
tanh
1
x
sin
1
x
|

\
|
|
.

\
|
|
.
lim

undefined
2 0 2
2
0
2
tanh
1
x
sin
1
x
|

\
|
|
.

\
|
|
.
x


Determinacin de los puntos donde una funcin presenta discontinuidades
desconociendo su grfica. Comprobacin grfica del resultado con Mathcad


Estudiemos si las siguientes funciones presentan alguna discontinuidad:


a)
2
1
x
e y

= b)
x
x
sin
y = c)
x x
x
4
2
2

y =

d) )
2
cos(
3
x
x
y

= e)

+

0
1
1
1
1
x
e

= y si y , respectivamente. 1 x 1 = x
Proyecto e-Math 7
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
w
w
w
.
M
a
t
e
m
a
t
i
c
a
1
.
c
o
m
Continuidad de una funcin real de variable real



a)

La funcin no se puede calcular
en un slo punto, para ,
porque dividimos por cero.
Dado que los lmites laterales en
dicho punto existen y son
iguales a , el lmite en
existe y la funcin presenta una
discontinuidad evitable.
0 = x
0 = x 0


La simple inspeccin de la
grfica de la funcin nos indica
claramente que o bien la funcin
es continua o la o las
discontinuidades que presenta
con todas evitables.


En particular, en el punto cero,
vemos que la funcin no
presenta ninguna discontinuidad
no evitable.
10 0 10
0
2
e
1
x
2
x
5 0 5
0
2
e
1
x
2
x




b)

La funcin no est definida en
ya que tanto el
numerador como el
denominador se anulan. No
obstante los lmites laterales
existen y valen ambos 1.
Tambin en este caso se puede
redefinir la funcin suprimiendo
la discontinuidad evitable.
0 = x


La simple inspeccin de la
grfica de la funcin nos indica
claramente que la funcin
presenta una discontinuidad
evitable en x=0.


5 0 5
0
2.5
5
x
sin x ( )
x
3 0 3
0
2
x
sin x ( )
x


Proyecto e-Math 8
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
w
w
w
.
M
a
t
e
m
a
t
i
c
a
1
.
c
o
m
Continuidad de una funcin real de variable real



c)

La funcin no se puede calcular
en dos puntos, para y
para . En el primer punto,
dividimos entre y, en el
segundo, se anula el
denominador mientras el
numerador es finito. En
tenemos una discontinuidad
evitable mientras que en
es no evitable.
0 = x
= x
= x
4 = x
0 0
0
4

La simple inspeccin de la
grfica de la funcin nos indica
claramente que la funcin
presenta una discontinuidad de
segunda especie de salto infinito
en . Mientras que en
la funcin puede ser
extendida para garantizar su
continuidad.
4 = x
0 = x

10 0 10
0
10
x
2
x
2
4x
4
x
2 0 2
0
2
x
2
x
2
4x
x




d)

La funcin no est definida en
ya que el numerador de
la expresin de la cual debemos
calcular el coseno, diverge.
Dado que el coseno es una
funcin peridica, oscilar
continuamente sin cesar cuando
. El lmite, pues, no
existe.
0 = x
0 x


La simple inspeccin de la
grfica de la funcin nos indica
claramente que la funcin
presenta una discontinuidad no
evitable de segunda especie con
imposibilidad de calcular el
lmite en x=0.


5 0 5
1.25
0
1.25
cos
x 2
x
3
|

\
|
|
.
x
0.75 0 0.75
1.25
0
1.25
cos
x 2
x
3
|

\
|
|
.
x


Proyecto e-Math 9
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
w
w
w
.
M
a
t
e
m
a
t
i
c
a
1
.
c
o
m
Continuidad de una funcin real de variable real

e) La funcin est definida de forma particular en . En el resto de puntos, la funcin no presenta
ninguna posible discontinuidad puesto que la exponencial nunca puede ser negativa.
1 = x

Por lo tanto, estudiaremos slo la continuidad en , que producira una divisin por cero en la
expresin vlida para el resto de puntos. A pesar de que ambos lmites laterales en son finitos,
stos no son iguales; por la derecha, el lmite es igual a 1 mientras que por la izquierda vale . Por
consiguiente, el lmite de la funcin en no existe y la funcin presenta una discontinuidad no
evitable de salto finito en dicho punto.
1 = x
1 = x
0
1 = x


e)

.


La simple inspeccin de la
grfica de la funcin nos indica
claramente que la funcin
presenta una discontinuidad no
evitable de primera especie de
salto finito en . 1 = x


f x ( ) if x 1 0 ,
1
1 e
1
1 x
+
,
|

\
|
|
|
|
.
:=
5 0 5
0.25
0
0.25
0.5
0.75
1
1.25
f x ( )
x




CONCLUSIONES ___________________________________

Conocer si una funcin es continua en un punto y en todo su dominio, se reduce a saber evaluar esta
funcin en todo punto y ser capaz de obtener sus lmites laterales en cualquier punto. La continuidad es
una propiedad fundamental puesto que la derivabilidad de una funcin en un punto depende, entre
otras cosas, de si es continua en dicho punto. Cuando una funcin es continua es susceptible de ser
utilizada o encontrada en el anlisis de magnitudes regulares y finitas.

Hemos visto como Mathcad nos puede resultar de gran utilidad para determinar dnde estn y de qu
tipo son las discontinuidades de una funcin. De hecho la continuidad de una funcin en un punto
puede entenderse como la suavidad con la que avanzamos cuando trazamos la curva de la funcin.
En efecto, la representacin grfica de la funcin contiene informacin suficiente para comprobar
lmites laterales y, por lo tanto, el carcter de la supuesta discontinuidad.


Proyecto e-Math 10
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
w
w
w
.
M
a
t
e
m
a
t
i
c
a
1
.
c
o
m