
No.1ベストアンサー
- 回答日時:
空間が第二可算公理を満たすとは
「その位相が可算な開基を持つ」
ということを言う。
位相空間 T が第二可算公理を満たすとは、
T の可算個の開集合からなる族
Λ={V(n)}_{n∈N=(全自然数)}
が存在して、
Tの任意の開集合G
に対して
Μ⊂Λ
が存在して
G=∪_{V∈Μ}V
となる
ことをいう。
例)
Rを全実数の集合(実数空間)とする
Qを全有理数の集合とする
a<bに対して
(a,b)={x;a<x<b}
とする
Λ={(a,b);Q∋a<b∈Q}とすると
Λはa,b共に有理数だから濃度は可算となる
Rの任意の開集合Gに対して
M={(a,b)∈Λ;(a,b)⊂G}
H=∪_{(a,b)∈Μ}(a,b)
とする
x∈H
とすると
x∈(a,b)∈M
だから
x∈(a,b)⊂G
x∈G
だから
H⊂G
x∈G
とすると
Gは開だから
ある正数ε>0が存在して
「
x-ε<y<x+εとなる任意のy∈Rに対してy∈Gとなる
」
QはRで稠密cl(Q)=Rだから
x-ε<a<x<b<x+ε
となるような有理数a,b∈Qが存在するから
(a,b)⊂G
(a,b)∈Λ
x∈(a,b)∈M
だから
x∈H
だから
G⊂H
↓これとH⊂Gから
∴
G=H=∪_{(a,b)∈Μ}(a,b)
∴
ΛはRの可算開基となるから
Rは第2可算公理を満たす
No.3
- 回答日時:
位相空間における第2可算公理は、距離空間における可分性(稠密な可算集合が存在する)に相当する概念。
パラコンパクトは、(普通はハウスドルフを仮定するので)、1の分解が可能、と思ってよい。
有理数から構成した実数について連続性がいえるように、第2可算公理に相当する概念が有理数で、1の分解が一種の実数の連続性と思えば気分が楽になるでしょう。
この回答へのお礼
お礼日時:2019/08/08 03:53
回答ありがとうございます。
1の分割はパラコンパクトが理解できないので、
今勉強途中なところです。
ありがとうございます。
勉強してみます
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 公認会計士・税理士 地代家賃と前払費用の決算整理仕訳 1 2023/02/25 08:14
- 英語 breakとvacation 4 2022/08/04 11:56
- 物理学 質点系の運動方程式の導出につきまして 4 2022/07/23 21:09
- 数学 京都大学教授が証明。 「ABC予想・宇宙際タイヒミューラー予想」を、ザックリで説明お願致出来ますか? 1 2022/04/11 20:52
- 宅地建物取引主任者(宅建) 宅建 聴聞について 3 2022/08/14 18:57
- 父親・母親 実家暮らしって駄目なんですか? 27 2023/08/05 11:26
- その他(悩み相談・人生相談) 病気でしょうか? 5 2022/05/22 17:26
- 日本語 <準体助詞>「の」という誤り 25 2022/05/02 13:04
- 宇宙科学・天文学・天気 AIが答えた方程式 1 2023/02/20 00:12
- 国家公務員・地方公務員 公務員試験の数的処理で苦戦しています。 1 2023/01/30 08:56
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
平均値の定理の極限のやつで x→...
-
位相でないものの例
-
[a,b)と(a,b]の形の...
-
2つの位相が一致することの証明
-
位相ずれのないフィルター
-
「余年」の意味について教えて...
-
エクセルで(~以上,~以下)...
-
【数学】 lim x→a ↑これってど...
-
年代と年台・・・どちらが正し...
-
三角関数の範囲について、 0≦x≦...
-
全員と同じグループを経験でき...
-
離れた列での最大値の求め方
-
高2の数学の対数関数です。 真...
-
2025年の共通テストの数ⅠAに、 ...
-
lim[n→∞](1-1/n)^n=1/e について
-
ゲーデルの不完全性定理に現れ...
-
dx/dy や∂x/∂y の読み方について
-
機械力学の問題について
-
数学でcoincidence limitはどう...
-
三角関数 -3分のπって3分の5...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
おすすめ情報