Supseparability of the space of minimal function pairs (Q500933)

A quasi-metric space \((X,d)\) is called supseparable if its symmetrized \((X,d^s)\) is separable. In this article the author studies sufficient conditions for supseparability of the \(q\)-hyperconvex hull \(Q_X\) of a \(T_0\)-quasi-metric space \((X,d)\). Let \((X,d)\) be a \(T_0\)-quasi-metric space. A function pair \(f =(f_1,f_2)\) with \(f_i: X\rightarrow [0,\infty)(i=1,2)\) is called minimal (or extremal) on \((X,d)\) if \(d(x,y) \leq f_2(x) +f_1(y)\) and if for any other function pair \(g =(g_1,g_2)\) such that \(d(x,y) \leq g_2(x) + g_1(y)\) and for each \(x \in X\) we have \(g_1(x)\leq f_1(x)\) and \(g_2(x)\leq f_2(x)\) (in this case we shall write \(g \leq f\)), then \(g = f\). Moreover the function pair \(f = (f_1,f_2)\) on \((X,d)\) is called Katětov if it satisfies the following conditions: \[ d(x,y) \leq f_2(x) + f_1(y) \] and \[ f_1(x)\dot{-}f_1(y) \leq d(y,x) \quad \text{and} \quad f_2(x)\dot{-}f_2(y) \leq d(x,y)\quad \text{whenever} \quad x,y \in X. \] (Where \(a\dot{-}b=\text{max}\{a-b,0\}\)). Then the \(q\)-hyperconvex hull \(Q_X\) is the set of all minimal function pairs on \((X,d)\) and the set of all Katětov function pairs on \((X,d)\) is denoted by \(Q(X)\). The author proves that all minimal function pairs are Katětov which means that \(Q_X \subseteq Q(X)\) for any \(T_0\)-quasi-metric space \((X,d)\). The author introduces the notions of \textit{minimum function pair} and \textit{maximum function pair} on a finite subset of a \(T_0\)-quasi-metric space. Furthermore, he discusses under what conditions a minimum (maximal) function pair is Katětov and under what conditions a minimum (maximal) function pair is minimal.