A “three-sentence proof” of Hansson’s theorem

Henrik Petri

doi:10.1007/s40505-017-0127-2

Economic Theory Bulletin

April 2018, Volume 6, Issue 1, pp 111–114 | Cite as

A “three-sentence proof” of Hansson’s theorem

Authors
Authors and affiliations

Henrik PetriEmail author

Open Access

Research Article

First Online: 05 September 2017

Received: 18 July 2017

Accepted: 28 August 2017

642 Downloads

Abstract

We provide a new proof of Hansson’s theorem: every preorder has a complete preorder extending it. The proof boils down to showing that the lexicographic order extends the Pareto order.

Keywords

Ordering extension theorem Lexicographic order Pareto order Preferences

JEL Classification

C65 D01

1 Introduction

Two extensively studied binary relations in economics are the Pareto order and the lexicographic order. It is a well-known fact that the latter relation is an ordering extension of the former. For instance, in Petri and Voorneveld (2016), an essential ingredient is Lemma 3.1, which roughly speaking requires the order under consideration to be an extension of the Pareto order. The main message of this short note is that some fundamental order extension theorems can be reduced to this basic fact. An advantage of the approach is that it seems less abstract than conventional proofs and hence may offer a pedagogical advantage in terms of exposition. Mandler (2015) gives an elegant proof of Spzilrajn’s theorem (1930) that stresses the importance of the lexicographic approach in proving ordering extension theorems. He shows that criteria can be built out of the relation \(\succ \) on the domain X in such a way that if the criteria are ordered lexicographically the corresponding relation extends \(\succ \). At a technical level the proof presented here is quite similar. We use a result from Evren and Ok (2011), that uses criteria defined in a similar way as in Mandler (2015). However, in terms of exposition we argue that our proof is easier. Another difference compared to Mandler (2015) is that he gives a proof of Szpilrajn’s theorem (1930), whereas this note presents a proof of Hansson’s theorem (1968). Of course given a proof of one of them the other follows quite easily, but we believe that our proof of Hansson’s theorem is easier to digest. Colloquially the proof in this note reads:

“Every preorder is essentially a Pareto order and the lexicographic order extends the Pareto order. Since the lexicographic order is complete every preorder has an ordering extension”.

We thus argue that abstract extension theorems of orders can be embodied in this simple principle.

The note is organized as follows. Section 2 contains notation and preliminaries. In Sect. 3, we present our proof of Hansson’s theorem. Section 4 concludes. We gather some standard results in set theory in Appendix A.

2 Notation and preliminaries

As usual \(\mathbb {R}\) denotes the set of real numbers . A binary relation/order \(\succsim \) on a set X, is a subset \(\succsim \subset X \times X\). If \((x,y) \in \succsim \) we write this as \(x \succsim y\). An order \(\succsim \) on X is:

Reflexive If \(x \succsim x\) for all \(x \in X\).
Transitive If \(x \succsim y\), \(y \succsim z\) implies \(x \succsim z\) for all \(x,y,x \in X\).
Complete If \(x \succsim y\) or \(y \succsim x\) for all \(x,y \in X\).
Antisymmetric If \(x \succsim y\) and \(y \succsim x\) implies \(x=y\) for all \(x,y \in X\).

A preorder \(\succsim \) is a reflexive, transitive order. If a preorder \(\succsim \) is complete, then we call \(\succsim \) a complete preorder. An order \(\succsim \) is a linear order if \(\succsim \) is antisymmetric, transitive and complete. Given a linear order \(\succsim \) on X and a subset A of X, \(a \in A\) is a smallest element if \(x \succsim a\) for all \(x \in A\). A linear order on a set X is a well order if every nonempty subset A of X contains a smallest element. The well ordering theorem states that every set X admits a binary relation \(\succsim \) such that X with \(\succsim \) is well ordered.

If \(\succsim \) is an order we define a relation \(\succ \) on X by \(x \succ y\) if and only if \(x \succsim y\) and not \(y \succsim x\). We also define an order \(\sim \) on X by \(x \sim y\) if and only if \(x \succsim y\) and \(y \succsim x\). A complete preorder \(\succsim ^{\prime }\) on X extends (or is an ordering extension of) a preorder \(\succsim \) on X if for all \(x,y \in X\): \(x \succsim y\) implies that \(x \succsim ^{\prime } y\) and \(x \succ y\) implies that \(x \succ ^{\prime } y\).

