Remote points under the continuum hypothesis (Q1047095)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Remote points under the continuum hypothesis |
scientific article |
Statements
Remote points under the continuum hypothesis (English)
0 references
4 January 2010
0 references
A point \(p\) in the Stone-Čech remainder \(\beta X \setminus X\) of a completely regular space \(X\) is called a remote point if \(p\) does not belong to the closure (in \(\beta X\)) of any nowhere dense subset of \(X\). A result of Chae and Smith, and of van Douwen, says that non-pseudocompact spaces of \(\pi\)-weight \(\omega\) have remote points. \textit{A. Dow} proved [Fundam. Math. 124, 197--205 (1984; Zbl 0561.54018)] that ccc non-pseudocompact spaces of \(\pi\)-weight \(\omega_1\) have remote points, and [Trans. Am. Math. Soc. 312, No.~1, 335--353 (1989; Zbl 0675.54025)] that consistently not all separable non-pseudocompact spaces have remote points. The authors show that, under the continuum hypothesis CH, every ccc non-pseudocompact space of weight at most \(\omega_2\) has remote points. This is a consequence of an analogous result about Boolean algebras: under CH, every complete ccc Boolean algebra of size \(\omega_2\) has remote filters (with respect to every partition of unity). Here a filter \(F\) on a Boolean algebra \(B\) is remote with respect to a partition of unity \(P = (p_n : n \in \omega )\) of \(B\) if for any subset \(A\) of \(B\) with \(\sum A = 1\), there are an element \(b_A \in F\) and finite sets \(A_n \subset A\) such that \(b_A \cdot p_n \leq \sum A_n\) for every \(n\). The authors also prove that, under CH, every product of completely regular ccc spaces of weight \(\omega_1\) has remote points provided the product is ccc and non-pseudocompact.
0 references
Stone-Čech remainder
0 references
remote point
0 references
non-pseudocompact space
0 references
ccc space
0 references
ccc Boolean algebra
0 references
continuum hypothesis
0 references