스라소니 머릿속에는

Sigma-Algebra in Probability Theory

8 min read

Sigma-Algebra in Probability Theory

Notation 정리

기호의미
표본공간 (모든 가능한 결과들의 집합)
표본공간의 한 원소 (하나의 시행 결과)
Sigma-algebra (사건들의 집합)
사건 (의 원소, 의 부분집합)
시점 까지의 정보로 구성된 sigma-algebra
일반적인 sigma-algebra
확률 측도 ()
시점 에서의 브라운 운동
시점 에서의 확률 과정
주어진 집합에 의해 생성된 sigma-algebra
집합 의 역상 (preimage):

정확한 개념 정의

Sigma-algebra란?

Definition 2.1.1: 집합 에 대한 sigma-algebra 는 의 부분집합들의 모임으로, 다음 조건들을 만족:

  1. 공집합 포함:
  2. 여집합에 대한 닫힘:
  3. 가산 합집합에 대한 닫힘:

핵심 이해: 사건(Event)의 정체

네가 방금,
: 전체 표본공간 에서 일어날 수 있는 모든 사건들의 집합 (전체 σ-algebra)
이라고 했지?

내가 알기론, 위 문장에서 ‘사건들’또한 어떤 기준을 충족하는 의 집합인 걸로 알고 있어. 예를 들어, ‘1초에서 1m위치에 입자가 있는 사건’이라는 건 의 한 원소야.
그리고 ‘1초에서 1m위치에 입자가 있는 사건’은 해당 조건을 만족하는 시행 들을 원소로 가지는 집합이야. 그렇지?

말씀하신 게 정확합니다:

  • 사건(Event): 의 한 원소, 즉 의 부분집합
  • 사건의 의미: 특정 조건을 만족하는 들의 집합

구체적 예시

표본공간: 모든가능한브라운운동경로들
사건의 예:

  • = “1초에 입자가 양수 위치에 있는 사건”
  • = “첫 1초 동안 최고점이 2를 넘는 사건”

중요: 각 사건은 해당 조건을 만족하는 시행(경로) 들의 집합입니다.

확률론에서의 역할

1. 확률 측도의 정의역

확률 측도

  • : 사건 가 일어날 확률
  • 여야만 확률을 정의할 수 있음

2. 측정 가능성(Measurability)의 기준

함수 이 -측정 가능하다는 것:

중요: 여기서 는 **역함수가 아니라 역상(preimage)**을 의미합니다:

직관: 의 값에 대한 모든 질문(“가 집합 에 속하는가?“)에 확률적으로 답할 수 있다.

구체적 예시: 측정가능성

예시 1: (1초 시점 브라운 운동)

  • (양수 집합)에 대해
  • = “1초에 양수 위치에 있는 사건”
  • 이 사건이 에 속하므로 는 -측정가능

예시 2: (2초 시점 브라운 운동)

  • 같은 에 대해
  • = “2초에 양수 위치에 있는 사건”
  • 이 사건은 에 속하지 않음 (1초 시점에선 미래 정보)
  • 따라서 는 -측정가능하지 않음

Filtration과의 관계

정보의 점진적 공개

의미:

  • : 시점 까지 관찰로 확률적 판단이 가능한 사건들의 집합
  • 예: (시점 2에서 판단 가능)
  • 예: (시점 2에서는 미래 정보)

구체적 사건 분석

사건: “1초에서 입자가 1m 위치에 있다”

  • 집합 표현:
  • 확률: (연속분포에서 한 점의 확률)
  • 측정가능성: (1초 시점에 판단 가능)

사건: “입자가 처음으로 1m에 도달하는 시점이 2초 이전”

  • 집합 표현:
  • 측정가능성: (2초까지 관찰하면 판단 가능)

왜 이런 복잡한 구조가 필요한가?

1. 측도론적 엄밀성

  • 모든 부분집합에 확률을 할당하면 역설 발생 (Banach-Tarski 역설)
  • Sigma-algebra는 확률을 일관성 있게 정의할 수 있는 사건들만 선별

2. 극한 연산과의 호환성

  • 가산 합집합에 닫혀있어서 극한 과정을 다룰 수 있음
  • 예:

3. 조건부 확률의 수학적 기반

조건부 기댓값 는 -측정가능해야 함

실제 적용에서의 이해

Adapted Process

가 -adapted라는 것:

  • for all Borel sets
  • 의미: 의 값이 시점 까지의 정보만으로 결정 가능

Martingale 조건

에서:

  • : 현재까지 관찰 가능한 모든 사건들
  • 조건부 기댓값: 이 사건들에 대한 정보를 안 상태에서의 예측

핵심 통찰

Sigma-algebra = “확률적으로 의미 있는 질문들의 집합”

각 사건 는:

  • 수학적으로: 의 부분집합
  • 확률론적으로: “이런 일이 일어날까?”라는 질문
  • 물리적으로: 특정 조건을 만족하는 시행들의 모임

Reference

Stochastic Differential Equations 공부하기

관련 개념들

그래프 뷰

백링크