>>285
外測度
m:P([0,1))→[0,1]
を
m(X)=inf{Σ|ai-bi|:X⊂∪[ai,bi),0≦i≦n∈N}
て定義できるよね（普通は無限和だけど有界だから有限和で書いた・無限に分割していけば無限和と同じ値になるはず）
ルベーグ測度
μ:P([0,1))→[0,1]
をmの定義域を可測集合
M([0,1))={X⊂[0,1):∀Y⊂[0,1):m(Y)=m(X∩Y)+m(Y＼X)}
に制限したものとする（μの定義域はM([0,1))であってP([0,1))全部ではない）
平行移動してM([n,n+1))とソレ上のルベーク測度μを定める
M(R)={X⊂R:∀n∈Z:X∩[n,n+1)∈M([n,n+1))}
として
M(R)を定義域とするルベーグ測度
μ:P(R)→R∪{∞}
を
μ(X)=sup{μ(X∩[-n,-n+1))+…+μ(X∩[n,n+1)):n∈N}
と定義する（sup=∞もアリ）
>>290
他人に評価して貰いたくてたまらず
自分のないゲス婆