A Representation of the Maximal Set in Choice Problems Where Information Is Incomplete

Author(s)
Andrikopoulos Athanasios

Affiliation(s)

Department of Computer Engineering and Informatics, University of Patras, Patras, Greece.

Department of Computer Engineering and Informatics, University of Patras, Patras, Greece.

ABSTRACT

Banerjee and Pattanaik [1] proved that the maximal set generated by a quasi-ordering is equal to the union of the sets of best elements of its ordering extensions. Suzumura and Xu [2] extended Banerjee and Pattanaik’s result by relaxing the axiom of transitivity to the axiom that Suzumura calls consistency. Arló Costa in [3] pointed out that in general, an optimizing model cannot require the transitivity of the binary relation used in an optimizing model. In this paper, by using two important ideas of John Duggan [4], I extend the above mentioned results to arbitrary binary relations whose extensions are complete and not necessarily transitive.

Banerjee and Pattanaik [1] proved that the maximal set generated by a quasi-ordering is equal to the union of the sets of best elements of its ordering extensions. Suzumura and Xu [2] extended Banerjee and Pattanaik’s result by relaxing the axiom of transitivity to the axiom that Suzumura calls consistency. Arló Costa in [3] pointed out that in general, an optimizing model cannot require the transitivity of the binary relation used in an optimizing model. In this paper, by using two important ideas of John Duggan [4], I extend the above mentioned results to arbitrary binary relations whose extensions are complete and not necessarily transitive.

KEYWORDS

Binary Relation, Best Element, Maximalel Ement, Optimal Set, Extension of a Binary Relation

Binary Relation, Best Element, Maximalel Ement, Optimal Set, Extension of a Binary Relation

1. Introduction

The economic approach to rational behaviour assumes that each individual makes choices by selecting, from each feasible set of alternatives, those which maximize his own preference relation. The classical framework of optimization used in standard choice theory recommends choosing, among the feasible options, a best alternative. According to this modeling of a choice process, the optimal choice set consists of the best alternatives according to a binary relation R. So, if A is the feasible set of alternatives and R is a binary relation over A, a formalization of this idea requires the following definition of the optimal choice set $G\left(A\mathrm{,}R\right)$ :

$G\left(A\mathrm{,}R\right)=\left\{x\in A\mathrm{|}\text{forall}\text{\hspace{0.17em}}y\in A\mathrm{,}xRy\right\}$ .

Many economists have pointed out that this stringent form of maximization might not be the kind of optimization that one can apply in problems where information is incomplete. For example, the Nobel-Prize winner Amartya Sen ( [5] , Page 763) has pointed out that: “The general discipline of maximization differs from the special case of optimization in taking an alternative as choosable when it is not known to be worse than any other. [...] The basic contrast between maximization and optimization arises from the possibility that the preference ranking R may be incomplete.” That is, where R (over A) is considered to be incomplete, optimization recommends focusing on the set of alternatives $M\left(A\mathrm{,}R\right)$ which are maximal with respect to R. To define a maximal set we use the asymmetric part $P\left(R\right)$ of R. So, the optimal choice set is defined as:

$M\left(A\mathrm{,}R\right)=\left\{x\in A\mathrm{|}\text{forno}\text{\hspace{0.17em}}y\in A\mathrm{,}yP\left(R\right)x\right\}$ .

In general (for any binary relation R and any non-empty feasible set A) we have that $G\left(A\mathrm{,}R\right)\subseteq M\left(A\mathrm{,}R\right)$ , where the equality holds in case that R is complete. If a binary relation R is transitive, Banerjee and Pattanaik ( [1] , Proposition 3.2) showed that the maximal set generated by R is the union of the optimal choice sets generated by all possible orderings extending R. That is,

$M\left(A\mathrm{,}R\right)={\displaystyle \underset{{R}^{\prime}\in \mathcal{R}}{\cup}G\left(A\mathrm{,}{R}^{\prime}\right)}$ ,

