Injections into function spaces over compacta (Q392551): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q330038 |
Changed an Item |
||
Property / reviewed by | |||
Property / reviewed by: Klaas Pieter Hart / rank | |||
Normal rank |
Revision as of 02:52, 13 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Injections into function spaces over compacta |
scientific article |
Statements
Injections into function spaces over compacta (English)
0 references
14 January 2014
0 references
Using her result from [Topology Appl. 154, No. 4, 917--924 (2007; Zbl 1110.54016)] that the Dedekind remainder of a GO-space~\(L\) is homeomorphic to a closed subset of \(C_p(L,2)\) the author shows that if \(C_p(L,2)\) admits a continuous injection into~\(C_p(X)\) for some Lindelöf \(\Sigma\)-space~\(X\) then that the Dedekind remainder of~\(L\) must be hereditarily paracompact. The second part of the paper is devoted to the construction of a continuous and injective group homomorphism from~\(C_p(\tau,2)\) into~\(C_p(\tau+1,2)\), where \(\tau\)~is an ordinal of countable cofinality; this homomorphism maps any~\(f\) to the characteristic function of the (finite) set of ordinals where \(f\)~changes value, i.e., \(A_f=\bigl\{\alpha: (\exists\beta<\alpha)\bigl(\forall\gamma\in[\beta,\alpha)\bigr) \bigl(f(\gamma\neq f(\alpha)\bigr)\bigr\}\); if \(f(0)=1\) then \(0\)~is also deemed to belong to~\(A_f\).
0 references
ordinal space
0 references
GO-space
0 references
\(C_p\)-theory
0 references
group homomorphism
0 references