General theorems on functional equivalence of topological spaces (Q1295206): Difference between revisions

Two spaces \(X\) and \(Y\) are \(l_p\)-equivalent (or \(l_k\)-equivalent) provided that their spaces, \(C_p(X)\) and \(C_p(Y)\) (or \(C_k(X)\) and \(C_k(Y)\)), of continuous real-valued functions are linearly homeomorphic, where the \(p\) refers to the topology of pointwise convergence (or \(k\) refers to the compact-open topology). Topological properties that are preserved by \(l_p\)-equivalent (or \(l_k\)-equivalent) spaces are called \(l_p\)-invariants (or \(l_k\)-invariants). This paper generalizes a number of known results about \(l_p\)- and \(l_k\)-invariants by considering functions into arbitrary normed linear spaces \(E\) and \(F\) and by using topologies on \(C(X,E)\) and \(C(Y,F)\) generated by compact set-rings \(\alpha(X)\) on \(X\) and \(\alpha(Y)\) on \(Y\). It follows from the theorems established in this general setting, for example, that the paracompact and Lindelöf properties are \(l_{\alpha}(E,F)\)-invariants, that density, hereditary density and hereditary Lindelöf are \(l_p(E,F)\)-invariant properties, and that metrizability is both \(l_p\)- and \(l_k\)-invariant.