서론오늘은 Carathéodory's extension theorem에 대해 알아보겠습니다. (완벽 증명) 이 정리는 정말 좋은 정리인데요! Ring에서 pre-measure를 잘 정의하면 이를 mesure로 잘 확장할 수 있다는 뜻입니다. 이 정리의 필요성에 대해 생각해 봅시다.어떤 $\Omega$의 $\mathcal{P} (\Omega)$에 대해 measure가 쉽게 정의되지 않습니다. Lebesgue measure에 대해 Vitali set을 생각해 보면 직관적으로 존재해야 할 것 같은 measure에도 그 값이 존재하지 않을 수 있죠. 그런데 Carathéodory's extension theorem은 이런 경우를 배제하고 measure가 잘 존재하도록 하는 방법에 대해 알려줍니다.한 번 그 과..
