HEREDITARY SOBRIETY AND THE CARDINALITY OF T 1 TOPOLOGIES ON COUNTABLE SETS

Abstract

A T 0 space is called sober provided the only irreducibly closed sets are the closures of singletons; a closed set is irreducibly closed if it cannot be written as a union of two of its proper closed subsets. The relationship between hereditarily sober spaces and the lower separation axioms is examined; e.g., every hereditarily sober space satisfies axiom T D (the derived set of every set is closed). For T 1 spaces, hereditary sobriety is much weaker than Hausdorff, however an hereditarily sober T 1 topology on a countably infinite set has cardinality of the continumn.