こんにちは。
Show that if Y is a subspace of X, and A is a subset of Y, then the topology A inherits as a subspace of Y is the same as the topology it inherits as a subspace of X.
「もし,YがXの部分空間でAはYの部分集合なら位相Aは部分空間Yがそれが継承する位相と同じように継承する」
という問題なのですか
位相(X,T)において位相空間(Y,{Y∩U∈2^X;U∈T})があってA⊂Y、、、、それから、、、
"継承する"っていういう意味でしょうか。何を示せばいいのでしょうか?
投稿日時 - 2008-09-08 07:46:29
1人が「このQ&Aが役に立った」と投票しています
回答（3件中 1～3件目)
A⊂Y⊂X
Xの位相をT_x
Yの位相をT_y
AのXに対する相対位相をT_ax
AのYに対する相対位相をT_ay
G∈T_ay とすると
→G=A∩U, U∈T_y となる U がある
→U=Y∩V, V∈T_x となる V がある
A∩Y=A だから
→G=A∩Y∩V=A∩V , V∈T_x
→G∈T_ax
→T_ay⊂T_ax
G∈T_ax とすると
→G=A∩V , V∈T_x となる V がある
A=A∩Y だから
→G=A∩Y∩V , Y∩V∈T_y
→G∈T_ay
→T_ax⊂T_ay
→T_ax=T_ay
投稿日時 - 2010-03-30 03:35:27
>よって
>∀G∈T_ay,G=A∩U (但しU∈T_yx) =A∩(Y∩U) (但しU∈T_x) (∵def of T_yx)
>=A∩U (∵A⊂Y) ∈T_ax
残念ながら誤っています。
投稿日時 - 2008-09-13 06:50:10
お礼
ありがとうございます。
>>∀G∈T_ay,G=A∩U (但しU∈T_yx) =A∩(Y∩U) (但しU∈T_x) (∵def of T_yx)
>>=A∩U (∵A⊂Y) ∈T_ax
> 残念ながら誤っています。
Xの位相をT_x,Xの部分空間Yの位相(つまり相対位相)をT_yx={Y∩U;U∈T_x}とすると
AがXの部分空間の時の相対位相はT_ax={A∩U;U∈T_x},
AがYの部分空間の時の相対位相はT_ay={A∩U;U∈T_yx}となると思います。
それでT_ax=T_ayとなる事を示せばいいのですね。
よって
∀G∈T_ay,G=A∩U (但しU∈T_yx) =A∩(Y∩U) (但しU∈T_x) (∵def of T_yx)
=A∩U (∵A⊂Y) ∈T_ax
大丈夫だと思いますが…。どこが間違っているのでしょうか?
投稿日時 - 2008-09-14 03:07:55
A を Y の部分位相空間としたものと、X の部分位相空間としたものが同じ位相空間であることを示して下さい。
ここで言う inherit とは部分集合に相対位相を入れるという意味。
投稿日時 - 2008-09-08 07:54:43
お礼
>A を Y の部分位相空間としたものと、X の部分位相空間としたものが同じ位相空間であることを示して下さい。
> ここで言う inherit とは部分集合に相対位相を入れるという意味。
ありがとうございます。
Xの位相をT_x,Xの部分空間Yの位相(つまり相対位相)をT_yx={Y∩U;U∈T_x}とすると
AがXの部分空間の時の相対位相はT_ax={A∩U;U∈T_x},
AがYの部分空間の時の相対位相はT_ay={A∩U;U∈T_y}となると思います。
それでT_ax=T_ayとなる事を示せばいいのですね。
よって
∀G∈T_ay,G=A∩U (但しU∈T_yx) =A∩(Y∩U) (但しU∈T_x) (∵def of T_yx)
=A∩U (∵A⊂Y) ∈T_ax
逆も同様。
従って T_ax=T_ayとなるのですね。
投稿日時 - 2008-09-13 02:29:04
