$U$-topology and $m$-topology on the ring of Measurable Functions, generalized and revisited

Abstract

Let $\mathcal{M}(X,\mathcal{A})$ be the ring of all real valued measurable functions defined over the measurable space $(X,\mathcal{A})$. Given an ideal $I$ in $\mathcal{M}(X,\mathcal{A})$ and a measure $μ:\mathcal{A}\to[0,\infty]$, we introduce the $U_μ^I$-topology and the $m_μ^I$-topology on $\mathcal{M}(X,\mathcal{A})$ as generalized versions of the topology of uniform convergence or the $U$-topology and the $m$-topology on $\mathcal{M}(X,\mathcal{A})$ respectively. With $I=\mathcal{M}(X,\mathcal{A})$, these two topologies reduce to the $U_μ$-topology and the $m_μ$-topology on $\mathcal{M}(X,\mathcal{A})$ respectively, already considered before. If $I$ is a countably generated ideal in $\mathcal{M}(X,\mathcal{A})$, then the $U_μ^I$-topology and the $m_μ^I$-topology coincide if and only if $X\setminus \bigcap Z[I]$ is a $μ$-bounded subset of $X$. The components of $0$ in $\mathcal{M}(X,\mathcal{A})$ in the $U_μ^I$-topology and the $m_μ^I$-topology are realized as $I\cap L^\infty(X,\mathcal{A},μ)$ and $I\cap L_ψ(X,\mathcal{A},μ)$ respectively. Here $L^\infty(X,\mathcal{A},μ)$ is the set of all functions in $\mathcal{M}(X,\mathcal{A})$ which are essentially $μ$-bounded over $X$ and $L_ψ(X,\mathcal{A},μ)=\{f\in \mathcal{M}(X,\mathcal{A}): ~\forall g\in\mathcal{M}(X,\mathcal{A}), f.g\in L^\infty(X,\mathcal{A},μ)\}$. It is established that an ideal $I$ in $\mathcal{M}(X,\mathcal{A})$ is dense in the $U_μ$-topology if and only if it is dense in the $m_μ$-topology and this happens when and only when there exists $Z\in Z[I]$ such that $μ(Z)=0$. Furthermore, it is proved that $I$ is closed in $\mathcal{M}(X,\mathcal{A})$ in the $m_μ$-topology if and only if it is a $Z_μ$-ideal in the sense that if $f\equiv g$ almost everywhere on $X$ with $f\in I$ and $g\in\mathcal{M}(X,\mathcal{A})$, then $g\in I$.