Supseparability of the space of minimal function pairs
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.
- scientific article; zbMATH DE number 4096360
- The Minimal Support for a Continuous Functional on a Function Space
- Minimal Compactifications and their Associated Function Spaces
- Suprema of continuous functions on connected spaces
- scientific article; zbMATH DE number 4069784
- Pairings of function spaces
- On characterizations of sup-preserving functionals
- The minimal support for a continuous functional on a function space. II
- Minimal and co-minimal projections in spaces of continuous functions
- Publication:4946116
This page was built for publication: Supseparability of the space of minimal function pairs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q500933)
