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 hay algún tal que para dos vectores cualesquiera con e la condición
implica que:
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 es uniformemente convexo si y solo si para cada hay algún de modo que, para dos vectores cualesquiera y en la bola unitaria cerrada (es decir, y ) con , uno tiene (tenga en cuenta que, dado , el valor correspondiente de podría ser menor que el proporcionado por la definición original más débil).
Demostración |
La parte directa de la demostración es trivial. A la inversa, supóngase ahora que es uniformemente convexo y que son como en el enunciado, para algún fijo. Sea el valor de correspondiente a en la definición de convexidad uniforme. Se va a demostrar que , con . Si entonces y se prueba el enunciado. Un argumento similar se aplica al caso , por lo que se puede suponer que . En este caso, dado que , ambos vectores son distintos de cero, por lo que se puede hacer que y . Se tiene que , y de manera similar, , por lo que y pertenecen a la esfera unitaria y tienen una distancia . Por lo tanto, de acuerdo con la elección de , se tiene que . De ello se deduce que , 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 es una secuencia en un espacio de Banach uniformemente convexo que converge débilmente a y satisface entonces converge fuertemente a , es decir, .
- Un espacio de Banach es uniformemente convexo si y solo si su dual es uniformemente suave.
- Todo espacio uniformemente convexo es estrictamente convexo. Intuitivamente, la convexidad estricta significa una desigualdad triangular más fuerte siempre que sean linealmente independientes, mientras que la convexidad uniforme requiere que esta desigualdad sea verdadera de manera uniforme.
Ejemplos
- Todo espacio prehilbertiano es uniformemente convexo.[1]
- Todo subespacio cerrado de un espacio de Banach uniformemente convexo es uniformemente convexo.
- Las desigualdades de Hanner implican que los espacios Lp son uniformemente convexos.
- Por el contrario, no es uniformemente convexo.
Véase también
- Módulo y característica de convexidad
- Función uniformemente convexa
- Espacio uniformemente suave
Referencias
- ↑ Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces (2nd edición). Boca Raton, FL: CRC Press. p. 524, Example 16.2.3. ISBN 978-1-58488-866-6.
Bibliografía
- Beauzamy, Bernard (1985) [1982]. Introduction to Banach Spaces and their Geometry (Second revised edición). North-Holland. ISBN 0-444-86416-4.
- Per Enflo (1972). «Banach spaces which can be given an equivalent uniformly convex norm». Israel Journal of Mathematics 13 (3–4): 281-288. doi:10.1007/BF02762802.
- Lindenstrauss, Joram y Benyamini, Yoav. "Geometric nonlinear functional analysis (Análisis funcional geométrico no lineal). Colloquium publications, 48. Sociedad Matemática Estadounidense.
Datos: Q847535