Está en la página 1de 42

1-0

UNIVERSIDAD DE CONCEPCION
Facultad de Ciencias Fı́sicas y Matemáticas

Introducción a la Matemática Universitaria

520145

Capı́tulo 8. Lı́mite y Continuidad


1. Lı́mites y Continuidad.

Definición. Sea f una función a valores reales definida en una


vecindad restringida de x0 , siendo x0 un número real. Diremos
que el lı́mite de f (x) cuando x se aproxima a x0 , x 6= x0 , es L,
y escribiremos
lim f (x) = L,
x→x0

si y sólo si para cada ǫ > 0, existe un número δ > 0 tal que

∀x ∈ Dom(f ) : 0 < |x − x0 | < δ =⇒ |f (x) − L| < ǫ.

FCFM. UdeC 1. ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.


1. Lı́mites y Continuidad.

Ejemplo 1. Considere la función f definida por



 −x − 1, x≤0


f (x) = 3, 0<x≤1

−x2 + 4,

x>1

• Mostrar graficamente que cuando x se aproxima a 0 no existe


el lı́mite.

• En cambio, cuando x se aproxima a 1 si existe el lı́mite, f (x)


se aproxima a 3.

• Use la definición para demostrar que lim f (x) = 1.


x→−2

FCFM. UdeC 2. ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.


1. Lı́mites y Continuidad.

Observaciones(a la definición):

1) La desigualdad 0 < |x − x0 |, en la definición, es equivalente


a poner x 6= x0 , lo cual expresa el hecho de que, para el
concepto de lı́mite, no interesa el punto mismo x0 ; aunque, en
todo caso, f debe estar definida al menos en una “vecindad
restringida” (sin el punto x0 ) de x0 .
x2 −25
Ejemplo 2). lim = 10 yf (5) no existe.
x→5 x−5

2) 0 < |x − x0 | < δ ⇐⇒ x0 − δ < x < x0 + δ ∧ x 6= x0 .


3) |f (x) − L| < ǫ ⇐⇒ L − ǫ < f (x) < L + ǫ.
4) δ depende en general de ǫ. Se deberı́a poner, para enfatizar
esto, δ(ǫ) en vez de δ .

FCFM. UdeC 3. ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.


1. Lı́mites y Continuidad.

Teorema. Si el lı́mite de una función existe, entonces es único.

Notar que:

1). El valor único L, del lı́mite, no necesariamente coincide con el


valor f (x0 ). Es más, podrı́a ocurrir que f (x0 ) ni siquiera
exista, como ocurre con la función del ejemplo 3), que se
muestra en la figura.

2). La demostración de no existencia de lı́mite es, en general,


complicada. Se facilita con el concepto de lı́mites laterales,
tema que se tratará más adelante.

3). En la práctica, el cálculo de lı́mites se realiza mediante las


Propiedades de lı́mites, tema que se trata más adelante.

FCFM. UdeC 4. ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.


1. Lı́mites y Continuidad.

= xsen ( x1 ), x 6= 0 no está
Ejemplo 3). La función f (x)
1
definida en x = 0, pero lim xsen ( x ) = 0 existe.
x→0

0.8

0.6

0.4

0.2

–1 –0.8 –0.6 –0.4 –0.2 0 0.2 0.4 0.6 0.8 1


x

–0.2

Figure 1: f (x) = xsen ( x1 ), x 6= 0.

FCFM. UdeC 5. ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.


Lı́mites de funciones usuales.

Ejemplo 4). Entre las funciones importantes, por su utilidad en lo


que sigue, están: la función constante, la función idéntica, la
función lineal (afı́n), la función raı́z cuadrada, la función seno y la
función coseno.

Función constante. Dada la constante real k , la función constante


está definida por

f : R −→ R, x 7−→ f (x) = k.

Cualquiera que sea x0 ∈ R se tiene que

lim f (x) = lim k = k.


x→x0 x→x0

FCFM. UdeC 6. ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.


