On sublinear analogs of weak topologies in normed cones (Q1668087)

Let $(X,\|\cdot\|)$ be a a normed cone. A functional $\ell:X\to \mathbb{R}$ is called linear (sublinear) if it is positively homogeneous and additive (subadditive). A functional $f:X\to \mathbb{R}$ is called bounded if there exists $C>0$ such that $f(x)\le C\|x\|$ for all $x\in X$. Denote by $X^*$ the set of all bounded linear functionals $\ell$ on $X$ such that $\ell(x_0)\ge 0$ for some $x_0\ne 0$. For $\ell\in X^*$, denote by $p_\ell$ the sublinear functional $p_\ell(x)=\max\{0,\ell(x)\}$, $x\in X$. The set $X^*_{\text{sub}}$ of all these sublinear functionals is a cone with respect to the operations $p_{\ell_1}\oplus p_{\ell_1}=p_{\ell_1+\ell_2}$ and $\lambda\cdot p_\ell=p_{\lambda \ell}$ for $\ell,\ell_1,\ell_2\in X^*$ and $\lambda \ge 0$. Also, $\|p_\ell\|_*:=\sup\{p_\ell(x)/\|x\| : x\ne 0\}$ is a norm on $X^*_{\text{sub}}$. As in the case of normed spaces, one can define the weak$^*$ topology on $X^*_{\text{sub}}$ induced by $X$ (the topology of pointwise convergence). The author proves a Banach-Alaoglu result: the ball $B^*=\{p_\ell\in X^*_{\text{sub}} : \|p_\ell\|_*\le 1\}$ is weak$^*$ compact (Theorem 1). The existence of a best approximation elements in a weak$^*$ closed subset of $X^*_{\text{sub}}$ is also proved. \par The cone $X$ is called reflexive if, for every $\psi\in \left(X^*_{\text{sub}}\right)^*$, the functional $p_\psi:X^*_{\text{sub}}\to\mathbb{R}$, given by $p_\psi(p_\ell):=\max\{0,\psi(p_\ell)\}$, $\ell\in X^*$, is of the form $p_\psi(p_\ell)=\max\{0,p_\ell(x)\}$, $\ell\in X^*$, for some fixed $x\in X$. In this case, the ball $B_X=\{x\in X: \|x\|\le 1\}$ is weakly compact (Theorem 5).