Continuous bijections of Borel subsets of the Sorgenfrey line on compact spaces (Q2145071)

The main result says that the topology \(\tau_{\mathbb S}\) of the Sorgenfrey line restricted to an uncountable Borel set \(B\subset \mathbb{R}\) admits a Hausdorff compact topology on \(B\) which is weaker than \(\tau_{\mathbb S}\) on \(B\) (weak compact topology for \((B,\tau_{\mathbb S}\restriction B)\)). The proof of this uses constructions of Polish topologies finer than the euclidean topology \(\tau_{\mathbb{R}}\) and approximating \(\tau_{\mathbb S}\) from below on \(\mathbb R\) and making \(B\) Borel non \(\sigma\)-compact such that \(\tau_{\mathbb S}\) on \(B\) is their supremum. A quoted result of \textit{E. G. Pytkeev} [Math. Notes 20, 831--837 (1977; Zbl 0344.54003)] gives that \(\tau_{\mathbb S}\) on \(B\) is the supremum of compact metrizable topologies, in particular that the weak compact topology for \(\tau_{\mathbb S}\) on \(B\) exists. The main result easily gives that a Borel set in \((\mathbb{R},\tau_{\mathbb S})\) admits a weak compact topology if and only if \(B\) is uncountable or \(B\) is countable and scattered. An example of a subset \(T\) of \(\mathbb{R}\) is defined such that \(\tau_{\mathbb{S}}\) admits a weak compact topology on \(T\) but \(\tau_{\mathbb{R}}\) does not admit a weaker compact topology on \(T\).