On topological sigma-ideals

Abstract

The concept of $\mathcal S$-topological $\sigma$-ideal in measurable space $(X, \mathcal S)$ was introduced by Hejduk and using a theorem of Wagner on convergence of measurable functions characterized $\mathcal S$-topological $\sigma$-ideals. In this paper, we give a general construction of $\mathcal S$-topological $\sigma$-ideals from structures induced by $\sigma$-algebras and weakly upper semicontinuous $\omega$-small systems. We also show that instead of weak upper semicontinuity, if we use upper semicontinuity, we get $\mathcal S$-uniformizable $\sigma$-ideals. This generalizes the approach of Wagner and Wilczynski metrizing Boolean Lattice of measurable functions