集合函数

集合に関する概要



集合とは、集合を変として扱い、通常はを返す学的な函です。しかし、時には無限大の値を返すこともあります。これらは補完直線上の値を取ることができ、通常は適当な集合の部分集合族から選ばれる集合を入力とします。具体的には、実数ユークリッド空間の点集合、あるいは測度空間の点集合から参照されます。

この概念は、通常の点で定義される函とは異なり、集合を変として取り扱う点に特徴があります。点函と呼ばれるものは、特定の点を入力として値を返すのに対し、集合集合そのものを扱います。また、集合を出力として得る写像は「集合値函」と称されることもあります。

定義



具体的な定義としては、空でない集合 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 は集合族に属します。

これらの性質は、集合が計算や理論的な面でどのように機能するのかを理解するために重要です。集合は、特に測度論において重要な役割を果たしており、確率論など他の学の分野でも利用されています。学における集合の理解は、測度や積分など、より複雑な概念に進むための基盤を提供します。

もう一度検索

【記事の利用について】

タイトルと記事文章は、記事のあるページにリンクを張っていただければ、無料で利用できます。
※画像は、利用できませんのでご注意ください。

【リンクついて】

リンクフリーです。