where $\mathcal{R}$ is the set of ordering extensions of R. In other words, Banerjee and Pattanaik’s result starts from a transitive binary relation R in that there are some ordered pairs, say $\left(x\mathrm{,}y\right)\in X\times X$ , over which R does not convey any information, and answers whether all the information originally conveyed by R can be recovered in terms of the set of all ordering extensions of R. Suzumura and Xu [2] extended Banerjee and Pattanaik’s result by relaxing the axiom of transitivity to the axiom that Suzumura calls consistency [6] . Arló Costa in ( [3] , Page 19) pointed out that: “When R is complete $G\left(A,R\right)=M\left(A,R\right)$ . Moreover, a maximal set $M\left(A\mathrm{,}R\right)$ can always be replicated by optimizing a complete relation ${R}^{\ast}$ obtained from R by transforming incomparabilities into indifferences. Obviously this new relation ${R}^{\ast}$ has to be complete but it might fail to be transitive.” For example, let $R=\left\{\left(x,x\right),\left(y,y\right),\left(z,z\right),\left(y,x\right)\right\}$ over the feasible set $A=\left\{x,y,z\right\}$ . Then,

${R}^{\ast}=\left\{\left(x,x\right),\left(y,y\right),\left(z,z\right),\left(y,x\right),\left(x,z\right),\left(z,x\right),\left(z,y\right),\left(y,z\right)\right\}$

is an extension of R satisfying $G\left(A,R\right)=M\left(A,{R}^{\ast}\right)$ . Obviously, ${R}^{\ast}$ is complete but not transitive. This example shows that the extended binary relations used in order to replicate maximizing process tend not to be transitive. So, we must expect that an optimizing model cannot require the transitivity of the binary relation used in the optimizing model.

In this paper, I extend the Banerjee-Pattanaik’s and Suzumura-Xu’s results to arbitrary binary relations whose extensions are complete and not necessarily transitive.

2. Basic Notations and Definitions

We recall some definitions from Suzumura [7] , Cato [8] and Duggan [9] .

Let X be a non-empty universal set of alternatives and $R\subseteq X\times X$ be a binary relation on X. Let $\mathcal{P}\left(X\right)$ be the set of all subsets of X. We sometimes abbreviate $\left(x\mathrm{,}y\right)\in R$ as $xRy$ . The asymmetric part of R is defined by

$P\left(R\right)=\left\{\left(x\mathrm{,}y\right)\in X\times X\mathrm{|}\left(x\mathrm{,}y\right)\in R\text{\hspace{0.17em}}\text{and}\text{\hspace{0.17em}}\left(y\mathrm{,}x\right)\notin R\right\}$

and the symmetric part of R is defined by

$I\left(R\right)=\left\{\left(x\mathrm{,}y\right)\in X\times X\mathrm{|}\left(x\mathrm{,}y\right)\in R\text{\hspace{0.17em}}\text{and}\text{\hspace{0.17em}}\left(y\mathrm{,}x\right)\in R\right\}$ .

