[過去ログ]
IUTを読むための用語集資料集スレ (1002レス)
IUTを読むための用語集資料集スレ http://rio2016.5ch.net/test/read.cgi/math/1592654877/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
718: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2020/11/02(月) 07:06:47.73 ID:YSe1lExr >>711 補足 1.自然数のノイマン構成(>>706)で、”無限公理”を適用して、可算無限集合 つまりは自然数の集合N(順序数ω)が構成できたとする 2.0, 1, 2, 3, ............, ω, S(ω), S(S(ω)), S(S(S(ω))), ............, ω + ω, S(ω + ω), S(S(ω + ω)), S(S(S(ω + ω))), .............................. となる 3.ここに、後者関数 S(α) := SN(α) ノイマン構成の後者関数である 4.さて、後者関数を S(α) := SZ(α) シングルトンによる後者関数(Zermelo)に置き換えても、上記2と同じことが言える 5.これを担保するのが、「レーヴェンハイム=スコーレムの定理:一階述語論理で定式化されたペアノの公理は、無数の超準モデルを持つ」(>>706)ってことです なお、これらを下記のスレに転載しておきますよ 現代数学の系譜 カントル 超限集合論他 3 https://rio2016.5ch.net/test/read.cgi/math/1595034113/ 以上 http://rio2016.5ch.net/test/read.cgi/math/1592654877/718
719: 特別支援学校教諭 [sage] 2020/11/02(月) 07:59:12.94 ID:PUodusEe >>711 >「二階述語論理によって定式化することで、ペアノシステムを同型の違いを除いて一意に定めることができる」 >>718 >「レーヴェンハイム=スコーレムの定理:一階述語論理で定式化されたペアノの公理は、無数の超準モデルを持つ」 どっちも、後者関数をどう設定するかとは無関係ですけどね つまり後者関数を決めたところで、どっちもいえます 「後者関数の任意性」とは無関係です で、シングルトンによる後者関数(Zermelo)を選んでも ωはシングルトンにはなりません じゃ、これもあのスレッドに記録しておきますね(にっこり) http://rio2016.5ch.net/test/read.cgi/math/1592654877/719
744: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2020/11/04(水) 15:06:33.11 ID:lTaOluRt (>>718より、さらに補足) 1.0, 1, 2, 3, ............, ω, S(ω), S(S(ω)), S(S(S(ω))), ............ 2.ここに、 S(α) は、後者関数である 3.0, 1, 2, 3, ............の部分は、有限順序数(自然数)が通常の順序で並んでいて、後者関数で表現できるのだ つまり S(n) :=S(n-1) だ。ωのみは、後者関数で表現できない 4.じゃ、ωとは何者よ? 一つの理解は、S(n)のn→∞の極限として理解すること。もう一つは、ωをある種の”コンパクト化”として理解すること いずれも、可能な限り後者関数の性質を受け継ぐものとしてね。それは、コーシ列とか、リーマン球面の北極点に同じだよ このとき、ノイマンの後者関数なら、集合としてのω=N(自然数全体からなる可算無限集合)であり Zermeloによるシングルトンの後者関数なら、シングルトンでの 0, 1, 2, 3, ............, ω, S(ω)の、ωの位置を占めるものになるよね それ即ち、順序数ωを意味するシングルトンなり! 5.こう解釈して何が悪い? 抽象化された現代数学での 有理数以上における 数学的概念の対象って、みんなそんなものでしょ? これ、(有理)コーシー列による超越数の抽象的な定義に、同じだよね (参考) https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0 順序数 順序数の大小関係 順序数の並び方を次のように図示することができる: 0, 1, 2, 3, ............, ω, S(ω), S(S(ω)), S(S(S(ω))), ............, まず、0 が最小の順序数である。その後に S(0) = 1, S(S(0)) = 2, S(S(S(0))) = 3, ... と有限順序数(自然数)が通常の順序で並んでいる。そして、すべての自然数が並び終えると、次に来るのが最小の超限順序数 ω である。ω の後にはまたその後続者たちが S(ω), S(S(ω)), S(S(S(ω))), ... と無限に続いていく (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1592654877/744
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
2.272s*