>>297
まず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}
です