Weak base \(g\)-functions and metrizability of topological spaces (Q617737)

Let \(X\) be a topological space. A weak base for \(X\) is a collection \(\mathfrak B=\cup\{\mathfrak B_x:x\in X\},\;\mathfrak B_x\subset 2^X\), such that: {\parindent4mm \begin{itemize}\item[--] \(x\in\cap\mathfrak B_x\) and \(\mathfrak B_x\) is closed under finite intersections for each \(x\in X\); \item[--] a subset \(U\subseteq X\) is open if and only if for each \(x\in U\) there exists \(B\in\mathfrak B_x\) such that \(x\in B\subset U\). \end{itemize}} A map \(g:\mathbb N\times X\to 2^X\) is a weak base \(g\)-function if the following conditions hold: {\parindent4mm \begin{itemize}\item[--] \(x\in g(n,x)\) and \(g(n+1,x)\subset g(n,x)\) for every \(x\in X\) and \(n\in\mathbb N\); \item[--] \(\{g(n,x):n\in\mathbb N, \;x\in X\}\) is a weak base for \(X\). Define \(g^1(n,x)=g(n,x)\) and \(g^{k+1}(n,x)=\cup \{g^k(n,y):y\in g(n,x)\}\). \end{itemize}} The following question was posed by \textit{K. Li} [J. Math. Res. Expo. 28, No.~3, 695--698 (2008; Zbl 1199.54166)]. Suppose that \(X\) is a regular topological space, \(k\in\mathbb N\) and \(g\) is a weak base \(g\)-function such that: {\parindent4mm \begin{itemize}\item[--] \(\bar A\subset\cup\{g(n,x):x\in A\}\) for each \(A\subset X\) and \(n\in\mathbb N\); \item[--] if \(p\in g^{k+1}(n,x_n)\) and \(x_n\in g^{k+1}(n,p)\) for all \(n\in\mathbb N\), then \(x_n\to p\). \end{itemize}} Is \(X\) a metrizable space? The authors give an affirmative answer to this question. Some other criteria for metrizability in terms of weak base \(g\)-functions are also presented.