[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

648(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/26(日)19:56 ID:57hfZFiX(12/17) AAS
”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
　 (あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”

>>646
>そのまんまだけど？　何が分からないと？

まあ
そうやって逃げるのが賢明だねｗｗ ；ｐ）

>>647
>>ここで、Jech, Thomas の工夫はαという順序数を 選択関数 f に組み込んだことにあるよ
>選択関数の定義域は2^A-{}、値域はAであって、どこにも順序数は無いんだが、「順序数を選択関数に組み込む」って何？
>何をどう勘違いしたの？

ふっふ、ほっほ
Jech, Thomas 下記だよｗｗｗ ；ｐ）
”We let for everv α
aα=f(A-{aξ：ξ<α})
if A-{aξ：ξ<α} is nonempt.”
だよ
百回音読してねｗｗｗ ；ｐ）

選択関数fの 定義域を
集合族P(A)-Φ 全体に広げる必要性も、
必然性もないでしょ！！ｗｗｗ ；ｐ）

　>>630より 再度転記
T Jech 著 · 1997 · The Third Millennium Edition, revised and ... 2002. (Springer monographs in mathematics)
Thomas Jechの 証明
P48
Theorem 5.1 (Zermelo’s Well-Ordering Theorem)
　Every set can be well-orderd.
Proof：
Let A be a set. To well-order A, it suffices to construct a transfinite one-to-one sequence （aα: α < θ) that enumerates A.
That we can do by induction, using a choice fiunction f for the family S of all nonempty subsets of A.
We let for everv α
aα=f(A-{aξ：ξ<α})
if A-{aξ：ξ<α} is nonempt.
Let θ be the least ordinal such that A = {αξ: ξ < θ}.
Clearly,（aα：α< θ) enume

---

上下前次1-新書関写板覧索設栞歴

---

あと 354 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.013s