「測度論」の版間の差分
削除された内容 追加された内容
m編集の要約なし |
|||
20行目:
'''A''' の元は'''可測集合'''とよばれる。 また、 [[構造 (数学)|数学的構造]] (''X'', '''A''', μ) は '''測度空間'''と呼ばれる。 次の性質は、上の定義から導かれるものである：
* 単調性: ''E''<sub>1</sub> と ''E''<sub>2</sub> が可測集合で ''E''<sub>1</sub>
::<math> \mu(E_1) \leq \mu(E_2) </math>
* ''E''<sub>1</sub>, ''E''<sub>2</sub>, ''E''<sub>3</sub>, ... が可測集合の列で、各 ''n'' において ''E''<sub>''n''</sub>
::<math> \mu\left(\bigcup_i E_i\right) = \lim_i \mu(E_i) </math>
* ''E''<sub>1</sub>, ''E''<sub>2</sub>, ''E''<sub>3</sub>, ... が可測集合の列で、各 ''n'' において ''E''<sub>''n''+1</sub>
::<math> \mu\left(\bigcap_i E_i\right) = \lim_i \mu(E_i) </math>
| |||