[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
319(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/15(水)23:39 ID:HSrNcrvS(1/3) AAS
>>310
検索すると
>>148 (>>146-147もご参照)
にあるね
補足
・>>146で『整列可能定理→選択公理 の証明を、貼ります！
英語版が分りにくいので、中国版とイタリア版 を追加した』
と書いたけど
・このときに、選択公理→整列可能定理について、
中国版とイタリア版も見て、殆ど同じだと見ていたんだ （＾＾
省25
320(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/15(水)23:39 ID:HSrNcrvS(2/3) AAS
つづき
これを、院試の問題と考えて、採点すると
1）P：選択公理⇒Q：整列定理 で
選択公理と整列定理とを、証明に使えるステートメントに落とし込まないと行けないところが
これをすっぽかし、証明の頭出しと、最後がスッキリしない 印象の悪い答案になった
（選択公理と整列定理のステートメントを、ビシと正確に書くと、採点者に好印象だろう）
2）いまは、数学的ステートメントは略して 日常語で書く
P：選択公理 『空でない集合族から要素を一つ取り出す選択関数が存在する』
Q：整列定理 『任意の集合Aから要素を一つずつ取り出して、整列できる』(Aは、>>310で使われているので合わせた)
ということね
省22
321: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/15(水)23:47 ID:HSrNcrvS(3/3) AAS
>>320 タイポ訂正
要するに、取り出して、並べた（順序を与えた）部分は、通常の順序数と一対応がつくんだよと
↓
要するに、取り出して、並べた（順序を与えた）部分は、通常の順序数と一対一対応がつくんだよと
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.970s*