Lı́mites de funciones usuales.

Función idéntica. La función idéntica está definida por

f : R −→ R, x 7−→ f (x) = x.

Cualquiera que sea x0 ∈R

lim f (x) = lim x = x0 .


x→x0 x→x0

En particular, si f (x) = x. Entonces

lim f (x) = lim x = −5.


x→−5 x→−5

FCFM. UdeC 7. ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.


Lı́mites de funciones usuales.

Función lineal (afı́n). Dadas las constantes reales a y b, a 6= 0, la


función lineal afı́n está definida por

f : R −→ R, x 7−→ f (x) = ax + b.

Representa a una recta en el plano y con b = 0 se tiene la función


lineal propiamente tal; f (x) = ax.
Se tiene que

lim f (x) = lim (ax + b) = ax0 + b.


x→x0 x→x0

FCFM. UdeC 8. ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.


Lı́mites de funciones usuales.

Función raı́z cuadrada.

La función raı́z cuadrada está definida por



f : [0, ∞[−→ R, x 7−→ f (x) = x.

Cualquiera que sea x0 ∈ R+ se tiene que


√ √
lim f (x) = lim x = x0 .
x→x0 x→x0
√ √ √
Por ejemplo, lim x = 25 = 5 y lim x no existe.
x→25 x→−25

FCFM. UdeC 9. ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.


Lı́mites de funciones usuales.

Funciones seno y coseno.

Como sabemos, la función seno, denotada por sen

sen : R −→ [−1, 1], x 7→ y = sen (x)

y coseno, denotada cos

cos : R −→ [−1, 1], x 7→ y = cos (x)

están definidas en la circunferencia unitaria.

Se tiene:
lim sen x = 0, lim cos x = 1.
x→0 x→0

FCFM. UdeC 10 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.


Teorema. Algebra de lı́mites. Si f y g son funciones que tienen
lı́mite en un punto x0 , entonces:

lim (f (x) + g(x)), lim (kf (x)), lim (f (x) · g(x)) y


x→x0 x→x0 x→x0
f (x)
lim g(x) existen. Además:
x→x0

1. lim (f (x) + g(x)) = lim f (x) + lim g(x).


x→x0 x→x0 x→x0

2. lim (kf (x)) = k lim f (x), k ∈ R.


x→x0 x→x0

3. lim (f (x) · g(x)) = lim f (x) · lim g(x).


x→x0 x→x0 x→x0

lim f (x)
(x)
lim fg(x)
x→x0
4. = lim g(x) , lim g(x) 6= 0.
x→x0 x→x0 x→x0

FCFM. UdeC 11 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.


Observaciones.

1. La propiedad (1), del teorema se puede generalizar a un


número finito de sumandos.

lim [f1 (x)+· · ·+fn (x)] = lim f1 (x)+· · ·+ lim fn (x).


x→x0 x→x0 x→x0

Esto permite evaluar el lı́mite de la función polinomial


p(x) = a0 + a1 x + · · · an xn , x ∈ R, lim p(x) = p(x0 ).
x→x0

2. Se puede probar que lim f (x) = lim f (x0 + h).


x→x0 h→0
Lo que permite probar que:

lim sen(x) = sen(x0 ), lim cos(x) = cos(x0 ).


x→x0 x→x0

y en particular:

lim sen(x) = sen(π) = 0, lim cos(x) = cos(π) = −1.


x→π x→π

FCFM. UdeC 12 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.


Teorema (del sandwich).

Sean f, g y h tres funciones tales que


f (x) ≤ g(x) ≤ h(x), para x en una vecindad de x0 , salvo
posiblemente en x0 . Si

lim f (x) = lim h(x) = L,


x→x0 x→x0

entonces el lı́mite de g existe, y

lim g(x) = L.
x→x0

Ejemplo 5). Probar los siguientes lı́mites trigonométricos


básicos:
sen (x) 1 − cos (x)
(l1) lim = 1; (l2) lim = 0.
x→0 x x→0 x

FCFM. UdeC 13 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.


Teorema (lı́mite de la función compuesta, o de sustitución).

Supongamos que lim f (x) = y0 y f (x) 6= y0 , para x en una


x→x0
vecindad de x0 , con la posible excepción de x0 . Si g(f (x)) está
bien definida y lim g(y) existe, entonces
y→y0

lim g(f (x)) = lim g(y).


x→x0 y→y0

2

Ejemplo 6). Sean f (x) = x + 4, x ∈ R y g(x) = x, x ≥ 0.
La compuesta g◦ f esta bien definida, pues
X = {x ∈ Dom(f ) : f (x) ∈ Dom(g)} = R 6= φ. Ahora,
2 √ √
lim f (x) = lim x +4 = 4; lim g(y) = lim y = 4 = 2.
x→0 x→0 y→4 y→4

