Weakly compact operators and strict topologies (Q392812)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Weakly compact operators and strict topologies |
scientific article |
Statements
Weakly compact operators and strict topologies (English)
0 references
15 January 2014
0 references
In this paper, \(X\) is a completely regular Hausdorff space, \(E\) a quasi-complete locally convex space with \(E'\) its topological dual, \(C_{b}(X)\) the space of all bounded, real-valued continuous functions on \(X\), \( \mathcal{B} \) the algebra generated by the zero-sets of \(X\) and \(\mathcal{B}a \) the Baire subsets of \(X\); also, \(M(X) = (C_{b}(X), \| \cdot \|)'\) and \( M_{t}(X), \; M_{\tau}(X)\), \(M_{\sigma}(X)\) are subsets of \(M(X)\) consisting of real-valued tight, \( \tau\)-smooth, and \(\sigma\)-smooth measures on \(X\). Using the fact that \(M(X)\) is a Dedekind complete vector lattice and \( M_{t}(X), \; M_{\tau}(X)\), \(M_{\sigma}(X)\) are projective bands in \(M(X)\), the purely finitely additive measures \(M_{pfa}(X)\) are defined to be the elements of the disjoint complement of \(M_{\sigma}(X)\) in \(M(X)\), the purely \(\sigma\)-additive measures \(M_{p\sigma a}(X)\) are defined to be the elements of the disjoint complement of \(M_{\tau}(X)\) in \(M_{\sigma}(X)\), and the purely \(\tau\)-additive measures \(M_{p\tau a}(X)\) are defined to be the elements of the disjoint complement of \(M_{t}(X)\) in \(M_{\tau}(X)\). Thus \(M(X)\) can be decomposed as: \[ M(X)= M_{pfa}(X) + M_{p\sigma a}(X) + M_{p\tau a}(X) + M_{t}(X). \] In this paper, the author extends this result to \(E\)-valued measures. As proved in [\textit{S. S. Khurana}, Georgian Math. J. 14, No. 4, 687--698 (2007; Zbl 1154.46025)], every weakly compact operator \(m: C_{b}(X) \to E \), just as in the real-valued case, gives a regular, finitely additive, \(E\)-valued measure on \( \mathcal{B} \) and the space of all such measures has natural subspaces of \(\sigma\)-smooth, \( \tau\)-smooth, and tight measures; these measures, coming from weakly compact operators, are also strongly bounded (they are also called exhaustive). The measure \(m\) is called purely finitely additive if \(e' \circ m \in M_{pfa}(X)\) for all \(e' \in E'\) and similar meanings for purely \(\sigma\)-additive measures and purely \(\tau\)-additive measures. The main result of the paper is: If \(m\) is the representing measure of a weakly compact operator \(m: C_{b}(X) \to E \), then \(m\) can be uniquely decomposed as \(m=m_{1}+m_{2}+m_{3}+m_{4}\), where \(m_{1} \in M_{t}(X)\), \(m_{2}\) is a purely \(\tau\)-additive measure, \(m_{3}\) is a purely \(\sigma\)-additive measure, and \(m_{4}\) is a purely finitely additive measure.
0 references
weakly compact operators
0 references
strict topologies
0 references
\(\tau\)-additive measures
0 references
\(\sigma\)-additive measures
0 references