Tema

12

Continuidad
El Anlisis Real es la parte del Anlisis Matemtico que se ocupa de las funciones de una o
varias variables reales. Iniciamos aqu el estudio del caso ms sencillo: funciones reales de una
variable real, es decir, aplicaciones definidas en un subconjunto de R, con valores en R.
Nos interesa una propiedad importante que dichas funciones pueden tener: la continuidad.
Tras definir las funciones continuas, obtendremos algunas propiedades bsicas. Concretamente
veremos que la continuidad se conserva mediante varias operaciones: suma, producto, cociente
y composicin. Aparecern de esta forma abundantes ejemplos de funciones continuas. Tambin
estudiaremos el carcter local de la continuidad, explicando con detalle en qu consiste.

12.1.

Funciones reales de variable real

Llamamos funcin real de variable real a cualquier aplicacin f : A R, donde A es un

subconjunto no vaco de R. Puesto que slo vamos a trabajar con este tipo de funciones, cuando
usemos la palabra funcin, nos referimos siempre a una funcin real de variable real.
Para definir correctamente una funcin f , concretamos primero su conjunto de definicin,
digamos A, que puede ser cualquier subconjunto no vaco de R, y entonces explicamos, para
cada x A, cmo se obtiene el nmero real f (x), que ha de estar determinado de manera nica.
Suele decirse que f (x) es el valor que toma la funcin f en el punto x, o simplemente el valor
de f en x. Est claro que dos funciones f : A R y g : B R slo son iguales cuando A = B y
f (x) = g(x) para todo x A.
Toda funcin f : A R, se interpreta geomtricamente mediante un subconjunto de R2 que
recibe el nombre de grfica de la funcin f y viene definido por




Gr f = x, f (x) : x A
Viendo cada (x, y) R2 como el punto de un plano que, en coordenadas cartesianas, tiene
abscisa x y ordenada y, la grfica de la funcin f consta de los puntos (x, y) que verifican dos
condiciones: x A e y = f (x). Intuitivamente, para cada x A, la recta vertical formada por
todos los puntos de abscisa x contiene un nico punto de la grfica, el que tiene ordenada f (x),
mientras que si x
/ A, dicha recta tiene interseccin vaca con la grfica de f .
93

12. Continuidad

94

Gr f

f (x)

Obsrvese que la funcin y su grfica se determinan mutuamente, definir la funcin f es

exactamente lo mismo que definir el conjunto Gr f . Tambin es claro que un conjunto no vaco
E R2 es la grfica de una funcin real de variable real si, y slo si, para cada x R, la recta
vertical de abscisa x contiene, a lo sumo, un punto de E.
Las operaciones con nmeros reales dan lugar fcilmente a operaciones con funciones, que
ahora vamos a comentar. Para mayor comodidad, dado un conjunto no vaco A R, denotamos
por F(A, R) al conjunto de todas las funciones de A en R.
Pues bien, para dos funciones f , g F(A, R), definimos su suma f +g F(A, R) escribiendo
( f + g)(x) = f (x) + g(x) x A
Ntese que usamos el mismo nombre y el mismo signo para denotar dos operaciones diferentes
que no debemos confundir, a la derecha tenemos la operacin suma en el conjunto R (suma
de nmeros reales), mientras a la izquierda tenemos la operacin suma en el conjunto F(A, R)
(suma de funciones).
Las propiedades bien conocidas de la suma de nmeros reales se trasladan de forma evidente
a la suma de funciones. Ms concretamente, la suma de funciones es asociativa y conmutativa
y admite como elemento neutro a la funcin f0 F(A, R) definida por f0 (x) = 0 para todo
x A, la funcin constantemente igual a cero en A. Es habitual denotar simplemente por 0 a
esta funcin. Adems, toda funcin f F(A, R) admite un elemento simtrico respecto de la
suma, la funcin f F(A, R) definida por: ( f )(x) = f (x) para todo x A. En resumen, al
igual que le ocurra a R, el conjunto F(A, R), con la suma recin definida, es un grupo abeliano.
Para dos funciones f , g F(A, R), definimos tambin su producto f g F(A, R), escribiendo
( f g)(x) = f (x)g(x) x A
Este producto es tambin asociativo, conmutativo y distributivo con respecto a la suma. Adems,
admite como elemento neutro a la funcin f1 F(A, R) definida por f1 (x) = 1 para todo x A,
la funcin constantemente igual a uno en A.

