Related papers: Finding subsets of positive measure
Work in the measure algebra of the Lebesgue measure on the Cantor space: for comeager many $[A]$ the set of points $x$ such that the density of $x $ at $A$ is not defined is $\Sigma^{0}_{3}$-complete; for some compact $K$ the set of points…
In the present paper, we study a set that can be treated as a generalised set of subsums for a geometric series. This object was discovered independently in various mathematical aspects. For instance, it is closely related to various…
In relation to the Erd\H os similarity problem (show that for any infinite set $A$ of real numbers there exists a set of positive Lebesgue measure which contains no affine copy of $A$) we give some new examples of infinite sets which are…
We characterize measure spaces such that the canonical map $L_\infty \to L_1^*$ is surjective. In case of $d$ dimensional Hausdorff measure of a complete separable metric space $X$ we give two equivalent conditions. One is in terms of the…
Real algebraic geometry is the study of semi-algebraic sets, subsets of $\R^k$ defined by Boolean combinations of polynomial equalities and inequalities. The focus of this thesis is to study quantitative results in real algebraic geometry,…
We show that given a real number $p<1$, a positive integer $n$ and a proper subspace $H$ of $\mathbb{R}^n$, the measure on the Euclidean sphere $\mathbb{S}^{n-1}$, which is concentrated in $H$ and whose restriction to the class of Borel…
We study the density function of measurable subsets of the Cantor space. Among other things, we identify a universal set $\mathcal{U}$ for $\Sigma^{1}_{1}$ subsets of $( 0 ; 1 )$ in terms of the density function; specifically $\mathcal{U}$…
We consider the dynamics of semi-hyperbolic semigroups generated by finitely many rational maps on the Riemann sphere. Assuming that the nice open set condition holds it is proved that there exists a geometric measure on the Julia set with…
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…
The main result of this paper is the following. Given countably many multivariate polynomials with rational coefficients and maximum degree $d$, we construct a compact set $E\subset \R^n$ of Hausdorff dimension $n/d$ which does not contain…
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…
We find necessary and sufficient conditions for a Lipschitz map $f:\mathbb{R}E\to X$, into a metric space to have the image with the $k$-dimensional Hausdorff measure equal zero, $H^k(f(E))=0$. An interesting feature of our approach is that…
We show that if $A$ is a closed subset of the Heisenberg group whose vertical projections are nowhere dense, then the complement of $A$ is quasiconvex. In particular, closed sets which are null sets for the cc-Hausdorff $3$-measure have…
We establish Euclidean-type lower bounds for the codimension-1 Hausdorff measure of sets that separate points in doubling and linearly locally contractible metric manifolds. This gives a quantitative topological isoperimetric inequality in…
In Euclidean space, the integration by parts formula for a set of finite perimeter is expressed by the integration with respect to a type of surface measure. According to geometric measure theory, this surface measure is realized by the…
This paper has been withdrawn Any real number $x$ in the unit interval can be expressed as a continued fraction $x=[n_1,...,n_{_N},...]$. Subsets of zero measure are obtained by imposing simple conditions on the $n_{_N}$. By imposing…
Consider a sequence of linear contractions $S_{j}(x)=\varrho x+d_{j}$ and probabilities $p_{j}>0$ with $\sum p_{j}=1$. We are interested in the self-similar measure $\mu =\sum p_{j}\mu \circ S_{j}^{-1}$, of finite type. In this paper we…
We show that under natural technical conditions, the sum of a $C^2$ dynamically defined Cantor set with a compact set in most cases (for almost all parameters) has positive Lebesgue measure, provided that the sum of the Hausdorff dimensions…
It is a longstanding conjecture that given a subset $E$ of a metric space, if $E$ has finite Hausdorff measure in dimension $\alpha\ge 0$ and $\mathscr{H}^\alpha\llcorner E$ has unit density almost everywhere, then $E$ is an…
We generalize a classical theorem of Besicovitch, showing that, for any positive integers $k<n$, if $E\subset \mathbb R^n$ is a Souslin set which is not $\mathcal{H}^k$-$\sigma$-finite, then $E$ contains a purely unrectifiable closed set…