태터데스크 관리자

도움말
닫기
적용하기   첫페이지 만들기

태터데스크 메시지

저장하였습니다.

리만 적분은 피적분함수의 정의역을 분할하지만 르베그 적분은 피적분함수의 치역을 분할한다. 따라서 르베그 적분은 치역이 유한인 함수의 적분을 먼저 정의하고 그것을 확장하여 일반적인 가측함수의 적분을 정의한다.

1. 단순함수의 르베그 적분

먼저 단순함수의 개념과 단순함수의 르베그 적분을 살펴보자.

정의 1. 치역이 유한집합인 함수를 단순함수(simple function)라고 부른다.

참고 2. \(X\)가 가측공간이고 \(S \subseteq X\)일 때 특성함수 \(\chi _S \)가 가측함수일 필요충분조건은 \(S\)가 가측집합인 것이다.

참고 3. 단순함수는 특성함수의 결합으로 나타낼 수 있다. 즉 \(\varphi : X \to \tilde{\mathbb{R}}\)가 단순함수라고 하자. 그리고 \(\varphi\)의 치역을 \(\left\{ a_1 ,~ a_2 ,~ \cdots ,~ a_n \right\}\)이라고 하고 \( E_k := \varphi ^{-1} \left( \left\{ a_k \right\} \right) \)라고 하자. 그러면 \[\varphi = \sum_{k=1}^{n} a_k ~ \chi_{E_k} \] 가 된다. 이때 \(\varphi\)가 가측함수일 필요충분조건은 임의의 \(k\)에 대하여 \(E_k \)가 가측집합인 것이다.

이제 실숫값을 갖는 함수의 르베그 적분을 정의하자. 르베그 적분은 세 단계로 정의한다. 먼저 단순함수의 르베그 적분을 정의하고, 다음으로 음이 아닌 함수의 르베그 적분을 정의하며, 마지막으로 양의 값과 음의 값을 모두 갖는 함수의 르베그 적분을 정의한다.

정의 4. (단순함수의 르베그 적분) \((X,~ \mathfrak{M} ,~ \mu )\)가 측도공간이고 \(\varphi : X \to [ 0,~ \infty ] \)가 단순함수이며 특성함수의 결합 \[\varphi = \sum_{k=1}^{\infty} a_k ~ \chi_{E_k} \tag{3} \] 로 표현된다고 하자. 이때 \(X\)에서 \(\varphi\)의 르베그 적분을 다음과 같이 정의한다. \[\int_X \varphi ~ d \mu ~:=~ \sum _{k=1}^{n} a_k ~ \mu \left( E_k \right) \tag{4} \]

단순함수를 특성함수의 결합으로 나타낼 때 결합 형태는 유일하지 않을 수도 있다. 예를 들어 \(\varphi\)가 단순함수이고 특성함수의 결합 \[\varphi = a_1 ~ \chi_{E_1} + a_2 ~ \chi_{E_2} + a_3 ~ \chi_{E_3}\] 으로 표현된다고 하자. 그리고 \(E_1 \)을 공집합이 아닌 두 개의 집합으로 분할하여 \(E_1 = U \cup V \)로 나타낼 수 있다고 하자. 이때 \[\varphi = a_1 ~ \chi_U + a_1 ~ \chi_V + a_2 ~ \chi_{E_2} + a_3 ~ \chi_{E_3}\] 과 같이 \(\varphi\)를 특성함수의 또다른 결합으로 나타낼 수 있다. 따라서 이러한 결합 표현에 상관 없이 \(\varphi\)의 르베그 적분 값이 일정해야 정의 4가 의미를 가진다.

참고 5. 정의 4에서 (4)의 값은 \(\varphi\)가 정해지기만 하면 (3)의 표현 형태에 상관 없이 일정하다.