Thef non-comparable part $N\left(R\right)$ of R is defined by letting, for all $x\mathrm{,}y\in X$ , $\left(x\mathrm{,}y\right)\in N\left(R\right)$ if and only if $\left(x\mathrm{,}y\right)\notin R$ and $\left(y\mathrm{,}x\right)\notin R$ . For any subset A of X, an element $x\in A$ is a maximal element in A with respect to R if for all $y\in A$ , $\left(y\mathrm{,}x\right)\notin P\left(R\right)$ . Dually is defined the notion of minimal element. The set of all maximal elements in A with respect to R is the maximal set of A, to be denoted by $M\left(A\mathrm{,}R\right)$ . Likewise, an element $x\in A$ is a best element in A with respect to R if $\left(x\mathrm{,}y\right)\in R$ holds for all $y\in A$ . The set of all best elements in A with respect to R is the greatest set of A, to be denoted by $G\left(A\mathrm{,}R\right)$ . We say that R on X is 1) reflexive if for each $x\in X$ $\left(x\mathrm{,}x\right)\in R$ ; 2) asymmetric if for each $x\in X$ $\left(x\mathrm{,}y\right)\in R$ implies $\left(y\mathrm{,}x\right)\notin R$ ; 3) transitive if for all $x\mathrm{,}y\mathrm{,}z\in X$ , [ $\left(x\mathrm{,}z\right)\in R$ and $\left(z\mathrm{,}y\right)\in R$ ] $\Rightarrow \left(x\mathrm{,}y\right)\in R$ ; 4) anti-symmetric if for each $x\mathrm{,}y\in X$ , [ $\left(x\mathrm{,}y\right)\in R$ and $\left(y\mathrm{,}x\right)\in R$ ] $\Rightarrow x=y$ ; 5) total if for each $x\mathrm{,}y\in X$ , $x\ne y$ we have $xRy$ or $yRx$ ; 6) complete if for each $x\mathrm{,}y\in X$ , we have $xRy$ or $yRx$ . It follows that R is complete if and only if it is reflexive and total. The following combination of properties are considered in the next theorems. A binary relation R on X is 1) a quasi-ordering if R is reflexive and transitive; 2) an ordering if R is a total quasi-ordering; 4) a partial order if R is an anti-symmetric quasi-ordering; 5) a linear ordering if R is an anti-symmetric ordering; 6) tournament if R is asymmetric and total. For any binary relation R, let $\stackrel{\xaf}{R}$ be the transitive closure of R, which is defined by $\left(x\mathrm{,}y\right)\in \stackrel{\xaf}{R}$ if and only if there exist $m\in \mathbb{N}$ and ${z}_{0}\mathrm{,}\cdots \mathrm{,}{z}_{m}\in X$ such that $x={z}_{0},\left({z}_{k},{z}_{k+1}\right)\in R$ for all $k\in \left\{\mathrm{0,}\cdots \mathrm{,}m-1\right\}$ and ${z}_{m}=y$ . The relation R is consistent, if for all $x\mathrm{,}y\in X$ , $\left(x\mathrm{,}y\right)\in \stackrel{\xaf}{R}$ implies $\left(y\mathrm{,}x\right)\notin P\left(R\right)$ (see [6] ).

A binary relation $\stackrel{^}{R}$ is an extension of a binary relation R if and only if $R\subseteq \stackrel{^}{R}$ and $P\left(R\right)\subseteq P\left(\stackrel{^}{R}\right)$ . If an extension $\stackrel{^}{R}$ of R is an ordering, we call it an ordering extension of R. We call a binary relation $\stackrel{^}{R}$ on X satisfying $R\subset \stackrel{^}{R}$ , $P\left(R\right)\subset P\left(\stackrel{^}{R}\right)$ and $R\ne \stackrel{^}{R}$ a strict extension of R. For a given binary relation R on X, let $\mathcal{R}\left(R\right)$ be the set of all ordering extensions of R and ${\mathcal{R}}_{\Sigma}\left(R\right)$ be the set of all strict ordering extensions of R.

A set X is well-ordered if there is a binary relation $\le $ on X which is a linear order and for which every non-empty subset of X has a minimal element. A chain $\mathcal{C}$ is a class such that $B\mathrm{,}{B}^{\prime}\in \mathcal{C}$ implies $B\subseteq {B}^{\prime}$ or ${B}^{\prime}\subseteq B$ . A partially ordered set is a set X together with a partial ordering $\le $ . Zorn’s lemma states that if X is a partially ordered set such that every chain in X has an upper bound, then X has a maximal element.

3. Generalization of Banerjee-Pattanaik’s Result

Arrow ( [10] , page 64), Hansson [11] and Fishburn [12] prove that any quasi-ordering has an ordering extension. Banerjee and Pattanaik in ( [1] , Page 195) give an example of a quasi-ordering R defined on a set X such that $M\left(A,R\right)=\varnothing $ for some $A\subseteq X$ . In this case, $G\left(A\mathrm{,}{R}^{\prime}\right)$ will be empty for every ordering extension ${R}^{\prime}$ of R in X. According to the Authors’ interpretation, this difficulty has an origin very different from the issue on non-comparability on which they have focused in their paper. Asuming that non-comparability is valid jointly to the above result of Arrow, Hansson and Fishburn, we come to the conclusion that the form

$M\left(A\mathrm{,}R\right)={\displaystyle \underset{{R}^{\prime}\in \mathcal{R}\left(R\right)}{\cup}G\left(A\mathrm{,}{R}^{\prime}\right)}$

is equivalent to the non-emptiness of ${\mathcal{R}}_{\Sigma}\left(R\right)$ . Suzumura and Xu [2] call the choice rule of Banerjee and Pattanaik, choice functional recoverability, that is:

