- ベストアンサー
位相と連続の証明問題で質問です。
識者の皆様よろしくお願い致します。下記の問題について質問です。 Let A be a set;let {X_α}_α∈J be an indexed family of spaces;and let {f_α}_α∈J be an indexed family of functions f_α:A→X_α. (1) Show there is a unique coarsest topology T on A relative to which each of the fuctions f_α is continuous. (2) Let S_β:={f_β^-1(U_β); U_β is open in X_β},and let S=∪S_β. Show that S is a subbasis for T. (3) Show that a map g:Y→A is continuous relative to T if and only if each composite map f_α。g is continuous. (4) Let f:A→ΠX_α be defined by the equation f(a)=(f_α(a))_α∈J ;let Z denote the subapace f(A) of the product space ΠX_α.Show that the image under f of each element of T is an open set of Z. 「Aを集合とし,{X_α}_α∈Jを添数付けられた(位相?)空間の族とし,{f_α}_α∈Jを添数付けられた写像f_α:A→X_αの族とせよ。 (1) 各f_αが連続となる事に関連したA上の最強位相Tが一意的に存在する事を示せ。 (2) S_β:={f_β^-1(U_β);U_βはXでの開集合},そしてS=∪S_β…(*)とする時,SはTの準開基となる事を示せ。 (3) 写像g:Y→AがTに関して連続⇔各合成写像f_α。gは連続。 (4) f:A→ΠX_αをf(a)=(f_α(a))_α∈J; Zは直積空間ΠX_αのf(A)の部分空間を表す。Tの各元のfの像はZの開集合になる事を示せ。」 (1)については各f_αが連続だというのだから∀t_α∈T_α(但しT_αはX_αの位相),f_α^-1(t_α)はAの開集合(…という事はAは何らかの位相を持っている?その位相をTとしておく)。f_α^-1(T_α)⊂Tになっていなければならない(∵連続の定義)。 よってT=∪[α∈J]{f_α^-1(t_α)∈2^A;t_α∈T_α}…(ア)と書け、TはAの最強の位相だというのだからAの任意の位相は全てTより弱い。 よってTは離散位相にならねばならない? それでT=2^Aを示せばいいのかと思いました。T⊂2^Aは明らかなのでT⊃2^Aを示します。 ∀G∈2^Aを採ると、、、ここからどのように書けますでしょうか? (2)については今,S=∪[β∈J]S_β={s∈2^A;∃β∈J such that s∈S_β}…(**)となっていて, ∪[s∈S]s=Tとなる事を示せばよい(∵準開基の定義)。 ∪[s∈S]s⊂Tを示す。 ∀s∈Sを採ると(*)より,∃β∈J;s=f_β^-1(U_β).よってこれは(1)でのTの元になっているのでs∈T. ∪[s∈S]s⊃Tを示す。 ∀t∈Tを採ると∃β∈J;t=f_β^-1(t_β) (但し,t_β∈T_β)(∵(ア)) よってS_βの定義(S_β:={f_β^-1(U_β);U_βはXでの開集合})からf_β^-1(t_β)∈S_β. よって(*)よりf_β^-1(t_β)∈∪[s∈S]s(∵(**)). 以上より T=∪[s∈S]s. で大丈夫でしょうか? (3)については "⇒"は連続写像同士の合成はまた連続なので明らか。 よって逆を示す。 まずf_α。g:Y→X_αは連続だと言うのだから∀t_α∈T_α,(f_α。g)^-1(t_α)∈T_y (但し,T_yはYの位相)…(***)と書ける。 そしてこれは(f_α。g)^-1(t_α)=g^-1(f_α^-1(t_α)) (∵逆写像の定義)と変形でき, f_α^-1(t_α)∈T_α⊂Tだったので纏めると,,(***)から ∀f_α^-1(t_α)∈T,g^-1(f_α^-1(t_α))∈T_yと書け、gは連続。 (4)についてはf(a)=(f_1(a),f_2(a),…)となっていて Z(⊂f(A))の位相はT_z:={f(A)∩t_p∈2^ΠX_α;t_p∈T_p} (但しT_p:={U[u∈U];U⊂ΠT_α}) と書ける(∵相対位相の定義)。 それで示す事は∀t∈T,t∈T_zである。 ∀t∈Tを採ると∃α∈J;t∈T_αそして,f(t)=(f_1(t),f_2(t),…)となり,今f(t)∈f(A)なので f(t)∈T_zである事を示すにはf(t)∈t_pである事を示せばよい。 でこれらも大丈夫でしょうか?
- YYoshikawa
- お礼率82% (179/216)
- 数学・算数
- 回答数3
- ありがとう数6
- みんなの回答 （3）
- 専門家の回答
質問者が選んだベストアンサー
長々としているんで全部はちゃんと読んでないけど…… coarsestはcoarse(粗い)の最上級だからcoarsest topologyは「最も粗い位相」だね。 数学的常識から言えばこれは最弱の位相だけど、なんで最強位相が出てくるのかな。
その他の回答 (2)
- rinkun
- ベストアンサー率44% (706/1571)
> coarse(粗い)=強い 「粗い＝弱い」だよ。 そもそも位相について基礎知識があれば、語彙がなくても(1)の文脈だと最弱位相でなければならないことは分かりそうなものだけど。 最強位相を取れば常に離散位相になってしまうから定義に意味がないでしょ。
お礼
>> coarse(粗い)=強い > 「粗い＝弱い」だよ。 そうでしたか。ありがとうございます。 > そもそも位相について基礎知識があれば、語彙がなくても(1)の文脈だと > 最弱位相でなければならないことは分かりそうなものだけど。 > 最強位相を取れば常に離散位相になってしまうから定義に意味がないでしょ。 そうしますと (1)については 各f_αが連続だというのだから∀t_α∈T_α(但しT_αはX_αの位相),f_α^-1(t_α)はAの開集合(…という事はAは何らかの位相を持っている?その位相をTとしておく)。f_α^-1(T_α)⊂Tになっていなければならない(∵連続の定義)。 よってT=∪[α∈J]{f_α^-1(t_α)∈2^A;t_α∈T_α}…(ア)と採ればよい。 何故なら,もしT'⊂Tとなる真部分集合になっているTより弱く全f_αを連続にさせる位相T'があったとすると ∃α_0∈J;f_α_0^-1(t_α_0)∈T＼T'でこの場合,f_α_0はT'においては不連続になってしまい,矛盾。 よってTが題意を満たす最弱の位相。最小の定義から一意性も保障される。 (終) という具合で宜しいでしょうか? あと,(3),(4)はf_αが連続である事が使えない場合どのようにして示せば宜しいでしょうか?
- arrysthmia
- ベストアンサー率38% (442/1154)
＞ coarse(粗い)=強い ＞ という解釈でいいんですよね。 ↓ http://www.sugakukobo.com/pdf/EA%20Report%2020080127.pdf
お礼
>> coarse(粗い)=強い > 「粗い＝弱い」だよ。 そうでしたか。ありがとうございます。 そうしますと (1)については 各f_αが連続だというのだから∀t_α∈T_α(但しT_αはX_αの位相),f_α^-1(t_α)はAの開集合(…という事はAは何らかの位相を持っている?その位相をTとしておく)。f_α^-1(T_α)⊂Tになっていなければならない(∵連続の定義)。 よってT=∪[α∈J]{f_α^-1(t_α)∈2^A;t_α∈T_α}…(ア)と採ればよい。 何故なら,もしT'⊂Tとなる真部分集合になっているTより弱く全f_αを連続にさせる位相T'があったとすると ∃α_0∈J;f_α_0^-1(t_α_0)∈T＼T'でこの場合,f_α_0はT'においては不連続になってしまい,矛盾。 よってTが題意を満たす最弱の位相。最小の定義から一意性も保障される。 (終) という具合で宜しいでしょうか? あと,(3),(4)はf_αが連続である事が使えない場合どのようにして示せば宜しいでしょうか?
関連するQ&A
- 位相空間上の連続写像について
(T,Ot),(S,Os)を位相空間とします。 A⊂Tに対してAは相対位相Oaによる位相空間、 B⊂Tに対してBは相対位相Obによる位相空間とします。 写像f:A→S、g:B→Sが連続写像であり、任意のa∈A∩Bについてf(a)=g(a)であるとします。 写像h:A∪B→Sを、 h(x)=f(x)(x∈A), h(x)=g(x)(x∈B) と定めるときhが連続写像である事を示していただきたいです。 特に、a∈AかつaはBに属さないとき、写像hはaにおいて連続でしょうか？ 自分の持ってる教科書の連続写像の定義は、 φ:(T,Ot)→(S,Os)が点a∈Tで連続。 ⇔Φ(a)∈Uとなる任意のU∈Osに対して、あるV∈Ot,a∈Vが存在して、φ(V)⊂Uとなる。 と定めています。
- ベストアンサー
- 数学・算数
- 位相空間における連続写像の条件について
(X,T),(Y,U)を位相空間とし、fをXからYへの写像とする。 このとき、Xの部分集合Aに対し、f(cl(A))⊂cl(f(A))ならば、 fが(X,T)から(Y,U)への連続写像であるといえますか？ ※cl(A)はAの閉包を示す。
- ベストアンサー
- 数学・算数
- 位相空間についての質問です。
位相空間(T,Ot)(Tは集合でOtは位相)として、a,b,cはTの元とします。 連続写像φ:[0,1]→T、φ(0)=a、φ(1)=bが存在して、 連続写像ψ:[0,1]→T、ψ(0)=b、ψ(1)=cが存在するとします。 このとき、連続写像g:[0,1]→T、g(0)=a、g(1)=cは存在するのでしょうか？ もし存在するなら証明してほしいです。 自分の持ってる教科書の連続写像の定義は、 f:(T,Ot)→(S,Os)が点a∈Tで連続。 ⇔f(a)∈Uとなる任意のU∈Osに対して、あるV∈Ot,a∈Vが存在して、f(V)Uとなる。 と定めています。 一応、自分で考えたのは、 g:[0,1]→T、g(x)=φ(2x)(0≦x≦1/2)、g(x)=ψ(2x−1)(1/2≦x≦1)なのですが、x=1/2で連続なのかわかりません。g:[0,1/2]→T, g:[1/2,1]→Tは連続だと思います。 g(1/2)∈Uとなる開集合U⊂Tを任意に取ります。 g:[0,1/2]→Tの連続性から1/2∈V1、V1⊂[0,1/2] となる開集合が存在してg(V1)⊂Uで、 g:[1/2,1]→Tの連続性から1/2∈V2、V2⊂[1/2,1] となる開集合が存在してg(V2)⊂Uとなる事はわかります。 V1もV2も[0,1]の相対位相の元なので、V1UV2は、[0,1]の開集合となるのかわからないです。 (V1もV2も[0,1]の位相の元([0,1]の開集合)ならば、V1UV2は、[0,1]の開集合となる事はわかります。)
- ベストアンサー
- 数学・算数
- 位相による写像が連続かどうかの問題です。
位相による写像が連続かどうかの問題です。 (X,Qx),(Y,Qy):位相空間 写像f:X→Yが連続 ⇔任意のU∈Qyに対して,f＾-1(U)∈Qx―(1) R^m：m次元数空間 Q^(m):R^mの開集合全体のなす集合族 X=(R^m,Q^(m)) Y=(R^n,Q^(n)) とすると f:R^m→R^nが(1)の意味で連続 ⇔任意のx∈R^m,任意のε＞0,δ(存在する)＞0,s,t f(N(x,δ))⊂N(f(x),ε) を証明せよ。 わかる方いましたらどうかよろしくお願いいたします<(_ _)>
- ベストアンサー
- 数学・算数
- 位相と連続
何度か、このサイトで位相に関して質問をしている初学者です。 おかげさまをもちまして、理解が進んだと感じています。 さて位相の言葉を使うと、 「位相空間Yの開集合Vのfによる逆写像 f^{-1}(V)=UがXの開集合である場合、f : X→Y は連続」 などというと思いますが、この表現と通常のイメージでいうところの関数の連続/不連続とを対応させて理解を進めたいと思っています。 以下、1次元Euclid空間 X から 1次元Euclid空間 Y への写像 f : X→Yを考えます。 １）x=0でジャンプする関数（x=0で定義されている） ： f(x)=x (x <= 0), f(x)=x+1 (x>0) この場合、たとえば (1/2, 3/2) のf による逆写像は f^{-1}((1/2, 3/2)) = [0, 1/2) となります。これは X の開集合ではないので、f(x)は不連続。 ２）x=0でジャンプする関数（x=0で未定義）： f(x)=x (x < 0), f(x)=x+1 (x>0) 【質問】 ●（１）の考え方、論証はこれで正しいでしょうか。 ●（２）を（１）のと同様の論理で考える場合、 「Yの下位集合 *** の f による逆写像 f^{-1}(***) が Xにおける開集合でないので、f は不連続」 となると思いますが、この場合 *** はどういった集合になり、どういう理屈で逆写像はXの開集合ではない、と結論付けられるのでしょうか。 （x=0で定義されていないので、Xの位相がいわゆる1次元Euclid位相ではない？） 以上、ご教示よろしくお願いします。
- ベストアンサー
- 数学・算数
- 位相数学の証明問題です。
位相数学の証明問題です。 以下の証明を，どなたか分かる方，お願いします。 R^2の３つの部分集合A = { (x,y) | (x,y) ≠(0,0) }，B = { (x,y) | x^2 + y^2 > 1 }，C = { (x,y) | |x| >1 or |y| > 1 } は，いずれも同相（※）であることを示せ。 ※2つの位相空間X,Yが同相であるとは，2つの連続写像 f ：X → Y および g ：Y → X で g o f = 1x ， f o g = 1y となるものが存在することをいう。
- 締切済み
- 数学・算数
- 集合と位相
（問）ｆを集合Xから位相空間（Y,U）への全射とするとき、つぎを証明せよ。 ※Uは位相 （１）T={f^(-1)(V)|V∈U}のときTはX上の位相である （２）Tはｆを（X、T）から（Y,U）への連続写像とするX上の最小の位相である。 （１）の答案 (O1)Uは位相なので、Y、φ∈Uである。ｆは全射なのでX、φ∈Tである。 (O2)Uは位相なので任意のVの和集合はUの元である。ｆは全射なので、Tの任意の元Sの和集合はTの元である。 (O3)Uは位相なので有限個の任意のVの共通集合はUの元である。ｆは全射なので、Tの有限個の任意の元SはTの元である。 （２）はまったくてがつけられません。 どなたか詳しい方教えてください。
- ベストアンサー
- 数学・算数
- 連続関数の定義に関して(位相空間)
「定義 (Ｘ、Ｏ_Ｘ)、(Ｙ、Ｏ_Ｙ)を位相空間とする。写像ｆ：Ｘ→Ｙが連続であるとは、Ｕ \in Ｏ_Ｙ→ｆ~(-1)（Ｕ）\in Ｘ を満たすことである。(ただし、Ａ\in Ｂは、ＡがＢに含まれているという意味とする)」 と”連続”の定義が位相空間論の本には載っていて、この定義がε－δ論法での連続の定義と同じであることが一般に言われていますが、どうして位相空間論における連続の定義では、ｆ^(-1)の存在を特に何の指定もなく認めてしまっていいのか、その辺りがよくわかりません。もしもわかっている方がいらっしゃれば、お教えいただけないでしょうか？
- ベストアンサー
- 数学・算数
- 連続写像r:X→Aならrは商写像となる事を示せ
下記の問題で質問です。 (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が導けますでしょうか?
- ベストアンサー
- 数学・算数
お礼
ありがとうございます。 > 長々としているんで全部はちゃんと読んでないけど…… > coarsestはcoarse(粗い)の最上級だからcoarsest topologyは「最も粗い位相」だね。 > 数学的常識から言えばこれは最弱の位相だけど、なんで最強位相が出てくるのかな。 coarse(粗い)=強い という解釈でいいんですよね。 (3)については "⇒"は連続写像同士の合成はまた連続なので明らか。 これはよく考えるとf_αは連続とは(1)の時だけですよね(多分)。 そうしますとどうやってf_α。g:連続が導けますでしょうか? すいません。(4)の回答は尻切れとんぼになってました。 (4)についてはf(a)=(f_1(a),f_2(a),…)となっていて Z(⊂f(A))の位相はT_z:={f(A)∩t_p∈2^ΠX_α;t_p∈T_p} (但しT_p:={U[u∈U];U⊂ΠT_α}) と書ける(∵相対位相の定義)。 それで示す事は∀t∈T,t∈T_zである。 ∀t∈Tを採ると∃α∈J;t∈T_αそして,f(t)=(f_1(t),f_2(t),…)となり,今f(t)∈f(A)なので f(t)∈T_zである事を示すにはあとf(t)∈t_pである事を示せばよい。 f_1(t)∈T_1,f_2(t)∈T_2,… なので(∵f_1,f_2,…は連続?) よってf(t)∈ΠT_α すなわち,f(t)∈t_p (終) でいいでしょうか? (もしかしてこれもf_1,f_2,…は連続の条件は使えない!?)