증명. 단순함수 \(\varphi : X \to \tilde{\mathbb{R}}\)가 다음과 같이 특성함수의 두 가지 결합 형태로 표현된다고 하자. \[\phi = \sum_{i=1}^{n_1} a_i ~ \chi_{U_i} ~,~~~ \varphi = \sum_{i=1}^{n_2} b_j ~ \chi_{V_j} \] 그러면 \(\left\{ U_i \right\}\)와 \(\left\{ V_j \right\}\)는 각각 \(X\)의 분할이므로 \(\left\{U_i \cap V_j \right\}\)도 \(X\)의 분할이다.
또한 \(U_i \cap V_j \ne \emptyset \)일 때 \(U_i \cap V_j \) 위에서 \(a_i = b_j \)이므로 \[\begin{eqnarray} \sum_{i=1}^{n} a_i ~\mu (U_i ) &=& \sum _ {j=1}^{n_2} \sum_{i=1}^{n_1} a_i ~\mu ( U_i \cap V_j ) \\ &=& \sum_{j=1}^{n_2} \sum_{i=1}^{n_1} b_j ~\mu (U_i \cap V_j ) \\ &=& \sum_{j=1}^{n_2} b_j ~ \mu ( V_j ) \end{eqnarray} \] 가 성립한다.

위와 같은 논법으로 다음과 같은 성질을 유도할 수 있다.

따름정리 6. \((X,~\mathfrak{M} ,~ \mu )\)가 측도공간이고 \(\varphi : X \to [0,~ \infty ] ,\) \(\psi : X \to [0,~\infty ] \)가 단순함수이며 \(X\) 위에서 \(\varphi \le \psi \)이면 다음이 성립한다. \[\int_X ~ \varphi ~ d \mu ~\le~ \int_X ~\psi ~d \mu \]

증명. \(\varphi\)와 \(\psi\)가 다음과 같이 특성함수의 결합으로 표현된다고 하자. \[\varphi = \sum_{i=1}^{n_1} a_i ~ \chi_{U_i } ,~~ \psi = \sum_{j=1}^{n_2} b_j ~\chi_{V_j } \tag{5} \] 그러면 르베그 적분의 정의에 의하여 \[\begin{eqnarray} \int_X ~ \varphi ~ d \mu &=& \sum_{i=1}^{n_1} a_i ~ \mu (U_i ) \\ &=& \sum_{j=1}^{n_2} \sum_{i=1}^{n_1} a_i ~ \mu (U_i \cap V_j ) \\ &\le & \sum_{j=1}^{n_2} \sum_{i=1}^{n_1} b_j ~ \mu ( U_i \cap V_j ) \\ &=& \sum_{j=1}^{n_2} b_j ~ \mu (V_j ) \\ &=& \int_X ~ \psi ~ d \mu \end{eqnarray}\] 를 얻는다.

따름정리 7. \((X,~\mathfrak{M} ,~\mu )\)가 측도공간이고 \(\varphi :X \to [0,~\infty ] ,\) \(\psi : X \to [0,~\infty ]\)가 단순함수이며 \(c\)가 음이 아닌 상수이면 다음이 성립한다. \[ \begin{eqnarray} (\text{i}) &~& \int_X ~ c \varphi ~ d \mu ~=~ c \int_X ~ \varphi ~ d \mu \\ (\text{ii}) &~& \int_X ~(\varphi + \psi ) ~ d \mu ~=~ \int_X ~ \varphi ~ d \mu ~+ \int_X ~ \psi ~ d \mu \end{eqnarray} \]

