애로우의 불가능성정리

한 줄 정의: 유권자가 3명 이상의 후보를 두고 3명 이상이 투표할 때, 몇 가지 당연해 보이는 공정성 조건을 동시에 만족시키는 "완벽한" 집단 의사결정 방식은 수학적으로 존재할 수 없다는 이론입니다.

쉽게 풀면

여러 사람의 선호를 모아 하나의 사회적 결론(예: 선거 결과)을 내는 투표 방식을 생각해봅시다. 우리는 그 방식이 "독재자가 결과를 좌우하지 않을 것", "모든 사람이 A보다 B를 좋아하면 사회도 A보다 B를 선호할 것", "무관한 대안이 순위에 영향을 주지 않을 것"처럼 상식적인 조건들을 만족하길 바랍니다. 그런데 경제학자 케네스 애로우는 후보가 3명 이상이고 유권자가 3명 이상인 상황에서는, 이런 조건을 모두 동시에 만족시키는 투표 방식이 수학적으로 존재하지 않는다는 것을 증명했습니다. 즉 아무리 투표 제도를 정교하게 설계해도 어느 조건 하나는 반드시 어긋나게 된다는 뜻입니다.

왜 중요한가

애로우의 불가능성정리는 사회선택이론의 출발점이 되는 결과로, 투표 제도·위원회 의사결정·집단적 순위 결정처럼 여러 개인의 선호를 하나로 모아야 하는 모든 문제에 공통된 한계를 제시합니다. 그래서 정치학, 경제학, 후생경제학은 물론 알고리즘을 이용한 순위 집계나 다기준 의사결정을 다루는 컴퓨터과학 논문에서도 이론적 배경으로 자주 인용됩니다. 어떤 집계 방식을 새로 제안하는 논문이라면 이 정리가 제시하는 조건들 중 무엇을 완화했는지를 밝혀야 논리적으로 설득력을 갖기 때문에, 관련 분야 연구의 사실상 기준점 역할을 합니다.

논문에서는 이렇게 쓰입니다

"애로우의 불가능성정리에 따르면 세 개 이상의 대안이 존재하는 사회적 선택 상황에서 모든 합리성 조건을 만족하는 집계 방식은 존재하지 않는다."

이 문장은 "여러 사람의 선호를 하나로 모으는 어떤 방법도 원하는 공정성 조건을 전부 다 만족시킬 수는 없다는 수학적 결론을 이 이론이 보여준다"는 뜻입니다.

"본 연구에서 제안하는 순위 집계 알고리즘은 애로우의 불가능성정리가 제시한 조건 중 무관한 대안으로부터의 독립성을 완화함으로써 실용적인 대안을 모색한다."

이 문장은 "완벽한 집계 방식이 불가능하다는 것을 인정하고, 대신 조건 하나를 의도적으로 느슨하게 풀어서 현실적으로 쓸 수 있는 방법을 찾았다"는 뜻입니다. 컴퓨터과학이나 정보검색 분야에서 여러 순위를 하나로 합치는 알고리즘을 설계할 때 흔히 등장하는 논리 전개입니다.

"애로우의 불가능성정리는 다기준 의사결정 문제에서도 유사하게 적용되며, 여러 평가 지표를 하나의 종합 순위로 환원하는 과정에서 발생하는 근본적 한계를 설명한다."

이 문장은 "투표뿐 아니라 여러 기준으로 대안을 평가해 하나의 순위를 매기는 일반적인 문제에서도 이 정리와 같은 근본적인 어려움이 나타난다"는 뜻입니다. 경영학이나 공학 분야의 다기준 평가 연구에서 이론적 근거로 종종 언급됩니다.

조금 더 깊게 보면

애로우의 불가능성정리에서 말하는 조건들은 보통 완전성·이행성 같은 합리적 순서(무제한 정의역), 파레토 원칙(만장일치 존중), 무관한 대안으로부터의 독립성(IIA), 비독재성으로 정리됩니다. 논문을 읽을 때는 저자가 이 조건들 중 정확히 어떤 것을 완화하거나 재정의했는지를 살펴보는 것이 핵심인데, 예를 들어 IIA를 약화하거나 선호를 서수가 아닌 기수(강도)로 다루는 방식이 대표적인 우회로로 자주 쓰입니다. 이후 등장한 길리바드-새터스웨이트 정리처럼 전략적 투표 조작 가능성과 연결지어 이 정리를 확장·재해석하는 연구도 많으므로, 관련 논문을 읽을 때는 어떤 조건 완화가 어떤 대가를 치르는지 함께 확인하는 것이 좋습니다.

주의할 점

이 정리는 "민주주의가 무의미하다"는 뜻이 아니라, "완벽하게 공정한 집단 의사결정 규칙은 이론적으로 불가능하므로 어떤 제도든 특정 조건에서는 한계나 모순을 가질 수밖에 없다"는 점을 수학적으로 보여주는 것입니다. 실제 투표 제도를 평가할 때는 이 정리를 근거로 어떤 조건을 우선시하고 어떤 한계를 감수할지 따지는 것이 중요하며, 중위투표자 정리나 투표의 역설과 함께 사회선택이론의 핵심 축을 이룹니다.