Continuidad de las funciones convexas

Dr. Jos e Villa Morales Departamento de Matem aticas y F sica Universidad Aut onoma de Aguascalientes

Resumen
El prop osito del presente trabajo es demostrar que una funci on convexa es continua. Este hecho es bastante conocido y el m erito, quiz a, es demostrar la armaci on anterior de la manera m as f acil posible.

Introducci on
En los primeros semestres de la Licenciatura es, com unmente, introducido el concepto de funci on convexa, el autor cree que el presente trabajo puede ayudar a la mejor comprensi on de este concepto. A continuaci on recordaremos que es una funci on convexa. Una funci on f : [a, b] R se llama convexa en [a, b] si para cuales quiera u, v [a, b], con u < v , se cumple que la pendiente de la recta de (u, f (u)) a (r, f (r)) es menor que la pendiente de la recta de (u, f (u)) a (v, f (v )), es decir f (r) f (u) f (v ) f (u) , ru vu (1)

donde r es un punto arbitrario de (u, v ). O de manera equivalente, f es convexa si f (v ) f (r) f (v ) f (u) . (2) vu vr 41

Revista del Depto. Mat. y F s. UAA

f L L

42

Figura 1:

La interpretaci on heur stica de esta denici on es que si le echamos agua por arriba de la graca de f en [a, b] no se le cae. En la literatura existen muy buenas referencias sobre este tema como pueden ser [1] o [2]. Usando (1) y (2) es f acil demostrar que si a < r, s < v , entonces f (r) f (u) f (v ) f (u) f (v ) f (s) ru vu vs (3)

donde puede ocurrir que r > s (ver Figura 1). N otese que los extremos de la desigualdad (3) signican que la pendiente de la recta L es menor que la pendiente de la recta L , lo cual es intuitivamente claro, por la convexidad de f .

Toda funci on convexa es continua

Antes de demostrar que toda funci on convexa es continua, es conveniente recordar que una funci on f es continua en x si: a) existe l mvx f (v ), y b) l mvx f (v ) = f (x). Adem as ya que l mvx f (v ) existe si y s olo si existen los l mites laterales y son iguales, es decir l mvx f (v ) = l mvx f (v ). De esta manera una funci on f es continua en x si: a) existen l mvx f (v ) y l mvx f (v ), b) y son iguales a f (x).

Revista del Depto. Mat. y F s. UAA

f

43

Figura 2:

Teorema 1 Sea f : [a, b] R una funci on convexa, entonces f es continua. Demostraci on. Sea x (a, b) y a < x < v < b. Entonces usando (1) y (3) resulta (ver gura 2) f (x) f (a) f (v ) f (x) f (b) f (x) . xa vx bx Las desigualdades anteriores las podemos expresar como: f (x) f (a) f (b) f (x) (v x) f (v ) f (x) + (v x). xa bx

f (x) +

Por lo tanto l mvx f (v ) = f (x). De manera an aloga resulta (ahora usando (2) y (3)) que l mvx f (v ) = f (x) . As la continuidad de f en x.

Bibliograf a
[1] R. Bartle, D. R. Sherbert, Introducci on al an alisis matem atico de una variable, Limusa, 1996 [2] M. Spivak, C alculo Innitesimal, Ediciones Repla, S.A., 1988.

1 de Abril de 1998