Академический Документы
Профессиональный Документы
Культура Документы
Continuidad y monotona
109
14. Continuidad y monotona 110
Sin duda, las seis propiedades de monotona recin introducidas son bastante exigentes. Lo
ms frecuente es que el conjunto de definicin de una funcin pueda expresarse como unin
finita de subconjuntos, de forma que la restriccin de la funcin a cada uno de ellos s verifique
algn tipo de monotona. Por ello es til la siguiente nomenclatura:
Dada una funcin f : A R y un conjunto no vaco B A, diremos que f es creciente en B
cuando la restriccin f |B sea una funcin creciente, es decir, cuando
x, y B , x 6 y = f (x) 6 f (y)
fk (x) = x k x R
En efecto, usando el teorema del valor intermedio veremos que no puede ser f (x) < f (a)
y tampoco f (x) > f (b). Concretamente, si fuese f (x) < f (a) aplicaramos el teorema a la
restriccin de f al intervalo [x, b] que es continua y toma en dicho intervalo los valores f (x) y
f (b), luego debe tomar tambin el valor intermedio f (a). Por tanto, existira z [x, b] tal que
f (z) = f (a), pero esto contradice la inyectividad de f , ya que a < z. Anlogamente, si fuese
f (x) > f (b) aplicaramos el teorema del valor intermedio a la restriccin de f al intervalo [a, x]
obteniendo un z [a, x] tal que f (z) = f (b), lo que contradice otra vez la inyectividad de f .
A partir de (1) obtenemos inmediatamente que f es creciente. Tomados x, y [a, b] con
x < y, aplicando (1) tenemos f (a) < f (y). Pero entonces podemos aplicar (1) a la restriccin
de f al intervalo [a, y], que es continua e inyectiva, con f (a) < f (y), obteniendo f (x) 6 f (y)
como queramos.
En el caso f (a) > f (b), el razonamiento anterior se aplica a la funcin f , continua e
inyectiva en [a, b], con f (a) < f (b). Obtenemos que f es creciente, luego f es decreciente.
Queda as demostrado el teorema en el caso de que el intervalo I sea cerrado y acotado.
Vamos ahora al caso general en que I es un intervalo no vaco arbitrario. Si f no fuese
montona, existiran x1 , y1 , x2 , y2 I verificando las siguientes desigualdades:
x1 < y1 , x2 < y2 , f (x1 ) > f (y1 ) , f (x2 ) < f (y2 )
Tomamos entonces a = mn {x1 , x2 } y b = max {y1 , y2 }. Al ser I un intervalo, tenemos [a, b] I,
lo que permite considerar la restriccin de f al intervalo [a, b], que es una funcin continua
e inyectiva en dicho intervalo. Puesto que x1 , y1 , x2 , y2 [a, b] dicha restriccin no puede ser
montona, lo cual es una flagrante contradiccin con lo demostrado en el caso de un intervalo
cerrado y acotado.
Vamos a ver ahora que el teorema anterior, combinado con el teorema del valor intermedio,
nos permite frecuentemente determinar la imagen de una funcin.
Dados a, b R con a < b, para una funcin continua e inyectiva f : [a, b] R, queremos
determinar su imagen: J = f [a, b] . Sean = f (a), = f (b) y supongamos de momento que
< . Gracias al teorema del valor intermedio, sabemos que J es un intervalo, y es obvio que
, J, luego [, ] J. Pero adems, gracias al teorema anterior, sabemos que f es creciente,
luego tenemos = f (a) 6 f (x) 6 f (b) = , para todo x [a, b]. En resumen, J = [, ]. Por
supuesto, de haber sido > , f habra sido decreciente y habramos obtenido J = [, ]. La
principal ventaja del teorema anterior estriba en que la inyectividad de una funcin suele ser
ms fcil de comprobar que su monotona.
Como ejemplo concreto, consideremos la funcin f : R R definida por
2x
f (x) = x [0, 1]
1 + x2
que es continua, por ser una funcin racional. Al estudiar su posible inyectividad, para x, y R
tenemos
f (x) = f (y) 2x(1 + y2 ) = 2y(1 + x2 ) (1 xy)(x y) = 0
luego f (x) = f (y) si, y slo si, x = y o xy = 1. Deducimos, por ejemplo, que las restricciones de
f a los intervalos ] , 1], [1, 1] y [1, +[ son inyectivas, luego estrictamente montonas.
14. Continuidad y monotona 112
Por ser 1 = f (1) < f (1) = 1, f es creciente en [1, 1], luego f ([1, 1] = [1, 1].
Adems f es decreciente,
tanto en ] , 1]como en [1, [, de donde deducimos sin dificultad
que f ] , 1] = [1, 0[ y que f [1, +[ =]0, 1]. Concluimos que f (R) = [1, 1].
Teorema. Sea f : A R una funcin real de variable real. Supongamos que f es montona
y que f (A) es un intervalo. Entonces f es continua.
Conviene resaltar que, en el teorema anterior, el conjunto A no tiene por qu ser un intervalo.
Toda funcin montona, cuya imagen sea un intervalo, es continua.
Observamos que las grficas de f y f 1 se obtienen cada una a partir de la otra mediante
la simetra que tiene como eje la recta de ecuacin y = x, puesto que dicha simetra es la
transformacin (x, y) 7 (y, x), de R2 en s mismo.
14. Continuidad y monotona 113
f 1
El carcter local de la continuidad nos permite comprobar fcilmente que f es continua. Por
otra parte, es claro que f es inyectiva, que f (A) = [0, 1] y f 1 : [0, 1] R viene dada por
1 1
1 2 1
Sin embargo, conviene observar que esta situacin ha sido posible porque el conjunto A
no es un intervalo. Para una funcin continua e inyectiva en un intervalo, la relacin entre las
grficas de la funcin y de su inversa permite intuir que dicha inversa debe ser continua, y eso
es lo que vamos a probar. Para ello usaremos los dos teoremas obtenidos anteriormente, junto
con una sencilla observacin:
14. Continuidad y monotona 114
fk (x) = x k x R+
0
Desde que se prob la existencia de las races de nmeros positivos, sabemos que fk es biyectiva
y estrictamente creciente. Merece la pena comentar que ahora todo ello puede probarse de
forma mucho ms fcil. Por una parte, fk es una funcin continua e inyectiva en el intervalo
R+0 , luego es estrictamente montona, pero f (0) = 0 < 1 = f (1), luego f k es estrictamente
creciente. Por otra, su imagen es un intervalo J R+0 tal que 0 J y J no est mayorado, ya
k +
que { fk (n)} = {n } +, luego J = R0 .
Pero lo que ahora nos interesa es que la funcin inversa fk1 : R+ +
0 R0 , que evidentemente
viene dada por
fk1 (y) = k y y R+ 0
tambin es continua. Esto tambin era conocido, pues sabamos que si {yn } y con yn > 0
para todo n N, entonces { k yn } k y, pero de nuevo tenemos una demostracin ms rpida
y elegante.
A modo de repaso, concluimos este tema destacando en un solo enunciado la informacin
obtenida sobre una funcin continua en un intervalo:
14.5. Ejercicios
1. Sea f : R R una funcin continua. Probar que si f |Q es montona, entonces f es
montona.
x2
f (x) = x [1, 1]
1 + x2
2x
f (x) = x [1, 1]
1 + |x|