開区間(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で質問しましょう!
このQ&Aを見た人はこんなQ&Aも見ています
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・ゆるやかでぃべーと タイムマシンを破壊すべきか。
- ・「I love you」 をかっこよく翻訳してみてください
- ・歩いた自慢大会
- ・許せない心理テスト
- ・字面がカッコいい英単語
- ・昔のあなたへのアドバイス
- ・かっこよく答えてください!!
- ・あなたが好きな本屋さんを教えてください
- ・スタッフと宿泊客が全員斜め上を行くホテルのレビュー
- ・【大喜利】【投稿~8/27】 こんなガソリンスタンド二度と来るか!なぜそう思った?
- ・これ何て呼びますか Part2
- ・人生で一番思い出に残ってる靴
- ・【お題】動物のキャッチフレーズ
- ・【お題】甲子園での思い出の残し方
- ・ゆるやかでぃべーと すべての高校生はアルバイトをするべきだ。
- ・「それ、メッセージ花火でわざわざ伝えること?」
- ・自分用のお土産
- ・人生で一番お金がなかったとき
- ・一番好きなみそ汁の具材は?
- ・泣きながら食べたご飯の思い出
- ・ちょっと先の未来クイズ第1問
- ・ゴリラ向け動画サイト「ウホウホ動画」にありがちなこと
- ・初めて自分の家と他人の家が違う、と意識した時
- ・単二電池
- ・チョコミントアイス
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
∈と⊂の違いは何ですか?
-
数字は存在するのか
-
数学で、数字の上にある横線の意味
-
この黄線で、囲んだ部分の縦線...
-
商集合は代表系と同一視出来ま...
-
6以下の自然数全体の集合の要素...
-
A∩BとAかつBは意味が違うのでし...
-
高1数学
-
皆様、聞いたいことがあるんで...
-
∈ と ⊂ のはっきりとした違い
-
高校1年の数学Aです。 この、ピ...
-
数Aの問題で、 「AもBも含む」...
-
有理数÷有理数は絶対有理数なん...
-
ボレル集合体に含まれないRの部...
-
空集合について〇か×か返答をお...
-
15以下の自然数の集合を全体集...
-
A∨Φ(空集合)=A A∧Φ(空集合...
-
R\\{0} って、0を除く実数って...
-
1から100までの自然数で、3,4,5...
-
数字の上のバー
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
おすすめ情報