The Big Bush machine

From MaRDI portal





For \(S,T\subset\mathbb R\) non-empty and disjoint, let \(Bush(S,T)=\bigcup_{\alpha<\omega_1}\{f:[0,\alpha]\to S\cup T\;/\;f(\alpha)\in T \text{ and }\beta<\alpha\Rightarrow f(\beta)\in S\}\), topologised with the lexicographic order topology inherited from \(\mathbb R\). For \(S\) and \(T\) dense \(Bush(S,T)\) is monotonically normal, has a point-countable base, is hereditarily paracompact, \(\alpha\)-favourable and a Baire space (among many others) but is never Lindelöf, has no dense metrisable subspace, is not a \(\Sigma\)-space, a \(p\)-space or an \(M\)-space (among others). \(Bush(\mathbb P,\mathbb Q)\) and \(Bush(\mathbb Q,\mathbb P)\) are not homeomorphic. There are disjoint dense \(S,T\subset\mathbb R\) of cardinality \(2^\omega\) such that \(Bush(S,T)\) is not homeomorphic to \(Bush(T,S)\).



Cites work









This page was built for publication: The Big Bush machine

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q408556)