[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む62 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
152(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/03/10(日)11:10 ID:rk/29Zdt(9/28) AAS
>>151 これ失敗でボツな（＾＾；
貼り直し
>>150
つづき
（参考引用）
外部ﾘﾝｸ:en.wikipedia.org
(抜粋)
省11
153(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/03/10(日)11:12 ID:rk/29Zdt(10/28) AAS
>>152
つづき
Contents
1 Induction and recursion
2 Examples
3 Other properties
4 Reflexivity
省7
155: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/03/10(日)11:20 ID:rk/29Zdt(12/28) AAS
>>143
>「選択公理 (→ツェルメロの公理 ) を使って整列集合をつくらなければならない」とか
（>>152より）
Equivalently, assuming the axiom of dependent choice, a relation is well-founded if it contains no countable infinite descending chains: that is, there is no infinite sequence x0, x1, x2, ... of elements of X such that xn+1 R xn for every natural number n.[1][2]
(引用終り)
外部ﾘﾝｸ:en.wikipedia.org
Axiom of dependent choice
省5
171(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/03/10(日)19:37 ID:rk/29Zdt(26/28) AAS
>>170
つづき
６．さらに、正則性公理の意味の補足
「>=, we have 1 >= 1 >= 1 >= ・・・」の例類似で、”∈を使った順序”で、∋は >=では無く、>（等号=含まず）(>>150と>>152)」だとか、
正則性公理の意味の別の側面で、それは極小元の存在保証（無限降下列禁止）の意味があるとか、そういう蘊蓄を、付け加えておけば、新歓としては良いだろうね（＾＾
（参考）
外部ﾘﾝｸ[pdf]:fuchino.ddo.jp
省21
174(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/03/11(月)07:49 ID:NUGiaq8/(1/12) AAS
>>171
> 「>=, we have 1 >= 1 >= 1 >= ・・・」の例類似で、”∈を使った順序”で、∋は >=では無く、>（等号=含まず）(>>150と>>152)」だと
下記 「例えばx={x}のような集合やx∈yかつy∈xなる集合は正則性の公理の下では集合にはなり得ない」という記述が、上記の「∋は >=では無く、>（等号=含まず）」に該当するね
外部ﾘﾝｸ:ja.wikipedia.org
正則性公理
(抜粋)
V=WF
省4
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.051s