关于端点与光滑点的一个注记

设X为Banach空间,X~*为X的共轭空间,以U(X),U(X~*)分别表示X、X~*的闭单位球。设x_0∈X,‖x_0‖=1,如果U(X)在x_0处有唯一的支撑超平面,则称x_0为U(X)的一个光滑点,U(X)的光滑点全体记为Sm(U(X))。由1]知x_0为U(X)的光滑点当且仅当X的范数在x_0处是Gateaux可微的。对于一个Banach空间X,U(X)是否一定有光滑点呢?如果X是可分的,回答是肯定的。Mazur稠性定理表明,这时U(X)有光滑点并且Sm(U(X))为U(X)={x∈X;‖x‖=1}的剩余子集(residual subset)。