[過去ログ] ガロア第一論文と乗数イデアル他関連資料スレ13 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
34(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP  02/02(日)12:50 ID:5scbwZz/(3/12) AAS
 >>33補足 
 >>28 
 (引用開始) 
 >Xの元を すきな順番に整列できる 
 大間違い。 
 順番は選択関数で一意に定まる。 
 (引用終り)
省23
36: 02/02(日)13:24 ID:7z4Dw9JT(6/18) AAS
 >>34 
 >『整列可能定理 とは, 次の命題のことに他ならない. 
 >(W) いかなる集合も、その上に適当に関係≦を定義して,整列集合にすることが出来る』 
 >これで すきな順番に → 適当に関係≦を定義して 
 >と書き換えれば、赤 摂也の 整列可能定理になる 
 論理記号で書けば∀≦ではなく∃≦だから、その書き換えは大間違い。 
 ∀と∃を取り違えるようでは大学一年の4月に落ちこぼれたのも当然の結果。
省3
37(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP  02/02(日)18:25 ID:5scbwZz/(4/12) AAS
 >>34 補足 
  
 下記の ツォルン(Zorn)の補題 → ツェルメロ(Zermelo)の整列定理の証明 
 ここでも、空集合以外の部分集合の順序構造を使う(詳しくは下記ご参照) 
  
 直感的には、>>15で示した 例示 ミニモデルで 集合X={a,b,c,d} で  
 冪集合 P(X)={ {a,b,c,d}, 
 {a,b,c},{a,b,d},{a,c,d},{b,c,d} 
 {a,b},{a,c},{b,c}, {a,b},{a,d},{b,d}, {a,c},{a,d},{c,d}, {b,c},{b,d},{c,d},
省46
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.045s