A Generalization of $ m $-topology and $ U $-topology on rings of measurable functions
For a measurable space ($X,\mathcal{A}$), let $\mathcal{M}(X,\mathcal{A})$ be the corresponding ring of all real valued measurable functions and let $μ$ be a measure on ($X,\mathcal{A}$). In this paper, we generalize the so-called $m_μ$ and $U_μ$ topologies on $\mathcal{M}(X,\mathcal{A})$ via an ideal $I$ in the ring $\mathcal{M}(X,\mathcal{A})$. The generalized versions will be referred to as the $m_{μ_{I}}$ and $U_{μ_{I}}$ topology, respectively, throughout the paper. $L_{I}^{\infty} \left(μ\right)$ stands for the subring of $\mathcal{M}(X,\mathcal{A})$ consisting of all functions that are essentially $I$-bounded (over the measure space ($X,\mathcal{A}, μ$)). Also let $I_μ (X,\mathcal{A}) = \big \{ f \in \mathcal{M}(X,\mathcal{A}) : \, \text{for every} \, g \in \mathcal{M}(X,\mathcal{A}), fg \, \, \text{is essentially} \, I$-$\text{bounded} \big \}$. Then $I_μ (X,\mathcal{A})$ is an ideal in $\mathcal{M}(X,\mathcal{A})$ containing $I$ and contained in $L_{I}^{\infty} \left(μ\right)$. It is also shown that $I_μ (X,\mathcal{A})$ and $L_{I}^{\infty} \left(μ\right)$ 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.