Mathematics and politics
Lecture notes, 4/15/03

Announcements


Current assignments:

Today: Properties of voting systems and impossibility.


Properties of voting systems

The Condorcet voting paradox

An easy impossibility theorem

Theorem:
There is no social choice procedure that satisfies independence of irrelevant alternatives and that always elects a majority winner in a two-person race.

Notes:

Proof:
The technique to use is proof by contradiction.

Assume that there is a voting system that satisfies independence of irrelevant alternatives and that always elects a majority winner in a two-person race.

(Derive a contradiction.)

Apply this voting system to the election between candidates Bush, Gore, and Nader, who receive the following vote totals:

(Notice the similarity to the voting paradox. All the Gore voters now prefer Bush over Nader; otherwise it's the same model we've been using.)

We will prove that Nader loses, that Gore loses, and that Bush loses. This is a contradiction, because there must be at least one winner.

So every candidate loses, and we have a contradiction.
End proof

All that was necessary in the sample election is that:

The theorem tells us that there's something very fishy about independence of irrelevant alternatives.

It's actually even worse than this.