On generalized Erdös spaces (Q2469561)

The Erdős spaces \(\mathfrak{E}\) and \(\mathfrak{E}_c\) (the latter being topologically complete) [\textit{P. Erdős}, Ann. Math. 41, 734--736 (1940; Zbl 0025.18701)] are \(1\)-dimensional spaces each of which is homeomorphic to its square. Characterizations of them and of \(\mathfrak{E}_c^\omega\) have been given by J. Dijkstra and J. van Mill. Certain other spaces have also been explored. For example, consider a Banach space \(l^p\) and suppose that \(\mathcal E_n\subset\mathbb R\) for each \(n\in\omega\). The set \(\mathcal E=\{x\in l^p\,| \,x_n\in E_n\,\roman{for\,all}\,n\in\omega\}\) is equipped with the topology generated by the \(p\)-norm on \(l^p\). \textit{J. Dijkstra} in [Proc. Edinb. Math. Soc. 48, 595--601 (2005; Zbl 1152.54347)] studied such \(\mathcal E\) and uncovered certain of its properties. In an article to appear in [\textit{Canad. J. Math.}], Dijkstra and van Mill examined another type of space, \(I\), called a Polishable F\(_\sigma\)-ideal on \(\omega\). In this paper (Section 3) the authors define a space \(\mathcal E\) that is a generalization of both the \(\mathcal E\) and \(I\) just mentioned. Theorem 4.7, which concerns this space, is the main result, and it generalizes certain previous ones abut the two spaces (old) \(\mathcal E\) and \(I\). In Sections 5 and 6 conditions are given under which \(\mathcal E\cong\mathfrak{E}_c\), \(\mathcal E\cong\mathfrak{E}\). The final section (7) of the paper examines spaces of the form \(\mathcal E^+=\mathcal E\cup\{\Omega\}\) and fixed point questions. In particular one may find there conditions under which \(\Omega\) is a ``true'' fixed point, meaning that for every nonconstant map \(f:\mathcal E^+\to\mathcal E^+\), \(f(\Omega)=\Omega\).