Tangent cones and $C^1$ regularity of definable sets

Krzysztof Kurdyka, Olivier Le Gal, Nhan Nguyen

Let $X\subset {\mathbb{R}}^n$ be a connected locally closed definable set in an o-minimal structure. We prove that the following three statements are equivalent: (i) $X$ is a $C^1$ ma…