19/05/07 10:28:28.33 VGX8WIG0.net
こいつら、必ず次のスレに来るな
断言しておくわｗ（＾＾
1051:１３２人目の素数さん
19/05/07 10:42:35.44 t9QOb8J4.net
実数の無限列 a_1,a_2,... が「法則に従っている」とき、適当に選んだa_nを高確率で予測できる
これは直観に合っている。
しかしそもそも「法則に従っている」とはどういうことか？
当てられるメカニズムを分析してみると、「法則」とは実は集合の言葉で記述できることが分かった。
「無限列が有限個を除いて一致するとき同値」と定義すると、「法則」とは同値類の「標準的な代表元」の集合のことだとすればいい。
しかし「標準的」をどう定義するか？ということが問題になる。
ともかく代表元の集合が存在するとき、その集合を「法則」と言うことにすれば話は簡単。
ところが選択公理の下では、任意の無限列の同値類に対して代表元を取る写像が存在する
つまり任意の無限列は「法則に従う」ことになってしまう。
「法則に従う」の対義的なものとしてランダム列を考えるとき、選択公理下ではランダムな無限列は存在しないことになる。
おそらくZF下ではランダムな無限列は存在するとしてもしないとしても矛盾しない。
仮に存在するとしても書き下すことはできない。有限の記述を持つランダムな無限列など語義矛盾だからだ。
ゆえに存在しないとしてもよい。
1052:１３２人目の素数さん
19/05/07 11:16:46.25 IXHBjZaq.net
お
1053:１３２人目の素数さん
19/05/07 11:17:28.79 IXHBjZaq.net
お
1054:１３２人目の素数さん
19/05/07 11:17:51.36 IXHBjZaq.net
る
1055:１３２人目の素数さん
19/05/07 11:18:17.38 IXHBjZaq.net
い
1056:１３２人目の素数さん
19/05/07 11:18:46.30 IXHBjZaq.net
ま
1057:１３２人目の素数さん
19/05/07 11:19:14.07 IXHBjZaq.net
さ
1058:１３２人目の素数さん
19/05/07 11:19:37.92 IXHBjZaq.net
と
1059:１３２人目の素数さん
19/05/07 11:20:05.50 IXHBjZaq.net
し
1060:１３２人目の素数さん
19/05/07 11:20:38.83 IXHBjZaq.net
大類昌俊
URLﾘﾝｸ(mobile.twitter.com)
(deleted an unsolicited ad)
1061:１３２人目の素数さん
19/05/07 11:21:56.25 IXHBjZaq.net
URLﾘﾝｸ(blogs.yahoo.co.jp)
1062:１３２人目の素数さん
19/05/07 11:22:33.29 IXHBjZaq.net
大類昌俊
1063:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 10日 21時間 36分 27秒
1064:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています