Inductive and projective limits of Banach spaces of measurable functions with order unities with respect to power parameter (Q2364409): Difference between revisions

Let \(f\in L_0(\Omega,\Sigma,\mu)\) be a real-valued, positive, measurable function. For \(g\in L_0(\Omega,\Sigma,\mu)\), the authors define \(p_f(g):=\inf\bigl\{\lambda\geqslant0:-\lambda f\leqslant g\leqslant \lambda f\bigr\},\) and consider \[ I(f):=\bigl\{g\in L_0(\Omega,\Sigma,\mu):p_f(g)<\infty\bigr\}, \] which is a Banach space with respect to the norm \(p_f(\cdot)\). After some preparations, they consider the limit of ordered vector spaces \[ I^{\infty}(f):=\bigcup\limits_{\alpha>0} \bigcap\limits_{\beta\geqslant\alpha}I(f^{\beta})=\bigcap\limits_{\alpha>0} \bigcup\limits_{\beta\geqslant\alpha}I(f^{\beta})=\bigcap\limits_{\alpha>0} I(f_0^{\alpha}) \oplus \bigcup\limits_{\alpha>0} I(f_{\infty}^{\alpha}), \] where the decomposition \(f=f_0\oplus f_\infty\) on \(\Omega=\Omega_0\oplus\Omega_{\infty}\) with \(\Omega_0=\{x\in\Omega:f(x)\leqslant1\}\) and \(\Omega_{\infty}=\{x\in\Omega:f(x)>1\}\) is used. In the above representation, the first summand carries the topology of a Fréchet space given by the seminorms \((p_{f^n})_{n\in\mathbb{N}}\) and the second summand carries the inductive limit topology of the spaces \(I(f^{n}_{\infty})\) for \(n\in\mathbb{N}\). The authors show that the latter topology is Hausdorff. It follows that the second summand is an LB-space and that the space \(I^{\infty}(f)\) considered above can be regarded in a natural way as the direct sum of a Fréchet and a DF-space.