数学 における符号付測度 （ふごうつきそくど、英 : signed measure ）とは、負 の値を取ることも許されることで一般化された測度 である。正負両方の値を取り得る有名な分布である電荷 （electric charge）に由来して、チャージ [ 1]
符号付測度には、無限大の値を取り得るか否かという点において、わずかに異なる二つの概念が存在する。研究論文や発展的な内容の書物においては、符号付測度は通常、有限の値を取ることのみ許されている。一方、大学生を対象とした教科書などにおいては、それらが無限大の値を取ることも許されていることが少なくない。混乱を避けるために、この記事においては、それら二つの概念をそれぞれ有限符号付測度 （finite signed measure）および拡張符号付測度 （extended signed measure）と区別して呼ぶことにする。
与えられた可測空間 (X , Σ)、すなわちある集合 X とその上の σ-代数 Σ に対して、定義される拡張符号付測度 とは、
μ
(
∅
)
=
0
{\displaystyle \mu (\emptyset )=0}
σ-加法的 な関数
μ
:
Σ
→
R
∪
{
∞
,
−
∞
}
{\displaystyle \mu :\Sigma \to \mathbb {R} \cup \{\infty ,-\infty \}}
のことを言う。ここで、
μ
{\displaystyle \mu }
互いに素 な集合の列 A 1 , A 2 , ..., A n
μ
(
⋃
n
=
1
∞
A
n
)
=
∑
n
=
1
∞
μ
(
A
n
)
{\displaystyle \mu \left(\bigcup _{n=1}^{\infty }A_{n}\right)=\sum _{n=1}^{\infty }\mu (A_{n})}
を満たすことを言う。この定義の帰結として、任意の拡張符号付測度は +∞ あるいは −∞ を値として取り得るが、それらを同時に取ることは出来ないということが分かる。実際、∞ − ∞ は定義されず避ける必要があるためである[ 2]
有限符号付測度 も、実数 の値のみ取り得るという点を除いて、上記と同様に定義することが出来る。すなわち、+∞ あるいは −∞ の値を、有限符号付測度は取らない。
有限符号付測度はベクトル空間 を構成する。一方、拡張符号付測度は加法について閉じてさえおらず、そのことがそれらの取り扱いを難しくしている。また、測度は拡張符号付測度の一種であるが、一般的には必ずしも有限符号付測度ではない。
ν を空間 (X , Σ) 上の非負の測度とし、可測関数 f :X → R を、
∫
X
|
f
(
x
)
|
d
ν
(
x
)
<
∞
{\displaystyle \int _{X}\!|f(x)|\,d\nu (x)<\infty }
を満たすものとする。このとき、Σ 内のすべての A に対して
μ
(
A
)
=
∫
A
f
(
x
)
d
ν
(
x
)
{\displaystyle \mu (A)=\int _{A}\!f(x)\,d\nu (x)}
で与えられる有限符号付測度が存在する。
この符号付測度は、有限の値しか取り得ない。+∞ も値として取ることが出来るようにするためには、上記の f の絶対可積分性についての仮定を、より弱めた
∫
X
f
−
(
x
)
d
ν
(
x
)
<
∞
{\displaystyle \int _{X}\!f^{-}(x)\,d\nu (x)<\infty }
という仮定に変える必要がある。ここで、f − (x ) = max(−f (x ), 0) は f の負の部分 である。
以下では、拡張符号付測度は二つの非負の測度の差であるという結果と、有限符号付測度は二つの非負の有限符号付測度の差であるという結果を紹介する。
ハーンの分解定理 により、与えられた符号付測度 μ に対して、以下の性質を満たす二つの可測集合 P と N が存在する：
P ∪N = X および P ∩N = ∅;E ⊆ P であるような Σ 内の各 E に対して、μ(E ) ≥ 0 が成立する。すなわち、P は正集合 （英語版 ） E ⊆ N であるような Σ 内の各 E に対して、μ(E ) ≤ 0 が成立する。すなわち、N は負集合である。また、このような分解は P および N に対する μ-零集合 の和・差の違いを除いて 一意である。
すべての Σ 内の可測集合 E に対して、
μ
+
(
E
)
=
μ
(
P
∩
E
)
{\displaystyle \mu ^{+}(E)=\mu (P\cap E)}
および
μ
−
(
E
)
=
−
μ
(
N
∩
E
)
{\displaystyle \mu ^{-}(E)=-\mu (N\cap E)}
で定義される二つの非負測度 μ+ と μ- を考える。
μ+ と μ- は共に非負測度であり、片方は有限の値しか取り得ないことが確かめられる。それらはそれぞれ、μ の正の部分（positive part）と負の部分（negative part）と呼ばれる。μ = μ+ - μ- はすぐに得られる。測度 |μ| = μ+ + μ- は μ の変分（variation）と呼ばれ、その得られうる最大値 ||μ|| = |μ|(X ) は μ の全変動 （英語版 ）
このようなハーンの分解定理の帰結は、ジョルダン分解（Jordan decomposition）と呼ばれる。上述の測度 μ+ 、μ- および |μ| は、P および N の選び方に依存しない。
二つの有限符号付測度の和は、有限符号付測度である。また、有限符号付測度と実数の積も同様に、有限符号付測度である。したがって、それらは線型結合について閉じている。可測空間 (X , Σ) 上の有限符号付測度の集合は、実ベクトル空間 を構成する。これは、錐結合 についてしか閉じておらず、したがって凸錐 を構成するがベクトル空間は構成しない「正測度」とは対照的である。さらに、有限符号付測度の全変動 （英語版 ） バナッハ空間 となるようなノルム を定義する。この空間はさらなる構造を備えた、デデキント完備 （英語版 ） バナッハ束 であることが示される。
X がコンパクト可分空間であるとき、有限符号付ベール測度の空間は、X 上のすべての連続実数値関数の空間の双対 であることが、リースの表現定理 によって示される。
^ チャージは必ずしも可算加法的である必要はない。有限加法的 でのみあり得る。この概念についての包括的な参考文献としてはBhaskara Rao & Bhaskara Rao 1983 を参照されたい。
^ 不定形の詳細については記事「拡大実数 」を参照されたい。
Bartle, Robert G. (1966), The Elements of Integration , New York-London-Sydney: John Wiley and Sons , pp. X+129, Zbl 0146.28201 Bhaskara Rao, K. P. S.; Bhaskara Rao, M. (1983), Theory of Charges: A Study of Finitely Additive Measures 109 , London: Academic Press , pp. x + 315, ISBN 0-12-095780-9 , Zbl 0516.28001 , https://books.google.it/books?id=mTNQvfe54CoC&printsec=frontcover#v=onepage&q&f=false Cohn, Donald L. (1997) [1980], Measure theory Birkhäuser Verlag , pp. IX+373, ISBN 3-7643-3003-1 , Zbl 0436.28001 , https://books.google.it/books?id=vRxV2FwJvoAC&printsec=frontcover&dq=Measure+theory+Cohn&cd=1#v=onepage&q&f=false Diestel, J. E.; Uhl, J. J. Jr. (1977), Vector measures 15 , Providence, R.I.: American Mathematical Society , ISBN 0-8218-1515-6 , Zbl 0369.46039 , https://books.google.it/books?id=NCm4E2By8DQC&printsec=frontcover#v=onepage&q&f=false Dunford, Nelson ; Schwartz, Jacob T. (1959), Linear Operators. Part I: General Theory. Part II: Spectral Theory. Self Adjoint Operators in Hilbert Space. Part III: Spectral Operators. , Pure and Applied Mathematics, 6 , New York and London: Interscience Publishers , pp. XIV+858, ISBN 0-471-60848-3 , Zbl 0084.104 Dunford, Nelson ; Schwartz, Jacob T. (1963), Linear Operators. Part I: General Theory. Part II: Spectral Theory. Self Adjoint Operators in Hilbert Space. Part III: Spectral Operators. , Pure and Applied Mathematics, 7 , New York and London: Interscience Publishers , pp. IX+859-1923, ISBN 0-471-60847-5 , Zbl 0128.34803 Dunford, Nelson ; Schwartz, Jacob T. (1971), Linear Operators. Part I: General Theory. Part II: Spectral Theory. Self Adjoint Operators in Hilbert Space. Part III: Spectral Operators. , Pure and Applied Mathematics, 8 , New York and London: Interscience Publishers , pp. XIX+1925–2592, ISBN 0-471-60846-7 , Zbl 0243.47001 この記事は、クリエイティブ・コモンズ・ライセンス 表示-継承 3.0 非移植 のもと提供されているオンライン数学辞典『PlanetMath 』の以下の項目の本文を含む: Signed measure , Hahn decomposition theorem , Jordan decomposition .
