TOPICS
Search

Nowhere Dense


A set X is said to be nowhere dense if the interior of the set closure of X is the empty set. For example, the Cantor set is nowhere dense.

There exist nowhere dense sets of positive measure. For example, enumerating the rationals in [0,1] as {q_n} and choosing an open interval I_n of length 1/3^n containing q_n for each n, then the union of these intervals has measure at most 1/2. Hence, the set of points in [0,1] but not in any of {I_n} has measure at least 1/2, despite being nowhere dense.


See also

Baire Category Theorem, Dense, Measure Zero, Positive Measure

Portions of this entry contributed by Dave Milovich

Explore with Wolfram|Alpha

References

Ferreirós, J. "Lipschitz and Hankel on Nowhere Dense Sets and Integration." §5.2 in Labyrinth of Thought: A History of Set Theory and Its Role in Modern Mathematics. Basel, Switzerland: Birkhäuser, pp. 154-156, 1999.Rudin, W. Functional Analysis, 2nd ed. New York: McGraw-Hill, p. 42, 1991.

Referenced on Wolfram|Alpha

Nowhere Dense

Cite this as:

Milovich, Dave and Weisstein, Eric W. "Nowhere Dense." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/NowhereDense.html

Subject classifications