12. Continuidad

95

As pues el conjunto F(A, R), con las operaciones de suma y producto recin definidas, es
un anillo conmutativo con unidad. Es claro que una funcin f F(A, R) admite un elemento
simtrico respecto del producto si, y slo si, verifica que f (x) 6= 0 para todo x A, en cuyo caso
1
dicho elemento simtrico es la funcin F(A, R) definida por
f
1
1
(x) =
f
f (x)

x A

1
recin definida, ya que dicha notacin
f
se reserva para la funcin inversa de f en un sentido completamente diferente.
No es conveniente usar la notacin f 1 para la funcin

Ha aparecido aqu la primera diferencia importante entre el producto de nmeros reales y el

producto de funciones. Obsrvese que, para f F(A, R), decir que f 6= 0 es tanto como decir
que existe x A tal que f (x) 6= 0. Salvo en el caso trivial de que el conjunto A se reduzca a un
punto, esto no implica que se tenga f (x) 6= 0 para todo x A, que es lo que f ha de cumplir
para admitir un elemento simtrico con respecto al producto. As pues, salvo que el conjunto A
se reduzca a un punto, F(A, R) no es un cuerpo.
Para el conjunto F(A, R) cabe considerar una tercera operacin, el producto de un nmero
real por una funcin f F(A, R), para obtener la funcin f F(A, R) definida por
( f )(x) = f (x) x A
Se comprueba rutinariamente que, con la suma ya conocida y el producto por escalares as
definido, F(A, R) es un espacio vectorial sobre el cuerpo R. Ahora bien, dicho producto por
escalares puede verse como caso particular de un producto de funciones. Para ello basta usar la
funcin constantemente igual a en A, es decir, la funcin f F(A, R) definida por f (x) =
para todo x A. Para cualquier funcin f F(A, R), es evidente que el producto de funciones
f f coincide con la funcin f . As pues, la estructura de espacio vectorial de F(A, R) queda de
alguna forma englobada en su estructura de anillo. Ello no es bice para que en ciertos casos, sea
til considerar en F(A, R) nociones tpicas de los espacios vectoriales (combinaciones lineales,
subespacios, etctera).
Veremos enseguida otras operaciones importantes con funciones reales de variable real, que
ya no se circunscriben al conjunto F(A, R), porque involucran funciones definidas en conjuntos
que pueden ser diferentes.
Conviene previamente recordar que la imagen de una funcin f : A R es el conjunto
f (A) = { f (x) : x A}
es decir, el conjunto de los valores que toma la funcin f . Frecuentemente ser til considerar
a f como una aplicacin sobreyectiva de A en f (A).
Si f : A R y g : B R son funciones verificando que f (A) B, podemos definir la
composicin de f con g, que es la funcin g f : A R dada por




g f (x) = g f (x) x A

12. Continuidad

96

Para tener un ejemplo concreto, podemos usar la funcin valor absoluto, es decir, la funcin
g : R R definida por g(x) = |x| para todo x R. Para cualquier funcin f : A R, la inclusin
f (A) R es obvia, luego tiene sentido considerar la funcin g f , que se denota por | f |. As
pues, | f | : A R es la funcin definida por
| f |(x) = | f (x)| x A
Si una funcin f : A R es inyectiva, podemos siempre verla como una aplicacin biyectiva
de A sobre f (A) y por tanto considerar la funcin inversa, que es la funcin f 1 : f (A) A
definida como sigue: para cada y f (A), existe un nico x A tal que y = f (x) y definimos
f 1 (y) = x. Obsrvese que tiene sentido considerar la composicin f 1 f y tambin f f 1 ,
verificndose que




f 1 f (x) = x x A
y
f f 1 (y) = y y f (A)
as que f 1 f es la funcin identidad en el conjunto A y f f 1 es la identidad en f (A).

