2.3.

CONTINUIDAD DE UNA FUNCIN

Intuitivamente se puede decir que una funcin es continua cuando en su grfica no aparecen saltos o cuando el trazo de la grfica no tiene huecos. En la figura 2.6., aparece la grfica de tres funciones: dos de ellas no continuas (discontinuas) en el punto x = a de su dominio (fig. 2.6. (a) y 2.6. (b)) y la otra (fig. 2.6. (c)) continua en todo su dominio.

(a)

(b)

(c) fig. 2.6.

Al mirar con un poco de cuidado las grficas de la fig. 2.6., se pueden deducir intuitivamente, resultados que permitirn comprender con mayor claridad la definicin precisa de lo que significa: ser una funcin continua en un punto dado de su dominio. En la grfica de la fig. 2.6. (a) se tiene: i.

Lim f ( x ) = Lim + f ( x ) = L
x a x a

Luego, ii.

Lim

x a

f (x)

existe y es igual a L.

f(a) existe. Pero, Lim

x a

f ( x) = L f (a ) .

Por esta razn, f es discontinua. Qu le sucedera a la grfica si f(a) fuese igual a L? Para la grfica de la fig. 2.6. (b) se tiene: i.

Lim f ( x ) = L 1 Lim + f ( x ) = L 2 .
x a x a

En consecuencia, a. ii. f(a) = L1.

Lim f ( x )
x a

No existe. Por ello, f es discontinua en

Finalmente, para la grfica de la fig. 2.6. (c) se tiene: i.

Lim + f ( x ) = Lim f ( x ) = L .
x a x a

As, Lim ii.

x a

f (x)

existe y es igual a L.

f(a) Existe y es igual a L. En sntesis,

iii.

Lim

x a

f ( x) = f (a )

Por tanto, f es continua en a. Estas tres condiciones son las que, en ltima instancia, permiten deducir intuitivamente que la funcin cuya grfica aparece en la fig. 2.6. (c) es continua en el punto a. Lo anterior permite establecer la siguiente definicin. Definicin 2.2 Una funcin f es CONTNUA EN x = a, si y slo si se satisfacen las siguientes condiciones:

i. ii. iii.

f(a) existe.

Lim
Lim

x a

f (x)
f (x) =

existe.
f (a )

x a

Si al menos una de estas tres condiciones deja de cumplirse, se dice que DISCONTNUA (NO CONTNUA) en x = a. Observaciones: i. Si en la definicin anterior se sustituye o por
x a

es

Lim f ( x )
x a

por

Lim + f ( x )
x a

Lim f ( x ) , se dice entonces que

es continua a la derecha

(respectivamente a la izquierda) en el punto x = a. ii. Algunos autores adoptan como definicin de continuidad en un punto, la condicin iii. de la definicin anterior; esto es, f es continua en x = a, si y slo si, Lim f ( x ) = f ( a ) .
x a

iii.

Si en la definicin de continuidad se hace: x = a + h; con a y (a + h) en el dominio de f, se dice entonces, que f es continua en a si y slo si, Lim f (a + h ) = f (a ) .
h 0

iv.

Si f es discontinua en x = a y Lim

x a

f (x)

existe, pero es diferente de

f(a), se dice que la discontinuidad es REMOVIBLE O EVITABLE. En caso contrario, se dice que la discontinuidad es ESENCIAL. As, por ejemplo, la grfica de la fig. 2.6. (a) corresponde a la grfica de una funcin con discontinuidad Removible o evitable en x = a. Mientras que la grfica de la fig. 2.6. (b) corresponde a la grfica de una funcin con discontinuidad ESENCIAL en x = a. v. Cuando una funcin tiene discontinuidad removible en un punto, se usa la frase Remover la discontinuidad para indicar que se puede redefinir la funcin haciendo que f ( a ) = Lim f ( x ) y de esta manera obtener una nueva
x a

funcin continua en x = a. Considrese por ejemplo, la funcin f x 2 + 1 si f ( x) = 3 si 2 x + 1 si definida por: x<0 x=0 x>0

La grfica de la funcin aparece en la fig. 2.7.

fig. 2.7. Si se analiza la continuidad de f en el punto x = 0, se tiene:

i.

Lim f ( x ) = Lim ( x 2 + 1) = 1 x0 x0 Lim f ( x ) = 1 x0 Lim f ( x ) = Lim ( 2 x + 1) = 1 x0+ x0+

f (0) = 3
x0

(Existe el lmite).

ii. Pero,

(Existe

f (01) ).

Lim f ( x ) = 1 f ( 0 ) = 3 ; lo que indica que f es discontinua en x = 0.

x 0

Ahora, como Lim f ( x ) f ( 0 ) , la discontinuidad es evitable (o removible). Se puede entonces, remover o evitar la discontinuidad redefiniendo la funcin de tal forma que Lim f ( x ) = f ( 0 ) . Esto es, redefiniendo a f asi:
x 0

x2 + 1 f ( x) = 1 2 x + 1

si si si

x<0 x=0 x>0

Esta nueva funcin es continua en x = 0. Mas sencillamente,

x2 + 1 f ( x) = 2 x + 1 si si x0 x>0

Es de anotar que la funcin f se ha redefinido y por lo tanto, no se trata de la misma funcin. Por qu?