16/08/27 19:16:57.62 p4uDbuUE.net
>>341
キチガイ運営乙
いつも、キチガイ粘着ご苦労だな
独演会だあ？ おっちゃんとおれが居て、この掛け合い漫才が独演会だあ？（＾＾；
キチガイ運営の事実誤認、乙！（＾＾；
367:現代数学の系譜11 ガロア理論を読む
16/08/27 21:00:41.67 p4uDbuUE.net
>>342 訂正 >>171ほとんどなんてだれも読まないと思うぞ（＾＾； ↓ >>171なんてほとんどだれも読まないと思うぞ（＾＾；
369:現代数学の系譜11 ガロア理論を読む
16/08/27 21:04:15.41 p4uDbuUE.net
突然ですが
下記面白そう（＾＾；
URLﾘﾝｸ(pisan-dub.jp)
editor @pisan_dub
『確率論を学ぶ』2016年7月一ヶ月間のアクセス数は過去最高となりました。ページ別アクセスランキング上位は確率論が独占しました。
8月01日
URLﾘﾝｸ(pisan-dub.jp)
確率論を学ぶ＞目次
URLﾘﾝｸ(pisan-dub.jp)
著者:梅谷 武
『確率論を学ぶ』のはしがき
作成:2012-02-12
更新:2012-03-17
370:現代数学の系譜11 ガロア理論を読む
16/08/27 21:06:25.65 p4uDbuUE.net
つづき
URLﾘﾝｸ(pisan-dub.jp)
学習方針
?この学習ノートを作るに当たって目標としたことは、確率論を応用したさまざまな主張が正しいかどうかを検証できる能力を身に付けようということである。そのためには大数の法則や中心極限定理の厳密な証明にまで踏み込む必要があると考えた。
?そこで解析学で使われる手法については事前に復習しておくことにした。Lebesgue測度を使うことについては、偏微分方程式論を学んだ経験から楽観していた。しかし、さまざまな独特の概念、記号を駆使して構築される世界観は、これまで経験したことのない異質なものであり、今もっているスキルだけでは対応できないことが徐々にわかってきた。
?限られた時間内にある程度の成果を出すため、最初に大数の法則と中心極限定理までを区切りとしてそこまでの論理体系をまとめることにした。証明の細部までは追わず、主要な定理の証明に至るまでのあらすじを追うようにした。
ほとんどの書は大数の法則と中心極限定理の証明を目標とし、著者独自の体系を作り上げるという書き方なので、それに合わせることにした。
?また理論だけで完結せずに具体的な応用を最終目標としている。そのために実際に計算してみることを重視し、その道具としてR言語を用意した。
371:現代数学の系譜11 ガロア理論を読む
16/08/27 21:08:52.60 p4uDbuUE.net
つづき
URLﾘﾝｸ(pisan-dub.jp)
学習経過
最初、理工系向けの和達三樹『キーポイント確率・統計』[S3]、薩摩順吉『確率・統計』[S4]から始めた。しかし、これらは物理向けの応用に特化した内容で、数学的理論を学ぶことを目的としていないことがわかった。
次に小針?宏『確率・統計入門』[M1]を読んだ。これは優れた入門書ではあるが、厳密な議論まで追うという目的には向かないことがわかった。具体例が数多く説明されており、応用には役立つ。
そこで本格的な数学書をあたることにした。まず伊藤清『確率論の基礎』[P2]、『確率論』[P3]に目を通した。これらは評判が高いものの、素人が短期間で読めるものではないことはすぐにわかった。しかし、どの部分も細部まで念入りに書かれているので、最近は何かわからないことがあれば、まずこれらを調べるようにしている。
わかりやすい数学書をいろいろ探して辿りついたのが、佐藤 坦『はじめての確率論 測度から確率へ』[P5]、志賀 徳造『ルベーグ積分から確率論』[P6]、熊谷 隆『確率論』[P7]の三冊である。
これらはそれぞれ著者独自の視点で書かれた読みやすい入門書であり、内容はかなり異なるが、これらすべてに目を通すことにより確率論における数学がどういうものかがわかってきた。
372:現代数学の系譜11 ガロア理論を読む
16/08/27 21:10:07.63 p4uDbuUE.net
学習経過つづき
URLﾘﾝｸ(pisan-dub.jp)
測度論については小谷眞一『測度と確率』[L3]が新鮮であった。学生時代に読んだ溝畑 茂『ルベーグ積分』[L1]は力技で地を這っていくようなやり方であったが、[L3]は空から測度論の全貌を見渡すような爽快感がある。
大数の法則と中心極限定理の証明まで終わった段階で、演習として具体例の計算を行なうことにした。そのときに現象に対応する確率空間を実際に構築することにこだわった。それが書いてある本がほとんどなかったためである。有限事象の場合は問題は無い。
しかし、無限事象になると難しくなる。独立同分布確率変数列が具体的にどのような確率空間上で存在し得るのかということにも関係してくる。
この問題の答えを見つけるまでに一ヶ月ぐらいかかった。この過程で、コルモゴロフ『確率論の基礎概念』[P1]、『コルモゴロフの確率論入門』[M2]を読んだ。これらは日本人数学者とはやや違った視点や証明技法を使って書かれているため、理解の幅が広がる。
後者はコルモゴロフの「叙述の面白さとわかりやすさは、十分な論理的厳密さと結びついていることが必要である」という思想を具現化したもので、高校生でもわかるように丁寧に書かれているので参考になった。
結局、伊藤清『確率論の基礎』[P2]を読みながら基礎概念を復習しているときにイメージが出来上がり、最終的には小谷眞一『測度と確率』[L3]の無限直積測度でうまく構成できることを確認した。
具体的な現象の計算のために小川重義,森真『現象から学ぶ確率論入門―実験からはじめよう』[M3]、逆瀬川浩孝『理工基礎 確率とその応用』[S1]を参考にした。前者は測度論と確率シミュレーションの入門も兼ねており、[M2]と合わせて一番最初に読むべき本であることがわかった。
放射性崩壊を表現するPoisson過程については熊谷隆『確率論』[P7]と伏見正則『確率的方法とシミュレーション』[S6]を参考にした。
373:現代数学の系譜11 ガロア理論を読む
16/08/27 21:12:31.60 p4uDbuUE.net
つづき
URLﾘﾝｸ(pisan-dub.jp)
測度論についての補足
近年、測度論の形式が整備され、学習環境は劇的に改善されている。しかし、それでもさらに本質的な部分も含めて整備し直す余地があるのではないかと思われる。
測度論の面倒なところは一つには非可測集合が存在することにある。このためにわざわざσ-加法族という可測集合族を考えなければならない。この非可測集合の存在は選択公理から証明される。選択公理は非常に強力な道具であり、これによりバナッハ-タルスキーの定理のように直感的には異常として思えない現象が証明されてしまう。
現代数学はZF+Cという公理的集合論上に構築されている。ZFはZermelo-Frankelの集合論を意味し、Cは選択公理(axiom of choice)を意味している。1968年にMycielskiはZFと決定性公理を仮定するとすべての実数の部分集合はLebesgue可測になり、選択公理が否定されることを証明している。
この体系で実際にさまざまな数学が構築されたという情報は見当たらなかったが、選択公理からの脱却を望む数学者は少なくないという話は聞いている。
374:現代数学の系譜11 ガロア理論を読む
16/08/27 21:21:37.34 p4uDbuUE.net
Ｔさん、おっちゃん
ちょっとは、確率論勉強したらどうだ？（＾＾；
375:現代数学の系譜11 ガロア理論を読む
16/08/27 21:25:35.86 p4uDbuUE.net
時枝解法と
現代確率論とは
両立しないよ
376:現代数学の系譜11 ガロア理論を読む
16/08/27 21:34:43.68 p4uDbuUE.net
両立しないことは、当初から明白なこと
おれの興味は、”両立しない＝つまり時枝解法不成立”にも関わらず、「なぜ時枝解法が成立しているように見えるか」？の１点だけだ（＾＾；
377:現代数学の系譜11 ガロア理論を読む
16/08/27 22:24:53.96 p4uDbuUE.net
以前「だれか数学科の学生が居て、こういう確率論の話を聞ける先生を知っていれば、記事を見せて（時枝解法をどう思うか）質問して貰えれば嬉しいね」>>34と書いた
まだ誰からも何も報告はないが、時枝解法不成立ってことだろう（＾＾；
378:１３２人目の素数さん
16/08/27 22:51:38.35 LFZk6JUw.net
私
379:は馬鹿ですと宣伝してることに気付かないのだろうか？
380:１３２人目の素数さん
16/08/28 02:11:00.00 pI+/SLw0.net
>>351-352
「独立」を自然数の並びかえ(置換)と考えてみよう
a1=1, a2=2, ... , an=n, ... の任意の有限個を入れ替えて新しい無限数列を作った場合
(cf. > 確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ.)
数列を「アタマ」と「シッポ」に分けると「シッポ」は必ず無限数列になりさらに「シッポ」を取り除いた
「アタマ」は有限数列になるのでその長さも決定できる
可算無限個の異なる実数(有理数)を任意の順番で並べたものは可算無限個の自然数を並びかえたものとみなせるが
この場合は「アタマ」=有限数列かつ「シッポ」=無限数列になるとは限らない(つまり時枝解法不成立)
可算無限個の異なる実数(有理数)から数列を作った場合だと無限数列をa1, a2, ..., an, ... の形で表した時点で
任意の順番ではなくて時枝解法が成立する順番に限定されている
(cf. > ふしぎな戦略は，確率変数の無限族の独立性の微妙さをものがたる， といってもよい)
381:１３２人目の素数さん
16/08/28 03:01:19.97 3ZB8pl90.net
○ ○ ○
∥＿_∥＿_∥
／∵∴∵∴＼
／ ＼
|∵-=・=- -=・=-∵|
（从:.|.∴ヽ ∨ /∴从人）
（人人| ∴ｰ===-'∴｜从人） やらないか？
（人人| ∴! !∴｜从人）
（人人| ∴! !∴｜从人）
／￣ ' ￣ヽ
/ ,ｨ -っ､ ヽ
| ／ ､__う人 ･,.y i
| / ￣ | |
ヽ､__ノ | |
| 。 | /
,...-‐''" _.l::::｀ー,=-'（丿
／ ´ ,.!_;;;:r''.. ` ､
,...-‐' _,....-‐'" ｀'-､:: ` ､
／.. ,....―'" `ｰ､＿_ ｀l
／_;::::-'" ／::::::::::::::::ノ
,...／._r'" ヽ`''「￣￣
（＿＿ノ' ＼_＼
382:１３２人目の素数さん
16/08/28 03:01:38.41 3ZB8pl90.net
_,,-ｰ----.､ ⌒⌒
<" "l ^^
'; ,､､__ソ＾`7, i､
￣￣￣￣￣￣￣';'___ _,,, リ ￣￣￣￣￣￣￣￣￣￣￣￣
,--ｰーﾄーj 'ｰｰ rｰ-､_
/ ハノL ヽ ﾉ ｜ `ｰ､_ ｻﾞｻﾞｧｧｧｯｰ!!
:::::::;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::::
:::::::;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::::: ∧＿∧
:::::::::::::::::::::::::::::::::::: （ ::;;;;;;;;:） ちょ・・・・待っ・・・来るな！！！
:::::::::::::::::::: /⌒｀'''''''''''＾ヽ
/⌒ヾ/ / .,;;;;;;:／.:;|
-―'―ー'''‐'ー'''―‐'―''''＼,./ / .::;;;;;;:/‐'| :;|'''ー'-''―'｀'
,, '''' ｀、 ｀´'､､, '''＿ｿ / ｀:;;::::ﾉ,,, | :;| ''' ､､,
,,, '' ,, ''''' ξ＿ノ丶ー'ｰ＜ ,ゝ__＞ ''''' ,,,,
,, ,,,, ''' , ::::::::;;;;;;;;;;;;;;;;;;;;;;;;;;::::::: ,,
,,,,,,, :::::::::::::::::;;;;;;;;;;;;:::::::::
383:１３２人目の素数さん
16/08/28 03:02:00.39 3ZB8pl90.net
''';;';';;'';;;,.,
ザッ ''';;';'';';''';;'';;;,., ザッ
;;''';;';'';';';;;'';;'';;;
;;'';';';;'';;';'';';';;;'';;'';;; ;;'';;'';;;
,.- ; ,.- ;,.- ;,.- ;,.- ; ,.- ;- ;,.- ;.-;- ; ザッ
/＾｀＾ ｀ /＾｀＾ ｀/＾｀＾ ｀ /＾｀＾ ｀ /＾｀＾ ｀
/⌒ヽ⌒ヽ /⌒ヽ⌒ヽ /⌒ヽ⌒ヽ /⌒ヽ⌒ヽ /⌒ヽ⌒ヽ
ザッ / ` ﾟ/⌒ヽ⌒ヽ /⌒ヽ⌒ヽ /⌒ヽ⌒ヽ /⌒ヽ⌒ヽ ザッ
/ / ` ﾟ` :.; "ﾟ`ヽ / ` ﾟ` :.; "ﾟ`ヽ / ` ﾟ` :.; "ﾟ`ヽ / ` ﾟ` :.; "ﾟ`ヽ
（ /⌒ヽ⌒ヽ ヽ /⌒ヽ⌒ヽ､ ヽ /⌒ヽ⌒ヽ / ,_/⌒ヽ⌒ヽ
/ ` ﾟ` :.; "ﾟ`ヽ ）./ ` ﾟ` :.; "ﾟ`ヽ / ` ﾟ` :.; "ﾟ`ヽ （ __ -/ ` ﾟ` :.; "ﾟ`ヽ
/ ,_!.!､ ヽ / ,_!.!､ ヽ / ,_!.!､ ヽ / ,_!.!､ ヽ
（ __ --
384:- , , ） （ __ --- , , ） （ __ --- , , ） （ __ --- , , ）
385:１３２人目の素数さん
16/08/28 03:02:50.52 3ZB8pl90.net
,､r‐''''''''''''''''ｰ ､
,r' `' ､
/ ヽ
. / , ヽ
,,' ; ,､､,_ ニニ ,､」､
l. :;;;i ´ .._`ｰ ‐''"....|
l:,;'"｀'､, . ,;ｨｪ、.. ,rｪ;〈
. ';i l :::i;;,, ::' "......::'''ﾝ .., .:::'''"ﾞ,
l;ﾞ､',.::l;;;i r ヽ. l, はようガロア理論まみれになろうぜ！
l;;;;`‐;;;;;ヽ . './'ｰ'''ｰ‐' ', l;;;,,
. ,､rイ;;;;;;;;;;;;;;;;;;;;ゝ ,r";;二二二,ヽ, !;;;;:'
'.:.:.l ll ;;;;;;;;;;;;;;;;;' ,rﾆン" ￣二´ `ﾉ;;;;;`-､
:.:.:.| l.l '';;;;;;;;;;;;;;' ,イ l''' l `
:.:.:.:| ','､ ''''''''' , ‐---,ｪr'".l.| | |
:.:.:.:| ﾞ､ﾞ､ `''''''''"",ﾉ l l .| |
:.:.:.:.| ヽヽ `'---‐'" .// ! |
386:１３２人目の素数さん
16/08/28 03:03:23.64 3ZB8pl90.net
,.=-'''￣￣￣￣￣￣｀ -､
／ ＼
./ .＼
{ }
.| ／￣""''-=,,,,＿,,,,,,==-'''"＼ |
.l, .（ ,. - ' .､ ,. - , .} |
l > ,=ﾆ＼ ゛ | ''゛_,=ヘ､ r' {_
/~''i /／＿＼_..`７| l､{''″／__`>ヽ |r｀i
l .{`|./ ､ _tｯ､,ﾁ､ !.ゝ rtｯ_‐ｧ } ! i l
{ {（l { ` ーﾉ | |ヽ `ー ':: }| ｿ/
ヽヽ|.{ ／ | | ＼ i.|//
＼|.i ／ ．,ｲ 'ヽ,, . ＼ i !/
乂i / .:^ー^:':..゛ ' {丿
.l .!､. .r ζ竺=ｧ‐､'! / |
人 ＼ . ｀二´ 丶! ／ 人
./ | .＼ ,＼ ／ ／ | .ヽ
ノ .{ ＼ .ヽ,., .: ,ｲ ／ } ヽ
-'″ l ｀' ､`.──″ .} ヽ
387:１３２人目の素数さん
16/08/28 03:04:06.54 3ZB8pl90.net
| {‐:} | {‐:} {‐:} | | | | {‐:} | {‐:} | | |||l: l|
{‐:} | | | | | {‐:} {‐:} | | | {‐:} | | | |||:: :|
‐:} | {‐:} | {‐:} | | ､､､{‐:} | {‐:} |_,,-ｰ----.､ |幺ﾞ〃ゞz;_ 夊ミ
~ﾞ|~ﾞ|~ﾞ|~ﾞ|~ﾞ|~ﾞ|~ﾞ|~ﾞミ迹ﾞﾞ:"ﾂ;,,'~|~ﾞ|~ﾞ|<" "l 阯孑;; : : 〃,爻ヾ
{‐:} | 抃挂~^ゝ糸孑": : 〃{‐:} {‐'; ,､､__ソ＾`7, i､､. !乘奕;;: : : ≠ざﾍ
| {‐:}vﾐ找ｼ;: : ﾐ亦ゞ彡; : : ゞ {ｰl ';'___ _,,, リ |班巛ゞ;: : : ﾐわヾ
‐;}, ,|、l笏亥〃;: :｛,-‐z:､__≪ﾐ__ ; l l ﾄーj 'ｰｰ r|:!長彡ヾ_; : ヾ;：ｼ;
气〃ﾚ／i￣~＼:｢ / 「ゝ∠￣＼ ハノL ヽ ﾉ ､;;／￣Y＼_"ｷ癶
彡炙从;:´ヽ `Tヽ: . / | ヽ-‐ ヽ∀ / .!､_`ｰ-､/:::ヽl/￣＼
ゞ爻ミ7::__ iｰ､__/ |: : i￣7 ,.. -‐ '＾ ー' `ｰ ` ｰ-- 、 :l: : l
7￣ヽ:::: /´: : : Yﾌ; : : 〉/／ r--┐ u ヽ : : : ヽ
＼ |r ‐'´ ￣ ￣ ￣ ￣ ￣/ , ‐=＝'--r' ,. --一 ; l ￣ ￣
:. V: : : : : : : （ ） / / ; ﾆニ;う i ; |
:: ／: : : : : （ ) : :/ ／ __;.ニﾌ′ ｉ u ヽ v | : （
": : : : : : :/／ ＿
388:./ ￣ i ｌ ; | : :、( : : : : , ; =r＝f〉 〈=r ,､ _ ＿ ,､ ___ _, ＿c__ ∧__, __, ノ~ﾉ ; : （ i((::l: ! l|. | ｉ )) : : : : : : : : : : : : -‐: ` : : -‐ : （ ） | lヾi＝r==r＝F彳| : : : : : : : : : : : : : : : ( ) l { ｌ | | ! │ | l. l : : : : : : : : : : : : : ､ヽ:` ｰ--'--:'--'‐ '":ノﾉ : : : : : : : : :
389:１３２人目の素数さん
16/08/28 03:04:39.64 3ZB8pl90.net
/_7
. /二/ ＿__
/_7 /＿_/ ,＿＿_
. /二/ ＿__ / / ,-----, ＿__ ＿＿
/_7 /＿_/ 二二" ./ / /￣ // ￣~"'''''―-..,,_
. /二/ ＿__ / / ,二二"" /＿＿,//＿＿ ~"''-.,,_
/_7 /＿_/ 二二" ./ / /'￣￣//j;, ::.: ,;;;;;;￣"/ ,-..,,_ "'-.,_
. /二/ ＿__ / / ,二二"" /＿＿,//;;;○';;';;○;;;;;/ / ~"''-.,_ /
/_7 /＿_/ 二二" ./ / /'￣￣//j;;;;;f ､-y/ /` ﾟ` :.; "ﾟ` / /
. /二/ ＿__ / / ,二二"" /＿＿,//ヽ(;;;,(;;;),;;;) / / . ::..,_!.!､.: :/ /
/_7 /＿_/ 二二" ./ / /'￣￣//￣￣~""'''‐' ,/ .. .:⊂⊃/ /
. /二/ ＿__ / / ,二二"" /＿＿,//＿＿ ~"''''-..,,_ / /
/_7 /＿_/ 二二" ./ / /'￣￣//-=・> ;<￣/ ..,,_ ｀' /
. /二/ ＿__ / / ,二二"" /＿＿,// ノ､__ / /. ~"''‐..,_ /
/＿_/ 二二" ./ / /'￣￣//￣￣,,,,,,,,,,,/ /'ヾﾐミヽ / /
/ / ,二二"" /＿＿,//''' ∈∋ '''/ / ､_tｯ､,ﾞ ' / /
￣￣" ./ / /'￣￣// ""''' /..,,_ ー 'ﾉ / /
'―‐' / ＿,//＿ ~"'-., / /
390:１３２人目の素数さん
16/08/28 03:05:12.26 3ZB8pl90.net
,'.;;;;;;;;;r'"´￣｀`''''ﾞﾞﾞ`ヾ;;;;､
j;;;;;;;, ′ ヾ;',
,j;;;;;, ′ , ﾘ
」;;;;;,′ 'ヾﾐミヽ rz彡‐` ',
ハ;;;′ `t､_tｯ､,ﾞ ' r' rtｯ_‐ ',
いﾘ ｀￣ ,.′ ',
(_ﾉ （ ,,,,.._,) !
i ,r≧ミﾐヽ. !￣￣¨¨ ｀`ヽ
l .:;;;'ﾆこﾆ ';:;, !
, ｲ', .:;:.:;:.:; 'ﾞﾞﾞﾞﾞ''. :;:;.:;.. ,′ /
''"´ ヽ .:.:;:;:;:;;;;;;;;.:.:;:;:;;;;' /', /
ゝ､､ .:;:;:;:;:;;;;;;;;:;::'′, '′ ヽ /
｀`ｰ-----‐'''ﾞﾞ´
391:１３２人目の素数さん
16/08/28 03:06:33.11 3ZB8pl90.net
＿＿_
_,...‐''"ﾞﾞ´::::::::::::::｀ﾞ''‐-､.
,r'::::::::::::::::::::::::::::::::::::::::::::::..｀ヽ、
,:'::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::.,
,!::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::',
》::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::.!
!:::::::: ,≧＝三三三三三三三＝‐下､
ix≦三三三三三三三三三三三三.≧
‐‐{三三≧´:::....＿＿＿::＿＿＿＿____ﾞI川＝､
f 广ヽ￣ ／ ＞＝三三三三三三三三仝､||
! 卞匕}:::::::::::{ {三三三三三三三三三三三≧j
ヾ八ｲ !:::::::::::ヽヽ三三三三三三三三三三三ﾉ
ﾍﾂ人:::::::::::::弋ヽ三三三三三三三三三彳
I::::::::::::.i "￣￣"{::_: .::I￣￣￣!￣f､､
.i::::::::::::ﾞ､ .::'' 二､ﾆ´::. ,;:::ﾉ i!i ﾌﾞｸﾌﾞｸ
＿＿ }::::::::::::::.､ ,,./___ _::::_ヽ::::::/ ＿.!iI_
￣ i ､:::::::::::i .....,,ー､｀''´ノ"ﾞ:ｿ ─￣─Ii !─
￣￣￣￣￣━￣￣￣￣￣￣￣￣￣￣￣
￣￣━━￣￣￣￣￣￣￣￣￣￣
￣￣￣￣￣￣￣
392:現代数学の系譜11 ガロア理論を読む
16/08/28 05:50:53.66 y6cNH+KQ.net
>>356-364
どうも。スレ主です。
ID:3ZB8pl90さん、ご苦労さまです
運営乙
393:です ２ＣＨらしいです（＾＾；
394:現代数学の系譜11 ガロア理論を読む
16/08/28 06:01:17.32 y6cNH+KQ.net
>>355
ID:pI+/SLw0さん、どうも。スレ主です。
いやー、これ面白い考察だね
発想が新鮮なので、びっくりした（＾＾；
ところで疑問点
１．”「シッポ」は必ず無限数列になりさらに「シッポ」を取り除いた「アタマ」は有限数列になるのでその長さも決定できる”は、要証明だな
∞－∞＝有限 を証明することになると思うよ
２．”可算無限個の異なる実数(有理数)を任意の順番で並べたものは可算無限個の自然数を並びかえたものとみなせる”は、ちょっと意味が取れなかった
３．”可算無限個の異なる実数(有理数)から数列を作った場合だと無限数列をa1, a2, ..., an, ... の形で表した時点で任意の順番ではなくて時枝解法が成立する順番に限定されている”
も、ちょっと意味が取れなかった。特に、「時枝解法が成立する順番」の定義は？ 「限定されている」の意味、あるいは証明
395:現代数学の系譜11 ガロア理論を読む
16/08/28 06:45:57.79 y6cNH+KQ.net
>>345 補足
１．おっちゃんのために書いておくと、ちょっと確率論の「3.2節 独立性」 URLﾘﾝｸ(pisan-dub.jp) あたりをじっくり見たらどう？
２．で、>>33 の”「無限族の独立性の定義は微妙」は、そもそも時枝氏の勘違い．時枝氏の考える独立の定義と，現代の確率論の定義は可算族に対しては同値である”とか
”時枝氏の解法は，現在の測度論から導かれる解釈のほうが自然．（当てられっこないという直感どおり，実際当てられないという結論が導かれる）”
”正直時枝氏が確率論に対してあまり詳しくないと結論せざるを得ないな”
辺りを見て欲しい
３．おっちゃんが必死でやっているのは、可算無限の箱のシッポの同値類の代表元を、先にいじくること。だが、そうすると迷路に入るんだ
４．上から目線で悪いが、そういうことだよ。”話が空回り”というが、あなたが迷路に入って出られない状態になっているだけのこと。先に確率論を勉強すれば、迷路から出られるよ
追伸
・￥さんは、「コルモゴロフの確率論を超えて行くべきという時枝の問題意識は正しい」という>>307。確かに、そうだろう
・が、コルモゴロフの確率論を超えて、拡張されたコルモゴロフの確率論を打ち立てたとして、それはコルモゴロフの確率論と矛盾する理論ではないだろう
・例えば、超関数の理論が、従来の関数の理論を包含する形になっている。つまり、従来の関数の理論と真っ向矛盾する理論ではないんだよ
・物理でも同じことがあって、量
396:子力学創成期にボーアの対応原理があった。下記 ”古典論は巨視的には正しい理論だから，量子的不連続性が無限小とみなされるほど量子数の大きい極限では量子論と古典論は一致すべきである．それに応じて量子論と古典論の間には量子数が小さい場合にもなんらかの形式上の対応がなければならない．これが対応原理である．” https://wikimatome.org/wiki/%E5%AF%BE%E5%BF%9C%E5%8E%9F%E7%90%86 ・真っ向、現代確率論を破ってしまう時枝解法。それを是として進んでいくと、迷路に入るよ
397:１３２人目の素数さん
16/08/28 09:29:09.50 vP8NK7yD.net
>>366
なんでこいつは自分では証明しないのに人にはそれを求めるの？
398:１３２人目の素数さん
16/08/28 11:12:21.10 LKFuJ1RJ.net
>>254の方へ。
>>255-256に貴方へのレスを書いていますので読んでください。
（わずか1日で埋もれてしまった）
399:１３２人目の素数さん
16/08/28 11:43:44.54 co9vyc8R.net
>>343
>独演会だあ？ おっちゃんとおれが居て、この掛け合い漫才が独演会だあ？（＾＾；
I'm Ottyan. The sentence implies your brain is very very old.
You forgot the possibility that a person who is another of me and you wrote here.
At least for me, you seem to be the typical
400: person who does't have any visual points. So, before telling of mathematics, you should begin with the Japanese language (again). >>367 >２．で、>>33 の”「無限族の独立性の定義は微妙」は、そもそも時枝氏の勘違い．時枝氏の考える独立の定義と， > 現代の確率論の定義は可算族に対しては同値である”とか ”時枝氏の解法は，現在の測度論から導かれる > 解釈のほうが自然．（当てられっこないという直感どおり，実際当てられないという結論が導かれる）” > ”正直時枝氏が確率論に対してあまり詳しくないと結論せざるを得ないな” > 辺りを見て欲しい >３．おっちゃんが必死でやっているのは、可算無限の箱のシッポの同値類の代表元を、先にいじくること。 > だが、そうすると迷路に入るんだ Before telling of Tokieda's solution, oh telling of mathematics, you should begin with the Japanese language (again). Tokieda's solution and my solution are right.
401:￥ ◆2VB8wsVUoo
16/08/28 14:44:27.18 ZU+6HLfG.net
￥
402:￥ ◆2VB8wsVUoo
16/08/28 14:44:44.71 ZU+6HLfG.net
￥
403:￥ ◆2VB8wsVUoo
16/08/28 14:45:01.23 ZU+6HLfG.net
￥
404:￥ ◆2VB8wsVUoo
16/08/28 14:45:18.18 ZU+6HLfG.net
￥
405:￥ ◆2VB8wsVUoo
16/08/28 14:45:34.36 ZU+6HLfG.net
￥
406:￥ ◆2VB8wsVUoo
16/08/28 14:45:47.97 ZU+6HLfG.net
￥
407:￥ ◆2VB8wsVUoo
16/08/28 14:46:21.68 ZU+6HLfG.net
￥
408:￥ ◆2VB8wsVUoo
16/08/28 14:46:39.29 ZU+6HLfG.net
￥
409:￥ ◆2VB8wsVUoo
16/08/28 14:46:56.54 ZU+6HLfG.net
￥
410:￥ ◆2VB8wsVUoo
16/08/28 14:47:12.76 ZU+6HLfG.net
￥
411:１３２人目の素数さん
16/08/28 15:58:42.75 co9vyc8R.net
>>367
やはりスレ主は国語からやり直しのコピペボウヤだな。先回りして>>370の
>独演会だあ？ おっちゃんとおれが居て、この掛け合い漫才が独演会だあ？（＾＾；
に対して書いた
>You forgot the possibility that a person who is another of me and you wrote here.
のほぼ直訳に近い意味は、
>お前さんは、1人の別の私とお前さんとがここに書いた可能性を見落としている。
で文学的な文だが、この場合は「独演会」という言葉に対して書いたので
>お前さんは、私かお前さんのどちらか片方がここに書いた可能性を見落としている。
と分かる。そもそも、「独演」の意味が分かっていれば>>343は書かない。
あと、>>367についてだが、同値類の代表元は選択公理の適用から非可測集合を経由して得られているから何も問題ない。
412:１３２人目の素数さん
16/08/28 16:17:12.25 co9vyc8R.net
>>367
>>381の訂正：
先回りして → 先回りして書いておく。
413:￥ ◆2VB8wsVUoo
16/08/28 17:41:02.78 ZU+6HLfG.net
￥
414:￥ ◆2VB8wsVUoo
16/08/28 17:44:40.26 ZU+6HLfG.net
￥
415:１３２人目の素数さん
16/08/28 17:49:02.53 pI+/SLw0.net
>>366
1. 順序数について調べよう
2. たとえば整数全体 ... , -n, ... , -2, -1, 0, 1, 2, ... , n, ... を 0, 1, -1, 2, -2, ... , n, -n, ... と並びかえることの
逆を自然数全体で行えば 1, 2, ... , n, ... を ... , 2n+1, ... , 5, 3, 1, 2, 4, ... , 2n, ... と並びかえることになる
3. 上の整数全体の例をそのまま使うと ... , -n, ... , -2, -1, 0, 1, 2, ..., n, ... では時枝解法が成立しないが
0, 1, -1, 2, -2, ... , n, -n, ... は「時枝解法が成立する順番」である
(つまり「アタマ」=有限数列かつ「シッポ」=無限数列になるということ)
「限定されている」というのは無限数列をa1, a2, ..., an, ... と書いた時点で「アタマ」=有限数列かつ
「シッポ」=無限数列になるように既に並びかえられているとみなせるという意味
説明のために極端な例を挙げるが ... , -n, ... , -2, -1, 0, 1, 2, ..., n, ... と 0, 1, -1, 2, -2, ... , n, -n, ...
の2つの数字の並べ方のみを考えた場合だとa1, a2, ..., an, ... の形で表せばa1=0, a2=1, a3=-1, a4=2, ...
とするしかない
416:￥ ◆2VB8wsVUoo
16/08/28 18:31:26.19 ZU+6HLfG.net
￥
417:￥ ◆2VB8wsVUoo
16/08/28 18:49:18.18 ZU+6HLfG.net
￥
418:￥ ◆2VB8wsVUoo
16/08/28 21:03:38.86 ZU+6HLfG.net
￥
419:￥ ◆2VB8wsVUoo
16/08/28 21:03:58.25 ZU+6HLfG.net
￥
420:￥ ◆2VB8wsVUoo
16/08/28 21:04:15.93 ZU+6HLfG.net
￥
421:￥ ◆2VB8wsVUoo
16/08/28 21:04:32.07 ZU+6HLfG.net
￥
422:￥ ◆2VB8wsVUoo
16/08/28 21:04:51.64 ZU+6HLfG.net
￥
423:￥ ◆2VB8wsVUoo
16/08/28 21:05:10.24 ZU+6HLfG.net
￥
424:￥ ◆2VB8wsVUoo
16/08/28 21:05:28.48 ZU+6HLfG.net
￥
425:￥ ◆2VB8wsVUoo
16/08/28 21:05:49.42 ZU+6HLfG.net
￥
426:１３２人目の素数さん
16/08/28 23:50:22.09 3ZB8pl90.net
そうだその調子だｗ
運営乙
427:￥ ◆2VB8wsVUoo
16/08/28 23:55:16.37 ZU+6HLfG.net
￥
>1 ：名無しさん ：2006/04/30(日) 01:41:01 ID:KPnB.CH2
> 迷惑かしらん
>
>5568 ：名無しさん：2016/08/17(水) 18:26:13 ID:???
> うるさい
>
>5569 ：kmath1107★：2016/08/17(水) 21:46:32 ID:???
> 人への念の盗み見による介入を阻め。
>
>5571 ：名無しさん：2016/08/17(水) 23:39:07 ID:???
> うるさい
>
>5576 ：kmath1107★ ：2016/08/18(木) 20:58:14 ID:???
> 人への念の盗み見による介入を阻め。
>
>5577 ：名無しさん ：2016/08/18(木) 21:05:02 ID:???
> >>5575
> うるさい
>
> >>5576
> 賛同致します
>
>5578 ：kmath1107★ ：2016/08/19(金) 08:46:22 ID:???
> 人への念の盗み見による介入を阻め。
>
> Re:>>5577 人への念の盗み見による介入が無くなれば世の不和が無くなるだろう.
>
>5582 ：￥ ◆2VB8wsVUoo ：2016/08/19(金) 08:53:36 ID:???
> 芳雄が理想とし、自ら体現する大学教授とは？
> ０．自分が『お教授である』という利点を徹底活用して、偉そうに振舞う。
> １．年寄りや権威には擦り寄って顔色を窺い、ラクして損しない様にスル。
> ２．難しい分野や困難な研究テーマは徹底して避けて、努力を最小化する。
> ３．高い学歴とか権威を効率的に利用して、自分を飾って偉く見せ掛ける。
> ４．他人に見える部分だけを巧みに繕ってメッキし、人格者のフリをする。
> ５．相手のオツムの質を窺い、シッタカだけで見識がある様に見せ掛ける。
> ６．自分よりも優秀な人間は絶対に敵に回さないでヘラヘラと仲良くする。
> ７．自分から見てダメオツムな野郎は、上から目線で威圧して屈服させる。
> ８．大して中身が無いカラッポ知識を針小棒大に騒ぎ立て、蘊蓄を傾ける。
> ９．自分の大脳が働いてない低能ぶりは、口先で適当に誤魔化して逃げる。
>
> ￥
428:￥ ◆2VB8wsVUoo
16/08/29 00:14:18.55 5a8Ea2gJ.net
￥
429:￥ ◆2VB8wsVUoo
16/08/29 00:14:34.45 5a8Ea2gJ.net
￥
430:￥ ◆2VB8wsVUoo
16/08/29 00:14:50.25 5a8Ea2gJ.net
￥
431:￥ ◆2VB8wsVUoo
16/08/29 00:15:07.06 5a8Ea2gJ.net
￥
432:￥ ◆2VB8wsVUoo
16/08/29 00:15:23.36 5a8Ea2gJ.net
￥
433:￥ ◆2VB8wsVUoo
16/08/29 00:15:39.89 5a8Ea2gJ.net
￥
434:￥ ◆2VB8wsVUoo
16/08/29 00:15:57.08 5a8Ea2gJ.net
￥
435:￥ ◆2VB8wsVUoo
16/08/29 00:16:14.99 5a8Ea2gJ.net
￥
436:￥ ◆2VB8wsVUoo
16/08/29 00:16:31.25 5a8Ea2gJ.net
￥
437:￥ ◆2VB8wsVUoo
16/08/29 00:16:48.24 5a8Ea2gJ.net
￥
438:￥ ◆2VB8wsVUoo
16/08/29 00:57:23.64 5a8Ea2gJ.net
￥
439:１３２人目の素数さん
16/08/30 20:55:59.08 sRyUUq9Z.net
このスレで一番邪魔なのがスレ主、次が\
440:１３２人目の素数さん
16/09/01 20:27:00.29 qfR66kjQ.net
>>385
発想が新鮮だね
面白いことを思いついた
＜決定番号の有限無限について＞
・時枝研究室の学生A君。時枝解法の細かい話はまだ知らない。
・問題の列が、k列で、1<k<50とする。
・1列から問題の列の手前k-1列まで、シッポの分類をして、同値類をから代表元を決めていたA君
・ところが、急遽会場の都合で、半分の50列にするように要請があった。
・時枝先生は、「当たる確率が99%から98%に低下するが、まあ良いだろう」と受け入れた
・が、箱は減らすわけにはいかない。また、A君としては、調べたk-1列を無駄にはしたくない。
・そこで、優秀なAくんは、考えた。調べたk-1列の前に、残りの列で問題のｋ列以外を直結すれば良いのだ！と。
・つまり、例えば調べた１番目の列と１００番目の列を直結する。そうすると、シッポは１番目の列と同じだ。だから、調べたことは無駄にはならない。
・代表元はすでに選んであるので、これも無駄にしないように、直結する１００番目の列と同じ長さの数列を乱数を発生させて前につなげて、長さを調整した。
・新しい列の決定番号は、１００番目の列の長さLを加え、旧１番目の列の決定番号d1との和、L＋d1になるのだった。
・「これで良いのだ！」というA君。
・L＋d1は、無限大になるので頭を抱える時枝先生だった・・・
さて、数学的な評価やいかに？
（これを否定する数学的根拠はあるのか？）
441:１３２人目の素数さん
16/09/01 20:27:36.60 qfR66kjQ.net
（補足）
・要は、決定番号が有限になるという根拠はあるのか？
（決定番号が、有限であってほしいという願望は分かるが、願望で数学はできない。）
442:１３２人目の素数さん
16/09/01 20:28:21.74 qfR66kjQ.net
（補足の補足）
・無限数列のシッポの同値類分類のような、奇妙奇天烈かつ破天荒の手法をとっている
・さらに、加算無限の１列を、１００列の加算無限の列に並び替えるというこれまた、奇妙奇天烈かつ破天荒の手法をとっている
・ならば、並び替えた１００列をまた直結するくらいは許される�
443:ﾗきではないか？ というか、これを非とする数学的な理屈がない！
444:１３２人目の素数さん
16/09/01 20:59:30.99 N04tXaIF.net
＞s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s ～ s'と定義しよう(いわばコーシーのべったり版).
頭の有限個以外が一致するという条件なのだから、決定番号は当然有限
＞・つまり、例えば調べた１番目の列と１００番目の列を直結する。そうすると、シッポは１番目の列と同じだ。だから、調べたことは無駄にはならない。
頭の有限個以外がシッポなのだから、新たなシッポは前の列が含まれ、同値類が変わる
445:１３２人目の素数さん
16/09/01 20:59:44.12 qfR66kjQ.net
>>381
おっちゃんは、やはり愛すべきキャラだね
１．「国語からやり直し」と言いながら、自分の書いている日本語はどうなんだ？
（おっちゃんの書いている証明そっくりだな。何を言いたいのか？）
２．独演会とは一人でやるから独演会だ。ところが、掛け合い漫才のもう一人の当人がおっちゃん、あんたでしょうよ？
つたない英語で何が言いたい？ ”私かお前さんのどちらか片方がここに書いた可能性を見落としている”？ 独演会の否定になってないよ （しかし、その英語が日本語よりましだから面白い）
３．”そもそも、「独演」の意味が分かっていれば>>343は書かない。”って、なにが言いたいんだ？？
結局、「国語からやり直し」って、お互いさま以上の主張になっとらんぜ（＾＾
446:１３２人目の素数さん
16/09/01 21:02:16.77 qfR66kjQ.net
>>413
>頭の有限個以外が一致するという条件なのだから、決定番号は当然有限
証明できないよ
447:１３２人目の素数さん
16/09/01 21:04:06.34 qfR66kjQ.net
例えばな、頭の有限個以外というが、その頭の有限個を仮にｎとしようか
ｎに上限はあるのか？ 上限があるとすれば、それはいくらだ？
448:１３２人目の素数さん
16/09/01 21:06:29.78 qfR66kjQ.net
上限は決められない？
上限がない場合を、数学では無限というんじゃないのかね？
449:１３２人目の素数さん
16/09/01 21:11:22.92 qfR66kjQ.net
>>381
>同値類の代表元は選択公理の適用から非可測集合を経由して得られているから何も問題ない。
"選択公理の適用から非可測集合を経由して"? それが一体どうした？
選択公理の適用から非可測集合を経由することが、一体数学的にどんな意味があって、どんな正当化の理由付けになるのか？
おっちゃんの数学は、いつもあやしいね（＾＾
450:１３２人目の素数さん
16/09/01 21:29:12.00 qfR66kjQ.net
￥さんの介入はいつも的確だね（＾＾
451:１３２人目の素数さん
16/09/01 21:36:30.89 qfR66kjQ.net
>>368
>なんでこいつは自分では証明しないのに人にはそれを求めるの？
反語だよ反語！
”「シッポ」は必ず無限数列になりさらに「シッポ」を取り除いた「アタマ」は有限数列になるのでその長さも決定できる”は、要証明だな
∞－∞＝有限（＝「アタマ」） を証明することになるが、∞－∞＝有限は証明できない
同じようなことは、>>410に書いたよ
452:１３２人目の素数さん
16/09/01 21:37:45.42 N04tXaIF.net
>>416
＞s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s ～ s'と定義しよう(いわばコーシーのべったり版).
この n0 は s と s' に依る
s と s' を動かせば、いくらでも大きい n0 を得ることができるが、s と s' を決めれば自然数 n0 が決まり、自然数なのだから当然有限
453:１３２人目の素数さん
16/09/01 21:45:44.43 /xa5DlcY.net
ID:qfR66kjQは相手にしないほうがよい
454:１３２人目の素数さん
16/09/01 21:47:43.43 qfR66kjQ.net
>>272
>Sergiu Hart氏の”November 4, 2013”の日付が正しいとして
>註1 Source unknown. I heard it from Benjy Weiss, who heard it from ..., who heard it from ... .
時枝解法が与太話としても、Sergiu Hart氏がPUZZLES ”Choice Games”として取り上げて
何人もの学者たちに口伝され、時枝がころりと乗せられる
与太話は当然としても、なかなか面白い話だった（＾＾
455:１３２人目の素数さん
16/09/01 21:50:56.15 qfR66kjQ.net
>>421
>自然数なのだから当然有限
それは言えないよ
”いくらでも大きい n0 を得ることができる”と”n0 有限”は、両立しない
数学の常識だよ
456:１３２人目の素数さん
16/09/01 21:51:24.70 qfR66kjQ.net
ｃｆ ペアノ
457:１３２人目の素数さん
16/09/01 21:51:59.89 qfR66kjQ.net
自然数が有限集合だったとは、新説かい？
458:１３２人目の素数さん
16/09/01 21:58:13.10 rrvGRLoE.net
横レスだが、決定番号が有限値に定まることを証明しておく。
完全代表系の定義からきちんと出発する。
完全代表系の構成の仕方：
R^N に以下のようにして同値関係～を定義する。
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^N に対して、
s～s' ⇔ ∃n_0≧1, ∀n≧n_0 [ s_n＝s'_n ].
この～が実際に同値関係になっていることの証明は省略する。
s∈R^N に対して、sの同値類を C(s) と書くことにする。すなわち、
C(s)＝{ t∈R^N｜s～t }
と定義する。C(s)⊂R^N である。次に、
M＝{ A⊂R^N｜∃s∈R^N [ A＝C(s) ] } ( ＝ R^N/～ )
と置く。次が成り立つことに注意する。
(1) ∀A,B∈M [ A≠B ⇒ A∩B＝φ ].
(2) ∪[A∈M] A ＝ R^N.
(3) ∀A∈M [ A≠φ ].
I_A＝A (A∈M) と置けば、A∈M を添え字とする集合族 (I_A｜A∈M) が得られる。
(3)から、I_A≠φ (A∈M) である。よって、選択公理が使えて、
写像 f：M → ∪[A∈M] I_A (＝R^N) であって
∀A∈M [ f(A) ∈ I_A (＝A) ]
を満たすものが存在する。このような f を1つ取って固定する。
集合 { f(A)｜A∈M } は、「 R^N の、～に関する完全代表系」と呼ばれる。
次が成り立つことに注意する。
(4) ∀A∈M [ C(f(A))＝A ].
459:１３２人目の素数さん
16/09/01 22:02:23.27 rrvGRLoE.net
決定番号の定義の仕方：
写像 g：R^N → M を以下のように定義する。
s∈R^N を任意に取る。(2)より、s∈R^N＝∪[A∈M] A であるから、
s∈A を満たす A∈M が存在する。また、(1)より、そのような A∈M は一意的である。
その A に対して、g(s)＝A と定義する。こうして g：R^N → M を定義すると、
明らかに次が成り立つ。
(5) ∀s∈R^N [ s∈g(s)∈M ].
次に、P(N)をNのベキ集合として、写像 h：R^N → P(N) を以下のように定義する。
s∈R^N を任意に取る。(5) より、g(s)∈M である。
特に、f(g(s)) が定義できて、f(g(s))∈R^N である。そこで、
h(s) ＝ { m≧1｜∀n≧m [ s_n＝f(g(s))_n ] } ⊂ N
と定義する。こうして h：R^N → P(N) を定義すると、次が成り立つ。
(6) ∀s∈R^N [ h(s)≠φ ].
以下でこのことを示す。s∈R^N を任意に取る。
h(s)≠φ を示したい。背理法を使う。h(s)＝φと仮定する。
よって、任意の m≧1 に対して ￢(m∈h(s)) が成り立つ。
すなわち、任意の m≧1 に対して
∃n≧m [ s_n≠f(g(s))_n ]
が成り立つ。これが任意の m≧1 で言えるから、
∀m≧1, ∃n≧m [ s_n≠f(g(s))_n ]
が成り立つことになる。すなわち、
￢(∃m≧1, ∀n≧m [ s_n＝f(g(s))_n] ) … (*)
が成り立つことになる。さて、(5)より、s∈g(s)である。
また、(4)より、C(f(g(s)))＝g(s) である。
よって、s∈C(f(g(s))) である。よって、s ～ f(g(s)) である。
～の定義から、次が成り立つ。
∃n_0≧1, ∀n≧n_0 [ s_n＝f(g(s))_n ].
これは(*)に矛盾する。以上より、h(s)≠φ である。
以上より、(6)が成り立つ。
最後に、写像 d：R^N → N を以下のように定義する。
d(s)＝ min g(s).
(6)に注意して、この定義は well-defined であり、確かに d(s)∈N が成り立つ。
460:１３２人目の素数さん
16/09/01 22:08:49.25 rrvGRLoE.net
訂正：
× d(s)＝ min g(s).
○ d(s)＝ min h(s).
写像 d の性質：
d(s) の well-defined な定義により、d(s)∈N かつ d(s)∈h(s) である。
h(s)の定義から、
∀n≧d(s) [ s_n＝f(g(s))_n ]
が成り立つ。よって、この d(s) は決定番号の意味をきちんと持っており、
しかも d(s) は有限値である。(終わり)
461:１３２人目の素数さん
16/09/01 23:03:44.05 qfR66kjQ.net
>>427
タテレスだが、決定番号が有限値に留まらないことを証明しておく。
背理法による
１．決定番号が有限値に留まると仮定する。すると、決定番号に最大値が存在する。それをdmとする
２．dmに対応する同類に属する数列s"が存在する。s"= (s1，s2，s3 ，x x x，sdm，sdm+1・・・)としよう
３．ここで、sdm≠s'dmなる s'dmを取ることができて、数列s'''= (s1，s2，s3 ，x x x，s'dm，sdm+1・・・)を構成することができる
４．数列 s'''= (s1，s2，s3 ，x x x，s'dm，sdm+1・・・)の決定番号は、明らかにdm+1。当然、dm＜dm+1だ
５．これは、dmが最大値であることに反する
（蛇足でいうまでもないが、・・・は数列のシッポが一致していることを意味する）
QED
補足
上記数列s'''= (s1，s2，s3 ，x x x，s'dm，sdm+1・・・)からの決定番号dm+1の構成法からも明らかなように（これはペアノ算法そのもの）
また、無限長数列のシッポで同値類をとるという構成法からも、明らかなように、同値類の
462:頭の最大値は有限ではありえない （当たり前だが、当たり前が分からない人がいるので強調しておく）
463:１３２人目の素数さん
16/09/01 23:04:24.20 aXlkYQfx.net
>>410-412
>>415
>>420
>>424
再度書くが 「1. 順序数について調べよう」
自然数全体の集合の順序数をωと書くことにするとωは可算無限集合の順序数のなかで最小の順序数である
任意の有限集合の順序数をnと書くことにすると n < ω であり
n + ω = ω ≠ ω + ω
よって自然数全体の集合は必ず「アタマ」=有限数列かつ「シッポ」=無限数列になる
464:１３２人目の素数さん
16/09/01 23:15:42.19 rrvGRLoE.net
>>430
＞１．決定番号が有限値に留まると仮定する。すると、決定番号に最大値が存在する。それをdmとする
ダウト。d(s)はsごとに決まる自然数であり、集合 { d(s)｜s∈R^N } ⊂ N は
上に有界とは限らない。というか、上に有界ではない。
この時点でスレ主の背理法は間違い。
スレ主は>>427-429をきちんと読め。
周囲の人間に証明を要求しておきながら、いざ証明が貼り付けられても、
その証明そのものには何もツッコミを入れず、違う方向から反論
(しかも間違った反論)をしてくるのは正しい態度ではない。
まずは>>427-429をきちんと読み、>>427-429の論法に沿った形で、
>>427-429に不備がないかを確認し、不備があれば指摘しなさい。
それが正しい態度である。
465:１３２人目の素数さん
16/09/01 23:17:51.43 qfR66kjQ.net
ぼく数学科か？ 何年生？
466:１３２人目の素数さん
16/09/01 23:20:05.42 rrvGRLoE.net
>>433
その手には乗らん。煽りで返答するような局面では無い。
周囲の人間に証明を要求しておきながら、いざ証明が貼り付けられても、
その証明そのものには何もツッコミを入れず、違う方向から反論
(しかも間違った反論)をしてくるのは正しい態度ではない。
まずは>>427-429をきちんと読み、>>427-429の論法に沿った形で、
>>427-429に不備がないかを確認し、不備があれば指摘しなさい。
それが正しい態度である。
スレ主の背理法が間違っていることは既に指摘した。
今度はそっちの晩。>>427-429をきちんと読み、
不備があるなら指摘しなさい。
467:１３２人目の素数さん
16/09/01 23:20:49.02 qfR66kjQ.net
>>432
それは、独自数学だな
あなたの説なら、自然数は有限集合になってしまうよ
468:１３２人目の素数さん
16/09/01 23:22:16.55 rrvGRLoE.net
>>435
＞あなたの説なら、自然数は有限集合になってしまうよ
「なる」というなら、そのことを証明してみなさい。
そこで改めて、スレ主の勘違いが露呈する。
だから、そのことを証明してみなさい。
469:１３２人目の素数さん
16/09/01 23:24:29.53 qfR66kjQ.net
>>432
>d(s)はsごとに決まる自然数であり、集合 { d(s)｜s∈R^N } ⊂ N は
>上に有界とは限らない。というか、上に有界ではない。
発狂してんじゃないか？
自然数の集合で上に有界ではないなら、それは無限だよ
470:１３２人目の素数さん
16/09/01 23:25:19.44 qfR66kjQ.net
>>436
ペアノの公理とか基礎論を勉強したらどうだ？
471:１３２人目の素数さん
16/09/01 23:27:51.42 /xa5DlcY.net
>>437
本気で∞∈Nだと思ってるだろ
472:１３２人目の素数さん
16/09/01 23:27:58.10 rrvGRLoE.net
>>437
そこがスレ主の勘違い。
たとえば、a_n＝n (n≧1) という数列を考えると、{ a_n｜n∈N } ⊂ N という
集合は上に有界ではないが、どの a_n も有限値であり、a_n＝＋∞ が
成り立っているような n は存在しない。
473:１３２人目の素数さん
16/09/01 23:29:22.64 qfR66kjQ.net
>>434
>>430に書いた証明の手法は、ごくありふれたどこにでもあるやり方だよ
これを否定するのは、勉強不足だよ
474:１３２人目の素数さん
16/09/01 23:31:30.78 qfR66kjQ.net
>>440
別にかまわんが、じゃ
”箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.”の「可算無限個ある.箱」ってどういう意味なんだ？ 説明してみな
475:１３２人目の素数さん
16/09/01 23:32:35.69 rrvGRLoE.net
>>441
手法がありふれているかどうかではない。
d(s)はsごとに決まる自然数であり、
集合 { d(s)｜s∈R^N } ⊂ N は上に有界ではないのだから、
これが上に有界だと主張しているスレ主はこの時点で間違っており、
反論として成立していない。すなわち、
「スレ主はありふれた手法を使ったが、しかし間違えている」
ということ。
476:１３２人目の素数さん
16/09/01 23:34:46.30 rrvGRLoE.net
>>442
まずは俺の>>427-429 をマジメに読みなさい。
そして、どの行にも間違いがないことを確認しなさい。
そのときスレ主は初めて
「あれ？自分がおかしかったのかな？」
と気づくであろう。
もしくは、>>427-429 に具体的な間違いを発見したならば、
その部分を具体的に
477:指摘しなさい。 なぜ読まないのだ。まずは読みなさい。 周囲の人間に証明を要求したのはスレ主である。 スレ主は、そのような証明を読みたがっていたからこそ、 証明を要求したのである。にも関わらず、読まないで 別の方面から反論してくるのは不誠実である。 まずは読みなさい。
478:１３２人目の素数さん
16/09/02 00:54:13.55 Fta2HIsX.net
>>444
メンター氏だろうか。参戦感謝。
スレ主の相手は楽しいだろうか？
それが終わったら、ほんの少しだけでも構わないので、
私のお相手もして頂けると有難い。
///
もはや説明の必要はないと思うが、
時枝氏の記事の内容はSergiu Hart氏の公開論文の内容
URLﾘﾝｸ(www.ma.huji.ac.il)
と同じであり、そこでは混合戦略の意味で、
"確率1-εで箱の中身を当てられる"とする戦略が述べられている。
俺は"戦略は成立する"という意見を持っている（>>256）。
もちろんそれを『確率(測度)99/100で箱の中身を当てられる』などと言うつもりはない。
・非可測な対象（Hart氏のGame1）
または
・確率空間を定義できない対象（Hart氏のGame2）
に対して確率測度を考えることはできない。
そのような対象を扱うとき、確率的な直感が通らないのは不思議ではないと、
理屈の上では理解しているつもりである。
繰り返すと、私の立場は
『戦略は成立する（ただし確率測度を考えることはできない）』
というものだ。
貴方はどのような考えを持っているだろうか、率直に知りたいと思う。
それをもとに理解を深めていきたい。
479:１３２人目の素数さん
16/09/02 07:46:34.19 p3ksXUdG.net
''';;';';;'';;;,., ザッザッザ・・・
''';;';'';';''';;'';;;,., ザッザッザ・・・
;;''';;';'';';';;;'';;'';;;
;;'';';';;'';;';'';';';;;'';;'';;;
vy;vy;v:yy;vy;v;yv;yv、
うんこスレと聞いて λVv vλ v;y v Vv vλv;y λv、
参りました λ Λ __ λ_ Λ _ﾍ λ λ ﾍ__ λ_ﾍ λ λ
人 人 λ 人 人 人 __λ人 人 人
人 人 人 人 人 人 人 人 人
人（＿_人（＿人 ） 人 （人.人_＿）.人___） 人（ 人
（＿_）__（＿_）_（＿_）（＿_）（＿_）__） （＿_）__（＿_）（＿_）
（＿＿）（＿＿（＿＿）＿__（＿＿）__）（＿＿）（＿＿）＿＿）
（ ・∀・ （ ・∀（ ・∀・ ）∀（ ・∀・ ）・（ ・∀・ ） ・∀・ ）∀・ ）
480:１３２人目の素数さん
16/09/02 09:55:22.61 QRLQWkWZ.net
ここにきてさらに低レベルっぷりを晒してきてワロタ
481:１３２人目の素数さん
16/09/02 17:30:41.86 DbRNG5d4.net
レベルが低過ぎると会話すら成立しないいつものパターン
482:１３２人目の素数さん
16/09/02 19:39:40.53 lJMQNL4g.net
>>430
>>442
> 当たり前だが、当たり前が分からない人がいるので強調しておく
スレ主は無限数列のシッポの全ての数字を変えた段階で「無限数列が属する同値類が変わること」を考慮しなくちゃいかんよ
形式的に書くとスレ主はシッポの全ての数字を変えれば d = ＋∞ だと言いたいのだろうが新しい無限数列のシッポで
求めた決定番号は有限なので d < ＋∞
483:１３２人目の素数さん
16/09/02 21:30:24.88 2O3NO53v.net
>>445
ヨコだが、URLﾘﾝｸ(www.ma.huji.ac.il) の GAME2 について考えて
このパラドクスの源泉がわかったような気がする。
GAME2は、選択公理も非可測集合も出てこないので、それらはパラドクスに関係ない。
おそらく確率も関係ない。なぜなら、事前に代表系を定めておけば、プレーヤー２の番の前に部分数字列、同値類、決定番号、
その他諸々定まっていて、確率は開けないで残す列を選ぶことのみに関わるからだ。
GAME2 は、ほとんどを�
484:ﾀ際に行えるようになっているので、それらを実行してみて変なところがないか探してみる。 代表系を構成的に作るには、代表元を循環節のみからなっている有理数の中で最小のものとすればよい。 プレーヤー１（アリスとしよう）は、[0,1]内の有理数つまり可算集合から選ぶので、ちゃんと確率分布（ポアソン分布とか）を設定できる。 （このことはちゃんと確率を計算できることを言っているだけで、パラドクスとは無関係。） プレーヤー２（ボブとしよう）が、箱を分けることも問題なく実行できる。 しかし、次にボブが箱を開けて部分数字列を得たとき、それからその同値類を決定できるだろうか？ 通常の数学では、同値類の定義から（超越的に）決定できる（とする）。 だが、実際（構成的）には、無限個を見渡すことができないのだから、決定はできない。 頭の方から順に見ていって循環が始まったように見えても、それがいつ破れるかもしれないのだ。 ここに、このパラドクスの源泉があると思われる。 もし同値類を決定できるならば、決定番号を求めることなどは構成的にできるので、この後も戦略はうまくいって、 確率 1-εで当てることができることが計算できる（はず）。 面白いのは、アリスは部分数字列の同値類を構成的に決定できること。 それは、もともとの有理数を知っているから、部分数字列の有理数を決定することができるからだ。 つまり、正解を知っているアリスは戦略を実行でき、知らないボブは実行できない。 なんとも皮肉であるが、常識的だといえる。 GAME1 でも、構成的にできることはほとんどなくなるが、やはり「数列の同値類が決定できるとするか否か」が ポイントなのではないだろうか。
485:１３２人目の素数さん
16/09/02 22:36:31.19 Fta2HIsX.net
>>450
コメントありがとうございます。
2点レスします。
---
[1]
『実際的』『構成的』を要件にする場合、貴方の見解に異論はありません。
これについて、下記のページを紹介しておきたい。
URLﾘﾝｸ(cornellmath.wordpress.com)
ここではinfinite hat problemについて議論を交わしているが、
この中で下記Charles Siegel氏のコメントから始まる一連の議論がある。
Charles Says:
September 13, 2007 at 3:23 pm | Reply
要約すれば（意訳を含むので実際に原文を読んでほしいが）、
infnite hat problemが『実際に』成立するためには、
無限の人間が無限の記憶力を持ち、
無限の計算量を有限時間で行う能力をもつ、
ことを仮定する必要がある。
そのようなことはもちろん『実際には』不可能である。
---
私はこの問題が『実際に行えるかどうか』を争うつもりはない。
『infinite hat problemが成立する』という数学的事実を認めた場合、
そしてもちろん上記事実を導く数学的仮定を認めた場合、
時枝の戦略は成立すると貴方は考えている、と読みました。
私が誤解していたら訂正してください。
（次レスに続く）
486:１３２人目の素数さん
16/09/02 22:40:57.90 Fta2HIsX.net
（前レスの続き）
[2]
>>450
> おそらく確率も関係ない。なぜなら、事前に代表系を定めておけば、プレーヤー２の番の前に部分数字列、同値類、決定番号、
> その他諸々定まっていて、確率は開けないで残す列を選ぶことのみに関わるからだ。
これについては少し議論させてほしい。
貴方が2行目で言う『確率』は、勝ち負けを決める『確率測度』のことではないと思うがどうだろうか？
『開けないで残す列を選ぶ』選び方に関わる『確率』とは、混合戦略の意味での"確率"ではないだろうか？
プレーヤー2は各列の同値類、決定番号を知らない。
勝ち負けはr_kに対応する決定番号d(r_k) (d：決定番号，r_k；k番目の無限列）の大小で決まる。
d(r_k)の確率分布が分かれば勝つ確率が計算できる。
しかし実際にはd(r_k)は規格化できず確率変数にはなり得ないと思う。
したがって確率空間を定義できず、測度の文脈では
487:確率を考えることはできない、と私は思う。 全く違う問題だと突っ込まれるかもしれないが、 上記ページの下記コメントは、可算選択公理でパラドックスが生じる別の問題について、 その原因はパラドックスと感じる根本原因が『非可測であること』から 『規格化できないこと』にシフトしたためである、とコメントしている。 Terence Tao Says: September 13, 2007 at 9:58 pm | Reply 以上の意見は、貴方の意見と対立するものではないと考えている。 パラドックスの源泉として貴方は『構成的でない』ことを挙げた。 私もそれには同意する。 一方、たとえ『構成的』を要件から外した場合でも、 依然としてこの問題は直感に反するように思う（そう思う人間がきっといる。私も含めて）。 その理由は、確率空間が定義できない対象に、確率的直感を当てはめてしまうからではないか？ 確率的直感を当てはめれば、R^Nのinfinite hat problemにおいて、無限の人間が 非可算無限の色の中から、自分の帽子の色をただ1つ選び出せるとは考えづらいからである。
488:１３２人目の素数さん
16/09/03 09:11:34.41 PeRmcQf6.net
>>414
>>418
どうも、愛すべきキャラのおっちゃんです。+∞が自然数だと思っていたのか…。
+∞が実数だったとしよう。x＝+∞ とおく。有理直線Qを全体集合とする。
xは実数直線R上の点で x∈R。また、Q⊂R。従って、実数の定義から、
xは、Qの或る空ではない部分集合 A＝{r∈Q|r＜x} を用いて、
有理直線Qのデデキント切断により、x＝<A,A'> A'はAのQについての補集合 と表される。
1は有理直線Q上の点で 1∈Q。定義から、有理直線Qの部分集合 A+1 は
A+1＝{r+1|r∈Q} と表される。AはQの真部分集合だから、A+1 はQの真部分集合である。
従って、実数の定義から、xと1の実数の加法+についての和 x+1 は、
有理直線Qのデデキント切断により、x+1＝<S,S'> S＝A+1 S'はSについての補集合
と表される。点 r∈A を任意に取ると、A⊂Q から r⊂Q であって r-1∈Q であり、
r-1∈A だから、定義から、(r-1)+1＝r+((-1)+1)＝r+0＝r∈S。従って、A⊂S であり、
x＜x+1。x+1∈R だから、定義からxは上に有界である。しかし、+∞の定義から、
xは上に有界ではない。従って、矛盾が導けた。故に、+∞は実数ではない。
自然数の全体Nと、実数直線Rの間には N⊂R の包含関係があるから、+∞は自然数ではない。
これで分からなかったら、やはり微分積分以前の問題だな。
それ以前に、どうせスレ主は読まないと思うが。
489:１３２人目の素数さん
16/09/03 09:16:31.15 PeRmcQf6.net
>>414
>>418
>>453の訂正：
「x+1＝<S,S'> S＝A+1 S'はSについての補集合」 → 「x+1＝<S,S'> S＝A+1 S'はSのQについての補集合」
490:１３２人目の素数さん
16/09/03 09:16:31.60 PeRmcQf6.net
>>414
>>418
>>453の訂正：
「x+1＝<S,S'> S＝A+1 S'はSについての補集合」 → 「x+1＝<S,S'> S＝A+1 S'はSのQについての補集合」
491:１３２人目の素数さん
16/09/03 09:18:39.33 PeRmcQf6.net
同じ内容のレスを2回続けて投稿してしまった。
492:１３２人目の素数さん
16/09/03 09:33:55.22 SvFkb7h1.net
>>450 訂正
>もし同値類を決定できるならば、決定番号を求めることなどは構成的にできるので、この後も戦略はうまくいって、
決定番号を構成的に求めるには、同値類では足りなくて、部分数字列に対応する有理数まで必要。
これも通常の数学では決定できる。
>>451
私も、構成的手法に限定しなければ、時枝の戦略は成立すると考えてますよ。
>>452
>貴方が2行目で言う『確率』は、勝ち負けを決める『確率測度』のことではないと思うがどうだろうか？
はい、そうではありません。
>『開けないで残す列を選ぶ』選び方に関わる『確率』とは、混合戦略の意味での"確率"ではないだろうか？
「混合戦略の意味での"確率"」の意味がわかりませんが、単に『開けないで残す列を選ぶ』確率のことです。
d(r_k)の確率分布とは、どんなものかいまいちわかりません。
プレーヤー１の有理数を選ぶ確率分布から決まるものですか？
それを考える意味が私にはわかりません。
>パラドックスの源泉として貴方は『構成的でない』ことを挙げた。
それだと「構成的でない」即パラドクスみたいに聞こえますね。そうではなく、
主張はもっとずっと特定的で「パラドクスの源泉は数列からその同値類を決定できるとするところ」です。
開けていない箱の数の情報をいつどのようにプレーヤー２が得るのかが私の関心事です。
残しといた列を部分的に開けたところまでは、開けていない箱の数の情報は得ていないでしょう。
その後、残しといた列の同値類が決定できたところでは得ることができるようになってます。
なので、同値類の決定がクリティカルである、と考えました。
人間は構成的なことしかできなくて、非構成的なことは神様がやってくれるとするならば、
数列からその同値類を決定することを神様がやってくれる、
つまり神様が情報をくれるのだ、と思うことができます。
493:１３２人目の素数さん
16/09/03 09:46:56.67 PeRmcQf6.net
>>414
>>418
>>453の
>点 r∈A を任意に取ると、A⊂Q から r⊂Q であって r-1∈Q であり、
の部分の「r⊂Q」は「r∈Q」に訂正。
494:１３２人目の素数さん
16/09/03 11:52:11.99 pbkV/Chw.net
>>457
> 「混合戦略の意味での"確率"」の意味がわかりませんが、単に『開けないで残す列を選ぶ』確率のことです。
了解です。
100列のR^Nがあるとき、どの列を選ぶかで100の選択肢（純粋戦略）がある。
それら選択肢のどれを選ぶかを確率を付して決めることができる（混合戦略）。
これを100面のサイコロで決めるとすれば、開けないで残す列は1/100の確率で選ばれる。
しかしこの確率は、貴方も理解されているように
『選んだ無限列r_k∈R^Nに対応するd_kが唯一の最大値になる確率"測度"』ではない。
あくまで100列からある1列を選ぶ確率測度に過ぎない。
このことを表すために『混合戦略の意味での"確率"』と言いました。
> d(r_k)の確率分布とは、どんなものかいまいちわかりません。
> プレーヤー１の有理数を選ぶ確率分布から決まるものですか？
> それを考える意味が私にはわかりません。
はい、有理数を選ぶ測度分布から決まるものです。
---
『考える意味が分からない』という意見は興味深い。
どういう意味でそう言っているのか？推測だけれども
『100列のうち1列を選ばなければ勝てることが論理的に示される以上、
プレイヤーの勝ち負けは箱の選択如何で決まる。よって勝つ確率は99/100である。』
そういう意味であれば、
（※１）プレイヤー２が『勝つ確率』＝100面サイコロがある特定の目を出さない"確率"
を意味することになると思う。
ところで数学的に厳密に記述できる確率とは一般に確率測度のことであると思う。
そこで（※１）の左辺にある『勝つ確率』は確率測度であってほしい。
サイコロで決まる確率測度99/100でゲームに勝てるというならば、
（※２）『選んだd(r_k)が唯一の最大値とならない確率測度は99/100である』
ことを示す必要があるのではないか？
確率とは確率測度のことであるとすれば、それはその通りではないかと思う。
以上が確率分布d(r_k)を得ようとする動機となる。
（続く）
495:１３２人目の素数さん
16/09/03 11:57:26.78 pbkV/Chw.net
（前レスの続き）
>>457
> プレーヤー１の有理数を選ぶ確率分布から決まるものですか？
はい。
たとえば1つの推測としてポアソン分布を仮定する。
また100列は独立等分布とする。
これで前レスの（※２）が示せればいいのだが、game1,2ともに示すことはできないと思われる。
確率測度P(d_k>max({他の99個のd}))が計算できないにも関わらず、
そうなる確率（負ける確率）は1/99以下である、と言っているに等しい。
それは少し気持ち悪く感じるが、貴方はそうでもないだろうか？
今のところ私は『測度論的確率論も万能じゃないんだな。』で納得することにしています。
> 主張はもっとずっと特定的で「パラドクスの源泉は数列からその同値類を決定できるとするところ」です。
私の理解が浅かったようです。改めて考えてみます。ご指摘感謝。
496:460
16/09/03 21:41:52.11 hpt/5Vwk.net
>>460
>そうなる確率（負ける確率）は1/99以下である、と言っているに等しい。
1/100以下の間違いです。
スレ主と議論中だったのに話の腰を折ってしまった。申し訳ない。
497:１３２人目の素数さん
16/09/04 22:21:11.09 FlB/9kH2.net
>>450-461
どうもみなさん、盛り上がっているようですね
じゃましないようにします
498:１３２人目の素数さん
16/09/04 22:21:38.50 FlB/9kH2.net
>>450の視点はなかなか面白いですね。
Tさんもようやく、覚醒に近づいたかも
（そろそろ、Choice Games / puzzle Written by Sergiu Hart だと気付いてほしい。）
時枝記事はそのソースが、puzzleなんだと。まっとうな、数学理論にあらずだよ（数学者はだれもまっとうな数学理論として取り上げていないよと）
499:１３２人目の素数さん
16/09/04 22:21:53.68 FlB/9kH2.net
これだけの人が（時枝を含め）、Choice Games / puzzle Written by Sergiu Hart に引っかかっているとすれば、このスレで延々長期にわたって取り上げた意味はあったというものだろう
まあ、さらにどんどん議論を深めて下さい
500:１３２人目の素数さん
16/09/04 22:22:14.41 FlB/9kH2.net
さて、関連して重要なポイントを、２つ指摘しておこう
501:１３２人目の素数さん
16/09/04 22:23:04
502:.50 ID:FlB/9kH2.net
503:１３２人目の素数さん
16/09/04 22:25:32.25 FlB/9kH2.net
２．
>>444 （これは、明らかにメンター氏ではない）
以下コメントをしておく
>>430の決定番号が無限大の可能性があるという証明が理解できないと宣う方々
それは、先に書いた「可算無限個ある.箱」（つまりは自然数の集合Nがcard(N)=アレフ0(=可算無限)であること）の理解があやふやってことだよ
それで、>>430よりもっと分かり易い説明（証明）を与える。ポイントは”数列コピー＋１箱取り替え法”だ
＜命題：決定番号の可能な範囲は、１から無限大（上記の自然が無限あるという意味で）まである（決して有限の範囲ではありえない！）＞
（証明）
１．問題のある数列 s = (s1，s2，s3 ，・・・) とする。このある数列 sから作られる完全代表系の同値類の集合をUとする
２．数列 s のコピーを作る。当然、s ∈ U （∵完全代表系だから）
３．数列 s の d番目の数 sdを、なにかsd≠s'dなるs'dに取り替える
４．つまり、s = (s1，s2，s3 ，・・・, sd,sd+1, ・・・) に対し、s' = (s1，s2，s3 ，・・・, s'd,sd+1, ・・・)となる。明らかに、s' ∈ U （∵完全代表系だから）
５．ここで、s' はsとは、しっぽがd+1から一致する。つまり、s'を代表元とすれば決定番号はd+1
６．ここで、d+1に対して、自然数の性質から後者d+2が存在する
７．上記同様に、s = (s1，s2，s3 ，・・・, sd+1,sd+2, ・・・) に対し、s'' = (s1，s2，s3 ，・・・, s'd+1,sd+2, ・・・) （但し、sd+1≠s'd+1）とできるから、この場合は、決定番号はd+2
８．上記の決定番号の構成法から、明らかに、決定番号は任意の（つまりは全ての）自然数を取ることが出来る
９．従って、決定番号の集合をDとすると、N ⊆ D。つまり、card(D)=アレフ0(=可算無限)以上
QED
なお、蛇足だが、上記証明には、記号∞はあえて使わなかった。使った方が記述は簡素だが、それでは理解できない人が出そうだからだ
また、「無限大」の理解があやふやな人から、つっこみがありそうだが、つっこみの前に、冒頭の＜可算無限個についての正しい理解＞と”自然数の集合Nがcard(N)=アレフ0(=可算無限)であること”の説明をよく読むようお願いする
504:１３２人目の素数さん
16/09/04 22:27:33.28 FlB/9kH2.net
>>467
この証明なら、レベルの高い高3なら理解できるだろう
505:１３２人目の素数さん
16/09/04 22:39:46.40 HthSw4l9.net
>>467
> >>430の決定番号が無限大の可能性があるという証明
になっていませんｗ
506:１３２人目の素数さん
16/09/04 22:42:37.70 FlB/9kH2.net
なっているよ
可算無限＝自然数の集合が理解できていないね（＾＾
507:１３２人目の素数さん
16/09/04 22:47:14.40 HthSw4l9.net
>>470
> ８．上記の決定番号の構成法から、明らかに、決定番号は任意の（つまりは全ての）自然数を取ることが出来る
Nの任意の元は有限値なので決定番号も有限値。
おしまい。
508:１３２人目の素数さん
16/09/04 22:47:55.29 ywUbjGr/.net
>>467
決定番号dが「無限大」というのは決定番号が「全ての自然数より大きい」こと
つまり決定番号dが自然数全体の集合の要素でないことを示さないといけないよ
d < m < ＋∞ となる自然数mが存在する場合は決定番号dは「無限大」ではない
任意の自然数d
509:に対して m = d + 1 とすればdは「無限大」ではない
510:１３２人目の素数さん
16/09/04 22:51:15.44 HthSw4l9.net
>>468
> この証明なら、レベルの高い高3なら理解できるだろう
たぶんレベルの低い高1でもお前の間違いを理解できるぞ
511:１３２人目の素数さん
16/09/04 23:00:48.16 gw1pXNln.net
>>467
スレ主のそのような反応にはウンザリする。スレ主の反論の仕方は
「お前の説が正しいなら矛盾が起きるから、自動的に間違いだ」
というものばかりであるが、これは論法として危なっかしいばかりか、
俺の要求に答えてすらいないので、極めて不誠実である。
まず、論法としての危うさについて説明する。
スレ主は、俺の説が正しいとすると矛盾が出ると言うが、
それはスレ主の勘違いである可能性がある。
というか、実際にスレ主の勘違いであり、反論になってない。
それゆえに、そのような反論の仕方は危なっかしい。
次に、俺の要求に答えてないことについて。
「お前の説が正しいなら矛盾が起きる」という反論の仕方は、
結局のところ、俺の証明を全く読んでいないことを意味する。
俺が要求しているのは、俺の証明をきちんと読み、その上で、
間違っている箇所があるなら具体的に指摘しろということである。
スレ主は周囲の人間に証明を要求したのだから、
スレ主がそのような指摘作業の責任を負うのは当然のことである。
が、現状では、スレ主はマジメに証明を読もうとしておらず、
「その主張が正しいなら矛盾する」という危うい論法を盾にして耳を塞いでいる。
これは不誠実な態度である。しかも、スレ主が主張する矛盾は、スレ主の勘違いであり、
スレ主はその勘違いに気づいてすらいないのだから、これは根が深いのである。
このような勘違いをスレ主が自覚する第一歩は、とにかく、>>427-429 をマジメに読むことだ。
そして、どの行にも間違いがないことを確認することだ。もしくは、>>427-429 に
具体的な間違いを発見したならば、その部分を具体的に指摘することだ。
それが誠実な態度というものだ。
512:１３２人目の素数さん
16/09/04 23:03:52.29 gw1pXNln.net
>>467
話が進まないので、とりあえず、スレ主の認識を確認しておきたい。
写像 D：R^N → N を任意に取る。
このとき、任意の s∈R^N に対して D(s)∈N であるから、
任意の s∈R^N に対して「 D(s)は有限値 」である。
すると、スレ主の認識によれば、
{ D(s)｜s∈R^N } ⊂ N
という集合は必ず上に有界になるんだよな？
そういう認識でいいんだよな？
513:１３２人目の素数さん
16/09/04 23:34:24.71 gw1pXNln.net
一応、>>467そのものへのコメントも書いておく。
まず、R^Nの～に関する完全代表系を何でもいいから1つ固定して T と書く。
x∈R^N に対する決定番号 d(x) は、T の元との比較によって決定される。
具体的には、任意の x∈R^N に対して、x～t を満たす t∈T がただ1つ存在し、しかも
∃n_0≧1, ∀n≧n_0 [ x_n＝t_n ]
が成り立っているので、そのような n_0 のうち最小のものを d(x) と定義することになる。
ここまでを話の前提として、>>467にコメントする。
>>467
＞１．問題のある数列 s = (s1，s2，s3 ，・・・) とする。このある数列 sから作られる完全代表系の同値類の集合をUとする
言ってることが滅茶苦茶である。「sから作られる完全代表系の同値類の集合をUとする」が日本語として意味不明。
この文章をそのまま読むと、Uは同値類の集合ということになる。すなわち、何らかの集合 ∧⊂R^N が存在して、
U＝{ C(x)｜x∈∧ }
という形をしていることになる。特に U ⊂ P(R^N) でなければならないが、
一方で、２．以降の文章では s∈U や s'∈U という記述があるので、
U ⊂ R^N
でなければならない。ということは、Uは同値類の集合ではないことになる。
であるならば、「sから作られる完全代表系の同値類の集合をUとする」とは一体なんなのか？
２．以降の記述を見ると、s∈U や s'∈U という記述はスレ主の主張において本質的に重要であるため、
U の定義が何であれ、U ⊂ R^N が成り立っていることは確定する。しかし、この場合、４．の末尾にある
「明らかに、s' ∈ U （∵完全代表系だから）」という記述が支離滅裂となる。
たとえば、U そのものが R^N の～に関する完全代表系なのであれば、s'～t を満たす t∈U は
必ず存在するが、s' 自身が s'∈U を満たすとは限らないのである。
(続く)
514:１３２人目の素数さん
16/09/04 23:41:36.18 gw1pXNln.net
(続き)
＞５．ここで、s' はsとは、しっぽがd+1から一致する。つまり、s'を代表元とすれば決定番号はd+1
ここでの決定番号とは、おそらく s に対する決定番号のことを言っているものと思われる。
であるならば、決めるべきは d(s) である。よって、>>476 の冒頭で書いた完全代表系 T の中から、
515: s と同値なものを見つけて(これを t とする)、 ∀n≧n_0 [ s_n＝t_n ] を満たす n_0∈N のうち最小のものを取るとき、それが d(s) となる。 T は予め固定されているので、あとから変更することは出来ない。スレ主は 「 s'を代表元とすれば 」 と言っているが、これはすなわち 「 T の元を差し替えて s'∈T が成り立つように変更すれば 」 という意味である。もしそのように変更するならば、変更するごとに d(s) の値も更新され、 一般的には d(s) の値が大きくなっていくので、確かに d(s)＝＋∞ であるかのような 勘違いに陥ってしまうことになる。しかし、実際には、T は予め固定されているので、 自分勝手に取ってきたイジワルな s' をいつでも s'∈T として採用することは出来ない。 よって、ここがスレ主の勘違いとなり、ここでスレ主の主張は破綻する。 ちなみに、どうもスレ主は U 自身を「完全代表系」として扱っているように見える。 この場合、既に述べたように、s'～t を満たす t∈U は存在するものの、 s' 自体が s'∈U を満たすとは限らないので、やはりスレ主の主張は破綻している。 一方で、U が同値類の集合であるならば、もし C(s)∈U である場合、s'∈C(s) であるから、 T の元を差し替えるような作業は必要ない。そういえば、スレ主が主張するところの U は、 「sから作られる完全代表系の同値類の集合をUとする」 という滅茶苦茶な定義なのであった。となれば、どうもスレ主は、「完全代表系」について 大きな勘違いをしているように見受けられる。とりあえず、U がどんな集合なのか、 スレ主は日本語ではなく論理式できっちり書くべきである。
516:１３２人目の素数さん
16/09/05 21:33:40.05 DvGyCbWg.net
>主張はもっとずっと特定的で「パラドクスの源泉は数列からその同値類を決定できるとするところ」です。
言いたい意味は同じなんだけど、明確にするために
「パラドクスの源泉は数列『だけ』からその同値類を決定できるとするところ」
に修正します。
数列がどのように作られてるのかの情報があって、その情報を使って同値類が決定できるなら、
同値類が決定できるとして問題ない。
>>450 の以下の部分が、それ。
>面白いのは、アリスは部分数字列の同値類を構成的に決定できること。
>それは、もともとの有理数を知っているから、部分数字列の有理数を決定することができるからだ。
このとき、同値類が決定されることから数列に関する新たな情報が得られることはないので、
情報の問題は起きない。
>>459
d(r_k)の確率分布を考える意味がわからないといったのは、それを使わずに勝率を計算できるからです。
また、それはちゃんとした確率分布になるからパラドクスの理由にならないだろう、とも思いました。
>>452 の
>その原因はパラドックスと感じる根本原因が『非可測であること』から
>『規格化できないこと』にシフトしたためである、とコメントしている。
これは、Haar測度を使おうと、つまり可算個のものの選び方を一様にしようとしたためではないですか？
別の確率測度を使えば、パラドクスは生じつつ、確率は計算できると思います。（下のGAME2の定式化のように）
また、非可測などで確率が計算できないことは「当てれるのに、当てれないと思ってしまう」ことの説明にはなりえても、
「当てれる」ことの説明にはならないように思います。
私は納得できる「当てれる」理由を探しています。
517:１３２人目の素数さん
16/09/05 21:34:20.50 DvGyCbWg.net
>>460
GAME2はプレーヤー１の有理数を選ぶ確率分布を指定すれば、知りたい確率は求められる、と私は主張します。
意見が対立しているところなので、きちんとやりましょう。
GAME2を次のように定式化してみる。
Ｔ: [0,1]内の有理数全体の集合 = {t_1, t_2, …} （ファレイ数列でも使って適当に並べる）
～を件の同値関係として、Ｔ/～の代表系は代表元が循環節のみの有理数とする。
（例えば、0.99123123…を含む同値類の代表元は 0.23123123…。>>450の「最小」は勘違い。これに訂正する。）
Ｋ:={1, 2, …, K} （ K は分ける列の本数）
Ω:=Ｔ×Ｋ
Ｅ:=2^Ω
P:Ｅ→[0,1], P({(t_i,k)}) = Poisson(i) / K （Poisson(i)は正定数λのポアソン分布）を満たす確率測度
とすると (Ω,Ｅ,P) は確率空間になる。
つまり、すべてのΩの部分集合Ａは可測で P(Ａ)が計算できる。……★
T:Ω→Ｔ, T(t_i,j) := t_i (プレーヤー１が選ぶ有理数)
J:Ω→Ｋ, J(t_i,j) := j (プレーヤー２が選ぶ列の番号)
d_k:Ω→Ｎ, d_k(t_i,j) := (有理数 t_iに対応する数字列を K列に分けたときの k番目の数字列の決定番号)
w:Ω→{1,2}, w(t_i,j) := (プレーヤー１が有理数 t_iを選び、プレーヤー２が j番目の数字列を選んだときに勝つプレーヤーの番号)
w(t_i,j)=1 ⇔ d_j(t_i,j) > max[k≠j]{d_k(t_i,j)}
d_kの確率分布は P(d_k=n)
私は★から、計算の詳細によらず、勝率やd_kの確率分布が求められると考えますが、あなたはどう考えますか？
(1)この定式化のやり方自体が変
(2)この定式化のやり方はよいが、★が変
(3)★もよいが、T,J,d_k,w などの確率変数の定義などが変
(4)確率変数の定義などもよいが、勝率やd_kの確率分布は求められない
どれでしょうか？
518:１３２人目の素数さん
16/09/05 23:12:07.90 2WNNFP4J.net
>>478
> また、非可測などで確率が計算できないことは「当てれるのに、当てれないと思ってしまう」ことの説明にはなりえても、
> 「当てれる」ことの説明にはならないように思います。
> 私は納得できる「当てれる」理由を探しています。
>>450
> 通常の数学では、同値類の定義から（超越的に）決定できる（とする）。
> だが、実際（構成的）には、無限個を見渡すことができないのだから、決定はできない。
> 頭の方から順に見ていって循環が始まったように見えても、それがいつ破れるかもしれないのだ。
> ここに、このパラドクスの源泉があると思われる。
貴方は通常の数学では戦略が成立することを認めています。
いまは『実際（構成的）には』どうか？を考えているものと理解しています。
私は実際には成り立たないと思っています。
（この『実際には』の定義も私にはあやふやだけれども）
その理由は>>451で引用した『無限』に対するほとんど一切が実際には実現不可だからです。
貴方自身が述べているように、実際には無限個を見渡すことができない。
だから同値類の決定もできない。
一方、『通常の数学では同値類を決定できる』としている。
それこそが直感的には起こりえない数字を当てる奇跡の理由であり、
パラドックスを生じさせる唯一の源であると貴方は考えている、という理解で合っていますか？
それに対して私は『確率空間が定義できないこともパラドックスの一因ではないか？』と言いました。
それに対して貴方は『定義できる』と言う。そこをはっきりさせようというわけですね(>>479)。
まずは論点をはっきりさせようと思い、この文章を書きました。
間違っていたら指摘してください。
519:１３２人目の素数さん
16/09/05 23:21:00.34 cIX3urTl.net
ようするに、神様には当てられるが、人間には到底できっこないということ？
ラプラスの悪魔の親戚かなにかかな
520:１３２人目の素数さん
16/09/06 07:25:01.53 79eTR5wy.net
>>479へのレスを考えていたのだけれど、
> これは、Haar測度を使おうと、つまり可算個のものの選び方を一様にしようとしたためではないですか？
この行がまだ消化できてないです。
申し訳ないけれど説明を追加してもらえないでしょうか。
なお>>479の★は問題ないです。
521:１３２人目の素数さん
16/09/06 21:28:24.42 aj9CFcNm.net
>>480
わたしも「構成的に」を適当に使っていて、厳密に正しく使えているのかわかりませんが、
わたしが「実際に」とか「構成的に」といったら「コンピュータでできる」くらいの意味だと思ってください。
構成的に、「無限整数列{a_n}がある」とは、「任意の自然数 n に対して、整数 a_n を計算するアルゴリズムがある」、
「無限実数列{a_n}がある」とは、「任意の自然数 n に対して、任意の精度の a_n の近似有理数を計算するアルゴリズムがある」
みたいな感じです。
つまり、いっぺんに全部並べたり、調べたりはできないが、ずっと並べ続けたり、端から順に調べたりすることはできます。
>一方、『通常の数学では同値類を決定できる』としている。
>それこそが直感的には起こりえない数字を当てる奇跡の理由であり、
>パラドックスを生じさせる唯一の源であると貴方は考えている、という理解で合っていますか？
>それに対して私は『確率空間が定義できないこともパラドックスの一因ではないか？』と言いました。
>それに対して貴方は『定義できる』と言う。そこをはっきりさせようというわけですね(>>479)。
まさに、その通りです。要領を得ない私の発言をうまく要約してくれました。
実を言うと、確率がパラドクスの発生に関与しないというのは確信ではないのです。
「>>450 おそらく確率も関係ない。」と「おそらく」を付けたのは、そのため。
でも、議論するには、立場を極端にした方がいいと思うので、
同値類の決定が唯一の源との立場を取らせてもらいます。
522:１３２人目の素数さん
16/09/06 21:33:09.46 aj9CFcNm.net
>>482
>> これは、Haar測度を使おうと、つまり可算個のものの選び方を一様にしようとしたためではないですか？
>申し訳ないけれど説明を追加してもらえないでしょうか。
すみません。タオの発言をもう一回読んだら、話が逆でした。
ハール測度を使いたいわけではなく、「選び方が一様 → 群なのでハール測度になる」ですね。
そして、この場合それは規格化できない（コンパクトでないから）、という流れでした。
ハール測度は言葉だけ出てきた感じですね。
群でなくても、可算集合には一様な確率測度を入れることができないので、ハール測度は無視してくれて構いません。
可算集合には一様な確率測度を入れることができません。
なぜなら、可算集合を X={x_1,x_2,…}、測度を
523:m とすると、 一様性から定数 a があって、すべての元 x_i に対して m(x_i)=a で、 測度のσ加法性から、m(X) = Σ[i=1,∞]m(x_i) = Σ[i=1,∞]a となり、 a=0 なら m(X)=0、a>0 なら m(X)=∞ となるので、m(X)=1 に規格化できないからです。 念のため、lim[n→∞]Z_2^n についても、解説になってない解説をすると： タオは最初 Z_2^N を考えていたわけですが、これは位数が連続無限なので、選択公理が必要。 そこで選択公理が必要ない例を作るために、有限群 Z_2^n の帰納極限 lim[n→∞]Z_2^n を考えることにしました。 Z_2^nの位数は有限なので、その極限 lim[n→∞]Z_2^n の位数は可算無限、したがって選択公理は必要ありません。 ハール測度は左または右移動に関して不変（ルベーグ測度で言ったら平行移動不変）な測度で、 lim[n→∞]Z_2^nに対しては、一様である（すなわち、すべての元の測度が等しいこと）が必要十分条件。 したがって、規格化されたハール測度を入れることができないことが、上のことからわかります。
524:１３２人目の素数さん
16/09/06 22:07:09.87 iWxULaCz.net
体積の定義できない球
確率の定義できない数字当て
525:１３２人目の素数さん
16/09/06 23:33:02.03 79eTR5wy.net
>>483-484
分かりやすい説明ありがとうございます。
理屈の上ではほとんど貴方の意見に傾いているのですが、
まだ自分に対して納得できる説明ができない部分があり、
そこはできれば自力で解決したいです。
（と言いつつバカな質問をしてしまうかもしれませんが）
少し時間をください。
526:１３２人目の素数さん
16/09/08 01:14:58.84 jvxwGRnf.net
>>484
結論として、規格化できないqの分布を暗に考えてしまったことが
私の誤解のもとだったのかなと思います。
dが確率変数にならないことを示すには、Taoが考えたように可算無限の事象
（全事象とは限らない）が等測度で現れること、あるいは別のなんらかの
規格化できない分布を仮定しないといけないかもしれない、と思いました。
正直言うと心から納得できたわけではなく、部分集合の可測性が保証されているという
事実をもとに論理で納得しているだけなのですが。
-----
確率が計算できないから数学的に戦略は不成立（または成立不成立を議論できない）
という意見が以前にあった（確率という単語に惑わされた部分もあった）。
貴方はそれとは真逆で、
数学的には戦略は成立する。
実際にはできない『同値類の決定』が人間の直感を狂わせる"パラドックス"の本質。
確率測度が計算できないことは付随的なものである（cf.Game2）
と考えているように見える。この意見はとても面白く、本質を突いているかもしれない。
これまで私はGame1でもし確率測度が計算できるとしたら（この仮定に意味があるのか
分からないが）、おそらくその結果は戦略不成立を示すだろうと考えていた。
しかしその想像の根拠は失われたように思う。
-----
527:１３２人目の素数さん
16/09/08 22:15:06.78 5mhte3hE.net
>>487
> 実際にはできない『同値類の決定』が人間の直感を狂わせる"パラドックス"の本質。
に関しては、「他の箱から情報は得られない」という人間の直感を反映するモデルを数学側が作れていない、
という方が近いかな。
通常の数学は、情報が得られたら、それをいつでもだれでも十全に使えるものとしているでしょう。
これは、ゲームで言ったらプレーヤー１と２で情報を共有している、あるいは一人遊びをしている状況。
（>>450 「つまり、正解を知っているアリスは戦略を実行でき、知らないボブは実行できない。」）
つまり、数学は「プレーヤー１と２を区別してない」から「同値類を決定できる」としちゃう、と考えてます。
> 確率測度が計算できないことは付随的なものである（cf.Game2）
そう思うのだけれど、前も言った通り、確信はないです。
確率測度が一様でないときは、箱（確率変数）の独立性がなくなって、情報を得られるようになったりするのかも？
528:１３２人目の素数さん
16/09/09 20:26:52.28 5QtvElNM.net
スレ主へ
またアホなこと書いてこの流れを妨害するのはやめてくれないか？
529:１３２人目の素数さん
16/09/09 22:12:05.30 +p+yyndB.net
どうも。スレ主です。
私の立場は、>>464の通り「さらにどんどん議論を深めて下さい」ってことで
議論としては、みなさん覚醒の方向に進んでいると思う
￥さんも、ウォッチ状態なので、いいんじゃないですかね
但し、＜命題：決定番号の可能な範囲は、１から無限大（上記の自然が無限あるという意味で）まである（決して有限の範囲ではありえない！）＞
は、当面保留で良いけど（いま進行の議論が進めば自然に解決するだろうが＊））、教育的見地から、「有限」などとアホな主張を繰り返さないようにクギをさしておきます
では、どんどんお願いします
＊）>>484 で”lim[n→∞]”とかの議論をやって、そっちはスルーしておいて、「有限」などとアホな主張を繰り返さないようにね（＾＾
530:１３２人目の素数さん
16/09/09 22:12:22.30 LASCbKjZ.net
>>488
週末はスレ主対応で忙しいだろうから一旦引きます。
---
今、いろいろ思いを巡らせてます。
アリスが有理数qを選び、無限小数に直して一列の箱に詰める。
ボブはアリスが選んだqを当てる。箱は1箱目から順次、すべて開けてよい。
しかし無限小数に変換されたが最後、もはやqがなんの有理数かを認識できなくなる・・
同値類を決定できないという以前に、こんな簡単なこともできなくなりそう。
こう考えると何だか不思議な気がしてくる。
表示を変えただけなんだからそれくらい認識してもらわなきゃ困るという気もしてくるし、
無限個すべてを実際に認識することはできない、という気もするし。
531:１３２人目の素数さん
16/09/09 22:35:44.77 +p+yyndB.net
だれかがアホを書かない限り、おれも書かない。￥さんと同じだよ
532:１３２人目の素数さん
16/09/09 23:13:06.58 AmjRU62I.net
>>490
＞教育的見地から、「有限」などとアホな主張を繰り返さないようにクギをさしておきます
決定番号は有限値だとクギをさしておく。
s∈R^N を取るごとに決定番号 d(s) は有限値である。
ただし { d(s)｜s∈R^N } ⊂ N は有界ではない。
そして、このことは何の矛盾も引き起こさない。
スレ主の論法のキモは、s と比較されるべき s' を次々と取り替えて
d(s) の値を更新することで、あたかも d(s) が発散するかのように
見せかけているところにある。しかし、「 s' を次々と差し替える」
という行為そのものが不可能なので、スレ主の論法は破綻する。実際、
1. R^N の ～ に関する完全代表系を1つ取って固定する。これを T とする。
2. x∈R^N を任意に取る。T の定義から、x～t を満たす t∈T がただ1つ存在する。
3. ∃n_0≧1, ∀n≧n_0 [ x_n＝t_n ] が成り立つ。
4. そのような n_0 のうち最小のものを d(x) と置く。
5. こうして、決定番号 d(x) が定義されて、写像 d：R^N → N が定まる。
この流れにおいて、x と比較される t は T 内に1つしかないからだ。
次々と別の s' に差し替えることは出来ない。
533:１３２人目の素数さん
16/09/09 23:22:21.39 AmjRU62I.net
ちなみに、>>493の 1～5 から分かるように、
d は T を固定するごとに決まるので、d は T に依存している。
よって、本来なら d ではなく d_T と書き、
d(s) のことは d_T(s) と書くのが望ましいと思われる。
ここで、T に依存しないように d を構成することは不可能である。
なぜなら、もし T に依存せずに d が作れたならば、
この場合にはスレ主の論法が使えて、s と比較されるべき s' を
次々と取り替えることが可能になり、d(s) の値が well-defined に
決まらないからだ。
しかし、実際には、T ごとに d_T が定義されて、d_T は well-defined に決まり、
もちろん任意の s∈R^N に対して d_T(s) は有限値となる。
そして、{ d_T(s)｜s∈R^N } ⊂ N は有界ではない。
そして、これらのことは何の矛盾も引き起こさない。
534:１３２人目の素数さん
16/09/10 00:14:54.32 1RTeFNgE.net
そこまでしてスレ主に構うとかお前バファリンかよ
535:１３２人目の素数さん
16/09/10 01:46:56.82 oiQyPxlq.net
>>491
> 無限小数に直して一列の箱に詰める
> 箱は1箱目から順次、すべて開けてよい
無限小数を一列の箱に順次詰める場合にアリスはボブに全ての数字を提示できますか？
たとえば箱を使わずに数字を直接ボブに示すことを考えた場合はどうですか？
箱を使う場合のバリエーションとしてボブはアリスが選んだqを当てる前に箱の中身の
全てが正しい数字かどうかを
536:アリスに1箱目から順次すべて開けて確認させれば良い アリスの確認終了後にボブはアリスが選んだqを当てる
537:１３２人目の素数さん
16/09/10 01:50:07.30 1RTeFNgE.net
人間には無限小数を一列の箱に詰めることすらできないな
538:491
16/09/10 02:42:56.65 y7oy2hRC.net
>>496
箱をわざわざ持ち出したのはGame2と対比したかったからです。
無限個の箱を使おうが、無限個の数字を直接一つ一つ伝えていこうが、
ボブはいつまでたっても無限小数を最後まで見通せない。
（なぜか？ 見通せないという仮定で>>491を書いているからですｗ）
有理数q（の分母分子）を直接伝えないかぎりボブにはqが分からない。
ある無限小数が目の前にあり、それが有理数だと教えられても、
小数の桁すべてを見通すことができないので、人間はその有理数を確定できない。
そういう『現実性』を仮定すればGame2は成り立たないことになる。
しかしその現実性は普段親しんでいる数学とはあまりにもかけ離れている。
だけど現実世界を考えれば逆だよね。
無限の実在をそうやすやすと認めるわけにはいかない。
我々は無限の概念には慣れっこになっているけど、
しかしその無限はGame2のような信じがたい事実も導く。
その戸惑いを>>491で吐露したまでです。
> 箱を使う場合のバリエーションとしてボブはアリスが選んだqを当てる前に箱の中身の
> 全てが正しい数字かどうかをアリスに1箱目から順次すべて開けて確認させれば良い
> アリスの確認終了後にボブはアリスが選んだqを当てる
"全て"の確認を終了する、なんてことは出来ないと>>491では仮定しているのです。
539:１３２人目の素数さん
16/09/10 12:41:01.62 4WoMFUrX.net
パチンコの箱に玉が何個入るか当てられない。
大気中の酸素分子の数もわからない。
人間は自分たちの身の回りのことさえ何もわかっていないのだ。
540:１３２人目の素数さん
16/09/10 13:30:02.31 1RTeFNgE.net
金玉袋の玉の数ならわかるよ
541:１３２人目の素数さん
16/09/10 13:58:06.96 q7Skbg74.net
>>500
500ゲットか、狙ったのか？
金玉袋か
こてこての関西ギャグかい？
542:１３２人目の素数さん
16/09/10 13:59:07.44 q7Skbg74.net
>>493-494
どうも。スレ主です。
Tさん、代数だけでなく、もう少し広く集合論、基礎論とか解析を勉強した方が良いね
>決定番号は有限値だとクギをさしておく。
>s∈R^N を取るごとに決定番号 d(s) は有限値である。
>ただし { d(s)｜s∈R^N } ⊂ N は有界ではない。
そういう訳の分からんことを書くと、院試では首が飛ぶだろうよ
そもそもが、＜命題：決定番号の可能な範囲は、１から無限大（上記の自然が無限あるという意味で）まである（決して有限の範囲ではありえない！）＞
で、”決定番号の可能な範囲”とは値域だよ
つまりは、dom(d(s))だよ
そして、N⊆dom(d(s))だ
∵>>467で示したように、任意のn∈Nに対して、決定番号がnとなる数列s' | s' ∈ U の存在が示せる（>>467の３項において、d=n-1とおけばよい）
そして、この文脈において、決定番号→自然数と言い換えてみな
「自然数は有限値だとクギをさしておく」って主張になっちまう（＾＾
それはおかしいだろうよ（＾＾
543:１３２人目の素数さん
16/09/10 13:59:59.38 q7Skbg74.net
>>493
細かいが、証明のロジックもおかしい(重箱の隅ですまんが、教育的見地からゆるせ)
> 1. R^N の ～ に関する完全代表系を1つ取って固定する。これを T とする。
> 2. x∈R^N を任意に取る。T の定義から、x～t を満たす t∈T がただ1つ存在する。
・先に”完全代表系を1つ取って固定”したら、任意x∈R^N でx∈Tは言えないだろう
・任意x∈R^N でx∈Tが言えないとすれば、x～t を満たす t∈T の存在も言えない ∵完全代表系だから
・”1つ存在”もおかしい。x∈Tで、かつ、いくつかt1,t2,t3,・・・ti∈Tとすれば、x～t1,t2,t3,・・・tiだろ？ というか、任意のt∈Tでx～t ∵完全代表系だから
（こういう記述が答案の冒頭にあると、答案採点者としては”不合格の推定”が働く。「こいつ分かってないな」と。答案書き出しの表現は、誤解されないように特に気を付けた方がいいな。（この記載が修正可能なのか、はたまた、修正して証明のロジックが成り立つのかまでは見てないがね））
544:１３２人目の素数さん
16/09/10 14:02:19.43 q7Skbg74.net
>>502 補足
そこらの勘違いが、この問題のキモだと思うよ (後述の英文サイトなどもご参照)
決定番号 d(s) の確率を考えようとすると、自然に決定番号 d(s) の分布が問題になる
例えば、 d(s) が仮に一様分布だとしよう。URLﾘﾝｸ(ja.wikipedia.org) 一様分布 - Wikipedia
（引用）
確率変数を x ( α ? x ? β ) とする。 x が整数であるときの離散型の一様分布の確率分布 Pr ( x = X )、 一様分布の確率密度関数は以下の式で定義される。
1/(β ? α)
またいずれの場合も確率の期待値は以下で表される。
(α + β)/ 2
（引用おわり）
つまり、決定番号 d(s) に上限がないとすれば、β→∞を考えなければならないということ
が、d(s) は明らかに一様分布ではない。d(s) が大きいほど、出現頻度は大きい
ここで、確率分布に詳しい人がすぐ気付くことは、普通考える確率分布では、確率変数 x ( α ? x ? β ) で、βが有限か、あるいはβが有限でない場合βが大きくなると分布はゼロになるんだと
例えば、
ベータ分布は前者の例 URLﾘﾝｸ(ja.wikipedia.org)
正規分布は、後者の例 URLﾘﾝｸ(ja.wikipedia.org)
しかし、普通考える確率分布と比較すると、d(s)の確率分布がおかしい（d(s)が増大してもゼロに収束しない）ことは、確率分布に詳しい人ならだれでも気付く