증명. \(\varphi\)와 \(\psi\)가 (5)와 같이 특성함수의 결합으로 표현된다고 하자. 그러면 \[\int_X ~ c \varphi ~ d \mu = \sum_{i=1}^{n_1} c a_i ~ \mu (U_i ) = c \sum_{i=1}^{n_1} a_i ~\mu (U_i ) = c\int _X ~\varphi ~ d \mu \] 이므로 (ⅰ)이 성립한다. 또한 \[ \begin{eqnarray} \int_X ~ \varphi ~ d \mu + \int_X ~ \psi ~ d \mu &=& \sum_{i=1}^{n_1} a_i ~\mu (U_i ) + \sum_{j=1}^{n_2} b_j ~\mu (V_j ) \\ &=& \sum_{i=1}^{n_1} \sum_{j=1}^{n_2} a_i ~\mu (U_i \cap V_j ) + \sum_{j=1}^{n_2} \sum_{i=1}^{n_1} b_j ~ \mu (U_i \cap V_j ) \\ &=& \sum_{i=1}^{n_1} \sum_{j=1}^{n_2} (a_i + b_j ) ~\mu (U_i \cap V_j ) \\ &=& \int_X ~(\varphi + \psi ) ~ d \mu \end{eqnarray} \] 이므로 (ⅱ)가 성립한다.

2. 일반적인 실숫값 함수의 르베그 적분

이제 단순함수의 르베그 적분을 확장하여 실숫값을 갖는 일반적인 함수들의 르베그 적분을 정의하자.

정의 8. (음이 아닌 가측함수의 르베그 적분) \((X ,~ \mathfrak{M} ,~ \mu )\)가 측도공간이고 \(f : X \to [0,~\infty ]\)가 가측함수일 때 \(X\)에서 \(f\)의 르베그 적분을 다음과 같이 정의한다. \[\int_X ~ f ~ d \mu := \sup \left\{ \left. \int_X ~ \varphi ~ d \mu ~ \right| ~ \varphi \text{ is simple and measurable, } 0 \le \varphi \le f \right\}\]

위 정의가 의미를 가지려면 임의의 가측함수 \(f : X \to [0,~\infty ]\)에 대하여 \(f\)에 충분히 근사한 가측단순함수가 존재해야 한다.

참고 9. \((X ,~ \mathfrak{M} ,~ \mu )\)가 측도공간이고 \(f:X \to [0,~\infty ]\)가 가측함수이면 \(X\)로부터 \([0,~\infty ]\)로의 가측단순함수열 \(\left\{ \varphi _n \right\}\)이 존재하여 \(\varphi _n \le \varphi _{n+1} \)이고 \(\varphi_n \to f \)이다. 특히 \(f\)가 유계이면 \(\left\{ \varphi _n \right\}\)은 \(f\)에 평등수렴한다.

증명. 자연수 \(n\)과 \(1 \le i \le n2^n \)인 자연수 \(i\)에 대하여 \[ \begin{eqnarray} E_{ni} & := & \left\{ x ~\left| ~ \frac{i-1}{2^n} \le f(x) < \frac{i}{2^n} \right. \right\} , \\ \\ F_n & := & \left\{ x ~|~ f(x) \ge n \right\} \end{eqnarray} \] 이라고 하자. \[\varphi _n := \sum_{i=1}^{n2^n} \frac{i-1}{2^n} ~ \chi _{E_ni} + n \chi _{F_n } \] 이라고 하면 \(\left\{ \varphi _n \right\}\)은 \(f\)에 수렴하고 증가하는 가측단순함수열이다.

정의 10. (가측함수의 르베그 적분) \((X ,~\mathfrak{M} ,~ \mu )\)가 측도공간이고 \(f : X \to \tilde{\mathbb{R}}\)가 가측함수일 때 \(X\)에서 \(f\)의 르베그 적분을 다음과 같이 정의한다. \[\int_X ~ f ~ d \mu ~:=~ \int_X ~ f^+ ~ d \mu ~-~\int_X ~ f^- ~ d \mu \]

\(X\)에서 \(f\)의 르베그 적분을 다음과 같이 나타내기도 한다. \[\int_{x \in X} ~f(x)~d \mu ,~~~ \int_X ~ f(x) ~ d \mu (x) ,~~~ \int_X ~ f(x) ~ \mu (dx) \] 혼동할 염려가 없을 때에는 적분범위나 변수를 생략하여 다음과 같이 나타내기도 한다. \[\int f ,~~~ \int_X ~ f ,~~~ \int ~f~d \mu ,~~~ \int_{x \in X} f(x) \]

