무한차원에서 weak topology가 non metrizable인거 보이는건데 첫번째 스텝부터 막혀버렸음




이 lemma를 쓰라는데 이건 함수 유한개에서 쓸수 있는 렘만데 exercise의 함수열에서 적용이 안될거 같은데 어떻게 하라는건지 감도 안옴