下記の問題で質問です。
(1) Let p:X→Y be a continuous map. Show that if there is a continuous map f:X→Y such that pf equals the identity map of Y,then p is a quotient map.
(2) If A⊂X,a retraction of X onto A is a continuous map r:X→A such that r(a)=a for each a∈A. Show that a retraction is a quotient map.
(1) p:X→Yを連続写像とせよ。もし合成写像pfがYの恒等写像になるような連続写像f:Y→Xが存在するならpは商写像である事を示せ。
(2) もしA⊂XならXからAへの上へのretraction(引き込み,左逆写像)は∀a∈Aに対してr(a)=aとなる連続写像r:X→Aならrは商写像となる事を示せ。
(1)については
f=p^-1の関係になっていてpもp^-1も連続で全単射と言ってあるのだから
∀p^-1(s)∈T(TはXの位相)⇔s∈S(SはYの位相)が言えるから
pは商写像。
で正解でしょうか?
(2)については
引き込みの定義はf:X→YでB⊂YでBがf(X)の部分集合でない時の逆像f^-1(B)をfによるBの引き戻しとか言ったりするのだと思います。
rはontoと言っているので全射と分かる。
Aの位相として相対位相T_a:={A∩t∈2^X;t∈T} (但しTはXの位相)が取れる。
そこでr^-1(s)∈T⇔s∈T_aを示す。
s∈T_a⇒r^-1(s)∈Tはrが連続である事から直ちに言える。
r^-1(s)∈T⇒s∈T_aである事は
r^-1(s)∈T…(2)を採るとs=r(r^-1(s))(∵rは全射)=r^-1(s) (もしr^-1(s)⊂Aなら) …(3) (∵rの定義)
∈T_a (∵(2),(3)と相対位相の定義)
しかしr^-1(s)がAに含まれていない場合はこのsは何ともいえません。
どうすればこの場合もs∈T_aが導けますでしょうか?
下記の問題で質問です。
(1) Let p:X→Y be a continuous map. Show that if there is a continuous map f:X→Y such that pf equals the identity map of Y,then p is a quotient map.
(2) If A⊂X,a retraction of X onto A is a continuous map r:X→A such that r(a)=a for each a∈A. Show that a retraction is a quotient map.
(1) p:X→Yを連続写像とせよ。もし合成写像pfがYの恒等写像になるような連続写像f:Y→Xが存在するならpは商写像である事を示せ。
(2) もしA⊂XならXからAへの上へのretraction(引き込み,左逆写像)は∀a∈Aに対してr(a)=aとなる連続写像r:X→Aならrは商写像となる事を示せ。
(1)については
f=p^-1の関係になっていてpもp^-1も連続で全単射と言ってあるのだから
∀p^-1(s)∈T(TはXの位相)⇔s∈S(SはYの位相)が言えるから
pは商写像。
で正解でしょうか?
(2)については
引き込みの定義はf:X→YでB⊂YでBがf(X)の部分集合でない時の逆像f^-1(B)をfによるBの引き戻しとか言ったりするのだと思います。
rはontoと言っているので全射と分かる。
Aの位相として相対位相T_a:={A∩t∈2^X;t∈T} (但しTはXの位相)が取れる。
そこでr^-1(s)∈T⇔s∈T_aを示す。
s∈T_a⇒r^-1(s)∈Tはrが連続である事から直ちに言える。
r^-1(s)∈T⇒s∈T_aである事は
r^-1(s)∈T…(2)を採るとs=r(r^-1(s))(∵rは全射)=r^-1(s) (もしr^-1(s)⊂Aなら) …(3) (∵rの定義)
∈T_a (∵(2),(3)と相対位相の定義)
しかしr^-1(s)がAに含まれていない場合はこのsは何ともいえません。
どうすればこの場合もs∈T_aが導けますでしょうか?
下記の問題で質問です。
(1) Let p:X→Y be a continuous map. Show that if there is a continuous map f:X→Y such that pf equals the identity map of Y,then p is a quotient map.
(2) If A⊂X,a retraction of X onto A is a continuous map r:X→A such that r(a)=a for each a∈A. Show that a retraction is a quotient map.
(1) p:X→Yを連続写像とせよ。もし合成写像pfがYの恒等写像になるような連続写像f:Y→Xが存在するならpは商写像である事を示せ。
(2) もしA⊂XならXからAへの上へのretraction(引き込み,左逆写像)は∀a∈Aに対してr(a)=aとなる連続写像r:X→Aならrは商写像となる事を示せ。
(1)については
f=p^-1の関係になっていてpもp^-1も連続で全単射と言ってあるのだから
∀p^-1(s)∈T(TはXの位相)⇔s∈S(SはYの位相)が言えるから
pは商写像。
で正解でしょうか?
(2)については
引き込みの定義はf:X→YでB⊂YでBがf(X)の部分集合でない時の逆像f^-1(B)をfによるBの引き戻しとか言ったりするのだと思います。
rはontoと言っているので全射と分かる。
Aの位相として相対位相T_a:={A∩t∈2^X;t∈T} (但しTはXの位相)が取れる。
そこでr^-1(s)∈T⇔s∈T_aを示す。
s∈T_a⇒r^-1(s)∈Tはrが連続である事から直ちに言える。
r^-1(s)∈T⇒s∈T_aである事は
r^-1(s)∈T…(2)を採るとs=r(r^-1(s))(∵rは全射)=r^-1(s) (もしr^-1(s)⊂Aなら) …(3) (∵rの定義)
∈T_a (∵(2),(3)と相対位相の定義)
しかしr^-1(s)がAに含まれていない場合はこのsは何ともいえません。
どうすればこの場合もs∈T_aが導けますでしょうか?
下記の問題で質問です。
(1) Let p:X→Y be a continuous map. Show that if there is a continuous map f:X→Y such that pf equals the identity map of Y,then p is a quotient map.
(2) If A⊂X,a retraction of X onto A is a continuous map r:X→A such that r(a)=a for each a∈A. Show that a retraction is a quotient map.
(1) p:X→Yを連続写像とせよ。もし合成写像pfがYの恒等写像になるような連続写像f:Y→Xが存在するならpは商写像である事を示せ。
(2) もしA⊂XならXからAへの上へのretraction(引き込み,左逆写像)は∀a∈Aに対してr(a)=aとなる連続写像r:X→Aならrは商写像となる事を示せ。
(1)については
f=p^-1の関係になっていてpもp^-1も連続で全単射と言ってあるのだから
∀p^-1(s)∈T(TはXの位相)⇔s∈S(SはYの位相)が言えるから
pは商写像。
で正解でしょうか?
(2)については
引き込みの定義はf:X→YでB⊂YでBがf(X)の部分集合でない時の逆像f^-1(B)をfによるBの引き戻しとか言ったりするのだと思います。
rはontoと言っているので全射と分かる。
Aの位相として相対位相T_a:={A∩t∈2^X;t∈T} (但しTはXの位相)が取れる。
そこでr^-1(s)∈T⇔s∈T_aを示す。
s∈T_a⇒r^-1(s)∈Tはrが連続である事から直ちに言える。
r^-1(s)∈T⇒s∈T_aである事は
r^-1(s)∈T…(2)を採るとs=r(r^-1(s))(∵rは全射)=r^-1(s) (もしr^-1(s)⊂Aなら) …(3) (∵rの定義)
∈T_a (∵(2),(3)と相対位相の定義)
しかしr^-1(s)がAに含まれていない場合はこのsは何ともいえません。
どうすればこの場合もs∈T_aが導けますでしょうか?
下記の問題で質問です。
(1) Let p:X→Y be a continuous map. Show that if there is a continuous map f:X→Y such that pf equals the identity map of Y,then p is a quotient map.
(2) If A⊂X,a retraction of X onto A is a continuous map r:X→A such that r(a)=a for each a∈A. Show that a retraction is a quotient map.
(1) p:X→Yを連続写像とせよ。もし合成写像pfがYの恒等写像になるような連続写像f:Y→Xが存在するならpは商写像である事を示せ。
(2) もしA⊂XならXからAへの上へのretraction(引き込み,左逆写像)は∀a∈Aに対してr(a)=aとなる連続写像r:X→Aならrは商写像となる事を示せ。
(1)については
f=p^-1の関係になっていてpもp^-1も連続で全単射と言ってあるのだから
∀p^-1(s)∈T(TはXの位相)⇔s∈S(SはYの位相)が言えるから
pは商写像。
で正解でしょうか?
(2)については
引き込みの定義はf:X→YでB⊂YでBがf(X)の部分集合でない時の逆像f^-1(B)をfによるBの引き戻しとか言ったりするのだと思います。
rはontoと言っているので全射と分かる。
Aの位相として相対位相T_a:={A∩t∈2^X;t∈T} (但しTはXの位相)が取れる。
そこでr^-1(s)∈T⇔s∈T_aを示す。
s∈T_a⇒r^-1(s)∈Tはrが連続である事から直ちに言える。
r^-1(s)∈T⇒s∈T_aである事は
r^-1(s)∈T…(2)を採るとs=r(r^-1(s))(∵rは全射)=r^-1(s) (もしr^-1(s)⊂Aなら) …(3) (∵rの定義)
∈T_a (∵(2),(3)と相対位相の定義)
しかしr^-1(s)がAに含まれていない場合はこのsは何ともいえません。
どうすればこの場合もs∈T_aが導けますでしょうか?