Covering dimension, Bolzano and Steinhaus properties (Q684009)

Let \(\mathcal{P}=\{(A_i, B_i):i\in\Gamma\}\) be a family of pairs of disjoint closed subsets of a space \(X\). \(\mathcal{P}\) is called a \textit{\(\Gamma\)-BK system} if for each continuous mapping \(f:X\to{\mathbb R}^{\Gamma}\) satisfying \(p_i(f(A_i))\subset(-\infty, 0]\) and \(p_i(f(B_i))\subset[0,\infty)\) for each \(i\in\Gamma\), there exists \(c\in X\) such that \(f(c)=0\). \(\mathcal P\) is called a \textit{\(\Gamma\)-B system} if for each family \(\{(H_i^-, H_i^+):i\in\Gamma\}\) of pairs of closed subsets of \(X\) with \(A_i\subset H_i^-\), \(B_i\subset H_i^+\) and \(H_i^-\cup H_i^+=X\) for each \(i\in\Gamma\), \(\bigcap\{H_i^-\cap H_i^+:i\in\Gamma\}\neq\emptyset\). If \(\Gamma=\{1,2,\ldots,n\}\), then \(\mathcal P\) is simply called an \textit{\(n\)-BK system} and \textit{\(n\)-B system}, respectively. Clearly, if \(X\) is a normal space, then \(\mathcal P\) is an \(n\)-B system in \(X\) if and only if \(\mathcal P\) is an \(n\)-BK-system in \(X\) [\textit{W. Kulpa}, Filomat 8, 81--97 (1994; Zbl 0823.54034)], and hence, it follows that if \(X\) is a normal space, then the following are equivalent: (i) \(\dim X\geq n\); (ii) \(X\) has an \(n\)-BK system; and (iii) \(X\) has an \(n\)-B system (Corollary 1). On the other hand, the first author of this paper showed in [\textit{P. Tkacz}, Topol. Methods Nonlinear Anal. 49, No. 2, 481--495 (2017; Zbl 1376.54017)] that the regular and not completely regular space \(M\) which was constructed in [\textit{A. Mysior}, Proc. Am. Math. Soc. 81, 652--653 (1981; Zbl 0451.54019)] has an \(n\)-BK system that is not an \(n\)-B system. In this paper, the authors prove that the space \(M\) has an \(n\)-B system for each \(n\in{\mathbb N}\) and pose the question whether there exists a regular and not completely regular space without an \(n\)-B system. Furthermore, the authors present two versions of Steinhaus' chain property, \textit{\(n\)-SC system} and \textit{weak \(n\)-SC system} and show that if \(X\) is a locally connected and locally compact normal space, or compact space, then \(\dim X\geq n\) if and only if \(X\) has an \(n\)-SC system.