Related papers: Whitney stratifications and the continuity of loca…

We give a geometric proof of existence of Whitney stratifications of definable sets in o-minimal structures.

These notes focus on the Lipschitz geometry of sets that are definable in o-minimal structures (expanding the real field). We show that every set which is definable in a polynomially bounded o-minimal structure admits a stratification which…

We prove that a theorem of Pawlucki, showing that Whitney regularity for a subanalytic set with a smooth singular locus of codimension one implies the set is a finite union of differentiable manifolds with boundary, applies to definable…

Fix an o-minimal structure expanding the ordered field of real numbers. Let $(W_y)_{y\in\mathbb{R}^s}$ be a definable family of closed subsets of $\mathbb{R}^n$ whose total space $W = \cup_y W_y\times y$ is a closed connected $C^2$…

We prove the existence of Verdier stratifications for sets definable in any o-minimal structure on (R, +, .). It is also shown that the Verdier condition (w) implies the Whitney condition (b) in o-minimal structures on (R, +, .). As a…

We propose to grok Lipschitz stratifications from a non-archimedean point of view and thereby show that they exist for closed definable sets in any power-bounded o-minimal structure on a real closed field. Unlike the previous approaches in…

In this paper we prove that every definable set has a definable triangulation which is locally Lipschitz and weakly bi-Lipschitz on the natural simplicial stratification of the simplicial complex. We also distinguish a class T of regularity…

We study the geometry of germs of definable (semialgebraic or subanalytic) sets over a $p$-adic field from the metric, differential and measure geometric point of view. We prove that the local density of such sets at each of their points…

In this paper we describe the notion of a weak lipschitzianity of a mapping on a $C^{q}$ stratification. We also distinguish a class of regularity conditions that are in some sense invariant under definable, locally Lipschitz and weakly…

We specify the canonical stratifications satisfying respectively Whitney (a)-regularity, Whitney (b)-regularity, Kuo-Verdier (w)-regularity, and Mostowski (L)-regularity for the family of surfaces y^a = t^b x^c + x^d, where a, b, c, d are…

We study the local Lipschitz one subsets of a finite dimensional space, that is, sets for which there exists a continuous function whose local Lipschitz derivative is the characteristic function of said set. We give a characterization of a…

For germs of subanalytic sets, we define two finite sequences of new numerical invariants. The first one is obtained by localizing the classical Lipschitz-Killing curvatures, the second one is the real analogue of the evanescent…

In this paper we prove that for any definable subset $X\subset \mathbb{R}^{n}$ in a polynomially bounded o-minimal structure, with $dim(X)<n$, there is a finite set of regular projections (in the sense of Mostowski ). We give also a weak…

A closed subset of $\mathbb{R}^q$, definable in some given o-minimal structure, is Lipschitz normally embedded in $\mathbb{R}^q$ if and only if its one-point compactification is Lipschitz normally embedded in the unit sphere ${\bf S}^q$($ =…

Homogeneous random fractals form a probabilistic extension of self-similar sets with more dependencies than in random recursive constructions. For such random fractals we consider mean values of the Lipschitz-Killing curvatures of their…

We prove the existence of primitive curves and positivity of intersections of $J$-complex curves for Lipschitz-continuous almost complex structures. These results are deduced from the Comparison Theorem for $J$-holomorphic maps in Lipschitz…

We first show that the projection image of a discrete definable set is again discrete for an arbitrary definably complete locally o-minimal structure. This fact together with the results in a previous paper implies tame dimension theory and…

We relate the Lipschitz-Killing measures of a definable set $X \subset \mathbb{R}^n$ in an o-minimal structure to the volumes of generic polar images. For smooth submanifolds of $\mathbb{R}^n$, such results were established by Langevin and…

A stratification of a singular set, e.g. an algebraic or analytic variety, is, roughly, a partition of it into manifolds so that these manifolds fit together "regularly". A classical theorem of Whitney says that any complex analytic set has…

We study directed sets definable in o-minimal structures, showing that in expansions of ordered fields these admit cofinal definable curves, as well as a suitable analogue in expansions of ordered groups, and furthermore that no analogue…