Related papers: Some remarks about The Morse-Sard theorem and appr…

Let $b \geq 3$ be an integer and $C(b,D)$ be the set of real numbers in $[0,1]$ whose base $b$ expansion only consists of digits in a set $D \subseteq \{0,...,b-1\}$. We study how close can numbers in $C(b,D)$ be approximated by rational…

We prove some basic theorems concerning lemniscate configurations in an Euclidean space of dimension $ n \geq 3$. Lemniscates are defined as follows. Given m points $w_j $ in $\mathbb R^n$, consider the function $F(x)$ which is the product…

We prove that the Hausdorff dimension of the set of points where a function in the Zygmund class in the euclidean space has bounded divided differences, is bigger or equal to 1. A similar result for functions in the Small Zygmund class is…

We establish the following Hadamard--Stoker type theorem: Let $f:M^n\rightarrow\mathscr{H}^n\times\mathbb R$ be a complete connected hypersurface with positive definite second fundamental form, where $\mathscr H^n$ is a Hadamard manifold.…

In this paper we establish a Besicovitch-Federer type projection theorem for general measures. Specifically, let $\mu$ be a finite Borel measure on $\mathbb{R}^n$ and let $0 < m < n$ be an integer. We show that, under the sole assumption…

We consider the directed Hausdorff distance between point sets in the plane, where one or both point sets consist of imprecise points. An imprecise point is modelled by a disc given by its centre and a radius. The actual position of an…

In semialgebraic geometry, projections play a prominent role. A definable choice is a semialgebraic selection of one point in every fiber of a projection. Definable choices exist by semialgebraic triviality, but their complexity depends…

We obtain fractal Lipschitz-Killing curvature-direction measures for a large class of self-similar sets F in R^d. Such measures jointly describe the distribution of normal vectors and localize curvature by analogues of the higher order mean…

We obtain a criterion for an analytic subset of a Euclidean space to contain points of differentiability of a typical Lipschitz function, namely, that it cannot be covered by countably many sets, each of which is closed and purely…

Federer's characterization states that a set $E\subset \mathbb{R}^n$ is of finite perimeter if and only if $\mathcal H^{n-1}(\partial^*E)<\infty$. Here the measure-theoretic boundary $\partial^*E$ consists of those points where both $E$ and…

We develop potential theory for $m$-subharmonic functions with respect to a Hermitian metric on a Hermitian manifold. First, we show that the complex Hessian operator is well-defined for bounded functions in this class. This allows to…

It is shown to be consistent with set theory that the uniformity invariant for Lebesgue measure is strictly greater than the corresponding invariant for Hausdorff r-dimensional measure where 0<r<1.

We characterize Radon measures $\mu$ in $\mathbb{R}^{n}$ that are $d$-rectifiable in the sense that their supports are covered up to $\mu$-measure zero by countably many $d$-dimensional Lipschitz graphs and $\mu \ll \mathcal{H}^{d}$. The…

This work establishes computable bounds between f-divergences for probability measures within a generalized quasi-$\varepsilon_{(M,m)}$-neighborhood framework. We make the following key contributions. (1) a unified characterization of local…

This article explores the extension of the classical approximation property and its variants to the nonlinear framework of Lipschitz operator theory. Building on Grothendieck's tensor product methodology, we characterize the Lipschitz…

This survey paper is based on a talk given at the 44th Summer Symposium in Real Analysis in Paris. This line of research was initiated by a question of Haight and Weizs\"aker concerning almost everywhere convergence properties of series of…

We prove that for all $s\in(0,d)$ and $c\in (0,1)$ there exists a self-similar set $E\subset \mathbb{R}^d$ with Hausdorff dimension $s$ such that $\mathcal{H}^s(E)=c|E|^s$. This answers a question raised by Zhiying Wen[16].

We consider linear combinations of eigenfunctions of the Laplace-Beltrami operator on a compact Riemannian manifold $(M,g)$ and investigate a density property of their zero sets. More precisely, let $f=\sum_{k=1}^m a_k…

A function f:R -> R is approximately continuous iff it is continuous in the density topology, i.e., for any ordinary open set U the set E=f^{-1}(U) is measurable and has Lebesgue density one at each of its points. Denjoy proved that…

We prove that, given an $RCD^{*}(K,N)$-space $(X,d,m)$, then it is possible to $m$-essentially cover $X$ by measurable subsets $(R_{i})_{i\in \mathbb{N}}$ with the following property: for each $i$ there exists $k_{i} \in \mathbb{N}\cap…