Twierdzenie Arrowa — nie ma idealnych wyborów

Co się właśnie stało?

Trzej wyborcy mają do wyboru trzy opcje (A, B, C) i każdy porządkuje je racjonalnie. Chcemy z tych trzech indywidualnych rankingów zbudować jeden ranking społeczny. Wydaje się, że wystarczy „głosować sprawiedliwie” — a jednak każdy sposób, który spróbujesz, coś psuje.

Profil preferencji (paradoks Condorceta):

Sprawdź większości parami: A pokonuje B (2:1), B pokonuje C (2:1), ale C pokonuje A (2:1). Powstaje zapętlenie:

Mimo że każdy wyborca ma spójne, racjonalne preferencje, preferencje grupowe tworzą cykl — nie ma zwycięzcy. To słynny paradoks Condorceta.

Rozsądne kryteria sprawiedliwości (niezmiennik):

Od dobrego systemu głosowania oczekujemy naturalnych warunków — m.in.:

W panelu obok każdy system spełnia część z nich — ale zawsze co najmniej jedno kryterium świeci na czerwono. Większość parami łamie spójność rankingu (cykl); metoda Bordy łamie niezależność (IIA); a jedyny system, który spełnia Pareto, IIA i spójność naraz, okazuje się… dyktaturą.

Twierdzenie Arrowa (twierdzenie o niemożliwości):

Kenneth Arrow udowodnił w 1951 roku (w książce „Social Choice and Individual Values”), że gdy wyborcy mają do wyboru co najmniej trzy opcje, nie istnieje żaden system agregacji indywidualnych rankingów w jeden ranking społeczny, który spełniałby jednocześnie wszystkie te „rozsądne” warunki. Brzmią one oczywiście i minimalnie — a mimo to są wzajemnie sprzeczne: każdy system musi złamać przynajmniej jeden. Ilustruje to właśnie paradoks Condorceta, gdzie racjonalne preferencje jednostek składają się na irracjonalne, zapętlone preferencje grupy.

Kenneth Arrow i teoria wyboru społecznego

To jeden z najsłynniejszych wyników matematyki w naukach społecznych. Za tę i inne prace Arrow otrzymał w 1972 roku Nagrodę Nobla z ekonomii. Twierdzenie ma głębokie konsekwencje dla teorii demokracji, projektowania ordynacji wyborczych i teorii wyboru społecznego — pokazuje matematyczną granicę „idealnej sprawiedliwości” w podejmowaniu decyzji zbiorowych.

Po co Ci to:

To temat spoza podstawy programowej — ciekawostka pokazująca, jak matematyka opisuje demokrację i wybory. Warto zapamiętać jeden wniosek: „idealnie sprawiedliwy” system wyborczy dla ≥3 opcji nie istnieje, więc każda ordynacja to świadomy kompromis — poświęcamy któreś z kryteriów.

Zapamiętaj: przy co najmniej trzech opcjach warunki brak dyktatora + jednomyślność + niezależność (IIA) są wzajemnie sprzeczne. Nie da się ich spełnić naraz — każdy system głosowania łamie przynajmniej jeden.