「実数上の開集合は,可算個の開区間の和で表すことができる」

こんばんは.寒くなってまいりました.そろそろ年の瀬も近いですね.
上の命題特に測度論で自明に使うことが多いのですが,なかなか証明がのってなくて調べるのに苦労しました.

証明

実数は,可分な距離空間である.よって,第2可算公理を満たので,命題は成立する.(おわり)

直接証明

測度論を学んでいる人は位相論は学んでいるというのが前提なので,上のような内容は当たり前ということなのでしょう.(初学者には辛いのですが)
あまり込み入った用語を用いず直接証明をしてみます.

上の開集合とする.開集合の定義から,各に対して,が成立.
ここで,は,を中心として,半径の開区間.

このとき,

が成立.

証明

に対して,なので,
に対して,なので,. (証明終わり)

さて, に対して,有理数を取ることができて,を満たす有理数を取れば,かつ,となる.

このとき,

が成立.

証明

に対して, なので, .よって,
に対して,.よって,.(証明終わり)

以上をまとめると,

が成立する.は有理数なので,は高々可算個である.よって,開集合は,可算個の開区間の和で表された.