[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
636(5): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/07(土)15:37 ID:H2e5WMAT(10/14) AAS
>>622
おサル＝ID:uZFmzNJe は、恥かきだなｗ（＾＾；
正則性公理のそこでつまずいているのかｗ
（参考）
Inter-universal geometry と ABC予想 42
2chｽﾚ:math
701 名前：１３２人目の素数さん[] 投稿日：2019/12/07(土) 09:59:15.64 ID:uZFmzNJe [3/3]
>>697
＞正則性公理には反してませんよ、ZFCに反してませんよと強調したかった
しかし∈-loopsは、正則性公理とは矛盾しますけどね
「集合のいかなる∈列も有限長で終わる」
というのが正則性公理ですから
（それゆえ「基礎の公理」とも呼ばれる）
https://ja.wikipedia.org/wiki/%E6%95%B4%E7%A4%8E%E9%96%A2%E4%BF%82
整礎関係
(抜粋)
数学において、二項関係が整礎（せいそ、英: well-founded）であるとは、真の無限降下列をもたないことである。
定義
集合あるいはクラス X 上の二項関係 R が整礎であるとは、X の空でない任意の部分集合 S が R に関する極小元を持つことをいう[1]。
X が集合であるとき、従属選択公理（英語版）（これは選択公理よりも真に弱く可算選択公理よりも真に強い）を仮定すれば、同値な定義として、関係が整礎であることを可算無限降下列が存在しないこととして定められる[3]。
省9
639(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/07(土)15:45 ID:H2e5WMAT(11/14) AAS
>>636 補足
”「集合のいかなる∈列も有限長で終わる」
というのが正則性公理ですから”
は間違い
”真の無限降下列をもたない”ってことね
”ZF における公理のひとつである正則性の公理は、全ての集合が整礎であることを要請するものである。”は、説明不足だが、∈による二項関係で、真の”真の無限降下列をもたない”というのが、正則性の公理
詳しくは、下記の渕野 昌先生を見て下さい（＾＾；
https://fuchino（URLがNGなので、キーワードでググれ（＾＾ ）
基礎の公理の成り立たない集合論 (non well-founded set theory) について 渕野 昌(Sakae Fuchino) Last modified: Sat Aug 13
(抜粋)
なぜだかは分らない が，∈-無限下降列に対して病的な興味を示す素人数学者が後をたたないからで ある．
私の知っている例でも，体系の言語で記述される（内的な）無限降下列 とモデルでの無限降下列の区別さえ定かでないような，∈ の整列性を仮定し ない集合論に関するあやしげな博士論文が，集合論以外の専門の数学者による 審査で通ってしまった，という，ある旧帝国大学*2での最近の事例がある．
こ のような不愉快な傾向に拍車をかけるようなまねはくれぐれもやめてほしい， と強く希望する次第である．
基礎の公理 (Axiom of Foundation) は，
省3
640: 2019/12/07(土)15:46 ID:uZFmzNJe(6/27) AAS
>>636
＞数学において、二項関係が整礎（せいそ、英: well-founded）であるとは、
＞真の無限降下列をもたないことである。
「真の」は要りません。「無限降下列をもたないこと」で構いません。
684(5): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/07(土)22:23 ID:H2e5WMAT(14/14) AAS
>>680 補足
(引用開始)
で、無限公理を認めることで、無限集合の存在が導かれる
それが、一行目の
「集合 ｛0、{0}、{{0}}、・・・、{・・{0}・・}n重、・・・｝が無限集合なら」
ってことだよ
（ くどいが、無限公理を認め 無限公理が適用されることで、
”列 0、{0}、{{0}}、・・・、{・・{0}・・}n重、・・・ は、有限で終わらない”が導かれる
つまり、これは無限公理からの直接の帰結ってことですよ！！（超限帰納法は関係ないよ >>613） ）
(引用終り)
おサルの>>636
＞「集合のいかなる∈列も有限長で終わる」
＞というのが正則性公理ですから
これ、
理解が間違っているよ
ツェルメロの後者関数
an=suc(an-1)={an-1}
つまり、an-1∈an
省13
739(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)15:14 ID:s6Tab8iq(9/15) AAS
（＾＾；
「∈列 有限長」ｗｗ
おサル＝ID:uZFmzNJe は、恥かき
”「集合のいかなる∈列も有限長で終わる」
というのが正則性公理ですから”ｗｗ
(>>636より)
Inter-universal geometry と ABC予想 42
2chｽﾚ:math
701 名前：１３２人目の素数さん[] 投稿日：2019/12/07(土) ID:uZFmzNJe [3/3]
>>697
＞正則性公理には反してませんよ、ZFCに反してませんよと強調したかった
しかし∈-loopsは、正則性公理とは矛盾しますけどね
「集合のいかなる∈列も有限長で終わる」
というのが正則性公理ですから
（それゆえ「基礎の公理」とも呼ばれる）
https://ja.wikipedia.org/wiki/%E6%95%B4%E7%A4%8E%E9%96%A2%E4%BF%82
整礎関係
(抜粋)
数学において、二項関係が整礎（せいそ、英: well-founded）であるとは、真の無限降下列をもたないことである。
定義
集合あるいはクラス X 上の二項関係 R が整礎であるとは、X の空でない任意の部分集合 S が R に関する極小元を持つことをいう[1]。
省10
805: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/16(月)07:15 ID:IdN2Nyfe(1) AAS
(>>747より)
http://www.kurims.kyoto-u.ac.jp/~kenkyubu/zengaku/18/terui-zengaku2018.pdf
第７回
日時： ２０１８年６月１日（金）
１６：３０−１８：００
場所： 数理解析研究所 ４２０号室
講師： 照井 一成 准教授
題目： NASH村の命名規則：整列擬順序の理論へ
(抜粋)
定義 2.2
（ X, =< ）を全順序とする。Xに無限降下列
a0 > a1 > a2 > ・・・ (ai ∈ X)
が存在しないとき、（ X, =< ）を整列順序という。
別の言い方をすれば、整列順序とは空でないどんな部分集合 Y ⊆ X も最小元を持つよう
な全順序のことである。どんな集合上にも整列順序をいれられるというのが Zermelo の整列定理である。
これは選択公理と同値である。
(引用終り)
あほサルが、（>>636）
”∈-loopsは、正則性公理とは矛盾しますけどね
「集合のいかなる∈列も有限長で終わる」
というのが正則性公理ですから
（それゆえ「基礎の公理」とも呼ばれる）”
と、あほ発言
笑えるわ（＾＾
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.042s