View Related Documents

Abstract

Let A subE Ropfn+r be a set definable in an o-minimal expansion S of the real field, let Arsquo subE Ropfr be its projection, and assume that the non-empty fibers Aa subE Ropfn are compact for all a isin Arsquo 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=emptyv.

Fulltext Preview

Image of the first page of the fulltext document