Captulo 2

Lmites y continuidad de funciones

reales
2.1.

Lmite de una funci

on en un punto

Definici
on 2.1.1. Lmite de una funci
on. Condici
on de Cauchy
Sea f una funci
on real de variable real, definida al menos en un entorno reducido1 E del punto
a . Se dice que la funci
on f tiene lmite L R en el punto a y denotaremos lm f (x) = L , cuando
xa

para cada > 0 existe un > 0 tal que si x E (a, ) , entonces |f (x) L| < .
> 0 , > 0 / 0 < |x a| < = |f (x) L| <

(Condici
on de Cauchy)

Ejemplo 2.1.
Demostrar, utilizando la definici
on de lmite, que lm

x4

1
1
= .
x
4

Soluci
on



 1 1
Hay que demostrar que para un > 0 cualquiera se cumple que   < si 0 < |x 4| < ,
x 4
para un cierto que hay que determinar.
{
4 <x<4+
Sea 0 < < 3 . Entonces 0 < |x 4| <
.
x = 4
Ademas 0 < < 3 3 < < 0 1 < 4 < 4 , por lo que 1 < 4 < x < 4 + .
Entonces:

Si


 

 1 1   4 x  |x 4|

 =

 x 4   4x  = 4 |x| < 4 1 = 4 .

= , o sea, si para cada > 0 se elige un = mn{4 , 3} se cumple la definicion de lmite, por
4
1 Se

denomina entorno de un punto a a cualquier intervalo abierto que que tiene a a como centro; a la mitad de la
distancia entre sus extremos, , se la llama radio del entorno, lo denotaremos como E(a, ) .
E(a, ) = (a , a + ) = {x R / |x a| < } .
Se llama entorno reducido al conjunto que resulta de prescindir del centro de un entorno ordinario, lo denotaremos as:
E (a, ) = {x R / 0 < |x a| < } .

25

CAPITULO 2. LIMITES Y CONTINUIDAD DE FUNCIONES REALES

26

lo que lm

x4

1
1
= .
x
4

Notas
En la definicion de lmite de una funcion f en un punto a no tiene ninguna importancia el
valor que toma la funcion en el punto a , que pude incluso ni existir.
Ejemplo 2.2.

Se considera la funci
on f (x) =

(x 3)2

si

x R\{5}

si

x=5

Demostrar, utilizando la definici

on de lmite, que lm f (x) = 4 .
x5

Soluci
on
Hay que demostrar que para un > 0 cualquiera se cumple que |f (x)4| < si 0 < |x5| < ,
para un cierto que hay que determinar. Como x = 5 , f (x) = (x 3)2 , por lo que
|f (x) 4| < |(x 3)2 4| < |x2 6x + 5| < |x 5||x 1| < .
{
5 <x<5+
Sea 0 < < 4 . Entonces 0 < |x 5| <
0 < 4 < x1 < 4+.
x = 5
|x 5||x 1| < (4 + ) .
(4 + ) = 2 + 4 = 0 = 2
Luego para cada > 0 existe un > 0 , =
lmite, por lo que lm f (x) = 4 .

4 + = 4 + 2 > 0.

4 + 2 para los que se cumple la definicion de

x5

La funcion f (x) vale 5 en x = 5 , pero podra valer 4 , cualquier otro valor o ni estar definida
en ese punto.
Para que exista lmite, de f en a , la condicion de Cauchy se ha de verificar para cualquiera que
sea el n
umero > 0 . Si la condicion se verifica para un cierto 0 > 0 , entonces se verifica para
todos los mayores que 0 . La condicion de Cauchy es mas crtica cuanto menor sea > 0 ;
para se
nalar esto, cuando se dice que la condicion se ha de verificar para todo > 0 , hay quien
a
nade por muy peque
no que sea > 0 .
Para un > 0 dado, si la condicion de Cauchy se satisface para un cierto 0 > 0 , entonces
tambien se satisface para cualquier > 0 menor que 0 .
Para se
nalar que el valor de > 0 depende del valor que se tome para > 0 , se acostumbra
poner () en lugar de . En general disminuira al disminuir .

2.1.1.

Consecuencias de la definici
on de lmite

Teorema 2.1.1. Unicidad del lmite

Sea f una funci
on real de variable real definida al menos en un entorno reducido del punto a R .
Si f tiene lmite en el punto a , entonces este es u
nico.
Teorema 2.1.2.
Sea f una funci
on real de variable real definida al menos en un entorno reducido del punto a R .
Si f tiene lmite en el punto a , entonces f est
a acotada en un entorno reducido de a .

 EN UN PUNTO
2.1. LIMITE DE UNA FUNCION

2.1.2.

27

Lmites laterales

Si la variable x tiende al valor a solo por la derecha (x a+ ) o solo por la izquierda (x a )

a los correspondientes valores del lmite se los denomina lmites laterales (por la derecha e izquierda,
respectivamente).
Definici
on 2.1.2. Lmites laterales
Sea f una funci
on real de variable real definida al menos en un entorno reducido del punto a R .
{
}
{
}
lmite lateral por la izquierda
l > 0
Diremos que f tiene
si > 0
tal que si
lmite lateral por la derecha
r > 0

{
}
{
}
lm f (x) = Ll
a l < x < a
|f (x) Ll | <
xa
, entonces
y denotaremos
lm f (x) = Lr
a < x < a + r
|f (x) Lr | <
xa+

Los lmites laterales pueden existir ambos, uno de ellos o ninguno y, en el caso de existir ambos,
estos pueden ser iguales o diferentes.
Mas adelante (cuando se hable de la continuidad de las funciones reales de variable real) se vera
la importancia de estos lmites laterales, ahora vamos a ver una condicion necesaria y suficiente para
la existencia del lmite de una funcion en un punto.
Teorema 2.1.3. Existencia de lmite
Sea f una funci
on real de variable real definida al menos en un entorno reducido del punto a R .
La condici
on necesaria y suficiente para que f tenga lmite en el punto a es que existan ambos
lmites laterales y adem
as sean iguales.

2.1.3.

Lmites infinitos y lmites en el infinito

Definici
on 2.1.3. Lmites infinitos
Sea f una funci
on real de variable real definida al menos en un entorno reducido del punto a R .
{
}
+
Se dice que la funci
on f tiene lmite
en el punto a si

{
k > 0 , > 0 / 0 < |x a| <

k < f (x)

}
.

f (x) < k

Definici
on 2.1.4. Lmites en el infinito

Sea f una funci

on real de variable real definida al menos en un entorno de
{
Se dice que la funci
on f tiene lmite L en
{
> 0, h > 0 /

y denotaremos

h<x

x < h

}
2

lm f (x) = L

x+

lm f (x) = L

si

}
|f (x) L| < .

2 Un entorno de + es un intervalo no acotado del tipo (M, +) . Un entorno de es un intervalo no acotado

del tipo (, M ) .

CAPITULO 2. LIMITES Y CONTINUIDAD DE FUNCIONES REALES

28

Definici
on 2.1.5. Lmites infinitos en el infinito
Sea f una funci
on real de variable real definida al menos en un entorno de + .
{
}
+
Se dice que la funci
on f tiene lmite
en + si

{
k > 0 , h > 0 / h < x

k < f (x)
f (x) < k

}
.

Sea f una funci

on real de variable real definida al menos en un entorno de .
{
}
+
Se dice que la funci
on f tiene lmite
en si

{
k > 0 , h > 0 / x < h

2.1.4.

k < f (x)
f (x) < k

}
.

Infinit
esimos e infinitos

Definici
on 2.1.6. Infinit
esimos e infinitos
Sea f una funci
on real de variable real definida al menos en un entorno reducido del punto a ,
donde a R , o es + o .
1. Diremos que la funci
on f es un infinitesimo en el punto a si lm f (x) y dicho lmite vale
xa
cero.
2. Diremos que la funci
on f es un infinito en el punto a si lm f (x) y dicho lmite vale +
xa
o .
Teorema 2.1.4. Propiedades de los infinit
esimos e infinitos
Sean f y g dos funciones reales de variable real definidas al menos en un entorno reducido del
punto a , donde a R , o es + o . Se verifica:
1. Si f es un infinitesimo en a y g est
a acotada en un entorno de a , entonces la funci
on producto
f g es un infinitesimo en a .
{
}
{
}
+
inferiormente
2. Si f tiene lmite
en a y g est
a acotada
en un entorno de a ,

superiormente
{
}
+
entonces la funci
on suma tiene lmite
en a .

{ + }
{
}
0
+
1
tiene lmite
en
on f tiene lmite
3. La funci
en a si, y s
olo si, la funci
on
f
0

a.
Teorema 2.1.5. Desigualdades entre funciones y lmites
Sean f , g y h tres funciones reales de variable real definidas al menos en un entorno reducido
del punto a R , donde a R , o es + o .

 EN UN PUNTO
2.1. LIMITE DE UNA FUNCION

29

1. Si existe lm f (x) = L , se verifica que

xa

{
Si es
{
Si es

k<L

{
, entonces es

L<k
k < f (x)

}
, entonces es

f (x) < k

k < f (x)

f (x) < k
{
}
kL
Lk

en un entorno de a .

en un entorno de a .

2. Si existen lm f (x) = L1 y lm g(x) = L2 , se verifica que

xa

xa

Si es L1 < L2 , entonces es f (x) < g(x) en un entorno de a .

Si es f (x) < g(x) en un entorno de a , entonces es L1 L2 .
3. Regla del s
andwich Si las funciones f y g tiene el mismo lmite L en a y en un entorno
de a se verifica que f (x) h(x) g(x) , entonces la funci
on h tambien tiene lmite L en a .

2.1.5.

Propiedades de los lmites

Teorema 2.1.6. Algebra

de lmites
Sean f y g dos funciones reales de variable real definidas al menos en un entorno reducido del
punto a , donde a R , o es + o .
Si existen lm f (x) = L1 y lm g(x) = L2 , donde L1 R y L2 R o bien son infinitos.
xa
xa
Entonces
1. lm (f + g)(x) = lm f (x) + lm g(x) = L1 + L2 .
xa

xa

xa

Salvo si L1 y L2 son infinitos de diferente signo.

Se tiene entonces una indeterminaci
on del tipo [ 1 ] .
2. R : lm ( f )(x) = lm f (x) = L1 .
xa

xa

3. lm (f g)(x) = lm f (x) lm g(x) = L1 L2 .

xa

xa

xa

Salvo si L1 y L2 son uno 0 y el otro .

Se tiene entonces una indeterminaci
on del tipo 0 [ 2 ] .
( )
lm f (x)
L1
f
(x) = xa
=
, si lm g(x) = 0 .
xa
xa
g
lm g(x)
L2

4. lm

xa

Salvo si L1 y L2 son ambos 0 o .

Se tienen entonces indeterminaciones del tipo

[ 3 ] o del tipo
[4].
0

)
(
lm f (x)
= uL1 .
5. Para u > 0 , u = 1 : lm uf (x) = uxa
xa

(
)
6. Para u > 0 , u = 1 , L1 > 0 : lm logu f (x) = logu lm f (x) = logu L1 .
(

xa

xa

2
7. Para L1 > 0 : lm f (x)g(x) = LL
1 .

xa

Salvo si L1 = 1 y L2 = , L1 = y L2 = 0 y L1 = 0 y L2 = 0 .
Se tienen entonces indeterminaciones del tipo 1 [ 5 ] o del tipo 0 [ 6 ] o del tipo 00 [ 7 ] .

CAPITULO 2. LIMITES Y CONTINUIDAD DE FUNCIONES REALES

30

Nota: las u
nicas indeterminaciones son las siete indicadas:

0
0

00

Los casos que se se

nalan a continuaci
on no son indeterminaciones; en ellos 0 y/o son los
valores de lm f (x) = L1 y lm g(x) = L2 y detras del signo = figura el lmite de las operaciones
xa

xa

correspondientes (f + g , f g , logu f , f g ) , seg

un el caso.
+ + = +

+ () =

() () =

0
=0

=
0

L1
=0

L1
=
0

logu (+) = + (u > 1)

logu (+) = (u < 1)

logu (0+ ) = (u > 1)

logu (0+ ) = + (u < 1)

u+ = + (u > 1)

u+ = 0 (u < 1)

u = 0 (u > 1)

u = + (u < 1)

0+ = 0

0 = +

(+)+ = +

(+) = 0

2.1.6.

Ordenes
de los infinit
esimos y de los infinitos

En el calculo de lmites, los casos de indeterminaci

on de los tipos
e
son los mas frecuentes y
0

a ellos se suelen reducir los demas; de ah que nos ocupemos de aquellas, ahora, con alg
un detenimiento.
f (x)
Analizaremos las diferentes posibilidades que se pueden presentar en lmites del tipo lm
, cuando
xa g(x)
f (x) y g(x) son ambas infinitesimos o infinitos.
Definici
on 2.1.7. Orden de infinit
esimos e infinitos
Sean f y g dos funciones reales de variable real,
un entorno reducido del punto a , donde a R , o es
{
}
infinitos
Si f y g son dos
en a y si
infinitesimos
{
}
infinito
dice que f es un
de mayor orden
infinitesimo

que est
an definidas y no se anulan al menos en
+ o .
{
}
infinito
f
tambien es un
en a , se
g
infinitesimo
que g y denotaremos:

ord [f (x)] > ord [g(x)] .

xa

xa

on de infinit
esimos e infinitos
Teorema 2.1.7. Comparaci
Sean f y g dos funciones reales de variable real, que est
an definidas y no se anulan al menos en
un entorno reducido del punto a , donde a R , o es + o .

 EN UN PUNTO
2.1. LIMITE DE UNA FUNCION

31

g(x)
= 0 , se dice que g(x) es despreciable frente a f (x) en un entorno de a y se
f (x)
denota g(x) f (x) o, tambien se utiliza la notaci
on de Landau: g(x) = o[f (x)] .

Si lm

xa

g(x)
= k , k R\{0} , se dice que f (x) y g(x) son del mismo orden en un entorno de
Si lm
xa f (x)
a.
Teorema 2.1.8. Orden de infinit
esimos e infinitos
Sea f una funci
on real de variable real, que est
a definida al menos en un entorno reducido del
punto a R .
f (x)
Si lm
= k , k R\{0} , se dice que es el orden de f (x) y que k(x a) es su parte
xa (x a)
principal cuando x a .
Sea f una funci
on real de variable real, que est
a definida al menos en un entorno del infinito.
f (x)
= k , k R\{0} , se dice que es el orden de f (x) y que kx es su parte principal
Si lm
x x
cuando x .
Teorema 2.1.9. Equivalencias entre infinit
esimos y entre infinitos
Sean f y g dos funciones reales de variable real, que est
an definidas y no se anulan al menos
en un entorno reducido del punto a , donde a R , o es + o ; se supone que ambas son
infinitesimos, que ambas son infinitos, o que, en general, ambas tienen el mismo lmite en el punto a .
x=a

Se dice que f y g son equivalentes en a y se denota f (x) g(x) , o simplemente f (x) g(x) ,
si se verifica una de las dos condiciones siguientes, equivalentes entre s:
{

x=a

f (x) g(x)
(Equivalentes en a)

f (x)
lm
=1
xa g(x)

}
f (x) = g((x) + o[g(x)]

x=a

Principio de sustituci
on Si f (x) g(x) y si existen los lmites de los segundos miembros
(en donde la funci
on (x) est
a definida en un entorno del punto a ), entonces:
lm (x) f (x) = lm (x) g(x)

xa

xa

lm

xa

2.1.7.

(x)
(x)
= lm
f (x) xa g(x)

Infinit
esimos equivalentes

Sea : R R un infinitesimo en x = a , con a R {, +} : lm (x) = 0

xa

Son equivalentes los siguientes infinitesimos

CAPITULO 2. LIMITES Y CONTINUIDAD DE FUNCIONES REALES

32

e 1

a 1 ln a

(1 + )m 1 m , m R

ln(1 + )

sen

sh

tg

th

arc sen

argsh

arc tg

argth

2
2
3
sen
6
3
tg
3

2
2
3
sh
6
3
th
3

1 cos

ch 1

Sea : R R y sea x = a , con a R {, +} , si lm (x) = 1 , entonces, como (x) 1

xa
es un infinitesimo en x = a , tenemos que:

m 1 m( 1) , m R

2.1.8.

ln 1

Comparaci
on de infinitos

Sea : R R un infinito en x = a , con a R {, +} : lm (x) =

xa

Tenemos que

loga (x)
1<a

2.2.

((x))

0<b

c(x)

((x))

1<c

d(x)

o<d

Continuidad en un punto

Definici
on 2.2.1. Continuidad de una funci
on en un punto
Sea f una funci
on real de variable real, que est
a definida al menos en un entorno del punto a R .
Se dice que f es continua en el punto a si existe el lmite de f en a y este vale f (a) .
f continua en a

lm f (x) = f (a)

f continua en a

> 0 , > 0 / |x a| < |f (x) f (a)| <

xa

Se dice que f es discontinua en a si no es continua en a . Si existe y es finito, lm f (x) = L

xa

R , L = f (a) , entonces se dice que la discontinuidad es evitable (bastara redefinir el valor de f en

a ); en caso contrario (o no existe el lmite o este es infinito) se dice que la discontinuidad es esencial.

2.2. CONTINUIDAD EN UN PUNTO

33

Teorema 2.2.1. Propiedades de la continuidad

Sea f una funci
on real de variable real, que est
a definida al menos en un entorno del punto a R .
Si f es continua en a , entonces:
1. La funci
on f est
a acotada en un cierto entorno de a .
2. Si es f (a) = 0 , entonces f (x) tiene el mismo signo que f (a) en un cierto entorno de a .
Continuidad lateral
Definici
on 2.2.2. Continuidad lateral
on real de variable real, que est
a definida al menos en un semientorno por la
{ Sea f una
} funci
izquierda
del punto a R .
derecha
{
}
{
}
izquierda
izquierda
Se dice que f es continua por la
en a si existe el lmite por la
derecha
derecha
de f en a y dicho lmite vale f (a) .

{
}

lm f (x) = f (a ) = f (a)
izquierda
xa
Es decir, f es continua por la
en a si
lm f (x) = f (a+ ) = f (a)
derecha
+
xa

on de la continuidad en un punto
Teorema 2.2.2. Caracterizaci
Sea f una funci
on real de variable real, que est
a definida al menos en un entorno del punto a R .
La funci
on f es continua en a si, y s
olo si, es continua por la izquierda y por la derecha; es decir
si existen f (a ) y f (a+ ) y se verifica que f (a ) = f (a+ ) = f (a) .
Definici
on 2.2.3. Tipos de discontinuidad
Si existen f (a ) y f (a+ ) y son distintos, entonces a esta discontinuidad de f en a se la llama
discontinuidad de primera especie y a la diferencia f (a+ ) f (a ) se la llama salto (finito o
infinito) de f en a .
Si no existe alguno de los dos lmites laterales f (a ) y f (a+ ) , entonces a esta discontinuidad
de f en a se la denomina discontinuidad de segunda especie.
Ejemplo 2.3.

Estudiar la continuidad en el punto x0 = 0 de la funci

on f (x) =

e1/x

si

x = 0

kR

si

x=0

Soluci
on
Cuando x 0 ,
e1/x 0+ .
Cuando x 0+ ,
e1/x + .

1
, por lo que la funcion
x
1
+ , por lo que la funcion
x

Esta funcion tiene en el origen una discontinuidad

de primera especie de salto infinito, independientemente de cual sea el valor de k R .

CAPITULO 2. LIMITES Y CONTINUIDAD DE FUNCIONES REALES

34

Si se toma el valor k = 0 , se tiene que la funcion es continua por la izquierda. Por la derecha no
puede haber continuidad ya que lm+ f (x) = + .
x0

2.2.1.

Operaciones con funciones continuas

Teorema 2.2.3. Operaciones aritm

eticas con funciones continuas
Sean f y g(x) dos funciones reales de variable real, definidas al menos en un entorno del punto
a R.
Si f y g son continuas en a , entonces tambien son continuas en a las funciones suma, f + g ,
f
producto, f g y cociente,
(en este caso s
olo si g(a) = 0 )
g
Demostraci
on
Se tiene:
lm (f + g)(x) = lm f (x) + lm g(x) = f (a) + g(a) .

xa

xa

xa

lm (f g)(x) = lm f (x) lm g(x) = f (a) g(a) .

xa

xa

xa

( )
lm f (x)
f (a)
f
(x) = xa
=
.
xa
g
lm g(x)
g(a)
lm

xa

2.2.2.

Continuidad de las funciones elementales

La funcion f (x) = x es continua en todos los puntos de su dominio R , como consecuencia de

ello la funcion polinomica f (x) = a0 + a1 x + a2 x2 + + an xn , tambien es continua en todos
los puntos de R .
La funcion f (x) = xa , x R+ , a R , es continua en todos los puntos de su dominio
R+ = (0, +) .
Una funcion racional
f (x) =

a0 + a1 x + a2 x2 + am xm
,
b0 + b1 x + b2 x2 + bn xn

es continua en todos los puntos de R , excepto en aquellos para los que se anula el polinomio
del denominador.
Las funciones trigonometricas f (x) = sen x y f (x) = cos x son continuas en todos los puntos
de R , como consecuencia de ello la funcion f (x) = tg x es continua en todos los puntos de R ,
{
}
(2k + 1)
excepto en el conjunto formado por los puntos x =
, kZ ,
2
La funcion exponencial f (x) = ax , a R+ \{1} , es continua en todos los puntos de su dominio
R.
La funcion logartmica f (x) = loga x , a R+ \{1} , es continua en todos los puntos de su
dominio R+ = (0, +) .
La funcion f (x) = xx , x R+ , es continua en todos los puntos de su dominio R+ = (0, +) .

2.2. CONTINUIDAD EN UN PUNTO

2.2.3.

35

La continuidad de la funci
on compuesta

En su momento se definio la composicion de funciones reales de variable real para las funciones
f, g : R R , tales que Im f Dom g , como:
f

R
7 f (x)

h: R
x

g
R
7 g(f (x)) = h(x)

Teorema 2.2.4. Composici

on de funciones continuas
Sean f y g dos funciones reales de variable real definidas al menos en sendos entornos de los
puntos a R y b = f (a) R , respectivamente.
Si f es continua en a y g lo es en b . Entonces la funci
on h = g f es continua en a .
Demostraci
on
Sea > 0 , cualquiera. Para este , por ser g continua en b , existe un > 0 , tal que
|y b| < |g(y) g(b)| <
Para el > 0 anterior, por ser f continua en a , existe un > 0 , tal que
|x a| < |f (x) f (a)| < |g(f (x)) g(f (a))| < |(g f )(x) (g f )(a)| <
Por lo tanto:
> 0 , > 0 / |x a| < |(g f )(x) (g f )(a)| < (g f ) continua en a .
n
Observacio
Sean f y g dos funciones reales de variable real tales que f esta definida al menos en un entorno
U del punto a R y g esta definida al menos en un entorno V de un punto b R y que tambien
se verifica que f (U ) V . La existencia de los lmites
lm f (x) = b

xa

lm g(y) = L

yb

no es suficiente para asegurar que lm (g f )(x) = L .

xa

El siguiente contraejemplo lo demuestra:

Sean a, m, p, q R cuatro n
umeros reales diferentes y consideremos las funciones
f :RR
{
definidas como f (x) = m y g(x) =

si

x=m

si

x = m

g:RR
.

Los lmites siguientes existen:

lm f (x) = m

xa

lm g(y) = q ,

ym

pero
lm (g f )(x) = lm (g(f (x))) = g(m) = p

xa

xa

CAPITULO 2. LIMITES Y CONTINUIDAD DE FUNCIONES REALES

36

2.3.

Continuidad en un intervalo

La continuidad de una funcion en un punto es una propiedad local, veremos que tambien es una
propiedad global, una funcion se dira que es continua en un conjunto si lo es en todos los puntos
de dicho conjunto. De entre todas estas tienen especial interes las funciones que son continuas en
intervalos, que gozan de importantes propiedades.
Definici
on 2.3.1. Intervalos
Existen dos tipos de intervalos, los acotados:
[a, b] = {x R / a x b}

[a, b) = {x R / a x < b}

(a, b] = {x R / a < x b}

(a, b) = {x R / a < x < b}

y los no acotados:
(, b] = {x R / < x b}

(, b) = {x R / < x < b}

[a, +) = {x R / a x < +}

(a, +) = {x R / a < x < +}

Definici
on 2.3.2. Caracterizaci
on de los intervalos
Un conjunto I R es un intervalo si satisface la siguiente condici
on:
x, y I

x<t<y

tI

Definici
on 2.3.3. Continuidad en un intervalo
Sea f una funci
on real de variable real, definida al menos en un intervalo I R . Se dice que f
es continua en el intervalo I si lo es en cada uno de los puntos de I 3
El conjunto formado por todas las funciones reales continuas en un cierto intervalo I se denota
como C(I , R) .
Nota
La funcion f : I R R es continua en I R si verifica:
> 0 , > o / x1 , x2 I , |x1 x2 | < |f (x1 ) f (x2 )| < .
Teorema 2.3.1. Propiedades de las funciones continuas en intervalos
1. Sean f y g dos funciones reales de variable real, definidas al menos en un intervalo I R y
continuas en I .
La suma, el producto y el cociente (si g no se anula) de las funciones f y g tambien es una
funci
on continua en I .
2. Sean f : I R R y g : J R R dos funciones continuas en sus intervalos de definici
on
y tales que f (I) J .
La funci
on compuesta g f : I R R tambien es continua en I .
3 Si el intervalo contiene a alguno de sus extremos, se sobrentiende que en ellos la continuidad es por la derecha (si
el extremo que pertenece es el izquierdo) o por la izquierda (si el extremo que pertenece es el derecho).

2.3. CONTINUIDAD EN UN INTERVALO

2.3.1.

37

Teoremas del valor intermedio

Teorema 2.3.2. Teorema de Darboux de los valores intermedios

Sea f una funci
on real de variable real, definida al menos en un intervalo I R y continua en
I y sean a, b I , a < b .
Si el n
umero k R est
a comprendido entre los valores f (a) y f (b) , entonces existe al menos un
punto c (a, b) tal que f (c) = k .
Un caso particular de la propiedad de Darboux (se obtiene para el valor particular k = 0 ) es el
siguiente teorema.
Teorema 2.3.3. Teorema de Bolzano. Ceros de f
Sea f una funci
on real de variable real, definida al menos en un intervalo I R y continua en
I y sean a, b I , a < b .
Si la funci
on f toma valores de diferente signo en los puntos a y b ( f (a) f (b) < 0 ), entonces
existe al menos un punto c (a, b) tal que f (c) = 0 .

2.3.2.

La continuidad conserva intervalos

Teorema 2.3.4.
Sea I R un intervalo cualquiera y sea f : I R R una funci
on continua en I . Entonces el
conjunto imagen f (I) = {f (x) / x I} es tambien un intervalo.
Demostraci
on
n
Observacio
La propiedad anterior garantiza que, si f es una funcion continua, la imagen de cualquier intervalo I R , f (I) = J R
tambien sera un intervalo, pero no
dice nada de que tipo de intervalo se tratara. En general no tienen
porque ser del mismo tipo.
En la figura se observa que si
I es acotado, su imagen puede ser
un intervalo acotado o no acotado
y que si I es no acotado, su imagen puede ser un intervalo acotado; tambien puede ocurrir que I
sea un intervalo abierto y que su imagen sea un intervalo acotado. Lo que nunca podra ocurrir, y de
ello trataremos a continuaci
on, es que si I es un intervalo cerrado y acotado (compacto4 ), su imagen
no lo sea tambien.

2.3.3.

Conservaci
on de los intervalos compactos

Teorema 2.3.5. Conservaci

on de la compacidad
4 En

R un conjunto se denomina compacto si es cerrado y acotado.

CAPITULO 2. LIMITES Y CONTINUIDAD DE FUNCIONES REALES

38

Sea [a, b] un intervalo compacto de R ( a, b R ) y sea f : [a, b] R R una funci

on continua
en su dominio [a, b] .
Entonces el conjunto imagen f ([a, b]) = {f (x) / a x b} tambien es un intervalo compacto.
Una consecuencia del teorema anterior es el siguiente resultado.
Teorema 2.3.6. Teorema de Weierstrass. Existencia de extremos
Sea [a, b] un intervalo compacto de R ( a, b R ) y sea f : [a, b] R R una funci
on continua
en su dominio [a, b] .
Entonces f alcanza sus extremos en [a, b] , es decir, existen xM , xm [a, b] y tales que:
x [a, b] : f (xm ) f (x) f (xM ) .
Nota
El teorema de Weierstrass nos asegura que, si f es una funcion continua definida en un intervalo
compacto [a, b] , entonces f esta acotada en [a, b] y alcanza sus valores mnimo y maximo absolutos.
Si el dominio de definicion no es un intervalo compacto, aunque f sea continua en el, no se puede
asegurar que se alcancen los valores mnimo y maximo.
En la figura 2.1 se observa (grafica de la izquierda) que si el intervalo es compacto ( [a, b] ) se
alcanzan el maximo y el mnimo de f , es mas, en este ejemplo, aunque el dominio hubiera sido un
abierto (a, b) , se alcanzara el mnimo pero no el maximo (el teorema de Weierstrass no dice nada
de lo que ocurre si el dominio no es compacto, se podran alcanzar el mnimo y el maximo o no). En
la grafica de la derecha se observa, que si la funcion es monotona en su dominio y este es abierto,
no se alcanzaran ni el maximo ni el mnimo. Por ejemplo, si se considera la funcion f : (0, 1) R
definida como f (x) = x2 , no se alcanzan ni el mnimo ni el maximo, pues el conjunto de imagenes
Im f = {y R / y = f (x)} es el intervalo (0, 1) , conjunto que tiene nfimo, el cero y supremo, el
uno, pero no se alcanzan, por lo que no hay ni mnimo ni maximo.

Figura 2.1: Teorema de Weierstrass

2.3.4.

Funciones mon
otonas continuas. Funci
on inversa

Teorema 2.3.7.
Sea f : I R R una funci
on real definida en un intervalo I .
Entonces

2.3. CONTINUIDAD EN UN INTERVALO

39

1. Si la funci
on f es continua en el intervalo I , entonces f es inyectiva en I si, y s
olo si, f es
estrictamente mon
otona en I .
2. Si f es mon
otona en I , para que f sea continua en I es necesario y suficiente que el conjunto
imagen J = f (I) sea un intervalo.
3. Si f es continua en I y estrictamente mon
otona en I , entonces la funci
on inversa f 1 : J I
es continua y estrictamente mon
otona en J .

Indice general
1. Funciones reales de variable real

1.1. Primeros conceptos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.1.1. Conjuntos de n
umeros reales . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.1.2. Logica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.1.3. Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.1.4. Aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.1.5. Estructuras algebraicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2. Las funciones reales de variable real . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2.1. Definiciones previas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2.2. Simetras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

11

1.2.3. Operaciones con funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

14

1.2.4. La funcion inversa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

15

1.2.5. Funciones elementales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

18

1.2.6. Las funciones trigonometricas . . . . . . . . . . . . . . . . . . . . . . . . . . . .

21

1.3. Apendice . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

23

1.3.1. El radian . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

23

2. Lmites y continuidad de funciones reales

25

2.1. Lmite de una funcion en un punto . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

25

2.1.1. Consecuencias de la definicion de lmite . . . . . . . . . . . . . . . . . . . . . .

26

2.1.2. Lmites laterales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

27

2.1.3. Lmites infinitos y lmites en el infinito . . . . . . . . . . . . . . . . . . . . . . .

27

2.1.4. Infinitesimos e infinitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

28

2.1.5. Propiedades de los lmites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

29

2.1.6. Ordenes
de los infinitesimos y de los infinitos . . . . . . . . . . . . . . . . . . .

30

2.1.7. Infinitesimos equivalentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

31

2.1.8. Comparacion de infinitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

32

2.2. Continuidad en un punto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

32

2.2.1. Operaciones con funciones continuas . . . . . . . . . . . . . . . . . . . . . . . .

34

INDICE GENERAL

ii

2.2.2. Continuidad de las funciones elementales

. . . . . . . . . . . . . . . . . . . . .

34

2.2.3. La continuidad de la funcion compuesta . . . . . . . . . . . . . . . . . . . . . .

35

2.3. Continuidad en un intervalo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

36

2.3.1. Teoremas del valor intermedio . . . . . . . . . . . . . . . . . . . . . . . . . . . .

37

2.3.2. La continuidad conserva intervalos . . . . . . . . . . . . . . . . . . . . . . . . .

37

2.3.3. Conservaci
on de los intervalos compactos . . . . . . . . . . . . . . . . . . . . .

37

2.3.4. Funciones monotonas continuas. Funcion inversa . . . . . . . . . . . . . . . . .

38