前回、加算非加算無限 - ほぼ数学科の大学生の備忘録。この記事の最後で実数全体の集合は非加算無限集合であるという話をしました。 今回は、対角線論法を用いたその証明をしたいと思います。まず、区間からには全単射が存在します。例えば、 とすれば、gは…