Topological linear subspace of \(L_0(\Omega,\mu)\) for the infinite measure \(\mu\) (Q1685900): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Latest revision as of 05:18, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Topological linear subspace of \(L_0(\Omega,\mu)\) for the infinite measure \(\mu\) |
scientific article |
Statements
Topological linear subspace of \(L_0(\Omega,\mu)\) for the infinite measure \(\mu\) (English)
0 references
20 December 2017
0 references
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\}\).)
0 references
measurable function
0 references
\(L_0\)
0 references
convergence in measure
0 references
topological linear space
0 references
truncated \(L_{\infty}\) space
0 references