영집합·거의 확실한 성질

예외가 없다는 말보다 약한 주장

성질이 거의 모든 곳에서 성립한다는 것은 실패하는 점들의 집합이 측도 0인 가측집합에 포함된다는 뜻입니다. 확률측도에서는 거의 확실히라고 부릅니다. 표본공간에서 예외점이 삭제된 것은 아닙니다. 실습은 전체 멱집합을 σ-대수로 쓰고 점 확률 (1/2,1/2,0,0)을 배정합니다. 마지막 두 점은 존재하지만 그 집합의 확률은 0입니다.

점별 차이와 적분 차이 비교

기준 f=(0,1,2,−1), g=(0,1,0,0)은 마지막 두 점에서 다릅니다. 최대 절댓값 차이는 2이지만 확률 가중 L1 차이는 0입니다. 두 기대값은 0.5로 같습니다. 조절기로 예외점 값을 −3부터 3까지 바꿔도 적분과 거의 확실한 동등성은 유지됩니다. 모든 점에서의 동일성을 주장하려면 예외점 값도 각각 같아야 합니다.

L1 공간에서 같은 원소인 이유

적분가능 함수에 대한 L1 크기는 절댓값 적분입니다. 모든 점에서 서로 다른 함수에도 크기 0의 차이가 있을 수 있으므로 원래 함수들의 집합에서는 준노름입니다. 거의 모든 곳에서 같은 함수들을 하나의 동치류로 묶으면 노름이 됩니다. 조건부기대나 Radon–Nikodym 도함수가 유일하다고 할 때도 이런 거의 모든 곳에서의 유일성이 등장합니다.

완비성과 학습에서의 해석

측도 공간이 완비이면 가측 영집합의 모든 부분집합도 가측입니다. 현재 유한 멱집합 공간은 완비입니다. 일반적인 완비가 아닌 공간에서는 영집합의 임의 수정이 가측성을 깨뜨릴 수 있으므로 수정된 함수도 가측인지 확인해야 합니다. 학습 목적함수가 데이터 분포에 대한 기대값이면 그 분포의 영집합에서는 손실 적분이 바뀌지 않을 수 있습니다. 그렇다고 다른 분포나 실제 배포 데이터에서 그 영역이 무관하다는 뜻은 아닙니다.

확인 문제와 해설

1. 최대 차이가 3이어도 L1 차이가 0일 수 있나요? 예. 차이가 영집합에만 있으면 됩니다.
2. 거의 확실한 동등성은 어느 측도에 대한 주장인가요? 명시한 P에 대한 주장입니다.
3. 예외점을 검사한 테스트가 실패하면 a.s. 주장이 거짓인가요? 점별 주장이 아니므로 그것만으로는 아닙니다.

추가 읽기: Durrett, Probability: Theory and Examples; Tao, An Introduction to Measure Theory.