ご回答誠にありがとうございます。


> 勿論, 任意濃度の添え字集合についての直積空間の直積位相を
> 考えることができます. 何も問題はありません.

そうでしたか。貴重なご情報ありがとうございます。


> そこが問題で,
>  f(s) = { f(x) ; x ∈ s } = { (f_α(x))_{α∈J} ; x ∈ s }
> と
>  Π_{α∈J} f_α(s) = Π_{α∈J} { f_α(x) ; x ∈ s }
> とは違うものです.

そうですね。


>  f(∩_{i=1}^n s_i)
>  = { f(x) ; ∧_{i=1}^n [ f_{β_i}(x) ∈ U_{β_i} ] }
>  = { f(x) ; ∧_{i=1}^n [ proj_{β_i}(f(x)) ∈ U_{β_i} ] }

ここが思いつきませんでした!!!このように変形できますよね。よくよく考え見ると。



> 御理解いただけますでしょうか.

おかげさまで納得できました。m(_ _)m