시그마 대수 (Sigma-Algebra)
쉽게 풀면
시그마 대수는 '어떤 사건들에 대해 확률(또는 크기)을 물어볼 수 있는가'를 정해주는 규칙집이다. 어떤 사건을 측정할 수 있다면 그 사건이 일어나지 않는 경우도, 여러 사건 중 하나라도 일어나는 경우도 측정할 수 있어야 한다는 일관성 조건을 만족하는 집합들의 모임이다. 이 틀이 갖춰져야 비로소 그 위에서 확률이나 측도를 수학적으로 엄밀하게 정의할 수 있다.
왜 중요한가
시그마 대수는 확률론과 측도론을 엄밀한 수학 체계 위에 세우기 위한 기초 개념이기 때문에, 확률과정이나 통계적 추론을 다루는 논문에서 정의를 명시할 때 반드시 등장합니다. 특히 시간에 따라 정보가 누적되는 상황(예: 주가나 신호의 변화)을 다루는 확률과정 연구에서는, 특정 시점까지 알려진 정보를 나타내는 필트레이션 개념이 시그마 대수를 바탕으로 정의되므로 이론적 논의의 출발점이 됩니다.
논문에서는 이렇게 쓰입니다
확률공간을 엄밀하게 정의할 때 표본공간, 시그마 대수, 확률측도의 세 요소가 함께 요구된다.
이 문장은 "시간이 지날수록 점점 더 많은 정보를 담는 시그마 대수들의 계열을 정의하고, 이를 이용해 어떤 확률과정이 평균적으로 더 늘지도 줄지도 않는 성질을 가진다는 것을 증명했다"는 뜻으로, 확률과정 이론 논문에서 흔히 쓰이는 표현입니다.
이 문장은 "실수 위에서 일반적으로 다루는 표준적인 시그마 대수를 기준으로, 연속적인 값을 갖는 확률변수의 확률 분포를 수학적으로 구성했다"는 뜻입니다.
조금 더 깊게 보면
임의의 집합족에서 시작하더라도, 그 집합족을 포함하는 가장 작은 시그마 대수를 항상 만들 수 있는데 이를 생성된 시그마 대수라고 부르며, 실수의 열린 구간들로부터 생성된 보렐 시그마 대수가 대표적인 예입니다. 표본공간, 시그마 대수, 확률측도 세 가지를 함께 갖춘 것을 확률공간이라 부르며, 이 틀 위에서만 "어떤 사건의 확률"이라는 개념이 수학적으로 모순 없이 정의됩니다. 시간에 따라 커지는 시그마 대수의 계열(필트레이션)은 확률과정에서 "특정 시점까지 알 수 있는 정보"를 형식화하는 데 쓰입니다.
주의할 점
모든 부분집합의 모임이 시그마 대수가 되는 것은 아니며, 여집합과 가산합집합에 대해 닫혀 있어야 한다는 조건을 반드시 만족해야 한다.