Reverse induction proof of \(\mathrm{D}\) property of the countable power of the Sorgenfrey line (Q2236646)

Throughout \(X=\prod_{i\in\omega}X_i\), a countable product of topological spaces. The main result of this paper is to show that the countably infinite power of the Sorgenfrey line is a D-space. A key step involves what the author calls reverse induction now described. Suppose that \(A\subset\omega\). An {\(A\)-broom} \(P\subset X\) is a subset such that there is \(x\in\prod_{i\in A}X_i\) with \(p\upharpoonright A=x\) for all \(p\in P\). A neighbourhood assignment \(p\mapsto U(p)\) on \(X\) is {correct} on \(Y\subset X\) provided there is closed discrete \(D\subset Y\) such that \(U(D)\supset Y\). Given a neighbourhood assignment \(U\), \(n\in\omega\) and a closed \(n\)-broom \(P\) on \(X\) declare {RIH}\((X,U,n,P)\): for all \(m>n\) and every closed broom \(Q\subset P\), \(U\) is correct on \(Q\). Reverse induction supposes for every \(U\), \(n\) and \(P\) as above, RIH\((X,U,n,P)\) implies \(U\) is correct on \(P\) and each \(X_i\) is T\(_1\) and concludes that \(X\) is a D-space. It is observed that by varying the formulation of RIH\((X,U,n,P)\) one can deduce similar results for some other covering properties such as compactness, Lindelöf and so on. The remainder of the paper is devoted to applying this theorem to the case where each \(X_i\) is the Sorgenfrey line.