正成分と負成分

数学における実または拡大実数値函数の正成分（せいせいぶん、テンプレート:Lang-en-short）および負成分（ふせいぶん、テンプレート:Lang-en-short）は、その函数から定まる二つの特定の非負値函数である。

元の函数が正の値を取る場合、その正成分は元の函数と同じ値を取り、元の函数がそれ以外の値を取る場合、正成分は テンプレート:Math を値とする。 負成分も同様に、元の函数が負の値を取る場合、その負成分は元の函数の値と大きさが等しく符号だけ異なる正の値を取り、元の函数がそれ以外の値を取る場合、負成分は テンプレート:Math を値とする。

より一般に、全順序群に値をとる任意の函数に対して正成分と負成分の概念は定義できるということに注意せよ。

函数 テンプレート:Mvar とその正成分 テンプレート:Mvar および負成分 テンプレート:Mvar: 直観的には正成分 テンプレート:Mvar のグラフは テンプレート:Mvar のグラフを テンプレート:Mvar-軸から下はちょん切って、その部分では テンプレート:Math となるものとしてつなぎ直したものとして得られる。同様に負成分は テンプレート:Mvar-軸より上の部分をちょん切って上下をひっくり返すことで得られる。

定義

実または拡大実数値函数 テンプレート:Mvar の正成分 テンプレート:Mvar および負成分 テンプレート:Mvar は $$\begin{array}{cc}{f}^{+}(x)& =\max (f(x),0)=\{\begin{array}{cc}f(x)& (f(x)>0)\\ 0& (f(x)<0)\end{array};\\ f^{-}(x)& =\max (-f(x),0)=-\min (f(x),0)=\{\begin{array}{cc}-f(x)& (f(x)<0)\\ 0& (f(x)>0)\end{array}\end{array}$$ と定義される。

注

こうして得られた テンプレート:Mvar がともに非負値の函数であることに注意すべきである—言葉では「負成分」と呼ぶけれども、負成分は「負値」にももとの函数の「一部分」にもならない（これは複素数の虚部が虚数でも部分でもないことに似ている）。

アイバーソンの括弧を用いれば $$\begin{array}{cc}{f}^{+}& =[f>0]f\\ f^{-}& =-[f<0]f\end{array}$$ とも書ける。

ジョルダン分解と絶対値

同様の設定のもと、函数 テンプレート:Mvar はその正成分と負成分を用いて一意的に $$f=f^{+}-f^{-}$$ と書ける。さらにその絶対値 テンプレート:Math が $$|f|=f^{+}+f^{-}$$ と書ける。これら二つの関係式から、正成分と負成分を $$f^{+}=\frac{|f|+f}{2},f^{-}=\frac{|f|-f}{2}$$ と表すことができる。テンプレート:Efn

測度論・ルベーグ積分

正成分と負成分の概念は測度論およびルベーグ積分論において基本的かつ重要である。測度空間 テンプレート:Math 上の拡大実数値函数 テンプレート:Mvar が可測となるための必要十分条件は、その正成分 テンプレート:Mvar および負成分 テンプレート:Mvar がともに可測となることである。したがって、テンプレート:Mvar が可測ならば絶対値 テンプレート:Math もまた（ふたつの可測函数 テンプレート:Mvar の和であるから）可測になる。しかしその逆は必ずしも成り立たない: 例えば テンプレート:Mvar として、$$f=1_V-\frac{1}{2}$$ を テンプレート:Mvar がヴィタリ集合であるときに考えれば、テンプレート:Mvar は明らかに可測でないが、その絶対値は定数函数になるから可測である。

実数値函数のルベーグ積分は、正成分と負成分への分解を通じて定義される。また函数の正成分および負成分への分解と類似対応するものとして、符号付き測度の正成分および負成分への分解（ジョルダン分解）を考えることができる（ハーン分解定理の項を参照せよ）。

関連項目

• 有界変動函数
• テンプレート:Ill2

参考文献

• テンプレート:Cite book

• テンプレート:Cite book

• テンプレート:Cite book

外部リンク

• テンプレート:MathWorld / テンプレート:MathWorld
• テンプレート:ProofWiki / テンプレート:ProofWiki
• テンプレート:SpringerEOM