Szpilrajn extension theorem


In mathematics, the Szpilrajn extension theorem, proved by Edward Szpilrajn in 1930, is one of many examples of the use of the axiom of choice in the form of Zorn's lemma to find a maximal set with certain properties. The theorem states that every strict partial order is contained in a total order. Intuitively, the theorem states that a comparison between elements that leaves some pairs incomparable can be extended in such a way every element is either less than or greater than another.

Definitions and statement

A binary relation R on a set X is formally defined as a set of ordered pairs of elements of X, and we often abbreviate ∈ R as xRy.
A relation is irreflexive if xRx holds for no element xX; it is transitive if xRy and yRz imply xRz for all x, y, zX; and it is a connex relation if either xRy or yRx holds for all x, yX. A strict partial order is an irreflexive and transitive relation, and a total order is a strict partial order that is also a connex relation.
A relation R is contained in another relation S when all ordered pairs in R also appear in S, i.e. xRy implies xSy for all x, y ∈ X. The extension theorem states that every relation R that is irreflexive and transitive is contained in another relation S which is irreflexive and transitive but also connex so that it is a total order.

Proof

The theorem is proved in two steps. First, if a strict partial order does not compare x and y, it can be extended by first adding the pair and then performing the transitive closure, and second, since this operation generates an ordering that strictly contains the original one and can be applied to all pairs of incomparable elements, there exists a relation in which all pairs of elements have been made comparable.
The first step is proved as a preliminary lemma, in which a strict partial order where a pair of elements x and y are incomparable is changed to make them comparable. This is done by first adding the pair xRy to the relation, which may result in a non-transitive relation, and then restoring transitivity by adding all pairs qRy such that qRx, all pairs xRp such that yRp, and all pairs qRp such that qRx and yRp. This is done on a single pair of incomparable elements x and y, but produces a relation that is still irreflexive and transitive and that strictly contains the original one. Other pairs of elements may still be incomparable, in which case we can repeat this process.
The extension theorem is then proved by showing that the poset of strict partial orders containing R, ordered by inclusion, has a maximal element. The existence of such a maximal element is proved by applying Zorn's lemma to this poset. A chain in this poset is a set of relations containing R such that given any two of these relations, one is contained in the other.
To apply Zorn's lemma we need to show that every chain has an upper bound in the poset. Let be such a chain, and we show that the union of its elements,, is an upper bound for which is in the poset: contains the original relation R since every element of is a strict partial order containing R. Next we show that is a transitive relation. Suppose that and are in, so that there exist such that and. Since is a chain we have either S⊆T or T⊆S. Suppose S⊆T; the argument for when TS is similar. Then we also have. Since all relations produced by our process are transitive, is in T, and therefore in.
Therefore by Zorn's lemma the set of strict partial orders containing R has a maximal element Q, and it remains only to show that Q is total. Indeed if Q had a pair of incomparable elements then we could apply our process to it, leading to another strict partial order that contains R and strictly contains Q, contradicting that Q is maximal. Q is therefore a total order containing R, completing the proof.

Other extension theorems