[170415 위상수학] 조밀집합/베르 카테고리 정리/완비성 규준 다시보기(수정, 170601)

[170415 Topological Mathematics] Dense Set/Baire Category Theorem/Completeness Criterion Revisited(Modified, 170601)

<하이네 보렐 정리에서 가분공간을 다루기 위해 조밀집합 관련 연습을!>
To deal with Separable space in the proof of Heine-Borel theorem,
Definition of Dense&Separable / Completeness Criterion / Baire Category theorem