Orderings on Sets

Orderings on Sets We are going to be particularly concerned with certain binary relations which are called orderings of which there are several types. Such relations are used in economics to describe preferences of various agents. Thus, for example, suppose that an n-vector n x = (x1; x2; : : : ; xn) 2 R represents a \bundle" of goods available to consumers, xi representing the amount of godd i in the bundle. Thus, for example, if the first component represents the number of refridgerators measured in units while the second component represents wheat measured in bushels then (2; 3:659;:::) 2 Rn is a bundle of goods consisting, among other things of two refridgerators and 3.659 bushels of wheat. In describing consumer behavior, we generally make the assumption that one and only one of the following alternatives holds: 1. a bundle x is preferred to the bundle y; 2. the consumer is indifferent in the choice of bundles; 3. the bundle y is preferred to the bundle x. This situation calls for some structure of preference. Definition 1.1 A binary relation R in a set A is said to be a preorder on A if it is reflexive and transitive, i.e., (a) 8a 2 A ; a R a. (b) If a R b and b R c then a R c. A set, together with a definite preorder is called a preordered set. It is traditional to write a preorder with the symbol ≺. Thus \a preceeds b", or \b is preceeded by a, or, in economics, \b is preferred to a" is written a ≺ b. The symbol (A; ≺) denotes a preordered set. Notice that if B ⊂ A and if A is preordered by ≺ then this preorder induces a preorder on B. Example 1.2 (a) In any set, the relation ∆ is a preorder and a ≺ b means a = b. Note that we no not assume that any two elements can be compared. In other words, we do not require that either a ≺ b or b ≺ a for all a; b 2 A. (b) In the set R the relation f(x; y 2 R × R j x ≤ yg is a preorder. On the other hand f(x; y) 2 R × R j x < yg is not a preorder. (Why?) 1 (c) (IMPORTANT!) For any set X, consider the power set P(X). The relation A ≺ B defined by A ≺ B () A ⊂ B is a preordering of P(X). In this particular case, we say that P(X) is preordered by inclusion. There is a standard terminology pertaining to preordered sets. Definition 1.3 Let (A; ≺) be preordered. Then (a) m 2 A is called a maximal element in A provided, for all a 2 A m ≺ a ) a ≺ m. In other words, if either no a follows m or if each a that follows m also preceeds m. (b) ao 2 A is called an upper bound for a subset B ⊂ A if 8b 2 B b ≺ ao. (c) B ⊂ A is called a chain in A if each two elements in B are related. Example 1.4 (a) In the preceeding example part (a), each element is maximal. No subset of A containing at least two elements has an upper bound. Thus a maximal element in A need not be an upper bound for A. (b) In part (b) of the preceeding example, there is no maximal element. Every bounded set has many upper bounds. By putting other conditions on a preordering, different types of orders can be obtained. Definition 1.5 If a preordering on A satisfies the additional property of antisymmetry, i.e., a ≺ b and b ≺ a ) a = b ; then it is called a partial ordering. In this case A is called a partially ordered set. A partially ordered set that is also a chain is called a totally ordered set. 2 Example 1.6 The set P(X) is partially ordered by inclusion since the preorder is also antisymmetric. In general, this set is not a chain. In this context, what does a chain look like? One example is the following: for each n 2 Z, let An ⊂ P(X) and 1 suppose that, for each n An+1 ⊂ An and An 6= An+1. Then the set of subsets fAngn=1 constitutes a chain in P(X) with respect to the partial ordering of inclusion. 1 1 Example 1.7 Let X = [−1; 1] ⊂ R and let An =] − n ; n ] ; n = 1; 2; ··· : Then this set forms a chain, namely 1 1 1 1 1 [−1; 1] ⊃ [− ; ] ⊃ [− ; ; ] ⊃ · · · 2 2 3 3 3 As another, and important, example we consider the following. n Example 1.8 Consider the set R . Let x = (x1; x2; : : : ; xn) and y = (y1; y2; : : : ; yn). Then we can introduce a partial order ≺ in Rn by x ≺ y , xi ≤ yi for all i = 1; 2; : : : ; n: Here ≤ is the usual ordering on the real line. Note that this is certainly a reflexive, transitive, and anti-symmetric relation so that ≺ is indeed a partial ordering of Rn Note further that not every two elements can be compared. Thus, for example, in R2, the vectors (1; 2)and(2; 1) are not comparable. This last example contrasts with the usual ordering ≤ on R where every element can be compared. This leads to an important special case of a partial order. Definition 1.9 Let A be a set. A total or linear order on the set A is a partial order ≺ such that, 8x; y 2 A; x 6= y either x ≺ y or y ≺ x whenever x and y are both in the domain and range of the order relation. The usual order on the real line is the obvious example. We remark that, in this terminology, a chain in a partially ordered set is a totally ordered family. Here is another which is important in a number of applications including integer pro- gramming algorithms. 3 Example 1.10 (Lexicographical Order) Let X be the set of all infinite sequences of real numbers. Define a relation ≺L on X by a ≺L b provided, for the smallest integer io 3 aio 6= bio ; aio < bio : This order is called lexicographical order since it is the same kind of order used in common dictionaries. In face, this order is a total, or linear, order. Indeed, it is clearly reflexive. To check transitivity, not that if a ≺L b and b ≺L c then form minimial io and jo, we have aio < bio and bjo < cjo . If io < jo then aio < bio = cAio and so a ≺L c. On the other hand, if jo < io then ajo = bjo < cjo and so, again, a ≺L c. The property of anti-symmetry is easy to check. Finally, since any two sequences can be compared, the partial ordering is indeed a total order. 4.

Load more