位相空間論
Oは、U(x)={[x,x+ε)⊂R | ε>0}をx∈Rの基本近傍系とする位相とする。この時、
V_1,V_2⊂RをOに関する閉集合でV_1∩V_2=(空集合)とする。V_1∩V_2=(空集合)はV_1⊂R-V_2と同値である。R-V_2∈Oなので任意のt∈V_1に対してあるε_1>0があって、[t,ε_t)⊂R-V_2となる。この時、任意のt∈V_1とs∈V_2に対して、[t,ε_t)∩[s,δ_s)=(空集合)を詳しく証明して頂きたいです。
No.1ベストアンサー
- 回答日時:
Oは、U(x)={[x,x+ε)⊂R | ε>0}をx∈Rの基本近傍系とする位相とする
この時、
V_1,V_2⊂RをOに関する閉集合でV_1∩V_2=φとする
t∈V_1に対して
あるε_t>0があって
[t,t+ε_t)⊂R-V_2∈O
となる
s∈V_2に対して
あるδ_s>0があって
[s,s+δ_s)⊂R-V_1∈O
となる
[t,t+ε_t)∩[s,s+δ_s)≠φ
と仮定すると
x∈[t,t+ε_t)∩[s,s+δ_s)
となるxがある
t≦sと仮定すると
t≦s≦x<t+ε_tだから
t≦s<t+ε_tだから
s∈[t,t+ε_t)⊂R-V_2だから
s∈R-V_2となってs∈V_2に矛盾するから
s<t
s<t≦x<s+δ_sだから
s<t<s+δ_sだから
t∈[s,s+δ_s)⊂R-V_1だから
t∈R-V_1となってt∈V_1に矛盾するから
∴
[t,t+ε_t)∩[s,s+δ_s)=φ
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 局所コンパクト空間になることの必要十分条件についての質問 3 2022/03/24 16:17
- 数学 位相空間 X において, 点列 {xn} が x∞ に収束しているとき, 集合 {xn; n ∈ N 1 2023/01/17 18:53
- 数学 位相 2 2023/05/02 18:22
- 数学 {Ai ; i ∈ N} を位相空間 X のコンパクト集合族としたとき, ∪∞i=1 Ai はコンパ 2 2023/01/17 18:57
- 物理学 テキトーな世界でも相対性理論は成立しますか。 3 2023/02/21 19:57
- 数学 代数学 環 1 2022/10/11 00:04
- 統計学 統計学の問題です よろしくお願いします 回帰直線 次のデータから集計表を作成し,以下の問いに答えよ。 2 2023/01/31 23:36
- 統計学 統計学の問題です よろしくお願いします 回帰直線 次のデータから集計表を作成し,以下の問いに答えよ。 1 2023/01/31 18:55
- 数学 近傍系と基本近傍系 9 2022/07/09 12:29
- 化学 結晶場理論で真空状態から例えば8面体配位でt2gが安定化するのはなぜでしょうか? 1 2023/04/30 19:09
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
第2可算公理が成立すると第1可...
-
何が箱位相と直積位相でのR^ωの...
-
位相幾何学の問題です。
-
ジョルダンの閉曲線定理は3次...
-
有界閉区間であることの証明
-
位相接続について
-
|2^N|=ℵ1の証明
-
フーリエ変換について質問です ...
-
コンパクトについての証明
-
ハイネボレルの被覆定理、内田...
-
閉区間[-1,1]がコンパクトであ...
-
[a,b)と(a,b]の形の...
-
位相交差角周波数 と ゲイン...
-
制御工学(古典制御)に関する...
-
開集合・閉集合
-
分布関数の証明 (確率)
-
離散位相、密着位相はなぜそう...
-
開集合
-
デルタ関数のフーリエ変換について
-
広義一様収束の定義がいまいち...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
位相ずれのないフィルター
-
同値なノルムについて教えてく...
-
位相交差角周波数 と ゲイン...
-
位相でないものの例
-
2つの位相が一致することの証明
-
開集合
-
[a,b)と(a,b]の形の...
-
広義一様収束の定義がいまいち...
-
ラプラス変換について
-
一点x=aと[a,a]は区間なの
-
制御工学(古典制御)に関する...
-
閉区間[-1,1]がコンパクトであ...
-
離散位相、密着位相はなぜそう...
-
逆フーリエ変換における位相の...
-
第2可算公理
-
平均値の定理の極限のやつで x→...
-
位相差の求め方
-
コンパクトについての証明
-
第2可算公理が成立すると第1可...
-
生成する開基の証明問題で示す...
おすすめ情報