Related papers: On Lebesgue null sets
We show that if $E$ is a countable Borel equivalence relation on $\mathbb{R}^n$, then there is a closed subset $A \subset [0,1]^n$ of Hausdorff dimension $n$ so that $E \restriction A$ is smooth. More generally, if $\leq_Q$ is a locally…
Let $(\mathcal{X},\rho)$ be a metric space and $\lambda$ be a Borel measure on this space defined on the $\sigma$-algebra generated by open subsets of $\mathcal{X}$; this measure $\lambda$ defines volumes of Borel subsets of $\mathcal{X}$.…
New partial results are obtained related to the following old problem of Erd\"os: for any infinite set $X$ of real numbers to show that there is always a measurable (or, equivalently, closed) subset of reals of positive Lebesgue measure…
We construct a purely unrectifiable set of finite $\mathcal H^1$-measure in every infinite dimensional separable Banach space $X$ whose image under every $0\neq x^*\in X^*$ has positive Lebesgue measure. This demonstrates completely the…
For $S_g(x,y)=x-g(y), x,y\in\mathbb{R}^n, g\in O(n),$ we investigate the Lebesgue measure and Hausdorff dimension of $S_g(A)$ given the dimension of $A$, both for general Borel subsets of $\mathbb{R}^{2n}$ and for product sets.
In a previous work we proved that if a finite Borel measure $\mu$ in a Euclidean space has Hausdorff dimension smaller than a positive integer $k$, then the orthogonal projection onto almost every $k$-dimensional linear subspace is…
Our (weak) conjecture claims that a finite dimensional Lie algebra ${\bf g}$ over the field of complex numbers is semi-simple iff the Leibniz homology vanishes in positive dimensions $HL_i({\bf g})=0$, $i>0$. We will indicate a mistake in…
We investigate variants of the Erd\H{o}s similarity problem for Cantor sets. We prove that under a mild Hausdorff or packing logarithmic dimension assumption, Cantor sets are not full measure universal, significantly improving the known…
Let $\{x\_n\}\_{n\geq 0}$ be a sequence of $[0,1]^d$, $\{\lambda\_n\} \_{n\geq 0}$ a sequence of positive real numbers converging to 0, and $\delta>1$. Let $\mu$ be a positive Borel measure on $[0,1]^d$, $\rho\in (0,1]$ and $\alpha>0$.…
Let $X(n),$ for $n\in\mathbb{N},$ be the set of all subsets of a metric space $(X,d)$ of cardinality at most $n.$ The set $X(n)$ equipped with the Hausdorff metric is called a finite subset space. In this paper we are concerned with the…
We prove new bounds on the dimensions of distance sets and pinned distance sets of planar sets. Among other results, we show that if $A\subset\mathbb{R}^2$ is a Borel set of Hausdorff dimension $s>1$, then its distance set has Hausdorff…
We investigate the Lebesgue measure, Hausdorff dimension, and Fourier dimension of sets of the form $RY + Z, $ where $R \subseteq (0,\infty)$ and $Y, Z \subseteq \mathbb{R}^d$. We prove a theorem on the Lebesgue measure and Hausdorff…
We show that, for a separable and complete metric space $M$, the Lipschitz-free space $\mathcal F(M)$ embeds linearly and almost-isometrically into $\ell_1$ if and only if $M$ is a subset of an $\mathbb R$-tree with length measure 0.…
We prove for an arbitrary complex $^*$-algebra $A$ that every topologically irreducible $^*$-representation of $A$ on a Hilbert space is finite dimensional precisely when the Lebesgue decomposition of representable positive functionals over…
Let us assume that we are given two metric spaces, where the Hausdorff dimension of the first space is strictly smaller than the one of the second space. Suppose further that the first space has sigma-finite measure with respect to the…
For a wide class of Dirichlet series associated to automorphic forms, we show that those without Euler products must have zeros within the region of absolute convergence. For instance, we prove that if f is a classical holomorphic modular…
We shall prove that the Hilbert cube cannot be separated by a weakly infinite dimensional subset. As a corollary we obtain that the complement of a weakly infinite dimensional subset of the space of complete non negatively curved metrics is…
The "zero in the spectrum conjecture" asserted (in its strongest form) that for any manifold M zero should be in the l2-spectrum of the Laplacian (on forms) of the universal covering of M, i.e. that at least one (unreduced) L2-cohomology…
We show that the Heisenberg group $\mathbb{H}^n$ contains a measure zero set $N$ such that every Lipschitz function $f\colon \mathbb{H}^n \to \mathbb{R}$ is Pansu differentiable at a point of $N$. The proof adapts the construction of small…
A separable metric space X is an H-null set if any uniformly continuous image of X has Hausdorff dimension zero. upper H-null, directed P-null and P-null sets are defined likewise, with other fractal dimensions in place of Hausdorff…