For a cardinal a metric space is called to be -superuniversal whenever for every metric space with every partial isometry from a subset of into can be extended over the whole space . Examples of such spaces were given by Hechler [1] and Kat\v{e}tov [2]. In particular, Kat\v{e}tov showed that if $\omega < \kappa = \kappa^{< \kappa}\kappaK$ which is moreover -homogeneous, i.e. every isometry of a subspace with can be extended to an isometry of the whole . In connection of this W. Kubi's suggested that there should also exist a -superuniversal space that is not -homogeneous. In this paper there is shown that for every cardinal there exists a -superuniversal space which is rigid, i.e. has exactly one isometry, namely the identity. The construction involves an amalgamation-like property of a family of metric spaces.

生成讲解博客的中文版本

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