공통 사전 없이 일관된 믿음

초록

헬만과 핀터는 무한형 타입 공간에서 ‘전체 지원(common prior with full support)’을 요구하지 않고도 믿음의 일관성을 정의한다. 기존의 모리스(Morris) 정리를 무한 차원으로 확장하고, 확률 측도와 확률 충전(가산 확률) 두 모델 모두에서 동일하게 성립함을 보인다. 또한, 무한 상태공간에서는 하나의 확률분포나 그 집합으로는 강한 일관성을 완전히 포착할 수 없으며, 이를 ‘강한 일관성(strong consistency of beliefs)’이라는 새로운 개념으로 대체한다.

상세 분석

이 논문은 두 가지 주요 흐름을 통합한다. 첫 번째는 ‘공통 사전(common prior)’을 확률분포로 보는 전통적 접근이며, 두 번째는 그 사전이 모든 타입에 양의 확률을 할당하는 ‘전체 지원(full support)’을 전제하는 흐름이다. 모리스(1991,1994)는 유한 타입 공간에서 전체 지원을 갖는 공통 사전이 존재하려면 ‘허용 가능한 베팅(acceptable bet)’이 없다는 대수·행동적 이중성을 제시했는데, 저자들은 이를 무한 타입 공간으로 일반화한다. 핵심은 ‘허용 가능한 베팅’의 정의를 무한 상태공간에서도 의미 있게 확장하고, 이를 통해 ‘강한 일관성(strong consistency of beliefs)’이라는 개념을 도입한 점이다.

논문은 두 가지 확률 모델을 동시에 고려한다. 하나는 전통적인 σ‑additive 확률측도 모델이며, 다른 하나는 가산(additive) 확률충전 모델이다. 기존 연구에서는 ‘동의 가능한 베팅(agreeable bet)’과 공통 사전 사이의 이중성이 σ‑additive 모델에서는 추가 가정(예: 컴팩트성, 가산 상태공간) 없이는 성립하지 않는다는 한계가 있었다. 반면, 저자들은 ‘허용 가능한 베팅’과 강한 일관성 사이의 이중성이 두 모델 모두에서 동일하게 유지된다는 강건성을 증명한다(정리 7 및 보조 자료). 이는 강한 일관성 개념이 기존의 공통 사전 개념보다 구조적으로 더 안정적임을 시사한다.

기술적으로는 각 플레이어 i의 ‘사전 집합’ Π_i 를 정의하고, 이들 집합 사이의 ‘적절한(proper) 분리’를 선형 함수 f 로 표현한다. 허용 가능한 베팅이 존재한다면, 어떤 플레이어 i와 상태 ω에 대해 기대값이 양수가 되면서 모든 플레이어는 손실을 보지 않는다. 반대로, 적절한 분리가 불가능하면 강한 일관성이 성립한다. 이와 같은 분리-베팅 이중성은 무한 차원에서도 Hahn‑Banach 정리와 그 변형을 이용해 증명된다.

특히 논문은 두 가지 예시(예제 8,9)를 통해 무한 차원에서 ‘상대 내부(relative interior)’의 교집합이 적절한 분리를 보장하지 못한다는 점을 시각화한다. 두 플레이어의 사전 집합이 동일한 교집합을 가짐에도 불구하고, 하나는 적절히 분리 가능하고 다른 하나는 불가능하다. 이는 무한 상태공간에서 하나의 확률분포(또는 그 집합)만으로는 강한 일관성을 완전히 기술할 수 없음을 보여준다.

결과적으로 저자들은 ‘공통 사전’이라는 용어 자체가 무한형 상황에서는 의미가 흐려질 수 있음을 지적하고, 대신 ‘믿음의 강한 일관성(strong consistency of beliefs)’이라는 용어를 사용하자고 제안한다. 이는 기존의 Aumann‑Gul 논쟁을 확장하면서, 비대칭 정보와 불완전 정보 모델 모두에서 적용 가능한 보다 일반적인 일관성 기준을 제공한다.