1
Obsrvese que f 1 tambin es inyectiva y su inversa es f , es decir, f 1
= f.
Ya se ha comentado que dos funciones definidas en conjuntos diferentes son distintas. En
ocasiones resulta til modificar precisamente el conjunto de definicin de una funcin, para
obtener otra funcin definida en un subconjunto del de partida. Esto es lo que se entiende por
restringir una funcin.
Ms concretamente, dada una funcin f : A R y un conjunto no vaco B A, la restriccin
de f a B es la funcin f |B : B R definida por
f |B (x) = f (x) x B
Si ponemos g = f |B , podemos decir que g es una restriccin de f y tambin es frecuente decir
que f es una extensin de g.

12.2.

Funciones continuas

Dicho de manera muy informal, una funcin real de variable real ser continua en un punto x,
cuando al acercarnos al punto x, los valores de la funcin se acerquen a f (x). Esta idea se puede
concretar de varias formas que veremos son equivalentes. Como definicin de funcin continua
usaremos una condicin que nos resulta muy manejable, gracias a nuestro conocimiento de
la convergencia de sucesiones. Se basa en que una forma natural de acercarnos a un punto x
consiste en usar una sucesin convergente a x.
Sea f : A R una funcin y x A. Se dice que f es continua en el punto x cuando, para
cualquier sucesin {xn } de puntos de A que converja a x, se tiene que la sucesin { f (xn )}
converge a f (x). Simblicamente:
xn A n N , {xn } x = { f (xn )} f (x)
Obsrvese que no tiene sentido hablar de la continuidad de una funcin en puntos que no
pertenezcan a su conjunto de definicin.

12. Continuidad

97

Para un subconjunto no vaco B A, diremos que f es continua en B cuando sea continua

en todos los puntos de B. En particular puede ser A = B, as que f ser continua en A cuando
sea continua en cada punto de A. En tal caso es frecuente decir simplemente que f es continua,
aunque con ello no se abrevia demasiado. As pues, cuando decimos sin ms que una funcin
es continua, queremos decir que es continua en todos los puntos de su conjunto de definicin.
Para mayor generalidad y para evitar repeticiones, en varios resultados sobre la continuidad
de una funcin f : A R, trabajaremos preferentemente con la continuidad en un conjunto
B A, aunque nos interesan principalmente los casos extremos: el caso en que B se reduce a un
punto y el caso B = A.
Como primeros ejemplos de funciones continuas, tenemos las constantes. Decimos que una
funcin f : A R es constante cuando existe R tal que f (x) = para todo x A. Es
obvio que tales funciones son continuas. Claramente, la funcin identidad en un conjunto A,
definida por f (x) = x para todo x A, tambin es continua. Las reglas de clculo de lmites nos
permitirn operar con funciones continuas para obtener nuevos ejemplos.
Sean f , g : A R funciones continuas en un conjunto B A. Entonces f + g y f g
tambin son continuas en B.
La comprobacin de este hecho es inmediata: si x B y {xn } x, con xn A para todo n N,
sabemos que { f (xn )} f (x) y {g(xn )} g(x), luego






f + g (xn ) = { f (xn ) + g(xn )} f (x) + g(x) = f + g (x)






y anlogamente f g (xn ) f g (x). As pues, f + g y f g son continuas en el punto x, lo
cual ocurre para todo x B.

A partir de las funciones constantes y la funcin identidad, mediante sumas y productos
obtenemos funciones definidas por polinomios. Mas concretamente, se dice que f : A R es
una funcin polinmica cuando existen p N {0} y a0 , a1 , . . . , a p R tales que
p
2

f (x) = a0 + a1 x + a2 x + . . . + a p x =

ak x k

x A

k=0

Como hemos comentado, toda funcin polinmica es continua, pero estudiando el cociente de
funciones continuas conseguiremos algo mejor.
Dadas dos funciones f , g : A R, con g(x) 6= 0 para todo x A, consideremos la funcin
f
f
f (x)
cociente
: A R, dada por (x) =
para todo x A. Si f y g son continuas en
g
g
g(x)
f
un conjunto B A, entonces
tambin es continua en B.
g
En efecto, si x B y {xn } es una sucesin de puntos de A tal que {xn } x, se tiene:

 

f
f (xn )
f (x)
f
(xn ) =

= (x)
g
g(xn )
g(x) g

12. Continuidad

98

Los cocientes de funciones polinmicas son las funciones racionales. Ms concretamente, se

