Loading [MathJax]/jax/output/CommonHTML/jax.js

[Measure] 2. 측도가능 집합MeasurableSet

2021. 6. 22. 13:12Preliminary/Measure

앞선 글([Preliminary] - 0. 측도Measure란?)에서 Measure에 대한 직관적인 개념에 대해 설명하였습니다.

앞선 글에서 우리가 Measure를 사용하는 주된 이유는 추상적인 단위들에 대해서 적분을 수행하기 위함이라고 하였습니다.

추상적인 단위들에 대해 적분을 수행하기 위해선, 추상적인 단위들을 '어떻게 정의할 것 인가?'에 대한 엄밀한 정의가 필요할 것입니다.


집합 X에 대해 만약 m  power set P(X)이다음 조건을 만족한다면 mσalgebra라고 합니다.

1. Xm

2. Am,  then  Acm

3. {An}m,  then  n=1Anm

또한 σalgebra의 원소를 Measurable set이라고 합니다. 그리고 변수 X에서 Measurable set m이 주어졌을 때, 이 공간을 Measurable space라고 합니다.


이번 글에서는 추상적인 적분을 할 수 있는 단위인 Measurable set의 정의에 대해 알아보았습니다.