ちなみに、系1.8 の関数が存在しないことを言うには、
B_fがFσ集合であることを用いる方法もある。次のようにすればよい。
――――――――――――――――――――――――――――――――――
一般論として、B_f は必ずFσ集合であり、R−B_f は必ずGδ集合である。
もし系1.8 の関数 f が存在するなら、R−B_f ＝ Q となるので、
R−B_f がGδ集合であることから、Q はGδ集合ということになるが、
Q はGδ集合になりえないので矛盾する。よって、系1.8 の関数は存在しない。
――――――――――――――――――――――――――――――――――