Funciones convexas.

Una función f : (a, b) −→ R se dice convexa sii para cada x, y ∈ (a, b) y todo λ con
0 < λ < 1 se tiene la desigualdad

f (λx + (1 − λ)y) ≤ λf (x) + (1 − λ)f (y) (1)

Teorema: Toda función convexa es continua.

Demostración:
Para empezar vamos a tomar números c, d arbitrarios (aunque fijos desde ahora) tales
que a < c < d < b. Además también fijaremos un pequeño número µ tal que 0 < µ <
(d − c)/2. En este entorno vamos a tomar las variables x, y dentro del intervalo

x, y ∈ [c + µ, d − µ] tales que x<y

El primer paso en nuestra demostración va a consistir en probar que la función f (t) es

acotada en el intervalo [c, d] Para empezar, es fácil ver que nuestra función está mayorada.
Sea c < t < d, tendremos que
 
t−c t−c t−c
t= (d − c) + c = d+ 1− c = (1 − λ)c + λd
d−c d−c d−c

Luego, si M = max (f (c), f (d)), entonces

f (t) ≤ (1 − λ)f (c) + λf (d) ≤ (1 − λ)M + λM = M (2)

Con lo cual vemos fácilmente que f (t) está acotada superiormente. Bastante menos obvio
es ver que nuestra función convexa está acotada inferiormente.
 Pero vamos
 a ello:
c+d
En primer lugar vamos a mover la variable t en el intervalo ,d
2

c+d
c< <t<d
2
Tomaremos
c+d
−c d−c
0<λ= 2 = <1
t−c 2(t − c)
Como nuestra función f (t) es convexa, resultará que
 
c+d
f ≤ (1 − λ)f (c) + λf (t)
2

Esto nos da:    

c+d 2t − (c + d) d−c
f ≤ f (c) + f (t) (3)
2 2(t − c) 2(t − c)

1
Luego      
2(t − c) c+d 2t − (c + d)
f (t) ≥ f − f (c) (4)
d−c 2 2(t − c)
i.e.
 
2(t − c) c+d 2t − (c + d)
f (t) ≥ f − f (c) ≥ (5)
d−c 2 d−c
    
 2(t − c) c + d   2t − (c + d) 
≥ −  f − f (c)= (6)
d−c 2   d−c 
  
2(t − c)  c + d  2t − (c + d)
=− f − |f (c)| ≥ (7)
d−c  2 d−c
  
 c + d 
≥ −2 f

 − |f (c)| (8)
2
Nota: Para cada número real ξ tendremos −|ξ| ≤ ξ ≤ |ξ| y también −|ξ| ≤ −ξ ≤ |ξ|. Ası́
t−c
pasamos de (5) a (6). Y de (6) a (7) se pasa teniendo en cuenta que de inicio <1
d−c
2t − (c + d)
y0< < 1.
d−c
Todo ello concluye que nuestra función f (t) está acotada inferiormente en el intervalo

c+d
, d De manera completamente análoga se prueba que está acotada inferiormente
2  
c+d
en el intervalo c, . Se propone al lector que complete este punto.
2
En resumen, tenemos que f (t) está acotada en el intervalo [c, d]. Es decir, existe M > 0
tal que |f (t)| ≤ M, ∀t ∈ [c, d].
Recordemos que c + µ ≤ x < y ≤ d − µ. Entonces:
 
x−c x−c x−c
x= (y − c) + c = y+ 1− c
y−c y−c y−c
x−c
Poniendo λ = , entonces por convexidad:
y−c
f (x) ≤ (1 − λ)f (c) + λf (y)
Ası́
y−x 2M
f (x) − f (y) ≤ (1 − λ) (f (x) − f (y)) ≤ |f (x) − f (y)| ≤ (y − x) (9)
y−c µ
Por otro lado,  
y−d y−d y−d
y= (x − d) + d = x+ 1− d
x−d x−d x−d
y−d
con 0 < λ = < 1 tendremos
x−d
y−x 2M
f (y) − f (x) ≤ (1 − λ) (f (x) − f (y)) ≤ |f (x) − f (y)| ≤ (y − x) (10)
d−x µ

2
Finalmente en conjunto,
2M
|f (y) − f (x)| ≤ (y − x), ∀x, y : c + µ ≤ x < y ≤ d − µ (11)
µ
Y en general
2M
|f (y) − f (x)| ≤ |y − x|, ∀x, y ∈ [c + µ, d − µ] (12)
µ
Y se deduce de aquı́ inmediatamente que nuestra función es continua en el intervalo
d−c
[c + µ, d − µ] ⊂ (a, b). Puesto que de entrada: c, d ∈ (a, b) y 0 < µ < eran números
2
arbitrarios, entonces se infiere que f (x) es continua en todo el interalo abierto (a, b)


BIBLIOGRAFÍA: Principles of Mathematical Analysis, Walter Rudin.