ISOCOMPACTNESS AND RELATED TOPICS OF WEAK COVERING PROPERTY

DOI10.4134/BKMS.2002.39.2.347MaRDI QIDQ5894831zbMATH OpenOpenAlexFDO

Authors Myung Hyun Cho, Won Woo Park

Publication date 3 February 2004

Published in Bulletin of the Korean Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.4134/bkms.2002.39.2.347

zbMATH Keywords

\(\alpha\)-realcompact \(\kappa\)-neat \(\kappa\)-pure compact countably compact isocompact neat pure ultrapure

Mathematics Subject Classification ID

Noncompact covering properties (paracompact, Lindelöf, etc.) (54D20) Compactness (54D30)

Review text

Topological properties closely related to isocompactness are investigated, where a space is called \textit{isocompact} if every countably compact closed subspace is compact. In particular, the authors introduce a cardinal generalization of pure spaces defined by \textit{A. V. Arkhangel'skij} [Sov. Math., Dokl. 21, 550-554 (1980; Zbl 0485.54020)]. For an infinite cardinal \(\kappa\), a family \(\{{\mathcal V}_\alpha:\alpha<\kappa\}\) of collections of subsets of a space \(X\) is called \textit{\(\kappa\)-interlacing} on \(X\) if \(\bigcup\bigcup{\mathcal V}_\alpha\) covers \(X\) and for each \(\alpha<\kappa\) each \(V\in{\mathcal V}_\alpha\) is open in \(\bigcup{\mathcal V}_\alpha\). A space \(X\) is said to be \textit{\(\kappa\)-pure} if for every free closed ultrafilter \({\mathcal H}\) on \(X\) with the \(\kappa\)-intersection property, there exists a \(\kappa\)-interlacing \(\{{\mathcal V}_\alpha:\alpha<\kappa\}\) on \(X\) that is \(\kappa\)-suspended from \({\mathcal H}\), i.e., for each \(\alpha<\kappa\) and each \(x\in\bigcup{\mathcal V}_\alpha\), there exists \({\mathcal F}\subseteq{\mathcal H}\) with \(|{\mathcal F}|\leq\kappa\) such that \(st(x,{\mathcal V}_\alpha)\cap(\bigcap{\mathcal F})=\emptyset\). Main results are: (1) Every \(\kappa\)-pure space is \(\kappa\)-neat in the sense of \textit{M. Sakai} [Pacific J. Math. 122, 211-221 (1986; Zbl 0592.54025)], and consequently, every initially \(\kappa\)-compact, \(\kappa\)-pure space is compact. The case \(\kappa=\omega\) of the latter statement is due to A. V. Arkhangel'skij. (2) Every ultrapure space with countable spread is Lindelöf. Some open questions concerning the relationship among various properties which imply isocompactness are asked.

Recommendations

Cited in

(6)

This page was built for publication: ISOCOMPACTNESS AND RELATED TOPICS OF WEAK COVERING PROPERTY

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