[논문 리뷰] Non-Archimedean Probability

Vieri Benci, Leon Horsten외 1명|arXiv (Cornell University)|2011. 06. 08.

Mathematical and Theoretical Analysis참고 문헌 5인용 수 7

한 줄 요약

이 논문은 비아르키메데스 수체를 사용하여 무한 표본공간의 모든 부분집합, 특히 정의된 로또에서의 단일 원소 집합에 확률을 할당하는 새로운 확률 프레임워크인 비아르키메데스 확률(NAP)을 소개한다. 가산 가법성을 $Λ$-극한에 기반한 새로운 유형의 무한 가법성으로 대체함으로써, 기존 확률론에서 발생하는 역설(예: 정의된 무한 로또에서의 영확률 사건)을 해결하면서 유한 조건부 확률을 유지하고 개별 결과에 대한 무한소 확률을 직접 할당할 수 있다.

ABSTRACT

We propose an alternative approach to probability theory closely related to the framework of numerosity theory: non-Archimedean probability (NAP). In our approach, unlike in classical probability theory, all subsets of an infinite sample space are measurable and zero- and unit-probability events pose no particular epistemological problems. We use a non-Archimedean field as the range of the probability function. As a result, the property of countable additivity in Kolmogorov's axiomatization of probability is replaced by a different type of infinite additivity.

연구 동기 및 목표

• 무한 표본공간에 적용할 때 기존 확률론 이론의 기초적 문제를 해결하기 위해, $\mathbb{N}$에서의 정의된 로또에서 개별 결과에 비영인 확률을 할당할 수 없는 문제를 해결한다.
• 유한 및 무한 표본공간을 동일하게 다루는 확률론을 개발하여, 콜모고로프 프레임워크에서의 영확률 사건과 관련된 인지론적 문제를 피한다.
• 데 피네티의 유한 가법성과 넬슨의 초유한 모델에 대한 수학적으로 일관된 대안을 제공하기 위해 비아르키메데스 수체와 새로운 극한 개념($\Lambda$-극한)을 사용한다.
• 무한 확률적 상황에서 무한소 확률이 단지 중간 도구가 아니라 최종적이고 의미 있는 값임을 보여준다.

제안 방법

• 확률 함수의 범위로 비아르키메데스 수체를 사용하는 새로운 공리계를 제안하여 콜모고로프의 가산 가법성을 $Λ$-극한을 통한 무한 가법성의 한 형태로 대체한다.
• 유한 근사의 집합 $\Lambda$로 구성된 NAP-공간을 구축하며, 사건의 확률은 이러한 근사에서의 상대 빈도의 $\Lambda$-극한으로 정의된다.
• $\Lambda$-극한을 표준 극한의 일반화로 정의하며, 첨단 아이디얼을 이용해 인덱스 집합에서 수렴을 보장함으로써 비아르키메데스 수체에서의 수렴을 확보한다.
• 무한 집합의 부분집합 크기 비례로 확률를 할당하기 위해 수량성(numerosity) 개념을 사용하여 $\mathbb{N}$, $\mathbb{Q}$, $\mathbb{R}$에서의 정의된 로또를 보장한다.
• 무한 동전 던지기의 수열에 이 프레임워크를 적용하기 위해 실린더 사건을 정의하고, $\Lambda_{CT}$-극한 구성법을 통해 그 확률이 $2^{-n}$임을 보인다.
• 특정 NAP 모델을 $\left(\{H,T\}^\mathbb{N}, 1, I_{\Lambda_{CT}}\right)$로 구성하며, 여기서 $\Lambda_{CT}$는 무한 수열의 유한 근사 집합이다.

실험 결과

연구 질문

• RQ1 비아르키메데스 수체를 사용하여 $\mathbb{N}$에서의 정의된 로또에서 모든 개별 결과에 비영인 확률을 할당할 수 있는가? 이는 영확률 사건의 역설을 해결하는가?
• RQ2 유한 가법성의 직관적 행동을 유지하면서도 가산적이지 않은 표본공간에 적용 가능한 방식으로 무한 가법성을 어떻게 재정의할 수 있는가?
• RQ3 표본공간이 무한할 때도 측도론적 영집합에 의존하지 않고 유한 사건에 대한 조건부 확률을 정의할 수 있는가?
• RQ4 무한 확률 모델에서 무한소 확률을 근사치가 아니라 최종 값으로 간주할 수 있는가?
• RQ5 $Λ$-극한 구성법이 표준 극한의 일관되고 직관적인 일반화를 제공하는가?

주요 결과

• NAP 프레임워크는 무한 동전 던지기의 임의의 실린더 사건에 대해 확률 $2^{-n}$을 할당하며, 이는 고전적 결과와 일치하지만 비아르키메데스 극한에서 유도된다.
• 정의된 로또에서 $\mathbb{N}$에 대해 NAP는 각 단일 원소 집합에 무한소 확률 $\frac{1}{\mathfrak{n}(\mathbb{N})}$를 할당한다. 여기서 $\mathfrak{n}(\mathbb{N})$는 $\mathbb{N}$의 수량성이며, 이로 인해 모든 결과가 동일하게 가능하다.
• $\left(\{H,T\}^\mathbb{N}, 1, I_{\Lambda_{CT}}\right)$를 통해 구성된 NAP 모델은 $P\left(C_{(t_1,...,t_n)}^{(i_1,...,i_n)}\right) = 2^{-n}$를 만족하여 고전적 기대와의 일관성을 확인한다.
• $Λ$-극한 구성법은 무한 표본공간의 모든 부분집합이 가측임을 보장하여, 비가측 집합이 기인하는 역설을 제거한다.
• 이 이론은 무한소 확률이 인지론적으로 타당하며 직접적으로 최종 값으로 해석될 수 있음을 입증한다.
• 비아르키메데스 무한소를 사용함으로써 NAP는 데 피네티의 로또 역설을 해결하여 $\mathbb{N}$ 위에 균일하고 비영인 확률 분포를 가능하게 한다.