Domain representability and the Choquet game in Moore and BCO-spaces (Q2470426): Difference between revisions

A partially ordered set \((Q,\sqsubseteq)\) is called a domain if it has the following properties: (i) every nonempty directed subset of \(Q\) has a supremum in \(Q\); (ii) for each \(b\in Q\) the set \(\{a\in Q\mid a\ll b\}\) is directed and has \(b\) as its supremum, where \(a\ll b\) if and only if, for every directed subset \(E\) of \(Q\) with \(b\sqsubseteq\text{sup}(E)\), there exists an \(e\in E\) such that \(a\sqsubseteq e\). Given a domain \((Q,\sqsubseteq)\), the collection consisting of all subsets of the form \(\{b\in Q\mid q\ll b\}\), \(q\in Q\), is a basis for a topology on \(Q\), the so-called Scott topology. This topology is always \(T_0\) but almost never \(T_1\). However, things change dramatically if the Scott topology is restricted to the subset \(\max(Q)\) consisting of all maximal elements of \((Q,\sqsubseteq)\). A topological space \(X\) is called domain-representable if there exists a domain \((Q,\sqsubseteq)\) such that \(X\) is homeomorphic to \(\text{max}(Q)\) endowed with the relative Scott topology. In [Fundam. Math. 189, No. 3, 255--268 (2006; Zbl 1090.54028)], \textit{H. R. Bennett} and \textit{D. Lutzer} have shown that the Sorgenfrey line, the Michael line, and every subspace of an ordinal space are all domain-representable. In the present paper domain-representability is related to several other interesting properties as follows. Theorem. Let \(X\) be a regular \(T_1\)-space with a base of countable order in the sense of \textit{A. V. Arkhangel'skij} [Usp. Mat. Nauk 18, No. 5(113), 139--145 (1963; Zbl 0128.16701)]. Then the following are equivalent: (1) \(X\) is domain-representable; (2) \(X\) is subcompact in the sense of \textit{J. de Groot} [Nederl. Akad. Wet., Proc., Ser. A 66, 761--767 (1963; Zbl 0118.17901)]; (3) Player \(\alpha\) has a stationary winning strategy in the topological game \(Ch(X)\) considered by \textit{G. Choquet} in [Lectures on analysis. Vol. I: Integration and topological vector spaces (1976; Zbl 0331.46002)]; (4) Player \(\alpha\) has a winning strategy in the topological game \(Ch(X)\); (5) \(X\) has a monotonically complete base of countable order in the sense of \textit{J. M. Worrell} and \textit{H. H. Wicke} [Duke Math. J. 34, 255--271 (1967; Zbl 0168.20302)]. A topological space \(X\) is called Scott-domain-representable if there exists a Scott domain \((Q,\sqsubseteq)\) such that \(X\) is homeomorphic to \(\text{max}(Q)\) endowed with the relative Scott topology, where a domain \((Q, \sqsubseteq)\) is a Scott domain if every nonempty bounded subset of \(Q\) has a supremum in \(Q\). \textit{K. Martin} has proved in [Topology Appl. 129, No. 2, 177--186 (2003; Zbl 1026.06012)] that every Scott-domain-representable Moore space is Čech-complete. A natural question of Martin is answered by showing that there exist Čech-complete Moore spaces which are not Scott-domain-representable.