FCFM. UdeC 14 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.


Ejemplo 7). Al evaluar

sen(4x2 )
lim
x→0 sen(x2 )

se tiene que numerador y denominador tienden a 0. Es


indeterminado, sin embargo podemos escribir

2 sen(4x2 )
sen(4x ) 4 4x2
lim 2
= lim sen(x2 ) .
x→0 sen(x ) x→0
x2

En el numerador, con y = 4x2 , se tiene


sen(4x2 ) sen(y)
lim 4 2
) = 4 · lim = 4.
x→0 4x y→0 y

FCFM. UdeC 15 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.


En el denominador, con y = x2 se tiene
sen(x2 ) sen(y)
lim 2
= lim = 1.
x→0 x y→0 y
Luego,
sen(4x2 )
4 4x2 4
lim 2 = = 4.
x→0 sen(x ) 1
x2

Nota. El cálculo de lı́mites lim f (x), de expresiones f (x)


x→x0
indeterminadas en x0 , como el ejemplo anterior, se facilita
enormemente mediante el uso de la derivada, con la llamada regla
de L’Hôpital (que se verá más adelante).

FCFM. UdeC 16 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.


Definición (lı́mite por la derecha) .

Sean x0 , c y L números reales, c > x0 , y sea f una función


definida en el intervalo ]x0 , c[. Diremos que el lı́mite de f (x)
cuando x se aproxima a x0 por la derecha es L y escribiremos

lim+ f (x) = L,
x→x0

si y sólo si, para cada ǫ > 0, existe un número δ > 0 tal que

x0 < x < x0 + δ =⇒ |f (x) − L| < ǫ.


Ejemplo 8). Muestre que lim x = 0.
+ x→0

FCFM. UdeC 17 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.


Definición (lı́mite por la izquierda) .

Sean x0 , c y L números reales, c < x0 , y sea f una función


definida en el intervalo ]c, x0 [. Diremos que el lı́mite de f (x)
cuando x se aproxima a x0 por la izquierda es L y escribiremos

lim− f (x) = L,
x→x0

si y sólo si para cada ǫ > 0, existe un número δ > 0 tal que

x0 − δ < x < x0 =⇒ |f (x) − L| < ǫ.

Estos lı́mites por la derecha y por la izquierda se llaman lı́mites


laterales.

FCFM. UdeC 18 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.


Nota. En realidad, los lı́mites laterales son:

lim+ f (x) = lim f (x) = L,


x→x0 x→x0 ,x>x0

lim− f (x) = lim f (x) = L.


x→x0 x→x0 ,x<x0

Para la función definida por partes, en el ejemplo 1), se tiene que


en x =0

lim+ f (x) = lim f (x) = lim 3 = 3,


x→0 x→0,x>0 x→0

lim− f (x) = lim f (x) = lim (−x − 1) = −1.


x→0 x→0,x<0 x→0

FCFM. UdeC 19 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.


