Hostname: page-component-8448b6f56d-tj2md Total loading time: 0 Render date: 2024-04-23T22:42:16.203Z Has data issue: false hasContentIssue false

Polish Metric Spaces: Their Classification and Isometry Groups

Published online by Cambridge University Press:  15 January 2014

John D. Clemens
Affiliation:
Department of Mathematics, University of California, Berkeley, Berkeley, CA 94720, USA E-mail: clemens@math.berkeley.edu
Su Gao
Affiliation:
Department of Mathematics, California Institute of Technology, Pasadena, CA 91125, USA E-mail: sugao@its.caltech.edu
Alexander S. Kechris
Affiliation:
Department of Mathematics, California Institute of Technology, Pasadena, CA 91125, USA E-mail: kechris@caltech.edu

Extract

§ 1. Introduction. In this communication we present some recent results on the classification of Polish metric spaces up to isometry and on the isometry groups of Polish metric spaces. A Polish metric space is a complete separable metric space (X, d).

Our first goal is to determine the exact complexity of the classification problem of general Polish metric spaces up to isometry. This work was motivated by a paper of Vershik [1998], where he remarks (in the beginning of Section 2): “The classification of Polish spaces up to isometry is an enormous task. More precisely, this classification is not ‘smooth’ in the modern terminology.” Our Theorem 2.1 below quantifies precisely the enormity of this task.

After doing this, we turn to special classes of Polish metric spaces and investigate the classification problems associated with them. Note that these classification problems are in principle no more complicated than the general one above. However, the determination of their exact complexity is not necessarily easier.

The investigation of the classification problems naturally leads to some interesting results on the groups of isometries of Polish metric spaces. We shall also present these results below.

The rest of this section is devoted to an introduction of some basic ideas of a theory of complexity for classification problems, which will help to put our results in perspective. Detailed expositions of this general theory can be found, e.g., in Hjorth [2000], Kechris [1999], [2001].

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 2001

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

Becker, H. and Kechris, A. S. [1996], The descriptive set theory of Polish group actions, London Mathematical Society Lecture Note Series, vol. 232, Cambridge University Press.Google Scholar
Clemens, J. D. [2001], Ph.D. thesis , University of California, Berkeley.Google Scholar
Dougherty, R., Jackson, S., and Kechris, A.S. [1994], The structure of hyperfinite Borel equivalence relations, Transactions of the American Mathematical Society, vol. 341, no. 1, pp. 193225.CrossRefGoogle Scholar
Gao, S. and Kechris, A. S. [2000], On the classification of Polish metric spaces up to isom-etry, preprint.Google Scholar
Gromov, M. [1999], Metric structures for Riemannian and non-Riemannian spaces, Progress in Mathematics, vol. 152, Birkhäusen.Google Scholar
Htorth, G. [2000], Classification and orbit equivalence relations, Mathematical Surveys and Monographs, vol. 75, American Mathematical Society.Google Scholar
Hjorth, G. and Kechris, A.S. [1996], Borel equivalence relations and classifications of countable models, Annals of Pure and Applied Logic, vol. 82, pp. 221272.Google Scholar
Katětov, M. [1988], On universal metric spaces, General topology and its relations to modern analysis and algebra, VI (Prague, 1986), Research and Exposition in Mathematics, vol. 16, Heldermann, Berlin, pp. 323330.Google Scholar
Kechris, A. S. [1995], Classical descriptive set theory, Springer-Verlag.Google Scholar
Kechris, A. S. [1999], New directions in descriptive set theory, this Bulletin, vol. 5, no. 2, pp. 161179.Google Scholar
Kechris, A. S. [2001], Actions of Polish groups and classification problems, Analysis and logic, London Mathematical Society Lecture Notes Series, Cambridge University Press, to appear.Google Scholar
Manoussos, A. and Strantzalos, P. [2000], The role of connectedness in the structure and the action of groups of isometries of locally compact metric spaces, preprint.Google Scholar
Semadeni, Z. [1971], Banach spaces of continuous functions, PWN Polish Scientific Publishers.Google Scholar
Strantzalos, P. [1974], Dynamische Systeme und Topologische Aktionen, Manuscripta Mathematica, vol. 13, pp. 207211.Google Scholar
Strantzalos, P. [1989], Action by isometries, Transformation groups (Osaka 1987), Lecture Notes in Mathematics, vol. 1375, Springer, pp. 319325.Google Scholar
Urysohn, P. [1927], Sur en espace métrique universel, Bulletin des Sciences Mathématiques, vol. 51, pp. 43–64, 7490.Google Scholar
Uspenskiǐ, V. V. [1986], A universal topological group with a countable basis, Functional Analysis and Its Applications, vol. 20, pp. 8687.Google Scholar
Uspenskiǐ, V.V. [1990], On the group of isometries of the Urysohn universal metric space, Commentationes Mathematicae Universitatis Carolinae, vol. 31, no. 1, pp. 181182.Google Scholar
van Dantzig, D. and van der Waerden, B.L. [1928], Über metrisch homogene Bäume, Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg, vol. 6, pp. 374376.Google Scholar
Vershik, A. M. [1998], The universal Urysohn space, Gromov metric triples and random metrics on the naturalnumbers, Russian Mathematical Surveys, vol. 53, no. 5, pp. 921928.CrossRefGoogle Scholar