No.4ベストアンサー
- 回答日時:
No1です。
閉区間列S1、S2、…、Sn、…はいずれも空でありませんから(∵有限個の開集合で覆いきれない閉区間列と仮定しているので、もし空ならひとつの開集合で覆えてしまう)、いまSiの元をsiと記すことにします。(i=1,2,…)
m>nのときsm∈Sm⊂Snでありsn∈Snだから|sm-sn|≦(1/2)^(n-1) が成立。(Snの区間の長さは、作り方によりS0が2でS1が1でS2が1/2…となっているから)
よって、点列snはコーシー列を成すことがわかる。実数の完備性により点列snの極限が存在する。それをsとおく。(つまりlim sn = s)
このとき∩Sn={s}が成立。
証明:
(∩Sn⊃{s}について) nを任意に与えられた自然数とする。m≧nとなる任意の自然数mに対し、sm∈Sm⊂Snが成立。Snが閉区間であるのでs=lim sm ∈Sn が成立。ゆえに∩Sn⊃{s}が成立。
(∩Sn⊂{s}について) x∈∩Snとする。すると任意の自然数nに対しx∈Snである。ここで、上で示したように∩Sn⊃{s}が成立しているから、s∈Snである。よって|x-s|≦(1/2)^(n-1)が成立。nは任意であったので、|x-s|=0でなくてはならない。よって、x=s∈{s}である。
No.3
- 回答日時:
No.1です。
大雑把に言うと、[-1,1]が有限個の開集合で覆いきれないと仮定すると、
[-1,0]、[0,1]の少なくとも一方は有限個の開集合で覆いきれないですね。
いま、[-1,0]が有限個の開集合で覆いきれないとしましょう。
[-1,0]が有限個の開集合で覆いきれないから、
[-1,-1/2]、[-1/2,0]の少なくとも一方は有限個の開集合で覆いきれないですね。
以下、この操作を繰り返し、
有限個の開集合で覆いきれない閉区間列S1、S2、…、Sn、…を作ります。
すると、∩Snは単集合となります。
∩Snの唯一の元をsと書くことにします。
s∈[-1,1]⊂∪Bi (Biは開集合)だから、
あるiが存在しs∈Biとなります。
Biが開集合だから、ある開近傍Gが存在しs∈G⊂Biとなります。
しかし、Snの区間列の作り方からnを十分大きくとればSn⊂Gとなります。
これは、Snがただ1つの開集合Gで覆われたことになるので
閉区間列Snの「有限個の開集合で覆いきれない」ということに反します。
以上のようなことを「もっと証明らしく」書いてやればよいかと思います。
ご回答有難うございます。遅くなりましてすいません。
> 有限個の開集合で覆いきれない閉区間列S1、S2、…、Sn、…を作ります。
> すると、∩Snは単集合となります。
これはどうやって単集合に成る事を示せばいいのでしょうか?
∩Snがφ集合となる場合と、∩Snが2個以上元を持つ場合とをそれぞれ仮定してみましたがそれから先に進めません。
No.2
- 回答日時:
どうしても任意の開被覆から有限被覆を選べることを証明したいという
ことであれば、ちょっと趣旨の違う回答になってしまうかもしれません
が、コンパクト性を証明するのは区間縮小法(実数の連続性)を使って
証明することができます。つまり、[-1,1]に任意に無限点列を与えた
場合、この中から[-1,1]の点に収束する部分列が選べることを示しま
す。これは点列コンパクトの意味でのコンパクト性です。しかし、距離
空間においては、「点列コンパクト」であるということと「任意の開被
覆から有限被覆が選べる」ということは同値である、という定理があり
ます。位相幾何(たとえば、トポロジー入門(松本幸夫))の本に証明
がありますが、ここで書くと非常に長くなりますし、私も正確に理解し
ているわけではないので、要約を説明する自信もなく、とりあえずご紹
介まで。ネットでは、「ハイネ・ボレルの定理」で検索すると良いかと
思います。失礼しました…
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 ハイネボレルの被覆定理、内田伏一著 「集合と位相」定理22.1 1 2022/07/07 10:49
- 数学 局所コンパクト空間になることの必要十分条件についての質問 3 2022/03/24 16:17
- 数学 .(X,O)をコンパクト空間とする.Xの開被覆C={Ui;i∈N}について,任意のi∈Nに対して,U 2 2023/01/17 18:54
- 数学 {Ai ; i ∈ N} を位相空間 X のコンパクト集合族としたとき, ∪∞i=1 Ai はコンパ 2 2023/01/17 18:57
- 数学 位相空間 X において, 点列 {xn} が x∞ に収束しているとき, 集合 {xn; n ∈ N 1 2023/01/17 18:53
- 数学 開集合・閉集合について 4 2022/11/04 13:53
- 数学 高校物理 相対速度の式について 5 2022/05/11 00:14
- 数学 位相 2 2023/05/02 18:22
- Excel(エクセル) 至急です><Excelの関数を教えてください。 2 2022/03/22 17:56
- 政治 被選挙権は無理でも、選挙権、つまり投票権位は、AI 一台に付き、一票、与えるべきですよね? 64 2023/05/14 14:12
このQ&Aを見た人はこんなQ&Aも見ています
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
局所凸位相線形空間の微分について
-
何が箱位相と直積位相でのR^ωの...
-
位相でないものの例
-
コンパクトについての証明
-
「位相空間 (X、T)の二つ...
-
Vをn次元実ベクトル空間、ΓをV...
-
高2の数学の対数関数です。 真...
-
lim[n→∞](1-1/n)^n=1/e について
-
極限について
-
【数学】 lim x→a ↑これってど...
-
三角関数 -3分のπって3分の5...
-
「無限の一つ前の数字は何?」...
-
三角関数の範囲について、 0≦x≦...
-
(x2乗+9)って因数分解出来ます...
-
dx/dy や∂x/∂y の読み方について
-
2進数のバイアス表現について
-
離れた列での最大値の求め方
-
座標空間上3点を頂点とする三角...
-
力学
-
この極限を求める問題で対数を...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
開集合
-
2つの位相が一致することの証明
-
離散位相、密着位相はなぜそう...
-
[a,b)と(a,b]の形の...
-
広義一様収束の定義がいまいち...
-
位相ずれのないフィルター
-
位相交差角周波数 と ゲイン...
-
逆フーリエ変換における位相の...
-
閉区間[-1,1]がコンパクトであ...
-
一点x=aと[a,a]は区間なの
-
ハイネボレルの被覆定理、内田...
-
アデールとイデールの位相
-
第2可算公理が成立すると第1可...
-
平均値の定理の極限のやつで x→...
-
同値なノルムについて教えてく...
-
有界閉区間であることの証明
-
第2可算公理
-
フーリエ変換について質問です ...
-
位相の定義の、位相の元からな...
-
Zp が Qpの開集合であること...
おすすめ情報