20/01/05 11:14:27 CpJpHnug.net
>>44
>笑えるわ
トンデモ◆e.a0E5TtKE 恒例の発●笑いｗ
>”開始点となる桁（自然数で位置が示される）”
R^Nだから、どの項も自然数で位置が示される
そうでない項がある、と思うのはトンデモ
>おまえの無限の理解度、良く分かったわ
>哀れな素人さんと、どっちがどうかだな
いや、◆e.a0E5TtKEのほうが安達弘志に近いｗｗｗｗｗｗｗ
51:１３２人目の素数さん
20/01/05 11:14:58 fZULsj51.net
なんせ直感的には筋悪な事やってるからな。
わかる範囲内では冪級数環を差が多項式になる同値類で割る。
多項式環は冪級数環の中で部分環ではあってもイデアルじゃないからな。
ちょっと筋悪。
筋悪だから生産的議論が出てこないとまでは言えないけど。
図書館行くまでの価値は無さそう。
52:１３２人目の素数さん
20/01/05 11:19:28 CpJpHnug.net
>>45
＞肝心要の記事が載ってるリンクがひとつもない。
実はあるけど◆e.a0E5TtKEの馬鹿が
余計なリンクを張りまくるから見つけにくい
記事抜粋
ｽﾚﾘﾝｸ(math板:12番)-18
53:１３２人目の素数さん
20/01/05 11:21:42 CpJpHnug.net
>>47
ベキ級数は◆e.a0E5TtKEが勝手に持ち出しただけ
そもそも代数の話ではないし
実は確率論の話でもない
集合論（選択公理）の話
54:１３２人目の素数さん
20/01/05 11:23:25 n1YRC2Dd.net
以下は過去ログからの引用。
１．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」
55:１３２人目の素数さん
20/01/05 11:24:00 n1YRC2Dd.net
２．続けて時枝はいう
私たちのやろうとすることは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などは下付添え字
つづく
56:１３２人目の素数さん
20/01/05 11:24:24 n1YRC2Dd.net
３．
問題に戻り，閉じた箱を100列に並べる.
箱の中身は私たちに知らされていないが， とにかく第l列の箱たち，第2列の箱たち第100 列の箱たちは100本の実数列s^1,s^2，・・・，s^100を成す(肩に乗せたのは指数ではなく添字).
これらの列はおのおの決定番号をもつ.
さて， 1～100 のいずれかをランダムに選ぶ.
例えばkが選ばれたとせよ.
s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.
第1列～第(k-1) 列，第(k+1)列～第100列の箱を全部開ける.
第k列の箱たちはまだ閉じたままにし
57:ておく. 開けた箱に入った実数を見て，代表の袋をさぐり， s^1～s^(k-l),s^(k+l)～s^100の決定番号のうちの最大値Dを書き下す. いよいよ第k列 の(D+1) 番目から先の箱だけを開ける：s^k(D+l)， s^k(D+2)，s^k(D+3)，・・・.いま D >= d(s^k) を仮定しよう.この仮定が正しい確率は99/100，そして仮定が正しいばあい，上の注意によってs^k(d)が決められるのであった. おさらいすると，仮定のもと， s^k(D+1)，s^k(D+2)，s^k(D+3)，・・・を見て代表r＝r(s^k) が取り出せるので 列r のD番目の実数r(D)を見て， 「第k列のD番目の箱に入った実数はs^k(D)＝rDと賭ければ，めでたく確率99/100で勝てる. 確率1-ε で勝てることも明らかであろう. (補足) s^k(D+l)， s^k(D+2)，s^k(D+3)，・・・, rD：ここで^kは上付き添え字、(D+l), Dなどは下付添え字 つづく
58:１３２人目の素数さん
20/01/05 11:24:44 n1YRC2Dd.net
さらに、数学セミナー201511月号P37 時枝記事に、次の一文がある
「R^N/～ の代表系を選んだ箇所で選択公理を使っている.
その結果R^N →R^N/～ の切断は非可測になる.
ここは有名なヴィタリのルベーグ非可測集合の例(Q/Zを「差が有理数」で類別した代表系， 1905年)にそっくりである.」
さらに、過去スレでは引用しなかったが、続いて下記も引用する
「逆に非可測な集合をこさえるには選択公理が要る(ソロヴェイ， 1970年)から，この戦略はふしぎどころか標準的とさえいえるかもしれない.
しかし，選択公理や非可測集合を経由したからお手つき， と片付けるのは，面白くないように思う.
現代数学の形式内では確率は測度論によって解釈されるゆえ，測度論は確率の基礎， と数学者は信じがちだ.
だが，測度論的解釈がカノニカル， という証拠はないのだし，そもそも形式すなわち基礎， というのも早計だろう.
確率は数学を越えて広がる生き物なのである(数学に飼いならされた部分が最も御しやすいけれど).」
つづく
59:１３２人目の素数さん
20/01/05 11:25:23 n1YRC2Dd.net
数学セミナー201511月号P37 時枝記事より
「もうちょっと面白いのは，独立性に関する反省だと思う.
確率の中心的対象は，独立な確率変数の無限族
X1，X2，X3，…である.
いったい無限を扱うには，
(1)無限を直接扱う，
(2)有限の極限として間接に扱う，
二つの方針が可能である.
確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ.
(独立とは限らない状況におけるコルモゴロフの拡張定理なども有限性を介する.)
しかし，素朴に，無限族を直接扱えないのか?
扱えるとすると私たちの戦略は頓挫してしまう.
n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
当てられっこないではないか－－他の箱から情報は一切もらえないのだから.
勝つ戦略なんかある筈ない，と感じた私たちの直観は，無意識に(1)に根ざしていた，といえる.
ふしぎな戦略は，確率変数の無限族の独立性の微妙さをものがたる， といってもよい.」
つづく
60:１３２人目の素数さん
20/01/05 11:26:15 n1YRC2Dd.net
数学セミナー201511月号の記事で、引用していなかった部分を、以下に引用する（＾＾；
”ばかばかしい，当てられる筈があるものか，と感じられるだろう.
何か条件が抜け落ちているのではないか，と疑う読者もあろう.問題を読み直していただきたい.
条件はほんとうに上記のとおり.無限個の実数が与えられ，一個を除いてそれらを見た上で，除いた一個を当てよ，というのだ.
ところがところが--本記事の目的は，確率99%で勝てそうな戦略を供することにある.
この問題はPeter Winkler氏との茶のみ話がてら耳にした.氏は原型をルーマニアあたりから仕入れたらしい.”
(引用終り)
61:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/05 11:38:04.58 dWKXmW0r.net
>>29-30 つづき
(引用開始)
４．このように考えると
決定番号dの大小比較は、2つの形式的冪級数（代表の級数と問題の級数と）の差の多項式pの次数n0に直して考えることができ
非常に考え易く成るのです
(引用終り)
１．さて、上記を受けて、多項式のミニモデルを考えよう
簡単のために、係数には、十進小数にならって、0～9の10通りが入るとする
２次の多項式を考える
a0+a1X+a2X~2
２．代表に対して、その同値類の1つを選ぶことは、多項式を選ぶことと同じ
a0+a1X+a2X~2の場合の数は、10^3=1000通り（厳密には、a2＝0では、２次の多項式ではないが、今は含める）
３．１次の多項式なら、10^2通り
４．決定番号は、多項式の次数nに対して、d=n+1となる
２次の多項式 a0+a1X+a2X~2 を考えたとき、
これが真の２次式（a2≠0）の場合が、９割を占める
５．この場合で、0～9の10通り→任意の自然数 に拡張すれば
真の２次式（a2≠0）の場合が、絶対的多数を占める
なので、ランダムに選ぶと、確率的には、２次式以外は選べない
６．２次の多項式のミニモデルから、ｎ次の多項式に拡張すると
係数は、上記５の任意の自然数とすれば
同様に、ランダムに選ぶと、確率的には、ｎ次式以外は選べない
７．さて、時枝に戻ると
ｎには上限がない
８．そういうものに対して、n1とn2との大小の確率を考えるのは
パラドックスにおちいり易いということだ
９．例えば、n1とある有限の定数D（*)注） との大小関係を考えると
時枝には、ｎに上限がないので、
n1＞D の場合の確率1
n1<=D の場合の確率0
となる
（勿論、確率0はその事象が全く起こらないということではなく、頻度が極めて小さいということ）
１０． そういう事象で、”n1<=D の場合の確率0”にも関わらず、確率99/100とか、おかしいよ（＾＾；
*)注）
時枝記事内にも、有限の定数Dはあるよ
つづく
62:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/05 11:38:31.51 dWKXmW0r.net
>>56
つづき
スレ47 ｽﾚﾘﾝｸ(math板:19番)
(抜粋)
何らかの事情によりdが知らされていなくても，あるD>=d についてsD+1， sD+2，sD+3，・・・
が知らされたとするならば，それだけの情報で既に r = r(s)は取り出せ， したがってd= d(s)も決まり，
結局sd (実はsd，sd+1，・・・，sD ごっそり)が決められることに注意しよう.
(引用終り)
以上
63:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/05 11:49:08.44 dWKXmW0r.net
>>47
ID:fZULsj51さん、どうも。スレ主です。
＞なんせ直感的には筋悪な事やってるからな。
＞わかる範囲内では冪級数環を差が多項式になる同値類で割る。
＞多項式環は冪級数環の中で部分環ではあってもイデアルじゃないからな。
まあ、そういう視点もあるかも
（>>51より）
私たちのやろうとすることは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)と記す.
（>>52）
問題に戻り，閉じた箱を100列に並べる.
s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.
開けた箱に入った実数を見て，代表の袋をさぐり， s^1～s^(k-l),s^(k+l)～s^100の決定番号のうちの最大値Dを書き下す.
いま
D >= d(s^k)
を仮定しよう.この仮定が正しい確率は99/100，そして仮定が正しいばあい，上の注意によってs^k(d)が決められるのであった.
おさらいすると，仮定のもと， s^k(D+1)，s^k(D+2)，s^k(D+3)，・・・を見て代表r＝r(s^k) が取り出せるので
列r のD番目の実数r(D)を見て， 「第k列のD番目の箱に入った実数はs^k(D)＝rDと賭ければ，めでたく確率99/100で勝てる.
確率1-ε で勝てることも明らかであろう.
(引用終り)
上記が、原文です。この時枝記事の可算無限数列のシッポの同値類自身が筋悪で
”めでたく確率99/100で勝てる”とは言えないということを
多項式環と冪級数環のモデルを使って論じたわけです（＾＾；
64:１３２人目の素数さん
20/01/05 11:58:07.70 p9Somwtl.net
>同値類から取り出した有限個の列からは共通の尻尾がとれるが
>無限個の列からは共通の尻尾が取り出せない場合がある！
同値類に属す全ての列からは確実に取り出せない
すなわちトンデモが言う共通のしっぽなど存在しない。同値類が分かってないトンデモの妄想に過ぎないｗ
65:１３２人目の素数さん
20/01/05 12:04:43.30 CpJpHnug.net
>>59
どういう場合に取り出せないか、は以下に示してます
ｽﾚﾘﾝｸ(math板:280番)
要するに
0
0.1
0.11
0.111
…
の無限個の要素からは共通の尻尾はとれない
66:１３２人目の素数さん
20/01/05 12:06:55.31 CpJpHnug.net
>>58
誤 多項式環と冪級数環のモデル
正 有限列と無限列
馬鹿は無意味に無駄なことを付け加えたがる
頭の悪い証拠
67:１３２人目の素数さん
20/01/05 12:08:45.27 p9Somwtl.net
>>29
>４．このように考えると
> 決定番号dの大小比較は、2つの形式的冪級数（代表の級数と問題の級数と）の差の対抗式pの次数n0に直して考えることができ
> 非常に考え役成るのです
ナンセンスｗ
>５．私は、一つの同値類には、固有のシッポが存在すると考えています。同値類内の形式的冪級数たちは、その固有のシッポを共有する
妄想ｗ
> 証明はしません。時枝では得に使いませんから。証明など、横道にそれるだけ
しないんじゃなくできないｗ 存在しないからｗ
68:１３２人目の素数さん
20/01/05 12:11:23.67 p9Somwtl.net
形式的冪級数を持ち出すことで新しいことが言えるなら意味がある
バカのは無意味ｗ
69:１３２人目の素数さん
20/01/05 12:11:36.11 n1YRC2Dd.net
あと、これも過去ログから。
「時枝記事」と同じ"パズル"を扱っている。
Sergiu Hart氏のPDF URLﾘﾝｸ(www.ma.huji.ac.il)
70:１３２人目の素数さん
20/01/05 12:14:30.55 CpJpHnug.net
>>55
>この問題はPeter Winkler氏との茶のみ話がてら耳にした.
>氏は原型をルーマニアあたりから仕入れたらしい.
実際は、ルーマニアではなく
Sergiu Hart（ルーマニア�
71:ｶまれのユダヤ人） から聞いたと思われる で、Sergiu Hartは、Benjamin Weiss（アメリカ生まれのユダヤ人）から この話を聞いた、と書いている http://www.ma.huji.ac.il/hart/puzzle/choice.pdf?
72:１３２人目の素数さん
20/01/05 12:18:00.97 p9Somwtl.net
>>35
バカ丸出しｗ
おまえは自分の言いたいことだけ言うんじゃなく人の話を聞け
聞くことができないから長年バカのままなんだと自覚しろ
73:１３２人目の素数さん
20/01/05 12:25:47.39 p9Somwtl.net
>>41
バカ丸出し
πの同値類に”共通のしっぽ”があるなら小数第何位からが”共通のしっぽ”なのか答えてね
無理だけどｗ
74:１３２人目の素数さん
20/01/05 12:26:47.33 p9Somwtl.net
>>42
バカ丸出し
おまえが証明を理解できないだけｗ
75:１３２人目の素数さん
20/01/05 12:28:04.70 p9Somwtl.net
>>43
バカ丸出し
>直感で、99/100？？ あぶないですよ～！ｗｗ（＾＾；
直感はおまえｗ 時枝証明は直観ではないｗ
76:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/05 12:29:40.86 dWKXmW0r.net
>>56 補足
(引用開始)
８．そういうものに対して、n1とn2との大小の確率を考えるのは
パラドックスにおちいり易いということだ
９．例えば、n1とある有限の定数D（*)注） との大小関係を考えると
時枝には、ｎに上限がないので、
n1＞D の場合の確率1
n1<=D の場合の確率0
となる
（勿論、確率0はその事象が全く起こらないということではなく、頻度が極めて小さいということ）
１０． そういう事象で、”n1<=D の場合の確率0”にも関わらず、確率99/100とか、おかしいよ（＾＾；
*)注）
時枝記事内にも、有限の定数Dはあるよ
(引用終り)
簡単に言えば、条件付確率なのです、時枝記事は
１．条件１ n1<=D （有限）の場合で
２．条件２ D ＝max (n2,n3,・・,n100)として
・n1<=Dの確率99/100
・n1＞Dの確率 1/100
３．そういうことを、
時枝記事では言っているわけです
本当は、条件付確率なのです
４．D ＝max (n2,n3,・・,n100)という式で、
”n1<=D （有限）”という条件を、
条件付確率だということを
誤魔化して見えなくしているのです
時枝記事は、そういう構図ですね（＾＾；
77:１３２人目の素数さん
20/01/05 12:29:42.25 p9Somwtl.net
>>44
>笑えるわ
笑って誤魔化すトンデモ野郎ｗ 結局答えられないじゃんｗ あるんでしょ？共通のしっぽがｗ
78:１３２人目の素数さん
20/01/05 12:33:57 RQUf3z2L.net
_,,,,,,,,,,,,＿
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ . l
79:１３２人目の素数さん
20/01/05 12:34:24 RQUf3z2L.net
_,,,,,,,,,,,,＿
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ . l
80:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/05 12:38:16 dWKXmW0r.net
>>47
＞筋悪だから生産的議論が出てこないとまでは言えないけど。
＞図書館行くまでの価値は無さそう。
生産的議論は出てない
しかし、高名な時枝正先生がなにを書いたか
大学の図書館とか、数学系の雑誌が整備されているところ行く機会があったら
ちょっと目を通しておくのも意味があると思うよ
81:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/05 12:43:50 dWKXmW0r.net
>>28 追記
新一の「心の一票」 - 楽天ブログ URLﾘﾝｸ(plaza.rakuten.co.jp)
2020.01.05
宇宙際タイヒミューラー理論（IUTeich）の論文を巡る現状報告： 「数学界に出現している悲惨なブラックホールの物語」
(抜粋)
ここまでの話を要約すると、IUTeichの論文を巡っては、本来の数学雑誌による査読・審査のあるべき姿、つまり、学問の健全な発展を最優先に、細かい数学的な内容について査読報告書とそれに対する著者
82:からの返答のやりとりを通して論文の数学的内容の検証を進めるという状態から著しく乖離した奇妙で非建設的な「ブラックホール状態」が長年にわたって続いているということです。 では、この異常な状態を解消し、論文の査読・審査を、 技術的な数学的な内容のやりとりを 主体とする 本来の姿に戻すにはどうしたらよいのでしょうか。まず、どの数学論文にも言えることですが、その論文の内容を本格的に技術的に理解し、査読・審査に関わる技術的な資格のある研究者は世界的に見てもかなり限られていて、論文のテーマによっては世界的に見ても数人程しか存在しないといったような場合もそれほど珍しくありません。 幸か不幸かは別として、これが現代数学の実態です。論文の内容をきちんと理解する技術的な資格のない研究者に査読を依頼しても、意味のある内容の査読が行なわれないことになるだけです。 (引用終り) まあ、今年の４回のワークショップで決着させてほしいですね 関係者も、決着に向けて、努力すべき
83:１３２人目の素数さん
20/01/05 12:44:29.76 p9Somwtl.net
トンデモは同値類、選択公理、さらには自然数、さらには有限と無限の違いを理解していない
時枝記事を読む最低レベルに遥か達していない
それだけのこと
84:１３２人目の素数さん
20/01/05 12:49:58.12 p9Somwtl.net
>>47
＞筋悪だから生産的議論が出てこないとまでは言えないけど。
＞図書館行くまでの価値は無さそう。
時枝定理は数学パズルだよ。
それ自体パズル的な面白さはある、が、理論に発展するものではない。
悪筋というのはトンデモが勝手に持ち出した形式的冪級数であって、時枝定理とは何ら関係無いｗ
85:１３２人目の素数さん
20/01/05 12:53:40.59 fZULsj51.net
>>74
そのうち機会があったらみてみます。
5chの過去ログ倉庫にはあるみたいだけど今手元の5chのブラウザだとプレミア会員になれやゴラで止まってしまうから読めない。
生産的議論が続かないならそのうち機会があればあればでいいや。
86:１３２人目の素数さん
20/01/05 12:58:10 p9Somwtl.net
>>78
レス番号50～55が時枝記事ですよ
87:１３２人目の素数さん
20/01/05 13:04:28 RQUf3z2L.net
_,,,,,,,,,,,,＿
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ . l
88:１３２人目の素数さん
20/01/05 13:04:53 RQUf3z2L.net
_,,,,,,,,,,,,＿
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ . l
89:１３２人目の素数さん
20/01/05 13:16:47.26 fZULsj51.net
上の方のレスで記事の内容は全部分かった。
なるほど面白いねぇ！
考えてみよ。
90:１３２人目の素数さん
20/01/05 13:21:55.06 fZULsj51.net
でもコレそもそも論として
いくらでも1に近い確率で当てる方法があるよ
ではなくて
この話のどこがおかしいのか考えてみましょう
じゃないの？
91:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/05 13:27:04.53 dWKXmW0r.net
>>42 補足
>そもそも
>時枝記事自体は、定理として認められていない（＾＾；
正規のレフェリーの居る数学雑誌には、掲載されたもの皆無
おそらく、時枝記事（数学セミナー）を引用する論文も皆無
生産的議論は出てない
それが事実
92:１３２人目の素数さん
20/01/05 13:31:47.51 WDR2q7oi.net
>>83
時枝記事の「実数列」を一様連続関数などに置き換えて考えてみるような価値はある。
93:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/05 13:34:49.80 dWKXmW0r.net
>>83
ID:fZULsj51さん、どうも。スレ主です。
(引用開始)
でもコレそもそも論として
いくらでも1に近い確率で当てる方法があるよ
ではなくて
この話のどこがおかしいのか考えてみましょう
じゃないの？
(引用終り)
同意です
>>64より
Sergiu Hart氏のPDF URLﾘﾝｸ(www.ma.huji.ac.il)
これは、時枝記事と同じ内容を扱っています
で、URLにpuzzleとあるように、遊び心満載のまっとうな数学ではないのです
ところが、時枝先生は、なにを勘違いしたのか
記事を、数学セミナーでどちらかと言えば
まっとうな数学というニュアンスを強く書いてしまった
当時
94:、これをまっとうな数学と勘違いした人が多数出たのです で、私の主張は、そもそも、可算無限それぞれの箱の数が 確率変数として、独立なら、問題の箱以外の数から 問題の箱の数が当てられる、確率論の理屈なしだと それは、大学4年くらいの確率論・確率過程論を学べばすぐ分かることですが
95:１３２人目の素数さん
20/01/05 13:36:27.90 p9Somwtl.net
>>84
時枝定理は学部生でも理解できる
そんな大げさな話ではない
間違いだと思うなら証明の間違いを具体的に指摘すればいいだけ
おまえできてないじゃん
96:１３２人目の素数さん
20/01/05 13:37:56.90 p9Somwtl.net
>>85
またまた適当なことをｗ
困ったおやじだｗ
97:１３２人目の素数さん
20/01/05 13:40:22.38 p9Somwtl.net
>>86
>で、URLにpuzzleとあるように、遊び心満載のまっとうな数学ではないのです
数学パズルを全否定するバカｗ
まっとうじゃないと言うなら証明の誤りを具体的に指摘して下さいね おバカさんｗ
98:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/05 13:42:58.01 dWKXmW0r.net
>>85
>時枝記事の「実数列」を一様連続関数などに置き換えて考えてみるような価値はある。
同意です
シッポの同値類に近い概念が使われている例として、調べたのが
下記の 連続関数の層とか、正則関数のなす層とか
”点x におけるこの層の芽とはxのまわりでの関数の局所的な振る舞いを表していると考えることができる。 同様に、複素多様体に対しその上の正則関数のなす層を考えることができる。”（下記より）
ある点x の局所の振る舞いを決めているのが、層の芽でシッポの部分みたいな話だと
（参考）
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
層 (数学)
(抜粋)
例
連続関数の層
Xを位相空間とする。X の開集合 U に対して、その上の複素数値連続関数のなす空間を C(U) とかくことにする。開集合の包含関係 V ⊆ U に対して関数の定義域の制限 C(U) → C(V) を考えることでX 上の層が得られる。点x におけるこの層の芽とはxのまわりでの関数の局所的な振る舞いを表していると考えることができる。 同様に、複素多様体に対しその上の正則関数のなす層を考えることができる。
定数層
Mを集合とするとき、離散位相を考えてMを位相空間とみなせる。このとき、直積空間X × MからXへの第一成分への射影写像は局所同相写像になっていて、X上のエタールバンドルを与えている。これに対応する層はMが定めるX上の定数層と呼ばれる。
99:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/05 13:43:59.45 dWKXmW0r.net
>>90
関数論としては、使えても
確率論の確率計算としては、使えないｗ（＾＾
100:１３２人目の素数さん
20/01/05 13:45:17.80 WDR2q7oi.net
>>88
時枝記事では実数列バージョンだったところを他のバージョンで置き換えて
考えながら読んでみるようなことも読み方の1つ。
101:１３２人目の素数さん
20/01/05 13:46:59.09 fZULsj51.net
まぁどこに罠があるかは分かった。
なるほどねぇ。
確率論の演習としては中々面白いねぇ。
ちょっとしたミニトラップもあるしね。
102:１３２人目の素数さん
20/01/05 15:39:23.17 w1hpLDIe.net
,. ' ´ ｀ヽ ｀丶､
,. '´ : 丶.
／ : ＼
／ :. ヽ
/ ::. ',
,' :i!: ',
,' :i i
.! ﾊ . i
i ; i. . |
| ,' | ',.. ' ´ |
,.! ｀ ､: i! | !
,f´| ; '__..ﾉ. i
{ /! /｀¨´ ,i i
/ ; / __.... ,／ ', i
./ ! /-‐‐ '' ´＼ ', |
.! , ' ＼ ', |
! , ' ヽ.', |
.! / ﾍ |
| , ' ', !
| , ' ', !
! / ', i
103:１３２人目の素数さん
20/01/05 15:41:16.05 w1hpLDIe.net
＿_,,,,、 .,、
／'ﾞ´,_/'″ . ｀＼
: ./ i./ ,,..、 ヽ
. / /． ｌ, ,! ｀,
.| .,..‐.､│ .|
（´゛ ,/ llヽ |
ヽ -./ .， lliヽ .|
/'",i" ﾞ;、 ｌ'ｉi,''く .ヽ
/ ...│ ﾞl, ｌﾞﾞt, ''ii_ :.!
: /.._ / ヽ ＼＼.｀ﾞ~''''''"./
.|-ﾞノ/ : ゝ .､ ` .｀''←┬゛
lﾞ /.ｒ ゛ .ﾞﾋ, .ヽ, ￣ﾞ|
. | ./ ｌ ”'､ .ﾞゝ........ん
l / ヽ .`' ｀､、 .,i゛
.l| ! ''''v, ﾞ''ｰ ．l、
|lﾞ .il、 .l .ヽ .¬---イ
.llﾞ, ./ ! ,!
.!!...!! ,,ﾞ''''ｰ .|
l.",! .ﾘ |
l":| .～''' ,. │
l; :! .|'" ...ノ,ﾞ./ │
l: l｢ ! .￣ﾞﾞ / !
.| .| ! ,i│ |
:! .l. ｝ ,i'./ |
:! .| :| . / .|
:! | ;! " .|
:! ! │ │
:!:| ,! i ,!
:! ， .ｌ, / .lﾞ !
104:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/05 15:55:56.70 dWKXmW0r.net
>>87
>間違いだと思うなら証明の間違いを具体的に指摘すればいいだけ
１．確率計算をするのに、確率空間を定義せずに、99/100を導いているところが、誤魔化しだ
２．それは、スレ20で、私が確率論の専門家さんと呼ぶ ID:f9oaWn8Aが指摘していたことだが（下記）
３．時枝氏自身も、>>53のように「結果R^N →R^N/～ の切断は非可測になる.」と書いている
もし、確率空間をきちんと書けば、確率計算の過程のどこが”非可測”が明確になる
しかし、それを誤魔化している
４．補足で、テンプレ>>3ご参照。 当時、High level people と呼ぶ人たちが
”「俺は測度論的確率論で正当化できて、パラドクスも説明できる」と言い出して、二人で、スレ28で議論した”
確率変数の定義も無理解で、”変数”と勘違いして”固定”なるトンデモを思いついたらしい
以上
（ご参考 テンプレ>>6 （512 2016/07/03 確率論の専門家さん来訪 ID:f9oaWn8A と ID:1JE/S25W ））
スレ20 ｽﾚﾘﾝｸ(math板:528529番)
528 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 23:03:57.29 ID:f9oaWn8A [8/13]
おれが問題視してるのはの可測性
正確にかくために確率空間(Ω,F,P)を設定しよう
Y,Zはそれぞれ(Ω,F)から(R,B(R))の可測関数である．
もしhが(R,B(R))から(N,2^N)への可測関数ならば
h(Y),h(Z)はそれぞれ可測関数となって{ω|h(Y(ω))>h(Z(ω)}∈FとなりP({ω|h(Y(ω))>h(Z(ω)})=1/2となるけど
hが(R,B(R))から(N,2^N)への可測関数とは正直思えない
529 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 23:04:46.18 ID:f9oaWn8A [9/13]
>>528
自己レス
(R,B(R))ではなくすべて(R^N,B(R^N))だな
(引用終り)
105:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/05 16:00:55.20 dWKXmW0r.net
>>92-93
同意です
>まぁどこに罠があるかは分かった。
>なるほどねぇ。
レベル高いね
お分かり頂ければ、幸甚です（＾＾；
106:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/05 16:02:11.48 dWKXmW0r.net
>>96 リンク訂正
スレ20 ｽﾚﾘﾝｸ(math板:528529番)
↓
スレ20 ｽﾚﾘﾝｸ(math板:528番)-529
107:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/05 16:29:15.59 dWKXmW0r.net
>>75
＞まあ、今年の４回のワークショップで決着させてほしいですね
＞関係者も、決着に向けて、努力すべき
４回のワークショップのどこかで
SSの3.12の議論について
皆で検討して、その討議記録と結論を公開してほしいね
うまく決着させてほしい
IUTで、ABC
108:とか、Szpiro Conjectureとか出るのか出ないのか？ いい加減決着させないと 別の方法で、取り組んでいる（取り組もうとしている）人達にとっても、 「早く、すっきりさせろよ、おい」って感じでしょうね 決着と言っても、 皆が納得する、納得できる、決着であるべきですけどね（＾＾； （過去スレより ご参考） http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20IV.pdf [4] Inter-universal Teichmuller Theory IV: Log-volume Computations and Set-theoretic Foundations. PDF NEW !! (2019-10-31) P3 Theorem A. (Diophantine Inequalities) Then, relative to the notation of [GenEll] [reviewed in the discussion preceding Corollary 2.2 of the present paper], one has an inequality of “bounded discrepancy classes” Thus, Theorem A asserts an inequality concerning the canonical height [i.e., “htωX(D)”], the logarithmic different [i.e., “log-diffX”], and the logarithmic conductor [i.e., “log-condD”] of points of the curve UX valued in number fields whose extension degree over Q is <= d . In particular, the so-called Vojta Conjecture for hyperbolic curves, the ABC Conjecture, and the Szpiro Conjecture for elliptic curves all follow as special cases of Theorem A. We refer to [Vjt] for a detailed exposition of these conjecture
109:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/05 16:41:12 dWKXmW0r.net
>>90
追加ご参考
（芽・茎と、同値類）
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
芽 (数学)
(抜粋)
名前は層 (sheaf) のメタファーの続きで cereal germ に由来している。穀物にとってそうであるように芽は（局所的に）関数の「心臓 (heart)」であるからだ。
正式な定義
基本的な定義
x で同じ芽を定義することが（写像や集合の上で）同値関係であることを確かめることは直截であり、その同値類を芽（それぞれ写像の芽あるいは集合の芽）と呼ぶ。同値関係は通常
f～ x gあるいは S～x T
と書かれる。
基本的な性質
f と g が x において同値な芽であれば、それらは連続性や微分可能性といったすべての局所てな性質を共有し、したがって可微分あるいは解析的芽などについて話すことは意味をなす： 部分集合に対しても同様である。芽の1つの代表が解析的集合であれば、すべての代表は少なくとも x のある近傍上で解析的である。
同値類は前層 F の x における茎（英語版） Fxをなす。この同値関係は上で記述された芽同値の抽象化である。
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
茎 (数学)
(抜粋)
直極限の定義（あるいは普遍性）により，茎の元は元 x_{U}∈ {F}(U)の同値類である，ただし2つのそのような切断 xU と xV は2つの切断の制限が x のある近傍上で一致するときに同値であると考える．
注意
x を含む任意の開集合 U に対して自然な射 F(U) → Fx が存在する：それは F(U) における切断 s をその芽 (germ),
110: すなわち直極限におけるその同値類に送る．これは芽の通常の概念の一般化であり，X 上の連続関数の層の茎を見ることで復元できる．
111:１３２人目の素数さん
20/01/05 16:41:45 WDR2q7oi.net
それじゃ、おっちゃんもう寝る。
112:１３２人目の素数さん
20/01/05 16:53:37.85 WDR2q7oi.net
>>90
>>100
そうそう、確率の話だから最初はｎ次元 Euclid とかで実解析的に考えるモンだ。
いきなり複素平面Cやn次元複素数空間 C^n とかで考えても意味ない。
それじゃ、おっちゃんもう寝る。
113:１３２人目の素数さん
20/01/05 16:59:55.94 WDR2q7oi.net
>>90
>>100
>102の訂正：
ｎ次元 Euclid → ｎ次元 Euclid 空間 R^n
じゃ、寝る。
114:１３２人目の素数さん
20/01/05 17:11:41.35 fZULsj51.net
まず確率の問題なのだから測度空間を設定しなければならないのはその通り。
ではこの問題が測度空間が設定し得ない確率の問題として捉え得ないのかというとそうではない。
まず各箱に入れる実数の分布は問題に明示されてない。
しかしされてない事がこの問題のKeyと言ってしまいそうなのが罠。
もしこの問題のおかしいところを自宅課題として出して出てきたレポートにそう書いてあったら、担当講師は
「じゃあ、この問題に各実数の分布が(0,1)の一様分布とか確率1/2で0,1のベルヌーイ分布って指示されてたらこの議論は成立する事になるのか？確率99%で当てられるのか？」
と聞いてくる。
もちろんそんな事はない。
なのでこの問題で具体的な分布が指定されてない事は目眩しの罠でしかない。
ホントに指摘すべきことは有限個の事象では成立しているある公式が事象の数が無限個になると使える場合と使えない場合があると言うお話。
ちゃんと確率論の勉強した事ある人間ならあーあーあの話ね、なるほどと絶対わかるお話。
確率論の講義なら第一講の課題レポートで出されても不思議のないお話。
115:１３２人目の素数さん
20/01/05 17:40:16.63 p9Somwtl.net
>>96
>１．確率計算をするのに、確率空間を定義せずに、99/100を導いているところが、誤魔化しだ
決定番号は自然数だから、100列の決定番号のうち単独最大のものはたかだか1つ。
100列のいずれかをランダムに選んだとき、単独最大の決定番号の列でなければ数当て成功、ゆえに勝率は99/100以上。
たったこれだけのことが未だに分からないバカｗ
確率空間など書く必要も無いが、敢えて書けば (Ω={1,2,...,100}, F=2^Ω, P(f∈F)=|f|/100)
116:１３２人目の素数さん
20/01/05 17:56:14.05 p9Somwtl.net
>>104
出題者が無限個の箱の中身を決定し、回答者が任意の一つの箱の中身を言い当てるゲーム
回答者へ出題された時点でどの箱の中身も確率１で定まっている（単に回答者には見えないだけ）。
回答者へ出題された後に箱の中身が確率変動することはないので、箱の中身を確率変数とする必要は無い。
（してもよいが「勝つ戦略はあるか？」という問いに対して無意味な戦略）
117:１３２人目の素数さん
20/01/05 18:02:53.95 p9Somwtl.net
>>105補足
たったこれだけと言っても、同値類、選択公理が分からなければ分からないｗ
さらにバカは数列も自然数も有限と無限の違いも分かってないので問題外ｗ
118:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/05 20:27:49 dWKXmW0r.net
>>104
どうも。スレ主です。
レスありがとう
>なのでこの問題で具体的な分布が指定されてない事は目眩しの罠でしかない。
>ホントに指摘すべきことは有限個の事象では成立しているある公式が事象の数が無限個になると使える場合と使えない場合があると言うお話。
>ちゃんと確率論の勉強した事ある人間ならあーあーあの話ね、なるほどと絶対わかるお話。
貴方はレベル高そう
多分私よりも
”あーあーあの話”というのは、一様分布の区間が、有限と無限とで異なるって話かな？
非正則な分布の話は、過去スレにもあるが
（ご参考）
ｽﾚﾘﾝｸ(math板:130番)?v=pc
現代数学の系譜 工学物理雑談 古典ガロア理論も読む72
130現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/07/07(日) ID:cP22N0qP
(抜粋)
決定番号が、一様分布だとして、自然数で上限なく∞まで考えるとする
そうすると、下記の∞まで考えた一様分布で、これは下記のように
非正則分布で、確率分布で
119:はない 積分値が無限大に発散し、全事象の確率は1であるというコルモゴロフの確率の公理に反します （なお、さらに、決定番号は、本当は一様分布ではなく、さらに性質の悪い分布なのです。 ですから、もともとの設定が、通常の確率の扱いが出来ないのです。） https://to-kei.net/bayes/improper_prior/ 株式会社AVILEN 非正則事前分布とは？完全なる無情報事前分布 2017/10/06 (抜粋) 非正則な分布の密度関数のグラフは下図です。 https://to-kei.net/wp-content/uploads/2017/10/c659e62cd0c347c3fcd07049665a8708-300x188.png 非正則な分布とは、一様分布の範囲を無限に広げた分布のことです。 非正則な分布ですが、よく見てみてください。確率の和が1ではありませんよね。 積分値が無限大に発散してしまいます。これは、全事象の確率は1であるというコルモゴロフの確率の公理に反しています。 よって、厳密には、非正則な分布は確率密度関数ではありません。なぜなら、確率の公理を満たしていないからです。 https://to-kei.net/bayes/noninformative_prior/ 株式会社AVILEN 無情報事前分布とは？一様分布を詳しく解説 2017/11/17
120:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/05 20:44:39.88 dWKXmW0r.net
>>104
貴方のために、下記のDr Pruss氏 を
ｽﾚﾘﾝｸ(math板:68番)
ガロアスレ 74
68 ◆e.a0E5TtKE 2019/08/03
>>65
＞Pruss氏の指摘（2013）とほぼ同じことを指摘している（下記）
スレ73 ｽﾚﾘﾝｸ(math板:479番)-
(引用開始)
479 返信：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2019/07/23(火)
>>474 補足
あと、下記が参考になる
（なぜ、mathoverflow>>465 の手法が成立たないのか？ ”CONGLOMERABILITY”が成立ってないというのが、数学DR Alexander Pruss氏の指摘（2013）で、それを2018年の著書で詳しく解説している）
スレ65 ｽﾚﾘﾝｸ(math板:750番)-754
URLﾘﾝｸ(books.google.co.jp)
Infinity, Causation, and Paradox 著者: Alexander R. Pruss Oxford University Press, 2018
P75
(抜粋)
2.5.3 COUNTABLE ADDITITVITY AND CONGLOMERABILITY
(引用終り)
（mathoverflowの”conglomerability”関連箇所）
URLﾘﾝｸ(mathoverflow.net)
Probabilities in a riddle involving axiom of choice Dec 9 '13
(抜粋)
（Alexander Pruss氏）
＜12＞
(抜粋)
The probabilistic reasoning depends on a conglomerability assumption・・
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).
URLﾘﾝｸ(www.mdpi.com)
121:-8994/3/3/636
122:１３２人目の素数さん
20/01/05 20:51:27.29 p9Somwtl.net
>>108
>貴方はレベル高そう
>多分私よりも
見苦しいな
時枝不成立派とみるや途端におべっかｗ
まあそう慌てなさんな、最初は誰しも不成立に見える問題だから（そこが数学パズルたる所以）
>”あーあーあの話”というのは、一様分布の区間が、有限と無限とで異なるって話かな？
>非正則な分布の話は、過去スレにもあるが
バカだねえ～
箱の中身の分布は指定されていないと彼は言ってるんだよｗ
時枝記事で指定されている分布はただ一つ
「さて， 1～100 のいずれかをランダムに選ぶ. 」
すなわち列の選択が一様分布、それだけｗ
おまえホントに何にも分かってないなｗ バカ丸出しｗ
123:１３２人目の素数さん
20/01/05 20:55:43.20 p9Somwtl.net
>>109
>貴方のために、下記のDr Pruss氏 を
バカ丸出しｗ
Prussは勝率99/100以上を認めているｗ
What we have then is this: For each fixed opponent strategy, if i is chosen uniformly independently of that strategy (where the "independently" here
isn't in the probabilistic sense), we win with probability at least (n-1)/n. That's right.
数学も英語もできない白痴ｗ
ちなみにPrussの専門は哲学ですからｗ
124:１３２人目の素数さん
20/01/05 21:02:09.98 p9Somwtl.net
高卒（工業高校）に数学や英語を求めても無駄かｗ
とっとと数学板から失せろバカｗ
125:１３２人目の素数さん
20/01/05 23:46:13.55 p9Somwtl.net
>>109
Prussの
>random choice of sequence
は明らかに誤り。
なぜなら時枝ゲームのルールでは数列（無限個の箱の中身）の決め方は出題者の任意であり、ランダムではない。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる. どんな実数を入れるかはまったく自由」
Prussはこの時点で間違っているので、その後の確率測度の非可測性にもとづく主張はまったく無意味。
そして最終的に
>we win with probability at least (n-1)/n. That's right.
と認めた。
未だに認められないのはバカ一人ｗ
126:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/06 07:16:44.47 t3ENnC2G.net
>>109
貴方のために、下記追加
１）時枝記事の起源
>>86 Hart氏 PDF URLﾘﾝｸ(www.ma.huji.ac.il)
スレ45 ｽﾚﾘﾝｸ(math板:303番)-304
(抜粋)
この”ルーマニアあたり”は、地名とよむのが、普通だろうね
で、Sergiu Hartはユダヤ人だがルーマニア生まれなので、ソースは同じかもね
因みに URLﾘﾝｸ(www.ma.huji.ac.il) Sergiu Hart Choice Games より PDFには
”1Source unknown. I heard it from Benjy Weiss, who heard it
from ..., who heard it from ... . For a related problem, see
URLﾘﾝｸ(xorshammer.com) ”
と注釈が入っているよ
で、関連部分引用する（＾＾
URLﾘﾝｸ(xorshammer.com)
SET THEORY AND WEATHER PREDICTION XOR’S HAMMER Some things in mathematical logic that I find interesting WRITTEN BY MKOCONNOR Blog at WordPress.com. AUGUST 23, 2008
(抜粋)
For some interesting comments on this puzzle, see Greg Muller’s blog post on it here
URLﾘﾝｸ(cornellmath.wordpress.com)
(引用終り)
つづく
127:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/06 07:17:10.15 t3ENnC2G.net
>>114
つづき
２）Generalized Hat Problems との関連
スレ45 ｽﾚﾘﾝｸ(math板:473番)
(抜粋)
ピエロくんの紹介
URLﾘﾝｸ(pdfs.semanticscholar.org)
128:276713d3.pdf The Mathematics of Coordinated Inference: A Study of Generalized Hat Problems (Developments in Mathematics) 2013 edition by Hardin, Christopher S., Taylor, Alan D. ７章”The Topological Setting”とかなっていて P9 ”In Chapter 7 we start to move further away from the hat problem metaphor and think instead of trying to predict a function's value at a point based on knowing (something about) its values on nearby points. The most natural setting for this is a topological space and if we wanted to only consider continuous colorings, then the limit operator would serve as a unique optimal predictor. But we want to consider arbitrary colorings. Thus we have each point in a topological space representing an agent and if f and g are two colorings, then f ≡a g if f and g agree on some deleted neighborhood of the point a. It turns out that an optimal predictor in this case is wrong only on a set that is "scattered" (a concept with origins going back to Cantor). Moreover, this predictor again turns out to be essentially unique, and this is the main result in Chapter 8.” などとある さすれば、時枝もそのままじゃ（Topologicalな条件を加えないと）、成り立たないと思う (引用終り) 以上
129:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/06 07:30:42.33 t3ENnC2G.net
>>113
(引用開始)
Prussの
>random choice of sequence
は明らかに誤り。
なぜなら時枝ゲームのルールでは数列（無限個の箱の中身）の決め方は出題者の任意であり、ランダムではない。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる. どんな実数を入れるかはまったく自由」
Prussはこの時点で間違っているので、その後の確率測度の非可測性にもとづく主張はまったく無意味。
(引用終り)
おまえ、以前東大数学科卒なんて、謀っていたがｗ（＾＾；
大嘘ということがバレバレだね
まったく自由→例えばサイコロを使う
あるいは、サイコロに限らず、様々なランダム現象が使える
これで、ランダム現象の話になって
Pruss氏の話に乗ってくる
要するに、反例は1つで良い
Pruss氏は、ランダムな例で、反例を示そうしているんだよ
QEDｗ
130:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/06 07:38:00.64 t3ENnC2G.net
>>99 追加
abc conjecture、下記みたいに書かれている
関係者の方、ワークショップで決着、よろしく（＾＾；
URLﾘﾝｸ(en.wikipedia.org)
abc conjecture
(抜粋)
Various attempts to prove the abc conjecture were made, but none have been accepted by the mainstream mathematical community so far and the conjecture is still largely recognized to be unproven as of 2020.
131:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/06 07:44:18.99 t3ENnC2G.net
勢い 1位 （＾＾ （どうってこともないですがｗ（＾＾； ）
URLﾘﾝｸ(49.212.78.147)
数学：2ch勢いランキング
順位 6H前比 スレッドタイトル レス数 勢い
1位 = 現代数学の系譜 工学物理雑談 古典ガロア理論も読む80 115 58
2位 = フェルマーの最終定理の簡単な証明4 729 44
3位 ↑1 軍事機密にされた私が日本数学会事務局宛てに書いた素数の式。 863 35
4位 ↑1 Inter-universal geometry と ABC 予想 43 313 33
5位 ↓-2 数学の本 第88巻 40 32
6位 = 分からない問題はここに書いてね457 248 27
7位 ↑2 Inter-universal geometry と ABC予想 43 168 17
8位 = 現代数学の系譜 カントル 超限集合論2 283 17
9位 ↑1 高校数学の質問スレPart402 900 12
10位 ↑1 【未解決問題】奇数の完全数が存在しないことの証明6 397 9
132:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/06 07:51:34.44 t3ENnC2G.net
>>117
＞but none have been accepted by the mainstream mathematical community
おまえら、the mainstream mathematical community じゃないんだ
RIMS
こっちにも、怒って下さい！ ゴラ～ァ！ｗ (゜ロ゜;
133:１３２人目の素数さん
20/01/06 09:06:37.03 V+C4ilW6.net
>>116
うわああああ バカ丸出し
分布を仮定したら当たり易くなるだろｗ
何の仮定も無いのが一番当たりにくいんだよｗ
ホントバカｗ
134:現代数学の系譜?雑談?古典ガロア理論も読む
20/01/06 10:19:32.63 7fY12LRH.net
>>120
＞分布を仮定したら当たり易くなるだろｗ
＞何の仮定も無いのが一番当たりにくいんだよｗ
１．どうせ当たらないから同じことよｗ
２．ランダム現象を前提にすれば、
既存の確率論・確率過程論の理論を、援用できるってことだ！！
（援用は、法律用語なので、数学屋さんは知らないかもしれないがね）
３．各箱に確率現象を使って数を入れるとする。
「独立同分布である i.i.d. IID」（下記）と 仮定すれば、
任意のある一つの箱に対して
他の箱を如何に開けて見ようとも
その箱の確率分布は独立で変わらない
だから、確率計算も変わらない
従って、99/100は不成立！！
QEDｗ（＾＾
（参考）
URLﾘﾝｸ(kotobank.jp)
コトバンク
(抜粋)
援用（読み）エンヨウ
デジタル大辞泉の解説
えん‐よう〔ヱン‐〕【援用】
［名］(スル)
１ 自分の主張の助けとするため、他の意見・文献などを引用したり、事例を示したりすること。「海外の論文を援用する」
２ 法律で、ある事実を自己の利益のために主張すること。時効の援用、証拠の援用、抗弁の援用など。
URLﾘﾝｸ(www.practmath.com)
実用的な数学を
2019年6月20日 投稿者: TAKAN
独立同分布である i.i.d. IID
(抜粋)
|| 同じ分布のデータは互いに不干渉だよ
これは「確率変数を別々に扱えるよ」という『仮定』です。
これが仮定されていると、非常に計算がしやすくなります。
相関を考えなくて良いので、共分散などを使う必要がありません。
135:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/06 11:36:00.01 7fY12LRH.net
>>121
なんか、コテハンが文字化けしているなｗ（＾＾
（原因は、半角ブランクの文字コードのコード体系が違うからのようだ）
入れ直した。これでどうだ
136:１３２人目の素数さん
20/01/06 12:06:40.76 XpV9JwMk.net
おっちゃんです。
>>121
確率を求めるには、確率測度を定めることが出来ればいい(時枝記事では確率測度を持ち出す必要はない)。
確率論、確率過程の理論の分布は特に持ち出さなくてもいい。
強いていえば、一様分布になる。
137:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/06 12:45:22 7fY12LRH.net
>>123
おっちゃん、どうも、スレ主です。
レスありがとう（＾＾
138:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/06 15:40:46.40 7fY12LRH.net
>>60
(引用開始)
どういう場合に取り出せないか、は以下に示してます
要するに
0
0.1
0.11
0.111
…
の無限個の要素からは共通の尻尾はとれない
(引用終り)
共通のシッポ取れるよ
それ、>>24の多項式環と考えれば良いんだよ
つまり、「多項式には項が有限個しかないこと -つまり十分大きな k（ここでは k > m）に関する係数 pk がすべて零であるということ- は、暗黙の了解である」
だから、それ、シッポ全て可算無限長の空の箱（＝係数0）と考えてもよいってことよ
（例えば、0.111 空(0）空(0）空(0）・・・ という感じですよｗ（＾＾； ）
まあ、あなた 多項式環も理解できていないし
形式的冪級数環も理解できていないね
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
多項式環
(抜粋)
注意すべき点として、多項式には項が有限個しかないこと -つまり十分大きな k（ここでは k > m）に関する係数 pk がすべて零であるということ- は、暗黙の了解である。
139:１３２人目の素数さん
20/01/06 17:30:47.57 RvArHaCi.net
_,,,,,,,,,,,,＿
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ . l
140:１３２人目の素数さん
20/01/06 17:34:45.99 RvArHaCi.net
_,,,,,,,,,,,,＿
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ . l
141:１３２人目の素数さん
20/01/06 17:36:10.43 XpV9JwMk.net
それじゃ、おっちゃんもう寝る。
142:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/06 18:06:36.23 7fY12LRH.net
>>128
おっちゃん、どうも、スレ主です。
おやすみなさい。
143:１３２人目の素数さん
20/01/06 19:33:54.66 Sb2F6843.net
>>104
>有限個の事象では成立しているある公式が
>事象の数が無限個になると使える場合と使えない場合がある
箱の中身が不定の場合の確率を
個々の箱の中身の場合の条件付け確率から
求めようというんならそういうことが問題になるね
(conglomerability)
しかし実際はそういう一般的な話はしていない
これは確率論の話でなくてそれ以前の集合論（選択公理）の話で終わり
144:１３２人目の素数さん
20/01/06 19:35:21.26 Sb2F6843.net
>>70
>簡単に言えば、条件付確率なのです
>１．条件１ n1<=D （有限）の場合で
>２．条件２ D ＝max (n2,n3,・・,n100)として
> ・n1<=Dの確率99/100
> ・n1＞Dの確率 1/100
>３．そういうことを、
> 時枝記事では言っているわけです
「n1<=D」という条件ならn1<=Dの確率は１だろ
頭、大丈夫？
だいたい「（有限）」が意味不明
「n1が有限の場合」といいたいのか？
しかしn1,・・・,n100の全てが有限
つまり自然数だけどな
頭、大丈夫？
145:１３２人目の素数さん
20/01/06 19:48:56.77 Sb2F6843.net
>>125
>> 0
>> 0.1
>> 0.11
>> 0.111
>> …
>> の無限個の要素からは共通の尻尾はとれない
>共通のシッポ取れるよ
頭、大丈夫？
>それ、多項式環と考えれば良いんだよ
有限列ね 多項式環は不要 代数構造要らないから
>つまり、
>「多項式には項が有限個しかないこと
> -つまり十分大きな k（ここでは k > m）に関する係数 pk がすべて零であるということ-
> は、暗黙の了解である」
これ
「有限列には項が有限個しかないこと
-つまり十分大きな k（ここでは k > m）に関する項 pk がすべて零であるということ-
は、暗黙の了解である」
でいいよね
多項式 全然要らないよね
なんで多項式出したの？見栄？だったらミットモナイよ
で
＞だから、それ、シッポ全て可算無限長の空の箱（＝係数0）
＞と考えてもよいってことよ
＞（例えば、0.111 空(0）空(0）空(0）・・・ という感じですよ
頭、大丈夫？
共通の尻尾はどこからはじまるのかな？
１番目？２番目？開始の番号をズバリ答えてごらん？
どの番号を答えても、速攻で否定できるよ
だってそこが１になる有限小数が必ず存在するからね
そんなことも瞬時に思いつかない頭じゃ数学全然分からないでしょ？
当然だね だって何にも考えてないもの 考えられない人には数学は無理
＞あなた 多項式環も理解できていないし
＞形式的冪級数環も理解できていないね
多項式環要らないね 有限列で十分
冪級数環要らないね 無限列で十分
君、有限列す�
146:逡ｪかってないよ ひどいね どこの工業高校卒？
147:１３２人目の素数さん
20/01/06 19:53:15.50 Sb2F6843.net
工業高校卒へ
以下読め
ｽﾚﾘﾝｸ(math板:276番)-277
わかるまで数学板に書くなよ
お前のカキコ、大便臭いからｗ
148:１３２人目の素数さん
20/01/06 19:56:04.52 Sb2F6843.net
工業高校卒へ
これも読め
ｽﾚﾘﾝｸ(math板:280番)-282
わかるまで数学板に書くなよ
お前のカキコ、小便臭いからｗ
149:１３２人目の素数さん
20/01/06 20:26:07 V+C4ilW6.net
>>125
ここまで噛み砕いてもらっても理解できないバカｗ
脳に欠陥でもあんのか？ｗ
150:１３２人目の素数さん
20/01/06 20:55:20.56 V+C4ilW6.net
>>121
>任意のある一つの箱に対して
>他の箱を如何に開けて見ようとも
>その箱の確率分布は独立で変わらない
>だから、確率計算も変わらない
>従って、99/100は不成立！！
当たりっこないという直観を語ってるだけｗ 時枝解法を一つも語ってないｗ
選択公理も同値類も分からないバカには直観しか語れないｗ
151:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/06 21:08:16.90 t3ENnC2G.net
>>2
>（なお、彼は複数ID（4まで確認済み）を使うやつ（＾＾ ）
おサル、必死だな
過去に、スレ68において
二日にわたって、2つのIDで、各100以上の連投がなされたことがある
つまり
・2019/06/13(木) ID:BpkQxrls [139/139]、ID:DhrTdtd0 [435/435]
・2019/06/14(金) ID:ebInVaSj [155/155]、ID:VH5krqxp [127/127]
この2つのIDは、完全にシンクロしていて
連投は、ほぼ 同時に始まり、同時に終わった
おサル、また、病気が出たのかな？ｗ（＾＾；
（ご参考）
スレ68 ｽﾚﾘﾝｸ(math板:593番)
593 名前：１３２人目の素数さん[sage] 投稿日：2019/06/13(木) 21:41:14.79 ID:BpkQxrls [139/139]
スレ68 ｽﾚﾘﾝｸ(math板:674番)
674 名前：１３２人目の素数さん[sage] 投稿日：2019/06/13(木) 23:50:40.85 ID:DhrTdtd0 [435/435]
スレ68 ｽﾚﾘﾝｸ(math板:904番)
904 返信：１３２人目の素数さん[sage] 投稿日：2019/06/14(金) 20:42:54.81 ID:ebInVaSj [155/155]
スレ68 ｽﾚﾘﾝｸ(math板:1000番)
1000 名前：１３２人目の素数さん[] 投稿日：2019/06/14(金) 22:57:13.70 ID:VH5krqxp [127/127]
152:１３２人目の素数さん
20/01/06 23:38:23.55 z7WYevVC.net
ひどいです
信じられません
こんなやつもいるとはドン引きです
153:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/07 00:06:49.57 b2sufDWR.net
>>75 追加
新一の「心の一票」 - 楽天ブログ URLﾘﾝｸ(plaza)（ >>16 or URLがNGなので、キーワードでググれ（＾＾ ）
2020.01.05
宇宙際タイヒミューラー理論（IUTeich）の論文を巡る現状報告： 「数学界に出現している悲惨なブラックホールの物語」
(抜粋)
IUTeichの論文の査読を巡っては一体何が起きているのでしょうか。
海外ではIUTeichについては、数学的には全く出鱈目な内容の指摘による様々な深刻な誤解が発生していて、この誤解については後程詳しく説明したいと思いますが、
この手の誤解に対しては雑誌は如何にも不思議で、「学問の健全な発展」という、学問の世界において本来最も優先されるべき観点から言えば、極めて非建設的な立場を取っています。
一言で言ってしまいますと、「大元誤解」の本質は、よく知られている論理演算子
「∧」（＝「AND」＝「かつ」）と
「∨」（＝「OR」＝「または」）
の混乱によるものです。
(引用終り)
思うにＲＩＭＳの方針はハッキリしていると思う
2020年の４本のワークショップで決着させよう
「関係者の方、しっかり頑張って、決着させて下さいね」ということでしょう
４本のワークショップの結果を見て
論文を通すかどうかを判断しようとしていると視ました
Ｇくん、がんばって
・3.12について、解説100ページくらい書いて、パワーポイント�
154:熾ﾊに作って、ワークショップで議論してほしいな 得に、”「大元誤解」の本質”の謎解きと解説をしっかり ・あと、IUTその４の P74 Remark 3.3.1. (i) One well-known consequence of the axiom of foundation of axiomatic set theory is the assertion that “∈-loops” の話も、ちゃんと解説してほしいね ・同 P68 Although we shall not discuss in detail here the quite difficult issue of whether or not there actually exist ZFCG-models, we remark in passing that it may be possible to justify the stance of ignoring such issues in the context of the present series of papers なんて話も、もうちょっとすっきりさせてほしいね
155:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/07 00:27:46.48 b2sufDWR.net
>>16
> URLﾘﾝｸ(ja.yourpedia.org)
> 宇宙際タイヒミュラー理論 Yourpedia
これと、下記は同じ内容だが、文字化けが下記の方が少ない（上記は式の文字化けがあるが、下記は式の表示が小さい）
（なお、両者とも、いまは削除された和文wikipediaのコピーと思われる）
（参考）
URLﾘﾝｸ(w.atwiki.jp)
宇堆
宇宙際タイヒミュラー理論 は2012年に望月新一による Inter-universal Teichmuller Theory と題された一連の論文の中で展開された理論である。ABC予想やVojta予想などの未解決問題を解決したとされるが、2014年の段階では検証は終わっていない。
156:１３２人目の素数さん
20/01/07 05:01:34 PDFTI+wQ.net
◆e.a0E5TtKE >>132に反論できず敗北
いつものごとくIUTに逃走
間違いに向き合わないから
いつまでたっても数学が理解できないんだよ
157:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/07 07:21:11.31 b2sufDWR.net
>>141
「頭、大丈夫？」は、おまえだよ。おサル
>>132は、アホ晒しで、いつまでも貼っておくぜｗ（＾＾；
”私？某大学の数学科卒 修士課程修了ですが何か？”（>>2より）
だったっけなｗ
夢見ているか、学歴を詐称しているんじゃね？
158:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/07 07:34:05.16 b2sufDWR.net
>>142 補足
哀れな素人さん（下記スレ）
”現代数学はインチキのデパートである。たとえば
0.99999……＝１。”
これの、”0.99999……＝１。”は
いつ、”＝１”になるのかな？
小数第何位？
（>>132より）
”ズバリ答えてごらん？”
これを、おサルが答えたら
おれも、「その番号です」！！って、答えてやるぜｗｗ（＾＾；
おサルの質問は、面白い
哀れな素人さんと、良い勝負だなｗｗ（＾＾
（参考）
現代数学はインチキのデパート
ｽﾚﾘﾝｸ(math板:1番)
1 名前：哀れな素人[] 投稿日：2019/10/04(金) 08:36:50.32 ID:w42LKLpI [1/2]
現代数学はインチキのデパートである。たとえば
0.99999……＝１。無限小数は実数である。
実数は非可算である。実数は連続性がある。
無限集合が存在する。etc
159:１３２人目の素数さん
20/01/07 07:39:29.03 d0/2eUvo.net
バカ過ぎｗ
160:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/07 07:54:00.43 b2sufDWR.net
>>139
”TARO-NISHINOの日記
識別の危機”
ラベルに関係するけど、”キャテグリ理論”ｗ
ワークショップでは
これにも、ちゃんと答えを、直裁に出してください
よろしく
（参考）
URLﾘﾝｸ(taro-nishino.blogspot.com)
161:.html TARO-NISHINOの日記 識別の危機 3月 24, 2019 (抜粋) 今回紹介するのはディヴィド・マイケル・ロバース博士が書いた記事"A Crisis of Identification"です。ロバース博士と言えばショルツ、スティクス両博士のリポートが公開された直後からキャテグリ論の専門家として非常に冷静な分析をされていたことに私は感心してましたから直ぐに記事を読みました。 ロバース博士の記事はもう完全に数学を前面に出しています。 前置きはこれくらいにして、この記事の私訳を以下に載せておきます。なお著者の注釈欄を省いていますが、注釈へのインデクスはそのままです。 キャテグリ理論 そんな構造を厳密にする現代的方法がキャテグリ理論だ35。 ショルツとスティクスが彼等の懸念を述べている10ペィジの覚書は(予備知識があれば)詳細な審査リポート37のように読める。彼等の批判の中で、問題の核心を得ていると思える"ある過激な簡略化"に彼等は訴えているが、"そんな簡略化は望月の証明の中核を形成する興味深い数学全体を?奪しているかも知れない"38ことも彼等は知っている。 彼等は議論を簡略化するための目的で同型オブジェクトを同一視することを認めて来ている。 異なるが同型な2つの数学オブジェクトを望月が与えている所では、ショルツとスティクスはそれらが同型であるという理由で一つだけを見ている。望月が禁じ手だと強く咎めているのはこれであり、彼自身の立証の中で幾つかの実例を与えている。 その実例はそのように扱えば不正な結果になると彼が主張しているものだ39。しかし、望月は自己弁明の中でキャテグリ論における常識的な解釈に対して再び個人特有の定義を使う一方で、まだ標準の用語を使っている。
162:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/07 07:58:40.60 b2sufDWR.net
>>145
補足
端から見ていて思うのは
SSレポートに対して
望月レポートは、直接答えていない気がする
（答えているのかも知れないが、すれ違い気味では？（＾＾； ）
例えていれば
Q1、Q2、Q3と3つの疑問に対して
答え A4、A5、A6として
A4：基本が分かっていない
A5：何回もチェックしたんだ
A6：賛同してくれる人多数
みたいな回答に見える
質問と回答が噛み合ってない気がするのだが
163:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/07 08:00:28.14 b2sufDWR.net
>>138
ID:z7WYevVCさん、どうも。スレ主です。
レスありがとう
そう思うでしょ（＾＾；
連投はいいよ
でもね、複数IDはね～（＾＾；
164:１３２人目の素数さん
20/01/07 08:12:11.36 d0/2eUvo.net
>でもね、複数IDはね～（＾＾；
それおまえじゃんｗ
165:１３２人目の素数さん
20/01/07 08:15:12.67 d0/2eUvo.net
>>121
>任意のある一つの箱に対して
>他の箱を如何に開けて見ようとも
>その箱の確率分布は独立で変わらない
>だから、確率計算も変わらない
そもそも箱の中身は定数、つまり確率１である値であるｗ
確率分布も確率計算も無いｗ
バカはまったく分かってないｗ
166:１３２人目の素数さん
20/01/07 08:16:11 d0/2eUvo.net
>ID:z7WYevVCさん、どうも。スレ主です。
自分に挨拶すんなｗ
167:１３２人目の素数さん
20/01/07 09:47:04.57 PDFTI+wQ.net
>>143
>”0.99999……＝１。”は
>いつ、”＝１”になるのかな？
>小数第何位？
何を問うているのかな？
左辺の0.99999……は
小数点以下の全ての桁で9
>”ズバリ答えてごらん？”
>これを、おサルが答えたら
>おれも、「その番号です」！！って、答えてやるぜｗｗ
もしかして、
「先が全部0となる桁が存在する」
と思ってる？
そんなのないよ
桁は全て自然数で位置が表される
ω桁目とかいうものは存在しない
>おサルの質問は、面白い
>哀れな素人さんと、良い勝負だなｗｗ
◆e.a0E5TtKEの質問こそ自爆プレイ
安達弘志を超える超馬鹿だと露見
168:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/07 16:19:54.33 xZrnD9VN.net
>>143
(引用開始)
哀れな素人さん（下記スレ）
”現代数学はインチキのデパートである。たとえば
0.99999……＝１。”
(引用終り)
これ面白いから、これを使わてもらう（＾＾
１．（繰り返すが）時枝と同様の無限列のシッポの同値類の ミニモデル として、
十進無限小数を考えてみよう
２．簡単のために、整数部は１桁の実数を考える。この集合をR1とする
その上で、例えば、円周率πの同値類をRπとすると
π＝3.14 1592・・・に対して、π'＝4.25 1592・・・として
π～π'（同値）だ
３．さて、
4.25の部分は、有限小数だ
そこで、整数部は１桁の有限小数の集合をUとしよう
４．π'＝4.25 1592・・・とπ＝3.14 1592・・・との差Δを考える
Δ＝π'－π＝4.25 1592・・・－3.14 1592・・・＝1.11となる
つまり
π'＝π+1.11＝π+Δ
ここにΔ∈U（有限小数の集合）
記号の濫用で
同値類 Rπ＝π+U と書ける
（ここに"+"は、無限小数の先頭部分に各有限小数を加える意味）
つまり、任意の同値類Rrは、代表の無限小数rに対して、同値類 Rr＝r+Uと表現できる
（自明だが、Δ＝0なら、r'＝r+Δ＝rとなる。また、Δが有限小数である限り”r'～r”成立。この逆も成立。）
５．従って、上記５項より、無限小数のシッポの同値類Rrの任意の元r'は、代表rと同じ無限長のシッポを持つことが示せた
６．さて、有限小数U を、多項式環と同様に、先頭のある有限部分を除いて、そのシッポが全て0の無限小数を定義することができる
そうすると、有限小数Uは、R1中で、代表0＝0.000・・・なる無限小数の同値類と見ることができる
７．これは、形式的冪級数環における 級数の先頭が有限長である 多項式環のアナロジーである
以上
繰り返すが、上記は時枝の無限列のシッポの同値類のミニモデルである
もし、時枝の議論が分からなくなれば、このミニモデルに戻ることをお薦めする（＾＾
169:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/07 16:23:44.97 xZrnD9VN.net
>>152 補足
ああ、そうそう
「0.99999……＝１」だったね（＾＾；
だから、無限小数 0.99999……を考えると
これを代表とする
同値類の元は、全て、0.xxx・・・99999……（以下無限に9が並ぶ）
というシッポ ”99999……”を持つってことだ
170:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/07 16:31:22.66 xZrnD9VN.net
>>152 補足
有限小数の集合U vs 多項式環
↓↑ ↓↑
無限小数の集合R vs 形式的冪級数環
という対応関係ですね
なお、Rは実数だけれども、有理数Qで考えることも可
この場合、有理数Qでは、無限列のシッポの部分がある周期をもって循環する循環小数に限られることになる
171:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/07 16:32:54.59 xZrnD9VN.net
>>152 タイポ訂正
６．さて、有限小数U を、多項式環と同様に、先頭のある有限部分を除いて、そのシッポが全て0の無限小数を定義することができる
↓
６．さて、有限小数U を、多項式環と同様に、先頭のある有限部分を除いて、そのシッポが全て0の無限小数と定義することができる
172:１３２人目の素数さん
20/01/07 16:46:54.75 PDFTI+wQ.net
>>152-155
結局>>143の自分の問いに、自分で答えられず
完全な自爆だな
有限小数、無限小数で済むところを
多項式「環」だの冪級数「環」だのと
無意味なアナロジーだけ披露したがるところが
馬鹿の極み
ついでにいうと
0.999…は、0.9,0.99,0.999,…と異なる尻尾を持つ
ということまで書いて自爆死している
つまり
0.9,0.99,0.999,…の同値類の代表元が
0.000…だとしたとき
0.999…の決定番号は∞ではない
ついでにいうと0.9,0.99,0.999,…全体に共通する尻尾もない
なぜなら共通の尻尾がどの桁から始まるとしても
その桁が9となる有限小数0.999…9が存在するから
なんでこんなアホでもわかる初歩的なことが理解できないかね
どこの中卒だ？ｗ
173:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/07 17:20:40.17 xZrnD9VN.net
>>156
おまえの例、どんくさい例だなｗ
リウヴィル数(下記)とか、
恰好良い例だせないのか？
リウヴィル数って、
何桁目から0が続くのかね？
具体的に、示してみなよｗ（＾＾；
なお、
旧帝の数学科生なら、
１年でも、リウヴィル数のシッポの意味は、分かるだろうぜｗ
>0.000…だとしたとき
>0.999…の決定番号は∞ではない
意味わからん
冪級数に戻って考えてごらん
冪級数
a0+a1X+a2X^2+a3X^3+・・・
において
9=a0=a1=a2=a3+・・・
と
0=a0=a1=a2=a3+・・・
と
この二つの形式的冪級数は、
全くの別のシッポの同値類に属するものだよ
分かってないね～ｗ（＾＾；
（参考 リウヴィル数）
URLﾘﾝｸ(ja.wikipedia.org)
リウヴィル数
(抜粋)
リウヴィル数（リウヴィルすう、Liouville number）とは、以下の定義を満たす実数 α のことである：任意の正整数 n に対して、
0<|α-p/q|<1/q^n
を満たす有理数 p/q (q > 1) が少なくとも一つ存在する。
例えば、
l=Σk=1～∞ 10^-(k!)=0.110001,000000,000000,000001,000000,000000,000000・・・
はリウヴィル数である。
この数は、超越数であることが証明された初めての数である(ジョゼフ・リウヴィル、1844年)。
特にこの数の場合、
1が小数点以下、自然数の階乗の桁数に出現する
(1!=1桁目、2!=2桁目、3!=6桁目、4!=24桁目、……)。
URLﾘﾝｸ(ja.wikipedia.org)
超越数
(抜粋)
歴史
リウヴィルは、1844年に超越数の最初の例を与えた（リウヴィル数）。
174:１３２人目の素数さん
20/01/07 17:40:23.79 PDFTI+wQ.net
>>157
>リウヴィル数とか、恰好良い例だせないのか？
多項式環とか冪級数環とか、
無用なハッタリをかます
ウソツキ詐欺師じゃないんでｗ
>リウヴィル数って、何桁目から0が続くのかね？
>具体的に、示してみなよ
そもそも
「いかなる無限小数も必ずある桁から先が0になる」
なんて、君みたいなウソは口にしたことがないが
>>0.000…だとしたとき
>>0.999…の決定番号は∞ではない
>意味わからん
頭悪いね 脳味噌ないの？
>冪級数に戻って考えてごらん
冪級数なんて持ち出さなくても
0.000…と0.999…は
「全くの別のシッポの同値類に属するもの」
だとわかる
そして、君が愚かにも妄想してる
「同値類のほとんどすべての列は決定番号∞」
なんて馬鹿なことはまったくあり得ない
決定番号は全て自然数
175:１３２人目の素数さん
20/01/07 17:45:35.41 PDFTI+wQ.net
蛇足
＞旧帝
・・・とかいっても大阪とか名古屋とかカスだけどな
176:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/07 17:49:41.45 xZrnD9VN.net
>>158
＞「いかなる無限小数も必ずある桁から先が0になる」
おまえは、
哀れな”ド”素人か？ｗ（＾＾
1/3=0.3333・・・ってさ
無限小数だよね（＾＾；
おまえ、これがどこからか
「必ずある桁から先が0になる」？？（＾＾
おまえは、
哀れな”ド”素人かい？！ｗ（＾＾；
”哀れな素人”さんより
ひどいなぁ～！ｗ（＾＾；
177:１３２人目の素数さん
20/01/07 18:01:52.52 PDFTI+wQ.net
>>160
◆e.a0E5TtKE 恒例の詐欺引用ｗ
>>158で書いたのは
>そもそも
>「いかなる無限小数も必ずある桁から先が0になる」
>なんて、君みたいなウソは口にしたことがないが
それを、真ん中の
「いかなる無限小数も必ずある桁から先が0になる」
だけ抜き出すのが詐欺ｗ
0
0.1
0.11
0.111
…
のすべてが共通してもつ尻尾がない、という自明な事柄に対して
「いや！共通の尻尾はある！000…だ」
と発狂しつづけてるのが、◆e.a0E5TtKE 貴様だ
だから、尋ねている
「その000…の始まりの0は何桁目だ？1桁目？2桁目？」
貴様は答えられない
どの桁を答えても間違いだからだ
10000桁目だろうが、1000000桁目だろうが
自然数で表される桁の場所であれは
そこまで1が続く小数が存在するから
そこから尻尾が始まり得ないことが分かる
つまり、もし貴様のいう共通の尻尾があるとすれば
それは自然数ではないω桁目から、ということになる
しかし、それは桁の場所が全て自然数であらわされる
という前提と矛盾する
◆e.a0E5TtKE 貴様は
無限小数が全然わかってなかったってことだ
ｗｗｗｗｗｗｗｗ
178:１３２人目の素数さん
20/01/07 20:14:34.50 mDv2pBGM.net
_,,,,,,,,,,,,＿
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ . l
179:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/07 21:13:49.75 b2sufDWR.net
>>161
どうも。スレ主です。
１．形式的冪級数は、一般には、「代入」は意味を持たない。無限個の和が出てきてしまうからである。（下記ご参照）
２．しかし、特殊ケースで、「代入」が意味を持つ
３．例えば、
形式的冪級数 Σn=0～∞ anX^n=a0+a1X+a2X^2+・・・を、十進小数にしてみよう
４．X＝1/10を代入し、係数an には0から9までの整数を入れる
例えば、a0=3, a1=1, a2=4, a3=1, a4=5, a5=9・・・
５．それは 3+ 1/10+ 4/10^2+ 1/10^3+ 5/10^4+ 9/10^5・・・
であって、3.14159・・・と円周率πを表わすことができる
６．この例において、多項式なら、あるanより後の係数 例えば、n=3から後を0と考えることができる
a0=3, a1=1, a2=4, a3=0, a4=0, a5=0・・・
である
７．これは、多項式p(X)＝a0+a1X+a2X^2 を表わす
X=1/10を代入して、p(1/10)＝3+1/10+4/10^2＝3.14となる
８．繰返すが、下記にあるように
多項式は、無限の項を持つ形式的冪級数の特殊なものと捉えることができる
即ち、”つまり十分大きな k（ここでは k > m）に関する係数 pk がすべて零である” 形式的冪級数と考えれば良いのだ
９．そうすれば、”多項式環 ⊂ 形式的冪級数環 ”と理解することができるのだ
１０．なお、多項式”環”として、環を強調していることには意味があって、
多項式自身は有限ｎ次の式ではあるけれども
”環”であるから、ｍ次式とｎ次式との積はｍｎ次式となり、それは”環”要素の「多項式の次数に上限が無い」ことを意味する
つまり、「多項式の次数に上限が無い」ことを強調するために、多項式”環”として強調しているのだった
以上
(>>23より)
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
多項式環
(抜粋)
注意すべき点として、多項式には項が有限個しかないこと -つまり十分大きな k（ここでは k > m）に関する係数 pk がすべて零であるということ- は、暗黙の了解である。
つづく
180:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/07 21:14:27.45 b2sufDWR.net
>>163
つづき
URLﾘﾝｸ(ja.wikipedia.org)
形式的冪級数
(抜粋)
定義
A を可換とは限らない環とする。A に係数をもち X を変数（不定元）とする（一変数）形式的冪級数 (formal power series) とは、各 ai (i = 0, 1, 2, …) を A の元として、
Σn=0～∞ anX^n=a0+a1X+a2X^2+・・・
の形をしたものである。ある m が存在して n >= m のとき an = 0 となるようなものは多項式と見なすことができる。
形式的冪級数全体からなる集合 A[[X]] に和と積を定義して環の構造を与えることができ、これを形式的冪級数環という。
性質
・多項式とは異なり、一般には、「代入」は意味を持たない。無限個の和が出てきてしまうからである。
しかし、例えば次のようなときには意味を持つ。可換環 A はイデアル I による I 進距離で完備であるとする。
このとき a1,・・・ ,an∈ I であれば、 Σ α cα X^α ∈ A[[X1,・・・ ,Xn]] の X1,・・・ ,Xn に a1,・・・ ,an を代入したものは収束する。
(引用終り)
以上