A Generalization of m-topology and U-topology on rings of measurable functions
For a measurable space (X,A), let M(X,A) be the corresponding ring of all real valued measurable functions and let μ be a measure on (X,A). In this paper, we generalize the so-called mμ and Uμ topologies on M(X,A) via an ideal I in the ring M(X,A). The generalized versions will be referred to as the mμI and UμI topology, respectively, throughout the paper. LI∞(μ) stands for the subring of M(X,A) consisting of all functions that are essentially I-bounded (over the measure space (X,A,μ)). Also let Iμ(X,A)={f∈M(X,A):for everyg∈M(X,A),fgis essentiallyI-bounded}. Then Iμ(X,A) is an ideal in M(X,A) containing I and contained in LI∞(μ). It is also shown that Iμ(X,A) and LI∞(μ) are the components of 0 in the spaces mμI and UμI, respectively. Additionally, we obtain a chain of necessary and sufficient conditions as to when these two topologies coincide.