Measure preserving continuous straightenings of fractional-dimensional sets (Q1374556)

For \(E\subset \mathbb R^n\) denote by \(s\)-\(m^*(E)\) the outer \(s\)-dimensional Hausdorff measure and put \[ s\text{-}m^*_I(E)=\inf \big \{(\operatorname {diam}E_j)^s;E\subset \bigcup E_j,E_j\subset \mathbb R^n\big \} \] (no restriction on diameters of \(E_j\)). A set \(E\subset \mathbb R^n\) is said to be an \(s\)-set, if it is \(s\)-\(m^*\)-measurable with finite non-zero measure. A set \(E\subset \mathbb R^n\) is said to be straight if \(s\)-\(m^*\) and \(s\)-\(m^*_I\) coincide on \(E\). Theorem. \(E\) is straight if and only if \[ s\text{-}m^*(E\cap A)\leq \big (\operatorname {diam}(E\cap A)\big)^s \] whenever \(A\subset \mathbb R^n\). The general problem considered is whether every \(s\)-set can be expressed as a countable union of straight sets. (The author's conjecture: yes.) The sketch of the proof of the special case (\(n=2\), \(E\) compact) of the following theorem is given: Theorem. Let \(E\subset \mathbb R^n\) be a measurable set of \(\sigma\)-finite \(s\)-measure. Then there are an \(s\)-measure zero set \(Z\), sets \(E_j(j\in \mathbb N)\) and one-to-one continuous mappings \(f_j\) of \(\mathbb R^n\) onto \(\mathbb R^n\) measure preserving on \(E_j\) such that \(f_j(E_j)\) is straight and \(E=\bigcup E_j \cup Z\).