[170325 위상수학] 거리공간의 부분공간 복습

[170325 Topological Mathematics] Review for Subspace of Metric Spaces

이 부분은 한참 전에 했던 내용이긴 한데 일단 완비성 관련 정리들을 증명해보기 시작한 지난 토요일로 그 영광을 넘기겠슴

I tried these earlier. Because I started proving theorems about completeness on last Saturday, I'll bring this post from the date 3/25.

<거리공간에서의 열린 구와 닫힘, 부분공간에서의 열린 구와 닫힘을 정의>
Defined the open ball and closure of a set in $X$ and $Y$ which is subspace of $X$

<이것 또한 자주 나오는 정리 중 하나.>
It is an well-known theorem in the lecture.