
開区間(a,b)はコンパクトでないことと、閉区間[c,d]がコンパクトであることがわかっている状況で、[a,b)がコンパクトでないことを示したいです。以下の証明の添削をお願いします。
[a,b)はa<c<bを満たすcによって[a,c]∪(c,b)と表せる。このとき、[a,c]はコンパクトであるから、任意の開被覆Uから有限個の元u1,...unを選び、[a,c]を被覆することができる。
一方で(c,b)はコンパクトでないから、有限個の元で(c,b)を被覆できない開被覆Vが存在する。よってV’=V∪{u1,...,un}は[a,b)の開被覆であるが、[a,b)を有限個で被覆できないため、[a,b)がコンパクトでないことが示された。
また訂正した箇所について修正が与えられそうならば添えていただけると嬉しいです
A 回答 (2件)
- 最新から表示
- 回答順に表示
No.2
- 回答日時:
R=(全実数の集合)
N=(全自然数の集合)
a∈R
b∈R
a<b
とする
n∈Nに対して
(a-1/n,b-1/n)={x∈R|a-1/n<x<b-1/n}
とすると
[a,b)⊂∪_{n∈N}(a-1/n,b-1/n)
だから
V'={(a-1/n,b-1/n)}_{n∈N}
は
[a,b)の開被覆
だけれども
任意の自然数nに対して
m>n+1/(b-a)となる自然数mが存在して
x=b-1/mとすると
1/(b-a)<m
1/m<b-a
a<b-1/m<b
b-1/n<b-1/m<b
max(a,b-1/n)<b-1/m<b
max(a,b-1/n)<x<b
だから
x∈[a,b)-∪_{k=1~n}(a-1/k,b-1/k)≠φ
だから
[a,b)をV'の要素の有限個で被覆できないから
[a,b)がコンパクトでない
No.1
- 回答日時:
>V’=V∪{u1,...,un}は[a,b)の開被覆であるが、[a,b)を有限個で被覆できない
がダメです。
u1,..,un の中にはc の近傍があるはずで、それを持ってくると、Vの中から有限個で覆えるかもしれません。
具体的には、 b>c+1 として、
V={(c+1/n,b)|n∈N} とすれば、Vの有限個では (c,b)は覆えません。
[a,c]の被覆のうち、cの近傍の1つが、例えば、(c-1/k,c+1/k)を含むとすれば、これとVのうちの有限個({(c+1/n,b)|n=1,2,..,k+1})で(c,b)は覆えます。
私には、この証明を簡単に修正する方法は思いつきません。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 .(X,O)をコンパクト空間とする.Xの開被覆C={Ui;i∈N}について,任意のi∈Nに対して,U 2 2023/01/17 18:54
- 数学 ハイネボレルの被覆定理、内田伏一著 「集合と位相」定理22.1 1 2022/07/07 10:49
- 数学 局所コンパクト空間になることの必要十分条件についての質問 3 2022/03/24 16:17
- メルカリ らくらくメルカリ便宅急便コンパクトと宅急便コンパクトの違い 2 2022/05/14 20:12
- 数学 {Ai ; i ∈ N} を位相空間 X のコンパクト集合族としたとき, ∪∞i=1 Ai はコンパ 2 2023/01/17 18:57
- 英語 Abstract Mucograft is collagen matrix was designed 1 2022/11/05 22:35
- 日用品・生活雑貨 折り畳み傘で、閉まった時のサイズはコンパクトで開いたら大きく、軽量のオススメありますか? 価格は35 4 2022/05/22 11:05
- 日用品・生活雑貨 折り畳み傘で、閉まった時のサイズはコンパクトで開いたら大きく、軽量のオススメありますか? 価格は35 2 2022/05/15 01:49
- 電気工事士 第二種電気工事士の技能試験について 3 2023/05/12 08:27
- 数学 位相空間 X において, 点列 {xn} が x∞ に収束しているとき, 集合 {xn; n ∈ N 1 2023/01/17 18:53
このQ&Aを見た人はこんなQ&Aも見ています
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
数学で、数字の上にある横線の意味
-
∈と⊂の違いは何ですか?
-
数学でのセミコロンについて
-
数字の上のバー
-
数字は存在するのか
-
部分が全体に等しいのが無限で...
-
有理数÷有理数は絶対有理数なん...
-
ACCESSのSQL
-
この黄線で、囲んだ部分の縦線...
-
R\\{0} って、0を除く実数って...
-
保育園・幼稚園で集合写真を購...
-
1=0.99999....?
-
1から100までの自然数で、3,4,5...
-
有理数と実数とではどちらが多いか
-
高1数学
-
集合論のカップ(∪)と普遍集合...
-
何故線型空間はあっても、非線...
-
数Aの問題で、 「AもBも含む」...
-
数学的帰納法と無限の概念
-
高校1年の数学Aです。 この、ピ...
おすすめ情報