Existence Theorems of Continuous Social Aggregation for Infinite Discrete Alternatives

Similar documents
Whitney topology and spaces of preference relations. Abstract

Homework 11. Solutions

Chapter 1 - Preference and choice

2. The Concept of Convergence: Ultrafilters and Nets

Technical Results on Regular Preferences and Demand

A utility representation theorem with weaker continuity condition

Social Welfare Functions for Sustainable Development

The Review of Economic Studies, Ltd.

Boundary Behavior of Excess Demand Functions without the Strong Monotonicity Assumption

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS

Measure and Integration: Concepts, Examples and Exercises. INDER K. RANA Indian Institute of Technology Bombay India

5 Set Operations, Functions, and Counting

The Axiomatic Method in Social Choice Theory:

Axioms for Set Theory

CHAPTER 7. Connectedness

MATH 54 - TOPOLOGY SUMMER 2015 FINAL EXAMINATION. Problem 1

A topological approach to Wilson s impossibility theorem

3 Measurable Functions

Chapter 4. Measure Theory. 1. Measure Spaces

On the topological equivalence of the Arrow impossibility theorem and Amartya Sen s liberal paradox

Topology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:

Analysis I. Classroom Notes. H.-D. Alber

Solutions to Tutorial 8 (Week 9)

Maths 212: Homework Solutions

Follow links for Class Use and other Permissions. For more information send to:

REU 2007 Transfinite Combinatorics Lecture 9

Lebesgue measure on R is just one of many important measures in mathematics. In these notes we introduce the general framework for measures.

The Lebesgue Integral

STRONGLY CONNECTED SPACES

Indeed, if we want m to be compatible with taking limits, it should be countably additive, meaning that ( )

Preference and Utility

Course 212: Academic Year Section 1: Metric Spaces

3 COUNTABILITY AND CONNECTEDNESS AXIOMS

TORIC WEAK FANO VARIETIES ASSOCIATED TO BUILDING SETS

Analysis of Probabilistic Systems

Chapter 2 Metric Spaces

Arrow s Paradox. Prerna Nadathur. January 1, 2010

Axioms of separation

AN ORDINAL SOLUTION TO BARGAINING PROBLEMS WITH MANY PLAYERS

DR.RUPNATHJI( DR.RUPAK NATH )

Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.

Mathematics Review for Business PhD Students

MATH 3300 Test 1. Name: Student Id:

Thus, X is connected by Problem 4. Case 3: X = (a, b]. This case is analogous to Case 2. Case 4: X = (a, b). Choose ε < b a

On the Impossibility of Certain Ranking Functions

JUDGMENT AGGREGATORS AND BOOLEAN ALGEBRA HOMOMORPHISMS

Economics 204 Fall 2011 Problem Set 1 Suggested Solutions

Exercises for Unit VI (Infinite constructions in set theory)

2 Lebesgue integration

Solution of the 7 th Homework

18.S097 Introduction to Proofs IAP 2015 Lecture Notes 1 (1/5/2015)

Fragmentability and σ-fragmentability

Integration on Measure Spaces

Fleurbaey-Michel Conjecture on Equitable weak Paretian Social Welfare Order

Chapter 1 : The language of mathematics.

3 Hausdorff and Connected Spaces

Utility Representation of Lower Separable Preferences

ON DISCRETE HESSIAN MATRIX AND CONVEX EXTENSIBILITY

A metric space is a set S with a given distance (or metric) function d(x, y) which satisfies the conditions

Dynamical Systems 2, MA 761

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Chapter 8. General Countably Additive Set Functions. 8.1 Hahn Decomposition Theorem

Math 564 Homework 1. Solutions.

Locally Convex Vector Spaces II: Natural Constructions in the Locally Convex Category

13 Social choice B = 2 X X. is the collection of all binary relations on X. R = { X X : is complete and transitive}

The New Palgrave: Separability

Math 4121 Spring 2012 Weaver. Measure Theory. 1. σ-algebras

On maxitive integration

CAE Working Paper # On Equitable Social Welfare Functions Satisfying the Weak Pareto Axiom: A Complete Characterization

Rationality and solutions to nonconvex bargaining problems: rationalizability and Nash solutions 1

ON SPACE-FILLING CURVES AND THE HAHN-MAZURKIEWICZ THEOREM

