>>170
R^2で 有界閉集合=コンパクト くらい大学ですぐに習うはずだが。