Espacio uniformemente convexo
# Espacio uniformemente convexo

En matemáticas, un espacio uniformemente convexo (o espacio uniformemente rotundo) es un ejemplo común de espacio de Banach reflexivo. El concepto de convexidad uniforme fue introducido por primera vez por James A. Clarkson en 1936.

## Definición

Un espacio uniformemente convexo es un espacio vectorial normado tal que, para cada $0<\varepsilon \leq 2$ hay algún $\delta >0$ tal que para dos vectores cualesquiera con $\|x\|=1$ y $\|y\|=1,$ la condición

    $\|x-y\|\geq \varepsilon$

implica que:

    $\left\|{\frac {x+y}{2}}\right\|\leq 1-\delta .$

Intuitivamente, el centro de un segmento rectilíneo dentro de la 1-esfera debe estar profundamente dentro de la bola unitaria, a menos que el segmento sea corto.

## Propiedades

* La 1-esfera se puede sustituir por la bola unidad cerrada en la definición. Es decir, un espacio vectorial normado $X$ es uniformemente convexo si y solo si para cada $0<\varepsilon \leq 2$ hay algún $\delta >0$ de modo que, para dos vectores cualesquiera $x$ y $y$ en la bola unitaria cerrada (es decir, $\|x\|\leq 1$ y $\|y\|\leq 1$) con $\|x-y\|\geq \varepsilon$, uno tiene $\left\|{\frac {x+y}{2}}\right\|\leq 1-\delta$ (tenga en cuenta que, dado $\varepsilon$, el valor correspondiente de $\delta$ podría ser menor que el proporcionado por la definición original más débil).
* Demostración
* La parte si es trivial. A la inversa, supóngase ahora que $X$ es uniformemente convexo y que $x,y$ son como en el enunciado, para algún $0<\varepsilon \leq 2$ fijo. Sea $\delta _{1}\leq 1$ el valor de $\delta$ correspondiente a ${\frac {\varepsilon }{3}}$ en la definición de convexidad uniforme. Se va a demostrar que $\left\|{\frac {x+y}{2}}\right\|\leq 1-\delta$, con $\delta =\min \left\{{\frac {\varepsilon }{6}},{\frac {\delta _{1}}{3}}\right\}$.
* Si $\|x\|\leq 1-2\delta$ entonces $\left\|{\frac {x+y}{2}}\right\|\leq {\frac {1}{2}}(1-2\delta )+{\frac {1}{2}}=1-\delta$ y se prueba el enunciado. Un argumento similar se aplica al caso $\|y\|\leq 1-2\delta$, por lo que se puede suponer que $1-2\delta <\|x\|,\|y\|\leq 1$. En este caso, dado que $\delta \leq {\frac {1}{3}}$, ambos vectores son distintos de cero, por lo que se puede hacer que $x'={\frac {x}{\|x\|}}$ y $y'={\frac {y}{\|y\|}}$. Se tiene que $\|x'-x\|=1-\|x\|\leq 2\delta$, y de manera similar, $\|y'-y\|\leq 2\delta$, por lo que $x'$ y $y'$ pertenecen a la esfera unitaria y tienen una distancia $\|x'-y'\|\geq \|x-y\|-4\delta \geq \varepsilon -{\frac {4\varepsilon }{6}}={\frac {\varepsilon }{3}}$. Por lo tanto, de acuerdo con la elección de $\delta _{1}$, se tiene que $\left\|{\frac {x'+y'}{2}}\right\|\leq 1-\delta _{1}$. De ello se deduce que $\left\|{\frac {x+y}{2}}\right\|\leq \left\|{\frac {x'+y'}{2}}\right\|+{\frac {\|x'-x\|+\|y'-y\|}{2}}\leq 1-\delta _{1}+2\delta \leq 1-{\frac {\delta _{1}}{3}}\leq 1-\delta$, con lo que la proposición queda probada.
* El teorema de Milman-Pettis establece que todo espacio de Banach uniformemente convexo es reflexivo, mientras que lo contrario no es necesariamente cierto.
* Cada espacio de Banach uniformemente convexo es un espacio de Radon-Riesz, es decir, si $\{f_{n}\}_{n=1}^{\infty }$ es una secuencia en un espacio de Banach uniformemente convexo que converge débilmente a $f$ y satisface $\|f_{n}\|\to \|f\|,$ entonces $f_{n}$ converge fuertemente a $f$, es decir, $\|f_{n}-f\|\to 0$.
* Un espacio de Banach $X$ es uniformemente convexo si y solo si su dual $X^{*}$ es uniformemente suave.
* Todo espacio uniformemente convexo es estrictamente convexo. Intuitivamente, la convexidad estricta significa una desigualdad triangular $\|x+y\|<\|x\|+\|y\|$ más fuerte siempre que $x,y$ sean linealmente independientes, mientras que la convexidad uniforme requiere que esta desigualdad sea verdadera de manera uniforme.

## Ejemplos

* Todo espacio prehilbertiano es uniformemente convexo.
* Todo subespacio cerrado de un espacio de Banach uniformemente convexo es uniformemente convexo.
* Las desigualdades de Hanner implican que los espacios $L^p$ $(1<p<\infty )$ son uniformemente convexos.
* Por el contrario, $L^{\infty }$ no es uniformemente convexo.
