Hereditarily supercompact spaces

DOI10.1016/J.TOPOL.2013.10.028MaRDI QIDQ386207zbMATH OpenOpenAlexFDO

Authors Zdzisław Kosztołowicz, Sławomir Turek, Taras Banakh

Publication date 9 December 2013

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

Full work available at URL https://arxiv.org/abs/1301.5297

hereditarily normal space hereditarily supercompact space monotonically normal space

Applications of set theory (03E75) Product spaces in general topology (54B10) Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.) (54D15) Compactness (54D30)

Abstract: A topological space

X

is called hereditarily supercompact if each closed subspace of X is supercompact. By a combined result of Bula, Nikiel, Tuncali, Tymchatyn, and Rudin, each monotonically normal compact Hausdorff space is hereditarily supercompact. A dyadic compact space is hereditarily supercompact if and only if it is metrizable. Under (MA + not CH) each separable hereditarily supercompact space is hereditarily separable and hereditarily Lindel"of. This implies that under (MA + not CH) a scattered compact space is metrizable if and only if it is separable and hereditarily supercompact. The hereditary supercompactness is not productive: the product [0,1] x alpha D of the closed interval and the one-point compactification alpha D of a discrete space D of cardinality |D|ge non(M) is not hereditarily supercompact (but is Rosenthal compact and uniform Eberlein compact). Moreover, under the assumption cof(M)=omega_1 the space [0,1] x alpha D contains a closed subspace X which is first countable and hereditarily paracompact but not supercompact.

Review text

A topological space \(X\) is said to be \textit{supercompact} if it has a subbase such that each cover of \(X\) by elements of this subbase has a two-element subcover (so, by the well-known Alexander Lemma, supercompact spaces are compact). Compact metrizable spaces are supercompact [\textit{M. Strok} and \textit{A. Szymanski}, Fundam. Math. 89, 81--91 (1975; Zbl 0316.54030)].NEWLINENEWLINEIn the paper under review, the authors investigate \textit{hereditarily supercompact spaces} -- i.e., spaces with the property that every closed subspace is supercompact. The main results of the paper are:NEWLINENEWLINE\noindent (1) A dyadic compact space is hereditarily supercompact if, and only if, it is metrizable.NEWLINENEWLINE\noindent (2) Under \({MA} + \neg CH\), each separable hereditarily supercompact space is hereditarily separable and hereditarily Lindelöf. This implies that under \({MA} + \neg CH\) a scattered compact space is metrizable if, and only if, it is separable and hereditarily supercompact.NEWLINENEWLINE\noindent (3) Hereditary supercompactness is not productive: the product \([0,1] \times \alpha D\) of the closed interval and the one-point compactification \(\alpha D\) of a discrete space \(D\) of cardinality \(|D| \geqslant \text{non}(\mathcal{M})\) is not hereditarily supercompact. In this result, \(\text{non}(\mathcal{M})\) denotes the \textit{uniformity} of the ideal of meager sets, meaning that \(\text{non}(\mathcal{M})\) is the cardinality of the smallest non-meager subset of \(\mathbb{R}\).

Recommendations

Cites work

Cited in

(8)

This page was built for publication: Hereditarily supercompact spaces

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