Related papers: Tangential approximation of analytic sets

A general approach to compute the spherical measure of submanifolds in homogeneous groups is provided. We focus our attention on the homogeneous tangent space, that is a suitable weighted algebraic expansion of the submanifold. This space…

Let M be a smooth strictly convex closed surface in space and denote by H the set of points x in the exterior of M such that all the tangent segments from x to M have equal lengths. In this note we prove that if H is either a closed surface…

We study the link between a compact hypersurface in $\P^{n+1}$ and the set of all its tangent planes. In this context, we identify $\P^{n+1}$ to the set of linear subspaces of codimension one by orthogonal complementarity. This gives rise…

Given a compact basic semi-algebraic set $K\subset R^n\times R^m$, a simple set $B$ (box or ellipsoid), and some semi-algebraic function $f$, we consider sets defined with quantifiers, of the form $R_f:=\{x\in B: \mbox{$f(x,y)\leq 0$ for…

Special coordinate systems are constructed in a neighborhood of a point or of a curve. Taylor expansions can then be easily inferred for the metric, the connection, or the Finsler Lagrangian in terms of curvature invariants. These…

Let $f$ be a holomorphic function on the unit disc, and $(S_{n_{k}})$ be a subsequence of its Taylor polynomials about $0$. It is shown that the nontangential limit of $f$ and lim$_{k\rightarrow \infty }S_{n_{k}}$ agree at almost all points…

We show that every smooth closed curve C immersed in Euclidean 3-space satisfies the sharp inequality 2(P+I)+V >5 which relates the numbers P of pairs of parallel tangent lines, I of inflections (or points of vanishing curvature), and V of…

Let K be an algebraically closed field endowed with a complete non-archimedean norm with valuation ring R. Let f:Y -> X be a map of K-affinoid varieties. In this paper we study the analytic structure of the image f(Y) in X; such an image is…

Let $X$ be a perfect, compact subset of the complex plane. We consider algebras of those functions on $X$ which satisfy a generalised notion of differentiability, which we call $\mathcal{F}$-differentiability. In particular, we investigate…

The coarse similarity class $[A]$ of $A$ is the set of all $B$ whose symmetric difference with $A$ has asymptotic density 0. There is a natural metric $\delta$ on the space $\mathcal{S}$ of coarse similarity classes defined by letting…

In the classical best approximation pair (BAP) problem, one is given two nonempty, closed, convex and disjoint subsets in a finite- or an infinite-dimensional Hilbert space, and the goal is to find a pair of points, each from each subset,…

Let $K$ be an algebraically closed field endowed with a complete non-archimedean norm with valuation ring $R$. Let $f\colon Y\to X$ be a map of $K$-affinoid varieties. In this paper we study the analytic structure of the image $f(Y)\subset…

The metric jets, introduced in the first chapter, generalize the jets (at order one) of Charles Ehresmann. In short, for a "good" map $f$ (said to be "tangentiable" at $a$), we define its metric jet tangent at $a$ (composed of all the maps…

In this note we compare two ways of measuring the $n$-dimensional "flatness" of a set $S\subset \mathbb{R}^d$, where $n\in \mathbb{N}$ and $d>n$. The first one is to consider the classical Reifenberg-flat numbers $\alpha(x,r)$ ($x \in S$,…

For a holomorphic function $f$ in the open unit disc $\mathbb{D}$ and $\zeta\in\mathbb{D}$, $S_n(f,\zeta)$ denotes the $n$-th partial sum of the Taylor development of $f$ at $\zeta$. Given an increasing sequence of positive integers…

A finite set of distinct vectors $\mathcal{X}$ in the $d$-dimensional Euclidean space $\mathbb{R}^d$ is called an $s$-distance set if the set of mutual distances between distinct elements of $\mathcal{X}$ has cardinality $s$. In this paper…

Let $f$ and $g$ be transcendental entire functions, each with a bounded set of singular values, and suppose that $f$ and $g$ are affinely equivalent (that is, $g \circ \phi= \psi\circ f$, where $\phi,\psi:\C\to\C$ are affine). We show that…

Let $R$ be a real closed field. We consider basic semi-algebraic sets defined by $n$-variate equations/inequalities of $s$ symmetric polynomials and an equivariant family of polynomials, all of them of degree bounded by $2d < n$. Such a…

Pointwise tangential dimensions are introduced for metric spaces. Under regularity conditions, the upper, resp. lower, tangential dimensions of X at x can be defined as the supremum, resp. infimum, of box dimensions of the tangent sets, a…

The germs of maps (k^n,o)\to(k^p,o) are traditionally studied up to the right, left-right or contact equivalence. Various questions about the group-orbits are reduced to their tangent spaces. Classically the passage from the tangent spaces…