dice que h : A R es una funcin racional, cuando existen funciones polinmicas f , g : A R,
f
tales que g(x) 6= 0 para todo x A y h = . Como ya sabemos que las funciones polinmicas
g
son continuas, tenemos:
Toda funcin racional es continua.
Un nuevo ejemplo es la funcin valor absoluto. Si una sucesin {xn } converge, digamos
{xn } x R, entonces {|xn |} |x|. As que la funcin valor absoluto es continua. Es fcil

comprobar que no es una funcin racional, aunque sus restricciones a R+

0 y a R0 son funciones
polinmicas bien sencillas.
Veamos ahora que la composicin de funciones conserva la continuidad:
Sean f : A R y g : C R funciones tales que f (A) C. Si f es continua en un punto
x A y g es continua en el punto f (x), entonces la composicin g f es continua en x.
Por tanto, si B es un subconjunto no vaco de A, f es continua en B y g es continua en
f (B), entonces g f es continua en B. En particular, si f y g son continuas, entonces g f
es continua.
Claramente basta comprobar la primera afirmacin. Sea pues {xn } x con xn A para todo
n N, y deberemos probar que {(g f )(xn )} (g f )(x). Por ser f continua en x, tenemos que
{ f (xn )} f (x), luego { f (xn )} es una sucesin de puntos
de C
que converge


a f (x). Entonces,
por ser g continua en el punto f (x), concluimos que g f (xn ) g f (x) .

