現代数学の系譜 古典ガロア理論を読む
前スレ現代数学の系譜 古典ガロア理論を読む35
http://rio2016.2ch.net/test/read.cgi/math/1497848835/
小学レベルとバカプロ固定、High level people、サイコパス お断り!High level people は自分達で勝手に立てたスレ28へどうぞ!sage進行推奨(^^;
旧スレが512KBオーバーで、新スレ立てる
このスレはガロア原論文を読むためおよび関連する話題を楽しむスレです
(最近は、スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。ガロア関連のアーカイブの役も期待して。) 👀
Rock54: Caution(BBR-MD5:0be15ced7fbdb9fdb4d0ce1929c1b82f)
探検
現代数学の系譜 古典ガロア理論を読む36 [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
2017/07/12(水) 08:21:00.89ID:R5adeg3y
2017/07/29(土) 17:41:40.01ID:GPYylyx3
>>520 つづく
記
(命題A)
選択公理を使って
無限列から決定番号への非可測関数を構築すれば
「箱入り無数目」解法による予測は避けられないよ
(命題B)
「X1,X2,X3,・・・がまるまる無限族として独立なら絶対に当てられない」
と言い切るなら、必然的に
「実数の全ての集合はルベーグ可測であり選択公理は成立しない」
といわざるを得なくなる
(引用開始)
http://rio2016.2ch.net/test/read.cgi/math/1495860664/575
575 2017/06/03(土) 02:30:44.36 ID:YbwQeVvS
(抜粋)
残念だけど選択公理を使って
無限列から決定番号への非可測関数を構築すれば
「箱入り無数目」解法による予測は避けられないよ
逆に
「X1,X2,X3,・・・がまるまる無限族として独立なら絶対に当てられない」
と言い切るなら、必然的に
「実数の全ての集合はルベーグ可測であり選択公理は成立しない」
といわざるを得なくなる
http://rio2016.2ch.net/test/read.cgi/math/1495860664/608
608 2017/06/03(土) 13:53:14.13 ID:YbwQeVvS
(抜粋)
>”選択公理を使って非可測関数を構成した時点”が未達成だな。
選択公理を存じないようですが、単に関数の存在を主張するだけで
関数が具体的に構成できるとは述べておりませんし構成は必要ありません
(引用終り)
つづく
記
(命題A)
選択公理を使って
無限列から決定番号への非可測関数を構築すれば
「箱入り無数目」解法による予測は避けられないよ
(命題B)
「X1,X2,X3,・・・がまるまる無限族として独立なら絶対に当てられない」
と言い切るなら、必然的に
「実数の全ての集合はルベーグ可測であり選択公理は成立しない」
といわざるを得なくなる
(引用開始)
http://rio2016.2ch.net/test/read.cgi/math/1495860664/575
575 2017/06/03(土) 02:30:44.36 ID:YbwQeVvS
(抜粋)
残念だけど選択公理を使って
無限列から決定番号への非可測関数を構築すれば
「箱入り無数目」解法による予測は避けられないよ
逆に
「X1,X2,X3,・・・がまるまる無限族として独立なら絶対に当てられない」
と言い切るなら、必然的に
「実数の全ての集合はルベーグ可測であり選択公理は成立しない」
といわざるを得なくなる
http://rio2016.2ch.net/test/read.cgi/math/1495860664/608
608 2017/06/03(土) 13:53:14.13 ID:YbwQeVvS
(抜粋)
>”選択公理を使って非可測関数を構成した時点”が未達成だな。
選択公理を存じないようですが、単に関数の存在を主張するだけで
関数が具体的に構成できるとは述べておりませんし構成は必要ありません
(引用終り)
つづく
2017/07/29(土) 17:42:34.26ID:GPYylyx3
>>521 つづき
いま、ステップを分けて、
”やりたいことは、>>427「ZFC下での現代確率論から導かれる確率計算と、時枝記事の計算とは合わないってこと。および、その解説」なんだけど
その証明が出たときに、現代確率論は「フルパワーの選択公理」を使っていないが、一方時枝記事の計算は「フルパワーの選択公理」を使っているから良いのだと、言い訳したい”>>452 んだろう?(^^
だから、「フルパワーの選択公理」ってところを、もう少し掘り下げておきたい(逃げ込み先に先回り)
あと、「ZFC下での現代確率論から導かれる確率計算と、時枝記事の計算とは合わない」は、小学生でも分かる簡単な話だ。
現代確率論に書いてある通りだ。だが、分からない人も出そうだ・・(^^
まあ、そういう人は、もう一度幼稚園からやり直し頼む(^^
つづく
いま、ステップを分けて、
”やりたいことは、>>427「ZFC下での現代確率論から導かれる確率計算と、時枝記事の計算とは合わないってこと。および、その解説」なんだけど
その証明が出たときに、現代確率論は「フルパワーの選択公理」を使っていないが、一方時枝記事の計算は「フルパワーの選択公理」を使っているから良いのだと、言い訳したい”>>452 んだろう?(^^
だから、「フルパワーの選択公理」ってところを、もう少し掘り下げておきたい(逃げ込み先に先回り)
あと、「ZFC下での現代確率論から導かれる確率計算と、時枝記事の計算とは合わない」は、小学生でも分かる簡単な話だ。
現代確率論に書いてある通りだ。だが、分からない人も出そうだ・・(^^
まあ、そういう人は、もう一度幼稚園からやり直し頼む(^^
つづく
2017/07/29(土) 17:43:05.98ID:GPYylyx3
>>522 つづき
<選択公理説明1>
>>490より抜粋
<下記は、数学として”フルパワーの選択公理を使っているか?” Yes or No >
1.量子力学: Y or N (>>482)
2.エキゾチック R4: Y or N (>>482)
3.コンヌ先生の>>483-485の数学: Y or N *)
注*)あるいは、コンヌ先生の>>483-485の数学が難しければ、下記 「Noncommutative Geometry [PDF] 4.1 MB」でも可
http://www.alainconnes.org/docs/book94bigpdf.pdf
(引用終り)
当然、正解はすべてYだ
つづく
<選択公理説明1>
>>490より抜粋
<下記は、数学として”フルパワーの選択公理を使っているか?” Yes or No >
1.量子力学: Y or N (>>482)
2.エキゾチック R4: Y or N (>>482)
3.コンヌ先生の>>483-485の数学: Y or N *)
注*)あるいは、コンヌ先生の>>483-485の数学が難しければ、下記 「Noncommutative Geometry [PDF] 4.1 MB」でも可
http://www.alainconnes.org/docs/book94bigpdf.pdf
(引用終り)
当然、正解はすべてYだ
つづく
2017/07/29(土) 17:43:59.00ID:GPYylyx3
>>523 つづき
<選択公理説明2>
軽く解説すると、http://www.alainconnes.org/docs/book94bigpdf.pdf コンヌ先生
P51 より
4. Geometric Examples of von Neumann Algebras : Measure Theory of Noncommutative Spaces の
4.α Classical Lebesgue measure theory. で解説がある
(抜粋)
At a technical level, for the definition to make
sense it is necessary to require that the function f be measurable. However, this
measurability condition is so little restrictive that one has to use the uncountable axiom
of choice to prove the existence of nonmeasurable functions. In fact, a very instructive
debate took place in 1905 between Borel, Baire, and Lebesgue on the one hand, and
Hadamard (and Zermelo) on the other, as to the "existence" of a well ordering on
the real line (see Lebesgue's letter in Appendix C). A result of the logician Solovay
shows that (modulo the existence of strongly inaccessible cardinals) a nonmeasurable
function cannot be constructed using only the axiom of conditional choice.]
(試訳 with google)
技術レベルで、定義を意味あるようにするためには、関数fを可測にする必要があります。
しかし、この可測な条件は非常に限定的である。可測な関数の存在を証明するために、非加算選択公理を使用しなければなりません。
実際、1905年にBorel、Baire、LebesgueとHadamard(そしてZermelo)の間で数直線上での整列可能定理の存在について議論が行われました(参照 Lebesgue の手紙 in Appendix C )。
論理学者Solovayの結果は、条件付きの選択公理のみを使用しては、(強到達不能基数の存在のモジュロで)非可測関数を築することはできないことを示している。
(引用終り)
詳しくは、本文ご参照
結論は、上記のように、” However, this measurability condition is so little restrictive ”だと
( ”little”に、不定冠詞 a がつく場合と、付かない場合で、意味が大きく変わることを、思い出すこと )
結論は、コンヌ先生は、選択公理を使うだ
つづく
<選択公理説明2>
軽く解説すると、http://www.alainconnes.org/docs/book94bigpdf.pdf コンヌ先生
P51 より
4. Geometric Examples of von Neumann Algebras : Measure Theory of Noncommutative Spaces の
4.α Classical Lebesgue measure theory. で解説がある
(抜粋)
At a technical level, for the definition to make
sense it is necessary to require that the function f be measurable. However, this
measurability condition is so little restrictive that one has to use the uncountable axiom
of choice to prove the existence of nonmeasurable functions. In fact, a very instructive
debate took place in 1905 between Borel, Baire, and Lebesgue on the one hand, and
Hadamard (and Zermelo) on the other, as to the "existence" of a well ordering on
the real line (see Lebesgue's letter in Appendix C). A result of the logician Solovay
shows that (modulo the existence of strongly inaccessible cardinals) a nonmeasurable
function cannot be constructed using only the axiom of conditional choice.]
(試訳 with google)
技術レベルで、定義を意味あるようにするためには、関数fを可測にする必要があります。
しかし、この可測な条件は非常に限定的である。可測な関数の存在を証明するために、非加算選択公理を使用しなければなりません。
実際、1905年にBorel、Baire、LebesgueとHadamard(そしてZermelo)の間で数直線上での整列可能定理の存在について議論が行われました(参照 Lebesgue の手紙 in Appendix C )。
論理学者Solovayの結果は、条件付きの選択公理のみを使用しては、(強到達不能基数の存在のモジュロで)非可測関数を築することはできないことを示している。
(引用終り)
詳しくは、本文ご参照
結論は、上記のように、” However, this measurability condition is so little restrictive ”だと
( ”little”に、不定冠詞 a がつく場合と、付かない場合で、意味が大きく変わることを、思い出すこと )
結論は、コンヌ先生は、選択公理を使うだ
つづく
2017/07/29(土) 17:45:46.63ID:GPYylyx3
sage
2017/07/29(土) 17:45:55.06ID:GPYylyx3
>>524 つづき
<選択公理説明3>(「我々普通の人はZF に選択公理をつけ加えた公理系ZFC を使って数学をやる」)
過去スレ29 http://rio2016.2ch.net/test/read.cgi/math/1484442695/25
25 返信:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/01/15(日)
(抜粋)
下記 戸松玲治先生の 数学IB演習 No.6 問題PDFの「8 選択公理」を見て下さい
(因みに、・・ここらは説明し出すときりがないので、自分で調べてね)
http://www.ma.noda.tus.ac.jp/
東京理科大 TopPage - Noda MA:
http://www.ma.noda.tus.ac.jp/u/rto/m1b/m1b.html
数学IB演習
http://www.ma.noda.tus.ac.jp/u/rto/m1b/M1B6.pdf
数学IB演習 No.6 問題 戸松玲治 東京理科大 2009冬学期
(抜粋)
例えば, ZF に「AC の否定」をプラスした公理系を使っても数学ができるのである. そうな
のであるが, 我々普通の人はZF に選択公理をつけ加えた公理系ZFC を使って数学をやる(数学基礎
論が好みな人ごめんなさい). ここではZF を理解しろとは言わないので, 普段何気なくやってる数学
もちゃんとした土台(ZFC) があるんだなと心に留めておいてほしい.
8.3 超絶技巧選択公理
さてもうちょっと選択公理の話題を続けよう. Λ = N の時に, 選択公理を使わなくても直積集合が
空でないことを示せた, と一瞬錯覚してしまう証明を紹介しよう.
選択公理とは, このような無限回の操作が可能であることを認める公理であるといえる. 我々には
不可能であるが, 当然のことのように思えるものだから, 公理として認めようというものである. つ
まり選択公理は超絶技巧なのであり, その武器を使用することを許したのである*
注)*当然, 認めない立場もあるし, 歴史的にも導入には強い批判が
起こった. しかし, 感覚的には受け入れやすいものであるし, 導入した方が数学体系としては豊富で広がりをもつものになると多くの人が考え
ている. Λ = N の場合の選択公理ぐらいは認めないと, まともな数学にならないであろう. まあ, これからもっと出遭うであろう無限に関する
不思議さの一端だと思っておいてほしい.
つづく
<選択公理説明3>(「我々普通の人はZF に選択公理をつけ加えた公理系ZFC を使って数学をやる」)
過去スレ29 http://rio2016.2ch.net/test/read.cgi/math/1484442695/25
25 返信:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/01/15(日)
(抜粋)
下記 戸松玲治先生の 数学IB演習 No.6 問題PDFの「8 選択公理」を見て下さい
(因みに、・・ここらは説明し出すときりがないので、自分で調べてね)
http://www.ma.noda.tus.ac.jp/
東京理科大 TopPage - Noda MA:
http://www.ma.noda.tus.ac.jp/u/rto/m1b/m1b.html
数学IB演習
http://www.ma.noda.tus.ac.jp/u/rto/m1b/M1B6.pdf
数学IB演習 No.6 問題 戸松玲治 東京理科大 2009冬学期
(抜粋)
例えば, ZF に「AC の否定」をプラスした公理系を使っても数学ができるのである. そうな
のであるが, 我々普通の人はZF に選択公理をつけ加えた公理系ZFC を使って数学をやる(数学基礎
論が好みな人ごめんなさい). ここではZF を理解しろとは言わないので, 普段何気なくやってる数学
もちゃんとした土台(ZFC) があるんだなと心に留めておいてほしい.
8.3 超絶技巧選択公理
さてもうちょっと選択公理の話題を続けよう. Λ = N の時に, 選択公理を使わなくても直積集合が
空でないことを示せた, と一瞬錯覚してしまう証明を紹介しよう.
選択公理とは, このような無限回の操作が可能であることを認める公理であるといえる. 我々には
不可能であるが, 当然のことのように思えるものだから, 公理として認めようというものである. つ
まり選択公理は超絶技巧なのであり, その武器を使用することを許したのである*
注)*当然, 認めない立場もあるし, 歴史的にも導入には強い批判が
起こった. しかし, 感覚的には受け入れやすいものであるし, 導入した方が数学体系としては豊富で広がりをもつものになると多くの人が考え
ている. Λ = N の場合の選択公理ぐらいは認めないと, まともな数学にならないであろう. まあ, これからもっと出遭うであろう無限に関する
不思議さの一端だと思っておいてほしい.
つづく
2017/07/29(土) 17:46:23.32ID:GPYylyx3
>>526 つづき
選択公理←→ Zorn の補題←→ 整列可能定理という定理に少し触れて, 次回かその次ぐらいで
素朴集合論を終えたい.
参考文献
[2] 森田茂之『集合と位相空間』朝倉書店
(引用終り)
戸松玲治先生はいま北大
http://www.math.sci.hokudai.ac.jp/~tomatsu/ 戸松 北大
つづく
選択公理←→ Zorn の補題←→ 整列可能定理という定理に少し触れて, 次回かその次ぐらいで
素朴集合論を終えたい.
参考文献
[2] 森田茂之『集合と位相空間』朝倉書店
(引用終り)
戸松玲治先生はいま北大
http://www.math.sci.hokudai.ac.jp/~tomatsu/ 戸松 北大
つづく
2017/07/29(土) 17:47:15.11ID:GPYylyx3
>>527 つづき
<選択公理説明4>
1.”選択公理←→ Zorn の補題←→ 整列可能定理”という関係があって、バリエーション豊富だし
「感覚的には受け入れやすいものであるし, 導入した方が数学体系としては豊富で広がりをもつものになると多くの人が考えている」(上記 戸松玲治先生 )
2.普段何気なくやってる数学には、土台(ZFC) がある(上記 戸松玲治先生 )
3.土台(ZFC) の上に、膨大な数学の積み重ねがある。(上記の量子力学やエキゾチック R4もそうだ。(説明は省略する))
つづく
<選択公理説明4>
1.”選択公理←→ Zorn の補題←→ 整列可能定理”という関係があって、バリエーション豊富だし
「感覚的には受け入れやすいものであるし, 導入した方が数学体系としては豊富で広がりをもつものになると多くの人が考えている」(上記 戸松玲治先生 )
2.普段何気なくやってる数学には、土台(ZFC) がある(上記 戸松玲治先生 )
3.土台(ZFC) の上に、膨大な数学の積み重ねがある。(上記の量子力学やエキゾチック R4もそうだ。(説明は省略する))
つづく
2017/07/29(土) 17:48:00.99ID:GPYylyx3
>>528 つづき
<選択公理説明5>(選択公理の比喩的説明)
1.ちょうど良いタイミングで、>>510のコメントがあった >>20 より
”理学部では数学を教えているが、だからといって数学が自然科学というわけではない。数学は自然科学ではなく、あくまで形式科学である。物理学を記述するのには自然言語や数学という一種の"記述言語"が必要”
なので、ZFCをコンピュータの言語に例えよう。有名なのがunix系で動くC言語。豊富なソフトウェアーライブラリーが揃っているという。
と、同様に、ZFCを採用すれば、現代数学の豊富な数学ライブラリーが使える。その中に、標準的な現代確率論があるよと
だから、ZFC以外の言語を採用しても良いけど、ZFCでも非可測集合の存在や多少のパラドックスはそれほど気にしなくても良いというのが、コンヌ先生などの判断
2.「フルパワーの選択公理」について
可算選択公理 https://ja.wikipedia.org/wiki/%E5%8F%AF%E7%AE%97%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86
(抜粋)
「名前の通り、選択公理を可算集合族に限定したものになっている。」
「他の公理との関係
ACωは選択公理や従属選択公理(英語版)よりも弱い主張である。実際、選択公理が成り立たないソロヴェイのモデル(英語版)においても、可算選択公理は成り立つ。
ポール・コーエンはACωがZF集合論から証明できないことを示した。」
(引用終り)
まあ、「フルパワーの選択公理」は、制限付きの選択公理の上位互換バージョンだと思えば良い。
制限付きの選択公理で出来ることは、全て上位互換バージョンの「フルパワーの選択公理」で可能
だから、普通の数学では、連続濃度や、その上の関数空間を扱う。だったら、最初から「フルパワーの選択公理」を使います
なので、途中から、ここまでは可算選択公理、これ以上は「フルパワーの選択公理」なんて区別する気遣いは、普段何気なくやってる数学では全く必要ないことだよ(>>446は、全く分かってないね)
つづく
<選択公理説明5>(選択公理の比喩的説明)
1.ちょうど良いタイミングで、>>510のコメントがあった >>20 より
”理学部では数学を教えているが、だからといって数学が自然科学というわけではない。数学は自然科学ではなく、あくまで形式科学である。物理学を記述するのには自然言語や数学という一種の"記述言語"が必要”
なので、ZFCをコンピュータの言語に例えよう。有名なのがunix系で動くC言語。豊富なソフトウェアーライブラリーが揃っているという。
と、同様に、ZFCを採用すれば、現代数学の豊富な数学ライブラリーが使える。その中に、標準的な現代確率論があるよと
だから、ZFC以外の言語を採用しても良いけど、ZFCでも非可測集合の存在や多少のパラドックスはそれほど気にしなくても良いというのが、コンヌ先生などの判断
2.「フルパワーの選択公理」について
可算選択公理 https://ja.wikipedia.org/wiki/%E5%8F%AF%E7%AE%97%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86
(抜粋)
「名前の通り、選択公理を可算集合族に限定したものになっている。」
「他の公理との関係
ACωは選択公理や従属選択公理(英語版)よりも弱い主張である。実際、選択公理が成り立たないソロヴェイのモデル(英語版)においても、可算選択公理は成り立つ。
ポール・コーエンはACωがZF集合論から証明できないことを示した。」
(引用終り)
まあ、「フルパワーの選択公理」は、制限付きの選択公理の上位互換バージョンだと思えば良い。
制限付きの選択公理で出来ることは、全て上位互換バージョンの「フルパワーの選択公理」で可能
だから、普通の数学では、連続濃度や、その上の関数空間を扱う。だったら、最初から「フルパワーの選択公理」を使います
なので、途中から、ここまでは可算選択公理、これ以上は「フルパワーの選択公理」なんて区別する気遣いは、普段何気なくやってる数学では全く必要ないことだよ(>>446は、全く分かってないね)
つづく
2017/07/29(土) 17:49:48.02ID:GPYylyx3
2017/07/29(土) 17:57:37.32ID:GPYylyx3
>>524 訂正
しかし、この可測な条件は非常に限定的である。
↓
しかし、この可測の条件の制約は、ほとんど無い。
( However, this measurability condition is so little restrictive )
補足
英文を読む方が理解しやすいだろうね(^^
しかし、この可測な条件は非常に限定的である。
↓
しかし、この可測の条件の制約は、ほとんど無い。
( However, this measurability condition is so little restrictive )
補足
英文を読む方が理解しやすいだろうね(^^
532132人目の素数さん
2017/07/29(土) 18:07:43.32ID:JR1UV3RD >>522
>”やりたいことは、>>427「ZFC下での現代確率論から導かれる確率計算と、時枝記事の計算とは合わないってこと。および、その解説」なんだけど
>その証明が出たときに、現代確率論は「フルパワーの選択公理」を使っていないが、一方時枝記事の計算は「フルパワーの選択公理」を使っているから良いのだと、言い訳したい”>>452 んだろう?(^^
スレ主の読解力の無さは異常
スレ主がどんな時枝戦略無効の証明を出しても、それは間違っているとID:JrNslrexは言っている
>>530
>2.一方、ZFC下の現代確率論からは、しっかり数学としての結論が導けるよ。小学生でも分かる簡単な話だがね(^^
だから、無駄なコピペなんてせずに、早くその時枝戦略無効の証明を書けよ
>”やりたいことは、>>427「ZFC下での現代確率論から導かれる確率計算と、時枝記事の計算とは合わないってこと。および、その解説」なんだけど
>その証明が出たときに、現代確率論は「フルパワーの選択公理」を使っていないが、一方時枝記事の計算は「フルパワーの選択公理」を使っているから良いのだと、言い訳したい”>>452 んだろう?(^^
スレ主の読解力の無さは異常
スレ主がどんな時枝戦略無効の証明を出しても、それは間違っているとID:JrNslrexは言っている
>>530
>2.一方、ZFC下の現代確率論からは、しっかり数学としての結論が導けるよ。小学生でも分かる簡単な話だがね(^^
だから、無駄なコピペなんてせずに、早くその時枝戦略無効の証明を書けよ
533132人目の素数さん
2017/07/29(土) 18:15:39.08ID:ZuTY26E1 >あと、「ZFC下での現代確率論から導かれる確率計算と、時枝記事の計算とは合わない」は、小学生でも分かる簡単な話だ。
まだこんなこと言ってんのかw アホ過ぎw
まだこんなこと言ってんのかw アホ過ぎw
534132人目の素数さん
2017/07/29(土) 18:18:43.58ID:ZuTY26E1 手取り足取り教えてもらってもまだ理解できない池沼スレ主
535132人目の素数さん
2017/07/29(土) 18:23:37.23ID:JR1UV3RD536132人目の素数さん
2017/07/29(土) 18:39:31.96ID:/PUW/FvB537132人目の素数さん
2017/07/29(土) 18:40:36.50ID:ZuTY26E1 >ああ、608 ”関数が具体的に構成できるとは述べておりませんし構成は必要ありません”と言い訳してましたかね?
各同値類から任意の1元を選択すれば R^N/〜 の代表系が構成される
そのような構成が可能なことは選択公理が保証している
こんな簡単な理屈すら理解できないアホ主 全く話にならない
各同値類から任意の1元を選択すれば R^N/〜 の代表系が構成される
そのような構成が可能なことは選択公理が保証している
こんな簡単な理屈すら理解できないアホ主 全く話にならない
538132人目の素数さん
2017/07/29(土) 18:41:59.46ID:/PUW/FvB539132人目の素数さん
2017/07/29(土) 18:47:02.08ID:/PUW/FvB つうか数学の議論よりコピペの方が役に立つとか何とか言っといてデタラメをコピペするのはアリエネ
540132人目の素数さん
2017/07/29(土) 18:47:06.43ID:ZuTY26E1 量子力学だのコンヌだのと話題逸らす暇があったら数列の勉強でもしろアホ
541132人目の素数さん
2017/07/29(土) 20:13:08.32ID:sTElbR6q >>519
idiotは同レベルの奴を賢いと持ち上げて自画自賛するわけだな
idiotは同レベルの奴を賢いと持ち上げて自画自賛するわけだな
542132人目の素数さん
2017/07/29(土) 20:18:31.07ID:sTElbR6q >>522
>「フルパワーの選択公理」ってところを、もう少し掘り下げておきたい
自明だがね
箱の中身が0か1かの2つだとしよう
各同値類は有限列全体の集合と同じだから可算集合
そして同値類の個数は非可算集合
非可算個の同値類から、1つづつ代表列をとるから非可算選択公理
可算選択公理では、非可算個の同値類からの選択はできない
>「フルパワーの選択公理」ってところを、もう少し掘り下げておきたい
自明だがね
箱の中身が0か1かの2つだとしよう
各同値類は有限列全体の集合と同じだから可算集合
そして同値類の個数は非可算集合
非可算個の同値類から、1つづつ代表列をとるから非可算選択公理
可算選択公理では、非可算個の同値類からの選択はできない
543132人目の素数さん
2017/07/29(土) 20:20:27.08ID:sTElbR6q544132人目の素数さん
2017/07/29(土) 20:27:09.65ID:sTElbR6q >>529
>制限付きの選択公理で出来ることは、
>全て上位互換バージョンの「フルパワーの選択公理」で可能
>>542でも書いたように、非可測集合の構成は
ソロヴェイのモデルで許容される可算選択公理ではできない
ソロヴェイのモデルとは「実数上の集合は皆ルベーグ可測」というもの
http://tenasaku.com/academia/notes/lss07_fujita_release.pdf
定理 1. ZFC 集合論 +“到達不可能基数の存在” のモデルが存在すれば,
次の 4 個の命題が成立するようなZF 集合論のモデルが存在する:
(a) 従属選択の公理 (Axiom of Dependent Choice, DC),
(b) 実数のあらゆる集合がルベーグ可測である (LM),
(c) 実数のあらゆる集合がベールの性質を有する (BP),
(d) 実数のあらゆる不可算集合が完全集合を含む (PS).
>制限付きの選択公理で出来ることは、
>全て上位互換バージョンの「フルパワーの選択公理」で可能
>>542でも書いたように、非可測集合の構成は
ソロヴェイのモデルで許容される可算選択公理ではできない
ソロヴェイのモデルとは「実数上の集合は皆ルベーグ可測」というもの
http://tenasaku.com/academia/notes/lss07_fujita_release.pdf
定理 1. ZFC 集合論 +“到達不可能基数の存在” のモデルが存在すれば,
次の 4 個の命題が成立するようなZF 集合論のモデルが存在する:
(a) 従属選択の公理 (Axiom of Dependent Choice, DC),
(b) 実数のあらゆる集合がルベーグ可測である (LM),
(c) 実数のあらゆる集合がベールの性質を有する (BP),
(d) 実数のあらゆる不可算集合が完全集合を含む (PS).
545132人目の素数さん
2017/07/29(土) 20:35:30.81ID:sTElbR6q >>530
>”ACを認めたまま「予測不能」という結論を導けるわけない
ACを認めれば同値類の代表列がとれる
元の列と同値類の代表列は、ある箇所から先が全部一致する
つまり予測したい箱が、ある箇所から先にあれば予測できてしまう
>ZFC下の現代確率論からは、しっかり数学としての結論が導けるよ。
>>1のいう「予測不能」の結論は導けない
単に、決定番号の分布に固執したら計算できない、というだけ
それは「予測不能」という意味ではない
一方
「n列の中から1列選んで、その列の決定番号が、
n列の決定番号の最大値である確率」
は、実は決定番号の分布がどうであろうと同じ1/n
この結論は
「どの列の決定番号の分布も同じである」
という条件だけから導ける
測度にのみ固執すれば馬鹿になる
測度以前の条件に気づけるのがお利口
>”ACを認めたまま「予測不能」という結論を導けるわけない
ACを認めれば同値類の代表列がとれる
元の列と同値類の代表列は、ある箇所から先が全部一致する
つまり予測したい箱が、ある箇所から先にあれば予測できてしまう
>ZFC下の現代確率論からは、しっかり数学としての結論が導けるよ。
>>1のいう「予測不能」の結論は導けない
単に、決定番号の分布に固執したら計算できない、というだけ
それは「予測不能」という意味ではない
一方
「n列の中から1列選んで、その列の決定番号が、
n列の決定番号の最大値である確率」
は、実は決定番号の分布がどうであろうと同じ1/n
この結論は
「どの列の決定番号の分布も同じである」
という条件だけから導ける
測度にのみ固執すれば馬鹿になる
測度以前の条件に気づけるのがお利口
546132人目の素数さん
2017/07/29(土) 20:42:53.21ID:JR1UV3RD547132人目の素数さん
2017/07/29(土) 20:43:51.46ID:sTElbR6q548132人目の素数さん
2017/07/29(土) 20:47:06.68ID:sTElbR6q >>546
>>「どの列の決定番号の分布も同じである」
>>という条件だけから導ける
>この条件は、1列を等確率でランダムに選ぶなら、いらない
そういう正当化もあるだろう
ただ、”列ごとに決定番号の分布が違う”と考える理由がない
>>「どの列の決定番号の分布も同じである」
>>という条件だけから導ける
>この条件は、1列を等確率でランダムに選ぶなら、いらない
そういう正当化もあるだろう
ただ、”列ごとに決定番号の分布が違う”と考える理由がない
549132人目の素数さん
2017/07/29(土) 20:51:02.58ID:sTElbR6q550132人目の素数さん
2017/07/29(土) 20:53:47.15ID:sTElbR6q551132人目の素数さん
2017/07/29(土) 21:27:45.47ID:JR1UV3RD553132人目の素数さん
2017/07/29(土) 21:54:17.45ID:ZuTY26E1 n個の相異なる自然数からランダムに選んだ1個が最大である確率は1/n
この命題はn個の相異なる自然数がどんな分布だろうと真
だから分布など考える必要が無いし、もし特定の分布が必要になるなら時枝問題は証明不可能になるだろう。
この命題はn個の相異なる自然数がどんな分布だろうと真
だから分布など考える必要が無いし、もし特定の分布が必要になるなら時枝問題は証明不可能になるだろう。
555132人目の素数さん
2017/07/30(日) 01:35:27.02ID:B7ND26hG556¥氏 ◆2VB8wsVUoo
2017/07/30(日) 06:37:48.34ID:nE1UZLk9 ¥
557132人目の素数さん
2017/07/30(日) 09:32:01.34ID:Me5q97PH >>555
数学分かってない時点で同類
数学分かってない時点で同類
558132人目の素数さん
2017/07/30(日) 09:34:29.43ID:Me5q97PH >>551
>出題者がどんなふうに数列を選ぶのかが分からないのだから、
>列ごとの決定番号の分布がどうなるのかも分からない
列ごとの決定番号の分布は、同値類と代表元の定理から明らか
どの列の分布も同じになるから、どう選ぼうと結果は変わらない
>出題者がどんなふうに数列を選ぶのかが分からないのだから、
>列ごとの決定番号の分布がどうなるのかも分からない
列ごとの決定番号の分布は、同値類と代表元の定理から明らか
どの列の分布も同じになるから、どう選ぼうと結果は変わらない
559132人目の素数さん
2017/07/30(日) 10:08:37.44ID:/7IMQE4V560132人目の素数さん
2017/07/30(日) 10:20:05.39ID:Me5q97PH >>559
証明以前の定義
証明以前の定義
561132人目の素数さん
2017/07/30(日) 10:46:01.28ID:/7IMQE4V 「列毎の決定番号の分布」などというものは定義されてないと思いますが
違うとおっしゃるなら、先ずはその定義を書いて下さい
違うとおっしゃるなら、先ずはその定義を書いて下さい
562132人目の素数さん
2017/07/30(日) 11:14:12.11ID:B7ND26hG563132人目の素数さん
2017/07/30(日) 11:23:01.28ID:j1PATNPx564132人目の素数さん
2017/07/30(日) 11:28:10.08ID:j1PATNPx565132人目の素数さん
2017/07/30(日) 11:32:52.50ID:j1PATNPx566132人目の素数さん
2017/07/30(日) 12:09:00.94ID:uhoPYoXV おっちゃんが数学を分かってないのは
過去スレでさんざん露呈しているので、
今さら「数学を分かってない根拠」を提示する必要もない。
お前みたいなのが研究とか笑わせんなよ。
何か新しい結果があるならさっさと論文にしてみろよ。
研究をチラつかせて>>562みたいな反論をしてみても、
論文の1つくらい既に出版されてないと負け犬の遠吠えだぞ。
で、こいつがやってきた研究とやらは、
「私の計算によれば、かの有名な〇〇の定理は間違っている」
という明らかなトンデモか(もちろん おっちゃんの計算ミスである)、
もしくは既に知られている有名な定理の自明な適用によるお遊びにすぎない。
それ以外の、おっちゃんがずっとチラつかせつつも
一向に具体的な中身を書き込まない「新しい結果」と思しき内容は、
何カ月か経つと「やっぱり間違っていた」とおっちゃん本人が撤回し、
さらに数カ月たつと「やっぱりできた」とチラつかせる、の無限ループ。
また、研究(笑)とは関係のない数学の雑談でも、おっちゃんは極めて高い確率で「間違える」。
要するに、研究(笑)とか雑談とかに関わらず、おっちゃんは極めて高い確率で「数学を間違える」。
誰の目から見てもおっちゃんは数学を全く分かってない。
この有様で本人は数学をしているつもりになっているのだから全く笑えない。
過去スレでさんざん露呈しているので、
今さら「数学を分かってない根拠」を提示する必要もない。
お前みたいなのが研究とか笑わせんなよ。
何か新しい結果があるならさっさと論文にしてみろよ。
研究をチラつかせて>>562みたいな反論をしてみても、
論文の1つくらい既に出版されてないと負け犬の遠吠えだぞ。
で、こいつがやってきた研究とやらは、
「私の計算によれば、かの有名な〇〇の定理は間違っている」
という明らかなトンデモか(もちろん おっちゃんの計算ミスである)、
もしくは既に知られている有名な定理の自明な適用によるお遊びにすぎない。
それ以外の、おっちゃんがずっとチラつかせつつも
一向に具体的な中身を書き込まない「新しい結果」と思しき内容は、
何カ月か経つと「やっぱり間違っていた」とおっちゃん本人が撤回し、
さらに数カ月たつと「やっぱりできた」とチラつかせる、の無限ループ。
また、研究(笑)とは関係のない数学の雑談でも、おっちゃんは極めて高い確率で「間違える」。
要するに、研究(笑)とか雑談とかに関わらず、おっちゃんは極めて高い確率で「数学を間違える」。
誰の目から見てもおっちゃんは数学を全く分かってない。
この有様で本人は数学をしているつもりになっているのだから全く笑えない。
567132人目の素数さん
2017/07/30(日) 12:23:19.80ID:x0k9SnDQ >>558
>列ごとの決定番号の分布は、同値類と代表元の定理から明らか
何がどう明らかなの? 出題者の数列の選び方に依るだろ
>どの列の分布も同じになる
出題者がずっと同じ数列を出題したとしたら、各列の決定番号の確率分布は、ある自然数で1、その他で0になる
それら全部が同じになる?
>列ごとの決定番号の分布は、同値類と代表元の定理から明らか
何がどう明らかなの? 出題者の数列の選び方に依るだろ
>どの列の分布も同じになる
出題者がずっと同じ数列を出題したとしたら、各列の決定番号の確率分布は、ある自然数で1、その他で0になる
それら全部が同じになる?
568132人目の素数さん
2017/07/30(日) 13:18:14.44ID:Me5q97PH569132人目の素数さん
2017/07/30(日) 13:30:08.68ID:/7IMQE4V >>568
>箱がたくさん,可算無限個ある.箱それぞれに,私が実数を入れる. どんな実数を入れるかはまったく自由
毎回同じ実数列を出題してもよい、自由なんだから、わかる?
>独立性に反する
毎回ランダムにしろ、などとはどこにも書かれてない
>箱がたくさん,可算無限個ある.箱それぞれに,私が実数を入れる. どんな実数を入れるかはまったく自由
毎回同じ実数列を出題してもよい、自由なんだから、わかる?
>独立性に反する
毎回ランダムにしろ、などとはどこにも書かれてない
570132人目の素数さん
2017/07/30(日) 13:31:29.85ID:B7ND26hG >>566
>何か新しい結果があるならさっさと論文にしてみろよ。
坊や、まだ書かないだけだよw
>で、こいつがやってきた研究とやらは、
>
>「私の計算によれば、かの有名な〇〇の定理は間違っている」
>
>という明らかなトンデモか(もちろん おっちゃんの計算ミスである)、
>もしくは既に知られている有名な定理の自明な適用によるお遊びにすぎない。
それがどうやら違うようなんだよな〜。
結果にはそれなりの意義があるようなんだよな〜。
>何か新しい結果があるならさっさと論文にしてみろよ。
坊や、まだ書かないだけだよw
>で、こいつがやってきた研究とやらは、
>
>「私の計算によれば、かの有名な〇〇の定理は間違っている」
>
>という明らかなトンデモか(もちろん おっちゃんの計算ミスである)、
>もしくは既に知られている有名な定理の自明な適用によるお遊びにすぎない。
それがどうやら違うようなんだよな〜。
結果にはそれなりの意義があるようなんだよな〜。
571132人目の素数さん
2017/07/30(日) 13:33:46.59ID:Me5q97PH >>563
「箱入り無数目」記事の確率を出すだけなら
n個の要素の順列(有限個!)中、
選択したi番目に最大値の要素が入らないもの
の割合を計算すればいい それが(n-1)/n
小学生レベルの話
ID:j1PATNPxは小学校で算数習わなかったか?
>>564
まずr∈R^Nを固定した場合で選ぶ列iを固定した場合は
同じ値しかでない アホウでも分かる
次にr∈R^Nが固定され、かつ選ぶ1列をランダムに選択したときは
確かに99/100が出る これまたアホウでも分かる
最後にrが確率的に変化するときは99/100でないといってるがこれは誤り
ID:j1PATNPxにはこのことがどうしても理解できないらしい
>>565
すでに小学校の算数で習う方法を書いてやった
これが理解できないなら算数が理解できないということ
>>1やおっちゃんと同レベルだな idiot三兄弟か?w
「箱入り無数目」記事の確率を出すだけなら
n個の要素の順列(有限個!)中、
選択したi番目に最大値の要素が入らないもの
の割合を計算すればいい それが(n-1)/n
小学生レベルの話
ID:j1PATNPxは小学校で算数習わなかったか?
>>564
まずr∈R^Nを固定した場合で選ぶ列iを固定した場合は
同じ値しかでない アホウでも分かる
次にr∈R^Nが固定され、かつ選ぶ1列をランダムに選択したときは
確かに99/100が出る これまたアホウでも分かる
最後にrが確率的に変化するときは99/100でないといってるがこれは誤り
ID:j1PATNPxにはこのことがどうしても理解できないらしい
>>565
すでに小学校の算数で習う方法を書いてやった
これが理解できないなら算数が理解できないということ
>>1やおっちゃんと同レベルだな idiot三兄弟か?w
572132人目の素数さん
2017/07/30(日) 13:35:10.00ID:Me5q97PH573132人目の素数さん
2017/07/30(日) 13:37:06.70ID:/7IMQE4V これは数当てゲームなんだぜ?出題者だって勝ちたいだろw
あんたはジャンケンするとき相手に「毎回同じ手は出すな」などと要求するのか?w
あんたはジャンケンするとき相手に「毎回同じ手は出すな」などと要求するのか?w
574132人目の素数さん
2017/07/30(日) 13:37:17.47ID:Me5q97PH575132人目の素数さん
2017/07/30(日) 13:40:26.47ID:Me5q97PH >>573
>これは数当てゲームなんだぜ?
「独立性」を設定しているので、
その設定に反したら負けですよ
>あんたはジャンケンするとき
>相手に「毎回同じ手は出すな」
>などと要求するのか?
余談だがジャンケンの手が独立性を有してないことは統計的に検定可能
そういう根本的なこともご存じないとはやはり数学教育を受けてないidiotだな
>これは数当てゲームなんだぜ?
「独立性」を設定しているので、
その設定に反したら負けですよ
>あんたはジャンケンするとき
>相手に「毎回同じ手は出すな」
>などと要求するのか?
余談だがジャンケンの手が独立性を有してないことは統計的に検定可能
そういう根本的なこともご存じないとはやはり数学教育を受けてないidiotだな
576132人目の素数さん
2017/07/30(日) 13:42:29.70ID:/7IMQE4V >>572
>独立性の意味を知らんとか正真正銘のidiotだな
>「毎回ランダム」って意味だぞ 知らんのか?idiot
落ち付けよw
「毎回ランダム」でも「独立」でもいいから、記事上の書かれてる箇所を引用してくれ
俺が
>箱がたくさん,可算無限個ある.箱それぞれに,私が実数を入れる. どんな実数を入れるかはまったく自由
と引用したように
>独立性の意味を知らんとか正真正銘のidiotだな
>「毎回ランダム」って意味だぞ 知らんのか?idiot
落ち付けよw
「毎回ランダム」でも「独立」でもいいから、記事上の書かれてる箇所を引用してくれ
俺が
>箱がたくさん,可算無限個ある.箱それぞれに,私が実数を入れる. どんな実数を入れるかはまったく自由
と引用したように
577132人目の素数さん
2017/07/30(日) 13:42:32.59ID:B7ND26hG >>574
まあ、後で間違いを書いていたと認識することになるのはあなたであろう。
まあ、後で間違いを書いていたと認識することになるのはあなたであろう。
578132人目の素数さん
2017/07/30(日) 13:44:19.06ID:Me5q97PH >>577
悔しいのはわかるが皆が社会の勝者になれるわけではない
悔しいのはわかるが皆が社会の勝者になれるわけではない
579132人目の素数さん
2017/07/30(日) 13:44:49.25ID:B7ND26hG >>574
数学教育に熱心な人か?
数学教育に熱心な人か?
580132人目の素数さん
2017/07/30(日) 13:44:50.44ID:x0k9SnDQ >>567
>こんな馬鹿なこといってる時点で確率を誤解している
反論できないのか?
分布の背後には確率空間がある
おまえは、いったいどういう確率空間を考えているんだ?
>独立性に反する
どういうものたちが独立であるとするのか、ちゃんと書いてくれないか
そして、「出題者がずっと同じ数列を出題したとしたら」、独立でないという証明も
>こんな馬鹿なこといってる時点で確率を誤解している
反論できないのか?
分布の背後には確率空間がある
おまえは、いったいどういう確率空間を考えているんだ?
>独立性に反する
どういうものたちが独立であるとするのか、ちゃんと書いてくれないか
そして、「出題者がずっと同じ数列を出題したとしたら」、独立でないという証明も
581132人目の素数さん
2017/07/30(日) 13:45:36.21ID:x0k9SnDQ582132人目の素数さん
2017/07/30(日) 13:48:38.78ID:B7ND26hG583132人目の素数さん
2017/07/30(日) 13:51:21.09ID:Me5q97PH584132人目の素数さん
2017/07/30(日) 13:52:30.44ID:x0k9SnDQ585132人目の素数さん
2017/07/30(日) 13:55:58.81ID:Me5q97PH586132人目の素数さん
2017/07/30(日) 13:57:39.95ID:Me5q97PH587132人目の素数さん
2017/07/30(日) 13:58:30.28ID:Me5q97PH 自分一匹の勝利しか目指さない法学馬鹿は人類全体の敵
588132人目の素数さん
2017/07/30(日) 14:00:01.87ID:Me5q97PH 数学的に意味のある問いを考える意欲がなく
「数学的に意味がないが答えが自明な問い」に
無理矢理捻じ曲げたがる法学馬鹿は数学板に来るな
「数学的に意味がないが答えが自明な問い」に
無理矢理捻じ曲げたがる法学馬鹿は数学板に来るな
589132人目の素数さん
2017/07/30(日) 14:00:36.64ID:/7IMQE4V >>583
はぁ?
俺は君の主張が記事のどこに書かれてるのか聞いてるだけなんだが
それすら答えられずに中傷で返すなら、君の負けになるけどいいの?
もう一度だけチャンスを与える
「毎回同じ実数列を出題してはならない」というルールは記事のどこに書かれてますか?
はぁ?
俺は君の主張が記事のどこに書かれてるのか聞いてるだけなんだが
それすら答えられずに中傷で返すなら、君の負けになるけどいいの?
もう一度だけチャンスを与える
「毎回同じ実数列を出題してはならない」というルールは記事のどこに書かれてますか?
590132人目の素数さん
2017/07/30(日) 14:04:14.46ID:Me5q97PH 法学馬鹿のトリビアル戦略について考えてみようw
箱にいれる数が1種類だとすれば
できる数列は皆同じであり
同値類も決定番号も皆同じである
この場合、「箱入り無数目」の戦略は確実に成功する
選んだ数列の決定番号が、他の数列より大きくなることは決してないからだw
法学馬鹿がこの戦略をとるのは自由だが、
ミッドウェー海戦なみの大惨敗を喫するのは明らかである
やはり法学馬鹿の姑息な猿知恵は無意味なようだw
箱にいれる数が1種類だとすれば
できる数列は皆同じであり
同値類も決定番号も皆同じである
この場合、「箱入り無数目」の戦略は確実に成功する
選んだ数列の決定番号が、他の数列より大きくなることは決してないからだw
法学馬鹿がこの戦略をとるのは自由だが、
ミッドウェー海戦なみの大惨敗を喫するのは明らかである
やはり法学馬鹿の姑息な猿知恵は無意味なようだw
591132人目の素数さん
2017/07/30(日) 14:05:37.75ID:Me5q97PH592132人目の素数さん
2017/07/30(日) 14:06:56.18ID:x0k9SnDQ593132人目の素数さん
2017/07/30(日) 14:08:43.99ID:Me5q97PH 負け犬ポチは、問題設定に関する議論では「大勝利」を収めたが
肝心の自分の戦略が、記事の戦略に勝てるかどうかについては
みっともないほどの大惨敗を喫したwwwwwww
どこぞの島国の軍人や官僚の小利口さに通じるものがあるな
肝心の自分の戦略が、記事の戦略に勝てるかどうかについては
みっともないほどの大惨敗を喫したwwwwwww
どこぞの島国の軍人や官僚の小利口さに通じるものがあるな
594132人目の素数さん
2017/07/30(日) 14:13:15.97ID:Me5q97PH595132人目の素数さん
2017/07/30(日) 14:15:49.03ID:/7IMQE4V596132人目の素数さん
2017/07/30(日) 14:20:59.88ID:Me5q97PH >>595
>勝ちは要らない
いや、やるよ 欲しいんだろ?負け犬ポチ
独立だって書いてないからな
嬉しいだろ?こんなことでも勝てて
こんなチャンスめったにないだろ
万歳三唱して喜べ 多分人生最後の勝ちだぞw
>勝ちは要らない
いや、やるよ 欲しいんだろ?負け犬ポチ
独立だって書いてないからな
嬉しいだろ?こんなことでも勝てて
こんなチャンスめったにないだろ
万歳三唱して喜べ 多分人生最後の勝ちだぞw
597132人目の素数さん
2017/07/30(日) 14:24:21.75ID:Me5q97PH >深呼吸しよう
おまえがしたらどうだ?
おまえが望んでいたのはこんなことなのか?
サルじゃなく人間だっていうんなら、
自分のやってきたことにたいする反省も必要だぞ
そもそもおまえは無意味なゲームに勝ち続けて
肝心な人生を棒に振ったんじゃないのか?
おまえがしたらどうだ?
おまえが望んでいたのはこんなことなのか?
サルじゃなく人間だっていうんなら、
自分のやってきたことにたいする反省も必要だぞ
そもそもおまえは無意味なゲームに勝ち続けて
肝心な人生を棒に振ったんじゃないのか?
598132人目の素数さん
2017/07/30(日) 14:26:56.69ID:/7IMQE4V599132人目の素数さん
2017/07/30(日) 14:31:14.47ID:Me5q97PH600132人目の素数さん
2017/07/30(日) 14:42:02.90ID:/7IMQE4V >>599
>「箱入り無数目」が暗に箱どうしの独立性を想定していることは
>記事の最後の文章からもわかる
「箱がたくさん,可算無限個ある.箱それぞれに,私が実数を入れる.
どんな実数を入れるかはまったく自由」
という記述から、どう考えても箱どうしは独立なんだが???
君が一体何を言いたいのかわからない。
>「箱入り無数目」が暗に箱どうしの独立性を想定していることは
>記事の最後の文章からもわかる
「箱がたくさん,可算無限個ある.箱それぞれに,私が実数を入れる.
どんな実数を入れるかはまったく自由」
という記述から、どう考えても箱どうしは独立なんだが???
君が一体何を言いたいのかわからない。
601132人目の素数さん
2017/07/30(日) 15:02:27.56ID:Me5q97PH602132人目の素数さん
2017/07/30(日) 15:09:56.29ID:B7ND26hG603132人目の素数さん
2017/07/30(日) 15:12:05.92ID:/7IMQE4V >>601
何が言いたいのかさっぱりだけど、結局
>列ごとの決定番号の分布が同じになる
>また、そのことから確率 (n-1)/n が示せる
という主張は取り下げたと思っていいの?
(悪いが、それ以外の君の発言には何の興味も無い)
何が言いたいのかさっぱりだけど、結局
>列ごとの決定番号の分布が同じになる
>また、そのことから確率 (n-1)/n が示せる
という主張は取り下げたと思っていいの?
(悪いが、それ以外の君の発言には何の興味も無い)
604132人目の素数さん
2017/07/30(日) 18:12:27.12ID:Me5q97PH605132人目の素数さん
2017/07/30(日) 19:21:17.32ID:/7IMQE4V >>604
出題者がどんな実数列 s∈R^N を出題しようと自由 というのがルールだ
もちろん毎回同じでも構わない、だから今そうしたと仮定する
その時あなたのレスを読んだ出題者はこう思うだろう
「順列?はあ?毎回同じ s を出題してるのに順列?この人何言ってんだろう?」
出題者がどんな実数列 s∈R^N を出題しようと自由 というのがルールだ
もちろん毎回同じでも構わない、だから今そうしたと仮定する
その時あなたのレスを読んだ出題者はこう思うだろう
「順列?はあ?毎回同じ s を出題してるのに順列?この人何言ってんだろう?」
606132人目の素数さん
2017/07/30(日) 20:00:13.58ID:q6AoWb62 数当てゲームを100回やるの?
607132人目の素数さん
2017/07/30(日) 21:18:02.33ID:fnoPbDVd >>571
> 最後にrが確率的に変化するときは99/100でないといってるがこれは誤り
> ID:j1PATNPxにはこのことがどうしても理解できないらしい
決定番号d:R^N→Nが可測ではないので測度論的に99/100をダイレクトには導けない
測度論を用いないお前の"確率"の定義を書け
それができないなら空論に過ぎない
> 最後にrが確率的に変化するときは99/100でないといってるがこれは誤り
> ID:j1PATNPxにはこのことがどうしても理解できないらしい
決定番号d:R^N→Nが可測ではないので測度論的に99/100をダイレクトには導けない
測度論を用いないお前の"確率"の定義を書け
それができないなら空論に過ぎない
608132人目の素数さん
2017/07/30(日) 21:31:28.76ID:fnoPbDVd >>571
念のため言っておくが、お前の
『確率は99/100に違いない』
という直感を否定しているのではない
命題A:任意のfixされたr∈R^Nで99/100が成り立つ
命題B:r∈R^Nを確率標本にとっても99/100が成り立つ
命題A⇒命題Bは直感的にたしかに自明のように見える
しかしそれを測度論的にすんなり正当化できないことが問題なわけだ。
命題Aすら否定する『決定番号は∞君』は論外だ
しかし定義無しの"確率"を振りかざして命題Bの成立を自明と扱うお前も論外だ
小学生以下でもわかるという、お前の"確率"とは何だ?
測度論に拘らないお前の"確率"の数学的定義は何だ?
きちんと共有せよ
でなければ議論が始まらんだろ?
小学生だの算数だの煽ってばかりじゃ>>1とおんなじだろうが
念のため言っておくが、お前の
『確率は99/100に違いない』
という直感を否定しているのではない
命題A:任意のfixされたr∈R^Nで99/100が成り立つ
命題B:r∈R^Nを確率標本にとっても99/100が成り立つ
命題A⇒命題Bは直感的にたしかに自明のように見える
しかしそれを測度論的にすんなり正当化できないことが問題なわけだ。
命題Aすら否定する『決定番号は∞君』は論外だ
しかし定義無しの"確率"を振りかざして命題Bの成立を自明と扱うお前も論外だ
小学生以下でもわかるという、お前の"確率"とは何だ?
測度論に拘らないお前の"確率"の数学的定義は何だ?
きちんと共有せよ
でなければ議論が始まらんだろ?
小学生だの算数だの煽ってばかりじゃ>>1とおんなじだろうが
609132人目の素数さん
2017/07/31(月) 06:47:55.03ID:dVIlvrwA610132人目の素数さん
2017/07/31(月) 06:54:46.86ID:dVIlvrwA >>608
>fixされたr
この馬鹿はなぜかrをfixしたがる
いわゆる肛門期かもしれんw
>測度論的にすんなり正当化できない
また「的」だ
なぜ「決定番号の測度に基づいて」と書けない?
>小学生以下でもわかるという、お前の"確率"とは何だ?
「確率」にこだわるのが馬鹿w
必要なのは「”100個の自然数”の列」から順序関係だけ抽出して
「長さ100の順列」を取り出す発想
100個の自然数の列ならN^100だが、
長さ100の順列なら100!だ
しかももとの列どうしは独立性により交換可能なのだから
順列どうしはみな同じ確率になる ここがポイント
みな測度論以外の考え方 測度論しか知らぬ馬鹿には
100遍死んでもわかるまいがな
>fixされたr
この馬鹿はなぜかrをfixしたがる
いわゆる肛門期かもしれんw
>測度論的にすんなり正当化できない
また「的」だ
なぜ「決定番号の測度に基づいて」と書けない?
>小学生以下でもわかるという、お前の"確率"とは何だ?
「確率」にこだわるのが馬鹿w
必要なのは「”100個の自然数”の列」から順序関係だけ抽出して
「長さ100の順列」を取り出す発想
100個の自然数の列ならN^100だが、
長さ100の順列なら100!だ
しかももとの列どうしは独立性により交換可能なのだから
順列どうしはみな同じ確率になる ここがポイント
みな測度論以外の考え方 測度論しか知らぬ馬鹿には
100遍死んでもわかるまいがな
611132人目の素数さん
2017/07/31(月) 07:11:18.55ID:847xNoY6 横レスだが、
>長さ100の順列は100!だから有限個
>し・か・も、それぞれの順列が選ばれる確率は同じ
これは 100!個の元から成る標準的な離散確率空間を考えているのと
同じことであり、完全に測度論の一部だよね。
なんでいつの間にかそういう確率測度にすげ替えようとしてるのかは知らんけど。
>長さ100の順列は100!だから有限個
>し・か・も、それぞれの順列が選ばれる確率は同じ
これは 100!個の元から成る標準的な離散確率空間を考えているのと
同じことであり、完全に測度論の一部だよね。
なんでいつの間にかそういう確率測度にすげ替えようとしてるのかは知らんけど。
612¥氏 ◆2VB8wsVUoo
2017/07/31(月) 07:16:26.12ID:M76QQSs2 ¥
613132人目の素数さん
2017/07/31(月) 07:24:23.58ID:OKkyvbiz >>610
おっちゃんです。
言葉を最初に定義してから始めると曖昧さがなくなり論理的な議論が出来るため、
測度論にこだわらない「確率」の定義をしろと要求されている。それが他の人の主な趣旨だ。
>「確率」にこだわるのが馬鹿w
といいながら
>しかももとの列どうしは独立性により交換可能なのだから
>順列どうしはみな同じ確率になる ここがポイント
の箇所で「確率」という言葉を用いている。
どうやら、多くの人と共有した数学の議論の仕方や数学の方法論を知らないようですな。
おっちゃんです。
言葉を最初に定義してから始めると曖昧さがなくなり論理的な議論が出来るため、
測度論にこだわらない「確率」の定義をしろと要求されている。それが他の人の主な趣旨だ。
>「確率」にこだわるのが馬鹿w
といいながら
>しかももとの列どうしは独立性により交換可能なのだから
>順列どうしはみな同じ確率になる ここがポイント
の箇所で「確率」という言葉を用いている。
どうやら、多くの人と共有した数学の議論の仕方や数学の方法論を知らないようですな。
614132人目の素数さん
2017/07/31(月) 08:00:47.20ID:CUcZZyWZ >>609-610
> しかし、99/100を決定番号の測度から導く必要がない
>
> 100個の列から長さ100の順列への関数を考えればいいだけ
> 長さ100の順列は100!だから有限個
> し・か・も、それぞれの順列が選ばれる確率は同じ
R^Nを確率空間に取ると100個の決定番号d_i(r_i)は非可測
測度論ではお前の考えは成り立たない
一般に数学において確率とは確率測度のことを指す
しかしお前は測度から導く必要がないという
早くお前の"確率"の定義を書け
書けないなら空論に過ぎない
> みな測度論以外の考え方 測度論しか知らぬ馬鹿には
> 100遍死んでもわかるまいがな
定義がなければ100偏死んでも誰も分からん
早く定義を書きなさい
逃げる、煽る、質問に答えず無関係なことを書く
お前はスレ主を馬鹿にしているが、スレ主となんら変わらない
> しかし、99/100を決定番号の測度から導く必要がない
>
> 100個の列から長さ100の順列への関数を考えればいいだけ
> 長さ100の順列は100!だから有限個
> し・か・も、それぞれの順列が選ばれる確率は同じ
R^Nを確率空間に取ると100個の決定番号d_i(r_i)は非可測
測度論ではお前の考えは成り立たない
一般に数学において確率とは確率測度のことを指す
しかしお前は測度から導く必要がないという
早くお前の"確率"の定義を書け
書けないなら空論に過ぎない
> みな測度論以外の考え方 測度論しか知らぬ馬鹿には
> 100遍死んでもわかるまいがな
定義がなければ100偏死んでも誰も分からん
早く定義を書きなさい
逃げる、煽る、質問に答えず無関係なことを書く
お前はスレ主を馬鹿にしているが、スレ主となんら変わらない
615132人目の素数さん
2017/07/31(月) 08:14:56.09ID:CUcZZyWZ >>610
> また「的」だ
> なぜ「決定番号の測度に基づいて」と書けない?
『決定番号の測度に基づかなくても確率が求まる』というからには、
測度論"的"確率論以外の確率論を持ってくる必要がある
お前の何の確率を語ってるんだ?
早 く 定 義 を 書 け
> 「確率」にこだわるのが馬鹿w
> 必要なのは「”100個の自然数”の列」から順序関係だけ抽出して
> 「長さ100の順列」を取り出す発想
>
> 100個の自然数の列ならN^100だが、
> 長さ100の順列なら100!だ
>
> しかももとの列どうしは独立性により交換可能なのだから
> 順列どうしはみな同じ確率になる ここがポイント
お前の"確率"が無定義なので
『順列どうしはみな同じ"確率"になる』
といわれても意味不明である(笑)
非可測な自然数100個を順列に置き換えたところで
非可測である状況はなんら変わらない
非可測でも確率を定義できるお前の"確率"とは何だ?
早 く 定 義 を 書 け
> また「的」だ
> なぜ「決定番号の測度に基づいて」と書けない?
『決定番号の測度に基づかなくても確率が求まる』というからには、
測度論"的"確率論以外の確率論を持ってくる必要がある
お前の何の確率を語ってるんだ?
早 く 定 義 を 書 け
> 「確率」にこだわるのが馬鹿w
> 必要なのは「”100個の自然数”の列」から順序関係だけ抽出して
> 「長さ100の順列」を取り出す発想
>
> 100個の自然数の列ならN^100だが、
> 長さ100の順列なら100!だ
>
> しかももとの列どうしは独立性により交換可能なのだから
> 順列どうしはみな同じ確率になる ここがポイント
お前の"確率"が無定義なので
『順列どうしはみな同じ"確率"になる』
といわれても意味不明である(笑)
非可測な自然数100個を順列に置き換えたところで
非可測である状況はなんら変わらない
非可測でも確率を定義できるお前の"確率"とは何だ?
早 く 定 義 を 書 け
2017/07/31(月) 08:19:58.89ID:z8P//WPb
>>609-610
ID:dVIlvrwAさん、どうも。スレ主です。
ご苦労さま
一晩考えた言い訳がそれか? ?
なかなか独創的(確率論不要?)な言い訳かな?
(昨日の段階でそれを考えていたなら、「法学部! 却下!」と逃げるまわる必要もなかったろうね)
で早めに一発入れておきたいので、(このスレ36が満杯になる前に)お邪魔したんだ(^^
>>521 より下記
”残念だけど選択公理を使って
無限列から決定番号への非可測関数を構築すれば
「箱入り無数目」解法による予測は避けられないよ
逆に
「X1,X2,X3,・・・がまるまる無限族として独立なら絶対に当てられない」
と言い切るなら、必然的に
「実数の全ての集合はルベーグ可測であり選択公理は成立しない」
といわざるを得なくなる”の部分で
これ、その独創的言い訳(>>609-610)だと、フルパワー選択公理を使うのは、数列のしっぽの同値類と決定番号までだな
決定番号から後の”独創的(確率論不要?)な言い訳”部分は、可算選択公理で間に合うからね
繰り返すが、「フルパワー選択公理使用は数列のしっぽの同値類と決定番号まで」
つまり、問題の前提部分まででしかないよねと(^^
追伸
”この馬鹿はなぜかrをfixしたがる”のところ、頑張ってな!(^^
健闘を祈る!! ファイト!!(^^
ID:dVIlvrwAさん、どうも。スレ主です。
ご苦労さま
一晩考えた言い訳がそれか? ?
なかなか独創的(確率論不要?)な言い訳かな?
(昨日の段階でそれを考えていたなら、「法学部! 却下!」と逃げるまわる必要もなかったろうね)
で早めに一発入れておきたいので、(このスレ36が満杯になる前に)お邪魔したんだ(^^
>>521 より下記
”残念だけど選択公理を使って
無限列から決定番号への非可測関数を構築すれば
「箱入り無数目」解法による予測は避けられないよ
逆に
「X1,X2,X3,・・・がまるまる無限族として独立なら絶対に当てられない」
と言い切るなら、必然的に
「実数の全ての集合はルベーグ可測であり選択公理は成立しない」
といわざるを得なくなる”の部分で
これ、その独創的言い訳(>>609-610)だと、フルパワー選択公理を使うのは、数列のしっぽの同値類と決定番号までだな
決定番号から後の”独創的(確率論不要?)な言い訳”部分は、可算選択公理で間に合うからね
繰り返すが、「フルパワー選択公理使用は数列のしっぽの同値類と決定番号まで」
つまり、問題の前提部分まででしかないよねと(^^
追伸
”この馬鹿はなぜかrをfixしたがる”のところ、頑張ってな!(^^
健闘を祈る!! ファイト!!(^^
2017/07/31(月) 13:46:09.91ID:EiM7pzQF
>>616 追加
関連なので、追い打ちをかけておくよ
命題に下記の記号を付けよう
A:フルパワー選択公理
B:時枝問題(例えばR^Nに対して)の数列の同値類から決定番号まで
C:あなたの”独創的(確率論不要?)な言い訳”
D:時枝記事成立(ある箱の数を当てる確率99/100)
ロジックは
(A & B) & C → D(時枝記事成立)
対偶は
not D → not{(A & B) & C }= not(A & B) or not C
つまり、対偶命題の意味は
「時枝記事の解法が不成立の場合、C:あなたの”独創的(確率論不要?)な言い訳”が否定されるか、又は、(A & B)が否定されるか」だ
で、当然、直ちに選択公理に関する(A & B)が否定されるのではなく、C:あなたの”独創的(確率論不要?)な言い訳”が疑われるべしだ
で、あなたの考え方
”「X1,X2,X3,・・・がまるまる無限族として独立なら絶対に当てられない」
と言い切るなら、必然的に
「実数の全ての集合はルベーグ可測であり選択公理は成立しない」
といわざるを得なくなる”
のロジックがおかしいと思うよ(^^
補足
補足すれば、時枝記事の成否は、ロジックC=「時枝記事の解法の核心部分」にかかっているんだろ?
だから、ロジックCと D(時枝記事成立)とが、直に連動していると思うんだよね(^^
関連なので、追い打ちをかけておくよ
命題に下記の記号を付けよう
A:フルパワー選択公理
B:時枝問題(例えばR^Nに対して)の数列の同値類から決定番号まで
C:あなたの”独創的(確率論不要?)な言い訳”
D:時枝記事成立(ある箱の数を当てる確率99/100)
ロジックは
(A & B) & C → D(時枝記事成立)
対偶は
not D → not{(A & B) & C }= not(A & B) or not C
つまり、対偶命題の意味は
「時枝記事の解法が不成立の場合、C:あなたの”独創的(確率論不要?)な言い訳”が否定されるか、又は、(A & B)が否定されるか」だ
で、当然、直ちに選択公理に関する(A & B)が否定されるのではなく、C:あなたの”独創的(確率論不要?)な言い訳”が疑われるべしだ
で、あなたの考え方
”「X1,X2,X3,・・・がまるまる無限族として独立なら絶対に当てられない」
と言い切るなら、必然的に
「実数の全ての集合はルベーグ可測であり選択公理は成立しない」
といわざるを得なくなる”
のロジックがおかしいと思うよ(^^
補足
補足すれば、時枝記事の成否は、ロジックC=「時枝記事の解法の核心部分」にかかっているんだろ?
だから、ロジックCと D(時枝記事成立)とが、直に連動していると思うんだよね(^^
618132人目の素数さん
2017/07/31(月) 19:40:35.87ID:dVIlvrwA619132人目の素数さん
2017/07/31(月) 19:42:56.57ID:dVIlvrwA >>614
>お前は測度から導く必要がないという
いいや
「決定番号の測度」から導く必要がない、といったまで
「順列の測度」から導いて見せた これが答え
これこそ正確な定義
>>615
>『順列どうしはみな同じ"確率"になる』
>といわれても意味不明である
独立性の定義を知らんのか?
なら今ここで、教えてやろう
独立(どくりつ)とは、確率論において、
「2つの事象(英語版)が成立する確率が
それぞれの確率の積で表されること」を言う
二つの数列が独立なら、当然確率は積であらわせる
だから二つの数列を交換しても確率は変化しない
>非可測な自然数100個を順列に置き換えたところで
>非可測である状況はなんら変わらない
残念ながらそれは全然成立しないw
どの順列についても、
「その順列を値とする数列100個」の集合全体
の測度は1/100!
>お前は測度から導く必要がないという
いいや
「決定番号の測度」から導く必要がない、といったまで
「順列の測度」から導いて見せた これが答え
これこそ正確な定義
>>615
>『順列どうしはみな同じ"確率"になる』
>といわれても意味不明である
独立性の定義を知らんのか?
なら今ここで、教えてやろう
独立(どくりつ)とは、確率論において、
「2つの事象(英語版)が成立する確率が
それぞれの確率の積で表されること」を言う
二つの数列が独立なら、当然確率は積であらわせる
だから二つの数列を交換しても確率は変化しない
>非可測な自然数100個を順列に置き換えたところで
>非可測である状況はなんら変わらない
残念ながらそれは全然成立しないw
どの順列についても、
「その順列を値とする数列100個」の集合全体
の測度は1/100!
620132人目の素数さん
2017/07/31(月) 19:46:20.10ID:dVIlvrwA >>616
>フルパワー選択公理を使うのは、数列のしっぽの同値類と決定番号までだな
その通り idiotでもさすがにそのくらいは分かるんだな
同値類の代表列が取れれば予測に必要な情報が得られる
分かってるか?idiot
>フルパワー選択公理を使うのは、数列のしっぽの同値類と決定番号までだな
その通り idiotでもさすがにそのくらいは分かるんだな
同値類の代表列が取れれば予測に必要な情報が得られる
分かってるか?idiot
621132人目の素数さん
2017/07/31(月) 19:47:21.18ID:dVIlvrwA >>617
>A:フルパワー選択公理
>B:時枝問題(例えばR^Nに対して)の数列の同値類から決定番号まで
>C:あなたの”独創的(確率論不要?)な言い訳”
>D:時枝記事成立(ある箱の数を当てる確率99/100)
>ロジックは
>(A & B) & C → D(時枝記事成立)
粗雑だな
(続く)
>A:フルパワー選択公理
>B:時枝問題(例えばR^Nに対して)の数列の同値類から決定番号まで
>C:あなたの”独創的(確率論不要?)な言い訳”
>D:時枝記事成立(ある箱の数を当てる確率99/100)
>ロジックは
>(A & B) & C → D(時枝記事成立)
粗雑だな
(続く)
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 「ほかの議員を自殺に追い込むようなやつだからやった」立花氏襲撃、逮捕の宮西容疑者供述 ★3 [蚤の市★]
- マスク氏、「数百万人を◯したのはヒトラーではなく公務員」との主張を拡散 [少考さん★]
- 「実は安倍さんの時も…」過去政権でも慣例化か 石破首相の商品券配布 [蚤の市★]
- 【ライバー殺害】「シャンパン代が…」「姉の彼氏が売掛けを残して…」 被害女性から連日の金の要求に容疑者は消費者金融から借金も★2 [シャチ★]
- 【ライバー殺害】「本当に優しくて、思いやりがある子だったのに」 被害女性と事件前日に話した知人が証言★3 [シャチ★]
- ホリエモン、化学調味料めぐり闘う料理人こめおと激論「化学調味料つかっても使わなくても一流はちゃんと仕上げるぞ。逃げんなよ」 [muffin★]
- 朝まで生とうすこ🏡
- 【画像】日本会議の爺さんたち「この時代は良かったなあ〜」 [808139444]
- あおちゃんぺ姫「最上あいは金を借りてたから自業自得? じゃあ、金が返ってこないのも自業自得じゃねーかwww」 [425744418]
- 日本人がここ数年で次々と目覚め始めた理由、現在調査中… [452836546]
- 新ネトウヨの三本柱 「財務省解体、プーアノン、外国人排斥」、Xで拡散 [241672384]
- 最上あいさんのふわっち収益履歴が流出 [851446405]