Convergence and left-\(K\)-sequential completeness in asymmetrically normed lattices (Q2434166)

With \(\mathbb R\), \(\mathbb R^+\), \(\mathbb N\), the sets of real numbers, of positive real numbers and of positive integers, respectively, with \(X\) a real linear space, a function \(p : X\to\mathbb R\) is called an asymmetric norm on \(X\) if, for all \(x,y\in X\) and \(\alpha\in\mathbb R^+\), (a) \(p(x)=p(-x)=0\) iff \(x=0\), (b) \(p(\alpha x)=\alpha p(x)\), (c) \(p(x+y)\leq p(x)+p(y)\). The function \(p^{-1}: X\to\mathbb R^+\) defined by \(p^{-1}(x)=p(-x)\) is also an asymmetric norm, and the function \(p^s: X\to\mathbb R^+\) given by \(p^s(x)=\max\{p(x),p(-x)\}\) is a norm on \(X\). With the quasi-metric \(d_p\), defined by \(d_p(x,y)=p(y-x)\) for all \(x,y\in X\) and with the usual balls \(B_r(x)=\{y\in X:p(y-x)<r\}\) (for \(r>0\)), the topology \(\tau_p\) induced by \(d_p\) is obvious. The authors consider the asymmetric norm, derived from the norm of a normed lattice \((X,||\cdot||)\), in the following manner: \(p(x)=||x^+||\), \(x\in X\), where \(x^+=0\vee x\); \((X,p)\) is called asymmetrically normed lattice; convergence of sequences in such lattices is thoroughly discussed and it is shown that the topology \(\tau_p\) on \((X,p)\) is \(T_0\) but not \(T_1\). A sequence \((x_n)_{n\in\mathbb N}\) in an asymmetrically normed space \((X,p)\) is called left (respectively, right) \(K\)-Cauchy if, for each \(\epsilon>0\), there is \(n_0\in\mathbb N\) such that \(p(x_n-x_k)<\epsilon\) (respectively, \(p(x_k-x_n)<\epsilon\)) for all \(n\geq k\geq n_0\). It is shown that the asymmetrically normed lattices \((\mathbb R^m,p)\), \((\mathbb R^m,p^{-1})\), \((C(\Omega),p)\), \((C(\Omega),p^{-1})\), \((\ell_{\infty},p)\), \((\ell_{\infty},p^{-1})\) and \((c_0,p)\) are left-\(K\)-sequentially complete. Finally, it is shown by an example that not every asymmetrically normed lattice \((X,p)\) is left-\(K\)-sequentially complete.