[Measure] 2. 측도가능 집합MeasurableSet
2021. 6. 22. 13:12ㆍPreliminary/Measure
앞선 글([Preliminary] - 0. 측도Measure란?)에서 Measure에 대한 직관적인 개념에 대해 설명하였습니다.
앞선 글에서 우리가 Measure를 사용하는 주된 이유는 추상적인 단위들에 대해서 적분을 수행하기 위함이라고 하였습니다.
추상적인 단위들에 대해 적분을 수행하기 위해선, 추상적인 단위들을 '어떻게 정의할 것 인가?'에 대한 엄밀한 정의가 필요할 것입니다.
집합 X에 대해 만약 m ⊆ power set P(X)이다음 조건을 만족한다면 m을 σ−algebra라고 합니다.
1. X∈m
2. A∈m, then Ac∈m
3. {An}⊆m, then ∪∞n=1An∈m
또한 σ−algebra의 원소를 Measurable set이라고 합니다. 그리고 변수 X에서 Measurable set m이 주어졌을 때, 이 공간을 Measurable space라고 합니다.
이번 글에서는 추상적인 적분을 할 수 있는 단위인 Measurable set의 정의에 대해 알아보았습니다.
'Preliminary > Measure' 카테고리의 다른 글
[Measure] 3. 측도가능 함수와 확률측도MeasurablefunctionandProbabilityMeasure 0 | 2021.07.07 |
---|---|
[Measure] 1. 측도Measure 0 | 2021.06.22 |