Hausdorff Measure Formulation of Goldstern's Principle

• The paper demonstrates that unlike the Lebesgue case, the Hausdorff measure version fails in L for sets with dimension less than 1 even with countable vertical sections.
• It defines the Hausdorff measure using gauge functions and explains σ-ideals formed by null sets within metric spaces.
• Using a co-analytic scale and Martin-Löf randomness, the construction yields a union with full Hausdorff dimension, challenging traditional null-additivity.

The Hausdorff measure version of Goldstern’s principle characterizes the interplay between descriptive set theory, measure theory, and the structure of σ-ideals defined by Hausdorff measures, especially in relation to co-analytic (Π^1_1) monotone families. Central to this study is the discovery that, contrary to the Lebesgue measure case, the Hausdorff measure analogue fails in the constructible universe $L$ for sets of dimension less than 1, even when all monotone vertical sections are countable. This distinction has foundational implications for the understanding of small sets, dimension theory, and regularity properties of definable sets in the context of higher pointclasses.

1. Classical Goldstern’s Principle and Lebesgue Measure

Goldstern’s principle (GP) for Lebesgue measure asserts that for a boldface pointclass $\Gamma$, whenever a set $A \subseteq \omega^\omega \times 2^\omega$ is monotone in $x$ and each vertical section $A_x$ is $\mu$-null, the union $\bigcup_{x \in \omega^\omega} A_x$ must also be $\mu$-null. Formally,

GP($\Gamma$): If $A \subseteq \omega^\omega \times 2^\omega$ is in $\Gamma$0, monotone in $\Gamma$1, and each $\Gamma$2 has Lebesgue measure zero, then $\Gamma$3.

Goldstern [Goldstern ’93] established that GP($\Gamma$4) holds for Lebesgue measure, employing measure-theoretic forcing and absoluteness arguments to guarantee that no co-analytic monotone family of null sets can cover a non-null set (Goto, 28 Dec 2025).

2. Hausdorff Measure: Definitions and Formulation

For metric spaces $\Gamma$5, a gauge function $\Gamma$6 is a nondecreasing, right-continuous function with $\Gamma$7. For $\Gamma$8 and $\Gamma$9:

$A \subseteq \omega^\omega \times 2^\omega$0

and the $A \subseteq \omega^\omega \times 2^\omega$1-Hausdorff measure is $A \subseteq \omega^\omega \times 2^\omega$2. Specializing to $A \subseteq \omega^\omega \times 2^\omega$3 yields the $A \subseteq \omega^\omega \times 2^\omega$4-dimensional Hausdorff measure $A \subseteq \omega^\omega \times 2^\omega$5. The σ-ideal $A \subseteq \omega^\omega \times 2^\omega$6 consists of sets with σ-finite $A \subseteq \omega^\omega \times 2^\omega$7-Hausdorff measure; alternatively, “null” is defined as $A \subseteq \omega^\omega \times 2^\omega$8.

The Hausdorff-analogue Goldstern’s principle is:

GP($A \subseteq \omega^\omega \times 2^\omega$9, $x$0): If $x$1 is in $x$2, monotone in $x$3, and each $x$4, then $x$5.

The central question is whether GP($x$6, $x$7) holds—i.e., does every monotone co-analytic family of $x$8-Hausdorff null subsets yield a null union for the standard Cantor space $x$9?

3. Failure of Hausdorff Measure GP($A_x$0) in $A_x$1

Section 3.2 of Goto (Goto, 28 Dec 2025) demonstrates:

Theorem 3.6: In $A_x$2, there exists a monotone $A_x$3 set $A_x$4 with countable vertical sections $A_x$5, yet the union $A_x$6 achieves Hausdorff dimension 1. For all power-gauges $A_x$7 with $A_x$8,

$A_x$9

This result crucially relies on the construction of a $\mu$0 scale and coding reals of full effective dimension, thereby circumventing the nullity of vertical sections through diagonalization and randomness, leading to a non-null union under Hausdorff measure.

