久しぶりに数学に触っていたのですが、早速引っかかってしまいました…質問の内容ですが、正確には「コンパクト空間は完備であることを示す過程」で不明点があります。
前提&証明を追えているところ・X:コンパクト・{xn}:Xのコーシー列・yが{xn}の収束先でないとすると、xn∈B(y,ϵ)となる番号nは有限個である.(*) (B(y.ϵ):⟺のyのϵ近傍)
そして、ここからが疑問点です。この後、次のような記述があるのですが、
{xn}を有限個しか含まない開集合全体を考える。{xn}が収束しないとすると、(*)からこの開集合全体はXの開被覆になる。
の一文に引っかかっています。{xn}を有限個しか含んでいないのに(開集合全体の中に含まれていない{xn}もあるはずなのに)、それはXの開被覆と言えるのでしょうか。どなたかよろしくお願いします。
バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。