Functional equivalence of topological spaces (Q5929004)

Let \(E\) be a Banach space over the real or complex numbers. Let \(X\) be a completely regular Hausdorff space and \(C(X, E)\) denote the linear space of all continuous mappings \(f\) from \(X\) into \(E\), while \(C^0(X, E)\) denotes the linear subspace of all \(f\) whose range has compact closure. The author studies the functor \(F\) that assigns to \(X\) one of the spaces \(C(X, E)\), \(C^0(X, E)\) with the topology of uniform or pointwise convergence. We write \(X\sim_FY\) to mean that \(F(X)\) is linearly homeomorphic to \(F(Y)\). We define a topological property \(P\) to be \(F\)-invariant in case, for any \(X\) with property \(P\), \(X\sim_FY\) implies that \(Y\) has property \(P\). The author shows, among other things, that if \(X\oplus Y\) denotes the topological sum of \(X\) and \(Y\), then \(F(X\oplus Y)\) is linearly homeomorphic to \(F(X)\times F(Y)\). He treats a number of problems posed by Arkhangel'skij and others to find conditions on \(X\) which imply, for example where \(N\) is the integers: (i) \(X\sim_FX\oplus N\); (ii) \(X\sim_FX\oplus\beta N\); (iii) \(X\sim_FX\oplus X\). There are also examples to show that certain properties are not \(F\)-invariant. Among the many short proofs and examples collected here are some new proofs of earlier results by \textit{A. V. Arkhangel'skij} and \textit{M. M. Choban} [Bull. Acad. Ştiinţe Republ. Moldova, Matematica 3, 45-52 (1991) (Russian)]. He says that property \(P\) is \(l_E\)-invariant in case it is \(F\)-invariant with \(F(X)= C_p(X, E)\) with the topology of pointwise convergence. Suppose \(P\) has the property that if \(f\) is an open, continuous, finite-to-one mapping from \(X\) into \(Y\), then each subset \(Z\subset X\) has property \(P\) if, and only if, \(f(Z)\) has property \(P\). He then shows that \(P\) is \(l_E\)-invariant.