Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1143

Preprint Number 1143

Previous Next Preprint server

1143. Masahiro Shiota
Semialgebraic metric spaces and resolution of singularities of definable sets

Submission date: 14 January 2017


Consider the semialgebraic structure over the real field. More generally, let an ominimal structure be over a real closed field. We show that a definable metric space X with a definable metric d is embedded into a Euclidean space so that its closure is compact and the metric on the image induced by d is extended to a definable metric on the closure if and only if the limit of d(r(t);r(t)) is 0 as t converges to 0 for any definable continuous curve r from (0, 1] to X (Theorem 1). We also find two compact semialgebraic metric spaces over the real field which are isometric but not semialgebraically isometric (Theorem 2). A version of blow up is the key to the proof of Theorem 1. Using it in the same way, we prove a resolution of singularities of definable sets (Theorem 3). We prove the theorems by a constructive procedure.

Mathematics Subject Classification: 03C64, 14B12, 54E45

Keywords and phrases:

Full text arXiv 1701.03858: pdf, ps.

Last updated: January 20 2017 12:11 Please send your corrections to: