0984132人目の素数さん垢版 | 大砲2019/12/15(日) 19:38:22.83ID:gy64Vhcn コンパクトじゃない空間を調べる時にコンパクト空間で成り立つ定理を使うためにコンパクト化が有用ということですね。