Definition 3.1. ( [2] , Definition 3.1). Let R be a binary relation on X. We say that R is choice-functionally recoverable if and only if

$M\left(A\mathrm{,}R\right)={\displaystyle \underset{{R}^{\prime}\in {\mathcal{R}}_{\Sigma}\left(R\right)}{\cup}G\left(A\mathrm{,}{R}^{\prime}\right)}$

holds for all non-empty subsets $A\in X$ .

According to what we have said above, the choice-functional recoverability of a quasi-ordering is equivalent to the non-emptiness of the set of its strict ordering extensions. The following theorem, which is due to Banerjee and Pattanaik [1] , is the first important result in the theory of choice-functional recoverability (see [2] ).

Theorem 1. A quasi-ordering R is choice-functionally recoverable if and only if ${\mathcal{R}}_{\Sigma}\left(R\right)\ne \varnothing $ .

While the choice-functional recoverability of a quasi-ordering R is equivalent to the non-emptiness of the set of its strict ordering extensions, Suzumura and Xu [7] show by counter-example that the same is not necessarily true for a reflexive and consistent binary relation.

In order to generalize Theorem 1, Suzumura and Xu consider the following assumption ( $\star $ ):

( $\star $ ) Let R be a binary relation on X. For all $x\mathrm{,}y\in X$ , $\left(x\mathrm{,}y\right)\in P\left(\stackrel{\xaf}{R}\right)$ implies $\left(x\mathrm{,}y\right)\in R$ .

With Assumption ( $\star $ ), Suzumura and Xu generalize the result of Banerjee and Pattanaik as follows:

Theorem 2. A reflexive and consistent binary relation R on X is choice-functionally recoverable if and only if ${\mathcal{R}}_{\Sigma}\left(R\right)\ne \varnothing $ and Assumption ( $\star $ ) hold.

Now, I give a more general theorem of recoverability of choice functions for binary relations whose extensions are total and not necessarily reflexive and transitive.

The following definition is of use in the next results.

Definition 3.2. (see [4] , Definitions 8 and 10). Let $\mathcal{B}$ be a class of binary relations on X. We say that $\mathcal{B}$ is: ( $\mathfrak{a}$ ) Closed upward, if for all chains $\mathcal{C}$ in $\mathcal{B}$ we have that $\underset{R\in \mathcal{C}}{\cup}R\in \mathcal{B}$ . ( $\mathfrak{b}$ ) Arc-receptive if for every distinct $w\mathrm{,}z\in X$ and all, implies that there exists an extension of such that.

Lemma. Let R be a binary relation on X and let be a closed upward and arc-receptive collection of binary relations on X such that. Suppose that and A is an arbitrary subset of X. Then, there exists a binary relation such that for each, if, then.

Proof. Fix an. Given, let. The Well-Ordering Principle asserts that every set X can be well-ordered; that is, if K is any set, then there exists a well-ordered set which serves as an index set for the elements of K, so we may write

By definition, K has a first element, a second element, a third element and so on. Let. Then, implies that. Since R is arc-receptive, there exists an extension of R such that and. For each, we define. Since is closed upward, we conclude that. Let now

Let be a chain in and let. Then,

with. Since is closed upward, we conclude that. But then, implies that. Therefore, any chain in has an upper bound in (with respect to set inclusion). By Zorn’s lemma, there is a maximal element in. Then, for some. If, then there exists such that. It follows that

,

a contradiction to maximality of. It follows that. Therefore, for each with, we have for some. Hence, we have holds.

For a given binary relation R on X, let be the set of all strict total extensions of R.

Theorem 3. Let R be a binary relation on X and let be a be a closed upward and arc-receptive collection of binary relations on X such that. Then, R is choice-functionally recoverable if and only if.

Proof. Let R, and be as in the supposition and let A be a subset of X. We need to show that

.

We first show the inclusion. Take any. Then, for all. Since we have that for all. Therefore,. It follows that. Since is total, , and thus,. Therefore,

.

It suffices to show the inclusion. Take. Then, for each, holds. On the other hand,

.

By Lemma 3, there exists a binary relation in such that for each and, we have. If and, then implies that or. Therefore, for each we have. If is total, then

.

Consider now the case where is non-total. Let

and.

