Sequential analogues of the Lyapunov and Krein–Milman theorems in Fréchet spaces

In this paper we develop the theory of anti-compact sets we introduced earlier. We describe the class of Fréchet spaces where anti-compact sets exist. They are exactly the spaces that have a countable set of continuous linear functionals. In such spaces we prove an analogue of the Hahn–Banach theorem on extension of a continuous linear functional from the original space to a space generated by some anti-compact set. We obtain an analogue of the Lyapunov theorem on convexity and compactness of the range of vector measures, which establishes convexity and a special kind of relative weak compactness of the range of an atomless vector measure with values in a Fréchet space possessing an anti-compact set. Using this analogue of the Lyapunov theorem, we prove the solvability of an infinite-dimensional analogue of the problem of fair division of resources. We also obtain an analogue of the Lyapunov theorem for nonadditive analogues of measures that are vector quasi-measures valued in an infinite-dimensional Fréchet space possessing an anti-compact set. In the class of Fréchet spaces possessing an anti-compact set, we obtain analogues of the Krein–Milman theorem on extreme points for convex bounded sets that are not necessarily compact. A special place is occupied by analogues of the Krein–Milman theorem in terms of extreme sequences introduced in the paper (the so-called sequential analogues of the Krein–Milman theorem).