物理のかぎしっぽ 査読/冪集合(Joh著)/1

読みました。

メッセージ

 Joh さん,執筆お疲れさまです。

 カントールの定理の証明で, A ∈ 2^S と記述されていますが, A ⊂ 2^S の誤植かと思ってしまいました。しかし,これは 2^S は集合を元とする集合だから, A ∈ 2^S でいいんですね。ここのところで引っかかる読者が多そうだと予想されますね……

 冪集合の代数で,式 (1) 及び (2) は, A △ B ∈ T と A ∩ B ∈ T の記載ミスだと思われます。

 あと,これは単なる揚げ足取りですが,カントールの定理はもとの集合が空集合でないという前提を一言記載してある方が親切かもしれません。

返答

  • 誤植は直しておきますね。最後のご指摘は、さすがです。補足しておきます。集合の系が出てくると、subset と in の区別が本当に出来ているのかが厳しくなってきますね。少しコメントを足すことも考えます。 -- Joh 2007-05-10 (木) 01:13:28

 
トップ   編集 凍結 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS
Modified by 物理のかぎプロジェクト PukiWiki 1.4.6 Copyright © 2001-2005 PukiWiki Developers Team. License is GPL.
Based on "PukiWiki" 1.3 by yu-ji Powered by PHP 5.3.29 HTML convert time to 0.011 sec.