[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
320(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/15(水)23:39 ID:HSrNcrvS(2/3) AAS
つづき
これを、院試の問題と考えて、採点すると
1）P：選択公理⇒Q：整列定理 で
選択公理と整列定理とを、証明に使えるステートメントに落とし込まないと行けないところが
これをすっぽかし、証明の頭出しと、最後がスッキリしない 印象の悪い答案になった
（選択公理と整列定理のステートメントを、ビシと正確に書くと、採点者に好印象だろう）
2）いまは、数学的ステートメントは略して 日常語で書く
省25
321: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/15(水)23:47 ID:HSrNcrvS(3/3) AAS
>>320 タイポ訂正
要するに、取り出して、並べた（順序を与えた）部分は、通常の順序数と一対応がつくんだよと
↓
要するに、取り出して、並べた（順序を与えた）部分は、通常の順序数と一対一対応がつくんだよと
323: 01/16(木)04:36 ID:q09NtzhZ(2/5) AAS
>>320
> 選択公理と整列定理とを、証明に使えるステートメントに落とし込まないと行けない
「証明につかえる」という言い方がいかにも受験生っぽい馬鹿っぷりに満ちてるね
> P：選択公理 『空でない集合族から要素を一つ取り出す選択関数が存在する』
> Q：整列定理 『任意の集合Aから要素を一つずつ取り出して、整列できる』
「要素を一つずつ取り出して」は、整列定理のステートメントではなく、証明ね
P：選択公理 『Aの”任意の空でない部分集合からなる”集合族から要素を一つ取り出す選択関数が存在する』
省22
324(1): 01/16(木)04:42 ID:q09NtzhZ(3/5) AAS
>>320
> 最後の方で、”α<β (in the usual well-order of the ordinals)”などと、軽く流している
> 要するに、取り出して、並べた（順序を与えた）部分は、
> 通常の順序数と一対応がつくんだよと軽く流している。
> 順序を グダグダ言わないの！！
君が本当に流しちゃって誤魔化した部分を、口頭試問の教授として質問してあげるよ
「A∖{aξ∣ξ<α} が空となれば完結する、ということだと思うけど
省3
404(6): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/18(土)18:45 ID:yCcyDMub(5/12) AAS
>>310より再録と補足
en.wikipedia.org/wiki/Well-ordering_theorem
Well-ordering theorem
Proof from axiom of choice
The well-ordering theorem follows from the axiom of choice as follows.[9]
Let the set we are trying to well-order be
A, and let
省34
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 2.723s*