集合函数に関する概要
集合函
数とは、
集合を変
数として扱い、通常は
数を返す
数学的な函
数です。しかし、時には
無限大の値を返すこともあります。これらは補完
数直線上の値を取ることができ、通常は適当な
集合の部分
集合族から選ばれる
集合を入力とします。具体的には、
実数や
ユークリッド空間の点
集合、あるいは測度空間の点
集合から参照されます。
この概念は、通常の点で定義される函
数とは異なり、
集合を変
数として取り扱う点に特徴があります。点函
数と呼ばれるものは、特定の点を入力として
数値を返すのに対し、
集合函
数は
集合そのものを扱います。また、
集合を出力として得る写像は「
集合値函
数」と称されることもあります。
定義
具体的な定義としては、空でない
集合 X とその部分
集合族 𝒞 ⊆ 𝒫(X) に対し、写像 f: 𝒞 → W を
集合函
数と呼びます。ここで、終域 W は通常、非負の
実数と
無限大からなる定義域であることが多いです。例として、W = R+ ∪ {+∞} などがよく使用されます。この場合、fは非負の値を持つ関
数であるとされます。
例
集合函
数の具体例にはいくつかのタイプがあります。例えば、任意の
集合にその濃度、つまり元の個
数を割り当てる函
数や、
無限集合に形式的な
無限大を割り当てる函
数があります。また、素性が良い部分
集合に密度を割り当てる関
数や、
実数の
集合に
ルベーグ測度を割り当てる関
数も含まれます。
確率測度は、特定のσ-代
数に属する
集合に確率を割り当てる
集合函
数として知られています。確率の基本的な特徴には、
空集合への確率が0、全体
集合への確率が1であるという特性があります。また、より新しい概念として、可能性測度もあり、これは与えられた
集合の冪
集合に対して0から1の間の
数を割り当てます。
平面上の点
集合に対しては、その
面積を測度として割り当てる
集合函
数が考えられ、
解析学では函
数のグラフとx軸との間の
面積を計算するために、
集合函
数が用いられます。
外測度は、任意の点
集合に対して、それを含む可測
集合の
面積の下限を割り当てる非負値の
集合函
数です。
基本的な性質
集合函
数には、以下のような基本的な性質があります:
1.
単調性: A ⊆ B なるとき、f(A) ≤ f(B)が成立します。
2.
有限値: すべての A に対して f(A) < ∞ が成り立ちます。
3.
σ-有限性: 各 j に対して、f(A_j) < ∞ であるときは、全体の合併も含めて成り立ちます。
4.
有界性: g(A) の上限が存在するとき、g(A)は有界とされます。
5.
完備性: f(A) = 0 かつ B ⊆ A ならば B は
集合族に属します。
これらの性質は、
集合函
数が計算や理論的な面でどのように機能するのかを理解するために重要です。
集合函
数は、特に
測度論において重要な役割を果たしており、確率論など他の
数学の分野でも利用されています。
数学における
集合函
数の理解は、測度や積分など、より複雑な概念に進むための基盤を提供します。