Scattered P-spaces of weight _1

From MaRDI portal
Publication:6045501



Abstract: We examine dimensional types of scattered P-spaces of weight omega1. Such spaces can be embedded into omega2. There are established similarities between dimensional types of scattered separable metric spaces and dimensional types of P-spaces of weight omega1 with Cantor--Bendixson rank less than omega1.


In what follows, a \textit{\(P\)-space} is a topological space on which all \(G_\delta\) subsets are open. A topological space \(X\) is said to be \textit{crowded} if it has no isolated points, and it is \textit{scattered} (or \textit {dispersed}) if every non-empty subspace \(Y\) of \(X\) contains a point which is isolated in \(Y\). We assume the reader is familiar with the \textit{derived set}, \textit {Cantor-Bendixson derivative} and the \textit {Cantor-Bendixson rank} (denoted by \(N(A)\)) of a subset \(A\) of a topological space \(X\). In particular, the reader may easily recall that if \(X\) is a scattered space then \(N(X)\) is the least ordinal \(\alpha\) such that the \(\alpha\)-th Cantor-Bendixson derivative \(X^{(\alpha)}\) is empty. It follows that \(X^{(\beta)} \neq \emptyset\) whenever \(\beta < N(X)\) (for dispersed \(X\)) and, if \(X\) is a scattered space of size \(\aleph_1\), then \(N(X) < \omega_2\). The \textit{weight} of a topological space \(X\) is the minimal cardinality for a base of \(X\). The paper under review is a continuation of \textit{W. Bielas} et al. [Topology Appl. 312, Article ID 108064, 18 p. (2022; Zbl 1507.54016)] -- on which the authors have studied crowded \(P\)-spaces of size and weight \(\aleph_1\) -- now focusing on scattered \(P\)-spaces of weight \(\aleph_1\). A general idea that some proofs on scattered \(P\)-spaces of weight \(\aleph_1\) and countable Cantor-Bendixson derivative are similar to proofs concerning scattered separable metric spaces is explored and permeates the whole paper. The paper begins with the easy, instructive observation that any scattered space of weight at most \(\aleph_1\) has size not larger than \(\aleph_1\). A large number of results are established. For instance, it is shown that any regular scattered \(P\)-space of weight \(\aleph_1\) can be embedded into \(\omega_2\) (with the order topology). As a corollary of the previous result, a regular scattered \(P\)-space of weight \(\aleph_1\) has a scattered compactification of cardinality \(\aleph_1\). The paper finishes with some remarks concerning \(P\)-spaces with uncountable Cantor-Bendixson ranks. In the point of view of the authors, the investigation of such spaces will need new tools and ideas.











This page was built for publication: Scattered \(P\)-spaces of weight \(\omega_1\)

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