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:        

 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

One Unspoken Rule of Measure Theory

The Back Pocket

Motivation for the Tensor Product

The Back Pocket

Why are Noetherian Rings Special?

The Back Pocket
Leave a comment!