加载中…
Let and denote the positive parts of the unit spheres of and , where and are locally compact Hausdorff spaces. We prove that every surjective isometry from onto is a composition operator induced by a homeomorphism between and . As a consequence, such a map extends to a surjective reallinear isometry from onto . We also characterize surjective phase-isometries on the positive unit sphere.

生成讲解博客的中文版本

生成AI智能校验的中文版本