Cocountable topology

From Citizendium
Revision as of 17:24, 28 December 2008 by imported>Richard Pinch (New entry, just a stub)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

In mathematics, the cocountable topology is the topology on a set in which the open sets are those which have countable complement, together with the empty set. Equivalently, the closed sets are the countable sets, together with the whole space.

Properties

If X is countable, then the cocountable topology on X is the discrete topology, in which every set is open. We therefore assume that X is an uncountable set with the cocountable topology; it is:

References