In mathematics, a subset of a topological space is called nowhere dense or rare if its closure has empty interior. In a very loose sense, it is a set whose elements are not tightly clustered (as defined by the topology on the space) anywhere. For example, the integers are nowhere dense among the reals, whereas the interval (0, 1) is not nowhere dense. A countable union of nowhere dense sets is called a meagre set. Meagre sets play an important role in the formulation of the Baire category theorem, which is used in the proof of several fundamental results of functional analysis.
Definition Density nowhere can be characterized in different (but equivalent) ways. The simplest definition is the one from density:
A subset S {\displaystyle S} of a topological space X {\displaystyle X} is said to be dense in another set U {\displaystyle U} if the intersection S ∩ U {\displaystyle S\cap U} is a dense subset of U . {\displaystyle U.} The set S {\displaystyle S} is nowhere dense or rare in X {\displaystyle X} if S {\displaystyle S} is not dense in any nonempty open subset U {\displaystyle U} of X . {\displaystyle X.} Expanding out the negation of density, it is equivalent that each nonempty open set U {\displaystyle U} contains a nonempty open subset disjoint from S . {\displaystyle S.} It suffices to check either condition on a base for the topology on X . {\displaystyle X.} In particular, density nowhere in R {\displaystyle \mathbb {R} } is often described as being dense in no open interval.
Definition by closure The second definition above is equivalent to requiring that the closure, cl X S , {\displaystyle \operatorname {cl} _{X}S,} cannot contain any nonempty open set. This is the same as saying that the interior of the closure of S {\displaystyle S} is empty; that is, int X ( cl X S ) = ∅ . {\displaystyle \operatorname {int} _{X}\left(\operatorname {cl} _{X}S\right)=\varnothing .} Alternatively, the complement of the closure X ∖ ( cl X S ) {\displaystyle X\setminus \left(\operatorname {cl} _{X}S\right)} must be a dense subset of X ; {\displaystyle X;} in other words, the exterior of S {\displaystyle S} is dense in X . {\displaystyle X.}
Properties The notion of nowhere dense set is always relative to a given surrounding space. Suppose A ⊆ Y ⊆ X , {\displaystyle A\subseteq Y\subseteq X,} where Y {\displaystyle Y} has the subspace topology induced from X . {\displaystyle X.} The set A {\displaystyle A} may be nowhere dense in X , {\displaystyle X,} but not nowhere dense in Y . {\displaystyle Y.} Notably, a set is always dense in its own subspace topology. So if A {\displaystyle A} is nonempty, it will not be nowhere dense as a subset of itself. However the following results hold:
If A {\displaystyle A} is nowhere dense in Y , {\displaystyle Y,} then A {\displaystyle A} is nowhere dense in X . {\displaystyle X.}
If Y {\displaystyle Y} is open in X {\displaystyle X} , then A {\displaystyle A} is nowhere dense in Y {\displaystyle Y} if and only if A {\displaystyle A} is nowhere dense in X . {\displaystyle X.}
If Y {\displaystyle Y} is dense in X {\displaystyle X} , then A {\displaystyle A} is nowhere dense in Y {\displaystyle Y} if and only if A {\displaystyle A} is nowhere dense in X . {\displaystyle X.}
… excerpt ends here. Continue reading the full article.
