Completion

가측집합의 정의에 따르면 어떤 집합이 가측인지 판별하기 쉽지 않다. 이 포스트에서는 \(\mathfrak{M}\)이 다양한 연산에 대하여 닫혀있음을 보임으로써 우리가 다루는 많은 집합이 가측집합임을 보일 것이다. 정리 1. \(\sigma\)-대수의 교집합은 \(\sigma\)-대수이다. 증명…