Subcompactness and domain representability in GO-spaces on sets of real numbers (Q1009742)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Subcompactness and domain representability in GO-spaces on sets of real numbers |
scientific article |
Statements
Subcompactness and domain representability in GO-spaces on sets of real numbers (English)
0 references
3 April 2009
0 references
The authors explore a family of strong completeness properties in GO-spaces defined on sets of real numbers with the usual linear ordering. They consider the following three questions: (1) Suppose the topological space \((X,\tau)\) is subcompact and suppose that \(Y\) is a \(G_\delta\)-subspace of \(X.\) Must \((Y,\tau| _Y)\) be subcompact? (2) Suppose \((X,\tau)\) is subcompact and \(S\subseteq X.\) Let \(\tau^S\) be the topology on \(X\) having the collection \(\tau\cup \{\{x\}:x\in S\}\) as a base. Must \((X,\tau^S)\) be subcompact? (3) Does domain representability imply subcompactness? For the considered class of GO-spaces, they answer both (1) and (2) affirmatively and make some progress on (3), showing that if \(X\subseteq \mathbb{R}\) and if \((X,\tau)\) is a domain-representable, dense-in-itself GO-space (with respect to the usual ordering), then \((X,\tau)\) contains a subcompact, dense \(G_\delta\)-subspace \(Y.\) Moreover \(Y\) is a \(G_\delta\)-subset of the usual open-interval topology on \(\mathbb{R}\) and this eliminates many subsets of \(\mathbb{R}\) as potential counterexamples to (3). In addition, they use their results on subcompactness to study the role of Oxtoby's pseudo-completeness in GO-spaces constructed on subspaces of \(\mathbb{R}.\)
0 references
GO-space
0 references
generalized ordered space
0 references
subcompact space
0 references
domain
0 references
domain-representable space
0 references
pseudo-complete space
0 references
Amsterdam properties
0 references
co-compact
0 references
strong Choquet game
0 references