Extreme points and geometric aspects of compact convex sets in asymmetric normed spaces (Q266298): Difference between revisions

The paper is concerned with extreme points of compact convex sets in an asymmetric normed space \((X,q)\) (see the book by \textit{S. Cobzaş} [Functional analysis in asymmetric normed spaces. Basel: Birkhäuser (2013; Zbl 1266.46001)]). The asymmetry of the norm \(q\) means that the equality \(q(-x)=q(x)\) is not always true. If the topology \(\tau_q\) generated by the asymmetric norm \(q\) is Hausdorff, then a Krein-Milman type result holds in \((X,q)\) (see [Cobzaş, loc. cit.]). The paper focuses on the case when the topology \(\tau_q\) is only \(T_0\), in which case such a result could not hold, as is shown by a simple example in \((\mathbb R,p)\), where \(p(t)=\max\{t,0\}\), \(t\in \mathbb R\). Indeed, taking \(K=(-1,1]\), then \(\mathrm{Ext}(K)=\{1\}\) and \(\overline{\{1\}}^p=[1,\infty)\), where \(\mathrm{Ext}(K)\) denotes the set of the extreme points of a convex set \(K\). Putting \(\theta(0)=\{x\in X:q(x)=0\}\) and \( \theta(x)=x+\theta(0)\), a set \(K\subset X\) is \(q\)-compact iff \(K+\theta(0)\) is \(q\)-compact (Prop. 2.2) and, in this case, \(\mathrm{Ext}(K+\theta(0))\subset\mathrm{Ext}(K)\) (Theorem 4.1). If \(K\) is convex and \(q\)-compact such that \(K+\theta(0)\) is \(q^s\)-locally compact (in particular, if \(K+\theta(0)\) is finite dimensional), then \(\mathrm{Ext}(K+\theta(0))\neq\emptyset\), where \(q^s(x)= \max\{q(x),q(-x)\}\) is the (symmetric) norm associated to \(q\). The existence of an extreme point of every convex compact subset of an asymmetric normed space is an open problem, stated by the authors at the end of the paper.