Componiendo con la funcin valor absoluto, tenemos nuevas funciones continuas:
Sea f : A R una funcin y B un subconjunto no vaco de A. Si f es continua en B,
entonces la funcin | f | tambin es continua en B.
El recproco del resultado anterior no es cierto, como se ver con nuestro primer ejemplo
de una funcin que est muy lejos de ser continua. Sean , R con 6= y consideremos la
funcin f : R R definida por
(
si x Q
f (x) =

si x R \ Q
Dado un x R, la densidad de Q y de R \ Q en R nos asegura que existen una sucesin {xn }
de nmeros racionales y otra sucesin {yn } de nmeros irracionales, ambas convergentes a x.
Puesto que, evidentemente, { f (xn )} y { f (yn )} , si f fuese continua en el punto x,
se tendra = f (x) = , lo cual es una contradiccin. Por tanto f no es continua en ningn
punto de R. En el caso = 1 y = 0, la funcin f recin definida se conoce como funcin de
Dirichlet. Tomando = 6= 0, es claro que la funcin | f | es constante, luego continua en R,
mientras que, como hemos visto, f no es continua en ningn punto de R.
Relacionada con la composicin de aplicaciones, est la inversa de una funcin inyectiva.
Veremos ms adelante que la inversa de una funcin continua e inyectiva puede no ser continua.
Encontraremos tambin hiptesis adicionales que nos permitan obtener la continuidad de la
funcin inversa.

12. Continuidad

12.3.

99

Carcter local de la continuidad

Vamos a discutir brevemente la relacin entre la continuidad de una funcin y la de sus

restricciones. La primera observacin es inmediata: al restringir una funcin continua siempre
obtenemos una funcin continua:
Sea f : A R una funcin, B A y x B. Si f es continua en el punto x, entonces f |B
tambin es continua en x.
En efecto, si {xn } es una sucesin de puntos de B que converge a x, evidentemente {xn } es
tambin una sucesin de puntos de A, luego { f (xn )} f (x), pero esto es tanto como decir que
{ f |B (xn )} f |B (x).

El recproco del resultado anterior es claramente falso, basta pensar lo que ocurre cuando
el conjunto B se reduce a un punto: B = {x}. Trivialmente, cualquier funcin definida en B es
continua (es constante). Por tanto, si A es cualquier conjunto que contenga al punto x y f : A R
es cualquier funcin, f |B siempre ser continua en el punto x y eso no puede implicar que f sea
continua en x. Simplemente ocurre que el conjunto B es demasiado pequeo. Considerando la
funcin de Dirichlet nos orientaremos mejor sobre lo que puede ocurrir, aunque el conjunto B
no sea tan reducido.
Si f es la funcin de Dirichlet, tenemos claramente que f |Q es constante, luego continua en
cualquier punto x Q, pero f no es continua en ningn punto de Q. Considerando la restriccin
de f a R \ Q tenemos la misma situacin. Esta vez no podemos argumentar que el conjunto
Q, no digamos R \ Q, sea pequeo. Lo que ocurre es que para la continuidad de f |Q slo
consideramos sucesiones de nmeros racionales, mientras que para la continuidad de f debemos
usar sucesiones de nmeros reales.
En general, si de la continuidad de la restriccin f |B en un punto x B queremos deducir
que f es continua en x, el conjunto B no debe reducir significativamente las posibilidades de
aproximarnos al punto x. Ello se consigue con una hiptesis muy natural:
Sea f : A R una funcin y sea x B A. Supongamos que existe R+ tal que
]x, x+[ A B
Entonces, si f |B es continua en el punto x, tambin f es continua en x.
La demostracin de este hecho es bien sencilla. Sea {xn } una sucesin de puntos de A tal que
{xn } x. Por definicin de sucesin convergente, existe m N tal que, para n > m se tiene
|xn x| < y, por tanto, xn ] x , x + [ A B. Entonces {xm+n } es una sucesin de puntos
de B que converge a x y la continuidad de f |B en x nos dice que { f |B (xm+n )} f |B (x), es decir,
{ f (xm+n )} f (x). Deducimos inmediatamente que { f (xn )} f (x), lo que prueba que f es
continua en el punto x.

Es frecuente aludir al resultado recin obtenido diciendo que la continuidad es una propiedad
que tiene carcter local. Conviene resaltar con ms detalle lo que esto significa.

12. Continuidad

100

Dada una funcin f : A R, para cualquier x A, siempre podemos tomar en el resultado

anterior B = ] x , x + [ A, donde > 0 se puede elegir con total libertad. Obtenemos que
f es continua en x si, y slo si, f |B es continua en x. Al pasar de f a f |B , lo que hacemos es
olvidar los valores de f en los puntos de A \ B, es decir, considerar solamente los valores de f en
puntos suficientemente prximos a x, a distancia menor que un > 0 arbitrariamente fijado. Por
tanto, vemos que la continuidad de una funcin en cada punto x slo depende de los valores de
la funcin en puntos suficientemente prximos a x. A esto nos referimos al hablar del carcter
local de la continuidad. Veamos un ejemplo en que este carcter local nos ayuda a estudiar la
continuidad de una funcin interesante.
Consideremos la funcin parte entera, es decir, la funcin E : R R definida por
E(x) = max {k Z : k 6 x}
Equivalentemente, recordamos que, para cada x R, E(x) es el nico nmero entero que verifica
la doble desigualdad E(x) 6 x < E(x) + 1.
Fijado p Z, para todo n N tenemos p 1 6 p 1/n < p, luego E(p 1/n) = p 1.
Puesto que {p 1/n} p pero {E(p 1/n)} p 1 6= p = E(p), deducimos que E no es
continua en el punto p. Por tanto, la funcin parte entera no es continua en ningn punto de Z.
Usando el carcter local de la continuidad, comprobaremos fcilmente que E es continua en
R \ Z. Fijado x R \ Z, por ser E(x) < x < E(x) + 1 podemos tomar > 0 de forma que se tenga
E(x) < x < x + < E(x) + 1. Considerando el conjunto B =]x , x + [, nos encontramos
con que E(y) = E(x) para todo y B. As pues, la funcin E|B es contante, luego es continua
en el punto x, y el carcter local de la continuidad nos asegura que E tambin lo es.

12.4.

Ejercicios de revisin

1. Estudiar la continuidad de la funcin f : R R definida de la siguiente forma:

f (x) = x x Q

f (x) = 1 x x R \ Q

2. Dar un ejemplo de una funcin f : R R que sea continua en 0 pero no sea continua en
ningn otro punto de R.
3. Sean f , g : R R funciones continuas y supongamos que f |Q = g|Q . Probar que f = g.
4. Sea A un subconjunto no vaco de R y f : R R la funcin definida por
f (x) = nf {|x a| : a A} x R
Probar que | f (x) f (y)| 6 |x y| para cualesquiera x, y R y deducir que f es continua.
5. Estudiar la continuidad de las funciones f , g : R R definidas por:
 


1
2
x R , g(0) = 1
f (x) = E x x R ; g(x) = x E
x