Total order: Difference between revisions
Added missing word |
No edit summary |
||
Line 134: | Line 134: | ||
[[pl:Porządek liniowy]] |
[[pl:Porządek liniowy]] |
||
[[pt:Relação de ordem]] |
[[pt:Relação de ordem]] |
||
[[ru:Линейно упорядоченное множество]] |
|||
[[ru:Отношение порядка]] |
|||
[[zh:全序关系]] |
[[zh:全序关系]] |
Revision as of 11:12, 6 July 2009
In mathematics and set theory, a total order, linear order, simple order, or (non-strict) ordering is a binary relation (here denoted by infix ≤) on some set X. The relation is transitive, antisymmetric, and total. A set paired with a total order is called a totally ordered set, a linearly ordered set, a simply ordered set, or a chain.
If X is totally ordered under ≤, then the following statements hold for all a, b and c in X:
- If a ≤ b and b ≤ a then a = b (antisymmetry);
- If a ≤ b and b ≤ c then a ≤ c (transitivity);
- a ≤ b or b ≤ a (totality).
Contrast with a partial order, which lacks the third condition. A relation having the property of "totality" means that any pair of elements in the set of the relation are mutually comparable under the relation.
Totality implies reflexivity, that is, a ≤ a. Thus a total order is also a partial order, that is, a binary relation which is reflexive, antisymmetric and transitive. Hence a total order is also a partial order satisfying the "totality" condition.
Strict total order
For each (non-strict) total order ≤ there is an associated asymmetric (hence irreflexive) relation <, called a strict total order, which can equivalently be defined in two ways:
- a < b if and only if a ≤ b and a ≠ b
- a < b if and only if not b ≤ a (i.e., < is the {{#invoke:Binary_relation|Operations_on_binary_relations|inverse}} of the {{#invoke:Binary_relation|Complement|complement}} of ≤)
Properties:
- The relation is transitive: a < b and b < c implies a < c.
- The relation is trichotomous: exactly one of a < b, b < a and a = b is true.
- The relation is a strict weak order, where the associated equivalence is equality.
We can work the other way and start by choosing < as a transitive trichotomous binary relation; then a total order ≤ can equivalently be defined in two ways:
- a ≤ b if and only if a < b or a = b
- a ≤ b if and only if not b < a
Two more associated orders are the complements ≥ and >, completing the quadruple {<, >, ≤, ≥}.
We can define or explain the way a set is totally ordered by any of these four relations; the notation implies whether we are talking about the non-strict or the strict total order.
Examples
- The letters of the alphabet ordered by the standard dictionary order, e.g., A < B < C etc.
- Any subset of a totally ordered set, with the restriction of the order on the whole set.
- Any partially ordered set X where every two elements are comparable (i.e. if a,b are members of X either a ≤ b or b ≤ a or both).
- Any set of cardinal numbers or ordinal numbers (more strongly, these are well-orders).
- If X is any set and f an injective function from X to a totally ordered set then f induces a total ordering on X by setting x1 < x2 if and only if f(x1) < f(x2).
- The lexicographical order on the Cartesian product of a set of totally ordered sets indexed by an ordinal, is itself a total order. For example, any set of words ordered alphabetically is a totally ordered set, viewed as a subset of a Cartesian product of a countable number of copies of a set formed by adding the space symbol to the alphabet (and defining a space to be less than any letter).
- The set of real numbers ordered by the usual less than (<) or greater than (>) relations is totally ordered, hence also the subsets of natural numbers, integers, and rational numbers. Each of these can be shown to be the unique (to within isomorphism) smallest example of a totally ordered set with a certain property, (a total order A is the smallest with a certain property if whenever B has the property, there is an order isomorphism from A to a subset of B):
- The natural numbers comprise the smallest totally ordered set with no upper bound.
- The integers comprise the smallest totally ordered set with neither an upper nor a lower bound.
- The rational numbers comprise the smallest totally ordered set with no upper or lower bound, which is dense in the sense that for every a and b such that a < b there is a c such that a < c < b.
- The real numbers comprise the smallest unbounded connected totally ordered set. (See below for the definition of the topology.)
Further concepts
Chains
While chain is sometimes merely a synonym for totally ordered set, it can also refer to a totally ordered subset of some partially ordered set. The latter definition has a crucial role in Zorn's lemma.
For example, consider the set of all subsets of the integers partially ordered by inclusion. Then the set { In : n is a natural number}, where In is the set of natural numbers below n, is a chain in this ordering, as it is totally ordered under inclusion: If n≤k, then In is a subset of Ik.
Lattice theory
One may define a totally ordered set as a particular kind of lattice, namely one in which we have
- for all a, b.
We then write a ≤ b if and only if . Hence a totally ordered set is a distributive lattice; here is the proof.
Finite total orders
A simple counting argument will verify that any non-empty finite totally-ordered set (and hence any non-empty subset thereof) has a least element. Thus every finite total order is in fact a well order. Either by direct proof or by observing that every well order is order isomorphic to an ordinal one may show that every finite total order is order isomorphic to an initial segment of the natural numbers ordered by <. In other words a total order on a set with k elements induces a bijection with the first k natural numbers. Hence it is common to index finite total orders or well orders with order type ω by natural numbers in a fashion which respects the ordering (either starting with zero or with one).
Category theory
Totally ordered sets form a full subcategory of the category of partially ordered sets, with the morphisms being maps which respect the orders, i.e. maps f such that if a ≤ b then f(a) ≤ f(b).
A bijective map between two totally ordered sets that respects the two orders is an isomorphism in this category.
Order topology
For any totally ordered set X we can define the open intervals (a, b) = {x : a < x and x < b}, (−∞, b) = {x : x < b}, (a, ∞) = {x : a < x} and (−∞, ∞) = X. We can use these open intervals to define a topology on any ordered set, the order topology.
When more than one order is being used on a set one talks about the order topology induced by a particular order. For instance if N is the natural numbers, < is less than and > greater than we might refer to the order topology on N induced by < and the order topology on N induced by > (in this case they happen to be identical but will not in general).
The order topology induced by a total order may be shown to be hereditarily normal.
Completeness
A totally ordered set is said to be complete if every nonempty subset that has an upper bound, has a least upper bound. For example, the set of real numbers R is complete but the set of rational numbers Q is not.
There are a number of results relating properties of the order topology to the completeness of X:
- If the order topology on X is connected, X is complete.
- X is connected under the order topology if and only if it is complete and there is no gap in X (a gap is two points a and b in X with a < b such that no c satisfies a < c < b.)
- X is complete if and only if every bounded set that is closed in the order topology is compact.
A totally ordered set (with its order topology) which is a complete lattice is compact. Examples are the closed intervals of real numbers, e.g. the unit interval [0,1], and the affinely extended real number system (extended real number line). There are order-preserving homeomorphisms between these examples.
Orders on the Cartesian product of totally ordered sets
In order of increasing strength, i.e., decreasing sets of pairs, three of the possible orders on the Cartesian product of two totally ordered sets are:
- Lexicographical order: (a,b) ≤ (c,d) if and only if a < c or (a = c and b ≤ d). This is a total order.
- (a,b) ≤ (c,d) if and only if a ≤ c and b ≤ d (the product order). This is a partial order.
- (a,b) ≤ (c,d) if and only if (a < c and b < d) or (a = c and b = d) (the reflexive closure of the {{#invoke:Direct_product|Direct_product_of_binary_relations|direct product}} of the corresponding strict total orders). This is also a partial order.
All three can similarly be defined for the Cartesian product of more than two sets.
Applied to the vector space Rn, each of these make it an ordered vector space.
See also {{#invoke:Partially_ordered_set|Examples|examples of partially ordered sets}}.
A real function of n real variables defined on a subset of Rn {{#invoke:Strict_weak_ordering|Function|defines a strict weak order and a corresponding total preorder}} on that subset.
See also
Notes
References
- George Grätzer (1971). Lattice theory: first concepts and distributive lattices. W. H. Freeman and Co. ISBN 0-7167-0442-0
- John G. Hocking and Gail S. Young (1961). Topology. Corrected reprint, Dover, 1988. ISBN 0-486-65676-4