Two new properties of the space \(C_{p}(x)\) (Q880149)

From MaRDI portal
Revision as of 06:44, 10 December 2024 by Import241208061232 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Two new properties of the space \(C_{p}(x)\)
scientific article

    Statements

    Two new properties of the space \(C_{p}(x)\) (English)
    0 references
    10 May 2007
    0 references
    Let \(X\) be a completely regular Hausdorff space and \(C_p(X)\) denote the linear space of all continuous real valued functions on \(X\) with the topology of pointwise convergence. From the set \(\mathbb N\) of positive integers with the discrete topology we form the set \(\mathbb N^{\mathbb N}\) of integer sequences with the product topology. We say that \(X\) is \(K\)-analytic (resp., quasi-Souslin) in case there is a mapping \(T\) which sends each \(\alpha\in \mathbb N^{\mathbb N}\) to a compact subset (resp., subset) \(T(\alpha)\) of \(X\) such that (i) \(\{T(\alpha): \alpha\in \mathbb N^{\mathbb N}\}\) covers \(X\); (ii) if \(\alpha_n\to\alpha\) in \(\mathbb N\) and \(x_n\in T(\alpha_n)\) for each \(n\in \mathbb N\), then \(\{x_n\}\) has a cluster point in \(T(\alpha)\). The main result of the present paper is that \(C_p(X)\) is \(K\)-analytic if, and only if, it is quasi-Souslin. The author notes that the proof is essentially contained in a paper by \textit{V. V. Tkachuk} [Acta Math. Hung. 107, 253--265 (2005; Zbl 1081.54012)] and explains how it has been adapted to his own setting. A compact space H is called Talagrand compact in case \(C_p(H)\) is \(K\)-analytic. The author shows that if \(H\) is a compact subset of \(C_p(X)\), and some quasi-Souslin subset of the space \(X\) separates the functions of \(H\), then \(H\) is Talgrand compact.
    0 references
    \(K\)-analytic space
    0 references
    quasi-Souslin space
    0 references
    domination by the irrationals
    0 references
    Talagrand compact
    0 references

    Identifiers