[르베그적분] 3-1. 유한측도집합상에서 유계함수의 르베그적분 (1: 단순함수에 대한 르베그적분)
가측집합 E에서 정의된 가측실함수 φ가 단순함수(simple function)라는 것은 서로 다른 a1,a2,...,an에 대하여 E에서φ=n∑k=1akχEk(Ek={x∈E|φ(x)=ak})=φ−1[{ak}]
유한측도집합 E에서 정의된 단순함수의 표준표현 φ=n∑k=1akχEk의 르베그적분을 다음과 같이 정의한다.
∫Eφdm=n∑k=1m(Ek)
3.1 {Ek}nk=1들을 서로소인 가측집합, E=n⋃k=1Ek라 하자. 또한 1≤k≤n에 대하여 ak∈R이라 하자. φ=n∑k=1akχEk이면, φ의 르베그적분은 다음과 같다.∫Eφdm=n∑k=1akm(Ek) 증명: {Ek}nk=1들은 서로소인 가측집합이다. 그러나 ak(1≤k≤n)들이 서로 다를 필요가 없기 때문에(중복가능성) 위와 같이 정의된 단순함수 φ는 표준표현이 아니다. 함수 φ의 치역을 {λ1,λ2,...,λl}(l≤n)이라 하자. 그러면 λi(1≤i≤l)들은 서로 다른 값이고 Ai={x∈E|φ(x)=λi=φ−1[{λi}]}라 하면 Ai들은 서로소이다. 단순함수의 표준표현에 대한 르베그적분의 정의에 의해∫Eφdm=l∑i=1λim(Ai) 1≤i≤l에 대하여 Ii를 ak=λi인 첨자 k∈{1,2,...,n}들의 집합이라 하자. 그러면 {1,2,...,n}=n⋃i=1Ii이고 Ii들은 서로소이다. 또한 1≤i≤l에 대하여m(Ai)=∑k∈Iim(Ek) |
3.1은 표준표현 형태가 아닌 일반적인 단순함수의 적분이 잘 정의됨을 보인 정리이다. 르베그 적분을 정의하기에 앞서 리만적분과 비교를 해보자. "리만적분은 x축을 분할하고 르베그적분은 y축을 분할한다"는 말이 있다.
위의 그림에서 파란색 그림은 리만적분의 방법대로 x축을 분할한 것을 나타내고 빨간색 그림은 르베그적분의 방법대로 y축을 분할한 것은 나타낸다. 리만적분은 분할점에서의 함숫값과 분할된 길이를 곱한 것들의 합으로 표현되고 르베그적분은 치역의 한 점을 원소로 하는 집합의 역상의 르베그측도값 과 그 한 점의 값을 곱한 것들의 합으로 표현된다. 리만적분의 경우는 고등학교 수학으로도 충분하니 르베그적분에 대해서만 설명하겠다. 치역이 {a1,a2,...,an}이고 정의역이 E=n⋃k=1Ek=n⋃k=1φ−1[{ak}]=n⋃k=1{x∈E|φ(x)=ak}인 단순함수 φ의 적분은
a1m(φ−1[{a1}])+⋯+anm(φ−1[{an}])=∫Eφdm
3.2 φ와 ψ를 유한측도집합 E에서 정의된 단순함수라 하자. 그러면 임의의 α,β∈R에 대하여 다음이 성립한다. (선형성) ∫E(αφ+βψ)dm=α∫Eφdm+β∫Eψdm (단조성) E에서 φ≤ψ이면, ∫Eφdm≤∫Eψdm 증명: φ=n∑k=1aiχEi,ψ=l∑i=1biχFi라 하자. 여기서 {Ek}nk=1, {Fi}li=1은 서로소인 집합이고 n⋃k=1Ek=l⋃i=1Fi=E이다. (선형성):αφ+βψ=∑k,i(αak+βbi)χEk∩Fi ∫E(αφ+βψ)dm=∑k,i(αak+βbi)m(Ek∩Fi)=αn∑k=1akl∑i=1m(Ek∩Fi)+βl∑i=1bin∑k=1m(Ek∩Fi)=αn∑k=1akm(Ek)+βl∑i=1bim(Fi)=α∫Eφdm+β∫Eφdm 이다. (단조성): E에서 η=ψ−φ라고 하자. 그러면 선형성에 의해∫Eψdm−∫Eφdm=∫E(ψ−φ)dm=∫Eηdm≥0 |
참고자료
Real analysis 4th edition, Royden, Fitzpatrick, Pearson
실해석, 김성기, 계승혁, 서울대학교출판문화원
'실변수 함수론 > 르베그적분' 카테고리의 다른 글
[르베그적분] 3-2 음이 아닌 가측함수의 르베그적분 (1) (0) | 2017.04.12 |
---|---|
[르베그적분] 3-1. 유한측도집합상에서 유계함수의 르베그적분 (2: 유계함수에 대한 르베그적분) (0) | 2017.04.11 |
[르베그적분] 2-3. 리틀우드의 세 가지 원리: 에고로프정리, 루진정리 (0) | 2017.04.10 |
[르베그적분] 2-2. 점별수렴 (0) | 2017.04.10 |
[르베그적분] 2-1. 르베그 가측함수 (0) | 2017.04.09 |