On Baire measurability in spaces of continuous functions (Q691828): Difference between revisions

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))\).