Proof
The proof is in two parts (Arrow, 1963, pp. 97–100). The first part considers the hypothetical case of some one voter's ordering that prevails ('is decisive') as to the social choice for some pair of social states no matter what that voter's preference for the pair, despite all other voters opposing. It is shown that, for a constitution satisfying Unrestricted Domain, Pareto and Independence, that voter's ordering would prevail for every pair of social states, no matter what the orderings of others. So, the voter would be a Dictator. Thus, Nondictatorship requires postulating that no one would so prevail for even one pair of social states.
The second part considers more generally a set of voters that would prevail for some pair of social states, despite all other voters (if any) preferring otherwise. Pareto and Unrestricted Domain for a constitution imply that such a set would at least include the entire set of voters. By Nondictatorship, the set must have at least 2 voters. Among all such sets, postulate a set such that no other set is smaller. Such a set can be constructed with Unrestricted Domain and an adaptation of the voting paradox to imply a still smaller set. This contradicts the postulate and so proves the theorem.
Read more about this topic: Social Choice And Individual Values
Famous quotes containing the word proof:
“Ah! I have penetrated to those meadows on the morning of many a first spring day, jumping from hummock to hummock, from willow root to willow root, when the wild river valley and the woods were bathed in so pure and bright a light as would have waked the dead, if they had been slumbering in their graves, as some suppose. There needs no stronger proof of immortality. All things must live in such a light. O Death, where was thy sting? O Grave, where was thy victory, then?”
—Henry David Thoreau (1817–1862)
“O, popular applause! what heart of man
Is proof against thy sweet, seducing charms?”
—William Cowper (1731–1800)
“The source of Pyrrhonism comes from failing to distinguish between a demonstration, a proof and a probability. A demonstration supposes that the contradictory idea is impossible; a proof of fact is where all the reasons lead to belief, without there being any pretext for doubt; a probability is where the reasons for belief are stronger than those for doubting.”
—Andrew Michael Ramsay (1686–1743)