Topologies Determined by -Ideals on ω1

Abstract

σ-ideals (collections of sets which are closed under subset and countable union) are certainly important mathematically—consider first category sets, sets of measure zero, nonstationary sets, etc.—but aside from the observation that in certain spaces the first category σ-ideal is proper, cr-ideals have not been extensively studied by topologists. In this note we study a natural topology determined by a d-ideal, exploiting the interplay between the set-theoretic properties of the σ-ideal and the topological properties of the associated space.