- 924 名前：１３２人目の素数さん mailto:sage [04/04/18 14:51]
- >>923
> σ(B(X)×B(Y))⊆B(Z) を示せば十分なわけだが、
これは一般に言えますが、こっちは？
B(Z)⊆σ(B(X)×B(Y))
O(X), O(Y), O(Z)をそれぞれX, Y, Zの開集合系とすると、一般には
O(Z)は開集合の筒集合の必ずしも可算とは限らない任意個の和になる
ので、可算和と可算共通分、及び補集合演算(まとめてススリン演算で
良かったのかな？)で、そもそもO(Z)自身が得られるとは限らないような。
