コンパクト
位相空間$ Sの任意の開被覆が必ず$ Sの有限被覆を部分集合として含むことを、$ Sはコンパクトである、という
定義
部分集合系$ \mathfrak{U}を位相空間$ Sの任意の開被覆とする
そのとき、$ \mathfrak{U}から適当に有限個の集合を取り出して、
それらの有限子の集合からなる集合系$ \mathfrak{U}'が
すでに$ Sの被覆となるようにすることができる
このとき$ Sはコンパクトである、という
/mrsekut-book-4062577380/095 (コンパクトと一様連続)
直観的だ