科研之友
微信
新浪微博
Facebook
分享链接
摘要
The aim of this note is to give yet another proof of the following theorem: given an arbitrary o-minimal structure on the ordered field of real numbers R and any definable family A of definable nonempty compact subsets of R-n, then the closure of A in the sense of the Hausdorff metric (or, equivalently, in the Vietoris topology) is a definable family. In particular, any limit in the sense of the Hausdorff metric of a convergent sequence of subsets of a definable family is definable in the same o-minimal structure. The original proofs by Brocker [1], Marker and Steinhorn [7], Pillay [11] ( see also van den Dries [15]) were based on model theory. Lion and Speissegger [6] gave a geometric proof of the theorem. Our proof below is based on the idea of Lipschitz cell decompositions.
- 出版日期2014-1
