Extremity in Köthe-Bochner function spaces (Q1380316)

Let \(X\) be a Banach space, \(S_X\) be the unit sphere of \(X\), \(B_X\) be the unit ball of \(X\), \(E\) be a Köthe function space over a complete measurable space and \(E(X)\) be the Köthe-Bochner function space. It is shown that every denting point of \(B_E\) (that is a point \(h\in {S_E}\setminus \overline {\text{co}}\{y\in {B_E}:\| y- x\| \geq \varepsilon \}\) for any \(\varepsilon > 0\)) is order continuous (that is for any decreasing sequence \((g_n)\) in \(S_E\), \({\bigwedge_n} {g_n} = 0\) and \({g_n} < | h| \) implies \(\lim_{n\rightarrow \infty }{g_n} = 0\)). Using this result it is proved that \(f\) is a denting point of \(B_{E(X)}\) if and only if \(\| f(\cdot)\| _X\) is a denting point of \(B_X\) and \(f(t)/\| f(t)\| _X\) is a denting point of \(B_X\) for almost all \(t\in \text{supp}f\). Moreover, if every \(g\in S_E\) is order continuous, \(f\in S_{E(X)}\) is a strongly exposed point of \(B_{E(X)}\) (that is a point \(x\in S_{E(X)}\) for which there is \({x^*}\in S_{E(x)}\) such that \(x^*\) exposes \(B_{E(X)}\) at \(x\) and for each \(\varepsilon > 0\) there is \(\delta > 0\) such that \(\sup \{\| y-z\| : y,z\in {B_{E(X)}}\) and \(\langle{x^*},y\rangle, \langle{x^*},z\rangle >\;1-\delta \} < \varepsilon \)) if \(\| f(\cdot)\| _X\) is a strongly exposed point of \(B_X\) and \(f(t)/\| f(t)\| _X\) is a strongly exposed point of \(B_X\) for almost all \(t\in \text{supp}f\).