Teorema . Sea f una función definida en una vecindad de x0 ,
excepto posiblemente en x0 . El lı́mite de f en x0 existe si y sólo si
existen los lı́mites laterales lim+ f (x) y lim− f (x) y son
x→x0 x→x0
iguales. Es decir:

lim f (x) = L ⇐⇒ lim+ f (x) = lim− f (x) = L.


x→x0 x→x0 x→x0

Como hemos visto, en el ejemplo 1), los lı́mites laterales son


diferentes en 0. En consecuencia, lim− f (x) no existe.
x→0

FCFM. UdeC 20 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.


Lı́mites infinitos.

Definición. Sea f una función a valores reales y sea x0 un


número real. Diremos que el lı́mite de f (x), cuando x se
aproxima a x0 por la derecha, es +∞ y escribimos

lim+ f (x) = +∞,


x→x0

si y sólo si para cada N > 0, existe un número δ > 0 tal que

∀x ∈ Dom(f ) : 0 < x − x0 < δ =⇒ f (x) > N.

1
Ejemplo 9). Muestre que lim+ x = +∞.
x→0

FCFM. UdeC 21 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.


Lı́mites infinitos.

Definición. Sea f una función a valores reales y sea x0 un


número real. Diremos que el lı́mite de f (x), cuando x se
aproxima a x0 por la derecha, es −∞ y escribimos

lim+ f (x) = −∞,


x→x0

si y sólo si para cada N > 0, existe un número δ > 0 tal que

∀x ∈ Dom(f ) : 0 < x − x0 < δ =⇒ f (x) < −N.

De manera análoga se definen los lı́mites por la izquierda

lim− f (x) = +∞, lim− f (x) = −∞.


x→x0 x→x0

1
Ejemplo 10). Muestre que lim− x = −∞.
x→0

FCFM. UdeC 22 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.


Lı́mites en el infinito.

Definición.

Sea f una función definida en A ⊆ R, a valores reales y sea L un


número real. Diremos que el lı́mite de f (x), cuando x tiende a
+∞, es L y escribiremos

lim f (x) = L,
x→+∞

si y sólo si para cada ǫ > 0, existe un número M > 0 tal que

x>M =⇒ | f (x) − L |< ǫ.

FCFM. UdeC 23 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.


Lı́mites en el infinito.

Definición. Sea f una función definida en A ⊆ R, a valores


reales y sea L un número real. Diremos que el lı́mite de f (x),
cuando x tiende a −∞, es L y escribiremos

lim f (x) = L,
x→−∞

si y sólo si para cada ǫ > 0, existe un número M > 0 tal que

x < −M =⇒ | f (x) − L |< ǫ.

Ejemplo 11).

1 1
lim = 0, lim = 0.
x→+∞ x x→−∞ x

FCFM. UdeC 24 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.


Lı́mites en el infinito.

Observación. Las ya conocidas propiedades de lı́mites son válidas


también en estos casos; esto es, si f y g son dos funciones que
tienen lı́mite cuando x tiende a +∞ o a −∞, entonces:

a) lim (f (x) + g(x)) = lim f (x) + lim g(x).


x→∞ x→∞ x→∞

b) lim kf (x) = k lim f (x), ∀k ∈ R.


x→∞ x→∞

c) lim (f (x) · g(x)) = lim f (x) · lim g(x).


x→∞ x→∞ x→∞

lim f (x)
(x)
d) lim fg(x) = x→∞
lim g(x)
lim g(x) , siempre que x→∞ 6= 0,
x→∞ x→∞
donde, en cada caso, ∞ designa +∞ o bien −∞.

FCFM. UdeC 25 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.


Lı́mites infinito en el infinito.

Observación. De manera análoga a los casos anteriores se


definen los siguientes lı́mites:

a) lim f (x) = +∞. b) lim f (x) = −∞.


x→+∞ x→+∞

c) lim f (x) = +∞. d) lim f (x) = −∞.


x→−∞ x→−∞

FCFM. UdeC 26 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.


Ası́ntotas.

Definición . La recta x = x0 es una ası́ntota vertical de la


