集合函数

数学における集合函数（しゅうごうかんすう、テンプレート:Lang-en-short）は集合を変数（入力、引数）とする函数である。集合函数は出力としてふつうは数を返すが、しばしば出力として無限大を許す（すなわち補完数直線に値をとる函数も考える）。入力は、普通は適当な集合の部分集合族の元となっているような集合であり、しばしば実数からなる集合、ユークリッド空間内の点集合、適当な測度空間内の点集合などから取られる。

これと対照的に、入力が点である（通常の意味の）函数を点函数とよぶ。また、集合を値として出力する写像はしばしば集合値函数と呼ばれる（集合値函数と多価函数は同じような意味で用いられることがあるが、必ずしも同義語でない）。

集合函数は測度論の基礎を成すもので、測度および有限加法的測度は特定の性質を満足する集合函数として定められる。

定義

空でない集合 テンプレート:Mvar とその部分集合族 テンプレート:Math に対し、写像

$f:𝒞\to W$

を（テンプレート:Mvar-値の）集合函数と呼ぶ（テンプレート:Math なるときはしばしば テンプレート:Math を仮定する）。ただし、終域 テンプレート:Mvar はふつう非負アフィン拡張実数の全体 テンプレート:Math と取って非負拡張実数値集合函数を考え、これをしばしば単に集合函数と呼ぶ。他によく用いられるのは

• テンプレート:Mathまたは テンプレート:Mathととる（拡張）実数値集合函数（符号付測度を参照）、
• テンプレート:Math と取った複素数値集合函数（複素測度も参照）

などがある。

例

集合函数の例には以下のようなものが挙げられる。ただし、「集合」は適当な集合族からとるものとする。

• 任意の集合にその濃度（即ち、その集合の元の個数）を割り当てる函数は集合函数である。しばしば無限集合には濃度に関わらず（有限でないという意味の）形式的な無限大 (∞) を割り当てる。
• 十分にテンプレート:仮リンク部分集合 テンプレート:Mathに密度
  $d(A)=\underset{n\to \mathrm{\infty }}{\lim }\frac{|A\cap \{1,\dots ,n\}|}{n}$
  を割り当てる函数は集合函数である。
• （一次元）ルベーグ測度は実数からなる集合に非負の実数（または テンプレート:Math）を割り当てる集合函数になっている テンプレート:Harv。
• 確率測度は適当な[[完全加法族| テンプレート:Mvar-代数]]に属する各集合に確率を割り当てる集合函数である。より具体的に、空集合に対する確率は テンプレート:Math であり、標本空間全体に対する確率は テンプレート:Math であって、その他の集合には テンプレート:Math から テンプレート:Math の間の数が確率として割り当てられる。
• 確率論の代替（異種確率論）としてのテンプレート:仮リンク における可能性測度 (possibility measure) は与えられた集合の冪集合の各元に テンプレート:Math から テンプレート:Math の間の数を割り当てる集合函数である。
• 平面上（あるいは球面上）の点集合に対してその測度としての面積を割り当てる集合函数が考えられる。この集合函数は非負かつ[[完全加法的集合函数| テンプレート:Mvar-加法的]]である。
• 解析学において函数のグラフと テンプレート:Mvar-軸との間の面積は積分を用いて定義できる。この場合、テンプレート:Mvar-軸より下に来る面の測度は符号が負になる。この集合函数は テンプレート:Mvar-加法的であり、符号付測度になる。
• 外測度は テンプレート:Mvar-加法的な非負値集合函数である。これは例えば平面上の任意の点集合に対して、それを含む任意の可測集合の面積の下限として得られる値を割り当てる。しかし大抵の場合、可測集合が適切に制限された測度を得るために別な方法で外測度を構成することになる（例えばルベーグ測度の構成法）。

集合函数の分類

集合函数 テンプレート:Mvar に対して以下のような性質を考えることができる。以下、各集合は全体集合 テンプレート:Mvar の適当な部分集合族 テンプレート:Mvar から取るものとする。

基本的な性質

単調性

$A\subseteq B⟹f(A)\le f(B).$

有限性、有限値

$f(A)<\mathrm{\infty }(\mathrm{\forall }A\in 𝒞).$

テンプレート:仮リンク

