증명을 step by step 따라가는건 문제가 없는데 normal, second countable space X에서 힐버트 공간 H로 가는 homeomorphism 잡는 아이디어는 대체 어케 떠올리는거임..;; 


백번 양보해서 어떤 metric space와의 homeomorphism을 잡아야 한다는 큰 틀은 떠올릴 수 있겠는데, 그 metric space를 어떤 모티베이션을 가지고 떠올릴 수 있는건지 벽이 씨게 느껴진다..