Social Welfare Functions that Satisfy Pareto, Anonymity, and Neutrality: Countable Many Alternatives. Donald E. Campbell College of William and Mary

MAT1000 ASSIGNMENT 1. a k 3 k. x =

( f ^ M _ M 0 )dµ (5.1)

Extension of continuous functions in digital spaces with the Khalimsky topology

CHAPTER I THE RIESZ REPRESENTATION THEOREM

Decomposing planar cubic graphs

2.1 Sets. Definition 1 A set is an unordered collection of objects. Important sets: N, Z, Z +, Q, R.

Functional Analysis HW #3

Economics Bulletin, 2012, Vol. 32 No. 1 pp Introduction. 2. The preliminaries

Numerical representations of binary relations with thresholds: A brief survey 1

A Simple No-Bubble Theorem for Deterministic Sequential Economies

Efficiency and converse reduction-consistency in collective choice. Abstract. Department of Applied Mathematics, National Dong Hwa University

Social Choice Theory. Felix Munoz-Garcia School of Economic Sciences Washington State University. EconS Advanced Microeconomics II

Constructive Proof of the Fan-Glicksberg Fixed Point Theorem for Sequentially Locally Non-constant Multi-functions in a Locally Convex Space

Some Background Material

arxiv: v1 [math.fa] 14 Jul 2018

1 The Local-to-Global Lemma

Topological properties of Z p and Q p and Euclidean models

Section Integration of Nonnegative Measurable Functions

Infinite-Dimensional Triangularization

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

Chapter 1: Probability Theory Lecture 1: Measure space and measurable function

Bayesian Persuasion Online Appendix

Fundamental Inequalities, Convergence and the Optional Stopping Theorem for Continuous-Time Martingales

Richter-Peleg multi-utility representations of preorders

4 Countability axioms

SENSITIVITY AND REGIONALLY PROXIMAL RELATION IN MINIMAL SYSTEMS

INVERSE LIMITS AND PROFINITE GROUPS

Transcription:

GRIPS Discussion Paper 17-09 Existence Theorems of Continuous Social Aggregation for Infinite Discrete Alternatives Stacey H. Chen Wu-Hsiung Huang September 2017 National Graduate Institute for Policy Studies 7-22-1 Roppongi, Minato-ku, Tokyo, Japan 106-8677

Existence Theorems of Continuous Social Aggregation for Infinite Discrete Alternatives Stacey H. Chen and Wu-Hsiung Huang 1 September 14, 2017 1 S.H. Chen: Associate Professor of Economics, National Graduate Institute for Policy Studies, Japan; e-mail: s-chen@grips.ac.jp. W.H. Huang: Professor Emeritus, Department of Mathematics, National Taiwan University; e-mail: whuang0706@gmail.com. Special thanks to Weibo Su for excellent assistance and thoughtful comments. We gratefully acknowledge the funding from the GRIPS Research Award and the JSPS Kakenhi Grant Number JP 17H02537.

Abstract This paper considers the infinite alternative case to prove the existence of continuous social welfare aggregation that is anonymous and respects the unanimity. It clarifies the controversy between Chichilnisky (1982, QJE) and Huang for their contradictory results for the continuum case. Compared to their topological frameworks, the infinite alternative case is easier to understand and pinpoint their difference.

1 Introduction Built on Arrow s (1951) framework, Chichilnisky (1982) proves that for a continuum alternative space X, there exists no continuous social welfare function on profiles of preferences that is anonymous and respects unanimity. These theorems have resulted in two of the most-cited works in the area of social choice theories. Huang (2009) proves the existence of continuous social utility maps that are anonymous and respect unanimity, contrary to Chichilnisky s (1982) impossibility theorem. Huang introduces the notion of singularity of social aggregations and notes that in Chichilnisky s framework the singularity that relates to the set of zero preference vectors is not properly treated. On the other hand, Huang (2014) reexamines Arrow s paradox and proposes the extent principle to revise the form of Arrow s independence. He shows Arrow s framework excludes a singularity such as cyclic social preference orderings. To tackle the behavior of continuous variation in preferences on X collectively while dealing carefully with singularity, Huang (2004, 2009, 2014) uses the technical language of topology, which reduces the tractability and applicability of his findings. For purposes of helping explain Huang s (2009) existence theorem, we consider a simpler setting, where X is an infinite discrete set {x 1, x 2, x 3,...}. Under this joint setting between discrete and continuum cases, we reexamine the existence of continuous social aggregation in a manner analogous to Chichilnisky (1982). The rest of the paper is organized as follows. Section 2 introduces the analysis framework, and Section 3 proves the existence theorem. 2 The framework Consider X = {x i ; i Z + } as an alternative space, i.e., X consists of infinite discrete alternatives, where Z + is the set of natural numbers. The conventional topology of X is generated by the base B = {B i ; i Z + }, where B i = {x i, x i+1, x i+2,...}. A preference p on X is a transitive binary order over any pairs of X, i.e., (i) x, y X, we have x y, or y x, or both; (ii) x, y, z X, if x y and y z, then x z. Given a preference p, x y (in p) indicates x is at least as good as y in the preference p. The strict preference is defined by x y x y but not y x (that is, x is preferred to y). The indifference preference is defined by x y x y and y x (that is, x is indifferent to y). 1