función (o de la curva) f si

lim f (x) = +∞(−∞), o si lim f (x) = +∞(−∞).


x→x+
0 x→x−
0

La recta y = L es una ası́ntota horizontal de la función (o de la


curva) f si
lim f (x) = L.
x→+∞(−∞)

En cualquier otro caso hablamos de ası́ntotas oblicuas (definición


siguiente).

FCFM. UdeC 27 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.


Definición de Ası́ntota oblicuas.

La recta y = mx + b es una ası́ntota oblicua de la función (o de


la curva) f si

f (x)
lim =m y si lim [f (x) − mx] = b.
x→+∞(−∞) x x→+∞(−∞)

Ejemplo 12). La recta y = −x + 1 es una ası́ntota oblicua de la


función f definida por (ver figura)

−x3 + x2 + 4
f (x) = 2
, x 6= 0.
x
En efecto.
 f (x) 
m = lim = −1, b = lim (f (x)−(−x)) = 1.
x→±∞ x x→±∞

FCFM. UdeC 28 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.


Ası́ntotas oblicuas.

3
10

1
5

–3 –2 –1 1 2 3
x

–1

–5 0 5
x
–2

–3

−x3 +x2 +4
Figure 2: Ası́ntotas: a) f (x) = x2 . b) x2 − y 2 = 1.

FCFM. UdeC 29 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.


2.2 Continuidad.

Definición.

Una función f definida en una vecindad de x0 se dice continua en


x0 si
lim f (x) = f (x0 ).
x→x0

Es decir, si existen f (x0 ), lim f (x) y f (x0 ) = lim f (x).


x→x0 x→x0

En caso contrario, se dice que f es discontinua en x0 . Si f es


continua en todo su dominio, entonces se dice que f es una
función continua.

FCFM. UdeC 30 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.


2.2 Continuidad.

Ejemplo 13). Las siguientes funciones son continuas:

1. la función polinomial p(x) = a0 + a1 x + · · · an xn , pues el


lı́mite en x0 coincide con el valor f (x0 ) de la función en x0 .
En particular

p(x) = x4 − 2x3 + 5x2 − x + 10, x ∈ R.

2. las funciones trigonométricas seno y coseno.

3. las funciones usuales: constante, idéntica, lineal (afı́n) y la raı́z


cuadrada.

FCFM. UdeC 31 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.


2.2 Continuidad.

Observaciones:

1) La definición de continuidad de f es puntual, en el punto x0 .


Una definición alternativa y equivalente de continuidad es: f es
continua en x0 si

∀ǫ > 0, ∃δ > 0, 0 < |x−x0 | < δ =⇒ |f (x)−f (x0 )| < ǫ.


Aquı́ δ depende en general de ǫ y del punto x0 , δ = δ(ǫ, x0 ).
2) La función f es discontinua en x0 si f no es continua en x0 .
Por lo tanto, f será discontinua en x0 si no se verifica una
cualquiera de las tres condiciones de continuidad; es decir si
i) no existe f (x0 ), o si ii) no existe lim f (x), o si
x→x0
iii) lim f (x) 6= f (x0 ).
x→x0

FCFM. UdeC 32 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.


3) Una discontinuidad, como la i), se dice evitable o removible si
se puede redefinir la función f de modo de hacerla continua;
se obtiene de hecho una nueva función g , llamada extensión
continua de f .

 f (x) si x 6= x0
g(x) =
 lim f (x) si x = x0
x→x0

Corrientemente, se sigue llamando f a la función redefinida.


Si lim f (x) no existe, entonces la discontinuidad se dice
x→x0
esencial. En estos casos no se puede redefinir la función para
hacerla continua.

FCFM. UdeC 33 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.


4) Gráficamente, las discontinuidades pueden ser simples
agujeros en la curva, o bien saltos, ya sea finitos o infinitos.
En general, f tiene una discontinuidad de salto finito en x0 si,
existiendo los lı́mites, se tiene

