ルベーグ積分は前回の記事で定義したルベーグ可測関数に対して(のちの記事で)定義されます.
そのため,ルベーグ積分を学び進めるにあたって,ルベーグ可測関数の性質を整理しておくことは大切です.
この記事では,
- 可測関数たちの線形結合・和・積・商
- 可測関数の正成分・負成分・絶対値
を順に説明します.
この記事の内容は理論上重要ですが,証明は技術的なものが多いので,可測関数であることの証明に慣れるつもりで読むのが良いでしょう.
「ルベーグ積分の基本」の一連の記事
- ルベーグ積分入門
- ルベーグ測度
- ルベーグ可測関数とルベーグ積分
- ルベーグ積分の性質と項別積分
- ルベーグ積分の基本性質を証明する(準備中)
- 単関数列の項別積分定理のイメージと証明(準備中)
- ルベーグの単調収束定理と具体例(準備中)
- ルベーグの収束定理と具体例(準備中)
線形結合・積・商
可測関数をもとにできる関数の多くは可測関数です.
ここでは基本的な可測関数を示します.
線形結合の可測性
補題を2つ示し,可測関数の線形結合の可測性を示します.
定数倍の可測性
任意の$\alpha\in\R$に対して,
である.
[1] $k>0$のとき
が成り立つ.$f$は可測関数だから$A’\in\mathcal{L}$である.
[2] $k=0$のとき
が成り立つ.$A,\emptyset\in\mathcal{L}$だから$A’\in\mathcal{L}$である.
[3] $k<0$のとき
が成り立つ.$f$は可測関数だから$A’\in\mathcal{L}$である.
[1]-[3]より,$kf$は可測関数である.
定数倍の可測性
可測集合$A$上の可測関数$f,g$に対して,関数$f+g$は可測関数である.
$\R$における有理数全部の集合$\Q$の稠密性から
が成り立つ.$f,g$はともに可測関数だから
はともに可測集合であり,一般に可測集合の共通部分も可測集合だから
も可測集合である.
さらに,$\Q$が可算集合であることと,一般に可測集合の和集合も可測集合であることを併せて$A’\in\mathcal{L}$である.
よって,$f+g$は可測関数である.
線形結合の可測性
いま示した2つの命題から次が従いますね.
可測集合$A$上の可測関数$f,g$と$k,\ell\in\R$に対して,関数$kf+\ell g$は可測関数である.
上の補題より,可測関数の定数倍は可測関数だから,$kf$, $\ell g$はともに可測関数である.
さらに,可測関数の和は可測関数だから,$kf+\ell g$は可測関数である.
この系より可測関数全部の集合は,通常の和・定数倍により線形空間となることが分かりますね.
積の可測性
補題を1つ示し,可測関数の積の可測性を示します.
任意に$\alpha\in\R$をとる.$\alpha<0$なら$\set{x\in A}{f^2(x)>\alpha}=A\in\mathcal{L}$が成り立つ.
一方,$\alpha\ge0$なら
が成り立つ.$f$は可測関数だから
はともに可測集合であり,一般に可測集合の和集合も可測集合だから$A’\in\mathcal{L}$である.
よって,$f^2$は可測関数である.
先ほど示した可測関数の線形結合の可測性と,いまの補題を併せて次が従います.
可測集合$A$上の可測関数$f,g$に対して,関数$fg$は可測関数である.
$f,g$の線形結合で表せる$f+g$, $f-g$はともに可測関数だから,補題より$(f+g)^2$, $(f-g)^2$もともに可測関数である.
よって,これらの線形結合で表せる$fg=\dfrac{1}{4}((f+g)^2-(f-g)^2)$も可測関数である.
商の可測性
補題を1つ示し,可測関数の商の可測性を示します.
任意に$\alpha\in\R$をとる.
[1] $\alpha>0$のとき
が成り立つ.$f$は可測関数だから
はともに可測集合であり,一般に可測集合の共通部分も可測集合だから$A_1\in\mathcal{L}$である.
[2] $\alpha=0$のとき
が成り立つ.$f$は可測関数だから$A_2\in\mathcal{L}$である.
[3] $\alpha<0$のとき
が成り立つ.$f$は可測関数だから
はともに可測集合であり,一般に可測集合の和集合も可測集合だから$A_3\in\mathcal{L}$である.
よって,$\frac{1}{f}$は可測関数である.
先ほど示した可測関数の積の可測性と,いまの補題を併せて次が従います.
可測集合$A$上の可測関数$f,g$に対して,関数$\dfrac{f}{g}$は可測関数である.ただし,任意の$x\in A$に対して$g(x)\neq0$とする.
$g$は可測関数だから,補題より$\dfrac{1}{g}$も可測関数である.
もとより$f$は可測関数だから,$f$, $\dfrac{1}{g}$の積で表せる$\dfrac{f}{g}=f\cdot\dfrac{1}{g}$も可測関数である.
可測関数の正成分・負成分
関数の正成分・負成分はのちにルベーグ積分を定義する際に必要となるので,ここで定義して可測性も示しておきましょう.
正成分と負成分の定義
まずは関数の正成分と負成分を定義します.
$A\subset\R$とする.関数$f:A\to\R$に対して,
で定まる関数$f_+,f_-:A\to\R$をそれぞれ$f$の正成分,負成分という.
$a,b\in\R$に対して$\max{a,b}$は$a,b$の小さくない方のことですね.
例えば,$f:\R\to\R;x\mapsto x^2-2$に対しては
となりますね.
ざっくり言えば,関数の負の部分を全て0にしたものが正成分で,関数の正の部分を全て0にして$-1$をかけたものが負成分ですね.
また,一般に$t\in\R$に対して$\max\{t,0\}\ge0$なので,正成分$f_+$と負成分$f_-$は定義より非負値関数ですね.
正成分・負成分の可測性
可測関数の正成分・負成分の可測性を示します.
可測集合$A$上の可測関数$f$に対して,正成分$f_+$と負成分$f_-$は可測関数である.
任意に$\alpha\in\R$をとる.
[1] $\alpha<0$のとき,
が成り立つ.
[2] $\alpha\ge0$のとき,
が成り立つ.$f$は可測関数だからこれらは可測集合である.
よって,$f_+,f_-$はともに可測関数である.
絶対値の可測性
いまの命題より,可測関数の絶対値も可測であることが従います.
可測集合$A$上の可測関数$f$に対して,$|f|$は可測関数である.
いま示した命題より$f_{+},f_{-}$である.
よって,これらの線形結合で表せる$|f|=f_{+}+f_{-}$も可測関数である.
連続関数の可測性
最後に連続関数の可測性を示します.
$f$を$A$上の連続関数とする.任意の$\alpha\in\R$に対して,
である.ただし,ルベーグ積分で扱う関数の終集合は拡大実数$\overline{\R}=\R\cup\{\infty,-\infty\}$であることに注意.
位相空間における連続関数の定義から,開集合の引き戻しは開集合だから$f^{-1}([\alpha,\infty))$は開集合である.一般に開集合は可測集合だから$f^{-1}([\alpha,\infty))$は可測集合である.
また,1点集合$\{\infty\}$は閉集合で,位相空間における連続関数の性質から,閉集合の引き戻しは閉集合だから$f^{-1}(\{\infty\})$は開集合である.一般に閉集合は可測集合だから$f^{-1}(\{\infty\})$は可測集合である.
一般に可測集合の和集合は可測集合だから,$\set{x\in\R}{f(x)\ge\alpha}\in\mathcal{L}$となって,$f$は可測関数である.
コメント