Topological classification of function spaces with the Fell topology. IV. (Q2401563)

For a Tychonoff space \(X\), let \(\downarrow C_F (X)\) denote the collection of the hypographs of all continuous maps from \(X\) to \([0, 1]\) with the Fell topology, \(Q \) is the Hilbert cube, \(\Sigma = \{(x_n) \in Q : \sup|x_n| < 1\}\) and \(c_0 = \{(x_n) \in \Sigma : \lim x_n = 0\}\). Also, for two spaces \(X\), \(Y\) the symbol \(X \approx Y\) means that \(X\) and \(Y\) are homeomorphic. Finally, the authors use the symbol \(X_0\) to denote the set of all isolated points in \(X\). In [Topology Appl. 153, No. 15, 2908--2921 (2006; Zbl 1111.54008); Topol. Proc. 41, 17--38 (2013; Zbl 1287.54013); Sci. China, Ser. A 52, No. 8, 1815--1828 (2009; Zbl 1184.54013); Acta Math. Sin., Engl. Ser. 28, No. 1, 57--66 (2012; Zbl 1270.54016); Topology Appl. 154, No. 8, 1737--1747 (2007; Zbl 1119.54010)], the second author with collaborators gave the topological classification for all metrizable function spaces \(\downarrow C_F (X)\) under the condition that \(X\) is metrizable. But there are also many non-metrizable spaces \(X\) such that \(\downarrow C_F (X)\) is metrizable. In Parts I-III of the present work, [Topology Appl. 178, 146--159 (2014; Zbl 1305.54029), ibid. 187, 82--96 (2015; Zbl 1320.54016) and ibid. 197, 112--132 (2016; Zbl 1342.54012)], the authors gave the topological structure of the metrizable function space \(\downarrow C_F (X)\) when \(X\) is a \(k\)-space and satisfies some conditions. That is: Theorem. Let \(X\) be a space satisfying the following conditions: (i) \(\downarrow C_F (X)\) is metrizable; (ii) \(X\) is a non-discrete \(k\)-space; (iii) \(\mathrm{cl} (X_0) = X\); (iv) \(X \setminus X_0\) is not compact. Then \(\downarrow C_F (X)\approx c_0 \cup (Q \setminus \Sigma).\) In the present paper, the authors show that the above theorem also holds if the condition (iv) is removed. That is: Main Theorem. Let \(X\) be a non-discrete \(k\)-space. If the set of all isolated points in \(X\) is dense and \(\downarrow C_F (X)\) is metrizable, then \(\downarrow C_F (X)\approx c_0 \cup (Q \setminus \Sigma).\)