スレタイ箱入り無数目を語る部屋22

[過去ﾛｸﾞ] スレタイ箱入り無数目を語る部屋22 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

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

1: １３２人目の素数さん [] 2024/08/30(金) 10:41:18.06 ID:qldKhyXj

前スレが1000近く又は1000超えになったので、新スレを立てる
(”ヘンテコスレ”が別にあります https://rio2016.5ch.net/test/read.cgi/math/1711570726/ 箱入り無数目を語る部屋19 )

https://itest.5ch.net/rio2016/test/read.cgi/math/1723899226/
前スレ スレタイ 箱入り無数目を語る部屋21

(参考)時枝記事
https://imgur.com/a/8bqlb08
数学セミナー201511月号「箱入り無数目」
https://rio2016.5ch.net/test/read.cgi/math/1620904362/401-406
純粋・応用数学（含むガロア理論）8 より
１．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^nを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」

２．続けて時枝はいう
　私たちのやろうとすることはQのコーシー列の集合を同値関係で類別してRを構成するやりかた(の冒頭)に似ている.
但しもっときびしい同値関係を使う.
実数列の集合 R^Nを考える.
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版).
念のため推移律をチェックすると，sとs'が1962番目から先一致し，s'とs"が2015番目から先一致するなら，sとs"は2015番目から先一致する.
〜は R^N を類別するが，各類から代表を選び，代表系を袋に蓄えておく.
幾何的には商射影 R^N→ R^N/〜の切断を選んだことになる.
任意の実数列s に対し，袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ.
sとrとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す.
つまりsd，sd+1，sd+2,・・・を知ればsの類の代表r は決められる.
更に，何らかの事情によりdが知らされていなくても，あるD>=d についてsD+1， sD+2，sD+3，・・・
が知らされたとするならば，それだけの情報で既に r = r(s)は取り出せ， したがってd= d(s)も決まり，
結局sd (実はsd，sd+1，・・・，sD ごっそり)が決められることに注意しよう.
(補足)
sD+1， sD+2，sD+3，・・・：ここでD+1などは下付添え字

つづく

http://rio2016.5ch.net/test/read.cgi/math/1724982078/1

706: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2024/09/15(日) 16:53:45.06 ID:8VnUw5mp

>>703
あなたは、箱入り無数目のR^Nの数学的構造が分っていないね
すでに　>>559-560で説明した通りだが、再度説明する

可算無限数列R^N から、形式的冪級数環（無限次）R[[x]]ができる (記号R[[x]]は、>>560より)
即ち R^N ←→ R[[x]] という対応がとれる
集合としては、一対一だが、R[[x]]には環としての構造が入るので
分かり易い

その一例が、しっぽ同値だ
　>>559では、指数関数 e^x の級数展開（マクローリン展開）から
級数展開の係数をならべて、可算無限数列が構成できることを述べた

e^x+f(x) ここに f(x)はn次多項式
e^x+f(x)とe^xとは、しっぽ同値
つまり、その係数を比較すると、n+1次以降の係数がすべて一致している

f(x)は、多項式環から任意に選べる つまり f(x)∈F[x] (記号F[x]は、>>560都築より)
よって、e^xのしっぽ同値類を、簡便にe^x+F[x]と書こう

同様に、三角関数 sin x を考えると、明らかに e^xとは しっぽ同値ではない（その級数展開から自明）
sin xのしっぽ同値類は、sin x+F[x]と書ける

このように、原点0に極を持たない解析函数(これをT(x)として)の級数展開から、可算無限数列ができて
しっぽ同値は、T(x)+F[x] となる

いま、同値類T(x)+F[x]の元は、T(x)+f(x) (f(x)はn次多項式)であって
しっぽの一致は、n+1次から。よって、この場合の決定番号dは、d=n+1となる

さて、e^xのしっぽ同値類の代表を 簡便にe^xとし、同値類から一つの元 e^x+f(x) で f(x)は k次とする 決定番号d=k+1
同様、sin xのしっぽ同値類の代表を 簡便にsin xとし、同値類から同様にk'次多項式f'(x)のついた元を選び 決定番号d'=k'+1

とできる。これは、作為として、人の意志によってできる
d<d'でも、d=d'でも、d>d'でも、作為として 人の意志によってできる

では、不作為ないし無作為として、決定番号 d,d' を選ぶ行為が可能か？ が問題となる
このときの 障害が、F[x]が無限次元線形空間だということ（>>560都築）です
つまり、無限次元線形空間のF[x]から 如何なる大きな次数kの多項式を選んだとしても、kが有限だから 無限次元空間から有限kを選ぶ行為を
不作為ないし無作為として、正当化することは 不可能！ ということです

これが、箱入り無数目のトリックです
不作為ないし無作為に出来ないことを、確率99/100と誤魔化しています
（数学的には、コルモゴロフの確率公理を満たせない。特に、決定番号に測度の裏付けを与えられない。また 全事象に確率1を与えられません）

http://rio2016.5ch.net/test/read.cgi/math/1724982078/706

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

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

ぬこの手ぬこTOP 0.040s