In mathematics, a nowhere dense set in a topological space is a set whose closure has empty interior. The order of operations is important. For example, the set of rational numbers, as a subset of R has the property that the interior has an empty closure, but it is not nowhere dense; in fact it is dense in R.
The surrounding space matters: a set A may be nowhere dense when considered as a subspace of a topological space X but not when considered as a subspace of another topological space Y. A nowhere dense set is always dense in itself.
Every subset of a nowhere dense set is nowhere dense, and the union of finitely many nowhere dense sets is nowhere dense. That is, the nowhere dense sets form an ideal of sets, a suitable notion of negligible set. The union of countably many nowhere dense sets, however, need not be nowhere dense. (Thus, the nowhere dense sets need not form a sigma-ideal.) Instead, such a union is called a meagre set or a set of first category. The concept is important to formulate the Baire category theorem.
Read more about Nowhere Dense Set: Open and Closed, Nowhere Dense Sets With Positive Measure
Famous quotes containing the words dense and/or set:
“In some of those dense fir and spruce woods there is hardly room for the smoke to go up. The trees are a standing night, and every fir and spruce which you fell is a plume plucked from night’s raven wing.”
—Henry David Thoreau (1817–1862)
“I consider it equal injustice to set our heart against natural pleasures and to set our heart too much on them. We should neither pursue them, nor flee them; we should accept them.”
—Michel de Montaigne (1533–1592)