Injections into function spaces over compacta

From MaRDI portal



Abstract: We study the topology of X given that Cp(X) injects into Cp(Y), where Y is compact. We first show that if Cp over a GO-space (="subspace of a lineraly ordered space") injects into Cp over a compactum, then the Dedekind remainder of the GO-space is hereditarily paracompact. Also, for each ordinal tau of uncountable cofinality, we construct a continuous bijection of Cp(tau, {0,1}) onto a subgroup of Cp(tau+1, {0,1}), which is in addition a group isomorphism.


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.NEWLINENEWLINEThe 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\).











This page was built for publication: Injections into function spaces over compacta

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q392551)