符号付測度
ここで、 μ {\displaystyle \mu } が σ-加法的であるとは、Σ 内の任意の互いに素な集合の列 A1, A2, ..., An に対して、等式
μ ( ⋃ 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})}
を満たすことを言う。この定義の帰結として、任意の拡張符号付測度は +∞ あるいは −∞ を値として取り得るが、それらを同時に取ることは出来ないということが分かる。実際、∞ − ∞ は定義されず避ける必要があるためである。
有限符号付測度も、実数の値のみ取り得るという点を除いて、上記と同様に定義することが出来る。すなわち、+∞ あるいは −∞ の値を、有限符号付測度は取らない。
有限符号付測度はベクトル空間を構成する。一方、拡張符号付測度は加法について閉じてさえおらず、そのことがそれらの取り扱いを難しくしている。また、測度は拡張符号付測度の一種であるが、一般的には必ずしも有限符号付測度ではない。