Hausdorff measures of different dimensions are not Borel isomorphic
type: Item
instance of: scholarly article
title: Hausdorff measures of different dimensions are not Borel isomorphic
zbMATH Open document ID: 1155.28003
author: András Máthé
published in: Israel Journal of Mathematics
publication date: 2008-09-03T00:00:00Z
review text: The author shows that Hausdorff measures of different dimensions are not Borel isomorphic. For every \(1 \leq n < \omega\), let \(\mathcal B _{n}\) denote the \(\sigma\)-algebra of Borel subsets of \(\mathbb R^{n}\), and for every \(0 \leq d \leq n\) let \(\mathcal H^{d}\) denote the \(d\)-dimensional Hausdorff measure on \(\mathbb R ^{n}\). The author show that for every \(1 \leq n < \omega\) and for every \(0 \leq d_{1} < d_{2} \leq n\) the measure spaces \((\mathbb R^{n}, \mathcal B _{n}, \mathcal H^{d_{1}})\) and \((\mathbb R^{n}, \mathcal B _{n}, \mathcal H^{d_{2}})\) are not Borel isomorphic; moreover, there is no Borel bijection \(f : \mathbb R^{n} \to \mathbb R^{n}\) such that for every Borel set \(B \subseteq \mathbb R^{n}\), \[ 0 < \mathcal H^{d_{1}}(B) < \infty \iff 0 < \mathcal H^{d_{2}}(f(B)) < \infty. \] This result follows from the following theorem. Below, \(\dim\) stands for the Hausdorff dimension. Theorem. Let \(1 \leq m,n < \omega\), let \(A \subseteq \mathbb R^{n}\) be a Borel set and let \(f : A \to \mathbb R^{m}\) be Borel measurable. Then for every \(0 \leq d \leq 1\) there is a Borel set \(B \subseteq A\) such that \[ \dim B = d \cdot \dim A \text{ and } \dim f(B) \leq d \cdot \dim f(A). \] The proof of this theorem is based on a random construction of perfect sets, which may be useful in other situations, as well.
reviewed by: Tamás Mátrai
Mathematics Subject Classification ID: 28A78
Mathematics Subject Classification ID: 28A05
zbMATH DE Number: 5320442
zbMATH Keywords: Hausdorff measure
zbMATH Keywords: Borel isomorphism
zbMATH Keywords: Hausdorff dimension
zbMATH Keywords: random perfect set
MaRDI profile type: Publication
full work available at URL: s11856-008-0030-5
OpenAlex ID: W2012071191
cites work: Hausdorff measures of different dimensions are isomorphic under the continuum hypothesis
cites work: Q4328334
DOI: 10.1007/S11856-008-0030-5
Recommended article: Hausdorff measures of different dimensions are isomorphic under the continuum hypothesis
Recommended article: Borel Measures and Hausdorff Distance
Recommended article: Q3686945
Recommended article: Borel measures in nonseparable metric spaces
Recommended article: The Hausdorff dimension and measure of some Cantor sets
Recommended article: Q3341075
Recommended article: On comparable and non-comparable Hausdorff measures
Recommended article: Baire isomorphisms and dimensionality
Recommended article: Hausdorff dimension of sets of non-differentiability points of Cantor functions
Recommended article: Q4863569
description: scientific article; zbMATH DE number 5320442