Tema

Continuidad uniforme
Como paso previo para el estudio del Clculo Integral, discutimos en este tema una nueva propiedad que pueden tener las funciones reales de variable real, la continuidad uniforme. Ser evidente que toda funcin uniformemente continua es continua y mostraremos con ejemplos que el recproco no es cierto. El concepto de funcin lipschitziana permite obtener abundantes ejemplos de funciones uniformemente continuas. Como resultado ms importante, probaremos el Teorema de Heine que, bajo ciertas condiciones, nos permitir pasar de la continuidad a la continuidad uniforme.

6.1.

Funciones uniformemente continuas

Si f : A R es una funcin continua, usando la caracterizacin ( ) de la continuidad, tenemos: x A > 0 > 0 : y A , |y x| < = | f (y) f (x)| < (1)

Ni que decir tiene, depende de , pero tambin del punto x A considerado. Fijado > 0 , unos puntos de A pueden obligarnos a tomar mucho ms pequeo que otros dependiendo, dicho intuitivamente, de la rapidez con que vara la funcin f cerca del punto que consideremos. Pues bien, cuando podamos conseguir que un mismo , que depender slo de , sirva para todos los puntos del conjunto A , diremos que la funcin f es uniformemente continua en A . As pues, una funcin f : A R es uniformemente continua cuando, para cada > 0 , puede encontrarse > 0 tal que, si x, y A verican que |y x| < , entonces | f (y) f (x)| < . Simblicamente: > 0 > 0 : x, y A , |y x| < = | f (y) f (x)| < (2)

Obsrvese la sutil diferencia entre (1) y (2): como ya hemos explicado, en (1) permitimos que dependa de x y de , mientras que en (2) slo puede depender de . Por supuesto, si f es uniformemente continua, podemos asegurar que f es continua, pero vemos enseguida que el recproco no es cierto, con un contraejemplo nada rebuscado. 47

6. Continuidad uniforme

48

La funcin f : R R , dada por f (x) = x 2 para todo x R , no es uniformemente continua. Si lo fuese, usando (2) con = 1 , existira > 0 vericando que x, y R , |y x| < = |y 2 x 2 | < 1 pero esto no es posible, pues jado n N con 1/n < , tomaramos x = n , y = n + (1/n) , para obtener 2 + (1/n)2 = |y 2 x 2 | < 1, agrante contradiccin. Obsrvese que la restriccin de f a R+ tampoco es uniformemente continua. Puesto que la funcin identidad es uniformemente continua, vemos que el producto de dos funciones uniformemente continuas puede no serlo. El razonamiento usado en el ejemplo anterior nos da la pista para caracterizar la continuidad uniforme mediante sucesiones: Si una funcin f : A R {yn } y {xn } de puntos de Recprocamente, si f no {yn } y {xn } de puntos de todo n N . es uniformemente continua, para cualesquiera dos sucesiones A tales que {yn xn } 0 , se tiene que { f (yn ) f (xn )} 0 . es uniformemente continua, existen 0 > 0 y dos sucesiones A vericando que |yn xn | < 1/n y | f (yn ) f (xn )| 0 para

En el primer caso, dado > 0 , encontramos > 0 tal que, para x, y A con |y x| < , se tenga | f (y) f (x)| < . Como {yn xn } 0 , existir entonces m N tal que, para n m se tenga |yn xn | < , luego | f (yn ) f (xn )| < . As pues, { f (yn ) f (xn )} 0 . Recprocamente, si f no es uniformemente continua, existe 0 > 0 tal que, para cada > 0 pueden encontrarse puntos x, y A (que dependern de ) vericando que |y x| < pero | f (y) f (x)| 0 . Si para cada n N usamos lo anterior con = 1/n , obtenemos las dos sucesiones {yn } y {xn } requeridas.

6.2.

Funciones lipschitzianas

Veamos ahora una propiedad sencilla que implica la continuidad uniforme. Se dice que una funcin f : A R es lipschitziana cuando existe una constante M 0 vericando que: | f (y) f (x)| Claramente, existe una mnima constante M0 M0 = sup M |y x| x, y A 0 que verica la desigualdad anterior, (3)

| f (y) f (x)| : x, y A , x = y |y x|

y se dice que M0 es la constante de Lipschitz de f , que toma su nombre del matemtico alemn R. Lipschitz (1832-1903). De la desigualdad (3) deducimos que, dado > 0 , tomando > 0 de forma que M < , se tendr | f (y) f (x)| < , siempre que x, y A veriquen |y x| < . Tenemos por tanto: Toda funcin lipschitziana es uniformemente continua.

6. Continuidad uniforme

49

El Teorema del Valor Medio nos proporciona un criterio cmodo para saber si una funcin derivable en un intervalo es lipschitziana, basta ver si la funcin derivada est acotada: Sea I un intervalo no trivial y f C(I ) D(I ). Las siguientes armaciones equivalen: (i) f es lipschitziana. (ii) f est acotada, es decir, existe M 0 tal que | f (x)| M para todo x I .

