En matemáticas, más específicamente en análisis funcional, un espacio de Asplund[1] o espacio de diferenciabilidad fuerte es un tipo de espacio de Banach bien domado. Los espacios de Asplund fueron introducidos en 1968 por el matemático Edgar Asplund, que estaba interesado en las propiedades de la diferenciabilidad de Fréchet de las funciones lipschitzianas en los espacios de Banach.
Definiciones equivalentes
Hay muchas definiciones equivalentes de lo que significa que un espacio de Banach X sea un espacio de Asplund:
- X es de Asplund si, y solo si, cada subespacio separable Y de X tiene un espacio dual Y∗ separable.
- X es de Asplund si, y solo si, cada función convexa continua sobre cualquier subconjunto convexo abierto U de X es diferenciable de Fréchet en los puntos de un subconjunto Gδ denso de U.
- X es de Asplund si, y solo si, su espacio dual X∗ posee la propiedad de Radon-Nikodým. Esta propiedad fue establecida por Namioka & Phelps en 1975, y por Stegall en 1978.
- X es de Asplund si, y solo si, cada subconjunto acotado no vacío de su espacio dual X∗ tiene rebanadas *débiles de diámetro arbitrariamente pequeño.
- X es de Asplund si y solo si cada subconjunto compacto *débilmente convexo no vacío del espacio dual X∗, es la envolvente convexa *débilmente cerrada de sus *débilmente puntos expuestos fuertemente. En 1975, Huff y Morris demostraron que esta propiedad es equivalente a la afirmación de que todo subconjunto acotado, cerrado y convexo del espacio dual X∗ es una envolvente convexa cerrada de sus puntos extremos.
Propiedades de los espacios de Asplund
- La clase de espacios de Asplund está cerrada bajo isomorfismos topológicos. Es decir, si X e Y son espacios de Banach, X es de Asplund y X es homeomorfo a Y, entonces Y también es un espacio de Asplund.
- Cada subespacio vectorial cerrado de un espacio de Asplund es un espacio de Asplund.
- Cada espacio cociente de un espacio de Asplund es un espacio de Asplund.
- La clase de espacios de Asplund está cerrada bajo extensiones: si X es un espacio de Banach e Y es un subespacio de Asplund de X para el cual el espacio cociente X ⁄ Y es de Asplund, entonces X es de Asplund.
- Cada función local de Lipschitz en un subconjunto abierto de un espacio de Asplund es diferenciable de Fréchet en los puntos de algún subconjunto denso de su dominio. Este resultado fue establecido por Preiss en 1990 y tiene aplicaciones en la teoría de la optimización.
- El siguiente teorema del artículo original de Asplund de 1968 es un buen ejemplo de por qué los espacios que no son de Asplund se no se ajustan a esta propiedad: si X no es un espacio de Asplund, entonces existe una norma equivalente en X que no cumple con ser diferenciable de Fréchet en cada punto de X.
- En 1976, Ekeland y Lebourg demostraron que si X es un espacio de Banach que tiene una norma equivalente que es diferenciable de Fréchet desde el origen, entonces X es un espacio de Asplund. Sin embargo, en 1990, Haydon dio un ejemplo de un espacio de Asplund que no tiene una norma equivalente que sea diferenciable de Gateaux alejada del origen.
Referencias
- ↑ Zdzisław Denkowski, Stanisław Migórski, Nikolaos Socrates Papageorgiou (2003). An Introduction to Nonlinear Analysis: Theory. Springer Science & Business Media. pp. 561 de 823. ISBN 9780306473920. Consultado el 27 de noviembre de 2023.
Bibliografía
- Asplund, Edgar (1968). «Fréchet differentiability of convex functions». Acta Mathematica 121: 31-47. ISSN 0001-5962. MR 0231199. doi:10.1007/bf02391908.
- Ekeland, Ivar; Lebourg, Gérard (1976). «Generic Fréchet-differentiability and perturbed optimization problems in Banach spaces». Transactions of the American Mathematical Society 224 (2): 193-216 (1977). ISSN 0002-9947. MR 0431253. doi:10.1090/s0002-9947-1976-0431253-2.
- Haydon, Richard (1990). «A counterexample to several questions about scattered compact spaces». London Mathematical Society 22 (3): 261-268. ISSN 0024-6093. MR 1041141. doi:10.1112/blms/22.3.261.
- Huff, R. E.; Morris, P. D. (1975). «Dual spaces with the Krein–Milman property have the Radon–Nikodým property». Proceedings of the American Mathematical Society 49: 104-108. ISSN 0002-9939. MR 0361775. doi:10.1090/s0002-9939-1975-0361775-9.
- Namioka, I.; Phelps, R. R. (1975). «Banach spaces which are Asplund spaces». Duke Mathematical Journal 42 (4): 735-750. ISSN 0012-7094. MR 0390721. doi:10.1215/s0012-7094-75-04261-1. hdl:10338.dmlcz/127336.
- Preiss, David (1990). «Differentiability of Lipschitz functions on Banach spaces». Journal of Functional Analysis 91 (2): 312-345. ISSN 0022-1236. MR 1058975. doi:10.1016/0022-1236(90)90147-D.
- Stegall, Charles (1978). «The duality between Asplund spaces and spaces with the Radon–Nikodým property». Israel Journal of Mathematics 29 (4): 408-412. ISSN 0021-2172. MR 0493268. doi:10.1007/bf02761178.