![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?5a7ff87)
『位相空間(X,T)がHausdorff空間
⇔
X∋∀x,y:相異なる,
∃S1,S2 such that S1∈NS(x,T),S2∈NS(y,T),S1∩S2=φ
NS(x,T):={S∈T;x∈S}:近傍系』
という定義の元に
命題
「Y⊂X:Txを位相とする位相空間
の時、
X:Hausdorff⇒Y:Hausdorff」
を示したいのです。
これは厳密に述べると
「XがHaudorff空間をなすならばYも独自の位相Tyを持ち、位相空間(Y,Ty)は
『Y∋∀x,y:相異なる,
∃S1,S2 such that S1∈NS(x,Ty),S2∈NS(y,Ty),S1∩S2=φ
NS(x,Ty):={S∈Ty;x∈S}』をなす」
という事ですよね。
で、実際に示してみますと
もし、Y=φの時は勿論、Y:Hausdorff
Y≠φの時は
Y∋∀x1,x2:相異なる
∃S1∈NS(x1,Tx),S2∈NS(x2,Tx) such that S1∩S2=φ
S1':=S1/Y,S2':=S2/Yと置くと、S1'∩S2'=φ
、、、とここまでは分かるのですが
更に
S1',S2'∈Ty(:集合Yにおける位相)
でなければHausdorff空間をなしませんよね。
Tyはどのように定義すればいいのでしょうか?
No.1ベストアンサー
- 回答日時:
>S1':=S1/Y,S2':=S2/Yと置くと、S1'∩S2'=φ
S1/Y とか S2/Y って何ですか?
スラッシュの意味です
それと,位相空間Xの部分集合Yに位相をいれる方法は
ご存知ですか?
「相対位相」をご存知ですか?
>Yも独自の位相Tyを持ち、
この「独自の位相」が問題です.
おおもとのXと全く関係ない位相をYにいれたら
XがHausdorffでもYはそうなるとは限りません.
例:R:普通の実数(距離による位相をいれる)
区間I=[0,1]:一番粗い位相(Iそのものと空集合だけの位相)をいれる
IはRの部分集合,RはHausdorff,Iには「独自の位相」があるが
IはHausdorffではない.
No.2
- 回答日時:
Yにどのような位相を入れるかはYが与えられると決まるわけではなく、
自分で決めなければなりません。
この問題の場合はYに相対位相を入れるのが自然です。
そうするとYはハウスドルフになります。
(位相の入れ方によってはなりません)
相対位相とはYの開集合系をTY={S∩Y|S∈TX}
と定めます。TYが開集合系の公理を満たすことは簡単に確かめられます。
そうすると質問文中のS1':=S1∩Y、S2'=S2∩Y
(/は∩の間違いですね?)は定義によりYの開集合になり、Yはハウスドルフになります。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- Visual Basic(VBA) エクセルVBAで教えて頂きたいのですが? 2 2022/12/31 20:28
- C言語・C++・C# C言語で再起関数とポインタを用いて文字列反転をする方法がわかりません。 4 2023/04/29 20:32
- C言語・C++・C# c言語でユーザ関数を利用して入力された文字列を反転させるプログラムを作りたいです。 3 2023/01/29 19:47
- 工学 電気回路の2端子対回路 (1)スイッチS1のみが開いているときの電流I1を求めよ。 (2)スイッチS 4 2023/05/29 16:40
- 英語 節を列挙する例示表現について 2 2022/08/15 13:52
- 工学 回路の勉強をしています。添付の説明で一点理解できないため教えてください。スイッチS1を閉じて定常状態 1 2022/10/24 15:58
- 数学 数学の質問です。 kを正の実数とする。 点Pは△ABCの内部にあり、 kAP+5BP+3CP = 0 2 2023/07/03 21:24
- 統計学 t値の計算方法 1 2022/11/29 18:37
- 統計学 代数学 対称群 同型 2 2022/05/09 20:32
- Visual Basic(VBA) 該当セルに行替えを含むデータを命令文に入れて、2行に表示したい。 5 2023/07/20 11:51
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
基本近傍系
-
Zp が Qpの開集合であること...
-
位相空間論 Xを位相空間とする...
-
ハイネボレルの被覆定理、内田...
-
第2可算公理が成立すると第1可...
-
非可算集合に離散距離位相を入...
-
(-1)^5=(-1)^3=-1 は解析的恒等...
-
位相交差角周波数 と ゲイン...
-
R^1上の任意の閉集合が高々加算...
-
命題「Y⊂X:Txを位相とする位相...
-
第2可算公理
-
フーリエ変換について質問です ...
-
制御工学(古典制御)に関する...
-
時間領域のインパルス応答と周...
-
位相接続について
-
閉区間[-1,1]がコンパクトであ...
-
局所凸位相線形空間の微分について
-
いくつかあるように思える位相...
-
高2の数学の対数関数です。 真...
-
合成関数の連続性の証明につい...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
位相ずれのないフィルター
-
同値なノルムについて教えてく...
-
位相交差角周波数 と ゲイン...
-
位相でないものの例
-
2つの位相が一致することの証明
-
開集合
-
[a,b)と(a,b]の形の...
-
広義一様収束の定義がいまいち...
-
一点x=aと[a,a]は区間なの
-
ラプラス変換について
-
制御工学(古典制御)に関する...
-
位相差の求め方
-
コンパクトについての証明
-
閉区間[-1,1]がコンパクトであ...
-
第2可算公理
-
平均値の定理の極限のやつで x→...
-
離散位相、密着位相はなぜそう...
-
逆フーリエ変換における位相の...
-
第2可算公理が成立すると第1可...
-
生成する開基の証明問題で示す...
おすすめ情報