Given a set I and for each \(i \in I\) a complete preorder \(\succsim _i\) on X the Pareto order \(\ge \) on X is defined by for all \(x,y \in X\): \(x \ge y\) if and only if \(x \succsim _i y\) for all \(i \in I\). We will sometimes refer to \(\succsim _i\) as a coordinate relation.

Let I be a set with linear order \(\le \) on I and a collection of complete preorders \(\succsim _i\) on X for all \(i \in I\). Define a lexicographic relation \(\ge _{L}\) on X by \(x \ge _{L} y\) if and only if \(x \succsim _i y\) for all \(i \in I\), or there is a \(j \in I\) such that \(x \succ _j y\) and \(x \sim _i y \) for all \(i \in I\) with \(i < j\). It is a standard fact in basic set theory that if \(\le \) is a well order then \(\ge _{L}\) is a complete preorder on X. For example, Mandler (2015) alludes to this result, see also Ciesielski (1997). For completeness a proof is presented in Lemma A.1 in the Appendix A.

3 The proof

We now give our proof of Hansson’s theorem. A first crucial ingredient in our proof is a corollary to a result in Evren and Ok (2011). It shows that every preorder essentially is a Pareto order. The result has the same universal character as a representation result by Chipman (1960), which shows that every complete preorder essentially is a lexicographic order:

Lemma 3.1

For every preorder \(\succsim \) there is a Pareto order \(\ge \) with coordinate relations \(\succsim _i\) for all \(i \in I\) such that \(x \succsim y\) if and only if \(x \ge y\) for all \(x,y \in X\).

Proof

Let \(I=X\) and for each \(x \in X\) let \(u_x(y):={\mathbf{1}}_{\{z \in X | z \succsim x\}}(y)\) for all \(y \in X\) (where \({\mathbf{1}}_A\) denotes the indicator function of a set A). Define a relation \(\succsim _x\) by \(z \succsim _x y\) if and only if \(u_x(z) \ge u_x(y)\). The result follows by Evren and Ok (2011, Proposition 1). \(\square \)

Another important observation in our proof is that the lexicographic order extends the Pareto order. This observation is recorded as Lemma 3.2.

Lemma 3.2

Let \(\ge \) be a Pareto order on X with coordinate relations \(\succsim _i\). Then the lexicographic order \(\ge _{L}\) on X with coordinate relations \(\succsim _i\) for all \(i \in I\) extends \(\ge \).

Proof

Let \(x,y \in X\) with \(x \ge y\). If \(y >_{L} x\) then there is an \(i \in I\) such that \(y \succ _i x\), contradicting that \(x \succsim _i y\) for all \(i \in I\). Let \(x,y \in X\) with \(x >y\). Then \(x \succ _j y\) for some \(j \in I\) and \(x \succsim _i y\) for all \(i \in I\). If \(y \ge _{L} x\) then either \(x \sim _i y\) for all \(i \in I\) or \(y \succ _i x\) for some \(i \in I\), a contradiction. \(\square \)

We are now ready for our proof of Hansson’s theorem:

Theorem 3.3

Let \(\succsim \) be a preorder order on X. Then there exists a complete preorder \(\succsim ^{\prime }\) on X extending \(\succsim \).

Proof

By Lemma 3.1 there is a Pareto relation \(\ge \) with coordinate relations \(\succsim _i\) such that \(x \ge y\) if and only if \(x \succsim y\) for all \(x,y \in X\). Well order I by \(\le \) and let \(\ge _L\) be the lexicographic relation with coordinate relations \(\succsim _i\) for all \(i \in I\). Then \(\ge _L\) is a complete preorder by Lemma A.1 and Lemma 3.2 implies that \(\ge _{L}\) extends \(\succsim \). \(\square \)

4 Concluding remarks

A short “three sentences” proof of Hansson’s theorem is given. Some of the advantages of the approach are:

(a)

The theorem follows from intuitively plausible and simple principles. Once it is understood that the lexicographic order extends the Pareto order, the rest of the proof follows smoothly.
(b)

