개요
확률의 공리적 정의는 확률론의 수학적 기초를 제공하는 개념으로, 1933년 소비에트의 수학자 안드레이 콜모고로프(Andrey Kolmogorov)가 그의 저서 《확률론의 기초》(Foundations of the Theory of Probability)에서 처음 제시하였다. 이 정의는 확률이라는 개념을 직관이나 경험에 의존하지 않고, 몇 가지 기본 공리(axiom)를 만족하는 함수로 엄밀하게 규정하는 방식이다.
배경
확률의 공리적 정의가 등장하기 이전에는 고전적 확률(라플라스의 정의)이나 빈도주의적 확률이 주로 사용되었다. 고전적 확률은 "모든 경우가 동등하게 일어난다"는 가정에 의존하였으나, 이는 결과가 무한하거나 비대칭적인 상황에서 적용이 어려웠다. 또한 베르트랑의 역설(Bertrand's paradox)과 같은 문제는 확률 개념의 수학적 기초가 불완전함을 드러냈다. 콜모고로프는 이러한 문제를 해결하기 위해 측도론(measure theory)에 기반한 공리적 체계를 도입하였다.
정의
확률의 공리적 정의는 다음과 같은 세 가지 공리로 구성된다. 표본공간(sample space) Ω와 그 위에 정의된 시그마-대수(σ-algebra) F, 그리고 확률측도(probability measure) P의 삼중쌍 (Ω, F, P)을 확률공간(probability space)이라고 한다.
제1공리 (비음수성, Non-negativity) 임의의 사건 E ∈ F에 대하여, P(E) ≥ 0이다. 즉, 모든 사건의 확률은 음이 아닌 실수이다.
제2공리 (정규화, Normalization) 전체 표본공간의 확률은 1이다. 즉, P(Ω) = 1이다. 이는 어떤 시행을 하든 반드시 표본공간에 속하는 결과가 발생한다는 사실을 반영한다.
제3공리 (가산 가법성, Countable Additivity) 서로 배반(상호 배타적)인 사건들의 가산열(可算列) E₁, E₂, E₃, ...에 대하여, 다음이 성립한다:
P(⋃ᵢ₌₁^∞ Eᵢ) = Σᵢ₌₁^∞ P(Eᵢ)
즉, 겹치지 않는 사건들의 합사건의 확률은 각 사건의 확률의 합과 같다.
공리로부터 유도되는 주요 성질
이 세 가지 공리로부터 다음과 같은 중요한 성질들이 논리적으로 유도된다.
- 공집합의 확률: P(∅) = 0
- 단조성(monotonicity): A ⊆ B이면 P(A) ≤ P(B)
- 여사건의 확률: P(Aᶜ) = 1 - P(A)
- 유한 가법성: 유한 개의 서로 배반인 사건 A₁, ..., Aₙ에 대하여 P(∪ᵢ₌₁ⁿ Aᵢ) = Σᵢ₌₁ⁿ P(Aᵢ)
- 포함-배제 원리: P(A ∪ B) = P(A) + P(B) - P(A ∩ B)
의의
확률의 공리적 정의는 확률론을 측도론의 한 분야로 편입시킴으로써, 확률 개념을 수학적으로 엄밀하게 다룰 수 있는 토대를 마련하였다. 이로 인해 확률론은 단순한 직관이나 경험적 규칙의 집합이 아니라, 집합론과 측도론에 기반한 엄밀한 수학 이론으로 발전할 수 있었다. 현대 확률론의 모든 이론은 이 세 가지 공리 위에 체계적으로 구축된다.
참고 문헌
- Kolmogorov, A. N. (1933). Grundbegriffe der Wahrscheinlichkeitsrechnung. (영역: Foundations of the Theory of Probability, 1950)
- 위키백과, "확률의 공리적 정의" 및 "확률의 공리"
