Mackey topologies and compactness in spaces of vector measures (Q2450377)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Mackey topologies and compactness in spaces of vector measures
scientific article

    Statements

    Mackey topologies and compactness in spaces of vector measures (English)
    0 references
    0 references
    14 May 2014
    0 references
    In this paper, \(\Sigma\) is a \(\sigma\)-algebra of subsets of a set \(\Omega\), \(B(\Sigma)\) the vector space of all bounded, \(\Sigma\)-measurable, scalar-valued functions on \(\Omega\) and \((E, \xi)\) a quasi-complete locally convex space; \(ca(\Sigma, E)\) denotes the space of all countably additive, \(E\)-valued measures on \(\Sigma\) with the topology of pointwise convergence on \(\Sigma\) and \(\mathcal{L}_{\tau, \xi}( B(\Sigma), E)\) the space of all linear continuous operators \( (B(\Sigma), \tau(B(\Sigma), ca(\Sigma))) \to E\) with the topology of pointwise convergence on \(B(\Sigma)\). There is a one-to-one correspondence between \(ca(\Sigma, E)\) and \(\mathcal{L}_{\tau, \xi} (B(\Sigma), E)\). The main result is: For an \(\mathcal{M} \subset ca(\Sigma, E)\), the following statements are equivalent: {\parindent=8mm \begin{itemize}\item[(i)] \(\mathcal{M}\) is relatively compact in \(ca(\Sigma, E)\). \item[(ii)] \(\mathcal{M}\) is relatively compact in \(\mathcal{L}_{\tau, \xi}( B(\Sigma), E)\). \item[(iii)] \(\mathcal{M}\) is \((\tau(B(\Sigma), ca(\Sigma)), \xi)\)-equicontinuous and for every \(f \in B(\Sigma)\), the set \(\{ \int f dm: m \in \mathcal{M} \} \) is relatively \(\xi\)-compact in \(E\). \item[(iv)] \(\mathcal{M}\) is uniformly \(\xi\)-countably additive and for every \(A \in \Sigma\), \(\{ m(A); m \in \mathcal{M} \}\) is relatively \(\xi\)-compact in \(E\). \item[(v)] \(\int f_{n} dm \to 0 \; (\xi)\) uniformly on \( m \in \mathcal{M}\) whenever \(\{ f_{n} \} \subset B(\Sigma) \) is a uniformly bounded sequence such that \( f_{n} \to 0\) pointwise on \(\Omega\); and for each \( f \in B(\Sigma)\), the set \( \{ \int f dm : m \in \mathcal{M} \}\) is relatively \(\xi\)-compact in \(E\). \end{itemize}} A generalized Nikodým-type convergence theorem is derived from this result.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    Mackey topology
    0 references
    integration operators
    0 references
    compactness of measures
    0 references
    vector measures
    0 references
    0 references