Caso de que se veriquen (i) y (ii), la constante de Lipschitz de f viene dada por M0 = sup {| f (x)| : x I } (i) (ii). Si M0 es la constante de Lipschitz de f , jado x I tenemos f (y) f (x) yx M0 y I \ {x} (4)

de donde deducimos claramente que | f (x)| M0 . Por tanto f est acotada y, escribiendo M = sup{| f (x) : x I }, tenemos ya la desigualdad M M0 . (ii) (i). Deniendo M como antes, para x, y I con x = y , el Teorema del Valor Medio nos proporciona un punto intermedio c I que nos permite escribir | f (y) f (x)| = | f (c)| |y x| M |y x| M , la otra desigualdad que

Esto prueba que f es lipschitziana con constante de Lipschitz M0 necesitbamos para probar (4).

En general, adivinamos una forma fcil de asegurarse la acotacin de la derivada, basta suponer que la derivada es continua y trabajar en un intervalo cerrado y acotado, para poder aplicar el Teorema de Weierstrass: Sean a, b R con a < b , f D[a, b] y supongamos que f es continua. Entonces f es lipschitziana. Para concluir esta breve discusin de las funciones lipschitzianas, vemos un ejemplo de una funcin uniformemente continua que no es lipschitziana. La funcin raz cuadrada es uniformemente continua, pero no es lipschitziana. Para probar la continuidad uniforme, tomados x, y R+ 0 con x < y , tenemos yx y x = y+ x yx = yx, yx es decir, | y x| |y x|

La ltima desigualdad es obvia si y = x , y no se altera al intercambiar x con y , luego es vlida + para cualesquiera x, y R0 . Para conseguir que sea | y x| < , bastar por tanto que se tenga |y x| < 2 . Por otra parte, la funcin raz cuadrada no es lipschitziana, ya que es continua en R+ 0 y + + derivable en R = (R0 ) pero su derivada no est acotada.

6. Continuidad uniforme

50

6.3.

Teorema de Heine

Ha quedado claro anteriormente que una funcin derivable con derivada continua en un intervalo cerrado y acotado es uniformemente continua, pero podemos decir algo mejor: Teorema. Sean a, b R con a < b , y f : [a, b] R una funcin continua. Entonces, f es uniformemente continua. Demostracin. Suponer que f no es uniformemente continua nos llevar a contradiccin. Existe un 0 > 0 y dos sucesiones {yn } y {xn } de puntos de [a, b] tales que {yn xn } 0 pero | f (xn ) f (yn )| 0 para todo n N . Por el Teorema de Bolzano-Weierstrass, la sucesin {xn } admite una sucesin parcial {x(n) } que converge a un x [a, b] . Puesto que {yn xn } 0 , tenemos tambin {y(n) x(n) } 0 , luego {y(n) } x . Como f es continua en el punto x , se tendr que { f (x(n) )} f (x) y tambin { f (y(n) )} f (x) , luego { f (y(n) ) f (x(n) )} 0 . Esto es una contradiccin, ya que | f (y(n) ) f (x(n) )| 0 para todo n N . Este teorema nos permite poner de maniesto que la continuidad uniforme, a diferencia de otras propiedades como la continuidad o la derivabilidad, no tiene carcter local, suele decirse que es una propiedad global. En efecto, si f : R R es una funcin continua, su restriccin a cualquier intervalo cerrado y acotado ser uniformemente continua. En particular, jado un > 0 arbitrario, tenemos que, para cada x R , la restriccin de f al intervalo [x , x + ] es uniformemente continua. Sin embargo, esto no implica que f sea uniformemente continua.

6.4.

Ejercicios

1. Probar que, si f , g : A R son funciones uniformemente continuas, entonces f + g tambin lo es. Suponiendo adems que f y g estn acotadas, probar que tambin f g es uniformemente continua. 2. Consideremos la funcin f : R+ R denida por f (x) = 1/x para todo x R+ . Dado > 0 , probar que la restriccin de f a la semirrecta [, +[ es lipschitziana, mientras que la restriccin al intervalo ]0, ] no es uniformemente continua. 3. Sea I un intervalo no trivial y supongamos que todas las funciones continuas denidas en I son uniformemente continuas. Probar que I es cerrado y acotado. 4. Sea f : R R una funcin continua y sea > 0 . Probar que, si la restriccin de f al conjunto {x R : |x| } es uniformemente continua, entonces f es uniformemente continua. 5. Sean a, b R con a < b y f : ]a, b[ R una funcin. Probar que equivalen las siguientes armaciones: (i) Existe una funcin continua g : [a, b] R tal que g(x) = f (x) para todo x ]a, b[ . (ii) f es uniformemente continua.