확률은 우리가 불확실한 사건의 가능성을 수치화하는 방법이다. 그런데 모든 교과서와 이론에서 확률은 반드시 0과 1 사이에 존재해야 한다고 정의된다. 왜 하필 0과 1 사이일까? 이 글에서는 확률이 0과 1 사이에 있어야 하는 이유를 직관적, 수학적, 철학적으로 풀어보고, 예시를 통해 이해를 도와보겠다.
확률의 기본 정의
확률(probability)은 불확실한 사건이 일어날 가능성을 나타내는 수다. 일반적으로 확률은 다음과 같이 정의된다.
- \(P(A) = 0\) → 사건 \(A\)가 절대로 일어나지 않는다.
- \(P(A) = 1\) → 사건 \(A\)가 반드시 일어난다.
- \(0 < P(A) < 1\) → 사건 \(A\)가 일어날 가능성이 있고, 동시에 일어나지 않을 가능성도 있다.
콜모고로프의 확률 공리
현대 확률론은 안드레이 콜모고로프(Andrey Kolmogorov)의 공리 체계에 기반을 두고 있다. 이 공리에 따르면:
- 모든 사건 \(A\)에 대해 \(P(A) \geq 0\) (확률은 음수가 될 수 없다).
- 전체 표본공간 \(S\)의 확률은 1, 즉 \(P(S) = 1\).
- 서로 배반인 사건 \(A, B\)에 대해 \(P(A \cup B) = P(A) + P(B)\).
이 세 가지 공리로부터 확률은 항상 0 이상, 1 이하가 되어야 함이 자연스럽게 따라온다.
왜 0보다 작을 수 없는가?
확률이 0보다 작다는 건 “불가능한 것보다 더 불가능하다”라는 의미가 되는데, 이는 논리적으로 모순이다. 예를 들어 동전을 던질 때 “앞면이 나올 확률 = 0.5”라고 말할 수는 있어도, “앞면이 나올 확률 = -0.2”라고 하면 아무 의미가 없다. 음수 확률이라는 개념은 고전 확률에서는 존재하지 않는다. (물론 양자역학 등 특수한 해석에서는 음수 확률 개념이 잠시 등장하기도 하지만, 이는 고전 확률 개념과는 다르다.)
왜 1보다 클 수 없는가?
확률이 1보다 크다는 것은 “확실하게 일어나는 것보다 더 확실하다”라는 의미인데, 이것 또한 모순이다. 예를 들어 주사위를 던졌을 때 “1이 나올 확률 = 1/6”이다. 하지만 어떤 사건도 확실성(=1) 이상으로 보장될 수는 없다. 확률이 2라거나 1.5라고 하면, 그것은 이미 우리가 생각하는 “가능성의 크기”라는 정의와 모순된다.
직관적 이해: 부분과 전체
확률을 전체에 대한 부분의 비율로 생각하면 더 직관적이다.
- 전체 경우(표본공간)를 1이라고 둔다.
- 어떤 사건이 일어날 수 있는 경우의 수를 그 전체에 대한 비율로 나타내면 확률이 된다.
- 따라서 비율은 항상 0 이상이고 1 이하일 수밖에 없다.
예를 들어 동전을 던질 때 경우의 수는 {앞, 뒤}이고, 전체 경우는 2이므로 \(P(\text{앞}) = \frac{1}{2}\). 전체를 1로 두고 부분을 나누는 순간, 확률 값은 항상 0과 1 사이에 있게 된다.
예시로 보는 확률 범위
동전 던지기
동전 한 번 던질 때 앞면이 나올 확률은 0.5, 뒷면이 나올 확률도 0.5. 여기서 0.5는 0 이상, 1 이하라는 조건을 만족한다.
주사위 던지기
주사위 한 번 던질 때 1이 나올 확률은 1/6, 1 또는 2가 나올 확률은 2/6 = 1/3. 여러 사건을 더해도 여전히 전체 확률은 1을 넘을 수 없다.
불가능 사건과 확실 사건
동전 던질 때 “앞면과 뒷면이 동시에 나온다”는 사건은 불가능 → 확률 0. “앞면 또는 뒷면이 나온다”는 사건은 항상 일어남 → 확률 1.
철학적 관점
확률은 우리가 불확실성을 수량화하는 방식이다. 만약 확률이 1보다 크거나 0보다 작을 수 있다고 하면, 불확실성 개념이 붕괴한다. 따라서 확률을 0과 1 사이에 두는 것은 단순한 계산 규칙이 아니라, “가능성”이라는 개념 자체를 수학적으로 정당화하는 과정이다.
결론
확률이 0과 1 사이에 있어야 하는 이유는 다음과 같다:
- 콜모고로프의 공리 체계에서 확률은 본질적으로 [0,1] 구간에 속한다.
- 확률이 음수라면 “불가능보다 더 불가능하다”라는 모순을 낳는다.
- 확률이 1보다 크다면 “확실보다 더 확실하다”라는 모순을 낳는다.
- 확률은 전체에 대한 부분의 비율이므로 항상 0 이상, 1 이하일 수밖에 없다.
따라서 확률을 0과 1 사이로 정의하는 것은 수학적 · 논리적 · 직관적 모든 면에서 자연스러운 선택이다.