21
$\begingroup$

Here, "measure" always means Lebesgue measure on $\mathbb{R}$. This question is partly motivated by my answer https://math.stackexchange.com/questions/1444498/is-there-a-categorizaiton-system-for-null-quantities/1444524#1444524.

Some measure zero sets are more measure zero than others:

  • A set $X\subseteq\mathbb{R}$ is strong measure zero if for any sequence $(\epsilon_i)_{i\in\mathbb{N}}$ of positive reals, there is a cover $\{I_n: n\in\mathbb{N}\}$ of $X$ by intervals with $\mu(I_n)<\epsilon_n$.

  • A set $X\subseteq\mathbb{R}$ is microscopic if for any sequence $(\epsilon_i)_{i\in\mathbb{N}}$ of positive reals where for some positive real $\delta$ we have $\epsilon_i=\delta^{i+1}$, there is a cover $\{I_n: n\in\mathbb{N}\}$ of $X$ by intervals with $\mu(I_n)<\epsilon_n$.

  • Etc. (See e.g. http://www.sav.sk/journals/uploads/0721132912Horbac.pdf.)

More generally, if $F$ is a family of functions from $\mathbb{N}$ to $\mathbb{R}_{>0}$, say $X\subseteq\mathbb{R}$ is $F$-microscopic if for every $f\in F$, there is a cover $\{I_n: n\in\mathbb{N}\}$ of $X$ by open intervals such that $\mu(I_n)<f(n)$. To measure how null a given null set is, we can look at its scope (I'm not sure what this is actually called, I couldn't find a reference to it): $scope(X)=\{f: \mathbb{N}\rightarrow\mathbb{R}_{>0}: X\text{ is $\{f\}$-microscopic}\}.$ This leads to a natural preorder on the set of null subsets of $\mathbb{R}$: $$X\le_{null}Y\iff scope(X)\subseteq scope(Y).$$

My question is:

What does the resulting degree structure $\mathfrak{N}=(Null/\equiv_{null}, \le_{null})$ look like?

I'm particularly interested in the extent to which set-theoretic hypotheses such as large cardinals or forcing axioms are relevant; based on the fact that even when just studying strong measure zero sets, set-theoretic hypotheses become important, I suspect there is in fact some relevance.


Comment 1: Arguably my definition of "scope" is wrong, and we should instead look at something slightly more well-behaved, like $\{f: X\text{ is $\{\alpha f: \alpha\in\mathbb{R}_{>0}\}$-microscopic}\}$ or similarly. If tweaking the definition of scope would lead to a better result, feel free to do so.

Comment 2: Of course we can work in much more generality than $\mathbb{R}$ with Lebesgue measure, but already this case seems really interesting.


EDIT: It seems like a good first step would be to try to understand forcings which add sets of a prescribed scope. Ideally, this could be used to prove e.g. that it's consistent that there are null sets with incomparable scopes.

The following forcing notion might be a good first try. For $F$ a set of functions from $\mathbb{N}$ to $\mathbb{R}_{>0}$, let $\mathbb{P}_F$ be the set of ordered pairs $(D, C)$ where

  • $D$ is a countable set of reals, and

  • $C$ is a finite set of infinite families of intervals $\mathcal{C}_{f_0}, . . . ,\mathcal{C}_{f_n}$ where $f_i\in F$ and each $\mathcal{C}_{f_i}=\{I_n^{f_i}: n\in\mathbb{N}\}$ satisfies $\mu(I_n^{f_i})<f_i(n)$, such that

  • $D\subseteq \bigcap_{\mathcal{C}_{f_i}\in C} (\bigcup_{n\in\mathbb{N}} I_n^{f_i})$, and

  • the set $\bigcap_{\mathcal{C}_{f_i}\in C} (\bigcup_{n\in\mathbb{N}} I_n^{f_i})$ has positive measure (to prevent the forcing from being trivial).

ordered by $(D, C)\le (D', C')$ if $D\supseteq D'$ and $C\supseteq C'$. Forcing with $\mathbb{P}_F$ yields a set of reals which is uncountable, and is $F$-microscopic. It also, unfortunately, does a fair bit of damage to the ground reals. A countably closed forcing would be nicer, but it's not clear to me how to make that work without accidentally building a set of strong measure zero.

$\endgroup$
  • 3
    $\begingroup$ You might want to look at Borel's "rarefaction" classification of measure zero sets. See Winfried Just and Claude Laflamme's 1990 Trans. AMS paper Classifying sets of measure zero with respect to their open covers. Laflamme wrote at least two more papers related to this, and you can find earlier work by Frechet, Zenon Moszner, Léonard Urbanek, Claude Tricot, Frédéric Roger, and some others. (I have a bibliography on this topic if you're interested.) $\endgroup$ – Dave L Renfro Sep 21 '15 at 21:59
  • $\begingroup$ @DaveLRenfro I'd be very interested! Can you email me that bibliography? My email address is in my profile. $\endgroup$ – Noah Schweber Sep 22 '15 at 3:22
  • $\begingroup$ The bibliography would also be a great answer! $\endgroup$ – François G. Dorais Sep 24 '15 at 22:22
  • 2
    $\begingroup$ Looking through the bibliography, I'm not sure it actually answers the question - the poset given by rarefaction (ams.org/journals/tran/1990-321-02/S0002-9947-1990-0967315-8/…) seems different than what I'm describing. But it is very close, and extremely interesting! $\endgroup$ – Noah Schweber Sep 24 '15 at 22:49

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.