Reverse induction proof of D property of the countable power of the Sorgenfrey line

DOI10.1007/S10474-021-01169-ZMaRDI QIDQ2236646zbMATH OpenOpenAlexFDO

Authors Mikhail Patrakeev

Publication date 25 October 2021

Published in Acta Mathematica Hungarica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2004.10775

zbMATH Keywords

\(\mathrm{D}\)-space covering property reverse induction Sorgenfrey line

Mathematics Subject Classification ID

Product spaces in general topology (54B10) Noncompact covering properties (paracompact, Lindelöf, etc.) (54D20)

Abstract: We present a new method of proof, which we call reverse induction. This method allows to establish certain properties of a product

p r o d_{i = 0}^{i n f t y} X_{i}

by making a kind of "reverse induction step" from

p r o d_{i = n + 1}^{i n f t y} X_{i}

to

p r o d_{i = n}^{i n f t y} X_{i}

for an arbitrary natural

n

. Using this method we answer a question posed by E. K. van Douwen and W. F. Pfeffer in 1979 by proving that the countable power of the Sorgenfrey line is a D-space.

Review text

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.

Recommendations

Cites work

Cited in

(2)

This page was built for publication: Reverse induction proof of \(\mathrm{D}\) property of the countable power of the Sorgenfrey line

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