Topological linear subspace of \(L_0(\Omega,\mu)\) for the infinite measure \(\mu\) (Q1685900)

Let \((\Omega,\mathcal{A},\mu)\) be a (\(\sigma\)-finite) measure space. The space of real-valued \(\mu\)-measurable functions on \(\Omega\) is denoted by \(L_0= L_0(\Omega)\), the space of essentially bounded functions, \(L^\infty= L^\infty(\Omega)\), is defined by \(\{f\in\mathcal{A}:\| f\|_\infty< \infty\}\), where \(\| f\|_\infty=\text{inf}\{a\geq 0:\mu(\{x\in\Omega:|f(x)|>a\})=0\}\), and \(L_0\cap L^\infty\) is denoted by \(M_\infty\). The translation invariant metric \(d_0\) on \(L_0\) is defined by \(d_0(f,g)= \inf_{\beta\geq 0}\tan^{-1}\{\beta+ \mu(\{\omega\in \Omega:|f(\omega)- g(\omega)|> \beta\})\}\), \(f,g\in L_0(\Omega)\). The main theorems of this paper include statements indicating that {\parindent=8mm \begin{itemize}\item[(i)] if \(f\not\in M_\infty\), then \(d_0\) induces a discrete topology on the one-dimensional subspace \(\{tf: t\in \mathbb{R}\}\), where \(\mathbb{R}\) is the real line; \item[(ii)] \(M_\infty\) is the maximal topological subspace of \(L_0\); \item[(iii)] \(L^\infty(\Omega)= M_\infty\) if and only if \(\inf\{\mu(A): \mu(A)> 0\}>0\); \item[(iv)] \(l^\infty\) is the maximal topological subspace of \(L_0(\{0,1,2,\dots\})\), where \(l^\infty=\{{\mathbf a}=\{a_0,a_1,a_2,\dots\}:\|{\mathbf a}\|_\infty= \sup_{j>0}|a_j|<\infty\}\). \end{itemize}} (Note: In general, it is probably significant to observe that \(L^\infty(\Omega)= \{f= f_0+if_1,\, f_0f_1\in M_\infty\}\).)