ガロア第一論文と乗数イデアル他関連資料スレ12

[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

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

648: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/01/26(日) 19:56:00.32 ID:57hfZFiX

”＜公開処刑 続く＞
（『 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

http://rio2016.5ch.net/test/read.cgi/math/1735693028/648

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

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 2.170s*