久し振りに見に来たおっちゃんです。
pdf の定理 1.7 の証明は読んでいないが、有理数か無理数とかはどうでもよくて、
背理法での証明で大事なのは、実数直線R上で G_δ集合 と F_δ集合 を考えていて、
G_δ集合 が F_δ集合の補集合になっていることだと思われる。
(前)スレを見ると激しい論争になったようだが、背理法も全体集合を直線Rとして
R上で G_δ集合 と F_δ集合 を意識して使っていると思われる。
スレ主は一致の定理が成り立つことを否定したのか。
それじゃ、ここ最近一日中計算して手が疲れているから、おっちゃんもう寝る。