The use of the well ordering theorem is transparent. We only had to use the well ordering theorem once in the second sentence of Theorem 3.3. Hence if I is some set that is known to be well ordered (like the set of natural numbers or a finite set), we see that the proof of Hansson’s theorem follows without invoking the well ordering Theorem 3.3.

Finally, some readers may object to the claim made in the title of this note, namely that the proof of Theorem 3.3 is only three sentences long. To prove the main result we did indeed have to invoke as many as three lemmas. However, it is our belief that the prerequisites are either well known or otherwise useful to know, and given that, the proof of Hansson’s theorem is short.

A Appendix: Lemma A.1

Lemma A.1

Let I be an arbitrary set and \(\le \) a well order on I. For each \(i \in I\) let \(\succsim _i\) be a complete preorder on X. Then the lexicographic order \(\ge _{L}\) on X, with order \(\le \) on I and relations \(\succsim _i\) on X for all \(i \in I\), is a complete preorder on X.

Proof

Assume I is well ordered by \(\le \). For all \(x,y \in X\), let \(N(x,y):= \{i \in I : x \succ _i y\} \cup \{i \in I : y \succ _i x\} \). We show that \(\ge _{L}\) is complete and transitive.

Totality: Let \(x, y \in X\). If \(x \sim _i y\) for all \(i \in I\) then \(x \ge _{L} y\). Otherwise \(x \succ _i y\) or \(y \succ _i x\) for some \(i \in I\) and hence \(N(x,y) \ne \emptyset \). Since I is well ordered there is a smallest \(j \in I\) such that \(x \succ _j y\) or \(y \succ _j x\) and hence \(x \sim _i y\) for all \(i < j\). If \(x \succ _j y\) (\(y \succ _j x\)) it follows that \(x \ge _{L} y\) (\(y \ge _{L} x\)).

Transitivity Let \(x,y,z \in X\), \(x \ge _{L} y\) and \(y \ge _{L} z\). W.l.o.g. assume that \(x >_L y\) and \(y> _L z\) (the other cases are either trivial or follows by using similar arguments as in the present case). Then \(N(x,y) \ne \emptyset \) and \(N(y,z) \ne \emptyset \). Hence there is a smallest \(j \in N(x,y)\) and a smallest \(j^{\prime } \in N(y,z)\). If \(j = j^{\prime }\), then we are done. Assume \(j < j^{\prime }\) then \(x \succ _j y \sim _j z \) and \(x\sim _i y \sim _i z\) for all \(i < j\). Thus \(x \ge _{L} z\). If \(j^{\prime } < j\) then \(x \sim _{j'} y \succ _{j'} z\) and \(x \sim _i y \sim _i z\) for all \(i < j'\) and hence \(x \ge _{L} z\). \(\square \)

References

Chipman, J.S.: The foundations of utility. Econometrica 28(2), 193–224 (1960)CrossRefGoogle Scholar
Ciesielski, K.: Set Theory for the Working Mathematician, vol. 39. Cambridge University Press, Cambridge (1997)CrossRefGoogle Scholar
Evren, Ö., Ok, E.A.: On the multi-utility representation of preference relations. J. Math. Econ. 47(4), 554–563 (2011)CrossRefGoogle Scholar
Hansson, B.: Choice structures and preference relations. Synthese 18(4), 443–458 (1968)CrossRefGoogle Scholar
Mandler, M.: The lexicographic method in preference theory. Available at SSRN 2192127 (2015)Google Scholar
Petri, H., Voorneveld, M.: Characterizing lexicographic preferences. J. Math. Econ. 63, 54–61 (2016)CrossRefGoogle Scholar
Szpilrajn, E.: Sur l’extension de l’ordre partiel. Fund. Math. 1(16), 386–389 (1930)CrossRefGoogle Scholar

Copyright information

Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors and Affiliations

Henrik Petri
- 1
Email author

1.Department of FinanceStockholm School of EconomicsStockholmSweden

A “three-sentence proof” of Hansson’s theorem

Abstract

Keywords

JEL Classification

1 Introduction

2 Notation and preliminaries

3 The proof

Lemma 3.1

Proof

Lemma 3.2

Proof

Theorem 3.3

Proof

4 Concluding remarks

References

Copyright information

Authors and Affiliations

Personalised recommendations

Cite article