Borel measurability of separately continuous functions. II. (Q1412699)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Borel measurability of separately continuous functions. II.
scientific article

    Statements

    Borel measurability of separately continuous functions. II. (English)
    0 references
    0 references
    25 November 2003
    0 references
    This is a sequel to [ibid. 129, 29--65 (2003; Zbl 1017.54010)]. We assume that all spaces are completely regular. Let \(C_p(X)\) be the space of continuous real-valued functions on \(X\) with the topology of pointwise convergence. Considering the existence of countable covers of \(C_p(X)\) by small sets in \(C_p(X)\), two concepts, narrowness and local narrowness are introduced. A subset \(Y\) of \(C_p(X)\) is said to be narrow (locally narrow) if there are \(Y_n\) such that \(Y= \bigcup Y_n\) and for each \(f\in Y\) and \(\varepsilon> 0\) (for each \(x\in X\)), there exist \(Y_n\) (an open neighbourhood \(W\) of \(x\)) and an open neighbourhood V of \(f\) such that \(f\in Y_n\) for any \(g\in Y_n\cap V\) it holds that \(\| f-g\|< \varepsilon\) (for every \(y\in W\) and for every \(g\in Y_n\cap V\), \(| f(y)- g(y)|<\varepsilon\)). For example, the Tychonov plak \(C_p(T)\) is narrow, where \(T= (\omega_1+ 1)\times (\omega+1)- (\omega_1,\omega)\). For a metric space \(X\), it holds that \(X\) is compact \(\Leftrightarrow C_p(X)\) is narrow, and \(C_p(X)\) is locally narrow \(\Leftrightarrow\) the set of non-isolated points of \(X\) is separable. The cases of spaces \(X\) such that \(C_p(X)\) is not narrow or not locally narrow are mentioned. Let \(X\) be a product of countably compact linearly ordered spaces. Then \(C_p(X)\) is locally narrow. Moreover, if each factor is Dedekind complete, then \(C_p(X)\) is narrow. The following main results are obtained. Let \(\kappa\leq{\mathfrak c}\) and \(X= \prod_{i<\kappa} X_i\). We assume each \(X_i\) is subspace of separable linearly ordered space. Then the evaluation map \(X\times C_p(X)\to \mathbb{R}\) is \(F_\sigma\)-measurable. But if \(X\) is a nonseparable linear ordered ccc space, then the evaluation map \(X\times C_p(X)\to \mathbb{R}\) is not \(F_\sigma\)-measurable. Let \(X\) be a space which contains a homeomorphic copy of \(2^\alpha\) (\(\alpha\): uncountable cardinal), (or let \(X\) be a nonseparable ccc space). Then the evaluation map \(X\times C_p(X)\) to \(\mathbb{R}\) is not a Baire function. An appendix contains a detailed proof of a lemma mentioned in this paper.
    0 references
    0 references
    separately continuous function
    0 references
    narrowness
    0 references
    locally narrowness
    0 references
    Borel measurability
    0 references
    Baire function
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references