Approximation of definable sets by compact families, and upper bounds on homotopy and homology

By Andrei Gabrielov, Nicolai N. Vorobjov. 2007

47 citations recorded by the source corpus.

We prove new upper bounds on homotopy and homology groups of o‐minimal sets in terms of their approximations by compact o‐minimal sets. In particular, we improve the known upper bounds on Betti numbers of semialgebraic sets defined by quantifier‐free formulae and obtain, for the first time, a singly exponential bound on Betti numbers of sub‐Pfaffian sets.

Subfields: Computational Theory and Mathematics, Geometry and Topology

View Paper: https://www.semanticscholar.org/paper/01597ee09f70839c9a4d55ba03e6578ec1662bde