$\bigcup _{j\in \mathbb{N}}{A}_j=\mathrm{\Omega }\wedge f(A_j)<\mathrm{\infty }(\mathrm{\forall }j\in \mathbb{N}).$

有界性

$\underset{A\in 𝒞}{\sup }|f(A)|<\mathrm{\infty }$

完備性

$f(A)=0\wedge B\subseteq A⟹B\in 𝒞.$

合併および交叉との可換性

加法性

$f(A\cup B)=f(A)+f(B)(\text{if }A\cap B=\mathrm{\varnothing }\wedge A\cup B\in 𝒞).$

有限加法性

$f(\bigcup _{j=1}^m{A}_j)=\sum _{j=1}^{m}f(A_j)(\text{if }[i\ne j⟹A_i\cap A_j=\mathrm{\varnothing }]\wedge \bigcup _{j=1}^m{A}_j\in 𝒞).$

[[完全加法的集合函数| テンプレート:Mvar-加法性]]

$f(\bigcup _{j\in \mathbb{N}}{A}_j)=\sum _{j\in \mathbb{N}}f(A_j)(\text{if }[i\ne j⟹A_i\cap A_j=\mathrm{\varnothing }]\wedge \bigcup _{j\in \mathbb{N}}{A}_j\in 𝒞).$

劣加法性

$f(A\cup B)\le f(A)+f(B)(\text{if }A\cup B\in 𝒞)$

有限劣加法性

$f(\bigcup _{j=1}^m{A}_j)\le \sum _{j=1}^{m}f(A_j)(\text{if }\bigcup _{j=1}^m{A}_j\in 𝒞).$

テンプレート:仮リンク

$f(\bigcup _{j\in \mathbb{N}}{A}_j)\le \sum _{j\in \mathbb{N}}f(A_j)(\text{if }\bigcup _{j\in \mathbb{N}}{A}_j\in 𝒞).$

差法性

$f(A\setminus B)=f(A)-f(B)(\text{if }A\setminus B\in 𝒞).$

• ただし テンプレート:Math の形を避けるためにしばしば テンプレート:Math（有限値）と仮定する。

モジュラ性

$f(A\cup B)+f(A\cap B)=f(A)+f(B)(\text{if }A\cup B,A\cap B\in 𝒞)$

連続性

左連続性（下からの連続性）

単調増大列 テンプレート:Mvar に対して

$f(\bigcup _{i\in \mathbb{N}}{A}_i)=\underset{i\in \mathbb{N}}{\sup }f(A_i)(\text{if }\bigcup _{j\in \mathbb{N}}{A}_j\in 𝒞).$

右連続性（上からの連続性）

単調減少列 テンプレート:Mvar で テンプレート:Math なるものに対して

$f(\bigcap _{i\in \mathbb{N}}{A}_i)=\underset{i\in \mathbb{N}}{\inf }f(A_i)(\text{if }\bigcap _{j\in \mathbb{N}}{A}_j\in 𝒞).$

右空連続性（上からの [[空集合|テンプレート:Mvar]]-連続性）

$\underset{i\in \mathbb{N}}{\inf }f(A_i)=0(\text{if }f(A_1)<\mathrm{\infty }\wedge \bigcap _{j\in \mathbb{N}}{A}_j=\mathrm{\varnothing }).$

各性質の間の関係

• 任意の テンプレート:Mvar-加法的集合函数は有限加法的であり、また任意の有限加法的集合函数は加法的である。
• 任意の有限値集合函数は テンプレート:Mvar-有限である。
• 任意の加法的集合函数は減法的である。
• 任意の有界集合函数は有限である。
• 集合族 テンプレート:Mvar が環のとき、任意の加法的集合函数は有限加法的であり、かつ任意の劣加法的集合函数は有限劣加法的である。

参考文献

• テンプレート:Cite book
• Herbert Amann, Joachim Escher: Analysis. Band 3. 2. Auflage, Birkhäuser, Basel u. a. 2008, ISBN 978-3-7643-8884-3.
• Klaus D. Schmidt: Maß und Wahrscheinlichkeit. Springer, Berlin u. a. 2009, ISBN 978-3-540-89729-3.
• A.N. Kolmogorov and S.V. Fomin (1975), Introductory Real Analysis, Dover. ISBN 0-486-61226-0

外部リンク

• テンプレート:SpringerEOM
• Regular set function at Encyclopedia of Mathematics
• テンプレート:MathWorld