We have that, so this class is non-empty. Let be a chain in, and let. Then,. To prove that, take any and suppose to the contrary that. Clearly, and for each,. Since

we conclude that. Hence, for some, a contradiction to.

It follows that. Since is closed upward, we conclude that which implies that. Therefore, any chain in has an upper bound in (with respect to set inclusion). By Zorn’s lemma, there is a maximal element in. If there existed distinct not comparable with respect to, then the fact that is arc-receptive would imply the existence of an extension of with. But then, , which contradicts the maximality of in. The last contradiction shows that is total. Therefore, for each, we have. It follows that

.

Therefore, R is choice-functionally recoverable.

To prove the converse, suppose that R is choice-functionally recoverable, so that we have

for all non-empty subsets A of X. Clearly,.

Theorem 1 of Banerjee and Pattanaik as well as Theorem 2 of Suzumura and Xu are corollaries of Theorem 3.

Proof of Theorem 1. Let R be a quasi-ordering on X and let be the collection of all quasi-orderings on X which are extensions of R. By Arrow [10] , Hansson [11] and Fishburn [12] this set is non-empty. Then, by [4, Propositions 5 and 7] we have that is closed upward and arc-receptive and thus Theorem 3 implies directly Theorem 1.

Proof of Theorem 2. Let R be a reflexive and consistent binary relation on X satisfying assumption () and let be the collection of all reflexive and consistent extensions of R satisfying assumption (). Let be a chain in. Then, [4, Propositions 5 and 7] implies that is reflexive and consistent. We now show that satisfies assumption (). Let

.

Then, there exists such that. It follows that

.

Therefore, is closed upward. Moreover, for all distinct x and y and for all reflexive and consistent binary relations Q, implies

.

Clearly, is a reflexive and consistent extension of Q which satisfies assumption (). Therefore, is arc-receptive. On the other hand, if R is choice-functionally recoverable, then Assumption () holds (see ( [2] , Page 26)). Since reflexivity, totalness and consistency imply transitivity, Theorem 3 implies Theorem 1.

4. Conclusion

For much of the economic analysis, the characterization of maximizing the utility of individuals as a criterion of rationality (optimization) can pose serious problems, especially in the case where no alternative can be identified as the best choice. This kind of optimization is often ineffective for finding a choice set, which only requires choosing an alternative that is not judged to be worse than any other. A nice regularity condition to the above procedure for the construction of non-empty choice sets is acyclicity. This is because acyclicity is sufficient for the existence of maximal elements when the set of alternatives is finite, and it is also necessary for the existence of maximal elements in all subsets of alternatives. In the special case in which R is transitive, Banerjee and Pattanaik [1] show that the maximal set generated by a quasi-ordering R is the union of the optimal sets generated by all possible ordering extensions of R. This result was extended by Suzumura and Xu [2] by relaxing the axiom of transitivity to the axiom of consistency [6] . The choice rule, which relates the maximal set generated by a binary relation R and the union of the sets of best elements generated by all possible orderings extending R, is called by the name of “the choice functional recoverability” (see [2] , Definition 3.1). In the case of choice-functional recoverability achieved by the above mentioned authors, we focus on the recoverability of the choice set defined in terms of R by means of the set of the best elements defined in terms of each and every transitive and complete extension of R. However, as Arló Costa pointed out in [3] by giving some examples, an optimizing model of a binary relation cannot require the transitivity of the extended binary relation used in the optimizing model. In this paper, the choice rule defined by Theorem 3 satisfies the requirements posed by Arló Costa in [3] . On the other hand, this choice rule ensures the recoverability of the choice set defined in terms of a non-necessarily transitive binary relation R, by means of the set of the best elements defined in terms of each and every total extension of R. For example, if in Theorem 3, R is an asymmetric binary relation, then the result is still valid with being the set of all tournament extensions of R in X.

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

Cite this paper

Athanasios, A. (2018) A Representation of the Maximal Set in Choice Problems Where Information Is Incomplete.*Theoretical Economics Letters*, **8**, 2631-3639. doi: 10.4236/tel.2018.811167.

Athanasios, A. (2018) A Representation of the Maximal Set in Choice Problems Where Information Is Incomplete.

References

