[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む80 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
21(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/04(土)23:42 ID:MNiodNk0(18/21) AAS
スレ79 2chｽﾚ:math より
>>961 補足
どうも、スレ主です
あなた 無限数列のシッポの同値類、これ”概念”として理解できないようだね
私は、過去スレでも同じ説明をしたと思うが
（あなたの来る前だったかもしれんが）
再度説明しよう
(まず >>961より 引用開始)
数列の尻尾の同値類なんだから
その同値類に属する数列が
省20
22(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/04(土)23:45 ID:MNiodNk0(19/21) AAS
>>21
つづき
３）
同値類内の
2つの形式的冪級数の差 Fp-Fp'を作ると、nから先が一致するから
Fp-Fp'＝(s1-s'1)x+(s2-s'2)x^2+(s3-s'3)x^3・・・+0X^n0+0X^(n0+1)+・・・
（シッポの「+0X^n0+0X^(n0+1)+・・・」の部分は、n0次以上の項から係数が0になる意味です。なお、それ以前の係数は0ではない）
つまり、p'=Fp-Fp' で、p'∈R[X] （多項式環）で、n0-1次多項式です
上記の式を変形して、Fpと同じ同値類の任意の元Fp'は
Fp'=Fp-p' と書ける
省12
23(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/04(土)23:47 ID:MNiodNk0(20/21) AAS
>>22
つづき
５）
このシッポの先に残る係数で0にならない部分は、多項式環R[X] からはみ出す部分です
この多項式環R[X] からはみ出す部分があるから、同値類内の任意の形式的冪級数においては、”Fp'=Fp-p' not∈R[X] ”となります
この多項式環R[X] からはみ出すシッポの部分は、任意の同値類内の形式的冪級数Fp'=Fp-p'が、必ず持っているシッポです
この多項式環R[X] からはみ出すシッポの部分は、決して空集合にはなりえない。∵ 空集合なら、Fp∈R[X] で矛盾です
この多項式環R[X] からはみ出すシッポの部分は、常に可算無限長の数列を成します。∵ ∞−(ｎ0-1)＝∞だから。つまり、列の長さで、無限大の長さの数列で先頭の有限ｎ0-1個の数を除いても、必ず∞の長さの列が残るからです。
QED
お分かりかな？
省11
24(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/04(土)23:48 ID:MNiodNk0(21/21) AAS
>>23
つづき
外部ﾘﾝｸ:ja.wikipedia.org
多項式環
(抜粋)
定義
体 K に係数を持つ不定元 X に関する多項式とは
総和の記号 ?
を使えば、同じ多項式は
p=p_mX^m+p_m-1X^m-1+・・・ +p_1X+p_0=Σk=0〜m p_kX^k
省15
25(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/05(日)00:01 ID:dWKXmW0r(1/27) AAS
>>22 タイポ訂正
2つの形式的冪級数の差 Fp-Fp'を作ると、nから先が一致するから
↓
2つの形式的冪級数の差 Fp-Fp'を作ると、n0から先が一致するから
26: 2020/01/05(日)00:51 ID:p9Somwtl(1/22) AAS
バカ丸出しｗ
27(2): 2020/01/05(日)08:37 ID:CpJpHnug(1/11) AAS
>>21-25
長々と解説してるけど…その解説は肝心の
「尻尾の同値類全体に共通する尻尾がある」
の証明にはならないね
証明できるわけない だってウソだからｗ
2chｽﾚ:math
同値類から取り出した有限個の列からは共通の尻尾がとれるが
無限個の列からは共通の尻尾が取り出せない場合がある！
28(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/05(日)08:54 ID:dWKXmW0r(2/27) AAS
Inter-universal geometry と ABC予想 43
2chｽﾚ:math
145 名前：１３２人目の素数さん[sage] 投稿日：2020/01/05(日) 04:07:39.93 ID:FT6IwKRD
おっ、望月更新してるぞ
新一の「心の一票」 - 楽天ブログ 外部ﾘﾝｸ:plaza.rakuten.co.jp
2020.01.05
宇宙際タイヒミューラー理論（IUTeich）の論文を巡る現状報告： 「数学界に出現している悲惨なブラックホールの物語」
だね（＾＾
29(6): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/05(日)09:20 ID:dWKXmW0r(3/27) AAS
>>27
いいんじゃね？
>>21-25で言いたいことは
１．時枝の可算無限数列 は、それを係数とする形式的冪級数として捉えることができる
２．シッポの同値類で、同じ同値類に属する形式的冪級数FpとFp'の差を取って、
多項式 p'=Fp-Fp' で、p'∈R[X] （多項式環）で、n0-1次多項式 ができる
３．Fpを同値類の代表とする
時枝のいう決定番号dは、d=n0です
（参考）
スレ20 2chｽﾚ:math
省19
30(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/05(日)09:22 ID:dWKXmW0r(4/27) AAS
>>29 タイポ訂正
決定番号dの大小比較は、2つの形式的冪級数（代表の級数と問題の級数と）の差の対抗式pの次数n0に直して考えることができ
非常に考え役成るのです
↓
決定番号dの大小比較は、2つの形式的冪級数（代表の級数と問題の級数と）の差の多項式pの次数n0に直して考えることができ
非常に考え易く成るのです
（＾＾；
31(4): 2020/01/05(日)09:31 ID:fZULsj51(1/9) AAS
ヨコです。
時枝さんの定理ってのがあるんですか？
それは正確にはどういう主張ですか？
その主張読めるサイトあります？
証明はいいです。
32: 2020/01/05(日)09:42 ID:CpJpHnug(2/11) AAS
>>29
>いいんじゃね？
何が？どう？
＞私は、一つの同値類には、固有のシッポが存在すると考えています。
それ、間違い、つまり「ウソ」ですけどね
＞同値類内の形式的冪級数たちは、
＞その固有のシッポを共有する証明はしません。
省7
33(1): 2020/01/05(日)09:46 ID:CpJpHnug(3/11) AAS
>>31
その話は別スレッド立ててやってくれる？興味ないから
34(4): 2020/01/05(日)10:03 ID:fZULsj51(2/9) AAS
スレ立てようにも概要も何もわからないからなぁ？
スレ立てるほどの価値ある話かもわからんし。
てか概要も何もわからんのに時枝問題ってなんですか？ってタイトルのスレも立てられないし。
ググっても出ないし。
35(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/05(日)10:08 ID:dWKXmW0r(5/27) AAS
>>29
証明の代わりに、簡単なモデルで考えてみよう
十進無限小数において、時枝と同じく、シッポの同値類を考える
簡単のために、整数部は１桁とする
円周率で、3.14 159・・と続くので
時枝に倣って、小数点を外して
314 1599 26535 ・・を考える
この円周率の同値類の1つ
例えば
425 1599 26535 ・・
省15
36: 2020/01/05(日)10:12 ID:CpJpHnug(4/11) AAS
>>34
じゃ、聞かなかったことにすれば？
図書館で雑誌「数学セミナー」のバックナンバーを閲覧できるなら
2015年11月号の記事「箱入り無数目」（時枝 正）を見てみ
外部ﾘﾝｸ[html]:www.nippyo.co.jp
37(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/05(日)10:15 ID:dWKXmW0r(6/27) AAS
>>34
どうも、スレ主です
下記ご参照
外部ﾘﾝｸ[html]:www.nippyo.co.jp
数学セミナー 2015年11月号
箱入り無数目───────────────時枝 正 36
スレ47 2chｽﾚ:math
(抜粋)
18 自分返信：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2017/11/30(木) 22:05:26.79 ID:IqNIthYM [18/76]
>>11 関連
省10
38: 2020/01/05(日)10:18 ID:w1hpLDIe(1/3) AAS
AA省
39(1): 2020/01/05(日)10:18 ID:CpJpHnug(5/11) AAS
>>35
>>27読んでないでしょ？
まず読め！
２つの列だけ考えても意味ない
同値類全体といってるよね？
１つの同値類には無限個の列がある
その無限個の列全体が共有する尻尾があるか？
答えは「無い」
理由？ここにあるよ
2chｽﾚ:math
省3
40(1): 2020/01/05(日)10:21 ID:WDR2q7oi(1/6) AAS
おっちゃんです。
>>31
他の或る何らかの理論などで「時枝の定理」という「定理」があるかどうかは知らないが、
時枝記事絡みの話で時枝の「定理」というのは聞いたことない。
時枝記事自体にはその発展性などはあっても、時枝記事の話自体に応用は特に何もないであろう。
41(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/05(日)10:27 ID:dWKXmW0r(7/27) AAS
>>35 補足
で、時枝の同値類は
ミニモデルとして
円周率のシッポの同値類を考えて
代表数列：＝円周率より 314 1599 26535 ・・
で、同値類の1つ 例えば、425 1599 26535 ・・なら
４番目から一致しているから
決定番号d=4 とかにするって話
同じように、十進無限小数においては
無理数は、無限小数になるから
省3
42(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/05(日)10:28 ID:dWKXmW0r(8/27) AAS
>>40
おっちゃん、どうも、スレ主です。
レスありがとう
そもそも
時枝記事自体は、定理として認められていない（＾＾；
43(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/05(日)10:45 ID:dWKXmW0r(9/27) AAS
>>29 補足
確率は、昔から数学パラドックスの宝庫なのです（＾＾；
直感で、99/100？？ あぶないですよ〜！ｗｗ（＾＾；
（参考）
外部ﾘﾝｸ:analytics-notty.tech
数学の面白いこと・役に立つことをまとめたサイト
面白い確率のパラドックスをまとめました ? 人間の直感は信じられない！ 2018年3月27日2018年4月10日
目次
1. 確率のパラドックスはたくさんある
4. ベルトランのパラドックス ? いろいろな確率になる数学パラドックス
省14
44(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/05(日)10:56 ID:dWKXmW0r(10/27) AAS
>>39
>違うというなら、共通の尻尾を提示してね
>その場合、開始点となる桁（自然数で位置が示される）がどこか明示してね
>この瞬間、賢い人なら「できない」ってわかるんだけどね
笑えるわ
”開始点となる桁（自然数で位置が示される）”
笑えるわ
おまえの無限の理解度、良く分かったわ
哀れな素人さんと、どっちがどうかだな（＾＾
45(2): 2020/01/05(日)11:09 ID:fZULsj51(3/9) AAS
いっぱいリンク貼ってあるけど肝心要の記事が載ってるリンクがひとつもない。
取り寄せたり図書館行ったりする価値があるとは思えないのでスルーしますww
46: 2020/01/05(日)11:14 ID:CpJpHnug(6/11) AAS
>>44
>笑えるわ
トンデモ◆e.a0E5TtKE 恒例の発●笑いｗ
>”開始点となる桁（自然数で位置が示される）”
R^Nだから、どの項も自然数で位置が示される
そうでない項がある、と思うのはトンデモ
>おまえの無限の理解度、良く分かったわ
>哀れな素人さんと、どっちがどうかだな
省1
47(8): 2020/01/05(日)11:14 ID:fZULsj51(4/9) AAS
なんせ直感的には筋悪な事やってるからな。
わかる範囲内では冪級数環を差が多項式になる同値類で割る。
多項式環は冪級数環の中で部分環ではあってもイデアルじゃないからな。
ちょっと筋悪。
筋悪だから生産的議論が出てこないとまでは言えないけど。
図書館行くまでの価値は無さそう。
48(1): 2020/01/05(日)11:19 ID:CpJpHnug(7/11) AAS
>>45
＞肝心要の記事が載ってるリンクがひとつもない。
実はあるけど◆e.a0E5TtKEの馬鹿が
余計なリンクを張りまくるから見つけにくい
記事抜粋
2chｽﾚ:math
49: 2020/01/05(日)11:21 ID:CpJpHnug(8/11) AAS
>>47
ベキ級数は◆e.a0E5TtKEが勝手に持ち出しただけ
そもそも代数の話ではないし
実は確率論の話でもない
集合論（選択公理）の話
50(4): 2020/01/05(日)11:23 ID:n1YRC2Dd(1/7) AAS
以下は過去ログからの引用。
１．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」
51(1): 2020/01/05(日)11:24 ID:n1YRC2Dd(2/7) AAS
２．続けて時枝はいう
私たちのやろうとすることは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)と記す.
省7
52(3): 2020/01/05(日)11:24 ID:n1YRC2Dd(3/7) AAS
３．
問題に戻り，閉じた箱を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列の箱たちはまだ閉じたままにしておく.
開けた箱に入った実数を見て，代表の袋をさぐり， s^1〜s^(k-l),s^(k+l)〜s^100の決定番号のうちの最大値Dを書き下す.
省9
53(2): 2020/01/05(日)11:24 ID:n1YRC2Dd(4/7) AAS
さらに、数学セミナー201511月号P37 時枝記事に、次の一文がある
「R^N/〜 の代表系を選んだ箇所で選択公理を使っている.
その結果R^N →R^N/〜 の切断は非可測になる.
ここは有名なヴィタリのルベーグ非可測集合の例(Q/Zを「差が有理数」で類別した代表系， 1905年)にそっくりである.」
さらに、過去スレでは引用しなかったが、続いて下記も引用する
「逆に非可測な集合をこさえるには選択公理が要る(ソロヴェイ， 1970年)から，この戦略はふしぎどころか標準的とさえいえるかもしれない.
しかし，選択公理や非可測集合を経由したからお手つき， と片付けるのは，面白くないように思う.
現代数学の形式内では確率は測度論によって解釈されるゆえ，測度論は確率の基礎， と数学者は信じがちだ.
だが，測度論的解釈がカノニカル， という証拠はないのだし，そもそも形式すなわち基礎， というのも早計だろう.
確率は数学を越えて広がる生き物なのである(数学に飼いならされた部分が最も御しやすいけれど).」
省1
54(1): 2020/01/05(日)11:25 ID:n1YRC2Dd(5/7) AAS
数学セミナー201511月号P37 時枝記事より
「もうちょっと面白いのは，独立性に関する反省だと思う.
確率の中心的対象は，独立な確率変数の無限族
X1，X2，X3，…である.
いったい無限を扱うには，
(1)無限を直接扱う，
(2)有限の極限として間接に扱う，
二つの方針が可能である.
確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ.
(独立とは限らない状況におけるコルモゴロフの拡張定理なども有限性を介する.)
省8
55(1): 2020/01/05(日)11:26 ID:n1YRC2Dd(6/7) AAS
数学セミナー201511月号の記事で、引用していなかった部分を、以下に引用する（＾＾；
”ばかばかしい，当てられる筈があるものか，と感じられるだろう.
何か条件が抜け落ちているのではないか，と疑う読者もあろう.問題を読み直していただきたい.
条件はほんとうに上記のとおり.無限個の実数が与えられ，一個を除いてそれらを見た上で，除いた一個を当てよ，というのだ.
ところがところが--本記事の目的は，確率99%で勝てそうな戦略を供することにある.
この問題はPeter Winkler氏との茶のみ話がてら耳にした.氏は原型をルーマニアあたりから仕入れたらしい.”
(引用終り)
56(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/05(日)11:38 ID:dWKXmW0r(11/27) AAS
>>29-30 つづき
(引用開始)
４．このように考えると
決定番号dの大小比較は、2つの形式的冪級数（代表の級数と問題の級数と）の差の多項式pの次数n0に直して考えることができ
非常に考え易く成るのです
(引用終り)
１．さて、上記を受けて、多項式のミニモデルを考えよう
簡単のために、係数には、十進小数にならって、0〜9の10通りが入るとする
２次の多項式を考える
a0+a1X+a2X~2
省26
57: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/05(日)11:38 ID:dWKXmW0r(12/27) AAS
>>56
つづき
スレ47 2chｽﾚ:math
(抜粋)
何らかの事情によりdが知らされていなくても，あるD>=d についてsD+1， sD+2，sD+3，・・・
が知らされたとするならば，それだけの情報で既に r = r(s)は取り出せ， したがってd= d(s)も決まり，
結局sd (実はsd，sd+1，・・・，sD ごっそり)が決められることに注意しよう.
(引用終り)
以上
58(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/05(日)11:49 ID:dWKXmW0r(13/27) AAS
>>47
ID:fZULsj51さん、どうも。スレ主です。
＞なんせ直感的には筋悪な事やってるからな。
＞わかる範囲内では冪級数環を差が多項式になる同値類で割る。
＞多項式環は冪級数環の中で部分環ではあってもイデアルじゃないからな。
まあ、そういう視点もあるかも
（>>51より）
私たちのやろうとすることはQのコーシー列の集合を同値関係で類別してRを構成するやりかた(の冒頭)に似ている.
但しもっときびしい同値関係を使う.
実数列の集合 R^Nを考える.
省20
59(1): 2020/01/05(日)11:58 ID:p9Somwtl(2/22) AAS
>同値類から取り出した有限個の列からは共通の尻尾がとれるが
>無限個の列からは共通の尻尾が取り出せない場合がある！
同値類に属す全ての列からは確実に取り出せない
すなわちトンデモが言う共通のしっぽなど存在しない。同値類が分かってないトンデモの妄想に過ぎないｗ
60(1): 2020/01/05(日)12:04 ID:CpJpHnug(9/11) AAS
>>59
どういう場合に取り出せないか、は以下に示してます
2chｽﾚ:math
要するに
0
0.1
0.11
0.111
…
の無限個の要素からは共通の尻尾はとれない
61: 2020/01/05(日)12:06 ID:CpJpHnug(10/11) AAS
>>58
誤 多項式環と冪級数環のモデル
正 有限列と無限列
馬鹿は無意味に無駄なことを付け加えたがる
頭の悪い証拠
62: 2020/01/05(日)12:08 ID:p9Somwtl(3/22) AAS
>>29
>４．このように考えると
> 決定番号dの大小比較は、2つの形式的冪級数（代表の級数と問題の級数と）の差の対抗式pの次数n0に直して考えることができ
> 非常に考え役成るのです
ナンセンスｗ
>５．私は、一つの同値類には、固有のシッポが存在すると考えています。同値類内の形式的冪級数たちは、その固有のシッポを共有する
妄想ｗ
> 証明はしません。時枝では得に使いませんから。証明など、横道にそれるだけ
しないんじゃなくできないｗ 存在しないからｗ
63: 2020/01/05(日)12:11 ID:p9Somwtl(4/22) AAS
形式的冪級数を持ち出すことで新しいことが言えるなら意味がある
バカのは無意味ｗ
64(1): 2020/01/05(日)12:11 ID:n1YRC2Dd(7/7) AAS
あと、これも過去ログから。
「時枝記事」と同じ"パズル"を扱っている。
Sergiu Hart氏のPDF 外部ﾘﾝｸ[pdf]:www.ma.huji.ac.il
65(1): 2020/01/05(日)12:14 ID:CpJpHnug(11/11) AAS
>>55
>この問題はPeter Winkler氏との茶のみ話がてら耳にした.
>氏は原型をルーマニアあたりから仕入れたらしい.
実際は、ルーマニアではなく
Sergiu Hart（ルーマニア生まれのユダヤ人）
から聞いたと思われる
で、Sergiu Hartは、Benjamin Weiss（アメリカ生まれのユダヤ人）から
この話を聞いた、と書いている
外部ﾘﾝｸ[pdf]:www.ma.huji.ac.il
66: 2020/01/05(日)12:18 ID:p9Somwtl(5/22) AAS
>>35
バカ丸出しｗ
おまえは自分の言いたいことだけ言うんじゃなく人の話を聞け
聞くことができないから長年バカのままなんだと自覚しろ
67: 2020/01/05(日)12:25 ID:p9Somwtl(6/22) AAS
>>41
バカ丸出し
πの同値類に”共通のしっぽ”があるなら小数第何位からが”共通のしっぽ”なのか答えてね
無理だけどｗ
68: 2020/01/05(日)12:26 ID:p9Somwtl(7/22) AAS
>>42
バカ丸出し
おまえが証明を理解できないだけｗ
69: 2020/01/05(日)12:28 ID:p9Somwtl(8/22) AAS
>>43
バカ丸出し
>直感で、99/100？？ あぶないですよ〜！ｗｗ（＾＾；
直感はおまえｗ 時枝証明は直観ではないｗ
70(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/05(日)12:29 ID:dWKXmW0r(14/27) AAS
>>56 補足
(引用開始)
８．そういうものに対して、n1とn2との大小の確率を考えるのは
パラドックスにおちいり易いということだ
９．例えば、n1とある有限の定数D（*)注） との大小関係を考えると
時枝には、ｎに上限がないので、
n1＞D の場合の確率1
n1<=D の場合の確率0
となる
（勿論、確率0はその事象が全く起こらないということではなく、頻度が極めて小さいということ）
省17
71: 2020/01/05(日)12:29 ID:p9Somwtl(9/22) AAS
>>44
>笑えるわ
笑って誤魔化すトンデモ野郎ｗ 結局答えられないじゃんｗ あるんでしょ？共通のしっぽがｗ
72: 2020/01/05(日)12:33 ID:RQUf3z2L(1/4) AAS
AA省
73: 2020/01/05(日)12:34 ID:RQUf3z2L(2/4) AAS
AA省
74(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/05(日)12:38 ID:dWKXmW0r(15/27) AAS
>>47
＞筋悪だから生産的議論が出てこないとまでは言えないけど。
＞図書館行くまでの価値は無さそう。
生産的議論は出てない
しかし、高名な時枝正先生がなにを書いたか
大学の図書館とか、数学系の雑誌が整備されているところ行く機会があったら
ちょっと目を通しておくのも意味があると思うよ
75(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/05(日)12:43 ID:dWKXmW0r(16/27) AAS
AA省
76: 2020/01/05(日)12:44 ID:p9Somwtl(10/22) AAS
トンデモは同値類、選択公理、さらには自然数、さらには有限と無限の違いを理解していない
時枝記事を読む最低レベルに遥か達していない
それだけのこと
77: 2020/01/05(日)12:49 ID:p9Somwtl(11/22) AAS
>>47
＞筋悪だから生産的議論が出てこないとまでは言えないけど。
＞図書館行くまでの価値は無さそう。
時枝定理は数学パズルだよ。
それ自体パズル的な面白さはある、が、理論に発展するものではない。
悪筋というのはトンデモが勝手に持ち出した形式的冪級数であって、時枝定理とは何ら関係無いｗ
78(1): 2020/01/05(日)12:53 ID:fZULsj51(5/9) AAS
>>74
そのうち機会があったらみてみます。
5chの過去ログ倉庫にはあるみたいだけど今手元の5chのブラウザだとプレミア会員になれやゴラで止まってしまうから読めない。
生産的議論が続かないならそのうち機会があればあればでいいや。
79: 2020/01/05(日)12:58 ID:p9Somwtl(12/22) AAS
>>78
レス番号50〜55が時枝記事ですよ
80: 2020/01/05(日)13:04 ID:RQUf3z2L(3/4) AAS
AA省
81: 2020/01/05(日)13:04 ID:RQUf3z2L(4/4) AAS
AA省
82: 2020/01/05(日)13:16 ID:fZULsj51(6/9) AAS
上の方のレスで記事の内容は全部分かった。
なるほど面白いねぇ！
考えてみよ。
83(2): 2020/01/05(日)13:21 ID:fZULsj51(7/9) AAS
でもコレそもそも論として
いくらでも1に近い確率で当てる方法があるよ
ではなくて
この話のどこがおかしいのか考えてみましょう
じゃないの？
84(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/05(日)13:27 ID:dWKXmW0r(17/27) AAS
>>42 補足
>そもそも
>時枝記事自体は、定理として認められていない（＾＾；
正規のレフェリーの居る数学雑誌には、掲載されたもの皆無
おそらく、時枝記事（数学セミナー）を引用する論文も皆無
生産的議論は出てない
それが事実
85(2): 2020/01/05(日)13:31 ID:WDR2q7oi(2/6) AAS
>>83
時枝記事の「実数列」を一様連続関数などに置き換えて考えてみるような価値はある。
86(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/05(日)13:34 ID:dWKXmW0r(18/27) AAS
>>83
ID:fZULsj51さん、どうも。スレ主です。
(引用開始)
でもコレそもそも論として
いくらでも1に近い確率で当てる方法があるよ
ではなくて
この話のどこがおかしいのか考えてみましょう
じゃないの？
(引用終り)
同意です
省12
87(1): 2020/01/05(日)13:36 ID:p9Somwtl(13/22) AAS
>>84
時枝定理は学部生でも理解できる
そんな大げさな話ではない
間違いだと思うなら証明の間違いを具体的に指摘すればいいだけ
おまえできてないじゃん
88(1): 2020/01/05(日)13:37 ID:p9Somwtl(14/22) AAS
>>85
またまた適当なことをｗ
困ったおやじだｗ
89: 2020/01/05(日)13:40 ID:p9Somwtl(15/22) AAS
>>86
>で、URLにpuzzleとあるように、遊び心満載のまっとうな数学ではないのです
数学パズルを全否定するバカｗ
まっとうじゃないと言うなら証明の誤りを具体的に指摘して下さいね おバカさんｗ
90(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/05(日)13:42 ID:dWKXmW0r(19/27) AAS
>>85
>時枝記事の「実数列」を一様連続関数などに置き換えて考えてみるような価値はある。
同意です
シッポの同値類に近い概念が使われている例として、調べたのが
下記の 連続関数の層とか、正則関数のなす層とか
”点x におけるこの層の芽とはxのまわりでの関数の局所的な振る舞いを表していると考えることができる。 同様に、複素多様体に対しその上の正則関数のなす層を考えることができる。”（下記より）
ある点x の局所の振る舞いを決めているのが、層の芽でシッポの部分みたいな話だと
（参考）
外部ﾘﾝｸ:ja.wikipedia.org
層 (数学)
省6
91: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/05(日)13:43 ID:dWKXmW0r(20/27) AAS
>>90
関数論としては、使えても
確率論の確率計算としては、使えないｗ（＾＾
92(1): 2020/01/05(日)13:45 ID:WDR2q7oi(3/6) AAS
>>88
時枝記事では実数列バージョンだったところを他のバージョンで置き換えて
考えながら読んでみるようなことも読み方の1つ。
93(2): 2020/01/05(日)13:46 ID:fZULsj51(8/9) AAS
まぁどこに罠があるかは分かった。
なるほどねぇ。
確率論の演習としては中々面白いねぇ。
ちょっとしたミニトラップもあるしね。
94: 2020/01/05(日)15:39 ID:w1hpLDIe(2/3) AAS
AA省
95: 2020/01/05(日)15:41 ID:w1hpLDIe(3/3) AAS
AA省
96(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/05(日)15:55 ID:dWKXmW0r(21/27) AAS
>>87
>間違いだと思うなら証明の間違いを具体的に指摘すればいいだけ
１．確率計算をするのに、確率空間を定義せずに、99/100を導いているところが、誤魔化しだ
２．それは、スレ20で、私が確率論の専門家さんと呼ぶ ID:f9oaWn8Aが指摘していたことだが（下記）
３．時枝氏自身も、>>53のように「結果R^N →R^N/〜 の切断は非可測になる.」と書いている
もし、確率空間をきちんと書けば、確率計算の過程のどこが”非可測”が明確になる
しかし、それを誤魔化している
４．補足で、テンプレ>>3ご参照。 当時、High level people と呼ぶ人たちが
”「俺は測度論的確率論で正当化できて、パラドクスも説明できる」と言い出して、二人で、スレ28で議論した”
確率変数の定義も無理解で、”変数”と勘違いして”固定”なるトンデモを思いついたらしい
省15
97: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/05(日)16:00 ID:dWKXmW0r(22/27) AAS
>>92-93
同意です
>まぁどこに罠があるかは分かった。
>なるほどねぇ。
レベル高いね
お分かり頂ければ、幸甚です（＾＾；
98: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/05(日)16:02 ID:dWKXmW0r(23/27) AAS
>>96 リンク訂正
スレ20 2chｽﾚ:math
↓
スレ20 2chｽﾚ:math
99(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/05(日)16:29 ID:dWKXmW0r(24/27) AAS
>>75
＞まあ、今年の４回のワークショップで決着させてほしいですね
＞関係者も、決着に向けて、努力すべき
４回のワークショップのどこかで
SSの3.12の議論について
皆で検討して、その討議記録と結論を公開してほしいね
うまく決着させてほしい
IUTで、ABCとか、Szpiro Conjectureとか出るのか出ないのか？
いい加減決着させないと
別の方法で、取り組んでいる（取り組もうとしている）人達にとっても、
省17
100(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/05(日)16:41 ID:dWKXmW0r(25/27) AAS
>>90
追加ご参考
（芽・茎と、同値類）
外部ﾘﾝｸ:ja.wikipedia.org
芽 (数学)
(抜粋)
名前は層 (sheaf) のメタファーの続きで cereal germ に由来している。穀物にとってそうであるように芽は（局所的に）関数の「心臓 (heart)」であるからだ。
正式な定義
基本的な定義
x で同じ芽を定義することが（写像や集合の上で）同値関係であることを確かめることは直截であり、その同値類を芽（それぞれ写像の芽あるいは集合の芽）と呼ぶ。同値関係は通常
省11
101: 2020/01/05(日)16:41 ID:WDR2q7oi(4/6) AAS
それじゃ、おっちゃんもう寝る。
102(1): 2020/01/05(日)16:53 ID:WDR2q7oi(5/6) AAS
>>90
>>100
そうそう、確率の話だから最初はｎ次元 Euclid とかで実解析的に考えるモンだ。
いきなり複素平面Cやn次元複素数空間 C^n とかで考えても意味ない。
それじゃ、おっちゃんもう寝る。
103: 2020/01/05(日)16:59 ID:WDR2q7oi(6/6) AAS
>>90
>>100
>102の訂正：
ｎ次元 Euclid → ｎ次元 Euclid 空間 R^n
じゃ、寝る。
104(6): 2020/01/05(日)17:11 ID:fZULsj51(9/9) AAS
まず確率の問題なのだから測度空間を設定しなければならないのはその通り。
ではこの問題が測度空間が設定し得ない確率の問題として捉え得ないのかというとそうではない。
まず各箱に入れる実数の分布は問題に明示されてない。
しかしされてない事がこの問題のKeyと言ってしまいそうなのが罠。
もしこの問題のおかしいところを自宅課題として出して出てきたレポートにそう書いてあったら、担当講師は
「じゃあ、この問題に各実数の分布が(0,1)の一様分布とか確率1/2で0,1のベルヌーイ分布って指示されてたらこの議論は成立する事になるのか？確率99%で当てられるのか？」
と聞いてくる。
もちろんそんな事はない。
なのでこの問題で具体的な分布が指定されてない事は目眩しの罠でしかない。
ホントに指摘すべきことは有限個の事象では成立しているある公式が事象の数が無限個になると使える場合と使えない場合があると言うお話。
省2
105(1): 2020/01/05(日)17:40 ID:p9Somwtl(16/22) AAS
>>96
>１．確率計算をするのに、確率空間を定義せずに、99/100を導いているところが、誤魔化しだ
決定番号は自然数だから、100列の決定番号のうち単独最大のものはたかだか1つ。
100列のいずれかをランダムに選んだとき、単独最大の決定番号の列でなければ数当て成功、ゆえに勝率は99/100以上。
たったこれだけのことが未だに分からないバカｗ
確率空間など書く必要も無いが、敢えて書けば (Ω={1,2,...,100}, F=2^Ω, P(f∈F)=|f|/100)
106(1): 2020/01/05(日)17:56 ID:p9Somwtl(17/22) AAS
>>104
出題者が無限個の箱の中身を決定し、回答者が任意の一つの箱の中身を言い当てるゲーム
回答者へ出題された時点でどの箱の中身も確率１で定まっている（単に回答者には見えないだけ）。
回答者へ出題された後に箱の中身が確率変動することはないので、箱の中身を確率変数とする必要は無い。
（してもよいが「勝つ戦略はあるか？」という問いに対して無意味な戦略）
107: 2020/01/05(日)18:02 ID:p9Somwtl(18/22) AAS
>>105補足
たったこれだけと言っても、同値類、選択公理が分からなければ分からないｗ
さらにバカは数列も自然数も有限と無限の違いも分かってないので問題外ｗ
108(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/05(日)20:27 ID:dWKXmW0r(26/27) AAS
>>104
どうも。スレ主です。
レスありがとう
>なのでこの問題で具体的な分布が指定されてない事は目眩しの罠でしかない。
>ホントに指摘すべきことは有限個の事象では成立しているある公式が事象の数が無限個になると使える場合と使えない場合があると言うお話。
>ちゃんと確率論の勉強した事ある人間ならあーあーあの話ね、なるほどと絶対わかるお話。
貴方はレベル高そう
多分私よりも
”あーあーあの話”というのは、一様分布の区間が、有限と無限とで異なるって話かな？
非正則な分布の話は、過去スレにもあるが
省25
109(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/05(日)20:44 ID:dWKXmW0r(27/27) AAS
>>104
貴方のために、下記のDr Pruss氏 を
2chｽﾚ:math
ガロアスレ 74
68 ◆e.a0E5TtKE 2019/08/03
>>65
＞Pruss氏の指摘（2013）とほぼ同じことを指摘している（下記）
スレ73 2chｽﾚ:math
(引用開始)
479 返信：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2019/07/23(火)
省21
110: 2020/01/05(日)20:51 ID:p9Somwtl(19/22) AAS
>>108
>貴方はレベル高そう
>多分私よりも
見苦しいな
時枝不成立派とみるや途端におべっかｗ
まあそう慌てなさんな、最初は誰しも不成立に見える問題だから（そこが数学パズルたる所以）
>”あーあーあの話”というのは、一様分布の区間が、有限と無限とで異なるって話かな？
>非正則な分布の話は、過去スレにもあるが
バカだねえ〜
箱の中身の分布は指定されていないと彼は言ってるんだよｗ
省4
111: 2020/01/05(日)20:55 ID:p9Somwtl(20/22) AAS
>>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の専門は哲学ですからｗ
112: 2020/01/05(日)21:02 ID:p9Somwtl(21/22) AAS
高卒（工業高校）に数学や英語を求めても無駄かｗ
とっとと数学板から失せろバカｗ
113(1): 2020/01/05(日)23:46 ID:p9Somwtl(22/22) AAS
>>109
Prussの
>random choice of sequence
は明らかに誤り。
なぜなら時枝ゲームのルールでは数列（無限個の箱の中身）の決め方は出題者の任意であり、ランダムではない。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる. どんな実数を入れるかはまったく自由」
Prussはこの時点で間違っているので、その後の確率測度の非可測性にもとづく主張はまったく無意味。
そして最終的に
>we win with probability at least (n-1)/n. That's right.
と認めた。
省1
114(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/06(月)07:16 ID:t3ENnC2G(1/7) AAS
>>109
貴方のために、下記追加
１）時枝記事の起源
>>86 Hart氏 PDF 外部ﾘﾝｸ[pdf]:www.ma.huji.ac.il
スレ45 2chｽﾚ:math
(抜粋)
この”ルーマニアあたり”は、地名とよむのが、普通だろうね
で、Sergiu Hartはユダヤ人だがルーマニア生まれなので、ソースは同じかもね
因みに 外部ﾘﾝｸ[html]:www.ma.huji.ac.il Sergiu Hart Choice Games より PDFには
”1Source unknown. I heard it from Benjy Weiss, who heard it
省11
115(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/06(月)07:17 ID:t3ENnC2G(2/7) AAS
>>114
つづき
２）Generalized Hat Problems との関連
スレ45 2chｽﾚ:math
(抜粋)
ピエロくんの紹介
外部ﾘﾝｸ[pdf]:pdfs.semanticscholar.org
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
省16
116(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/06(月)07:30 ID:t3ENnC2G(3/7) AAS
>>113
(引用開始)
Prussの
>random choice of sequence
は明らかに誤り。
なぜなら時枝ゲームのルールでは数列（無限個の箱の中身）の決め方は出題者の任意であり、ランダムではない。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる. どんな実数を入れるかはまったく自由」
Prussはこの時点で間違っているので、その後の確率測度の非可測性にもとづく主張はまったく無意味。
(引用終り)
おまえ、以前東大数学科卒なんて、謀っていたがｗ（＾＾；
省8
117(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/06(月)07:38 ID:t3ENnC2G(4/7) AAS
>>99 追加
abc conjecture、下記みたいに書かれている
関係者の方、ワークショップで決着、よろしく（＾＾；
外部ﾘﾝｸ: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.
118: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/06(月)07:44 ID:t3ENnC2G(5/7) AAS
勢い 1位 （＾＾ （どうってこともないですがｗ（＾＾； ）
外部ﾘﾝｸ[html]: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
省4
119: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/06(月)07:51 ID:t3ENnC2G(6/7) AAS
>>117
＞but none have been accepted by the mainstream mathematical community
おまえら、the mainstream mathematical community じゃないんだ
RIMS
こっちにも、怒って下さい！ ゴラ〜ァ！ｗ (゜ロ゜;
120(1): 2020/01/06(月)09:06 ID:V+C4ilW6(1/3) AAS
>>116
うわああああ バカ丸出し
分布を仮定したら当たり易くなるだろｗ
何の仮定も無いのが一番当たりにくいんだよｗ
ホントバカｗ
上下前次1-新書関写板覧索設栞歴
あと 882 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.405s*