Injections into function spaces over ordinals and LOTS (Q741408)

All the spaces in this paper are assumed to be Tychonoff spaces. Also by \(C_p(X, Y)\) the author denotes the space of all continuous functions from the topological space \(X\) to topological space \(Y\) endowed with the topology of pointwise convergence whose subbase is formed by sets of the form \(B(x, U) =\{f:f\in C_p(X, Y), f(x)\in U\}\), where \(x\in X\) and \(U\) is an arbitrary element of a base of the topology of \(Y\). For the space \(C_p(X, Y)\) the following interesting theorems are proved: { Theorem A.} Let \(Y\) be a subspace of a GO-space \(X\) and let \((M, \rho)\) be a non-trivial metric space, where \(\rho\) is a metric of \(M\). If \(Z\) is a separable space and \(C_p(Y, M)\) admits a continuous injection into \(C_p(Z, M)\), then \(\bar Y\setminus Y \) is hereditarily paracompact. { Theorem B.} Let \(Y\) be a subspace of a GO-space \(X\) and let \(M\) be a non-trivial metric space. If \(C_p(Y, M)\) admits a continuous injection into \(C_p(\tau, M)\) for some ordinal \(\tau\), then \(\bar Y\setminus Y\) is hereditarily paracompact. { Theorem C.} Let \(X\) be a GO-space and let \(Y\) be a subspace of \(X\). Let \(L\) be a compact LOTS such that \(1-cf(\min L)\geq \omega_1\), \(0-cf(\max L)\geq \omega_1\), and \(i-cf(x)\geq \omega_1\) for \(x\in L \setminus \{\max L, \min L\}\) and \(i \in\{0, 1\}\). If \(C_p(Y, M)\) admits a continuous injection into \(C_p(L, M)\) for a non-trivial metric space \(M\), then \(\bar Y\setminus Y\) is hereditarily paracompact.