6

On p11, Durrett:

Example 1.2.4 Uniform distribution on the Cantor set. The Cantor set $C$ is defined by removing $(1/3, 2/3)$ from $[0,1]$ and then removing the middle third of each interval that remains. We define an associated distribution function by setting $F(x) = 0$ for $x\leq 0$, $F(x) = 1$ for $x\geq 1$, $F(x) = 1/2$ for $x\in[1/3, 2/3]$, $F(x) = 1/4$ for $x\in[1/9, 2/9]$, $F(x) = 3/4$ for $x\in[7/9,8/9]$, ... There is no $f$ for which $(1.2.1)$ holds because such an $f$ would be equal to $0$ on a set of measure $1$. From the definition, it is immediate that the corresponding measure has $\mu(C^c) = 0$.

enter image description here

I just don't understand why the author called it a uniform distribution. In what sense? Clearly the PDF doesn't exist so the "uniformity" isn't to be interpreted in the PDF sense. So why is such a distribution called uniform?

Em.
  • 15,981
Vim
  • 13,640

2 Answers2

4

The very short answer, which doesn't really help you at your level, is that the Cantor distribution is the normalized Hausdorff measure inherited by the Cantor set from the Lebesgue measure, and the normalized Lebesgue measure on an interval is the uniform distribution on that interval.

A longer answer is to consider putting the uniform distribution on each of the closed sets $C_n$ which approximate the Cantor set. These are unions of intervals, so they have a uniform distribution in the familiar sense of the phrase. (For example, the uniform distribution on $C_1$ has pdf $3/2$ on $[0,1/3]$, $3/2$ on $[2/3,1]$ and zero elsewhere.) When you send $n \to \infty$ in the sense of convergence in distribution, you get the Cantor distribution. Note that this is only meaningful as a limit of the CDFs; the PDFs go to zero off the Cantor set and blow up on the Cantor set.

Ian
  • 101,645
  • Thanks for your answer. About the Hausdorff measure: I have read somewhere in Stein's Real Analysis that any increasing and right-continuous function (maybe left? I'm not very positive since I currently don't have that book at hand) induces a normalised Hausdorff measure on $\Bbb R$. If the function is not right-continuous then one has to normalise it by making it so. But is it even possible to normalise the Cantor distribution (devil's stair)? – Vim Nov 13 '16 at 06:07
  • @Vim That's not what I meant by normalize. (I'd prefer to call what you just said "regularize".) I meant multiplying the measure by a constant so that the measure of the whole space is $1$. – Ian Nov 13 '16 at 13:05
3

This is an example of a probability measure that is singular with respect to Lebesgue measure. Singular measures have the odd property that their "mass" is concentrated on a set of measure zero, but the measure of every individual point is still zero. This is in contrast to point measures which concentrate their probability on single points.

So, the interpretation of "uniform measure" in this case is tricky - you have to think about it in terms of limits (as suggested by Ian).

icurays1
  • 17,161