現代数学の系譜工学物理雑談古典ガロア理論も読む68

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む68 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

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

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

47: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2019/06/13(木) 07:05:34.18 ID:tNmlg93R

スレ64 https://rio2016.5ch.net/test/read.cgi/math/1556253966/838
古典ガロア理論も読む  2019/05/05
>正しくは
>「数列の測度が必要だが、その場合
>　選択公理で（非可測集合ができるから）台無しになる」

ご指摘ありがとう
これか？（＾＾

https://mathoverflow.net/questions/151286/probabilities-in-a-riddle-involving-axiom-of-choice
Probabilities in a riddle involving axiom of choice edited Dec 9 '13 at 16:32 asked Dec 9 '13 at 16:16 Denis
3 Answers
11 edited Dec 12 '13 answered Dec 11 '13 Alexander Pruss
(抜粋)
But we have no reason to think the event of guessing correctly is measurable with respect to the probability measure induced by the random choice of sequence and index i, and we have no reason to think that the conglomerability assumption is appropriate.
A quick way to see that the conglomerability assumption is going to be dubious is to consider the analogy of the Brown-Freiling argument against the Continuum Hypothesis (see here for a discussion).
Assume CH. Let < be a well-order of [0,1].
Suppose X and Y are i.i.d. uniformly distributed on [0,1].
Consider the question of which variable is bigger. Fix a value y∈[0,1] for Y.
Then P(X<=y)=0, since there are only countably many points <- prior to y.
By a conglomerability assumption, we could then conclude that P(X<=Y)=0, which would be absurd as the same reasoning would also show that P(Y<=X)=0. The argument fallaciously assumes conglomerability.
We are neither justified in concluding that P(X<=Y)=0, nor that {X<=Y} is measurable (though for each fixed y, {X<=y} is measurable).
And indeed it's not measurable: for were it measurable, we could use Fubini to conclude that it has null probability.
Note that one can repeat the argument without CH but instead using an extension of Lebesgue measure that assigns null probability to every subset of cardinality <c, so clearly there is no refutation of CH here.
(引用終り)

http://rio2016.5ch.net/test/read.cgi/math/1560374890/47

529: １３２人目の素数さん [sage] 2019/06/13(木) 21:03:15.18 ID:BpkQxrls

＿＿
　　　　　　　　　　　　　　　　|＿＿|'' - ._
　　　　　　　　　　 　 　 　 　 |　　| l' - ._|
　　　　　　　　　　 　 　 　 　 |　　| |｀:| |′
　　　　　　　　　 　 　 　 　 ,=|　　| |　| |
　　　　　　　　 　 　 　 　 /　:|_,,　| |　| |
　　　　　　　　　　　　 　 l　　|　|. | |　| |
　　　　　　　　　 　 　 　 | 　 |　|:::| |　| l|.　／￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
　　　　　　　　　　 　 　 / 　 |　l　| |　| ||　| 見ろ！これが数学の敵、スレ主の首だ！！！
　　　　　 　 　 　 　 　 /　　 |　|　| |　| |:!　＼＿　 ＿＿＿＿＿＿＿＿＿＿＿＿＿＿
　　　　　∧＿∧　　 /　　　.l　l.　| |‐'| |:|　　 　 ∨
　　　　 （　´∀｀） ／　　 　 |　|.　| |　| ll:|　　　∧＿∧
　　　　 （　　 　 つ　　　　　|　|　 | |　| ||:|　　（　・∀・）　∧＿∧
　　　　　|　 | 　|　　　 ⊂⌒|　l: 　| |‐'| l:|:|　⊂　　　　つ（　ﾞ∀｡ ）←>>1
― ∧∧ ____,）__）ｰl二二二l_,.. ┐| |'二二⊃ /　/〉　〉―；;~∴ー――
　 (　　,,ﾟ)　厂⌒厂⌒厂⌒i´__,,. |..| |〉　 　 〈(＿) (＿_)　　 ；'　_,.. - ''"!∧ ∧＿∧
　 / 　 つノﾉ　 ﾉ　　/ 　 ,ﾉ| 　 　|,,|..!､＿___,ﾉ　　　　　_,.. - ''"　　 _,.. ┘∧ ∧＿∧
　(,,　　))'〜ー〜ー〜一'"┴'''"　　　　　　　　_,.. - ''"　　 _,.. - ''"l:| ∧＿∧　∧＿∧
￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣!　　_,.. - ''" ＼;|　　|:!（・∀・　）（・∀・　）
―┬―┬―──――――――‐┬―┬┬┴''"／　　　　　:|∧＿∧　∧＿∧　.∧＿∧
　 │　 │　　　　　　　　 　　 　 　 ｜　 ｜｜　／　　　　　　 .（∀・ 　 ）（∀・ 　 ）（∀・ 　 ）
. ∧＿∧　∧＿∧　∧＿∧　∧＿∧.　∧＿∧　∧＿∧.　∧＿∧　∧＿∧　∧＿∧
（　　　　）（　　　　）（　　　　）（　　　　）（　　　　）（　　　　）（　　　　）（　　　　）（　　　　）

http://rio2016.5ch.net/test/read.cgi/math/1560374890/529

548: １３２人目の素数さん [sage] 2019/06/13(木) 21:09:24.18 ID:BpkQxrls

http://rio2016.5ch.net/test/read.cgi/math/1560374890/548

553: １３２人目の素数さん [sage] 2019/06/13(木) 21:11:04.18 ID:BpkQxrls

http://rio2016.5ch.net/test/read.cgi/math/1560374890/553

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

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

ぬこの手ぬこTOP 0.028s