Note on \(K\)-analyticity and normality in function spaces (Q2338847)

For Tychonoff spaces \(X\) and \(Y\), \(Y^X\) denotes the space of continuous mappings from \(X\) into \(Y\) equipped with the compact-open topology. The authors first prove that a metrizable space \(X\) is \(\sigma\)-compact if and only if \([0,1]^X\) is a compact-covering image of \(\mathbb N^{\mathbb N}\), and then obtain the main result (Theorem 1.1): If \(X\) is a metrizable zero-dimensional space whose set of accumulation points is \(\sigma\)-compact and \(K\) is a compact metrizable space, then the space \(K^X\) is a compact-covering image of \(\mathbb N^{\mathbb N} \times \{0,1\}^{w(X)}\). Several interesting results are derived from these two results. Let \(X\) be a metrizable space whose set of accumulation points is \(\sigma\)-compact. Then: (1) the space \([0,1]^X\) is a compact-covering image of \(\mathbb N^{\mathbb N} \times \{0,1\}^{w(X)}\), (2) for any metrizable \(E\), the space \(E^{([0,1]^X)}\) is perfectly normal and paracompact, (3) if \(X\) is a \(\sigma\)-compact metrizable space, then the space of all compact subspaces of \([0,1]^X\) endowed with the Vietoris topology is a continuous one-to-one image of \(\mathbb N^{\mathbb N}\). It is also proved that if \(M\) is the Michael line, then the group of characters of the topological group \(\mathbb Z_2^M\) is not normal.