[過去ログ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002レス)
上下前次1-新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
641(1): 01/26(日)16:56 ID:odIYHPQg(4/4) AAS
選択公理を使ってAを整列する方法は
P(A)-Φから要素を選ぶ選択関数fを用いて
A→f(A)
A-{f(A)}→f(A-{f(A)})
A-{f(A)}ー{f(A-{f(A)})}=f(A-{f(A)}ー{f(A-{f(A)})})
…
と続けていき
{f(A),f(A-{f(A)}), f(A-{f(A)}ー{f(A-{f(A)})})…}=B
として
A-B≠Φならば、
A-B=f(A-B)
A-B-f(A-B)=f(A-B-f(A-B))
…
とさらに続けていくと、
まあいつかは空集合になるので
それでAが整列できる
このとき、P(A)-Φの全ての要素を使うわけではないが
どの要素が使われるか、整列する前にはわからないので
選択公理としては集合族P(A)-Φを使わざるをえない
上下前次1-新書関写板覧索設栞歴
あと 361 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.014s