Related papers: Finding subsets of positive measure
We prove that a compact metric space (or more generally an analytic subset of a complete separable metric space) of Hausdorff dimension bigger than $k$ can be always mapped onto a $k$-dimensional cube by a Lipschitz map. We also show that…
We endow the set of all invariant measures of a topological dynamical system with a metric $\bar{\rho}$, which induces a topology stronger than the the weak$^*$-topology. Then, we study the closedness of ergodic measures within a…
This document offers a concise introduction to the mathematical theory and practical application of the Hausdorff Measure and Dimension. The primary objective is to clarify and rigorously detail the two most common methods used for…
Recently many papers on cone metric spaces have been appeared, and main topological properties of such spaces have been obtained. A cone metric space is Hausdorff, and first countable, so the topology of it coincides with a topology induced…
We consider (not self-similar) Cantor sets defined by a sequence of piecewise linear functions. We prove that the dimension of the harmonic measure on such a set is strictly smaller than its Hausdorff dimension. Some Hausdorff measure…
A well-known class of questions asks the following: If $X$ and $Y$ are metric measure spaces and $f:X\rightarrow Y$ is a Lipschitz mapping whose image has positive measure, then must $f$ have large pieces on which it is bi-Lipschitz?…
We establish a formula yielding the Hausdorff measure for a class of non-self-similar Cantor sets in terms of the canonical covers of the Cantor set.
In this paper we introduce and study so-called $k^*$-metrizable spaces forming a new class of generalized metric spaces, and display various applications of such spaces in topological algebra, functional analysis, and measure theory. By…
Let $K\subset\mathbb R^d$ be a compact subset equipped with a $\delta$-Ahlfors regular measure $\mu$. For any $\tau>1/d$ and any ``inhomogeneous'' vector $\boldsymbol{\theta}\in\mathbb R^d$, let $W_d(\psi_\tau,\boldsymbol{\theta})$ denote…
For a Banach space $X$ by $Conv_H(X)$ we denote the space of non-empty closed convex subsets of $X$, endowed with the Hausdorff metric. We prove that for any closed convex set $C\subset X$ and its metric component $H_C=\{A\in…
Let $M$ be a compact $d$-dimensional Riemannian manifold without a boundary. Given $E \subset M$, let $\Delta_{\rho}(E)=\{\rho(x,y): x,y \in E \}$, where $\rho$ is the Riemannian metric on $M$. Let $\Delta_{\rho}^x$ denote the pinned…
In Euclidean space, it is well known that any integration by parts formula for a set of finite perimeter $\Omega$ is expressed by the integration with respect to a measure $P(\Omega,\cdot)$ which is equivalent to the one-codimensional…
Given a non-archimedean real closed field with archimedean value group which contains the reals, we establish for the category of semialgebraic sets and functions a full Lebesgue measure and integration theory such that the main results…
We show that the existence of measurable envelopes of all subsets of $\RR^n$ with respect to the $d$-dimensional Hausdorff measure $(0<d<n)$ is independent of $ZFC$. We also investigate the consistency of the existence of Sierpi\'nski sets…
Let $X$ be a Polish space. We prove that the generic compact set $K\subseteq X$ (in the sense of Baire category) is either finite or there is a continuous gauge function $h$ such that $0<\mathcal{H}^{h}(K)<\infty$, where $\mathcal{H}^h$…
We prove that there exists uncountably many pairwise disjoint open subsets of the Gelfand space of the measure algebra on any locally compact non-discrete abelian group which shows that this space is not separable (in fact, we prove this…
The $H$-space, denoted as $(\mathbb{R}, \tau_{A})$, has $\mathbb{R}$ as its point set and a basis consisting of usual open interval neighborhood at points of $A$ while taking Sorgenfrey neighborhoods at points of $\mathbb{R}$-$A$. In this…
In this paper we prove that, given s> 0, if E is a subset of R^m with positive and bounded s-dimensional Hausdorff measure H^s and the principal values of the s-dimensional signed Riesz transform of H^s|E exist H^s-almost everywhere in E,…
We prove that most one-dimensional projections of a discrete subset of a plane are either dense in R (the real line), or form a discrete subset of R. More precisely, the set E of exceptional directions (for which the indicated dichotomy…
The classical Painlev\'e theorem tells that sets of zero length are removable for bounded analytic functions, while (some) sets of positive length are not. For general $K$-quasiregular mappings in planar domains the corresponding critical…