A preference p on X is called regular, if there is no pair of (distinct) alternatives x, y X with x y in p. Otherwise, p is called singular. Given any V and W in X, V W in p means v w in p for any v in V and w in W. The totality of all preferences on X is denoted by P, while P P denotes the set of all regular preferences on X. Let p P, given x X we consider the superior set U x (p) {y X; y x in p}, the inferior set L x (p) {y X; y x in p} and the indifferent set I x (p) {y X; y x in p}. In an economy with N individuals, let p α be the preference of the individual α = 1, 2,..., N; let p = (p 1, p 2,..., p N ) denote a profile of individual preferences; and let P N denote the set of all profiles. Let F(X) be the space of real valued functions defined on X. A social utility map U is a map, U : P N F(X), (2.1) assigning to each profile a real valued function u F(X), which we may call a social utility function on X. A social welfare function is a map, F : P N P, which assigns to each profile a social preference. Analogous to local setting of preference vector fields, defined by Antonelli (Debreu 1972) and developed by Chichilnisky (1982), a local preference on infinite discrete X is an assignment, v : x i v(x i ) { 1, 0, +1}, assigning to each alternative x i a number -1, 0 or +1, which respectively indicates x, or x i+1. Let P c denote the totality of local preferences. A local preference v provides preference order between x i and x i+1, but may not do so for x i and x i+2. For example, when v(x i ) = +1, v(x i+1 ) = 1, we cannot judge whether x i+2 is preferred to x i. In this sense, we call it local. Comparatively, a preference p in P is called a global preference on X, as it defines orders over all pairs x, y of X. Given an abstract set G, a topology defines a consistent way of convergence among element in G, i.e. how a t converges to a, where a t, a G. It means how elements of G vary continuously in rigorous mthematical terms. We will define various ways of convergence on preference spaces P and P c by introducing topologies as follows: Definition 2.1. Let the topological spaces (P, I), (P c, I c ) and (P, I 0 ) be defined as follows. 1. p t converge to p 0 in the global preference topology I (usually denoted by p t p 0 in I) if and only if for any finite set A in X, there exists a number T such that t > T, p t A = p 0 A. (2.2) The last formula means: x, y A, x y in p t iff x y in p 0. 2

2. v t converges to v 0 in the local preference topology I c (usually denoted by v t v 0 in I c ) if and only if for any finite set A in X, there exists a number T such that t > T, v t A = v 0 A, where A means the function restriction, i.e. x A, v t (x) = v 0 (x). 3. p t converges to p 0 in the social preference topology I 0 (usually denoted by p t p 0 in I 0 ) if and only if for any pair of disjoint finite sets V, W in X with V W in p 0, there exists a number T such that V W in p t t > T. We note that the global preference topology I is stronger than the social preference topology. Proposition 1. p t p in I p t p in I 0. (2.3) The converse is not true unless p is regular. Proof. Given any two finite sets V and W in X with V W in p, we choose a finite set A such that A V W. By p t p in I, T such that p t A = p A, t > T. Hence, V W in p t, t > T. Thus p t p in I 0. As for the converse, consider two preferences q 1 and q 2 defined by q 1 : x 1 x 2 x 3 x 4 x 5... q 2 : x 2 x 1 x 3 x 4 x 5... both monotone after x 3. We define a sequence of preferences {p t } = {q 1, q 2, q 1, q 2, q 1, q 2,...} and p : x 1 x 2 x 3 x 4 x 5... Clearly, p t p in I 0. In fact, if V and W are two non-empty sets in X with V W in p, then x j in W, we see that j 3 since V. By monotonicity of q 1 and q 2 after j 3, it holds that V W in p t. On the other hand, it is evident that P t does not converge to p in I. Hence, the converse of (2.3) is not true. The proof of Proposition 1 tells us the basic difference between I and I 0 is focused on singularities. We notice that the converse of (2.3) is not true only when p is singular. If p is regular, it becomes that p t p in I p t p in I 0. The map ψ defined in the following provided a link between P and P c. Definition 2.2. The localization map ψ : P P c is defined by 1 if x i+1 x i ψ(p)(x i ) = 0 if x i+1 x i 1 if x i+1 x i 3

