Abstract
Let A ⫅ ℝn+r be a set definable in an o-minimal expansion S of the real field, let A’ ⫅ ℝr be its projection, and assume that the non-empty fibers Aa ⫅ ℝn are compact for all a ∈ A’ and uniformly bounded, i.e. all fibers are contained in a ball of fixed radius B(0,R). If L is the Hausdorff limit of a sequence of fibers Aai, we give an upper-bound for the Betti numbers bk(L) in terms of definable sets explicitly constructed from a fiber Aa. In particular, this allows us to establish effective complexity bounds in the semialgebraic case and in the Pfaffian case. In the Pfaffian setting, Gabrielov introduced the relative closure to construct the o-minimal structure SPfaff generated by Pfaffian functions in a way that is adapted to complexity problems. Our results can be used to estimate the Betti numbers of a relative closure (X,Y)0 in the special case where Y=∅.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Zell, T. Topology of Definable Hausdorff Limits. Discrete Comput Geom 33, 423–443 (2005). https://doi.org/10.1007/s00454-004-1112-8
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00454-004-1112-8