e](f) = [absolute value of e(f)]; then using the Krein-Milman theorem
, it is easy to see that [tau] is separated.
The collection concludes with papers on the theory of complex functions, a proof of the Krein-Milman Theorem
, and a review of the influence of Wedderburn on modern algebra.
The proof of this relies on a Krein-Milman theorem
for Markov operators obtained in Section 2, a result of Goodearl, , stating that S is the inverse limit of a sequence of finite dimensional simplices, and the idea used in Example 2.
By the Hahn-Banach and the Krein-Milman Theorems
, E(x) [not equal to] [empty set].