Formal Statement of The Theorem
Let be a set of outcomes, a number of voters or decision criteria. We shall denote the set of all full linear orderings of by .
A (strict) social welfare function (preference aggregation rule) is a function which aggregates voters' preferences into a single preference order on . The -tuple of voters' preferences is called a preference profile. In its strongest and simplest form, Arrow's impossibility theorem states that whenever the set of possible alternatives has more than 2 elements, then the following three conditions become incompatible:
- unanimity, or Pareto efficiency
- If alternative a is ranked above b for all orderings, then a is ranked higher than b by . (Note that unanimity implies non-imposition).
- non-dictatorship
- There is no individual i whose preferences always prevail. That is, there is no such that .
- independence of irrelevant alternatives
- For two preference profiles and such that for all individuals i, alternatives a and b have the same order in as in, alternatives a and b have the same order in as in .
Read more about this topic: Arrow's Impossibility Theorem
Famous quotes containing the words formal, statement and/or theorem:
“Then the justice,
In fair round belly with good capon lined,
With eyes severe and beard of formal cut,
Full of wise saws and modern instances;
And so he plays his part.”
—William Shakespeare (1564–1616)
“Most personal correspondence of today consists of letters the first half of which are given over to an indexed statement of why the writer hasn’t written before, followed by one paragraph of small talk, with the remainder devoted to reasons why it is imperative that the letter be brought to a close.”
—Robert Benchley (1889–1945)
“To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.”
—Albert Camus (1913–1960)