참고 11. \((X,~ \mathfrak{M} ,~ \mu )\)가 측도공간이고 \(E \subseteq X \)이며 \(E\)가 가측집합일 때 \[\int_A ~ f ~ d \mu = \int_X ~ f ~ \chi_E ~ d \mu \] 가 성립한다. 여기서 우변의 \(\mu\)는 \(X\)의 측도 \(\mu\)의 정의역을 \(E\)의 \(\sigma\)-대수로 축소한 것과 같다.

보기 12. \(X \subseteq \mathbb{R} ^n \)이고 \(\lambda\)가 \(\mathbb{R} ^n \)의 르베그 측도이면 르베그 적분은 리만 적분을 일반화한 것이 된다. 이때 르베그 적분 \[\int_X ~f~d \lambda\] 에서 측도 \(\lambda\)를 생략하여 리만 적분과 마찬가지로 \[\int_X ~ f(x) ~ dx ~~~~ \text{or}~~~~ \int_{a}^{b} ~ f(x) ~ dx \tag{6} \] 와 같이 나타낸다. 그러나 이 글에서는 별다른 언급이 없는 한 \([a,~b]\)에서의 르베그 적분은 \[\int_{[a,~b]} ~f~d \lambda \] 의 꼴로 나타내고, 리만 적분은 (6)의 꼴로 나타내는 것으로 약속한다.

정리 13. (르베그 적분의 단조성) \((X,~\mathfrak{M} ,~ \mu )\)가 측도공간이고 \(f : X \to \tilde{\mathbb{R}} \)가 가측함수일 때 다음이 성립한다.

(ⅰ) \(g : X \to \tilde{\mathbb{R}}\)가 가측함수이고 \(f \le g \)이면 \[\int_X ~ f ~ d \mu \le \int_X ~ g ~ d \mu \]이다.

(ⅱ) \(f \ge 0\)이고 \(U \subseteq V \subseteq X \)이며 \(U,\) \(V\)가 가측집합이면 \[\int_U ~ f ~ d \mu \le \int_V ~ f ~ d \mu \]이다.

(ⅲ) \(\left| \int_X ~ f ~ d \mu \right| \le \int_X ~ | f | ~ d \mu \)

증명. (ⅰ) \(0 \le f \le g \)라고 하자. 그리고 정의역이 \(X\)인 모든 가측단순함수들의 모임을 \(S_X \)라고 하자. 그러면 \[\left\{ \varphi \in S_X ~|~ 0 \le \varphi \le f \right\} \subseteq \left\{ \varphi \in S_X ~|~ 0 \le \varphi \le g \right\}\] 이므로 \[\int_X ~ f ~ d \mu \le \int_X ~ g ~ d \mu \] 가 성립한다. \(f \le g \)인 경우에는 \(f^+ \le g^+ ,\) \( f^- \ge g^- \)이므로 \[\begin{eqnarray} \int_X ~ f ~ d \mu &=& \int_X ~ f^+ ~ d \mu - \int_X ~ f^- ~ d \mu \\ & \le & \int_X ~ g^+ ~ d \mu - \int_X ~ g ^- ~ d \mu \\ & = & \int_X ~ g ~ d \mu \end{eqnarray} \] 가 성립한다.

(ⅱ) \(f \chi_U \le f \chi_V \)이므로 (ⅰ)에 의하여 다음을 얻는다. \[\int_U ~ f ~ d \mu = \int_X ~ f \chi_U ~ d \mu \le \int_X ~ f \chi_V ~ d \mu = \int_V ~ f ~ d \mu \]

(ⅲ) \( - |f| \le f \le |f|\)이므로 (ⅰ)에 의하여 \[-\int_X ~ |f| ~ d \mu = \int_X ~ -|f| ~ d \mu \le \int_X ~f~d \mu \le \int_X ~ |f| ~ d \mu \] 가 성립한다.

