범주 확률에서 경험적 측정과 대수의 법칙

초록

본 논문은 범주 확률 이론 안에서 경험적 측정의 개념을 형식화하고, 이를 통해 교환가능성(De Finetti) 정리, Glivenko‑Cantelli 정리, 강법칙(SLLN)을 하나의 추상적 틀로 증명한다. 핵심은 부분적 마코프 커널을 허용하는 quasi‑Markov 범주에 “경험적 샘플링 사상”이라는 두 가지 공리(순열 불변성, 경험적 적합성)를 부여하는 것이다. 구체적인 표준 보렐 공간 위의 구현을 제시하고, 기존 측도론적 결과를 재현한다.

상세 분석

이 논문은 전통적인 측도론적 확률론을 범주론적 언어로 옮기는 최근 흐름에 기여한다. 저자들은 먼저 quasi‑Markov 범주를 정의하고, 여기서 부분적(정의되지 않을 수도 있는) 사상이 허용되는 구조를 마련한다. 이는 경험적 측정이 모든 무한 시퀀스에 대해 정의되지 않을 수 있다는 사실을 반영한다는 점에서 핵심적이다.

경험적 샘플링 사상 es : X^ℕ → X는 두 가지 공리를 만족한다. 첫째, 순열 불변성은 유한 순열을 적용해도 사상의 출력 확률이 변하지 않음을 의미한다. 이는 경험적 빈도가 순서에 의존하지 않는 직관과 일치한다. 둘째, 경험적 적합성은 교환가능한 분포 μ에 대해, μ에서 샘플링한 무한 시퀀스에 es를 적용하면 다시 μ의 단일 표본을 얻는다는 일종의 일관성 조건이다. 이 두 공리는 이후의 합성 증명에서 중요한 역할을 한다.

저자들은 표준 보렐 공간 X에 대해 구체적인 부분 마코프 커널을 구성한다. 여기서 경험적 측정은 각 측정 가능한 집합 T에 대해 상대 빈도의 극한을 정의한다. 그러나 모든 시퀀스가 극한을 갖지는 않으므로, 정의역을 “경험적 측정이 존재하는 시퀀스”로 제한한다. 이때 세 가지 기술적 난관을 해결한다. (i) 극한이 존재하지 않는 시퀀스 배제, (ii) 무한 집합에 대한 σ‑가법성 보장, (iii) 비가산 공간에서는 모든 측정 집합에 대해 정의하지 않고, 예를 들어 실수 공간에서는 구간에 한정한다.

이러한 구성을 바탕으로 저자들은 표현 가능성(representability)과 관측 가능성(observational representability)을 증명하고, 이를 통해 추상적인 De Finetti 정리, Glivenko‑Cantelli 정리, 강법칙을 도출한다. 특히, Glivenko‑Cantelli 정리는 경험적 샘플링 사상이 모든 구간에 대해 균등하게 정의될 때 얻어지며, 강법칙은 첫 번째 모멘트가 유한한 경우에 한해 사후 평균이 실제 평균에 거의 확실히 수렴함을 보인다.

논문의 기술적 기여는 다음과 같다. 첫째, quasi‑Markov 범주에서 Kolmogorov 곱을 함수적으로 구성하는 방법을 제시한다. 둘째, σ‑연속성(동형 사상 간의 카운트 가능한 교집합 보존)이라는 새로운 가정을 도입해, 부분 사상이 갖는 연속성을 보장한다. 셋째, 부분 마코프 커널을 이용해 경험적 샘플링을 명시적으로 구현함으로써, 기존의 측도론적 증명보다 구조적으로 간결하고 직관적인 증명을 제공한다.

결과적으로, 이 작업은 경험적 측정이라는 개념을 범주론적 프레임워크 안에 자연스럽게 끌어들여, 세 가지 핵심 확률 정리를 하나의 공통된 원리(경험적 샘플링 사상)에서 동시에 증명한다는 점에서 이론적 통합성을 크게 높였다. 또한, 부분 사상을 허용하는 quasi‑Markov 범주의 도입은 향후 ergodic 정리, 정보 이론, 인과 추론 등 다양한 분야에 적용될 가능성을 열어준다.