Archives
Two Ways to be Small
In real analysis, there are two ways a measurable set $E$ can be small. Either
- the measure of $E$ is 0, OR
- $E$ is nowhere dense.
Intuitively, to say the measure of $E$ is $0$ means that the total "length" of the "stuff" in $E$ is zero (measure = a generalization of length). To say $E$ is nowhere dense means that $E$ exists, but there's not much to it. Much like a spider web, or an atom which is mostly empty space. (We've discussed nowhere density before.) So here's a question: Can a set be small in one sense but not the other? How about this:
![](http://static1.squarespace.com/static/54308edae4b02ca7f4976556/55c2a159e4b0bb1423fbf22d/55db9f8ae4b0703d4cc747bd/1440456591213//img.jpg)
Is it possible for a set to be nowhere dense and yet have POSITIVE measure?
The answer is YES! The Fat Cantor Set is a prime example. It is nowhere dense (for reasons we have mentioned before), and yet it has positive measure.
Related Posts
What's a Transitive Group Action?
The Back Pocket
Borel-Cantelli Lemma (Pictorially)
The Back Pocket
"Up to Isomorphism"?
The Back Pocket
Comparing Topologies
The Back Pocket
Leave a comment!