3. 영측도 집합

영측도의 개념은 측도론과 르베그 적분에서 대단히 중요한 개념이다. 직관적으로 영측도란 적분을 할 때 무시할 수 있을 만큼 작은 크기라는 뜻이다. 정확한 정의는 다음과 같다.

정의 14. \((X,~\mathfrak{M} ,~ \mu )\)가 측도공간이라고 하자.

(ⅰ) \(E\subseteq X \)이고 \(\mu (E) =0 \)일 때 \(E\)를 영측도 집합(measure zero)이라고 부른다.

(ⅱ) 명제 \(p\)가 \(X\)의 원소들에 대하여 정의되어 있고, \(p\)가 참이 아닌 점들의 집합이 영측도이면 '거의 모든 점에서 \(p\)가 성립한다'라고 말한다.

보기 15. 유클리드 공간 \(\mathbb{R}\)에서는 구간의 길이가 집합의 측도와 같으므로, 정의 14의 영측도의 정의는 다음과 같이 환원된다 : \(\mathbb{R}\)의 부분집합 \(S\)가 영측도일 필요충분조건은 임의의 양수 \(\epsilon\)에 대하여 가산 개의 구간들의 모임 \(C = \left\{ I_k \right\}\)가 존재하여 \(I_k \)들의 길이의 합이 \(\epsilon\)보다 작으면서 \(C\)가 \(S\)의 덮개가 되는 것이다.

보기 16. 유클리드 공간 \(\mathbb{R} ^n \)에서 한점집합은 영측도 집힙이다. 또한 측도의 가산가법성에 의하여 \(\mathbb{R} ^n \)의 가산부분집합은 영측도 집합이다. 그러나 만약 \(\mathbb{R} ^n \)에 셈측도가 주어져 있다면 한점집합은 영측도 집합이 아니다.

이제 두 함수의 값이 거의 같은 경우에 대한 르베그 적분의 값의 차이를 살펴보자.

보조정리 17. \((X,~\mathfrak{M} ,~ \mu )\)가 측도공간이고 \(f : X \to [0,~\infty ] \)가 가측함수라고 하자. 이때 \[\int_X ~ f ~ d \mu =0 \] 일 필요충분조건은 \(X\)의 거의 모든 점에서 \(f(x)=0\)인 것이다.

증명. \(U = \left\{ x \in X ~|~ f(x)=0 \right\} , \) \( \mu \left( U^c \right) =0 \)이라고 하자. 그러면 \[\begin{eqnarray} \int_X ~ f ~ d \mu &=& \int_X ~ f \left( \chi_U + \chi_{U^c} \right) ~ d \mu \\ &=& \int_X ~ f \chi_U ~ d \mu + \int_X ~ f ~ \chi_{U^c} ~ d \mu \\ &=& \int_U ~ f ~ d \mu + \int_{U^c} ~ f ~ d \mu = 0+0 =0 \end{eqnarray} \] 이 성립한다. 역으로 \(X\)에서 \(f\)의 르베그 적분 값이 \(0\)이라고 하자. 그리고 \[\begin{eqnarray} E_n &:=& \left\{ x \in X ~ \left | ~ f(x) > \frac{1}{n} \right. \right\} , \\ \\ E &=& \left\{ x \in X ~|~ f(x) >0 \right\} \end{eqnarray} \] 이라고 하자 그러면 \[E = \bigcup_{n=1}^{\infty} E_n \] 이므로 임의의 \(n\)에 대하여 \[ \begin{eqnarray} \mu \left( E_n \right) &=& \int_{E_n} ~ 1 ~ d \mu \\ &=& n \int_{E_n} ~ \frac{1}{n} ~ d \mu \\ & \le & n \int_{E_n} ~ f ~ d \mu \\ & \le & n \int_X ~ f ~ d \mu =0 \end{eqnarray} \] 이다. 즉 \(\mu \left( E_n \right) =0 \)이다. 따라서 \[ \mu (E) = \lim_{n \to \infty} \mu (E_n ) =0 \] 이다.

