コンパクト集合の定義と性質(閉写像のコンパクト性等)