Supercompact minus compact is super (Q2329339)

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\).