こんにちは。
『(ハイネ-ボレルの定理)コンパクト位相空間Xの任意の閉集合Aはコンパクトである』
というのを本で見かけました。
『実数空間Rの閉区間[a,b]はコンパクトである(ハイネ-ボレルの定理)』というのも見かけましたので「なるほど、Rはコンパクト位相空間だから[a,b]はコンパクトになるんだなあ。」
と思っていましたら
その後に
『[例] 実数空間Rにおいて、R及び、開区間(a,b)はコンパクトでない事を証明せよ』
とも書いてありました。
Rは位相空間ですがコンパクトでなくても閉区間[a,b]はコンパクトになるのですか?
何かおかしくないですか?
ハイネ-ボレルの定理に詳しい方ご解説をお願い致します。
No.1ベストアンサー
- 回答日時:
別に矛盾はありません。
「ハイネ-ボレルの定理」という同じ名前で呼ばれる定理が2つあるだけです。
一つは「コンパクト位相空間Xの任意の閉集合Aはコンパクトである」
一つは「実数空間Rの任意の閉区間[a,b]はコンパクトである」
後者はもう少し一般的に「実数空間の任意の有界閉集合はコンパクトである」という形で言われることもあります。
ご回答有難うございます。
> 別に矛盾はありません。
> 「ハイネ-ボレルの定理」という同じ名前で呼ばれる定理が2つあるだけです。
> 一つは「コンパクト位相空間Xの任意の閉集合Aはコンパクトである」
> 一つは「実数空間Rの任意の閉区間[a,b]はコンパクトである」
それぞれ異なる定理だったのですね。
明確に使い分けたい場合にはそれぞれ
「コンパクト位相空間でのハイネ-ボレルの定理」
と
「実数空間でのハイネ-ボレルの定理」
と呼び分ければいいのでしょうか?
> 後者はもう少し一般的に「実数空間の任意の有界閉集合はコンパクトである」
> という形で言われることもあります。
これは
「距離空間の任意の有界閉集合はコンパクトである」
まで拡張可能なのでしょうか?
何処まで拡張可能?
No.3
- 回答日時:
> 「距離空間の任意の有界閉集合はコンパクトである」
これは無理です。無限次元ヒルベルト空間が反例になります。
局所コンパクト距離空間なら良かったかな。細かいところは覚えていないので位相空間に関する書籍にあたってください。
ご回答有難うございます。
そうですか。距離空間では無理なんですね。
、、、という事はとりあえずは
R^nやC^n空間までなら拡張可能なのですね。
No.2
- 回答日時:
同じことですが、もう少し一般化して、
「コンパクト集合の任意の閉部分集合はコンパクトである」
としておきましょう。Rはコンパクト位相空間ではないため、この定理が使えないので、区間[a,b]がコンパクトであることを別の手段で証明する必要があります。
その上で、[a,b]がコンパクトであることは、有界であること(非有界なR全体ではダメ)、さらに閉集合であること(開集合(a,b)ではダメ)が大切だ、ということを例をもって納得してもらいたかった、ということでしょう。
ご回答有難うございます。
> 同じことですが、
同じ定理なのですか?
#1の方はそれぞれ異なる定理(たまたま呼び名が同じだっただけ)だと仰ってますが。。
> もう少し一般化して、
> 「コンパクト集合の任意の閉部分集合はコンパクトである」
> としておきましょう。
『(ハイネ-ボレルの定理)コンパクト位相空間Xの任意の閉集合Aはコンパクトである』を一般化版ですね。
> Rはコンパクト位相空間ではないため、
> この定理が使えないので、区間[a,b]がコンパクトであることを別の手段で証明する必要があります。
> その上で、[a,b]がコンパクトであることは、
> 有界であること(非有界なR全体ではダメ)、
> さらに閉集合であること(開集合(a,b)ではダメ)が大切だ、
> ということを例をもって納得してもらいたかった、ということでしょう。
「実数空間の任意の有界閉集合はコンパクトである」
は
「距離空間の任意の有界閉集合はコンパクトである」
まで拡張可能なのでしょうか?
何処まで拡張可能?
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 局所コンパクト空間になることの必要十分条件についての質問 3 2022/03/24 16:17
- 数学 {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
- 数学 ハイネボレルの被覆定理、内田伏一著 「集合と位相」定理22.1 1 2022/07/07 10:49
- 数学 .(X,O)をコンパクト空間とする.Xの開被覆C={Ui;i∈N}について,任意のi∈Nに対して,U 2 2023/01/17 18:54
- 郵便・宅配 ヤマト運輸ってなぜ高いしサービス悪いのでしょうか? 日本郵便より全て劣ってるし 日本郵便と比べるとほ 4 2022/05/01 20:19
- メルカリ らくらくメルカリ便宅急便コンパクトと宅急便コンパクトの違い 2 2022/05/14 20:12
- 郵便・宅配 ヤマト運輸なんて使う価値なんてなんかあるの? 無駄に高いだけで 例えば 日本郵便と比較 ゆうパケット 3 2023/03/07 15:57
- 数学 位相 2 2023/05/02 18:22
- その他(ニュース・社会制度・災害) 増える空き家や高経年マンション 国交省が対策を検討開始・・・だって! 2 2022/10/25 16:37
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
過去に 「ii) f(z)=1/(z^2-1) r...
-
【遊びのピタゴラスイッチはな...
-
大学の記述入試で外積は使えま...
-
ディリクレ指標について( mod=5...
-
十分性の確認について
-
nを整数とする。このとき、n^2...
-
直角三角形じゃないのに三平方...
-
AとBはn次正方行列とする。 積A...
-
格子点の個数について
-
平均値の性質、ガウスの平均値...
-
ガウスの定理で連立合同式を解...
-
lim[x→+∞](x^n/e^x)=0 の証明
-
ラプラス変換の最終値の定理に...
-
数A nは自然数とする。n , n+2 ...
-
大学数学 解答
-
ケーリー・ハミルトンの定理の...
-
マクローリンの定理でのθが含ま...
-
受験
-
△ABCの∠Aの2等分線と辺BCとの交...
-
ほうべき(方巾)の定理について
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
11・13y≡5(mod9)がy≡4(mod9)にな...
-
整列集合の比較定理
-
【遊びのピタゴラスイッチはな...
-
大学の記述入試で外積は使えま...
-
直角三角形じゃないのに三平方...
-
定理と法則の違い
-
lim[x→+∞](x^n/e^x)=0 の証明
-
パップスギュルダンの定理について
-
ほうべき(方巾)の定理について
-
至急です! 数学で証明について...
-
完全数はどうして「完全」と名...
-
ピタゴラスと音楽
-
重心点の位置
-
位相空間の基本群についての問題
-
至上最難問の数学がとけた
-
そもそも、ピタゴラスの定理っ...
-
三角形の3辺の長さの性質の証明
-
数A nは自然数とする。n , n+2 ...
-
線形代数、最小多項式、固有多...
-
aは自然数とする。a+5は4の倍...
おすすめ情報