[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋27(あほ二人の”アナグマの姿焼き”ｗ) (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
491(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/11/23(土)17:38 ID:dngn2gaF(15/22) AAS
>>482
>>それぞれの集合から一つずつ元を選び出して新しい集合を作ることができるというものである
>自然言語で間に合わせようとするから間違える。定式化してごらん。
・下記”Well-ordering theorem”で 単語”choice”は、重要キーワードですよ
Well-ordering theoremから axiom of choiceが導かれるが
その証明のキーは ”An essential point of this proof is that it involves only a single arbitrary choice, that of R;”とありますね
・なお、下記の英 Axiom of choice で
省22
493(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/11/23(土)18:10 ID:dngn2gaF(17/22) AAS
>>491 追加
集合論では、関数もまた 集合である
下記より”G = { (x, f(x)) | x ∈ X}”など
常識ですがｗ ；ｐ）
簡便には (x, f(x))の集まり ですな ；ｐ）
『選択”関数”』だから？ なんだと？ ｗ ；ｐ）
(参考)
省19
494: 2024/11/23(土)18:28 ID:wHxaJ233(35/45) AAS
>>491-493
これだけ長々と長文書き連ねて、
>定式化してごらん
にまったく答えられてないｗ 馬鹿丸出しｗ
なんでそんなに馬鹿自慢したがるの？ どＭ？
496(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/11/23(土)18:37 ID:dngn2gaF(18/22) AAS
>>495
ふっふ、ほっほｗ ；ｐ）
>>491より再録
要するに、 ”An essential point of this proof is that it involves only a single arbitrary choice, that of R;”
（”Well-ordering theorem”で 単語”choice”は、重要キーワードです）
”a subset of the real numbers that is not Lebesgue measurable can be proved to exist using the axiom of choice, it is consistent that no such set is definable.[8]”
（Axiom of choice Criticism and acceptance）
省3
515(1): 阿弥陀如来 ◆0t25ybzgvEX5 2024/11/24(日)07:39 ID:I9DmCuNm(1/18) AAS
>>491-492
整列定理から選択公理が導けるのは当然
選択公理から整列定理が導ける↓の証明は分かるかい？
Proof from axiom of choice
The well-ordering theorem follows from the axiom of choice as follows.[9]
Let the set we are trying to well-order be
A, and let f be a choice function for the family of non-empty subsets of A.
省9
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s