Hereditarily Lindelöf spaces of continuous functions (Q750934): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q408554 |
Changed an Item |
||
Property / reviewed by | |||
Property / reviewed by: Akihiro Okuyama / rank | |||
Normal rank |
Revision as of 15:06, 14 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Hereditarily Lindelöf spaces of continuous functions |
scientific article |
Statements
Hereditarily Lindelöf spaces of continuous functions (English)
0 references
1989
0 references
For a Tychonoff space X, let \(C_ p(X)\) be the space of all continuous real functions on X in the topology of pointwise convergence and s(X) the supremum of cardinalities of discrete subspaces of X. Inequalities \(hd(X)\leq \aleph_ 0\) (resp. \(h\ell (X)\leq \aleph_ 0)\) denote that every subspace of X is separable (resp. Lindelöf). Further, SA means that each regular hereditarily separable space is hereditarily Lindelöf. The author showed the relationship between s, hd and \(h\ell\) for \(X^{\aleph_ 0}\), \(C_ p(X)\) and \((C_ p(X))^{\aleph_ 0}\) assuming SA, as below. Theorem (SA). If \(s(C_ p(X))\leq \aleph_ 0\), then \(s(X^{\aleph_ 0})=hd(X^{\aleph_ 0})=hl(X^{\aleph_ 0})\leq \aleph_ 0\) and \(s((C_ p(X))^{\aleph_ 0})=hd((C_ p(X))^{\aleph_ 0})\leq \aleph_ 0\) hold. - The following is a partial solution of Velichko's problem in the case of \(\aleph_ 0:\) Corollary (SA). If \(s(C_ p(X))\leq \aleph_ 0\), then \(s((C_ p(X))^{\aleph_ 0})=s(C_ p(X))\) and \(h\ell ((C_ p(X))^{\aleph_ 0})=h\ell (C_ p(X))\).
0 references
hereditarily separable space
0 references
hereditarily Lindelöf space
0 references
topology of pointwise convergence
0 references