Köthe-Bochner spaces: general properties (Q2423475)

Let \((T, \mathcal{T}, \mu)\) be a \(\sigma\)-finite measure space, \(X\) a Banach space and \(M_{X}(\mu)\) (\(M(\mu)\) if \(X=K\), the scalars), the space of all \(X\)-valued measurable functions on \(T\). A mapping \(\rho: M_{+}(\mu) \to [0, \infty] \) is called a \(\mu\)-function norm if \begin{itemize} \item[(i)] \(\rho(u)=0\) iff \(u=0 \;\mu\text{-a.e.}\), \item[(ii)] \(u \leq v \Rightarrow \rho(u) \leq \rho(v)\), \item[(iii)] \( \rho(u+v) \leq \rho(u) + \rho(v)\), \item[(iv)] \( \rho(\alpha u)= \alpha \rho(u)\). \end{itemize} \(\rho\) is said to have the \(R\)-\(F\) property if, for any sequence \(\{ u_{n} \} \subset M_{+}(\mu) \), we have \(\rho(\sum u_{n}) \leq \sum\rho(u_{n})\). From the function \(\rho\), one gets an \(R\)-\(F\) function norm \(\rho_{T}(u)= \inf\{ \sum \rho(u_{n}): u= \sum u_{n} \} \). The norm \(\rho\) is said to be of absolutely continuous type if for an \(f \in M_{+}(\mu) \text{ with } \rho(f) < \infty \), and a decreasing sequence \(\{ f_{n} \} \subset M_{+}(\mu)\), \(f_{n} \leq f\) and \(\lim f_{n}=0\) \(\mu\text{-a.e.}\), one has \(\rho(f_{n}) \to 0\). From the norm function \(\rho\), one constructs the vector space \(\mathcal{L}_{\rho}(X)= \{ f \in M_{X}(\mu): \rho (|f|) < \infty\}\) with the semi-norm \(\rho( |f|)\). This space is called semi-normed Köthe-Bochner space; the associated normed space is \(L_{\rho}(X) \) (this is a Banach space if \(\rho\) has the \(R\)-\(F\) property). In this paper, the authors extend several results from the measure space \((T, \mathcal{T}, \mu)\) to the semi-normed Köthe-Bochner space \( (\mathcal{L}_{\rho}(X), \rho(.) (=\tau_{\rho}))\). Some of the results are: \begin{itemize} \item[(I)] For any Banach space \(X\), \(L_{\rho}(X) \) is a Banach space iff \(\rho\) has the \(R\)-\(F\) property; \item[(II)] there is a unique semi-metrizable group topology \(\tau_{m}(\rho)\), called the topology of convergence in \(\rho\)-measure; this topology, when restricted to the subspace \(M_{\max} = \{ f \in M_{X}(\mu): \rho( \{t \in T: |f(t)| > n \}) \to 0\}\), with the topology induced by the \(\rho\)-measure, is a topological vector space; further, any subspace \(M \subset M_{X}(\mu)\) with the topology induced by the \(\rho\)-measure, is a topological vector space iff \(M \subset M_{\max}\). Also, this topology is weaker than \(\tau_{\rho}\); \item[(III)] (extension of Egorov's theorem) Suppose that \(\mu(T) < \infty\), \(\rho(T) < \infty\), \(\rho\) is of absolutely continuous type, and \(\{ f_{n} \} \subset M_{X}(\mu) \text{ with } \lim f_{n}=0\) \(\mu\text{-a.e}\). Then \(\lim f_{n}=0\) almost uniformly. \end{itemize} Many examples are given and several other related results are proved.