19/09/04 23:50:38.72 5W6wekr5.net
>>640
>ZFC公理系において、自然数全体の集合は無限集合の中で最小のものである。（可算集合）
自然数には、超限順序数 ωは含めない
なぜか？
・1つは歴史です。歴史的に無限大（∞やω）は、数として扱われていなかったｗ
・代数を考えると、∞やωは、演算上で異端です*)
（オッカムの剃刀以上に、異端の存在です*) ）
・でも、解析（あるいは関数）を考えるときは、∞を含めた方が分り易い場合が多い
注：*)
・整数環Z、有理数体Q、には、∞は邪魔
・群としても、
”整数、有理数、実数、複素数は全て加法に関してアーベル群を成す。有理数、実数、複素数から 0 を除いたものは乗法に関してアーベル群を成す．”
なので、∞は邪魔
（解析では便利な存在です）
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
順序数
(抜粋)
有限順序数（自然数）が通常の順序で並んでいる
すべての自然数が並び終えると、次に来るのが最小の超限順序数 ω である
URLﾘﾝｸ(ja.wikipedia.org)
オッカムの剃刀
(抜粋)
オッカムの剃刀とは、「ある事柄を説明するためには、必要以上に多くを仮定するべきでない」とする指針。もともとスコラ哲学にあり、14世紀の哲学者・神学者のオッカムが多用したことで有名になった。20世紀にはその妥当性を巡って科学界で議論が生じた
「剃刀」という言葉は、説明に不要な存在を切り落とすことを比喩しており、そのためオッカムの剃刀は思考節約の原理[2]や思考節約の法則、思考経済の法則とも呼ばれる
3.3 何が説明に必要であるかは自明ではない
URLﾘﾝｸ(ja.wikipedia.org)
拡張実数 通常の実数に正の無限大 +∞ と負の無限大 ?∞ の二つを加えた体系を言う
(抜粋)
実数全体 R におけ