15/11/23 11:30:19.53 VPUYSl/7.net
＞[第２段](B'は完全集合)：B'は0、1に任意に近い元のみからなるハメル基底だから、
＞定義から、B'は完全集合である。
推論が意味不明。0,1に任意に近い元だとなぜ完全集合なのか？
＞[第３段](超越基底Sは完全集合)：実数体Rの有理数体Q上の任意の超越基底は
＞或るハメル基底に含まれるから、S⊂B' とすれば、Sは完全集合となる。
推論が意味不明。完全集合の部分集合は常に完全集合なのか？
＞[第５段](S、B'は非可算零集合)：完全集合B'、Sは稠密集合である。従って、
＞Sの外測度をm(S)、B'の外測度をm(B')とすれば、S⊂B' から、任意のε＞0に対して、
＞m(S)≦m(B')≦ε。ε→0 とすれば、m(S)＝m(B)＝0。従って、S、B'は非可算零集合である。
推論が意味不明。これでは「稠密集合はゼロ集合である」と読めるが、
稠密集合は必ずしもゼロ集合ではない。