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:
“This is no argument against teaching manners to the young. On the contrary, it is a fine old tradition that ought to be resurrected from its current mothballs and put to work...In fact, children are much more comfortable when they know the guide rules for handling the social amenities. It’s no more fun for a child to be introduced to a strange adult and have no idea what to say or do than it is for a grownup to go to a formal dinner and have no idea what fork to use.”
—Leontine Young (20th century)
“If we do take statements to be the primary bearers of truth, there seems to be a very simple answer to the question, what is it for them to be true: for a statement to be true is for things to be as they are stated to be.”
—J.L. (John Langshaw)
“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)