Remark 1. The map ψ is surjective and many to one. For example, consider p 1 : x 1 x 2 x 3 x 4 x 5 x 6, but x 1 x 3, p 2 : x 1 x 2 x 3 x 4 x 5 x 6, but x 1 x 3, p 3 : x 1 x 2 x 3 x 4 x 5 x 6, but x 1 x 3. Then ψ(p k ) = same v 0 P c, k = 1, 2, 3, where v 0 (x 1 ) = +1, v 0 (x 2 ) = 1, v 0 (x 3 ) = 0 = v 0 (x 4 ) =. Proposition 2. The topology I of the global preference space P is equivalent to the topology I c of the local preference space P c under the localization map ψ, in the sense that for any set τ P c. τ is open in (P c, I c ) iff ψ 1 (τ) is open in (P, I). And furthermore, ψ is an open map, i.e., for any σ open in (P, I), ψ(σ) is open in (P c, I c ). 1 Proof. See the Appendix. 3 Existence theorems Definition 3.1. The cardinality-forgetting map π : F(X) P is defined by p := π(u) P, for any u F(X) such that x y in p iff u(x) u(y), x, y X. We call u a utility function on X defining the global preference p P, or call p the preference corresponding to utility function u. Proposition 3. Let p t = π(u t ), p = π(u) where u t, u F(X). Then u t u uniformly on X p t p I 0, but under the same hypothesis, p t may not converge to p in I. 1 A topology of an abstract set G can be defined either by the notion of openness or convergence. If by the former, we introduce a family θ {u α ; α I} of subsets u α of G in which each u α is called an open set, such that (i) the empty set φ and the entire set G are open (i.e., contained in θ); (ii) any union of open sets is open; (iii) any finite intersection of open sets is open. (B) If a topology of G is defined by the notion of convergence then it defines openness in the sense that U G is said to be open in G if and only if for any convergent sequence x t x 0 in G, (2.4) where x 0 U, there exists T such that x t U, t > T. 4

