Vorlesungsskript: Grundlagen des Entscheidens I
|
3.1.3.2 Der Beweis des Theorems
Der wahrscheinlich einfachste Beweis, der sich für den Satz von Arrow
finden lässt, folgt weitgehend Dennis Mueller (Mueller 2003, S. 583f.),
der sich für seine Skizze wiederum auf William Vickrey stützt. Der
Satz von Arrow wird dabei über drei Zwischenschritte (Lemmata) bewiesen:
- Lemma: Sei eine Teilmenge von Individuen,
die beinahe entscheidend für über
ist, dann ist
beinahe entscheidend für alle Alternativen.
- Lemma: Sei beinahe entscheidend
für alle Alternativen, dann enthält
ein Individuum , das (bereits allein)
beinahe entscheidend für alle Alternativen ist.
- Lemma: Ist ein Individuum beinahe
entscheidend für alle Alternativen, dann ist
auch vollständig entscheidend für alle Alternativen (und damit
Diktator für alle Alternativen).
g+
f
@