Related papers: Cone unrectifiable sets and non-differentiability …

We construct certain non-degenerate maps and sets, mainly in the complex-analytic category. For example, we show that for every countable subset S in an irreducible complex space X there exists a holomorphic map from the unit disk to X such…

Let $y=f(x)$ be a continuously differentiable implicit function solving the equation $F(x,y)=0$ with continuously differentiable $F.$ In this paper we show that if $F_\eps$ is a Lipschitz function such that the Lipschitz constant of…

We introduce an interesting method of proving separable reduction theorems - the method of elementary submodels. We are studying whether it is true that a set (function) has given property if and only if it has this property with respect to…

For a separable finite diffuse measure space $\mathcal{M}$ and an orthonormal basis $\{\varphi_n\}$ of $L^2(\mathcal{M})$ consisting of bounded functions $\varphi_n\in L^\infty(\mathcal{M})$, we find a measurable subset…

We characterize the functions $f\colon [0,1] \longrightarrow [0,1]$ for which there exists a measurable set $C\subseteq [0,1]$ of positive measure satisfying $\frac{|C\cap I|}{|I|}<f(|I|)$ for any nontrivial interval $I \subseteq [0,1]$. As…

Our focus will be on the computably enumerable (c.e.) sets and trivial, non-trivial, Friedberg, and non-Friedberg splits of the c.e. sets. Every non-computable set has a non-trivial Friedberg split. Moreover, this theorem is uniform. V. Yu.…

The following theorem is proved: Let M be a locally Lipschitz hypersurface in C^n with one-sided extension property at each point (e.g., without analytic discs). Let S be a closed subset of M and f : M \ S ---> C^m \ E is a CR-mapping of…

Let $\psi:\mathbb R_{+}\to \mathbb R_{+}$ be a nonincreasing function. A pair $(A,\mathbf b),$ where $A$ is a real $m\times n$ matrix and $\mathbf b\in\mathbb R^{m},$ is said to be $\psi$-Dirichlet improvable, if the system $$\|A\mathbf q…

In this short note, we develop a method for identifying the spaces $Lip_{0}(U)$ for every nonempty open convex $U$ of $\mathbb{R}^{n}$ and $n\in\mathbb{N}$. Moreover, we show that $\mathcal{F}(U)$ is identified with a quotient of…

A direct application of Zorn's Lemma gives that every Lipschitz map $f:X\subset \mathbb{Q}_p^n\to \mathbb{Q}_p^\ell$ has an extension to a Lipschitz map $\widetilde f: \mathbb{Q}_p^n\to \mathbb{Q}_p^\ell$. This is analogous, but more easy,…

We provide quite sufficient conditions on the Banach spaces $E$ and $F$ in order to obtain the spaceability of the set of all linear operators from $E$ into $F$ which are $q$-compact but not $p$-compact. Also, under similar conditions over…

We give the following characterization of rectifiable metric spaces. A metric space with positive lower Hausdorff density is rectifiable if and only if, for any subset $F$ and $f:F\to Y$, a Lipschitz map into a metric space with positive…

We consider the space $C_{\lambda}$ of all continuous interval maps preserving the Lebesgue measure $\lambda$. A continuous function $f\colon~[0,1]\to \mathbb R$ is called Besicovitch if it does not have any finite or infinite unilateral…

An explanation is given for the initially surprising ubiquity of separating sets in normal complex surface germs. It is shown that they are quite common in higher dimensions too. The relationship between separating sets and the geometry of…

It is shown that there exists a compact set $X$ in ${\bf C}^N$ ($N\geq 2$) such that $\widehat X\setminus X$ is nonempty and the uniform algebra $P(X)$ has a dense set of invertible elements, a large Gleason part, and an abundance of…

In the setting of Carnot groups, we exhibit examples of intrinisc Lipschitz curves of positive $\mathcal{H}^1$-measure that intersect every connected intrinsic Lipschitz curve in a $\mathcal{H}^1$-negligible set. As a consequence such…

A classical theorem of Lusin states that all analytic sets are Lebesgue-measurable. In this article we established the reverse mathematical strength of Lusin's theorem, which depends on how precisely it is formalized. By doing so, we answer…

Let $\mu$ be a finite Radon measure on an open set $\Omega\subset\mathbb{R}^d$, singular with respect to the Lebesgue measure. We prove Lusin-type solvability results for the prescribed divergence equation and the prescribed Jacobian…

We present a general method of constructing an uncountable family of regular Borel measures on certain path spaces of Lipschitz functions having fixed Lipschitz constants. We use this method to give a definition of Lebesgue measure and…

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…