요즘 함수해석 공부하다보니 어떤 함수 공간 안의 함수가 compact 한지 안 한지 따질 때 왠만하면 핵심 정리로 끼어들어가는 거 같네; Frechet-Kolmogrov theorem이라던지 Sobolev embedding이라던지 등등 해서


근데 그렇다고 해서 나새끼가 PMA 한 번 봤다고 이걸 이해하는 것도 무리긴 할 듯;