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

分かり易い記事です。

メッセージ

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

 全体として非常に分かり易く,記事の完成度も高いと思います。

 幾つか気になった点を列挙しておきます。

(1) 自然数の集合を {1, 2, 3, ..., ∞},整数の集合を {-∞, ..., -1, 0, 1, ..., ∞} と記載するのは あたかも∞がある数を表しているかのような誤解を与えるおそれがあると思います。

(2) 可算集合の部分集合として,例えば自然数の集合の部分集合として {1} を考えると これは,可算集合にはなりませんので,「部分集合のうち無限集合を」などのような 表記をした方が宜しいかと思います。

(3) アレフ_1 の定義 (確かアレフ_0 の濃度を持つ [可付番無限集合の] 全ての 部分集合を元として持つ集合 [冪集合] の濃度でしたよね) も示されると より分かりやすいかと思います。

 これらは趣味の問題ですから,このままで良いのだと思われたら このままで問題はないと思います。

返答

  • K.Iさん初めまして。丹下といいます。可算集合というと有限集合も含めますよ。文字通り有限集合も数えることはできますから。Johさんの記事もこの辺を混同しているように見えます。 -- 丹下 2007-05-07 (月) 21:02:36
  • すいません。言い忘れましたが可算で無限集合を表すなら可算無限集合といいます。当たり前ですが可算有限集合はただの有限集合なので可算は普通つけません。 -- 丹下 2007-05-07 (月) 21:05:19
  • 可算集合 (可付番集合) の濃度の事を アレフ_0 と表すのではありませんでしたか? > 丹下さま -- K.I. 2007-05-07 (月) 21:06:00
  • 早い返答どうもありがとうございます。アレフは僕もよく知りませんがアレフは基本的に無限集合を分類するために使われているものだと思います。つまり無限集合の中で一番小さいものをアレフゼロといい、次をアレフワンと言ったりするものだと思います。したがって有限集合も含む可算集合がアレフゼロというのは間違いではないかと思います。 -- 丹下 2007-05-07 (月) 21:39:12
  •  こちらでも調べた所,可付番無限集合の濃度を アレフ_0 で表すようです。私は可付番集合と可付番無限集合とは同じ物だと誤解しておりました。有り難うございました。 -- K.I. 2007-05-07 (月) 21:44:02
  • 可算無限集合という言い方は間違いがないですね :) 該当箇所の用語を訂正します。 -- Joh 2007-05-07 (月) 23:25:35

 
トップ   編集 凍結 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新の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.013 sec.