무한 게임의 기수와 카디널리티

초록

본 논문은 플레이어 수가 고정된 상태에서 턴이 무한히 반복되는 ‘무한 게임’의 형식적 정의를 제시하고, 강한 무한 게임과 약한 무한 게임이라는 두 종류를 구분한다. 두 게임 모두 턴 수가 가산 무한이며, 이는 게임의 순서(ordinality)를 보장한다는 중요한 결과를 도출한다.

상세 분석

논문은 먼저 ‘무한 게임’이라는 개념을 “플레이어들의 움직임이 반복적으로 진행되는, 각 반복을 하나의 iteration이라 정의하고, 이러한 iteration이 무한히 이어지는 구조”로 정의한다. 여기서 핵심은 ‘iteration’이 유한한 플레이어 집합에 대해 동일한 규칙 하에 반복된다는 점이며, 이는 전통적인 유한 게임 이론에서 사용되는 정상형(normal form) 혹은 동적형(dynamic form)과는 구별된다.

두 번째로 저자는 강한(infinite strong) 무한 게임과 약한(infinite weak) 무한 게임을 구분한다. 강한 무한 게임은 각 iteration이 끝날 때마다 지급(imputation)이 서로 다르게 발생하도록 요구한다. 즉, 동일한 지급 벡터가 두 번 나타날 수 없으며, 이는 각 iteration이 고유한 상태(state)를 만든다. 이 조건은 게임 트리의 각 노드가 서로 다른 레이블을 갖게 함으로써, 게임의 전개를 완전하게 구분할 수 있게 만든다. 반면 약한 무한 게임은 지급이 중복될 수 있기에, 동일한 지급이 여러 iteration에 걸쳐 재현될 수 있다. 이 차이는 게임의 결과 공간(result space)의 크기에 직접적인 영향을 미친다.

논문은 중요한 정리를 제시한다: “강한 무한 게임과 약한 무한 게임 모두 가산 무한(ℵ₀)개의 턴을 가진다.” 이를 증명하기 위해 저자는 각 iteration을 자연수 1,2,3,…에 일대일 대응시키는 함수를 구성한다. 강한 무한 게임에서는 지급의 고유성 때문에 각 iteration이 서로 다른 자연수에 매핑될 수 있음을 보이고, 약한 무한 게임에서도 동일한 매핑이 가능함을 보여준다. 결과적으로 전체 무한 게임 집합은 강한 무한 게임 집합과 약한 무한 게임 집합의 합집합이며, 이는 여전히 가산 무한 집합이다.

이러한 결과는 ‘ordinality of turns’라는 개념을 도입하는데, 즉 무한 게임의 턴이 단순히 무한히 존재하는 것이 아니라, 자연수 순서에 따라 명확히 정렬될 수 있음을 의미한다. 이는 게임 이론에서 전략 프로파일(strategy profile)이나 균형(equilibrium) 개념을 정의할 때, 시간적 순서를 명시적으로 고려할 수 있는 수학적 기반을 제공한다. 특히, 강한 무한 게임에서는 각 턴이 고유하므로, 서브게임 완전 균형(subgame perfect equilibrium)과 같은 정교한 해석이 가능해진다. 반면 약한 무한 게임에서는 동일 지급이 반복될 수 있기 때문에, 균형 개념이 다소 완화될 여지가 있다.

마지막으로 저자는 이러한 형식적 구조가 기존의 무한 반복 게임(infinite repeated games)이나 동적 게임(dynamic games)과 어떻게 차별화되는지를 논의한다. 기존 문헌에서는 보통 ‘무한히 반복되는 동일 게임’이라는 가정 하에 할인율(discount factor)이나 평균 보수(average payoff) 등을 이용해 균형을 분석한다. 그러나 본 논문이 제시하는 ‘iteration’ 개념은 각 반복이 독립적인 지급 구조를 가질 수 있음을 허용함으로써, 보다 일반적인 무한 게임 모델링이 가능함을 강조한다.

요약하면, 논문은 무한 게임을 형식적으로 정의하고, 강한·약한 두 종류로 구분한 뒤, 모든 무한 게임이 가산 무한 턴을 갖는다는 정리를 증명한다. 이를 통해 턴의 순서성이 보장되고, 향후 게임 이론적 분석에 필요한 수학적 토대를 제공한다.