Related papers: Some remarks about The Morse-Sard theorem and appr…
We solve the problem of giving sharp asymptotic bounds on the Hausdorff dimensions of certain sets of badly approximable matrices, thus improving results of Broderick and Kleinbock (preprint 2013) as well as Weil (preprint 2013), and…
In the first part of this paper we establish, in terms of so called k-tangential sets, a kind of optimal estimate for the size and structure of the set of non-differentiability of Lipshitz functions with one-sided directional derivatives.…
We study the subsets of metric spaces that are negligible for the infimal length of connecting curves; such sets are called metrically removable. In particular, we show that every totally disconnected set with finite Hausdorff measure of…
For all $1\leq m\leq n-1$, we investigate the interaction of locally finite measures in $\mathbb{R}^n$ with the family of $m$-dimensional Lipschitz graphs. For instance, we characterize Radon measures $\mu$, which are carried by Lipschitz…
We prove a result analogous to Reeb's theorem in the context of Morse-Bott functions: if a closed, smooth manifold $M$ admits a Morse-Bott function having two critical submanifolds $S^k$ and $S^l$ ($k \neq l$), then $M$ has dimension…
The Morse-Sard theorem requires that a mapping $v:R^n \to R^m$ is of class $C^k$, $k>n-m$. In 1957 Dubovitski\u{\i} generalized this result by proving that almost all level sets for a $C^k$ mapping have $H^s$-negligible intersection with…
Consider the space $C$ of conjugacy classes of a unitary group $U(n+m)$ with respect to a smaller unitary group $U(m)$. It is known that for any element of the space $C$ we can assign canonically a matrix-valued rational function on the…
One of the classical results concerning differentiability of continuous functions states that the set $\mathcal{SD}$ of somewhere differentiable functions (i.e., functions which are differentiable at some point) is Haar-null in the space…
A generalization of the classical Sard theorem in the plane is the following. Let $f$ be a function defined on a subset $A\subset{\mathbb R}^2$. If $f$ has modulus of continuity $\omega(r)\lesssim r^2$, then $f(A)\subset{\mathbb R}$ has…
We prove that in a Euclidean space of dimension at least two, there exists a compact set of Lebesgue measure zero such that any real-valued Lipschitz function defined on the space is differentiable at some point in the set. Such a set is…
A Hausdorff measure version of W.M. Schmidt's inhomogeneous, linear forms theorem in metric number theory is established. The key ingredient is a `slicing' technique motivated by a standard result in geometric measure theory. In short,…
The theory of uniform approximation of real numbers motivates the study of products of consecutive partial quotients in regular continued fractions. For any non-decreasing positive function $\varphi:\mathbb{N}\to [2,\infty)$, we determine…
We establish Luzin N and Morse--Sard properties for functions from the Sobolev space $W^{n,1}({\mathbb R}^{n})$. Using these results we prove that almost all level sets are finite disjoint unions of $C^1$--smooth compact manifolds of…
Letting A be a Borel subset of n dimensional Euclidean space, and W(x) be an m dimensional affine subspace containing x and varying in a Lipschitz way according to x, we establish that A is Lebesgue null if and only if $A \cap W(x)$ has m…
We study the relationships between Gateaux, weak Hadamard and Frechet differentiability and their bornologies for Lipschitz and for convex functions. In particular, Frechet and weak Hadamard differentiabily coincide for all Lipschitz…
Given a metric space with a Borel probability measure, for each integer $N$ we obtain a probability distribution on $N\times N$ distance matrices by considering the distances between pairs of points in a sample consisting of $N$ points…
Generalizing the strong Lefschetz property for an $\mathbb{N}$-graded algebra, we introduce the multigraded strong Lefschetz property for an $\mathbb{N}^m$-graded algebra. We show that, for $\mathbf{a} \in \mathbb{N}^m_+$, the generic…
If $f\colon [0,1]^2 \to \mathbb{R}$ is of class $C^2$ then Sard's theorem implies that $f$ has the following relaxed Sard property: the image under $f$ of the Lebesgue measure restricted to the critical set of $f$ is a singular measure. We…
In this paper, we present some sufficient conditions on a metric space $M$ for which every molecule is a strongly subdifferentiable (SSD, for short) point in the Lipschitz-free space $\mathcal{F}(M)$ over $M$. Our main result reads as…
We present strong versions of Marstrand's projection theorems and other related theorems. For example, if E is a plane set of positive and finite s-dimensional Hausdorff measure, there is a set X of directions of Lebesgue measure 0, such…