The vector lattice structure on the Isbell-convex hull of an asymmetrically normed real vector space (Q2411457)

Let \(p\) be an asymmetric norm on a real linear space \(X\) with conjugate \(p^t(x)=p(-x)\), \(x\in X\) (see [\textit{Ş. Cobzaş}, Functional analysis in asymmetric normed spaces. Basel: Birkhäuser (2013; Zbl 1266.46001)]). The asymmetrically normed space \(X\) is called injective if a Hahn-Banach type theorem holds for continuous linear operators with values in \(X\). For a family \(\{x_i,\, i\in I\}\) of elements in \(X\) and positive numbers \(r_i,s_i\), \(i\in I\), put \(B_i=B_p[x_i,r_i]\) and \(B_i^t=B_{p^t}[x_i,s_i]\), where \(B_p[x,r]=\{y\in X :p(y-x)\leq r\}\). One says that \(X\) is Isbell-complete if \(B_i\cap B^t_j\neq\emptyset\), for all \(i,j\in I\), implies \(\bigcap_{i\in I}\left(B_i\cap B^t_i\right)\neq\emptyset\), and Isbell-convex if this intersection is nonempty provided \(p(x_j-x_i)\leq r_i+s_j\) for all \(i,j\in I,\) for all families \(\{x_i\}\) of elements in \(X\) and positive numbers \(r_i,s_i\). Isbell-completeness is the asymmetric analog of Nachbin's binary intersection property, while Isbell-convexity is the asymmetric analog of hyperconvexity. In the case of an asymmetrically normed space they are equivalent, but in quasi-metric spaces these properties can be different. As in the normed case, one shows that the asymmetrically normed space \((X,p)\) is injective if and only if it is Isbell-complete (or, equivalently, Isbell-convex) if and only if it is a \(P_1\)-space, i.e., it admits a norm-one projection from every asymmetrically normed space containing it. An example of an injective asymmetrically normed space is given by a Dedekind complete ordered linear space with order unit \(e\), the asymmetric norm being given by \(p(x)=\inf\{\lambda\geq 0 : x\leq\lambda e\}\). In particular, this holds for the space \(C(T)\), where \(T\) is an extremally disconnected compact Hausdorff space with unit is \(e(t)\equiv 1\). The present paper is concerned with the existence of Isbell injective hulls of asymmetrically normed spaces. The case of quasi-metric spaces was treated in [\textit{E. Kemajou} et al., Topology Appl. 159, No. 9, 2463--2475 (2012; Zbl 1245.54023)]. The authors show that on the quasi-metric injective hull of \(X\), considered as a quasi-metric space with respect to \(d_p(x,y)=p(y-x)\), \(x,y\in X\), one can define a linear and order structure (making it Dedekind complete), so that the metric injective hull of the quasi-metric space \((X,d_p)\) agrees with the injective hull of the asymmetrically normed space \((X,p)\).