無限次元の球はコンパクトにはならない
有限次元である事が必要十分