Supseparability of the space of minimal function pairs (Q500933)

From MaRDI portal
Revision as of 20:41, 10 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Supseparability of the space of minimal function pairs
scientific article

    Statements

    Supseparability of the space of minimal function pairs (English)
    0 references
    8 October 2015
    0 references
    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.
    0 references
    supseparability
    0 references
    supdense
    0 references
    \(q\)-hyperconvex hull
    0 references
    function pair
    0 references

    Identifiers