论文部分内容阅读
Let E and F be Hilbert spaces with unit spheres S1(E) and S1(F). Suppose that V0 S1(E)→S1(F) is a Lipschitz mapping with Lipschitz constant k=1 such that -V0[S1(E)] V0[S1(E)]. Then V0 can be extended to a real linear isometric mapping V from E into F. In particular, every isometric mapping from S1(E) onto S1(F) can be extended to a real linear isometric mapping from E onto F.