18/03/04 22:45:50.62 aFVvTRe8.net
さらに補足しておくと、B_f が必ず Fσ 集合であることから、R－B_f は必ず Gδ 集合となる。
今の場合 R－B_f＝Q だったから、Q は Gδ 集合ということになる。
しかし、Q は Gδ 集合には なり得ないのだった。
よって、実際にはこの時点で既に矛盾が生じている。よって、この時点で既に
「ゆえに、系1.8 の関数 f は存在しない」
と書いてもよい(このことは>>418で既に述べている)。
しかし、だからと言って、定理1.7が使えないということにはならない。
定理1.7の仮定は「 R－B_f が第一類集合ならば 」というものであり、
今の場合 R－B_f＝Q は第一類集合なのだから、定理1.7は適用できるのである(そして矛盾が生じる)。