じゃあコンパクトの条件を付けたら,あるかな?