Injections into function spaces over compacta (Q392551): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
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\). | |||
Property / review text: 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\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Klaas Pieter Hart / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 54C35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 54C10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 54F05 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6245035 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
ordinal space | |||
Property / zbMATH Keywords: ordinal space / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
GO-space | |||
Property / zbMATH Keywords: GO-space / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(C_p\)-theory | |||
Property / zbMATH Keywords: \(C_p\)-theory / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
group homomorphism | |||
Property / zbMATH Keywords: group homomorphism / rank | |||
Normal rank |
Revision as of 15:28, 29 June 2023
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