Publications > Preprint server > Preprint Number 948
Preprint Number 948
948. Erik Walsberg
On the Topology of Metric Spaces definable in o-minimal expansions of fields
Submission date: 25 October 2015.
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
|Last updated: October 30 2015 15:06||Please send your corrections to:|