Non-(,_ 1)-regular ultrafilters and perfect k- normality of product spaces

DOI10.1016/0166-8641(92)90002-HMaRDI QIDQ1198628zbMATH OpenFDO

Publication date 16 January 1993

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0166-8641(92)90002-H

\((\omega,\omega_ 1)\)-regular ultrafilter perfectly \(\kappa\)-normal product uniform ultrafilter

Cardinality properties (cardinal functions and inequalities, discrete subsets) (54A25) Consistency and independence results in general topology (54A35) Product spaces in general topology (54B10) Topology of special sets defined by functions (54C50) Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.) (54D15)

Review text

For a cardinal \(\lambda\), the same letter \(\lambda\) denotes the discrete space of cardinality \(\lambda\). For an infinite cardinal \(\lambda\) and a free ultrafilter \(p\) on \(\lambda\), let \(Y_ p\) denote the subspace \(\lambda \cup\{p\}\) of the Čech-Stone compactification of \(\lambda\). A completely regular \(T_ 1\)-space is called perfectly \(\kappa\)-normal if the closure of every open set is a zero-set [\textit{E. V. Shchepin}, Soviet Math. Dokl. 17, 152-155 (1976); translation from Doklady Akad. Nauk SSSR 226, 527-529 (1976; Zbl 0338.54022)]. The author proves: For an uncountable cardinal \(\lambda\) and a countably incomplete, uniform ultrafilter \(p\) on \(\lambda\), the following statements (1)--(3) are equivalent: (1) \(p\) is not \((\omega,\omega_ 1)\)-regular; (2) \(Y_ p\times X\) is perfectly \(\kappa\)-normal for each \(X\), where \(X=\prod_{\alpha<\tau}X_ \alpha\) and each \(X_ \alpha\) is a separable metric space; (3) \(Y_ p\times 2^{\omega_ 1}\) is perfectly \(\kappa\)-normal. The theorem shows that the product of uncountably many \(M_ 1\)-spaces can be perfectly \(\kappa\)-normal even if the tightness of one factor space is uncountable. A perfectly \(\kappa\)- normal space is called a space in the class \(Oz\) independently by \textit{R. L. Blair} [Can. J. Math. 28, 673-690 (1976; Zbl 0359.54009)].

Recommendations

Cites work

Cited in

(6)

This page was built for publication: Non-\((\omega{},\omega{}_ 1)\)-regular ultrafilters and perfect \(k\)- normality of product spaces

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