considering the universal domain assumption of the Gibbard-Satterthwaite
result. Theorem 1 tells us that only dictatorial rules are strategy-proof on
additive preferences. This is the conclusion we wanted.
5 Appendix: Proof of Theorem 1
The proof of Theorem 1 is based on a decomposition argument that applies an
important result of Le Breton and Sen (1997) to our context. This argument,
which will be exploited in the proof of Theorem 1, is expressed as Proposition
4 below. But before, we need the following notation.
Let Pi be an additively representable preference on 2κ and consider a
subset B of K. Let Pf stand for the preferences on 2b generated by the
utilities which represent Pi. Let Aβ be the set of additive preferences on 2b.
For a profile P of preferences on 2κ, Pb will denote the profile of preferences
so restricted, for all i ∈ N.
Given a strategy-proof social choice function F: An → 2κ and a subset
B of objects, let Fb: A⅞ —> 2b be defined so that for all Pb ∈A⅛
Fb (Pb) = F(P)∏ B,
where P is any additive preference such that Pb is generated by the utilities
which represent P.
Remark 4 Notice that, since F. An —> 2κ is a strategy-proof social choice
function, it is voting by committees (by Proposition 2). Hence, for any
B C K, F(P) ∩ B = F (p} ∩ B for all F, F ∈A" such that Fb = Fb.
Therefore, Fb is well-defined.
Proposition 4 (a) Let F: An 2κ be a social choice function and let
{Bι,..., Bq} be a cylindric decomposition of Rp. If F is strategy-proof then
21
More intriguing information
1. Commuting in multinodal urban systems: An empirical comparison of three alternative models2. An Economic Analysis of Fresh Fruit and Vegetable Consumption: Implications for Overweight and Obesity among Higher- and Lower-Income Consumers
3. On the origin of the cumulative semantic inhibition effect
4. The name is absent
5. Bidding for Envy-Freeness: A Procedural Approach to n-Player Fair Division Problems
6. The name is absent
7. CGE modelling of the resources boom in Indonesia and Australia using TERM
8. The name is absent
9. The name is absent
10. Benefits of travel time savings for freight transportation : beyond the costs