고차 확률 이론을 위한 편리한 범주

초록

이 논문은 측정공간이 카테시안 닫힘을 갖지 못하는 문제를 해결하기 위해 준볼레르 공간(quasi‑Borel space) 을 도입한다. 준볼레르 공간은 확률 변수의 집합을 기본 구조로 삼아 카테시안 닫힌, 잘‑점화된 범주를 형성하고, 연속 확률분포와 고차 함수에 대한 확률론을 자연스럽게 기술한다. 이를 통해 베이지안 회귀, 랜덤화 보조정리, 그리고 모든 준볼레르 공간에 대한 de Finetti 정리를 일반화한다.

상세 분석

논문은 먼저 전통적인 측정공간(Meas) 카테고리가 고차 함수를 다루기에 부족함을 지적한다. 특히 평가 함수 ε : Meas(R,R) × R → R 가 어떤 σ‑알제브라를 선택해도 측정가능하지 않다는 Aumann의 결과는, 확률 프로그래밍 언어가 요구하는 “함수 위의 확률분포”를 정형화할 수 없음을 보여준다. 저자들은 이 한계를 극복하기 위해 준볼레르 공간(quasi‑Borel space, QBS)을 정의한다. QBS는 집합 X와 그 위의 무작위 변수 집합 Mₓ ⊆