15/12/03 22:33:10.74 2V8kp7An.net
>>103
>７．よって、超越基底Sは零集合である。 ∵-εからεの区間に存在する超越基底Sの測度は、各区間Biの測度の可算和に等しいから。
ここがダメだと思う。先週議論したことと同じだ。
話を開区間I(ε) に含まれるSに限定しよう。
そうして>>108の第1段～6段をスキップしよう。
I(ε)は可算個の半開区間Biに分割できる。
よって可算個Biの和だから測度は0だ。
・・・とはならないよね。
Sは非可算だから、測度が0に収束する可算の半開区間では覆えない。