Properties of the Ceder product (Q326023)

Let \(X\), \(Y\) be topological spaces. By generalising an example of \textit{J.G. Ceder} [Pac. J. Math. 11, 105--125 (1961; Zbl 0103.39101)], the first and the third author of the present paper have previously considered the following topology on \(X \times Y\) in [Bukovyn. Mat. Zh. 1, No. 1--2, 107--112 (2013; Zbl 1313.54025)]. Fix a point \(b \in Y\). Basic neighbourhoods of points \((x,y) \in X \times Y\) with \(y \neq b\) have the form \(\{x\} \times V\), where \(V\) is a neighbourhood of \(y\) in \(Y\), and basic neighbourhoods of points \((x,b) \in X \times Y\) have the form \((U \times V) \setminus (\{x\} \times (V \setminus \{b\}))\), where \(U\) is a neighbourhood of \(x\) in \(X\) and \(V\) is a neighbourhood of \(y\) in \(Y\). They denoted the resulting space by \(X \times_{b} Y\) and called it the Ceder product of \(X\) and \(Y\). Here they continue their study of the Ceder product and prove some elementary facts concerning separation axioms. For example, \(X \times_{b} Y\) is Hausdorff if and only if \(X\) and \(Y \setminus \{b\}\) are Hausdorff and \(\{b\}\) is closed in \(Y\). They also show that if \(b\) is a non-isolated point in \(Y\), then \(X \times_{b} Y\) is metrisable if and only if the following conditions are satisfied: (i) \(X\) and \(Y \setminus \{b\}\) are metrisable; (ii) \(X\) is a countable union of discrete subspaces; (iii) \(\{b\}\) is closed in \(Y\); and (iv) if \(X\) is non-discrete, then \(b\) has a countable base of closed neighbourhoods in \(Y\).