完全加法的集合関数

出典: フリー百科事典『ウィキペディア(Wikipedia)』
シグマ加法性から転送)
移動: 案内検索

数学の分野、とくに測度論において、ある与えられた集合部分集合上で定義される関数有限加法性(かほうせい、: finite additivity)および σ-加法性(シグマかほうせい、: sigma additivity)は、集合の大きさ(長さ面積体積)についての直感的な性質に関する抽象概念である。σ-加法性は可算加法性(かさんかほうせい、: countable additivity)、完全加法性(かんぜんかほうせい、: completely additivity) とも呼ばれる。

有限加法的集合関数[編集]

μ集合代数 \mathcal{A} 上で定義され 補完数直線 [−∞, +∞] = R ∪ {±∞} に値を取る関数とする。関数 μ有限加法的であるとは、\mathcal{A} 内の任意の互いに素な集合 AB に対して

 \mu(A \cup B) = \mu(A) + \mu(B)

が成立することを言う(その帰結として、∞ − ∞ が定義されないままにするために、一つの加法的関数は −∞+∞ の両方ともを値として取ることはできない)。

数学的帰納法により、\mathcal{A} 内の任意の互いに素な集合 A1, A2, …, AN に対して、加法的関数は

\mu\left(\bigcup_{n=1}^N A_n\right)=\sum_{n=1}^N \mu(A_n)

を満たすことが分かる。これを有限加法性という。

加法的集合関数[編集]

\mathcal{A}σ-代数とする。μ\mathcal{A} から R への写像とする[1]\mathcal{A} 内の任意の互いに素な集合の A1, A2, …, Ak, … に対し

完全加法性 \mu\left(\bigcup_{n=1}^\infty A_n\right) = \sum_{n=1}^\infty \mu(A_n)

が成立するとき、μ完全加法的可算加法的、あるいはσ-加法的であると言い、μ完全加法的集合関数あるいは加法的集合関数などと言う。

任意の加法的集合関数は、有限加法的であるが、その逆は成立しない。そのような反例については後述を参照されたい。

性質[編集]

基本性質[編集]

加法的関数 μ の有用な性質として、以下が挙げられる:

  1. μ(∅) = 0.
  2. μ が非負で、AB ならば μ(A) ≤ μ(B) が成り立つ。
  3. AB で、μ(B) − μ(A) が定義されるならば、μ(BA) = μ(B) − μ(A) が成り立つ。
  4. 与えられた A および B に対し、μ(AB) + μ(AB) = μ(A) + μ(B) が成り立つ。

[編集]

加法的集合関数の一例として、実数全体の成す集合 R冪集合 P(R) 上で定義される次のような関数 μ が考えられる:

 \mu (A)= \begin{cases} 1 & \mbox{ if } 0 \in A \\ 
                               0 & \mbox{ if } 0 \notin A.
\end{cases}

A1, A2, …, Ak, … を、R に含まれる互いに素な集合の列とする。このとき、それらのどれも 0 を含まないか、どれか一つだけが 0 を含む二通りの場合が考えられる。いずれの場合でも、等号

 \mu\!\left(\bigcup_{n=1}^\infty A_n\right) = \sum_{n=1}^\infty \mu(A_n)

が成り立つため、μσ-加法的関数である。

σ-加法的関数のその他の例については、測度および符号付測度の記事を参照されたい。

有限加法的であるが σ-加法的でない関数の例として、上述の例から少し変更を加えた、次のような実数冪集合で定義される関数 μ が考えられる:

 \mu (A)= \begin{cases} 1 & \mbox { if } 0 \in \bar A \\ 
                               0 & \mbox { if } 0 \notin \bar A
\end{cases}

ここで、上付きのバーは閉包を表す。

この関数が有限加法的であることを確かめるためには、有限数の集合の合併の閉包はそれら各集合の閉包の合併に等しいという性質と、各集合の閉包に 0 が含まれるか否かという点に注目すれば、すぐに分かる。この関数が σ-加法的ではないことを確かめるためには、n = 1, 2, 3, … に対して互いに素な集合の列

A_n=\left[\frac {1}{n+1},\,  \frac{1}{n}\right)

を考えれば良い。これらの集合の合併は開区間 (0, 1) でありその閉包は [0, 1] であるため、そのような合併に対して関数 μ は値 1 を取る。しかし、各区間毎に対する関数 μ の値は 0 であるため、そのような μ(An) の和も 0 となる。したがって、μ は上述の定義の等式を満たさず、σ-加法的ではない。

一般化[編集]

任意の加法的なモノイド(例として、任意のやより一般的なベクトル空間が挙げられる)に値を取る有限加法的関数を定義することが出来る。σ-加法性については、さらに列の極限の概念がその集合上で定義される必要がある。例えば、スペクトル測度バナッハ代数に値を取る σ-加法的関数である。また別の例として、量子力学の分野における正作用素値測度英語版が挙げられる。

関連項目[編集]

脚注[編集]

  1. ^ 伊藤 (2008) では、±∞ の値を許していない。

参考文献[編集]

  • 伊藤, 清三 『ルベーグ積分入門』 裳華房〈数学選書4〉、2008年、第46版。ISBN 978-4-7853-1304-3
  • Royden, H.L. (1988), Real Analysis (third ed.), Collier Macmillan, ISBN 0-02-404151-3