Statement:

The Krein-Milman Theorem: Let \(K\) be a compact convex set in a locally convex topological vector space \(X\). Then \(K\) has an extreme point. (An extreme point is a point which is not an interior point of any line segment which lies in  \(K\).) Rubin, H./Rubin, J. [1985] p. 177.

Howard_Rubin_Number: 65

Parameter(s): This form does not depend on parameters

This form's transferability is: Unknown

This form's negation transferability is: Negation Transferable

Article Citations:

Book references
Equivalents of the Axiom of Choice II, Rubin, J., 1985
Real Analysis, Royden, H. L., 1963

Note connections:

The following forms are listed as conclusions of this form class in rfb1: 324, 14, 18, 45-n, 80, 98, 128, 154, 164, 198, 216, 344, 358, 388, 1,

Back