ページ | 査読/冪集合(Joh著) |
---|---|
投稿者 | K.I. |
状態 | |
投稿日 | 2007-05-09 (水) 21:57:48 |
Joh さん,執筆お疲れさまです。
カントールの定理の証明で, A ∈ 2^S と記述されていますが, A ⊂ 2^S の誤植かと思ってしまいました。しかし,これは 2^S は集合を元とする集合だから, A ∈ 2^S でいいんですね。ここのところで引っかかる読者が多そうだと予想されますね……
冪集合の代数で,式 (1) 及び (2) は, A △ B ∈ T と A ∩ B ∈ T の記載ミスだと思われます。
あと,これは単なる揚げ足取りですが,カントールの定理はもとの集合が空集合でないという前提を一言記載してある方が親切かもしれません。