Related papers: Tangential approximation of analytic sets

Two subanalytic subsets of R^n are called s-equivalent at a common point P if the Hausdorff distance between their intersections with the sphere centered at P of radius r vanishes of order greater than s when r tends to 0. In this paper we…

We develop geometric versions of Rademacher and Calderon type differentiability theorems in two categories. A special case of our results is that for any Lipschitz or continuous $W^{1,p}$ Sobolev map $f$ from $[0,1]^n$ into a Euclidean…

Let V be a compact real analytic surface with isolated singularities embedded in $R^N$, and assume its smooth part is equipped with a Riemannian metric that is induced from some analytic Riemannian metric on $R^N$. We prove: 1. Each point…

It is known that every germ of an analytic set is homeomorphic to the germ of an algebraic set. In this paper we show that the homeomorphism can be chosen in such a way that the analytic and algebraic germs are tangent with any prescribed…

Given a polynomial function $f \colon \mathbb{R}^n \rightarrow \mathbb{R}$ and a unbounded basic closed semi-algebraic set $S \subset \mathbb{R}^n,$ in this paper we show that the conditions listed below are characterized exactly in terms…

In [22] Milnor proved that a real analytic map $f\colon (R^n,0) \to (R^p,0)$, where $n \geq p$, with an isolated critical point at the origin has a fibration on the tube $f|\colon B_\epsilon^n \cap f^{-1}(S_\delta^{p-1}) \to…

We generalize [Vav] to give sufficient conditions, primarily on coarse geometry, to ensure that a subset of a Cayley graph is a finite Hausdorff distance from a subgroup. Using this result, we prove a partial converse to the Flat Torus…

Let $K\subset\mathbb R^d$ be a compact subset equipped with a $\delta$-Ahlfors regular measure $\mu$. For any $\tau>1/d$ and any ``inhomogeneous'' vector $\boldsymbol{\theta}\in\mathbb R^d$, let $W_d(\psi_\tau,\boldsymbol{\theta})$ denote…

Given a compact subset $F$ of $\mathbb{R}^2$, the visible part $V_\theta F$ of $F$ from direction $\theta$ is the set of $x$ in $F$ such that the half-line from $x$ in direction $\theta$ intersects $F$ only at $x$. It is suggested that if…

We study tangent sets of strictly self-affine sets in the plane. If a set in this class satisfies the strong separation condition and projects to a line segment for sufficiently many directions, then for each generic point there exists a…

For an analytic function $f(z)=\sum_{k=0}^\infty a_kz^k$ on a neighbourhood of a closed disc $D\subset {\bf C}$, we give assumptions, in terms of the Taylor coefficients $a_k$ of $f$, under which the number of intersection points of the…

The purpose of this paper is to define semi- and subanalytic subsets and maps in the context of real analytic orbifolds and to study their basic properties. We prove results analogous to some well-known results in the manifold case. For…

A topological space is said to be cardinality homogeneous if every nonempty open subset has the same cardinality as the space itself. Let $X$ and $Y$ be cardinality homogeneous metric spaces of the same cardinality. If there exists a…

Suppose that the inverse image of the zero vector by a continuous map $f:{\mathbb R}^n\to{\mathbb R}^q$ has an isolated point $P$. There is a local obstruction to removing this isolated zero by a small perturbation, generalizing the notion…

We construct a compact metric space that has any other compact metric space as a tangent, with respect to the Gromov-Hausdorff distance, at all points. Furthermore, we give examples of compact sets in the Euclidean unit cube, that have…

We characterise rectifiable subsets of a complete metric space $X$ in terms of local approximation, with respect to the Gromov--Hausdorff distance, by an $n$-dimensional Banach space. In fact, if $E\subset X$ with $\mathcal{H}^n(E)<\infty$…

Let $P$ be a simple polygon, then the art gallery problem is looking for a minimum set of points (guards) that can see every point in $P$. We say two points $a,b\in P$ can see each other if the line segment $seg(a,b)$ is contained in $P$.…

A set in $\mathbb R^d$ is called almost-equidistant if for any three distinct points in the set, some two are at unit distance apart. First, we give a short proof of the result of Bezdek and L\'angi claiming that an almost-equidistant set…

We prove that for any $\ell \geq 0$, there exists an algorithm which takes as input a description of a semi-algebraic subset $S \subset \mathbb{R}^k$ given by a quantifier-free first order formula $\phi$ in the language of the reals, and…

This paper investigates tangent measures in the sense of Preiss for self-similar sets on ${{\mathbb{R}}^d}$ that satisfy the strong separation condition. Through the dynamics of ``zooming in'' on any typical point, we derive an explicit and…