On spaces with linearly homeomorphic function spaces in the compact open topology (Q1818019)

Two spaces \(X\) and \(Y\) are \(l_0\)-equivalent provided that \(C_0(X)\) and \(C_0(Y)\) are linearly homeomorphic, where \(C_0(X)\) and \(C_0(Y)\) are the spaces of continuous real-valued functions on \(X\) and \(Y\) with the compact-open topology. The main theorem in this paper says that if \(X\) and \(Y\) are \(l_0\)-equivalent metric spaces and \(\alpha\) is a prime ordinal less than or equal to \(\omega_1\), then the following are true for the \(\alpha\)-th derived sets \(X^{(\alpha)}\) and \(Y^{(\alpha)}\): \(X^{(\alpha)}=\emptyset\) if and only if \(Y^{(\alpha)}=\emptyset\); \(X^{(\alpha)}\) is compact if and only if \(Y^{(\alpha)}\) is compact; and \(X^{(\alpha)}\) is locally compact if and only if \(Y^{(\alpha)}\) is locally compact. This improves some previously known theorems about \(l_p\)-equivalent and \(l_0\)-equivalent spaces.