lim f (x) 6= lim f (x), o si lim f (x) 6= f (x0 );


x→x− x→x+ x→x0
0 0

y tiene discontinuidad de salto infinito en x0 si lim+ f (x) o


x→x0
bien lim− f (x) es +∞ o −∞.
x→x0

FCFM. UdeC 34 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.


Ejemplo 14). Considere la función


1


 x, x<0
f (x) = 2
x − 4, 0≤x<2

x)
sen( π

x+3 , x≥2

Mostrar que la función:

• tiene un salto infinito en 0 y es discontinua.


• es discontinua en x = 2, tiene un salto finito en ese punto.
• es continua en ] − ∞, 0[, en ]0, 2[ y en ]2, +∞[.

FCFM. UdeC 35 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.


Teorema (Algebra de funciones continuas).

Si f y g son funciones continuas en x0 , entonces las funciones


f + g, f g, kf y fg son continuas en x0 ; en el último caso con
g(x0 ) 6= 0. Más precisamente:

lim (f + g)(x) = (f + g)(x0 ).


x→x0

lim (f · g)(x) = (f · g)(x0 ).


x→x0

lim (kf )(x) = kf (x0 ), k ∈ R.


x→x0

f  f 
lim (x) = (x0 ).
x→x0 g g

FCFM. UdeC 36 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.


Ejemplo 15). Continuidad de las funciones circulares.

1. Sabemos que las funciones seno y coseno son


continuas(ejemplo 13).
sen(x)
2. tg(x) = cos(x) , x ∈ A = Dom(tg) es continua pues
corresponde a la división de dos funciones continuas, con
cos(x) 6= 0, x ∈ A.
3. Analogamente, se prueba que las funciones cotangente,
secante y cosecante son continuas (en su respectivo dominio).

FCFM. UdeC 37 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.


Teorema (Continuidad de la función compuesta).

Si f es continua en x0 y g lo es en y0 = f (x0 ), entonces g ◦ f


es continua en x0 . Es decir,

lim (g ◦ f )(x) = (g ◦ f )(x0 ).


x→x0

Observación. Si f y g son continuas en x0 , entonces:

lim g(f (x)) = lim (g◦f )(x) = g(f (x0 )) = g( lim f (x)).
x→x0 x→x0 x→x0

Es decir, las funciones continuas conmutan con el lı́mite.



La función compuesta h(x) = x2 + 4, x ∈ R, del ejemplo 6),
es continua.

FCFM. UdeC 38 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.


Continuidad lateral.

Definición. Una función f definida en ]a, x0 ] se dice continua a


izquierda en x0 si

lim− f (x) = f (x0 ),


x→x0

y si f está definida en [x0 , b[, se dice continua a derecha en x0


si
lim+ f (x) = f (x0 ).
x→x0

Obviamente, se deduce que f es continua en x0 si y sólo si f es


continua a derecha y a izquierda en x0 .

FCFM. UdeC 39 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.


Continuidad en intervalos.

La función del ejemplo 14) no es continua a izquierda en 0 y es


continua a derecha en ese punto.

Definición.

Se dice que una función f es continua en el intervalo abierto


]a, b[ si lo es en cada punto del intervalo. Se dice que f es
continua en el intervalo cerrado [a, b] si lo es en cada x ∈]a, b[
y si además es continua a derecha en a y a izquierda en b.

FCFM. UdeC 40 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.


Continuidad en intervalos.

Ejemplo 15). La función f (x) = x, x ∈ [0, +∞[ es continua.

En efecto, sabemos es continua en ]0, +∞[ pues


√ √
lim x = a, ∀a > 0. Además, es continua a derecha en 0,
x→a √

pues lim x = 0 = 0.
x→0+
En consecuencia, f (función raı́z cuadrada) es continua en su
dominio [0, +∞[ o simplemente f es una función continua.

FCFM. UdeC 41 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.

También podría gustarte