Some characterizations for \(\upsilon X\) to be Lindelöf \(\Sigma \) or \(K\)-analytic in terms of \(C_{p}(X)\) (Q1005177)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Some characterizations for \(\upsilon X\) to be Lindelöf \(\Sigma \) or \(K\)-analytic in terms of \(C_{p}(X)\)
scientific article

    Statements

    Some characterizations for \(\upsilon X\) to be Lindelöf \(\Sigma \) or \(K\)-analytic in terms of \(C_{p}(X)\) (English)
    0 references
    6 March 2009
    0 references
    If \(\Sigma\subset \omega^\omega\) and \({\mathcal A}=\{A_\alpha : \alpha\in \Sigma\}\) is a family of subsets of a space \(X\) then \(A(\alpha|n)= \bigcup\{A_\beta :\beta \in \Sigma\) and \(\beta(i)=\alpha(i)\) for all \(i\leq n\}\) for every \(\alpha\in \Sigma\) and \(n\in\omega\). The family \(\{A(\alpha|n): \alpha \in \Sigma\) and \(n\in\omega\}\) is called the envelope of the family \({\mathcal A}\). Now, if \(E\) is a topological vector space and \({\mathcal A}=\{A_\alpha:\alpha\in \Sigma\}\) is a family of subsets of \(E\) for some \(\Sigma \subset \omega^\omega\) then the family \({\mathcal A}\) is said to have a limited envelope if for each \(\alpha\in \Sigma\) and every balanced neighbourhood \(U\) of the origin in \(E\) there exists \(n\in\omega\) such that \(A(\alpha|n)\subset nU\). Theorem 3 of the paper states that if \(X\) is a Tychonoff space then \(\upsilon X\) is Lindelöf \(\Sigma\) if and only if \(C_p(X)\) has a cover \(\{A_\alpha:\alpha\in \Sigma\}\) with a limited envelope for some set \(\Sigma\subset \omega^\omega\). It is also established (Corollary~36) that if \(C_p(X)\) is a Baire space and \(\upsilon X\) is Lindelöf \(\Sigma\) then \(X\) is countable. Besides, Theorem 31 gives a criterion for the space \(\upsilon X\) to be \(K\)-analytic; namely, \(\upsilon X\) is \(K\)-analytic if and only if there exists a locally convex topology on \(C(X)\) stronger than the topology of pointwise convergence with a base \(\{tV_\alpha: \alpha\in \omega^\omega\), \(t>0\}\) of absolutely convex neighbourhoods of the origin such that \(\alpha\leq\beta\) implies \(V_\beta \subset V_\alpha\).
    0 references
    Lindelöf \(\Sigma \)-space
    0 references
    \(K\)-analytic space
    0 references
    analytic space
    0 references
    completely regular space
    0 references
    realcompact space
    0 references
    (pointwise) bounded set
    0 references
    topological linear space
    0 references
    locally convex space
    0 references

    Identifiers