pith. sign in

arxiv: 1703.05421 · v1 · pith:QWOZGRCQnew · submitted 2017-03-15 · 🧮 math.GT · math.DG

Tangent cones and C¹ regularity of definable sets

classification 🧮 math.GT math.DG
keywords conetangentdefinableeverymathbbpointclosedcoincide
0
0 comments X
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.