1

コンパクト空間は完備であることの証明について

828
1

久しぶりに数学に触っていたのですが、早速引っかかってしまいました…
質問の内容ですが、正確には「コンパクト空間は完備であることを示す過程」で不明点があります。

前提&証明を追えているところ
X:コンパクト
{xn}:Xのコーシー列
y{xn}の収束先でないとすると、xnB(y,ϵ)となる番号nは有限個である.(*)
(B(y.ϵ):yϵ近傍)

そして、ここからが疑問点です。この後、次のような記述があるのですが、

{xn}を有限個しか含まない開集合全体を考える。{xn}が収束しないとすると、(*)からこの開集合全体はXの開被覆になる。

の一文に引っかかっています。{xn}を有限個しか含んでいないのに(開集合全体の中に含まれていない{xn}もあるはずなのに)、それはXの開被覆と言えるのでしょうか。
どなたかよろしくお願いします。

投稿日:202188
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

アールフォルス博士の『複素解析』をのんびり進めています。 難しいことがあったらここで質問させていただきます。 ご容赦ください。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中