More on perfectly normal non-realcompact spaces (Q820102)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | More on perfectly normal non-realcompact spaces |
scientific article |
Statements
More on perfectly normal non-realcompact spaces (English)
0 references
6 April 2006
0 references
With a guessing sequence \(\vec C = ( C_\gamma : \gamma \in \omega_1\) is a limit ordinal and \(C_\gamma\) is unbounded in \(\gamma)\), associate a topology \(\tau (\vec C)\) on the first uncountable ordinal \(\omega_1\) by declaring a set \(Y\) open if an end-segment of \(C_\gamma\) is contained in \(Y\) for every limit \(\gamma \in Y\). The author characterizes topological properties of the space \((\omega_1, \tau (\vec C))\), such as regularity, first countability and local compactness, in terms of combinatorial properties of \(\vec C\). Using this he then proves it is consistent with \(CH\) that there exists a locally countable, locally compact (and thus first countable), perfectly normal, non-realcompact space of size \(\aleph_1\) such that the closure of every countable subset is countable. A space with all but the last of these properties has first been constructed by \textit{A. J. Ostaszewski} [J. Lond. Math. Soc., II. Ser. 14, 505--516 (1976; Zbl 0348.54014)] using the combinatorial principle \(\clubsuit\) which is consistent with \(CH\). However, since Ostaszewski's space is hereditarily separable, the present space has no Ostaszewski subspaces. Further results, all involving \((\omega_1 ,\tau (\vec C))\), are as follows: (1) it is consistent with \(MA\) and \(\neg CH\) that there exists a locally countable, first countable, perfectly normal, non-realcompact space of size \(\aleph_1\). This sharpens a result of \textit{F. Hernández-Hernández} and \textit{T. Ishiu} [Topology Appl. 143, No. 1--3, 175--188 (2004; Zbl 1059.54006)]. (2) If \(PFA\) holds and all \(C_\gamma\) are closed then \((\omega_1, \tau (\vec C))\) cannot be simultaneously perfectly normal and non-realcompact. (3) It is consistent that there exists a regular non-\(D\)-space such that for every closed subset \(Y\), \(e(Y) = L(Y)\).
0 references
perfectly normal
0 references
realcompact
0 references
locally compact
0 references
locally countable
0 references
first countable
0 references
guessing sequence
0 references
continuum hypothesis
0 references
Martin's axiom
0 references
proper forcing axiom
0 references
D-space
0 references