서론지난 시간에는 Carathéodory's extension theorem에 대해 알아보았습니다. 그런데 이 정리에서 $\sigma$-finite라는 조건을 추가했을 때는 그 measure가 unique 하게 존재합니다.이는 Probability measure에서 일반적인 상황입니다. 그렇다면 한 번 증명해봐야겠죠? 이 uniqueness를 증명하기 위한 초석은 Dynkin $\pi - \lambda$ theorem을 증명하는 것입니다.이를 위해 $\pi$ system과 $\lambda$ system에 대해서도 차근차근 알아보죠! 본론Definition of $\pi$ system$\pi$ system의 정의부터 찬찬히 알아봅시다. 다음은 그 서술입니다.A collection of $\mathcal{A..
