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 $\mu:\mathcal{A}\to[0,\infty]$, we introduce the $U_\mu^I$-topology and the $m_\mu^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_\mu$-topology and the $m_\mu$-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_\mu^I$-topology and the $m_\mu^I$-topology coincide if and only if $X\setminus \bigcap Z[I]$ is a $\mu$-bounded subset of $X$. The components of $0$ in $\mathcal{M}(X,\mathcal{A})$ in the $U_\mu^I$-topology and the $m_\mu^I$-topology are realized as $I\cap L^\infty(X,\mathcal{A},\mu)$ and $I\cap L_\psi(X,\mathcal{A},\mu)$ respectively. Here $L^\infty(X,\mathcal{A},\mu)$ is the set of all functions in $\mathcal{M}(X,\mathcal{A})$ which are essentially $\mu$-bounded over $X$ and $L_\psi(X,\mathcal{A},\mu)=\{f\in \mathcal{M}(X,\mathcal{A}): ~\forall g\in\mathcal{M}(X,\mathcal{A}), f.g\in L^\infty(X,\mathcal{A},\mu)\}$. It is established that an ideal $I$ in $\mathcal{M}(X,\mathcal{A})$ is dense in the $U_\mu$-topology if and only if it is dense in the $m_\mu$-topology and this happens when and only when there exists $Z\in Z[I]$ such that $\mu(Z)=0$. Furthermore, it is proved that $I$ is closed in $\mathcal{M}(X,\mathcal{A})$ in the $m_\mu$-topology if and only if it is a $Z_\mu$-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$.

More on the rings $B_1(X)$ and $B_1^*(X)$

More on generalizations of topology of uniform convergence and $m$-topology on $C(X)$

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

Baire 1 Functions and the Topology of Uniform Convergence on Compacta

Rings of functions which are discontinuous on a finite set with countable range

On Baire property of spaces of compact-valued measurable functions

Baire property of space of Baire-one functions

Rings of functions whose closure of discontinuity set is in an ideal of closed sets

Topologies related to (I)-envelopes

On $e^*$-topological Rings

Topics In Rings of Baire one functions and some function rings

$κ$-Borel sets, $κ$-Baire spaces, and filtrations between topologies

Distinguished classes of ideal spaces and their topological properties

Algebraic properties of the ring $C(X)_\mathcal{P}$

On Baire category properties of function spaces $C_k'(X,Y)$

Borel complexity of sets of ideal limit points

The Baire closure and its logic

On topology expansion using ideals

Categorically related topologies and hemimetrical analogues of the Baire and Kenderov theorems

The Topological Cartier--Raynaud Ring

z-congruences and topologies on