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:
“The bed is now as public as the dinner table and governed by the same rules of formal confrontation.”
—Angela Carter (1940–1992)
“He has the common feeling of his profession. He enjoys a statement twice as much if it appears in fine print, and anything that turns up in a footnote ... takes on the character of divine revelation.”
—Margaret Halsey (b. 1910)
“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)