Supercompact minus compact is super

DOI10.1016/J.TOPOL.2019.106868MaRDI QIDQ2329339zbMATH OpenOpenAlexFDO

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

Publication date 17 October 2019

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

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

\(k\)-network abstract simplicial complex binary network collectionwise normal \(\aleph\)-space GO-space super space supercompact space Tychonoff product

Mathematics Subject Classification ID

Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.) (54D15) Compactness (54D30)

Abstract: According to a folklore characterization of supercompact spaces, a compact Hausdorff space is supercompact if and only if it has a binary closed

k

-network. This characterization suggests to call a topological space

s u p e r

if it has a binary closed

k

-network

m a t h c a l N

. The binarity of

m a t h c a l N

means that every linked subfamily of

m a t h c a l N

is centered. Therefore, a Hausdorff space is supercompact if and only if it is super and compact. In this paper we prove that the class of super spaces contains all GO-spaces, all supercompact spaces, all metrizable spaces, and all collectionwise normal

a l e p h

-spaces. Moreover, the class of super spaces is closed under taking Tychonoff products and discretely dense sets in Tychonoff products. The superness of metrizable spaces implies that each compact metrizable space is supercompact, which was first proved by Strok and Szyma'nski (1975) and then reproved by Mills (1979), van Douwen (1981), and D{c e}bski (1984).

Review text

Let \(\mathcal{N}\) be a family of subsets of a topological space \(X\). If all sets from \(\mathcal{N}\) are closed, then \(\mathcal{N}\) is called closed. \(\mathcal{N}\) is called a \(k\)-network of \(X\) if, for any open in \(X\) set \(U\) and any compact \(K\subseteq U\), there exists a finite subfamily \(\mathcal{F}\) of \(\mathcal{N}\) such that \(K\subseteq\bigcup\mathcal{F}\subseteq U\). It is said that \(\mathcal{N}\) is binary if, for every non-empty subfamily \(\mathcal{F}\) of \(\mathcal{N}\), it holds that \(\mathcal{F}\) is centered if and only if \(A\cap B\neq\emptyset\) for every pair \(A,B\) of members of \(\mathcal{F}\). The following new concept is introduced: a topological space \(X\) is called a super space if it admits a closed binary \(k\)-network. It is recalled that a Hausdorff space is supercompact if and only if it is both compact and super. Supercompact spaces have been investigated for over 50 years. However, the main theorems on super spaces included in this article are really new and some of them have very original proofs in \(ZFC\). For instance, by applying abtract simplicial complexes and their geometric realizations, it is proved in \(ZFC\) that every collectionwise normal \(\aleph\)-space admits a binary \(\sigma\)-discrete closed \(k\)-network, so it is super and, in consequence, all metrizable spaces are super. The following open problem is posed: does every metrizable space admit a binary \(\sigma\)-discrete base? Moreover, it is noticed that all generalized ordered spaces are super, a closed subspace of a Hausdorff super space need not be super, a Hausdorff space which is a continuous image of a Hausdorff super space need not be super; however, discretely dense subspaces of Tychonoff products of super spaces are super. If \(\{X_s: s\in S\}\) is a collection of topological spaces, then a subset \(Y\) of the product \(\prod_{s\in S}X_s\) is called discretely dense in \(\prod_{s\in S}X_s\) if, for every \(x\in\prod_{s\in S}X_s\) and every finite set \(F\subseteq S\), there exists \(y\in Y\) such that \(x(s)=y(s)\) for each \(s\in F\).

Recommendations

Cites work

Cited in

(13)

This page was built for publication: Supercompact minus compact is super

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