0307132人目の素数さん
2018/02/14(水) 19:01:39.46ID:aL0v3Mz0まずXiはどのように定義されましたか
それはあるXにおいての
ξ:I->2^X
のことでしたね
てすから
ΠXi={f:I->X|fi∈Xi}
とは
ε⊂X×2^X
を
ε={(x,A)|x∈A⊂X}
と定義したとき
ΠXi={f:I->X|∃g:I->ε(g=(f×ξ)Δ)}
と定義されるのです
I=φ
のときは
まずξやfは空集合の包含写像0しかあり得ず
空集合の包含写像をgとして条件成立しますので
ΠXi={0}
です