質問: 直積位相定義が2個の直積の場合に合致してるか? 直積位相の定義についての質問です。 [定義ア]位相空間(x_λ,t_λ) (λ∈λ(λは任意の添数集合))と射影fが与えられていて,直積集合p:=πx_λとおく。 この時,x_λ⊃{f_λ^-1(t_λ)∈2^p;t_λ∈t_λ}=:s_λをf_λによって誘導される(x_λ,t_λ)の位相と呼ぶ。 次に和集合b:=∪s_λと置き, この時,このbから生成される位相{u∈2^p;∀x∈u,∃b∈b such that x∈b⊂u} を直積集合pの直積位相と呼ぶ。 が直積位相の定義だと思います。 [定義イ]2個の直積(x_1,t_1)×(x_2,t_2)の場合の直積位相は{∪[g∈g]g ;g⊂t_1×t_2}と載ってました。 [定義ウ]集合xの部分集合族bが以下の条件を満たすときbをxの開基という (1)bはxを被覆する (2)任意のb1,b2∈bおよび任意のx∈b1∩b2に対して、あるb∈bが存在して、x∈b⊂b1∩b2となる。 [定義エ] bを集合xの開基とする時,{u∈2^x;∀x∈u,∃b∈b such that x∈b⊂u}をbによって生成される位相という。 そこで定義アの直積位相定義が2個の直積の場合に定義イと合致してるか調べています。 まずs_1={f_1^-1(t_1);t_1∈t_1},s_2={f_2^-1(t_2);t_2∈t_2}でb:=s_1∪s_2と置く。 そしてこのbによって生成される位相は{u∈2^(x_1×x_2);∀x∈u,∃b∈b such that x∈b⊂u}:=l これが{∪[g∈g]g;g⊂t_1×t_2}:=mに一致してるか吟味してみます。 (i) l⊂mを示す。 ∀u∈lを採ると,∀x∈uに対してx∈b⊂uなるb∈bが存在する。 bの定義よりb={f_1^-1(t_1),f_2^-1(t_2)}という集合になっています。 そこで結局の所,uは常にbを含んでいなければならない訳ですからu=∪[b∈b']b (但しb'⊂b)...(1)となっていますよね。 所でbの元達はというとb:=s_1∪s_2な訳ですから(1)は u={(t_1×x_2)∪(x_1×t_2);x_1⊂x_1,x_2⊂x_2}という形になってますよね。 ここでx_1やx_2は必ずしもt_1やt_2の元とは限らないわけですよね。 なのでこのuは∪[g∈g]g;g⊂t_1×t_2には含まれませんよね。 どうすればlとmが合致しますでしょうか? それとも直積位相は2個の直積集合の場合と3個以上の直積集合の場合とでのそれぞれ直積位相の概念は異なるのでしょうか?
回答: 端的にいってしまえば 「一般の場合を二個にすればいいだけで,概念としては同じ」 でる. >が直積位相の定義だと思います。 違う. ========== この時,x_λ⊃{f_λ^-1(t_λ)∈2^p;t_λ∈t_λ}=:s_λをf_λによって誘導される(x_λ,t_λ)の位相と呼ぶ。 ======= そんなわけないでしょ. 射影の逆像だから,これはpの部分集合. そもそも(x_λ,t_λ)には位相が入ってるし この各成分の位相から直積の位相を定めるのだからおかしい. この一文がなければ正しい.s_λの定義もok それと >[定義イ]2個の直積(x_1,t_1)×(x_2,t_2)の場合の直積位相は{∪[g∈g]g ;g⊂t_1×t_2}と載ってました。 この定義で,∪[g∈g]g とわざわざ和集合をとってる意味は分かる? >u={(t_1×x_2)∪(x_1×t_2);x_1⊂x_1,x_2⊂x_2}という形になってますよね。 ここが違う.射影というものの定義をしっかり考えること. s_λってのは結局,f_λ^{-1} (t_λ) と他の成分の全体の積になってるということ. わかりにくかったら,直積は普通の位相のr^2で考えること p1:r^2->r (x,y)->x p2:r^2->r (x,y)->y p1^{-1}(x) = {x} x r p2^{-1}(y )= r x {y} なんだから,これを足がかりにまずr^2という特殊な場合で 一般の直積位相を位相を理解して, それから抽象的な一般論を考えると ほとんど自明な拡張であることが分かる.