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
0 references