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:
“Good gentlemen, look fresh and merrily.
Let not our looks put on our purposes,
But bear it as our Roman actors do,
With untired spirits and formal constancy.”
—William Shakespeare (1564–1616)
“The honor my country shall never be stained by an apology from me for the statement of truth and the performance of duty; nor can I give any explanation of my official acts except such as is due to integrity and justice and consistent with the principles on which our institutions have been framed.”
—Andrew Jackson (1767–1845)
“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)