セット（集合）の\(\sigma\)-アルジェブラ（多元環）上方の\(\sigma\)-ファイナイト（有限）メジャー（測度）の定義
話題
About: メジャースペース（測度空間）
この記事の目次
開始コンテキスト
- 読者は、セット（集合）の\(\sigma\)-アルジェブラ（多元環）上方のメジャー（測度）の定義を知っている。
ターゲットコンテキスト
- 読者は、セット（集合）の\(\sigma\)-アルジェブラ（多元環）上方の\(\sigma\)-ファイナイト（有限）メジャー（測度）の定義を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ（実体）たち:
\( (M, A)\): \(\in \{ \text{ 全てのメジャラブルスペース（測定可能空間）たち }\}\)
\(*\mu\): \(\in \{A \text{ 上方の全てのメジャー（測度）たち }\}\)
//
コンディションたち:
\(\exists s: \mathbb{N} \to A (\cup_{j \in \mathbb{N}} s (j) = M \land \forall j \in \mathbb{N} (\mu (s (j)) \lt \infty))\)
//
