Spaces with an \(M\)-diagonal (Q2293115)

In this paper the author deals with domination and strong domination by a given topological space. During the last decade, after the publication of the paper of \textit{B. Cascales} et al. [Topology Appl. 158, No. 2, 204--214 (2011; Zbl 1213.54033)], this theory has been developed in an important way. In this work these concepts are particularly studied in the case of the complement of the diagonal. A space \(X\) is defined to be dominated (strongly dominated) by a space \(Y\) if there exists a family \(\mathcal{D} = \{D_K : K\) is a compact subset of \( Y \}\) such that every \(D_K\) is a compact subset of \(X\), \(K\subset L\) implies \(D_K \subset D_L\) and for each \(x\in X\) there is a compact \(K\subset Y\) such that \(x \in D_K\) (and for every compact \(F \subset X\) there is a compact \(K\subset Y\) such that \(F \subset D_K\) ). A space X has an \(M\)-diagonal (or a strong \(M\)-diagonal) if \((X \times X)\setminus \Delta\) is dominated (strongly dominated) by the space \(M\), where \(\Delta= \{(x, x) : x \in X\}\) is the diagonal of the space \(X\). The author proves that if \(X\) is a Tychonoff space and \(X^2\setminus \Delta\) is dominated by a second countable space then \(X\) is cosmic. This result solves an open problem of Cascales et al. in [loc. cit.]. It was also proved that if \(X\) is compact and \(X^2\setminus \Delta\) is dominated by a metric space \(M\), then the tightness of \(X\) is bounded by the weight of \(M\).