Strongly exposed points and Lyapunov's theorem (Q1920851)

Let \(\{K_n\}\) be a nested sequence of relatively weakly compact closed sets in a Banach space. In the key lemma of this paper, the author gives a condition ensuring nonemptiness for the intersection \(\bigcap_{n\in \mathbb{N}} K_n\). In the article, the following notations are used: \(X\) is a Banch space; \(d(x, A):= \inf\{|x- y|: y\in A\}\) is the distance from \(x\in A\) to \(A\subset X\); \(B(A, \varepsilon):= \{y\in X: d(y, A)\leq \varepsilon\}\) is the closed \(\varepsilon\)-neighborhood of a set \(A\subset X\); \(H(A, C):= \inf\{\lambda> 0: A\subseteq B(C, \lambda), C\subseteq B(A, \lambda)\}\) is the Hausdorff distance between \(A, C\subset X\); \(\text{cl } A\) (\(w\)-cl \(A\)) and \(\text{co }A\) are the closure (weak closure) and convex hull of a set \(A\subset X\), respectively. Lemma 1. Let \(\{K_n\}\) be a sequence of weakly precompact closed subsets of \(X\) such that: \[ (\text{A})\quad K_{n+ 1}\subseteq K_n,\;n\in \mathbb{N},\qquad (\text{B})\quad H_n:= H(\text{cl co } K_n,\;\bigcap_{n\in \mathbb{N}} \text{cl co } K_n)\to 0. \] Then \(\bigcap_{n\in \mathbb{N}} K_n\neq \emptyset\). In the sequel there are presented applications of Lemma 1 to the minimization of a continuous function on a weakly compact convex set, to a fixed-point theorem for a weakly compact set, to closure of the Aumann integral for certain multivalued functions and, finally, to closure of the range of a vector measure (Lyapunov's theorem).