[1] Banerjee, A. and Pattanaik, P.K. (1996) A Note on a Property of Maximal Sets and Choice in the Absence of Universal Comparability. Economics Letters, 51, 191-195.

https://doi.org/10.1016/0165-1765(95)00804-7

[2] Suzumura, K. and Xu, Y. (2003) Recoverability of Choice Functions and Binary Relations: Some Duality Results. Social Choice and Welfare, 21, 21-37.

https://doi.org/10.1007/s00355-003-0199-9

[3] Costa, A.H. (2006) Rationality and Value: The Epistemological Role of Indeterminate and Agent-Dependent Values. Philosophical Studies, 128, 7-48.

https://doi.org/10.1007/s11098-005-4051-1

[4] Duggan, J. (1999) A General Extension Theorem for Binary Relations. Journal of Economic Theory, 86, 1-16.

https://doi.org/10.1006/jeth.1998.2504

[5] Sen, A. (1977) Maximization and the Act of Choice. Econometrica, 65, 745-779.

https://doi.org/10.2307/2171939

[6] Suzumura, K. (1976) Remarks on the Theory of Collective Choice. Economica, 43, 381-390.

https://doi.org/10.2307/2553273

[7] Suzumura, K. (2002) Upper Semi-Continuous Extensions of Binary Relations. Journal of Mathematical Economics, 37, 231-246.

https://doi.org/10.1016/S0304-4068(02)00017-4

[8] Cato, S. (2016) Rationality and Operators: The Formal Structure of Preferences, Springer Briefs in Economics. Springer-Verlag, Berlin.

https://doi.org/10.1007/978-981-10-1896-1

[9] Duggan, J. (2013) Uncovered Sets. Social Choice Welfare, 41, 489-535.

https://doi.org/10.1007/s00355-012-0696-9

[10] Arrow, K.J. (1951; second ed. 1963) Social Choice and Individuals Values. Wiley, New York.

[11] Hansson, B. (1968) Choice Structures and Preference Relations. Synthese, 18, 443-458.

https://doi.org/10.1007/BF00484979

[12] Fishburn, P.C. (1973) The Theory of Social Choice. Princeton University Press, Princeton.

[1] Banerjee, A. and Pattanaik, P.K. (1996) A Note on a Property of Maximal Sets and Choice in the Absence of Universal Comparability. Economics Letters, 51, 191-195.

https://doi.org/10.1016/0165-1765(95)00804-7

[2] Suzumura, K. and Xu, Y. (2003) Recoverability of Choice Functions and Binary Relations: Some Duality Results. Social Choice and Welfare, 21, 21-37.

https://doi.org/10.1007/s00355-003-0199-9

[3] Costa, A.H. (2006) Rationality and Value: The Epistemological Role of Indeterminate and Agent-Dependent Values. Philosophical Studies, 128, 7-48.

https://doi.org/10.1007/s11098-005-4051-1

[4] Duggan, J. (1999) A General Extension Theorem for Binary Relations. Journal of Economic Theory, 86, 1-16.

https://doi.org/10.1006/jeth.1998.2504

[5] Sen, A. (1977) Maximization and the Act of Choice. Econometrica, 65, 745-779.

https://doi.org/10.2307/2171939

[6] Suzumura, K. (1976) Remarks on the Theory of Collective Choice. Economica, 43, 381-390.

https://doi.org/10.2307/2553273

[7] Suzumura, K. (2002) Upper Semi-Continuous Extensions of Binary Relations. Journal of Mathematical Economics, 37, 231-246.

https://doi.org/10.1016/S0304-4068(02)00017-4

[8] Cato, S. (2016) Rationality and Operators: The Formal Structure of Preferences, Springer Briefs in Economics. Springer-Verlag, Berlin.

https://doi.org/10.1007/978-981-10-1896-1

[9] Duggan, J. (2013) Uncovered Sets. Social Choice Welfare, 41, 489-535.

https://doi.org/10.1007/s00355-012-0696-9

[10] Arrow, K.J. (1951; second ed. 1963) Social Choice and Individuals Values. Wiley, New York.

[11] Hansson, B. (1968) Choice Structures and Preference Relations. Synthese, 18, 443-458.

https://doi.org/10.1007/BF00484979

[12] Fishburn, P.C. (1973) The Theory of Social Choice. Princeton University Press, Princeton.