We study a class of countable extremally disconnected spaces vrithout isolated points. We show that the Cech-Stone compactification of a space from this class admits a semi-open continuous maps onto a Cantor cube if and only if the space itself is modelled by an ultrafilter on omega that is not nowhere dense.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Let X be an infinite set, and P(X) the Boolean algebra of subsets of X. We consider the following statements: BPI(X): Every proper filter of P(X) can be extended to an ultrafilter. UF(X): P(X) has a free ultrafilter. We will show in ZF (i.e., Zermelo–Fraenkel set theory without the Axiom of Choice) that the following four statements are equivalent: (i) BPI(ω). (ii) The Tychonoff product 2R, where 2 is the discrete space {0, 1}, is compact. (iii) The Tychonoff product [0, 1] R is compact. (iv) In a Boolean algebra of size ≤ |R| every filter can be extended to an ultrafilter. We will also show that in ZF, UF(R) does not imply BPI(R). Hence, BPI(R) is strictly stronger than UF(R). We do not know if UF(ω) implies BPI(ω) in ZF. Furthermore, we will prove that the axiom of choice for sets of subsets of R does not imply BPI(R) and, in addition, the axiom of choice for well orderable sets of non-empty sets does not imply BPI(ω).
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.