23/07/01 11:39:04.44 uNBgRQTB.net
>>25
> ヴィタリで、π/4⊂区間[0,1]を考える。
π/4⊂区間[0,1] ではない
> π/4∈V とできるよ
not(π/4∈V) ともできるが
Vについて言えば、任意の０＜ε＜１について
V⊂[0,ε］
とすることができる
じゃあ、Vは測度０じゃん？って
そこが１のアサハカなところ
おまえ、可算加法性知らねえだろ
測度0の集合の可算和は0
一方Vの平行移動集合の可算和として
[0,1]を構成できる
したがってVの測度が0なら
[0,1]の測度も0になってしまう
しかしそれは矛盾
だからVの測度は0ではない