1.1. Wedges and cones 7 Of course, in any ordered vector space x/\x x\Jx x. In very special ordered vector spaces any finite set of points has a supremum and an infimum. Other ordered vector spaces that are equally rare have the property that some pairs of vectors do not have a supremum or an infimum while other pairs do have least upper and greatest lower bounds. In most ordered vector spaces for each pair of points x, y that are not comparable (i.e., x ^ y ^ x) the supremum x\f y and infimum xAt/do not exist. There is a useful geometric interpreta- tion of the supremum and the infimum of a set of two points. Suppose that K is a cone of a vector space L. Then for any two vectors x,y G L there exists some z G L sat- isfying (x + /C) D (y + /C) = z + K, if and only if z x V y. Similarly, there exists some w G L such that (y /C) fl (x K) = w K if and only if w = x A y. Notice that in the companion figure xVy exists but x\f u does not exist. We shall return to the lattice properties in Section 1.3. We continue by recalling the notions of monotone nets. A net {xa} in a partially ordered set is said to be increasing, written xa t (resp. decreasing, written xa j) if a (3 implies xa x@ (resp. xa xp). The symbol xa] x means that xa | and x = sup{xa}. Likewise the notation x a | x (resp. x xa I) means that the net {xa} is increasing (resp. decreasing) and xa x (resp. x xa) holds for each index a. The meaning xa | x is analogous. The decreasing and increasing nets are referred to as monotone nets. A nonempty subset D of a partially ordered set is said to be directed upward, in symbols D], if for every pair x,y G D there exists some z G D satisfying x z and y z. The directed downward sets are defined similarly. Next, we shall indicate how one can obtain new ordered vector spaces from old ones. First, notice that every subspace of an ordered vector space can be viewed as an ordered vector space in its own right. Indeed, if Y is a vector subspace of an ordered vector space X, then it should be clear that Y equipped with the induced order from X is automatically an ordered vector space. Its positive cone is simply the cone Y+ = Y D X+. Unless otherwise stated, the vector subspaces of ordered vector spaces will be considered as ordered vector spaces with the induced vector ordering. Another way of constructing ordered vector spaces is by means of Carte- sian products. If {(Li,L^~)}iei is a family of ordered vector spaces, then it should be easy to see that the product L + = Yliei ^+ ls a c o n e °f the
Previous Page Next Page