数学要論A
2.2 可算集合.
数直線上の互いに交わらない開区間の族がたかだか可算族であることを示すのに,各開区間から有理数を選んで,有理数全体が可算であることに帰着させたのだが,説明してかえってわかりにくくなるといけないと思って選択公理にはあえて触れなかったところ,講義終了後,「無限個の開区間からそれぞれ有理数を選ぶことができるというのは自明なことではないのではないか」という質問を受けた.鋭い.
教科書(松村「集合論入門」)にあった実数の非可算性の証明.
相異なる実数の列 に対し,
を次のように定義する.
(1) のうち小さい方を ,大きい方を とする.
(2) まで定義されたとする.
の中で,開区間 に含まれる最初の2つのうち,小さい方を ,大きい方を とする.
このとき, ならば,
区間縮小法より,