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 the directional dimension, 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...