Extreme Maximal Ideals of a Partially Ordered Vector Space

F. F. Bonsall
1956 Proceedings of the American Mathematical Society  
1. Let F be a partially ordered vector space with an order unit e. It is well known that the class 5DÎ of maximal ideals of V is in one-one correspondence with the class K of normalized positive linear functionals, in the sense that to each ME^SR corresponds a positive linear functional <¡>m with M as its null-space and with M(e) = 1. A maximal ideal MG 90? is said to be extreme if m = <t$i + (1 -a)<p2 with <pi, <p2EK and 0<<r<l can hold only with <pi=<p2=<pM. Kadison [2 ] has fully
more » ... s fully demonstrated the importance of the extreme maximal ideals in the theory of the representation of partially ordered vector spaces by function spaces. The main purpose of this article is to give a simple and direct characterization of the extreme maximal ideals in terms of the order structure in V. This characterization improves our understanding of the place of the extreme maximal ideals in the representation theory. For example, it becomes almost obvious that, if Fis lattice ordered, then the extreme maximal ideals coincide with the lattice maximal ideals. We consider a class of ideals that we call "perfect" ideals. Besides providing the required characterization of the extreme maximal ideals as perfect maximal ideals, perfect ideals are of interest in their own right. The class of all perfect ideals has the most important properties of the class of all ideals. In particular, if V has no perfect proper ideals other than (0), then V is isomorphic to R. The fundamental theorem on extreme points of convex sets of linear functionals is the Krein-Milman existence theorem [3] . This theorem is shown to be a simple consequence of the fact that each perfect proper ideal is contained in a perfect maximal ideal. In fact, the Krein-Milman theorem is related to this property of perfect ideals in the same way that the Hahn-Banach theorem is related to the corresponding property of ideals in general. 2. Definitions and notation. Let F be a partially ordered vector space, namely a vector space over R in which a nonempty positive cone V+ is specified having the following properties:
doi:10.2307/2033546 fatcat:eb2lxa3tezeprbc6ulpnq5ovlm