Dense-in-itself

In general topology, a subset of a topological space is said to be dense-in-itself[1][2] or crowded[3][4] if has no isolated point. Equivalently, is dense-in-itself if every point of is a limit point of . Thus is dense-in-itself if and only if , where is the derived set of .

A dense-in-itself closed set is called a perfect set. (In other words, a perfect set is a closed set without isolated point.)

The notion of dense set is distinct from dense-in-itself. This can sometimes be confusing, as "X is dense in X" (always true) is not the same as "X is dense-in-itself" (no isolated point).

  1. ^ Steen & Seebach, p. 6
  2. ^ Engelking, p. 25
  3. ^ Levy, Ronnie; Porter, Jack (1996). "On Two questions of Arhangel'skii and Collins regarding submaximal spaces" (PDF). Topology Proceedings. 21: 143–154.
  4. ^ Dontchev, Julian; Ganster, Maximilian; Rose, David (1977). "α-Scattered spaces II".