No.5ベストアンサー
- 回答日時:
raul-figoさん、こんにちは。
#3のものです。まだ続いているようなので#3の補足(蛇足?)をします。「Heine-Borelの定理の十分性はユークリッド空間の部分集合であることが本質的」な事
ユークリッド空間の部分集合でないとき、有界閉集合であってもコンパクトにならない例を挙げます。
Rを実数全体の集合とし、離散距離から誘導される位相を入れます。このとき、Rの全ての部分集合は有界閉集合ですが、明らかに無限部分集合はコンパクトでは有りません。
この回答へのお礼
お礼日時:2003/08/29 14:08
何度も回答ありがとうございます。確かにこの例はコンパクトになりませんよね。論述の精密性がいかに重要であるのか考えさせられました。
No.4
- 回答日時:
raul-figoさん、こんにちは。
あまり重要なことではないかもしれませんが、#2で私が挙げた例では閉円板(#3の方が書かれているように、円盤ではなくて円板でした)の中に、ただ1点からなるものも含まれていました。「半径0の円板は円板と言えるだろうか?」という気もしますが、次のようにすれば、半径が正の閉円板のみからなる例もつくれます。X-Y平面で四つの点(1,1),(1,-1),(-1,-1),(-1,1)を頂点とする正方形を考えます。この正方形の辺は有界閉集合であり、辺の長さの和は8になります。初項が1で総和が8の等比数列の公比は7/8ですから、Dnを直径が(7/8)^nの閉円板とすると、Dnを中心が辺上にくるように並べていけばこの図形を被覆できます。このうちの有限個では被覆できません。No.3
- 回答日時:
raul-figoさん、今晩は。
#1の方も言われていますように、正確さは数学の命です。で、僭越ながら不正確な部分を突っ込ませてもらいます。まず、Heine-Borelの定理は「ユークリッド空間の部分集合がコンパクトであるためには、有界閉集合である事が必要十分」ですね。必要性は一般の距離空間で成り立ちますが、問題にされている十分性はユークリッド空間の部分集合であることが本質的ですので、この条件を落とすのはまずいです。
それから#2の方もおっしゃるように円と言う言い方も正確性に欠けます。円周?円板?
これは、後者だと言う事はすぐわかりますがそうすると、開円板?閉円板?それともそれ以外?と言う突っ込みが入ります。位相を扱っている以上この辺は明確にすべきでしょう。
コンパクト性の表現はいろいろありますが、背理法を使う場合は閉集合の有限交叉性云々の方が個人的にはすっきりしているような気がします。
No.2
- 回答日時:
raul-figoさん、こんにちは。
背理法の帰結部分はmahler3さんが言われるように「どんな有限個の部分集合を選んでも被覆できない(または無限個でなければ覆われない)」とすべきでしょうね。また前提部分も単に「無数の円」というのは気になります。かりにこの円が閉円盤でも良いとすると、閉区間を[a,b]で表わした時、A0 = [0,0] (座標が0の点)
An = [1/n,1] (n=1,2,…)
とすると
[0,1]=∪Ak (n=0,1,2,…)
という有界閉区間の被覆が得られますが、明かにこのうちの有限個では被覆できません。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 ハイネボレルの被覆定理、内田伏一著 「集合と位相」定理22.1 1 2022/07/07 10:49
- その他(恋愛相談) 私の好きな男性が教える時に、座っている私に対して覆い被さる感じで教えてきます。 とても距離が近くてと 3 2022/08/17 00:19
- 電気工事士 第二種電気工事士の技能試験について 3 2023/05/12 08:27
- 物理学 豪華客船クイーンエリザベス号が転覆しないのはなんでやねん? 9 2023/04/29 08:16
- 日本語 覆す(くつがえす)の「覆」の漢字のイメージ 2 2023/02/25 10:47
- 数学 無理数の数字の組み合わせ。無限の意味について 5 2022/05/28 22:53
- 数学 これって正しいんじゃないの? 「無理数を小数で表現すると、小数点以下に数字が無限に続きますが、それら 5 2022/05/29 23:56
- 電気工事士 電気工事士技能試験について、 ケーブルの被覆を剥く時ですが、剥いた被覆が飛んでいってしまうことがあり 2 2022/10/20 03:30
- その他(行政) 公務員病気休職中副業 4 2022/09/26 19:14
- 政治 自衛隊を真実を語るべきです。 11 2023/04/09 00:42
このQ&Aを見た人はこんなQ&Aも見ています
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
大学の記述入試で外積は使えま...
-
フーリエの積分定理がわかりません
-
lim[x→+∞](x^n/e^x)=0 の証明
-
【遊びのピタゴラスイッチはな...
-
x^100を(x+1)^2で割ったときの...
-
直角三角形以外で三平方の定理...
-
中学2年図形の証明についての質...
-
幾何学の問題です。
-
定理と法則の違い
-
長さがマイナスの答えのとき、...
-
AとBはn次正方行列とする。 積A...
-
直角三角形じゃないのに三平方...
-
原始根をつかって合同式を解く...
-
二つの円での平行の証明
-
留数定理
-
11の22乗を13で割った余り...
-
留数定理とコーシーの積分公式...
-
マクローリンの定理でのθが含ま...
-
定理と公式は、どう違いますか?
-
コーシーの積分定理 複素積分
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
ファルコンの定理は解かれまし...
-
至上最難問の数学がとけた
-
lim[x→+∞](x^n/e^x)=0 の証明
-
AとBはn次正方行列とする。 積A...
-
これは証明になってる
-
中国剰余式定理(一般形)の証明...
-
【遊びのピタゴラスイッチはな...
-
直角三角形じゃないのに三平方...
-
パップスギュルダンの定理について
-
大学の記述入試で外積は使えま...
-
定理と法則の違い
-
【線形代数】基底、dimVの求め方
-
奇数次の代数方程式
-
完全数はどうして「完全」と名...
-
二次合同式の解き方
-
オイラーの多面体定理の拡張
-
11・13y≡5(mod9)がy≡4(mod9)にな...
-
量子化定理とは?
-
A,Bの異なる2つの箱に異なる1...
-
11の22乗を13で割った余り...
おすすめ情報