Proof. (i) Given finite sets V, W X with V W in p, it holds that u(v) < u(w), v V, w W, since p = π(u). To show that p t p in I 0, it suffices to show that T such that V W in p t t > T. In fact, we may choose ε so small that u(v) < u(w) 2ε. By u t F(X), T such that v V, w W, u t (v) u(v) < ε and u t (w) u(w) < ε, t > T. Hence, u t (v) < u(v) + ε < (u(w) 2ε) + ε = u(w) ε < u t (w). As p t = π(u t ), we have V W in p t, t > T, as required. (ii) To claim p t may not converge to p in I, we let u(x j ) = { 1 for j = 1, 2 j for j > 2 1 1/t for j = 1 and u t (x j ) = 1 + 1/t for j = 2, j for j > 2. Then u t u uniformly on X. Now let p = π(u), p t = π(u t ). We see that x 1 x 2 in p t t. However, x 1 x 2 in p. Thus, p t does not converge to p in I. Theorem A. Given an infinite discrete alternative set X, let F(X) denote the space of all of the real-valued functions on X, and P denote the totality of preferences on X. If P is equipped with the global preference topology I, then there exist social utility maps U : P N F(X) where P N is the space of N-profiles of preferences equipped with product topology of I on P, and U satisfies the following properties: 1. Continuity: For any sequence of profile p t in P N, p t p in I N U(p t ) U(p) uniformly on X. 2. Anonymity: U(p 1,..., p i,...p j,..., p N ) = U(p 1,..., p j..., p i..., p N ) i, j Z +, where p i and p j interchange their positions. 3. Respecting Unanimity: If all N individuals have a common preference p P, then the social utility U(p, p,..., p) defines the preference p, i.e. π(u(p, p,..., p)) = p. 5

Proof. Step 1 Consider the sequence of maps, P N ηn F(X) N P F(X) maps a preference p to a utility function u p defined by where the inferior set u p (x) = µ(l x (p)) 1 2 j 1 + 1 2 j 2 G k F(X). Here η : +... > 0, x X, (3.1) L x (p) = {x j1, x j2,...} with j 1 < j 2 <.... (3.2) And G k is a symmetric function (k = 1,..., N) defined by G k (u 1, u 2,..., u N ) = I k exp(u i1 ) exp(u i2 ) exp(u ik ), (3.3) where u i F(X) and I k indicate the set of all combinations {i 1, i 2,, i k } of {1, 2,, N} Step 2 Given p P, the following three statements are equivalent: x y in p L x (p) L y (p) u p (x) u p (y). (3.4) Let the social utility map U be defined by U = G k η N. Clearly, U satisfies anonymity since G is a symmetric function. We show that U satisfies strong Pareto principle. Given x y in each individual preference p α, α {1, 2,, N}, we have u pα (x) u pα (y) for any α by (3.4). Evidently, G k (u p1 (x),, u pn (x)) G k (u p1 (y),, u pn (y)), which yields that (G k η N (p))(x) (G k η N (p))(y), where p = (p 1,..., p N ). Thus U(p)(x) U(p)(y). Step 3 It remains to show the continuity of U. Claim that η : (P, I) F(X) is continuous, i.e., p t p in I u t u uniformly, where u t = η(p t ) = u pt, u = η(p) = u p defined by (3.1) and (3.2). For any ε 1 > 0, choose a finite integer δ such that δ > ln ε 1 ln 2 + 1. (3.5) Take A {x 1, x 2,..., x δ } X. Given x in X, let L x (p t ) = B t C t, where B t = L x (P t ) A, C t X A. Similarly, let L x (p) = B C, where B = L x (P ) A and C X A. Since there exists 6

T such that p t A = p A for any t > T, we have B t = B for any t > T. However, µ(c t ) µ(x A) and µ(c) µ(x A). It is clear that µ(x A) = 2 (δ+1) + 2 (δ+2) + = 2 δ. By equation (3.5), we obtain that for all t > T, µ(l x (p t )) µ(l x (p)) = µ(c t ) µ(c) µ(c t ) + µ(c) 2 µ(x A) 1 2 δ 1 < ε 1. (3.6) Thus, µ(l x (p t )) µ(l x (p)) and u t u pointwisely. This convergence is also uniform because the bound of (3.6) is independent of x. Therefore, η is continuous. By the continuity of the product map and the symmetric function G k, we have U = G k η N is continuous. This complete the proof. We note that the measure µ in (3.1) is a nonnegative measure defined on X and that the value of G k in (3.3) depends on the choice of k. A different measure of X and different choice of k may induce various social utility maps U that assign different social utility functions to a given individual preferences profiles. In other words, there exist many different social utility maps which satisfy the given rational principles. Combining Theorem A and Proposition 3, we obtain the existence of rational social welfare functions as follows. Theorem B. Given X, an infinite discrete set of alternatives, and P, the totality of preferences on X equipped with the global preference topology I. If we replace the topology I of P by zero order topology I 0, when social preferences are considered, then there exist continuous social welfare functions, F : (P N, I N ) (P, I 0 ), which is anonymous and respects unanimity. Proof. Let F = π U, where U be the continuous utility maps given in Theorem A. Proposition 3 implies the cardinality-forgetting map, π : F(X) (P, I 0 ), is continuous. Therefore, F is continuous. The requirements of anonymity and unanimity are clearly satisfied. Definition 3.2. Let 2 X denote the power set of X; that is, the set of all subsets of X. A map C : P N 2 X is called a choice map. Definition 3.3. A choice map C : P N 2 X, where P is equipped with the global preference 7

topology I, is called continuous if wherever p t converges to p in I N. x t C(p t ) lim t x t C(p), Definition 3.4. A choice map C respects unanimity if M(p i ) = same Z φ, i = 1,, N C(p) = Z, where M(p) is defined {x X; x y in p, y X}. And C is called anonymous if C(p i1, p i2,, p in ) = C(p 1, p 2,, p N ), for any permutation (i 1, i 2,, i N ) of (1, 2,, N). Theorem C. Given X, an infinite discrete set of alternatives, and P, the totality of preferences on X equipped with the global preference topology I. There exist continuous choice maps C : P N 2 X which are anonymous and respect unanimity. Proof. For a utility function u on X, define S(u) = {x X ; u(x) = u 0 } X, where u 0 := lim sup{u(y), y X}. Note that S(u) may or may not be empty as X is infinite. Define C(p) = S(U(p)), p = (p 1,, p N ) P N, where U is the social utility map given in Theorem A. Since U is continuous, anonymous and respect unanimity, those requirements are statisfied. Appendix: A proof of proposition 2 Step 1 Using (2.4), we set up a criterion for a set open in P. Claim that σ P, σ is open in P if and only if p 0 σ, there corresponds a finite set A in X such that N A (P 0 ) σ, (a) where N A (p 0 ) {p P ; p A = p 0 A }. First we assume σ P is open in I. Suppose p 0 σ such that for any finite set A X, N A (p 0 ) σ. For any t <, let A t {x 1, x 2,, x t }. We select p t N At (p 0 ) σ φ. Clearly, p t p 0 in I. (In fact, A X, a finite subset, let t 0 be such that A t0 A, then p t A = p 0 A for any 8

t > t 0 because p t N At0 (p 0 ) N At (p 0 ) N A (p 0 ).) By σ open in P, we have p t σ, for t large enough. This contradicts to p t N At (p 0 ) σ, for any t <. Thus (a) is satisfied. The converse is proved as follows. Given σ P satisfying (a), we will show that σ is open in P in the sense of (2.4), i.e. p t p 0 σ in I, T such that p t σ, t > T. Since by (a), some A X such that N A (p 0 ) σ. By (2.2) in Definition (2.1), T such that p t A = p 0 A, t > T. This implies p t N A (p 0 ) σ, t > T. So σ is open in P in the sense of (2.4). Step 2 Claim that τ P c, τ is open if and only if v 0 τ, there exists a finite set A in X such that M A (v 0 ) τ, where M A (v 0 ) = {v P c ; v A = v 0 A }. The proof is similar as in Step 1. Step 3 Step 1 simply says that all sets of the form N A (p 0 ) in P constitute a basis of topology I. It is clear that we may assume without loss of generality that A is an sequence from x 1 to x m, i.e. A = {x 1, x 2, x 3,, x m } for some m. Step 4 Similarly, all sets of the form M A (v 0 ) in P c constitute a basis of topology I c, where A is assumed to be a sequence from x 1 to some x m without loss of generality. Step 5 To claim that (P, I) and (P c, I c ) are equivalent under ψ, it suffices to show ψ(n A (p 0 )) = M A (v 0 ), (b) where A = {x 1, x 2,, x m 1, x m }, A = {x 1, x 2,, x m 1 }, and ψ(p 0 ) = v 0. It means that ψ is a continuous map and is an open map. However, we note that ψ 1 (M A (v 0 )) N A (p 0 ). Step 6 To show (b), we first check : For p N A (p 0 ), p A = p 0 A and ψ(p) A = ψ(p 0 ) A = v 0 A. Hence, ψ(p) M A (v 0 ). Now we claim : Given v M A (v 0 ), we have to construct p N A (p 0 ) such that ψ(p) = v. We define an utility function f on X by f(x i ) = number of {x j ; x j x i in p 0 and 1 j m} for i = 1, 2,, m, and f(x m+k ) = f(x m ) + v m + v m+1 + + v m+k 1, for k 1. Finally, we define p = π(f), that is, p is the preference corresponding to f. It is clear that p A = p 0 A and ψ(p) = v, as required. 9

Reference Arrow, K. J. (1951). Social Choice and Individual Values. New York: Wiley. Chichilnisky, G. (1982) Social Aggregation Rules and Continuity. Quarterly Journal of Economics 97(2): 337 352 Debreu G (1972) Smooth Preferences. Econometrica 23: 603 615. Huang, W.H. (2004) Is Proximity Preservation Rational in Social Choice Theory? Social Choice and Welfare 23: 315 332. Huang, W.H. (2009) Is a Continuous Rational Social Aggregation Impossible on Continuum Spaces? Social Choice and Welfare 32: 635 686. Huang, W.H. (2014) Singularity and Arrow s Paradox. Social Choice and Welfare 42: 671 706. 10