A geometry characteristic of Banach spaces with c¹-norm

Abstract

Let E be a Banach space with the c¹-norm || ∙ || in E\{0}, and let S(E) = {e\inE: ||e|| = 1}. In this paper, a geometry characteristic for E is presented by using a geometrical construct of S(E). That is, the following theorem holds: the norm of E is of c¹ in E\{0} if and only if S(E) is a c¹ submanifold of E, with codim S(E) = 1. The theorem is very clear, however, its proof is non-trivial, which shows an intrinsic connection between the continuous differentiability of the norm || ∙ || in E\{0} and differential structure of S(E).

Keywords

Banach space / geometry / non-linear analysis / global analysis

References

[1] Abraham R, Marsden J E, Ratiu T. Manifold, Tensor Analysis and Its Applications. New York: Springer-Verlag, 1988

[2] Ma Jipu. A generalized preimage theorem in global analysis. Sci China Ser A, 2001, 44(3): 299-303

[3] Ma Jipu. Three classes of smooth Banach manifolds in B(E,F).Sci China Ser A, 2007, 50(9): 1233-1239

[4] Ma Jipu. A generalized transversality in global analysis. Pacific J Math, 2008, 236(2): 357-371

[5] Ma Jipu. Complete rank theorem of advanced calculus and singularities of bounded linear operators. Front Math China, 2008, 3(2): 304-316

[6] Nashed M Z. Generalized Inverses and Applications. New York, San-Francisco, London: Academic Press, 1976

[7] Zeidler E. Nonlinear Functional Analysis and Its Applications IV. New York-Berlin: Springer-Verlag, 1988

RIGHTS & PERMISSIONS

Higher Education Press and Springer-Verlag Berlin Heidelberg