[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
2(3): 01/01(水)09:57 ID:2b7XvZNh(2/10) AAS
つづき
メモ
外部ﾘﾝｸ[html]:www.iwanami.co.jp
岩波科学ライブラリー
ガロアの論文を読んでみた
時代を超越していたガロアの第1論文．その行間を補いつつ，高校数学をベースにじっくりと読み解く．
画像ﾘﾝｸ[jpg]:www.iwanami.co.jp
著者 金 重明 著
刊行日 2018/09/21
試し読み
省22
612(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/25(土)23:26 ID:vKwDmbNO(11/11) AAS
”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”
>>606 補足
(引用開始)
2）つまり、集合の濃度の割り当てには
ノイマン流（選択公理を仮定する）と
スコットのトリック（選択公理なしで、正則性公理を使う）
がある
（これで「集合の濃度から、順序数の上限が決まる」）
省32
616(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/26(日)08:41 ID:57hfZFiX(1/17) AAS
”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”
>>615
>なぜなら重要なのは
>>sup{α|aα is defined}
>であって、aαの並び方は選択関数で一意に決まり、他の並び方を考える必要がまったく無いから。
あたま腐ってない？
>>612に例示したように
自然数N={0,1,2,3,4,・・・}を整列させるとき
省27
844: 01/30(木)12:33 ID:S0uv3c2L(15/25) AAS
>>839
>1st ステップ
>定義域 {A-{aξ|ξ<α}｜α < θ} を構成する部分
>ここは、the family S of all nonempty subsets of Aの部分集合になる
>だから、置換公理で間に合う
aξの定義にfを使っている。
>2nd ステップ
>f；A-{aξ|ξ<α} → aα
fの定義にaξを使っており、aξの定義にfを使っているから循環参照となっており、fはwell-definedでない。
>これで選択関数が構成できた
省4
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.310s*