暇つぶし2chat MATH

- 暇つぶし2ch574:� F '_k ＝ F_k なんて出てこない。だから、お前の幼稚な勘違い。あるいは、次のように言ってもよい。∪_k A_k のことを1文字で A' と書くことにし、 ∪_k F_k のことを1文字で F と書くことにすると、お前が言っているのは次のようなことである。 ――――――――――――――――――――――――――――――――――――――――― A ＝ A', R－A ⊂ F という条件から R ⊂ A'∪F …(★) が成り立つので、 R ⊃ A'∪F にも注意して、R ＝ A'∪F が成り立つ。よって、R－A ＝ F が成り立つ。 ――――――――――――――――――――――――――――――――――――――――― ↑これがお前の言っていることである。明らかに、この主張は間違っている。 R ＝ A'∪F から出発して丁寧に集合計算してみると、R－A＝(A'∪F)－A＝(A'－A)∪(F－A)＝φ∪(F－A)＝F－A すなわち R－A＝F－A が成り立つに過ぎないのである。R－A ＝ F が必ず成り立つというのはお前の勘違いである。「藤田博司PDF」を適用しても、R－A＝F－A が R－A ＝ F に化けることは無い。 [続く]