Related papers: Finding subsets of positive measure
In Carnot groups of step 2 we consider sets having maximal or minimal possible homogeneous Hausdorff dimension compared to their Euclidean one: in the first case we prove that they must be in a sense vertical, that is a large part of these…
We consider the following classical conjecture of Besicovitch: a $1$-dimensional Borel set in the plane with finite Hausdorff $1$-dimensional measure $\mathcal{H}^1$ which has lower density strictly larger than $\frac{1}{2}$ almost…
This paper establishes connections between the group-Fourier transform and the geometry of measures in the Heisenberg group. Firstly, it is shown that if the Fourier transform of a compactly supported, finite, Radon measure is square…
We show that the Continuum Hypothesis implies that for every $0<d_1\leq d_2<n$ the measure spaces $(\RR^n,\iM_{\iH^{d_1}},\iH^{d_1})$ and $(\RR^n,\iM_{\iH^{d_2}},\iH^{d_2})$ are isomorphic, where $\iH^d$ is $d$-dimensional Hausdorff measure…
Urysohn constructed a separable complete universal metric space homogeneous for all finite subspaces, which is today called the Urysohn universal metric space. Some authors have recently investigated an ultrametric analogue of this space.…
Let $\psi:\mathbb{N} \to [0,\infty)$, $\psi(q)=q^{-(1+\tau)}$ and let $\psi$-badly approximable points be those vectors in $\mathbb{R}^{d}$ that are $\psi$-well approximable, but not $c\psi$-well approximable for arbitrarily small constants…
Let $X$ be a Banach space and $Conv_H(X)$ be the space of non-empty closed convex subsets of $X$, endowed with the Hausdorff metric $d_H$. We prove that each connected component of the space $Conv_H(X)$ is homeomorphic to one of the spaces:…
In \cite{ZW}, the notion of homogenous perfect set as a generalization of Cantor type sets is introduced. Their Hausdorff, lower box-counting, upper box-counting and packing dimensions are studied in \cite{ZW} and \cite{WW}. In this paper,…
Let L be the zero set of a nonconstant monic polynomial with complex coefficients. In the context of constructive mathematics without countable choice, it may not be possible to construct an element of L. In this paper we introduce a notion…
Let $E \subseteq R^n$ be a closed set of Hausdorff dimension $\alpha$. For $m \geq n$, let $\{B_1,\ldots,B_k\}$ be $n \times (m-n)$ matrices. We prove that if the system of matrices $B_j$ is non-degenerate in a suitable sense, $\alpha$ is…
It is well known that axiom of choice implies the existence of non-measurable sets for Lebesgue's measure on R as well as the existence of "paradoxical" decompositions of the unit ball of R^3 (Banach-Tarski). This is generally interpreted…
This paper aims to characterize rank-one arithmetic and locally symmetric metrics in the coarsely geometric setting using coarse-geometric commensurators. We provide a positive answer in general under the Hilbert-Smith conjecture and…
A discrete subset $S$ of a topological gyrogroup $G$ with the identity $0$ is said to be a {\it suitable set} for $G$ if it generates a dense subgyrogroup of $G$ and $S\cup \{0\}$ is closed in $G$. In this paper, it was proved that each…
Given a $k$-point configuration $x\in (\mathbb{R}^d)^k$, we consider the $\binom{k}{d}$-vector of volumes determined by choosing any $d$ points of $x$. We prove that a compact set $E\subset \R^d$ determines a positive measure of such volume…
Microlocal defect functionals (H-measures, H-distributions, semiclassical measures, etc.) are objects which determine, in some sense, the lack of strong compactness for weakly convergent ${\rm L}^p$ sequences. Recently, Luc Tartar…
Sanchez, Viader, Paradis and Carrillo (2016) proved that there exists an increasing continuous singular function $f$ on $[0,1]$ such that the set $A_f$ of points where $f$ has a nonzero finite derivative has Hausdorff dimension 1 in each…
S. Smirnov proved recently that the Hausdorff dimension of any K-quasicircle is at most 1+k^2, where k=(K-1)/(K+1). In this paper we show that if $\Gamma$ is such a quasicircle, then $H^{1+k^2}(B(x,r)\cap \Gamma)\leq C(k) r^{1+k^2}$ for all…
Let $N\ge 2$ and $\rho\in(0,1/N^2]$. The homogenous Cantor set $E$ is the self-similar set generated by the iterated function system \[ \left\{f_i(x)=\rho x+\frac{i(1-\rho)}{N-1}: i=0,1,\ldots, N-1\right\}. \] Let $s=\dim_H E$ be the…
We prove that the positive mass theorem applies to Lipschitz metrics as long as the singular set is low-dimensional, with no other conditions on the singular set. More precisely, let $g$ be an asymptotically flat Lipschitz metric on a…
Given a nonnegative function $\psi : \N \to \R $, let $W(\psi)$ denote the set of real numbers $x$ such that $|nx -a| < \psi(n) $ for infinitely many reduced rationals $a/n (n>0) $. A consequence of our main result is that $W(\psi)$ is of…