Tangent cones and C¹ regularity of definable sets
classification
🧮 math.GT
math.DG
keywords
conetangentdefinableeverymathbbpointclosedcoincide
read the original abstract
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$ manifold, (ii) the tangent cone and the paratangent cone of $X$ coincide at every point in $X$, (iii) for every $x \in X$, the tangent cone of $X$ at the point $x$ is a $k$-dimensional linear subspace of $\mathbb R^n$ ($k$ does not depend on $x$) varies continuously in $x$, and the density $\theta(X, x) < 3/2$.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.