[過去ログ] スレタイ 箱入り無数目を語る部屋4 (1002レス)
上下前次1-新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
300(4): 2022/10/30(日)13:41 ID:6rtRwLi2(11/33) AAS
 以下の2つの定理はよく知られた定理であるが、ここでは念のため、証明を与える。 
  
 定理1:(X,F,ν)は有限測度空間で、ν^* はνから生成される外測度とする。 
 このとき、任意の A⊂X に対して、ある B∈F が存在して、A⊂B かつ ν^*(A)=ν(B) が成り立つ。 
  
 定理2:(X,F,ν)は有限測度空間で、ν^* はνから生成される外測度とする。 
 A_n⊂X (n≧1) は広義単調増加とする。A=∪[n=1〜∞] A_n と置けば、A_n ↑ A (n→∞) が 
 成り立つわけだが、実は lim[n→∞] ν^*(A_n)=ν^*(A) が成り立つ。 
 つまり、ν^* は(必ずしも可測とは限らない)一般の単調増加集合列に対する上への連続性を満たす。 
 (測度から生成されているとは限らない一般の外測度では、必ずしもこれは成り立たない。) 
上下前次1-新書関写板覧索設栞歴
あと 702 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.012s