MODNET
Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 948

Preprint Number 948

Previous Next Preprint server


948. Erik Walsberg
On the Topology of Metric Spaces definable in o-minimal expansions of fields
E-mail:

Submission date: 25 October 2015.

Abstract:

We study the topology of metric spaces which are definable in o-minimal expansions of ordered fields. We show that a definable metric space either contains an infinite definable discrete set or is definably homeomorphic to a definable set equipped with its euclidean topology. This implies that a separable metric space which is definable in an o-minimal expansion of the real field is definably homeomorphic to a definable set equipped with its euclidean topology. We show that almost every point in a definable metric space has a neighborhood which is definably homeomorphic to an open definable subset of euclidean space.

Mathematics Subject Classification:

Keywords and phrases: 03C64

Full text arXiv 1510.07291: pdf, ps.


Last updated: October 30 2015 15:06 Please send your corrections to: