Caratheodory extention theory 증명
구간을 전부 합하여 outer measure를 한 것과
구긴의 outer measure를 시그마(전부합한 것)이
...
작거나 같다
...
같은 것은 measure의 coundtable additive
*countable additive : measure
*countable sub-additive : outer measure
pre-measure Caradeotory extention theory
premeasure가 Caradeototy extention theory의 조건에 맞으면 outer measure가 measure의
countable additive의 성질을 갖는다
mu* =mu
premeasure에슨 sigma algebra의 성질은 없다....