[集合論] Real Numbers その３（Jech本4章 p.40） .ind { margin-left: 2em; line-height: 2.0; } 今回のネタは定理4.6 (Cantor-Bendixson)『実数の中の任意の非加算な閉集合は，完全集合と高々可算な集合の和集合となる()．]』である．系として，定理4.5と…

[集合論] Real Numbers その２（Jech本4章 p.40） .ind { margin-left: 2em; line-height: 2.0; } 今回のネタは定理4.5『実数の中の任意の完全集合の濃度は』である． 完全集合とは，孤立点を持たない閉集合のことで，孤立点をもたないとは『任意の点のどん…