Fréchet envelopes of locally concave F-spaces (Q920343): Difference between revisions

Let (X,\(\tau\)) be an F-space (complete metrizable t.v.s.) and denote by \(\tau^ c\) the finest locally convex topology on X which is coarser than \(\tau\). The space \((X,\tau^ c)\) is semimetrizable, and if \((X,\tau^ c)\) is metrizable, its completion \(\hat X\) is called the Fréchet envelope of (X,\(\tau\)). The author considers the following three cases of measure spaces (T,\(\nu\)): (i) T \(=\) integers with mass one on every point; (ii) \(T=(0,1)\) and (iii) \(T=(0,\infty)\) both provided with the Lebesgue measure. S(T) denotes the space of all equivalence classes of measurable functions for which \(\nu (\{t\in T:\;| f(t)| \geq s\})<\infty\) for all \(s>0\), and \(S_ 0(T)\) the space of all equivalence classes of simple integrable functions. S(T) provided with the topology of the convergence in measure is an F-space. Let (X,\(\tau\)) be an F-space such that \(S_ 0(T)\subset X\subset S(T)\) (set-theoretically). If \(f\in S(T)\), its decreasing rearrangement is defined by \(f^*(t)=\inf_{\substack{{\nu (A)<t}\\{s\in T\setminus A}}}| f(s)|\) for \(t\in T\). For \(E\subset S(T)\) one defines \(E^*=\{f\in E:\) \(f=f^*\}\); E is said to be symmetric if \(f\in E\), \(g\in S(T)\) and \(g^*\leq f\) imply \(g\in E\). (X,\(\tau\)) is called a symmetric F-space if there is a base of neighbourhoods of zero consisting of symmetric sets. (X,\(\tau\)) symmetric implies that (X,\(\tau\)) is continuously embedded in S(T). Let (X,\(\tau\)) be a symmetric F-space and \(E\subset X\); then E is said to be concave in X if \(X^*\setminus E\) is convex, and (X,\(\tau\)) is defined as a locally concave space in the usual manner. The author applies these concepts to the Lorentz spaces \(L_{p,\psi}(T)\), \(0<p\leq 1\) and \(\psi\) an absolutely continuous, nondecreasing function on \([0,\infty)\) which is strictly positive on (0,\(\infty)\) and vanishing at zero. \(L_{p,\psi}(T)\) is the space of all \(f\in S(T)\) such that \(\int_{T}(2^{-n}f^*)^ p d\psi <\infty\) for every \(n\in {\mathbb{N}}\), provided with the base of neighbourhoods of zero of the form \(U_ n=\{f\in L_{p,\psi}(T):\;\int_{T}(2^{-n}f^*)^ p d\psi \leq 2^{-n}\}\).