정리 18. (거의 같은 함수의 적분) \((X,~ \mathfrak{M} ,~ \mu )\)가 측도공간이고 두 함수 \(f : X \to \mathbb{R} \)와 \(g : X \to \mathbb{R} \)가 가측함수라고 하자. 만약 \(X\)의 거의 모든 점에서 \(f=g\)이면 다음이 성립한다. \[\int_X ~ f ~ d \mu = \int_X ~ g ~ d \mu \tag{7} \]

증명. \(h = |g-f|\)라고 하자. \(X\)의 거의 모든 점에서 \(h=0\)이고, \(h \ge 0\)이므로 보조정리 17에 의하여 \[\begin{eqnarray} \int_X ~ g ~ d \mu - \int_X ~ f ~ d \mu &=& \int_X ~ g-f ~ d \mu \\ & \le & \int_X ~ |g-f | ~ d \mu \\ &=& \int_X ~ h ~ d \mu =0 \end{eqnarray} \] 그리고 \[\begin{eqnarray} \int_X ~ f ~ d \mu - \int_X ~ g ~ d \mu &=& \int_X ~ f-g ~ d \mu \\ & \le & \int_X ~ |g-f| ~ d \mu \\ &=& \int_X ~ h ~ d \mu =0 \end{eqnarray} \] 이다. 두 부등식을 결합하면 (7)을 얻는다.

신고
Posted by I Seul Bee

Leave a comment.

  1. jjycjn 2016.03.18 05:47 신고  Link  Mod/Del  Reply

    아, 이미 알고 계실지도 모르지만 LaTeX로 문서 작성하실때 팁을 하나만 드리자면, /text{}에서 {} 안에 다시 수식을 넣는게 가능합니다. 예를 들어 'a and b' 라는 수식을 쓰고 싶을 때, \(a \text{ and } b\) 로 쓸 수도 있지만, \(\text{\(a\) and \(b\)}\) 로 쓰셔도 상관 없습니다. 두 코드 차이점은 TeX 코드 보기로 확인해 보세요!

    • I Seul Bee 2016.03.18 21:06 신고  Link  Mod/Del

      좋은 정보 고맙습니다^^ TeX을 사용하기 시작한 지가 얼마 안 되어서 아는 것이 거의 없습니다^^

  2. 대니킴 2016.06.17 22:03 신고  Link  Mod/Del  Reply

    4와 5번 사이에 \(\varphi=a_1\chi_U+a_1\chi_V+a_2\chi_{E_2}+a_3+\chi_{E_3}\) 에서 \(a_3\)과 \(\chi_{E_3}\) 사이에 \(+\)가 오타로 들어가 있어요.

  3. Will Kwon 2016.06.23 12:22 신고  Link  Mod/Del  Reply

    이게 매번 한글용어를 사용할 때마다 고민되는게 하나가 measure zero인거 같습니다.
    요즘엔 고민하다보니까 영 측도(Young measure)라는 개념이 있어서(변분법이나 함수해석에서 나옵니다) 용어선택에 또 고민되게 만드네요 (...)

    이런 이유때문인지 모르겠는데, 대한수학회 용어사전에서는 '측도가 영인 집합'이라고 쓰는거 같습니다.

    • I Seul Bee 2017.01.19 21:17 신고  Link  Mod/Del

      제 생각에도 '영측도'보다는 '측도가 0인 집합'이 더 나을 것 같습니다. 아니면 '0-측도'도 괜찮을 것 같네요. 좋은 의견 감사합니다.

  4. AsherK 2017.01.22 03:32 신고  Link  Mod/Del  Reply

    정말 대단하세요! 제가 비록 수학과는 아니지만 수학에 관심을 가지고 있어서요. 좋은 자료 잘 봤습니다~