Isometries of spaces of Radon measures (Q2405877)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Isometries of spaces of Radon measures
scientific article

    Statements

    Isometries of spaces of Radon measures (English)
    0 references
    0 references
    0 references
    28 September 2017
    0 references
    The author proves some results on order isometries between Banach lattices of Radon measures on some special compact Hausdorff spaces. Here, \(\Omega\) is a compact Hausdorff space, \(C(\Omega)\) consists of all continuous real-valued functions on \(\Omega\) and \(\mathcal{M}(\Omega)\) of all Radon measures on \(\Omega\), \(I\) is the unit interval. For two Banach lattices \(X, Y\), a linear isometry \(T: X \to Y\) is an order isometry if both \(T, T^{-1}\) are order preserving. \(F \widetilde{=} G\) means that Banach lattices \(F, G\) are order-isometric. First the author proves the following result: Suppose that \(\Omega_{1}, \Omega_{2}\) are two compact Hausdorff spaces such that either each is homeomorphic to a closed subspace of the other or both are extremely disconnected and each is continuously mapped onto the other. Then \(\mathcal{M}(\Omega_{1}) \widetilde{=} \mathcal{M}(\Omega_{2}) \). Then, using this result, he proves: {\parindent=0.8cm \begin{itemize}\item[(i)] For a compact Hausdorff space \(\Omega\) and an infinite discrete space \(\Gamma\) with \(\mathbf {m} =\mathrm{card} \Gamma, \) we have \(\mathcal{M}(\beta \Gamma) \widetilde{=} \mathcal{M}(\Omega^{\mathbf {m}}) \widetilde{=} \mathcal{M}(I^{2^{\mathbf{m}}})\);\item[(ii)] Let \(\Omega\) be a metrizable compact space and \(K\) an infinite closed subset of \(\beta \mathbb N\). Then \( \mathcal{M}(K) \widetilde{=} \mathcal{M}(\beta \mathbb N) \widetilde{=} \mathcal{M}(\Omega^{2^{\aleph_{0}}}) \widetilde{=} \mathcal{M}(I^{2^{\aleph_{0}}})\); \item[(iii)] Let \(\Omega\) be a compact Hausdorff space with weight \(\mathbf{m} \geq \aleph_{0}\) and suppose \(\Omega\) either contains a homeomorphic copy of \( I^{\mathbf{m}} \) or \(\Omega\) is 0-dimensional and contains a homeomorhic copy of \( \mathbf{2}^{\mathbf{m}} \). Then \(\mathcal{M}(\Omega) \widetilde{=} \mathcal{M}(\mathbf{2}^{\mathbf {m}})\). \end{itemize}} Some additional results are proved and some related examples are given.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    order-isometry
    0 references
    cardinality
    0 references
    Radon measures
    0 references
    0 references
    0 references