On Baire measurability in spaces of continuous functions (Q691828)

From MaRDI portal
scientific article
In more languages
Configure
Language Label Description Also known as
English
On Baire measurability in spaces of continuous functions
scientific article

    Statements

    On Baire measurability in spaces of continuous functions (English)
    4 December 2012
    The authors prove some results about the sequential closure in the \(\mathrm{weak}^{*}\) topology of probality measures with finite supports and some relations between Baire subsets of the space \(C(K)\) in the pointwise and weak topologies. Here, \(K\) is a compact Hausdorff space, \(C(K)\) the space of all real-valued continuous functions on \(K\), \(M(K)= (C(K))' \), the topological dual of \(C(K)\), \(P(K) \subset M(K)\) the probability measures, \(\varDelta_{K}\) the Dirac measures on \(K\) and \(\mathrm{co}\varDelta_{K}\) the convex hull of \(\varDelta_{K}\). For a subset \(A \subset M(K)\), \(\mathrm{Seq}(A)\) denotes the sequential closure of \(A\) in \((M(K), \sigma(M(K), C(K))) \) and \(\mathrm{Seq}^{1}(A)\) denotes the limits, in \((M(K), \sigma(M(K), C(K)) \), of \(( \sigma(M(K), C(K))) \) converging sequences in \(A\). Also, \(\mathrm{Ba}(C_{p}(K))\) and \(\mathrm{Ba}(C_{w}(K))\) denote, respectively, the Baire subsets of \(C(K)\) when the pointwise and weak topology is taken on \(C(K)\). The main results of the paper are: I. Under the Continuum Hypothesis, there is a compact Hausdorff space \(K\) such that \(\mathrm{Seq}^{1}(\mathrm{co}\varDelta_{K}) \neq \mathrm{Seq}(\mathrm{co}\varDelta_{K}) = P(K)\). II. For the compact Hausdorff space \(K = \beta \omega\), \(\mathrm{Ba}(C_{p}(K)) \neq \mathrm{Ba}(C_{w}(K))\).
    Baire \(\sigma\)-algebra
    sequential closures
    spaces of measures
    spaces of continuous functions

    Identifiers