Whitney stratification of sets definable in the structure
The aim of this paper is to prove that every subset of definable from addition, multiplication and exponentiation admits a stratification satisfying Whitney’s conditions a) and b).
The aim of this paper is to prove that every subset of definable from addition, multiplication and exponentiation admits a stratification satisfying Whitney’s conditions a) and b).
We prove that every set definable in the structure can be decomposed into finitely many connected analytic manifolds each of which is also definable in this structure.
We consider some variants of Łojasiewicz inequalities for the class of subsets of Euclidean spaces definable from addition, multiplication and exponentiation : Łojasiewicz-type inequalities, global Łojasiewicz inequalities with or without parameters. The rationality of Łojasiewicz’s exponents for this class is also proved.
We present a tameness property of sets definable in o-minimal structures by showing that Morse functions on a definable closed set form a dense and open subset in the space of definable functions endowed with the Whitney topology.
In a previous paper by Koike and Paunescu, it was introduced the notion of direction set for a subset of a Euclidean space, and it was shown that the dimension of the common direction set of two subanalytic subsets, called , is preserved by a bi-Lipschitz homeomorphism, provided that their images are also subanalytic. In this paper we give a generalisation of the above result to sets definable in an o-minimal structure on an arbitrary real closed field. More precisely, we first prove our main theorem...
Page 1