4. Construction and Proof Techniques

The proof builds on several key elements:

• Slaman’s Dimension Lemma: There exists an infinite co-infinite recursive set $\mu$1 such that for every Martin-Löf random $\mu$2 over oracle $\mu$3, any $\mu$4 agreeing with $\mu$5 outside $\mu$6 preserves effective Hausdorff dimension 1 relative to $\mu$7.
• $\mu$8-Scale and Randomness: A $\mu$9 scale $\bigcup_{x \in \omega^\omega} A_x$0 in $\bigcup_{x \in \omega^\omega} A_x$1 is constructed, and for each $\bigcup_{x \in \omega^\omega} A_x$2, a real $\bigcup_{x \in \omega^\omega} A_x$3 codes the $\bigcup_{x \in \omega^\omega} A_x$4-least Martin-Löf random real $\bigcup_{x \in \omega^\omega} A_x$5 over $\bigcup_{x \in \omega^\omega} A_x$6. The real $\bigcup_{x \in \omega^\omega} A_x$7 is crafted so that $\bigcup_{x \in \omega^\omega} A_x$8 agrees with $\bigcup_{x \in \omega^\omega} A_x$9 outside $\mu$0 but “decodes” $\mu$1 on $\mu$2.
• Dimension Argument: By Slaman’s lemma, each $\mu$3 is of effective dimension 1, hence $\mu$4 has classical Hausdorff dimension 1 by the Lutz–Lutz theorem.
• Set Definition: $\mu$5 yields countable vertical sections and co-analytic monotonicity, yet the union $\mu$6 is large in Hausdorff dimension.

This construction exploits the combinatorial and definability properties available in $\mu$7 to defeat the Hausdorff analogue of GP.

5. Dichotomy Between Lebesgue and Hausdorff Measure Cases

The success of GP($\mu$8) under Lebesgue measure is attributed to the power of measure-theoretic forcing: positive measure unions admit Borel witnesses and are subject to random real forcing, which, combined with monotonicity and $\mu$9-bounding, precludes non-null unions. In the σ-finite setting, decomposition and measure-isomorphism reduce the problem to the core Lebesgue case.

The failure for fixed $\Gamma$0 dimensional Hausdorff measures stems from the ability to diagonalize across all $\Gamma$1 while constructing a union of full dimension. The existence of co-analytic scales of length $\Gamma$2 in $\Gamma$3 and the padding of elements via Martin-Löf randomness ensure the effective dimension remains maximal in the union, subverting the null-additivity required by GP.

6. Corollaries, Extensions, and Open Problems

Several corollaries and further results emerge:

• For any continuous doubling gauge $\Gamma$4 on a compact metric $\Gamma$5,

$\Gamma$6

relying on similar forcing and bounding arguments as in the Lebesgue case, with decomposition into non–σ-finite and σ-finite components, and the Sion–Sjerve theorem for Borel submeasures.

• An open question (Problem 5.1) asks whether some forcing extension may realize

$\Gamma$7

that is, for all definable sets and all Hausdorff measures simultaneously.

• Additional results address variants of GP($\Gamma$8) for larger pointclasses, interval-partition ideals, and ramifications for small-set ideals (strong measure zero, null-additive). Notably:
  • Solovay’s measure-uniformization principle implies GP(all).
  • GP(all) yields $\Gamma$9, introducing new cardinal characteristics.
  • GP(all) equates the strong-measure-zero ideal to the null-additive ideal.
  • $A \subseteq \omega^\omega \times 2^\omega$0-Lebesgue measurability entails GP($A \subseteq \omega^\omega \times 2^\omega$1).

Collectively, these findings from Goto (Goto, 28 Dec 2025) underscore a pronounced divergence between Lebesgue and Hausdorff measures in the field of co-analytic sets, instigating several open avenues for GP($A \subseteq \omega^\omega \times 2^\omega$2) concerning alternative ideals.