純粋・応用数学・数学隣接分野（含むガロア理論）21

純粋・応用数学・数学隣接分野（含むガロア理論）21 (392ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

113: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/07/26(土) 10:06:12.07 ID:w9PY0JQs

>>111 追加

ZFCが urelement（下記）
を持たない 集合論であることは、しばしば 看過される
日常の集合論は、urelementを常用するので その感覚で ZFCの公理系を見ると イミフになる

上記 渕野(>>111)にも 同様の注意書きがある
P8
"公理的集合論では，考察の対象はすべて集合である，と考える．したがっ
て，以下で「ある x について ...」と言ったときには， 「ある集合 x につい
て ...」という意味である．"

"集合論の公理系の一番最初の公理は，すべての集合はその要素の全体から
一意に決まることを主張する次のものである：
（外延性公理）略．
ZFC の他の公理は，すべて，「集合 x1, x2, . . . が与えられたとき，これらか
ら ... という性質を持つ集合を作ることができる」というタイプの主張（存在公理）となっている．”

これらを あたまに叩き込んでおきましょう！　（＾＾

(参考)
https://ja.wikipedia.org/wiki/%E5%8E%9F%E5%A7%8B%E5%85%83_(%E9%9B%86%E5%90%88%E8%AB%96)
原始元 (集合論)
原始元(英語: urelement ドイツ語の接頭辞 ur- は「原始的な」を意味する)とはオブジェクトであってそれ自身は集合でないが、集合の要素には成り得るもののことである。原始元は原子、アトムとも呼ばれることがある。また、日本語文献でも翻訳せずにurelementのまま用いられることも多い。原始元は空集合とは異なるものである
集合論における原始元
1908年のツェルメロ集合論の論文では原始元が含まれており、これが今日ZFAやZFCA (すなわちZFAに選択公理を加えたもの)と呼ばれるものの一種である。[1] 公理的集合論と密接に関連する文脈では、集合論は原始元を持たない理論で簡単にモデル化できるので、原始元は必要ないことがすぐにわかった。[2]したがって、公理的集合論ZFとZFCの標準的な説明では、原始元については触れていない（例外については、Suppes[3]を参照）。
集合論の公理化であって原始元を呼び出すものには、原始元付きクリプキ＝プラテック集合論や、メンデルソンによって記述されたフォン・ノイマン＝ベルナイス＝ゲーデル集合論の変形がある。[4]
型理論では、型0のオブジェクトを原始元、アトムと呼ぶことができる。
新基礎集合論(NF)に原始元を追加してNFUを生成する試みは、驚くべき結果をもたらす。
略

http://rio2016.5ch.net/test/read.cgi/math/1753002417/113

131: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/07/26(土) 20:36:04.37 ID:w9PY0JQs

>>127
(引用開始)
ID:gZ1LykHx
>>111
>上記 渕野のPDF冒頭
>”2009 年の後期以降に神戸大学で大学院の講義でテキストとして用いた際に見つけた typos などの訂正などの update が書きこまれている”
>とある。そもそも 東京大学出版会，2007 成書となるときに、十分な校正がされているはず
>そのうえ、”2009 年の後期以降に神戸大学で大学院の講義でテキストとして用いた”とあるので、
>君の指摘は、たぶん 誤解・無理解・上滑り じゃないの？
反例：
>「n∈Onが自然数であるとは，nは0または後続順序数でnのすべての要素も後続順序数であること」
は間違い。実際、0以外の任意の自然数は後続順序数ではない要素0を持つ。
(引用終り)

それ、下記だね
　>>72「ゲーデルと20世紀の論理学第４巻」（東京大学出版会，2007）の，渕野 昌の執筆した第I部 https://fuchino.ddo.jp/books/intro-to-set-theory-and-constructibility.pdf

ここに、目次
第 2 章 公理的集合論の展開 .... 29
2.1 整列順序 ... 30
で
(引用開始)
Ｐ44
2.3 順序数
順序数 (ordinals) のクラス On を導入する．次の性質を On が持つこと
がポイントとなる．
(2.13) On は真のクラスで，推移的で14)，∈ に関し整列順序となってい
る15)．
(2.14) 各順序数 α は，（推移的な）集合で，（∈ により）整列されている．
(2.15) 任意の整列順序集合 ⟨X, <⟩ は，一意に決まる順序数 ⟨α, ∈⟩ と順序
同型となる．
これらの性質，特に最後の (2.15) により，順序数の全体のクラスは，すべて
の整列順序集合のクラスの（順序同型に関する同値類の）自然な代表元を集
めたクラスとみなせる．

P48
順序数 α が極限順序数でないとき，後続順序数であるという．
極限順序数の概念を使って自然数の全体の集合 N を定義することができ
る： n ∈ On が自然数であるとは，n は 0 または後続順序数で n のすべて
の要素も後続順序数であること，とできるからである．
補題 2.22 (1) 自然数の要素は自然数である．
(2) 集合 X を ∅ ∈ X ですべての y ∈ X に対し y ∪ {y} ∈ X となるよ
うなものとすると，X はすべての自然数を含む．

補題 2.22, (2) でのような X は無限公理により存在するから，分出公理により，
N = {n ∈ On : n は自然数 }
は集合になる．また，補題 2.22, (2) により，p.10 で導入した 0, 1, 2,. . . は N
の最初の方の要素になっていることがわかる．
(引用終り)

さて、上記”反例：
>「n∈Onが自然数であるとは，nは0または後続順序数でnのすべての要素も後続順序数であること」
は間違い。実際、0以外の任意の自然数は後続順序数ではない要素0を持つ。”

において
0以外の任意の自然数n（n≠0）の後続順序数はn+1であって、上記 y ∪ {y} の記号を借用すると
n+1：＝n ∪ {n} と略記できるよね
そして、n（n≠0）の前後続順序数は n-1であって、
n：＝n-1 ∪ {n-1} と略記できる
なので
『実際、0以外の任意の自然数は後続順序数ではない要素0を持つ』は、イミフ 言葉のサラダだね

http://rio2016.5ch.net/test/read.cgi/math/1753002417/131

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.019s