Let (X,) be a topological space, with an ideal of subsets of X. Then ( is a basis of open sets for a finer topology ( on X. The authors explore this time-honored method of refining topologies, surveying past results, proving some new results, and improving on old ones. The treatment is tutorial in nature, and includes many examples. As the authors suggest, the paper is suitable for use as a supplement to a general topology course.
The first three sections of the paper deal with the closure and derived set operators for (. (Actually this topology is introduced using a closure operator.) In Section 4, O. Njåstad’s notion of “compatibility” is introduced: The topology is compatible with the ideal ( if whenever it is the case that for all , for some neighborhood U of x. The authors show that whenver is the ideal of -nowhere dense subsets of X, and recast the Banach category theorem (that any union of meager open sets is meager) as the statement that whenever is the ideal of -meager subsets of X. A nice result is that is a hereditarily Lindelöf topology iff is compatible with the ideal of countable subsets of X. Also there is Njåstad’s result that ( whenever
A highlight of Section 5 is G. Freud’s generalization of the Cantor-Bendixson theorem (that any second countable (even hereditarily Lindelöf) space is the union of a perfect subset and a countable subset), namely: If and contains the singleton subsets of X, then every (-closed subset is the union of a -perfect set and a set that is in . Also the authors prove that and contains all the singletons iff all (-scattered subsets of X are in
In Section 6 the authors consider the case when no nonempty -open set is in , and show that this condition implies that both and ( have the same semiregularization. The authors also state P. Samuels’ theorem that, under this condition, a function from X to a regular space is continuous with respect to iff that function is continuous with respect to (
Finally, in Section 7 there are some applications. One such is the ease with which “anticompact” spaces (those containing no infinite compact subsets) can be produced. For example, if is a Hausdorff topology compatible with , and if contains all the singleton subsets of X, then ( is anticompact. Other applications involving continuity and -continuity are also given.