The Big Bush machine (Q408556): Difference between revisions

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)\).