Nowhere dense set: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Richard Pinch
(finite union)
imported>Richard Pinch
(refine reference)
Line 8: Line 8:


==References==
==References==
* {{cite book | author=J.L. Kelley | authorlink=John L. Kelley | title=General topology | publisher=van Nostrand | year= 1955 | pages=145 }}
* {{cite book | author=J.L. Kelley | authorlink=John L. Kelley | title=General topology | publisher=van Nostrand | year= 1955 | pages=145,201 }}

Revision as of 16:17, 3 January 2009

In general topology, a nowhere dense set in a topological space is a set whose closure has empty interior.

An infinite Cartesian product of non-empty non-compact spaces has the property that every compact subset is nowhere dense.

A finite union of nowhere dense sets is again nowhere dense.

A first category space or meagre space is a countable union of nowhere dense sets: any other topological space is of second category. The Baire category theorem states that a non-empty complete metric space is of second category.

References

  • J.L. Kelley (1955). General topology. van Nostrand, 145,201.