19/06/13 06:28:10.44 tNmlg93R.net
この伝統あるガロアすれは、皆さまのご尽力で、
過去、数学板での勢いランキングで、常に上位です。
このスレは、現代数学のもとになった物理・工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします。
それで宜しければ、どうぞ。
後でも触れますが、基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳ですな～（＾＾
最近、AIと数学の関係が気になって、その関係の記事を集めています～（＾＾
いま、大学数学科卒でコンピュータサイエンスもできる人が、求められていると思うんですよね。
スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。関連のアーカイブの役も期待して。
話題は、散らしながらです。時枝記事は、気が向いたら、たまに触れますが、それは私スレ主の気ままです。
スレ46から始まった、病的関数のリプシッツ連続の話は、なかなか面白かったです。
興味のある方は、過去ログを（＾＾
なお、
小学レベルとバカプロ固定
サイコパスのピエロ（不遇な「一石」URLﾘﾝｸ(textream.yahoo.co.jp) 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets （Yahoo!でのあだ名が、「一石」）
（参考）URLﾘﾝｸ(blog.goo.ne.jp) サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
（なお、サイコの発言集「実際に人を真っ二つに斬れたら 爽快極まりないだろう」、「狂犬」、「イヌコロ」、「君子豹変」については後述（＾＾； ）
High level people
低脳幼稚園児のAAお絵かき
上記は、お断り！！
小学生がいますので、18金（禁）よろしくね！（＾＾
（旧スレが1000オーバー（又は間近）で、新スレを立てた）
2:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 06:29:55.81 tNmlg93R.net
（このスレの常連カキコさん説明）
1)
粘着の一人は、キチガイサイコパス（別名ピエロ >>1)、
どこかの（某大学） 数学科卒 修士課程修了らしい
東京大学とか、すぐわかる明白なウソをいうやつだ
ロジックの破たんした見え見え、デタラメの屁理屈をこねる
それじゃ、数学は落ちこぼれで当たり前だ
こいつの発言は、全く信用できないので、基本スルーだ
（参考）
URLﾘﾝｸ(blog.goo.ne.jp)
サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む グレーより薔薇色 2007年04月06日
スレ32 ｽﾚﾘﾝｸ(math板:351番)
(抜粋)
私？某大学の数学科卒 修士課程修了ですが何か？
ま、この程度でHigh Level Personなんていうほど自惚れちゃいませんよ
やっぱ博士号くらいとらないと数学の世界では人間とは認められませんから
(引用終り)
2)
あと、特徴的なのが、High level peopleと名付けた人が二人。これもスルーだ
スレ28 ｽﾚﾘﾝｸ(math板) (High level people が自分達で勝手に立てた時枝問題を論じるスレ)
High level peopleの一人が、時枝記事（数学セミナー2015年11月号の記事『箱入り無数目』）を紹介してくれたなのだが（下記見るとこの人が、スレ28を立てたみたい。この人は、昔Tさんと私が呼んでいた人だと思う）
High level peopleのもう一人が、「俺は測度論的確率論で正当化できて、パラドクスも説明できる」と言い出して、二人で、スレ28で議論した
が、「非可測集合Sに対し、(Sの内測度)＜(Sの外測度) の条件下でSを扱いつつ確率を考える」などと迷走
確率変数の定義（>>517）も無理解で、”変数”と勘違いして”固定”なるトンデモを思いついたらしい
3)
あと、”High level people”を言い出した、英語おじさん（このスレで英語でのみカキコした人）がいたんだ
この人が、”High level people”を連発したので、借用させてもらったのだ（＾＾
つづく
3:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 06:31:51.14 tNmlg93R.net
つづき
4)
あと、”これは酷い”おじさん。これしか言わない、一言居士。英語おじさんと同一かも
さらに、キチガイサイコパスと同じ趣旨を書くのが一人いる。サイコパスピエロに、チョウチンをつけることが多い。サイコパスの成りすましの可能性もありかも
5)最近、時枝記事不成立派の人数人と、キチガイサイコパス取締りパトロール隊の方がいる（＾＾
6) 哀れな素人さん：古代ギリシャ哲学を語る人
7)例の問題（下記）提出をした方：時枝解法不成立の観点から、例の問題提出をした方。この人、ちょっとレベルが高そう（＾＾
スレ64 ｽﾚﾘﾝｸ(math板:211番)
8)おっちゃん（別格）
自称、某R大卒。関数論に詳しい。「オイラーの定数γが有理数であることの証明を得た！！」という（＾＾
まあ、常連カキコは、全員数学の非専門家でしょう（プロ（職業）ではない人）
∵数学のプロが、こんなところに“粘着”するわけがない（＾＾
常連カキコさんは、こんなところだ
まあ、解説が漏れていたら、ご容赦
以上、このスレのROMさんたちのための、常連カキコさんとおっちゃん（別格）の解説でした（＾＾；
4:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 06:32:14.04 tNmlg93R.net
＜過去スレ＞
（そのままクリックで過去ログが読める。また、ネット検索でも過去ログ結構読めます）
（数学セミナー時枝記事は、過去スレ39 で終わりました。
39は、別名「数学セミナー時枝記事の墓」と名付けます。
High level people は自分達で勝手に立てたスレ28へどうぞ！sage進行推奨（＾＾；
また、スレ43は、私が立てたスレではないので、私は行きません。そこでは、私はスレ主では無くなりますからね。このスレに不満な人は、そちらへ。 ｽﾚﾘﾝｸ(math板)
“時枝記事成立”を支持する立場からのカキコや質問は、基本はスルーします。それはコピペで流します。気が向いたら、忘れたころに取り上げます。）
（が、最近関数論の芽茎層の理論との親和性に気付いたので、後でテンプレに入れます。（＾＾ ）
過去スレリンク集
67 ｽﾚﾘﾝｸ(math板)
66 ｽﾚﾘﾝｸ(math板)
65 ｽﾚﾘﾝｸ(math板)
64 ｽﾚﾘﾝｸ(math板) 868-869 時枝記事否定派のAlexander Pruss先生が、意外に大物で数学のプロであること判明。勝負あり～！（＾＾
63 ｽﾚﾘﾝｸ(math板)
62 ｽﾚﾘﾝｸ(math板)
61 ｽﾚﾘﾝｸ(math板)
60 ｽﾚﾘﾝｸ(math板)
59 ｽﾚﾘﾝｸ(math板)
58 ｽﾚﾘﾝｸ(math板)
57 ｽﾚﾘﾝｸ(math板)
56 ｽﾚﾘﾝｸ(math板)
55 ｽﾚﾘﾝｸ(math板)
54 ｽﾚﾘﾝｸ(math板)
53 ｽﾚﾘﾝｸ(math板)
52 ｽﾚﾘﾝｸ(math板)
51 ｽﾚﾘﾝｸ(math板)
50 ｽﾚﾘﾝｸ(math板)
以下次へ
5:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 06:32:30.07 tNmlg93R.net
49 ｽﾚﾘﾝｸ(math板)
48 ｽﾚﾘﾝｸ(math板)
47 ｽﾚﾘﾝｸ(math板)
46 ｽﾚﾘﾝｸ(math板) ＜スレ46の422に書いた定理“系1.8 有理数の点で不連続, 無理数の点で微分可能となるf : R → R は存在しない”＞
45 ｽﾚﾘﾝｸ(math板) 哀れな素人さん 79-92
44 ｽﾚﾘﾝｸ(math板)
43 ｽﾚﾘﾝｸ(math板) （だれかが立ててスレ。私は行きません。このスレに不満な人は、そちらへ）
42 ｽﾚﾘﾝｸ(math板)
41 ｽﾚﾘﾝｸ(math板)
40 ｽﾚﾘﾝｸ(math板)
（40以降現代数学の系譜 工学物理雑談 古典ガロア理論も読む)
（39以前 現代数学の系譜 古典ガロア理論を読む)
39 ｽﾚﾘﾝｸ(math板) （別名 数学セミナー時枝記事の墓）
38 ｽﾚﾘﾝｸ(math板)
37 ｽﾚﾘﾝｸ(math板)
36 ｽﾚﾘﾝｸ(math板)
35 ｽﾚﾘﾝｸ(math板)
(35以降 現代数学の系譜 古典ガロア理論を読む)
(34以前 現代数学の系譜11 ガロア理論を読む)
34 ｽﾚﾘﾝｸ(math板)
33 ｽﾚﾘﾝｸ(math板)
32 ｽﾚﾘﾝｸ(math板) (251 サイコパスのピエロ登場 ID:1maZ/hoI )
31 ｽﾚﾘﾝｸ(math板)
30 ｽﾚﾘﾝｸ(math板)
以下次へ
6:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 06:32:47.01 tNmlg93R.net
29 ｽﾚﾘﾝｸ(math板)
28 ｽﾚﾘﾝｸ(math板) (High level people が自分達で勝手に立てた時枝問題を論じるスレ)
27 ｽﾚﾘﾝｸ(math板)
26 ｽﾚﾘﾝｸ(math板)
25 ｽﾚﾘﾝｸ(math板)
24 ｽﾚﾘﾝｸ(math板)
23 ｽﾚﾘﾝｸ(math板)
22 ｽﾚﾘﾝｸ(math板)
21 ｽﾚﾘﾝｸ(math板)
20 ｽﾚﾘﾝｸ(math板) （512 2016/07/03 確率論の専門家さん来訪 ID:f9oaWn8A と ID:1JE/S25W ）
19 ｽﾚﾘﾝｸ(math板)
18 ｽﾚﾘﾝｸ(math板)
17 ｽﾚﾘﾝｸ(math板) （314 2015/12/20 数学セミナー2015年11月号の記事『箱入り無数目』の最初）
16 ｽﾚﾘﾝｸ(math板)
15 ｽﾚﾘﾝｸ(math板)
14 ｽﾚﾘﾝｸ(math板)
13 ｽﾚﾘﾝｸ(math板)
12 ｽﾚﾘﾝｸ(math板)
11 ｽﾚﾘﾝｸ(math板)
10 ｽﾚﾘﾝｸ(math板)
9 ｽﾚﾘﾝｸ(math板)
8 ｽﾚﾘﾝｸ(math板)
7 ｽﾚﾘﾝｸ(math板)
6 ｽﾚﾘﾝｸ(math板)
5 ｽﾚﾘﾝｸ(math板)
4 ｽﾚﾘﾝｸ(math板) スレタイに4が抜けてますが(4)です
3 ｽﾚﾘﾝｸ(math板)
2 ｽﾚﾘﾝｸ(math板)
1 ｽﾚﾘﾝｸ(math板)
以上
7:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 06:33:35.78 tNmlg93R.net
以下、暫くテンプレ貼りを続けます。
（参考）
URLﾘﾝｸ(mathmathmath.dotera.net)
数学＠2ch掲示板用 掲示板での数学記号の書き方例と一般的な記号
URLﾘﾝｸ(www.dslender.com)
DS数学BBSへ 練習用BBSへ
【掲示板での数学記号の書き方例（2chのものを若干変更）】
追加（良く使うが出しにくい記号）
＼ ⇒⇔∈∋⊂⊃∀∃ （アレフ＝これ文字化けするね。あと<=、=> ）買ﾐΠπζ∴∵≠
8:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 06:34:21.09 tNmlg93R.net
趣味の定期巡回5chスレ （＾＾；
余談ですが、望月新一先生持ちこたえているみたい。つまり、IUTTは正しい可能性大だと思う（＾＾
（完全にヤジウマですが、望月新一先生を、応援しています。）
Inter-universal geometry と ABC予想 39 ｽﾚﾘﾝｸ(math板)
関連： 望月新一（数理研） URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
新一の「心の一票」 - 楽天ブログ URLﾘﾝｸ(plaza.rakuten.co.jp)
math jin：（IUTT情報サイト） URLﾘﾝｸ(twitter.com)
下記、加藤 文元先生の本、よかったｗ（＾＾
これ、英訳して出版するのが良いと思うね
「整数環Zの積と和を分解する？」
なんとまあ破天荒なことを考えるね
それって、普通理解されないよね（＾＾
（URLアマゾン）
宇宙と宇宙をつなぐ数学 IUT理論の衝撃 単行本 ? 2019/4/25
加藤 文元 (著)
本書では、理論のエッセンスを一般の読者に向けてわかりやすく紹介。その斬新さと独創性を体感できる。
理論の提唱者である望月新一教授の特別寄稿も収録!
レビュー
a-kubota
5つ星のうち4.0望月レクチャーノートとつきあわせて読むと理解が深まる
2019年4月30日
(専門性を言うと、私のこのレビューでは粗雑もいいところなのですが、精密にすると多くの人に読んでもらうレビューからはかけはなれていくので、このような解像度にしました。
足し算や掛け算とそれらのルールが分かる人や、より進んで代数学を少し深くかじってみたことのある人を想定しています)
ABC予想を証明したという望月新一本人が、ABC予想のための道具として使える、彼の打ち立てた宇宙際タイヒミュラー理論(IUT理論)の概要について語っているレクチャーノートの電子文書が公開されています。
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(lecture%20note%20ban).pdf
これを一読して、「聞いたことのない概念がどんどん出てくる」と気が滅入っていくと思いますが、この本はそれらの概念を比較的分かりやすく説明してくれる、またその意図するところも分かってくる、貴重な本です。
URLﾘﾝｸ(twitter.com) (5ch newer account)
つづく
(deleted an unsolicited ad)
9:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 06:34:54.48 tNmlg93R.net
つづき
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
星裕一の論文
(抜粋)
宇宙際 Teichmuller 理論入門 PDF (November 2015) URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
続・宇宙際 Teichmuller 理論入門 PDF (April 2016) URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
(引用終り)
URLﾘﾝｸ(ja.yourpedia.org)
宇宙際タイヒミュラー理論 Yourpedia
(抜粋)
グロタンディーク宇宙
集合論は無限の階層を持つ。
公理から論理的演繹のみであらゆる数学を展開できるとされる公理的集合論ZFCのモデルとなる集合は、宇宙などと称されることが多い。
圏の一般理論はZFCだけでは展開できないが、ZFCに新たに別の公理を加えたZFCGにおいては展開できるようになる。
このモデルとなるのがグロタンディーク宇宙である。
(引用終り)
URLﾘﾝｸ(en.wikipedia.org)
Inter-universal Teichmuller theory (abbreviated as IUT)
(抜粋)
Contents
1 History
2 Mathematical significance
2.1 Scope of the theory
2.2 Consequences in number theory
3 References
4 External links
(引用終り)
関連（TARO-NISHINOの日記）
URLﾘﾝｸ(taro-nishino.blogspot.com)
10:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 06:35:46.84 tNmlg93R.net
大学新入生もいると思うが、間違っても５ＣＨ（旧２ＣＨ）で数学の勉強なんて思わないことだ
このスレは、半分趣味と遊びのスレと思ってくれ（＾＾；
もう半分は、ここはおれのメモ帳だ （ここには、自分が面白いと思った情報を集めてあるんだ。過去ログ見ると、いろいろ面白い情報（リンクやPDF があるよ（＾＾ ）
（ もしサイト移動などでリンク切れのときは、引用してある文章のキーワードによる検索をお願いします ）
以下過去スレより再掲
ｽﾚﾘﾝｸ(math板:7番)
7 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/19(水) 22:07:49.66 ID:gLi5Ebjw
まあ、過去何年かにわたって、猫さん、別名、￥ ◆2VB8wsVUooさんが、数学板を焼いていたからね
ガロアスレは別として、数学板は焼け跡かな
再生は無理だろう
そもそも、５ＣＨ（旧２ＣＨ）は、数学に向かない
アスキー字に制限され、本格的な数学記号が使えない
複数行に渡る記法ができない
複数行に渡る矢印や、図が描けない（ＡＡ（アスキーアート）で数学はできない）
大学数学用の掲示板を、大学数学科が主体となって、英語圏のような数学掲示板を作った方がいいだろうな、実名かせめてハンドルネーム必須でね、プロないしセミプロ用のを
11:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 06:36:09.37 tNmlg93R.net
個人的には、下記類似” 先生＞周りの人＞知恵袋の人>>> ５ＣＨ（旧２ＣＨ）の人”と思う（＾＾
ｽﾚﾘﾝｸ(math板:494番)
494 現代数学の系譜11 ガロア理論を読む 2017/04/17
前にも紹介したが、新入生もいるだろうから、下記再掲しておく。なお、信用できないに、私スレ主も含めること。定義から当然の帰結だが（＾＾；
URLﾘﾝｸ(note.chiebukuro.yahoo.co.jp)
Yahoo 知恵袋
数学の勉強法 学部～修士
ライター：amane_ruriさん 最終更新日時:2012/8/6
(抜粋)
私は修士1年生ですので、正直に言いますとこの部分はあまり書いているのが正しいとは思えません。趣味で書いているものだと認識していただければ良いのではないかと思っております。
大学3、4年に入ってまず怖いのが数学の本の氾濫でしょう。まず何を読んで何をすればいいのか分からなくなります。
そして、自分のやっていることがいかにちっぽけな存在なのかというのを実感させられます。（多分皆がそうでしょう。）そして、結果が問われてきます。
ここで、数学科は「入るのは易しいけどプロになるのは難しい」ということが実感させられてきます。
2012年8月3日現在、書泉グランデで有名数学者の薦める本がありました。森重文先生を初めとして本の多さに圧倒されました。（足立恒雄先生は信頼と安心のブレなさ）
2. 2ｃｈ*)の内容は信用できるか？
基本的に信用できません。先生＞周りの人＞＞＞ 2ｃｈ*)や知恵袋の人です。何故かというといつも同じことしか言っていないから。多分きちんと検証していないで想像で議論しているだけではないのかと私は思っています。
（まあ、自分もあんまり信用できないけど）
数学をする場合は、問題が解けることも重要なのですが問題設定を作ることが大切です。そういう時に、どういう風に学んできたのかとか、正確な知識がどういう部分でどれだけ持っているのか、調和性や、生まれて来た環境っていうのが重要になってきます。
ただ、それがどうも2ｃｈ*)の人は見られない（し、そもそも偉そうなことを言っている人が本当にできるかどうか分からない。）。こういう類のものは勉強不足ですとか、分かっていませんでしたで済まされるものではないと個人的には思うのですが。
(引用終り) (注*)：2ｃｈは、現5ｃｈ)
12:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 06:36:37.80 tNmlg93R.net
過去スレより
ｽﾚﾘﾝｸ(math板:338番)
338 現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/09(日) 23:46:26.46 ID:Rh9CzQs6
スレ主は、皆さんの言う通り、馬鹿であほですから、基本的に信用しないようにお願いします
大体、私は、自分では、数学的な内容は、筆を起こさない主義です
じゃ、どうするかと言えば、出典明示とそこからの(抜粋)コピペです
まあ、自分なりに、正しそうと思ったものを、(抜粋)コピペしてます
が、それも基本、信用しないように
数学という学問は特に、自分以外は信用しないというのが基本ですし
”証明”とかいうらしいですね、数学では
その”証明”がしばしば、間違っていることがあるとか、うんぬんとか
有名な話で、有限単純群の分類
”出来た！”と宣言した大先生が居て、みんな信用していたら、何年も後になって、”実は証明に大穴が空いていた”とか
おいおい、競馬じゃないんだよ（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
単純群
1981年にモンスター群が構成されてからすぐに、群論の研究者たちがすべての有限単純群を分類したという、合計10,000ページにも及ぶ証明が作られ、1983年にダニエル・ゴレンスタインが勝利を宣言した。
これは時期尚早だった、というのはいくつかのギャップが、特に準薄群（英語版）の分類野中で発見されたからである。このギャップは2004年に1300ページに及ぶ準薄群の分類によって埋められており、これは現在は完璧であると一般に受け入れられている。
13:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 06:36:58.40 tNmlg93R.net
補足
ｽﾚﾘﾝｸ(math板:352番)
352 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/29(土)
みんな、何に価値をおいているか、それぞれだろうが・・
個人的には、数学板で一番価値を置いているのは、確かな情報 つまり 根拠の明確な情報 つまり コピペ
わけのわからん名無しさん（素数さん）のカキコを真に受けるとか、価値をおく人は少ないだろう
きちんと、大学教員レベルの証明があればともかく、匿名板でそれはない（名無しカキコは基本価値なし）
14:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 06:37:23.09 tNmlg93R.net
スレ56より （なお、「イメージ」～「ビジョン」～「哲学」かも（＾＾ ）
ｽﾚﾘﾝｸ(math板:178番)
渕野先生は、”厳密性を数学と取りちがえるという勘違い”を書いている(下記)（＾＾
「イメージ」がお気に召さなければ、「ビジョン」といっても良い
”アイデアの飛翔をうながす(可能性を持つ)数学的直観”が無いピエロは
数学では落ちこぼれの劣等生ということだ
ただ単に、厳密性のみを追い求めるのはピエロだ
だから、だからおまえは数学で落ちこぼれるんだよ（＾＾
ニュートン、ライプニッツ、オイラー、ガウス、コーシー、アーベル、ガロア、リーマン、デデキント・・・
みんな各人、数学に対する明確なビジョンがあって、彼らの数学的業績がある
（しばしば、厳密性な証明は後から与えられることも多くあった）
つづく
15:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 06:37:44.33 tNmlg93R.net
つづき
(引用開始)
スレ24 ｽﾚﾘﾝｸ(math板:654番)
（抜粋）
あなたのまったく逆を、渕野先生が書いている
”厳密性を数学と取りちがえるという勘違い”
URLﾘﾝｸ(www.)アマゾン
数とは何かそして何であるべきか デデキント 訳解説 渕野昌 筑摩書房2013
「数学的直観と数学の基礎付け 訳者による解説とあとがき」
P314
(抜粋)
数学の基礎付けの研究は，数学が厳密でありさえすればよい， という価値観を確立しようとしているものではない.
これは自明のことのようにも思えるが，厳密性を数学と取りちがえるという勘違いは，
たとえば数学教育などで蔓延している可能性もあるので，
ここに明言しておく必要があるように思える
多くの数学の研究者にとっては，数学は，記号列として記述された「死んだ」数学ではなく，
思考のプロセスとしての脳髄の生理現象そのものであろう
したがって，数学はその意味での実存として数学者の生の隣り合わせにあるもの，と意識されることになるだろう
そのような「生きた」「実存としての」(existentialな)数学で問題になるのは，
アイデアの飛翔をうながす(可能性を持つ)数学的直観」とよばれるもので，
これは， ときには，意識的に厳密には間違っている議論すら含んでいたり，
寓話的であったりすることですらあるような，
かなり得体の知れないものである
(引用終り)
16:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 06:38:02.95 tNmlg93R.net
スレ56より
ｽﾚﾘﾝｸ(math板:180番)
別に厳密性を犠牲にしろとは言っていない
厳密性のみを追い求めて、”記号列として記述された「死んだ」数学”で終わらずに
自分なりのイメージやビジョンを持つこと
佐藤幹夫先生はそんな人だと思うよ
17:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 06:38:24.45 tNmlg93R.net
補足
＜数学ディベート＞について
過去スレより
ｽﾚﾘﾝｸ(math板:50番)
50 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/06
どこの馬の骨ともしれん連中との、数学ディベートもどきより
URLとコピペやPDFの方によほど価値を見いだすスレ主です（＾＾；
ｽﾚﾘﾝｸ(math板:189-190番)
189 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/09
いやはや、（文系） High level people たち（ ID:jEMrGWmk さん含め）の、数学ディベートもどきは面白いですね（＾＾；
”手強い？”とは・・、まさに、ディベートですね
私ら、理系の出典（URL)とコピペベース、ロジック（論証）＆証明重視のスタンスと、ディベートもどきスタイル（２ＣＨスタイル？）とは、明白に違いますね
私ら、（文系） High level people たちとの議論は、時間とスペースの無駄。レベルが高すぎてついていけませんね。典拠もなしによく議論しますね。よく分かりましたよ（＾＾；
190 自分返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/09
私ら、理系は、一応従来の議論は調べて、その上でしか議論はしません
そうしないと、大概二番煎じですし、車輪の再発明ですから
典拠もなしによく議論しますね～。よく分かりましたよ（＾＾；
私とは、議論がかみ合わないわけだ・・
”他サイトからのコピペでスレを埋め尽くす行為” なんて非難されましたけどね～（＾＾；
ディベートに勝ちたいからそういう発言なんですね～。典拠もなしで、出した典拠も読まない議論か・・。よく分かりましたよ（＾＾；
18:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 06:38:48.85 tNmlg93R.net
過去スレより
(当のおっちゃんは、偶にしか戻ってこないが（＾＾ )
ｽﾚﾘﾝｸ(math板:638番)
638 名前：現代数学の系譜 古典ガロア理論を読む[sage] 投稿日：2017/07/11(火) 08:40:28.58 ID:+FRiTcES
>>630
おっちゃん、どうも、スレ主です。
>>まあ、おっちゃんが、上記を理解したら、時枝は終わりにしよう
>マジメに時枝問題のことでスレ主に付き合う気はなく、
>もはやそういうことをする価値もない。
>スレ主自身の主張や考え方が大きく間違っていることを私のせいにするべきではない。
いやいや、おっちゃんよりレベルの低い人と議論するつもりはないんだよ～（＾＾
がまあ、おっちゃんのいう「価値もない」にも一理ある
ということで、皆さん悪いが、時枝は、一時棚上げだ。時々やろう
下記のパロディーで言えば、「数学雑談&ガロア理論 ～おっちゃんとボクと、時々、（時枝 ＆ ￥さん）～」かな（＾＾
まあ、話題を散らしながら、ゆっくりやりましょう（＾＾
おっちゃん！ いま気になっていることを、好きに書いてくれ！（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
東京タワー ～オカンとボクと、時々、オトン～ - Wikipedia
(抜粋)
『東京タワー ～オカンとボクと、時々、オトン～』（とうきょうタワー オカンとボクと、ときどき、オトン）は、リリー・フランキーの実体験を基にした長編小説である。
2006年と2007年にテレビドラマ化（単発ドラマと連続ドラマ）、2007年に映画化、舞台化されている。
2005年6月29日、扶桑社より発売された[1]。装丁もリリー本人。初版は3万部だった。2006年1月には100万部を突破。2006年10月31日には200万部（扶桑社発表）を越すベストセラーとなった。
久世光彦が「泣いてしまった…。これは、ひらかなで書かれた聖書である」と評価した。
(引用終り)
19:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 06:39:10.79 tNmlg93R.net
「現代数学のもとになった物理・工学」のスレタイ 解題：
言わずもがなですが、数学の発展の大きな原動力は、物理です。数学の発展の大きな原動力は、工学です。
別に説明するほどのこともないですが。
古代の幾何学の背景に、実際の土地測量や巨大建築からの要請が原動力にあったことは間違いないでしょう。
ニュートン以来の解析や数論も同様。
で、物理学の背景に、工学に直結する日常のいろいろな事象がある。戦争というのも、大きな要因ではあります。仏エコールポリテクニークなども、ナポレオン戦争遂行のための工学校です。
（URLﾘﾝｸ(ja.wikipedia.org) エコール・ポリテクニーク 1804年にナポレオン・ボナパルトによって軍学校とされる）
工学が物理の進展を促した面は多々あります。有名なプランクの熱と光の放射の理論を研究した背景に、当時の工学的課題であった、高温物体を光学測定により正確な温度を知るため（今の光温度計）であったと言われています。
つまり、工学的課題「高温物体を光学測定により正確な温度を知るための光温度計」→物理的課題「高温物体の光放射理論構築」→プランクの量子仮説→量子力学の誕生→作用素環→非可換幾何（現代数学）ということなのです。
コンヌ先生もおっしゃっているそうですが、物理や工学の課題は、いままでもそうですが、現代数学のエネルギー源なのです。
京大数学科がだめになったのは、「20世紀の古い数学に閉じこもってしまった」というようなことがあるのではないでしょうか？ 新しい数学へのチャレンジが無い？
（参考 過去スレ39 ｽﾚﾘﾝｸ(math板:476番) (抜粋)「自己顕示欲だけが目的で人生を送り、ほんで他人の邪魔ばっかししてるから筑波とか京大みたいになってアカン様になんのや。」 ）
20:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 06:39:39.17 tNmlg93R.net
さて、スレ54で議論していたのが、下記の定理1.7と関連の系1.8だ
（スレ53で一段落ですが）
定理1.7 (スレ26のNo.422 に書いた定理)
f : R → R とする．
Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞ }
と置く: もしR－Bf が内点を持たない閉集合の高々可算和で被覆できるならば、
f はある開区間の上でリプシッツ連続である．
証明
このとき, 補題1.5 を満たすN,M >= 1 が存在するので, 明らかにx ∈ BN,M である.
系1.8 有理数の点で不連続, 無理数の点で微分可能となるf : R → R は存在しない.
証明
定理1.7 が使えて, f はある開区間(a, b) の上でリプシッツ連続である.
一方で, x ∈ Q とf の仮定により, f は点x で不連続である. これは矛盾. よって, 題意が成り立つ.
(引用終り)
詳しくは、スレ62 ｽﾚﾘﾝｸ(math板:18番)-20 ご参照
21:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 06:40:13.24 tNmlg93R.net
つづき
なお、関連で
ｽﾚﾘﾝｸ(math板:169番)
【大学院へ】 30過ぎて、数学の道へ 【挑戦】 第5章
169 名前：１３２人目の素数さん[sage] 投稿日：2018/01/21(日) 16:03:36.47 ID:lFNYSsdP
ちなみに今ガロアスレではスレ主が「背理法が分かってない」ことが判明し燃えているw
そしてID:792180RTことおっちゃんも背理法を分かっていなかった事実がある。
君らが相手にしているのはこのような輩である。
(引用終り)
（補足説明）
”スレ主が「背理法が分かってない」”と書かれているが、これは全くの逆である
この議論中で、系1.8の背理法が問題になって、「私スレ主が背理法分っていない」という誤解された途中経過を辿ったが、
その実定理1.7の証明が不成立であったから
（そもそも、命題の立て方からして間違っていたのだ。場合分けが必要で、
１）“R－Bf ”が稠密に分散している場合と
２）“R－Bf ”が稠密に分散していない場合
の二つに分けて考えるべきだった）、
なので系1.8の背理法も成立していないことが、はっきりしたというのが正しい。
（結局、途中私一人だけが正しく「背理法不成立を指摘した」ということです（＾＾； ）
なお、この定理1.7と関連の系1.8 に関連して、ほんといろんなことを勉強させてもらって、良かったよ。感謝しています（＾＾；
以上
22:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 06:41:50.39 tNmlg93R.net
さてさて、
時枝問題（数学セミナー201511月号の記事）まとめについては
スレ47 ｽﾚﾘﾝｸ(math板:11番)-67 ご参照！
（ 特に時枝記事アスキー版 スレ47 ｽﾚﾘﾝｸ(math板:18番)-25 ）
スレ54 ｽﾚﾘﾝｸ(math板:94番)
94 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日：2018/11/01(木) ID:ypCHJLQo
>>89
>「どの同値類が来ても、それに対応する(有限値の)決定番号を準備出来ますよ」
>ということです
>だから決定番号が有限に収まる確率は1になる
突然で、話が見えない人も多いだろうから、簡単に書くと
23: 数学セミナー 2015年11月号 箱入り無数目 時枝 正（下記参考）で 話の前提は、こうだったね １）可算無限個の箱の列（まあ自然数で１番～n番までの箱で、n→∞を実現したよと） ２）箱に任意の数を入れる（実数でもなんでも良し。重複も許す） ３）この数列を、列のしっぽの同値類で分類する ４）二つの数列において、ある番号mから先の数列しっぽが一致するとき、mを決定番号と呼ぶ で、その流儀の説明倣えば ａ）決定番号が１になる確率（２列の全ての、しっぽの対応する箱の数が、一致する場合の確率）は、０（∵しっぽが可算無限個の箱の列だから） b）決定番号が２になる確率（２列の２番目以降の全ての、しっぽの対応する箱の数が、一致する場合の確率）は、０（∵しっぽが可算無限個の箱の列だから） c）以下同様に、決定番号がｋになる確率（２列のｋ番目以降の全ての、しっぽの対応する箱の数が、一致する場合の確率）は、０（∵しっぽが可算無限個の箱の列だから） d）よって、どの有限な決定番号を考えても、それ以降の全ての、しっぽの対応する可算無限個の箱の数が、一致する場合の確率は、０になります ！！（＾＾ （∵しっぽが可算無限個の箱の列だから） （参考） https://www.nippyo.co.jp/shop/magazine/6987.html 数学セミナー 2015年11月号 箱入り無数目───────────────時枝 正 36 (引用終り) ほぼほぼ、時枝は、「ぷふ」さんのおかげで完全終了です！ ＼（＾＾）／
24:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 06:42:26.98 tNmlg93R.net
つづき
なお、これ過去スレに書いたけど
スレ59 ｽﾚﾘﾝｸ(math板:840番)
840 返信：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2019/02/03(日) 14:47:03.11 ID:BnDtX2yP [9/79]
纏めると
１）大学数学科で３年、４年で確率論と確率過程論を学べば、
それは
25:時枝記事と不一致で、時枝不成立はすぐ分る ２）だが、さらに進んで、当たらないのになぜ当たるように見えるのかが問題になる ３）一つは、すでに述べたが、同値類である元と代表とを比較して、 なにか確たることが言えるが如くの標準外のトンデモ論法を使っているところだと （例えば >>683-684 ご参照） ４）もう一つが、可算無限長の数列のしっぽの同値類にある しっぽの箱を開けると、どの同値類に属するかが分る。 だが、それが分る全てだ。 どの同値類に属するかが分っても、箱の中の数で分るものが増えるわけでなないよと （細かい議論は、上記>>838などをご参照） ５）なお、非可測でビタリ集合に言及しているが、後述Hart氏PDFのGame2では選択公理を使わないから、ビタリ集合お呼びじゃない。 また、（引用）”独立な確率変数の無限族 X1，X2，X3，… 確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義される” ここで、 「任意の有限部分族が独立←→独立な確率変数の無限族 X1，X2，X3，…」と同値関係にある なので、 「勝つ戦略なんかある筈ない，と感じた私たちの直観は，無意識に(1)に根ざしていた，といえる. ふしぎな戦略は，確率変数の無限族の独立性の微妙さをものがたる， といってもよい.」 は、完全に外れ （端的に言えば、時枝先生は数学セミナー誌で5chみたいなフェイク記事を書いちゃったみたい。確率過程論に無知だったかも知れないね。） で、最近、時枝の可算無限個の数列のシッポの同値類と、函数の芽の同値類（茎、層の関連）との対応で これで、「時枝がなぜ当たるように見えるのか（実際は当たらないのに）」が説明できそうだということ 細かい話は、スレ62 https://rio2016.5ch.net/test/read.cgi/math/1551963737/22-30ご参照 つづく
26:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 06:42:52.28 tNmlg93R.net
つづき
初歩の初歩「確率変数ってなに？」（確率変数の定義）が分っていない人が、したり顔で時枝を語るの図
まさに、サイコパスそのものだね（＾＾；
（確率変数の定義については、後述。）
・時枝記事を論じる最低レベルに達していない人たちと議論しても時間の無駄
＜時枝記事＞
スレ35 ｽﾚﾘﾝｸ(math板:12-18番) 時枝問題（数学セミナー201511月号の記事）
(抜粋)
１．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
スレ47 ｽﾚﾘﾝｸ(math板:22番)
(抜粋)
数学セミナー201511月号P37 時枝記事より
「もうちょっと面白いのは，独立性に関する反省だと思う.
確率の中心的対象は，独立な確率変数の無限族
X1，X2，X3，…である.
n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
当てられっこないではないか－－他の箱から情報は一切もらえないのだから.
(引用終り)
・どんな実数を入れるかはまったく自由、もちろんでたらめだって構わないとあるので、「独立同分布（IID)」及び「乱数の一つのホワイトノイズ」を用いることは可
・時枝記事に、”独立な確率変数の無限族X1，X2，X3，…”とある。独立同分布（IID)に言及している。（同分布とはしていないが、同分布を含意していることは自明）
・確率変数の族＝確率過程 である。つまり、確率過程論の話しである（下記重川の定義より）
・時枝記事後半の「ランダムな値」は、乱数ともいう。下記ホワイトノイズ：実際上は正規乱数をホワイトノイズとして利用する とあるように、ホワイトノイズは乱数の例である
（時枝記事を論じる最低レベルに達していない人たちと議論しても時間の無駄）
つづく
27:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 06:43:17.16 tNmlg93R.net
つづき
（参考）
URLﾘﾝｸ(www.math.kyoto-u.ac.jp)
重川一郎のホームページ 京都大学大学院理学研究科数学教室
URLﾘﾝｸ(www.math.kyoto-u.ac.jp)
2013年度前期 確率論基礎 講義ノート
P47
「定義1.1. 時間t ∈ T をパラメーターとして持つ確率変数の族（Xt）を確率過程という．」
URLﾘﾝｸ(ja.wikipedia.org)
ホワイトノイズ
(抜粋)
生成方法
実際上は正規乱数をホワイトノイズとして利用する。なおこのときガウス性も満たすので、ホワイトガウスノイズとなる。
Excelの分析ツールを用いて、正規乱数を作成することができる。
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
乱数列（らんすうれつ）とはランダムな数列のこと。 数学的に述べれば、今得られている数列 x1, x2, ..., xn から次の数列の値 xn+1 が予測できない数列。乱数列の各要素を乱数という。
(引用終り)
以上
（なお、確率過程論全般については、下記が詳しくかつ分り易いと思う
URLﾘﾝｸ(www.f.waseda.jp)
「確率過程とその応用」管理人 逆瀬川浩孝 早稲田大学）
28:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 06:43:39.84 tNmlg93R.net
さて、次のHart氏PDFは、時枝記事の元ネタでしょうね
URLﾘﾝｸ(www.ma.huji.ac.il)
Sergiu HART The Hebrew University of Jerusalem
(抜粋)
URLﾘﾝｸ(www.ma.huji.ac.il)
PUZZLES
・Choice Games URLﾘﾝｸ(www.ma.huji.ac.il)
Some surprising results involving the Axiom of Choice, and also without it!
URLﾘﾝｸ(www.ma.huji.ac.il)
（A similar result, but now without using the Axiom of Choice.2 Consider the following two-person game game2:）
P2
Remark. When the number of boxes is finite Player 1 can guarantee a win
with probability 1 in game1, and with probability 9/10 in game2, by choosing
the xi independently and uniformly on [0, 1] and {0, 1, ・・・, 9}, respectively.
”independently and uniformly”が、独立同分布（IID)を含意
区間[0, 1]から、∀iで、任意の実数 xiを選べば、「ルベーグ測度は0」だから、的中確率も0だ
独立同分布（IID)で、”箱”つまり”i”の範囲は、有限あるいは無限どちらも同じく無関係だ
よって、唯一の分布を考えれば良い。そして、繰返すが、区間[0, 1]から、任意の実を選べば、「ルベーグ測度は0」だから、的中確率も0だ
（時枝記事は、区間[0, 1]→R全体だから、さらに的中は難しい）
さて、∀i xi で確率0が、スタート地点になる！（最初はgoo!でなく、最初の確率は0だ）
時枝記事で、最初の１列の無限個の箱∀i xi で確率0
が、時枝記事の並べ変えを行うと、∃i xi で確率99/100になるという
”確率0”は、大学で学ぶ現代確率論（確率過程論）よりの結論
一方”∃i xi で確率99/100”は、数学セミナーの時枝記事よりの結論
∃i xiの箱は、二つの異なる確率0と99/100と、二つの値を取ることになる（矛盾）
つづく
29:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 06:45:04.54 tNmlg93R.net
つづき
・なお、時枝も”無限を扱うには，(2)有限の極限として間接に扱う”としている。この場合も、上記Hart氏の通り！
とあって、the Axiom of Choiceを使わない game2も、それを使うgame1と全く同様に成立つと書かれている
・ならば、game2では、ヴィタリ類似のルベーグ非可測集合は出現しないので、無関係
よって「選択公理や非可測集合を経由したから」の記述は、ミスリードだね（時枝は、game2を知らなかったみたい）
（なお、余談だが、
30:Sergiu Hart氏は、game2もgame1も、すべて不成立を承知の上で書いているようだ。） ∵あくまで、自分のホームページにのみアップしているし、 n有限→∞の極限で、Hart氏のPDFより、任意の有限（the number of boxes is finite）の場合、当てられないから、その極限でも当然当てられないのだから。 以上
31:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 06:46:13.05 tNmlg93R.net
スレ66 ｽﾚﾘﾝｸ(math板:611番)
＞このギャップが、DR Pruss氏のいう”non-conglomerability”を扱うと、確率で Paradoxになるということなのでしょう（＾＾
時枝解法不成立だけなら、簡単に言えるよ（＾＾
（過去にも書いたけど）
スレ65 ｽﾚﾘﾝｸ(math板:653番)
より
１）
箱の番号付け
・・・，n，・・・，2，1
↓↑
・・・1/n・・・,1/3,1/2,1/1
という形で
区間[0，1]に
自然数の集合Nを埋め込める
（｛・・・1/n・・・,1/3,1/2,1/1｝に時枝の箱を対応させることができる）
２）
同様に、100個の区間[1，2]・・[k，k+1]・・[99，100] (1<k<99)で
自然数の集合Nを埋め込める
（1/n → 1/n + k とすればいい）
（これで、時枝記事の数列100個を作ることができる）
３）
ここで、ある正則でない関数f(x)をとる
４）
もし、時枝解法が正しいとすると
（「あるDなる番号が存在し、D+1より大きい箱を開けて、中の数を知り、Dの箱の値を的中できる」*)が正しいとする）
５）
上記の関数f(x)の場合に適用すると
「ある1/Dなる数が存在し、ｘ＜1/D+1なるf(x)の値（・・・f(1/D+1））を知り、f(1/D）の箱の値を決定できる」**)というものである
６）
これは、明らかに、既存の関数論に反する
７）
時枝解法には、（関数論からの）反例が存在するので、不成立である
QED（＾＾；
（この元ネタは、>>324に書いた 関数についてのPDFなどからです）
以上
（難しいのは、「不成立なのに、”なぜ成立するように見えるのか”という仕組み」の解明（＾＾ ）
つづく
32:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 06:47:12.90 tNmlg93R.net
つづき
注：*) スレ47 ｽﾚﾘﾝｸ(math板:20番)
(時枝記事抜粋)
いよいよ第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-ε で勝てることも明らかであろう.
(引用終り)
**)
補足
「ある1/Dなる数が存在し、ｘ＜1/D+1なるf(x)の値（・・・f(1/D+1））を知り、f(1/D）の箱の値を決定できる」というものである
↓
ここ、時枝記事の第k列に合わせて記述すると
「ある1/Dなる数が存在し、k＜ｘ＜1/D+1 + k なるf(x)の値（・・・f(1/D+1 + k ））を知り、f(1/D + k）の箱の値を決定できる」というものである
となります
まあ、記述が煩雑になり、本質が見えなくなるので、簡略にしました（＾＾
以上
33:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 06:47:41.76 tNmlg93R.net
（追加）
ｽﾚﾘﾝｸ(math板:520番)
時枝記事の解法を抽象化した版を、引用しておきます
＜時枝記事の解法抽象化版＞
１）可算無限数列ｓ
（s = (s1，s2，s3 ，・・・) で、数s1たちが箱に入っているとする
（数学的には余計だが、時枝とのつなぎのために））
２）ある番号から先のしっぽが一致する同値類を考える
３）ある有限の数Dを何らかの方法で決める（ここを抽象化している（＾＾ ）
４）(D+1) 番目から先の箱だけを開ける（数学的には、「情報を得る」ないし単に「知る」としても意味同じ）
５）同値類の代表の数列のD番目の数と、問題の数列のD番目の数が一致する確率1-ε （ここに、εはいくらでも小さくできる）
となる
有限の数Dを決める方法は、時枝記事の通りでもいいし、別の方法でもいい。
選択公理を使っても使わなくてもいい。
但し、数学的に�
34:ｳ当化できる手段でなくてはならない（例：こっそり箱を覗くなどはダメです） （反例の存在） もし、上記の＜時枝記事の解法抽象化版＞（ここに時枝記事も含まれる）が正しいとすると これに対する反例は、一般数学の中にいくらでも存在する（可算無限数列が取れさえすれば良いのだから（＾＾ ） 例えば、関数値の数列の数当て（>>193&>>197） また、形式的冪級数の係数の数当て（>>256-257） なお、時枝記事の原文は下記 （参考） 時枝記事アスキー版 スレ47 https://rio2016.5ch.net/test/read.cgi/math/1512046472/18-25
35:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 06:48:49.83 tNmlg93R.net
< 時枝記事への敗北宣言か勝利宣言か？ （１）（＾＾；
スレ55 ｽﾚﾘﾝｸ(math板:484番)
484 自分：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日：2018/12/08(土) 22:50:48.10 ID:bIDCQoJi [42/43]
>>481
はいはい
>スレ主が以下のものを出すようになったら敗北宣言
じゃ、もっと敗北宣言を、させて下さい
１）全国の数学科生に告ぐ ＊＊）
どうぞ、大学の数学科教員に頼んで
”数学セミナー 2015年11月号 箱入り無数目 時枝 正の記事は正しい”ということ
及び、その理由を簡単に書いて（理由は、「正しいから正しい」でも可）
その方のサイトに、その方の実名で、アップしてもらえませんか？
（文案はどなたが書いても可です。その方が承認してアップするならね）
２）どうぞ、このスレ主に敗北宣言を出させて下さい
私は、大学の数学科プロ教員には、とても敵いませんので、すぐ敗北宣言を出します
赤っ恥で結構です。
私は、このスレを閉じますよ。
（まあ、彼らは、落ちこぼれのピエロとは実力が違いますからね。私の実力では抵抗は無駄でしょうね）
３）それが出るまでは、私の勝利＊です（ 注＊：これ定義です（＾＾； ）
注＊＊）：どうぞ、このスレを見たどなたでも、貴方が直接教員に頼んでも良いし、知り合いの学生を通じての依頼でも可です
上記１）について、よろしくお願いします。（＾＾；
（つまらん、低レベル（落ちこぼれレベル）の議論を、延々続けても仕方ないですからね）
それまでは、上記３）の定義の通り、私の勝ちです（＾＾
36:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 06:49:41.36 tNmlg93R.net
つづき
< 時枝記事への敗北宣言か勝利宣言か？ （２）（＾＾；
スレ55 ｽﾚﾘﾝｸ(math板:571番)
571 返信：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日：2018/12/11(火) 11:18:02.05 ID:5Lj3GQW7 [2/8]
>>549
「大学の数学科教員に頼んで
”数学セミナー 2015年11月号 箱入り無数目 時枝 正の記事は誤り”
ということ及び、その理由を数学科の学生が検証できる程詳しく書いて
教員の実名で当人のサイトにアップしてもらいな」
はい
大学で数学を教えている恩師のところへ行ってきました
以下は、その概略です（＾＾
１．時枝記事の解法は成り立たない
２．それは、大学で数学を教える教員全員の常識だし
不成立が理解できないのは、数学科生としては、落ちこぼれだね
３．だが、それを実名で公表することは、日本でははばかられる
時枝先生に賛成して”よいしょ”するのは実名でも可だが
反旗をひるがえして”反論”するのは、ははばかられるってこと
みんな知っていることだし、いまさらだからね
４．そうか、ピエロというのがいるのか？
そいつは、完全に数学科落ちこぼれだな
彼は、選択関数を濫用している。選択関数で何でも簡単に証明できるなら、ツォルンの補題は不要だ
彼は、サイコパスで、誇大妄想・自己肥大だね
数学科出て不遇なのか。だが、性格が悪いし、能力が低いから、仕方ないね
ということでした
私は、この面談の詳細な証明を持っているが、このスレの余白は狭すぎる。証明は思いつくであろう
ということです。数学では、反例は一つで良い！
どうぞ、皆さんの手で反例を（>>31を使って）出して下さい
ピエロ、頑張れよ（＾＾
37:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 06:51:55.65 tNmlg93R.net
さてさて、ここに、サイコパスの生態標本があります。言わずと知れた,ピエロちゃん（＾＾
（こういう人が世の中に存在すると知ってもらうことに意味ありです～（＾＾； ）
（参考：>>1のサイコパスのピエロ発言例）
特に「実際に人を真っ二つに斬れたら 爽快極まりないだろう」にご注目ください（＾＾；
過去スレ58 ｽﾚﾘﾝｸ(math板:768番)
768 自分：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2019/01/25(金) 06:35:26.99 ID:sw2GMLb3 [1/29]
それさ、時枝記事の話じゃなく
例えば下記の彼の発言引用みたいに
誰彼かまわず些末な揚げ足を取って
その実自分が間違えていて、
あるいは、理解不十分な難癖で
それが明らかになったら、
”君子豹変”で自己を正当化するが
その途中で相手に暴言を吐く
そういうサイコパス（＝ピエロちゃん）を、たしなめている
そういうことだと思うよ
もっと言えば、それを繰返すなら、コテ付けろと
NGするからみたいな（＾＾
”実際に人を真っ二つに斬れたら
爽快極まりないだろう”
か、全くサイコパスだねー
この発言が通常人にどう受け止められるか、理解できないんだろうね、彼には
つづく
38:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 06:53:41.78 tNmlg93R.net
つづき
過去スレ58 ｽﾚﾘﾝｸ(math板)
(引用開始)
(>>351より)
実際に人を真っ二つに斬れたら
爽快極まりないだろう
(>>352より)
なんだ、スレ主と同じ自己中か
焼かれて死ね
(>>612より)
勝手に吠えろ 狂犬
(>>616より)
狂犬がワンワン吠えたおかげで
「代表元も決定番号もプレイヤーが勝手に知ればいいので
ディーラーがそんなこと分かったら逆におかしい」
ということが明らかになった
これこそ明確な態度の変更 君子豹変
ありがとよ 狂犬！！！
(>>617より)
必要ないことに
今更ながら気づいちゃったから
ということで君の三パターン、全然無駄だから
どうだ 狂犬 自分の発言で自爆した気分は？
(引用終り)
つづく
39:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 06:54:37.88 tNmlg93R.net
＜サイコのバカ発言集追加＞（＾＾
（サイコのバカ発言）
前スレ58 ｽﾚﾘﾝｸ(math板:634番)
634 名前：１３２人目の素数さん[sage] 投稿日：2019/01/23(水) 17:03:41.92 ID:JF7m6dzy [46/62]
>>632
>むやみに振り上げてしまった拳
ああ、お前の>>539な
勝手に降ろせよ だれも振り上げろなんて頼んでないし
だいたいディーラーを持ち出すことで何がどう面白いのか結局語れずじまい
「論理的に同じ」とかいう自明な話したいだけなら、最初から云うなよ
だれもそんなクソ話聞きたくねえよ！
（相手の発言）
前スレ58 ｽﾚﾘﾝｸ(math板:637番)
637 名前：１３２人目の素数さん[sage] 投稿日：2019/01/23(水) 17:12:02.88 ID:69vKfGyL [44/50]
>>634
＞「論理的に同じ」とかいう自明な話したいだけなら、最初から云うなよ
＞だれもそんなクソ話聞きたくねえよ！
やっと認めましたね？
そうです。「論理的に同じ」とかいう自明な話なんです
「自明」とは「わざわざ書くまでもなく正しい」という意味であり、
つまりこちらの書き込みは正しい書き込みなんです
まあナンセンスな話だったかもしれないけど、でも正しい書き込みなんです
それにも関わらず、あなたは執拗に批判してきました
しかも、あなたは途中で「君子豹変」とか言って主張内容を変化させています
誰がどう見ても、あなたは無暗に振り上げてしまった拳をずっとおろせずに
「頭がオカシイ」としか言えなくなっています
つづく
40:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 06:55:03.58 tNmlg93R.net
つづき
（サイコのバカ発言）
前スレ58 ｽﾚﾘﾝｸ(math板:639番)
639 名前：１３２人目の素数さん[sage] 投稿日：2019/01/23(水) 17:18:55.31 ID:JF7m6dzy [49/62]
>>637
＞正しい書き込みなんです
＞それにも関わらず、
＞あなたは執拗に批判してきました
狂犬は「批判」といってるが全くの誤り
私は「ナンセンス」だといってるのである
「自明な
41:正しさ」なんてまさに「ナンセンス」の極致 そんな話を長々と数学板でするんじゃねえ というのはまさに当然のことｗ ＞「君子豹変」 ええ、イヌにはできないことを人間様としてやって差し上げました そもそもディーラーを持ち出すことに違和感があったのですが それは「プレイヤーが勝手にやってることをディーラーが知る」 という点にあったと気づいたので、それを明確にしました あなたは「全部の箱にπを入れる」ことにまだ固執してるようですが それはあなたが「固定」の意味を誤解したままそれすら認めないから でしょう あなたは君子ではない 人ですらない イヌコロですｗ つづく
42:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 06:55:37.68 tNmlg93R.net
つづき
（相手の発言）
前スレ58 ｽﾚﾘﾝｸ(math板:650番)
650 名前：１３２人目の素数さん[sage] 投稿日：2019/01/23(水) 17:52:40.04 ID:69vKfGyL [49/50]
>>648の続きになるが、そういえば君、最初からずっと
こちらの書き込みについて誤読がつづいてたね
途中で「君子豹変」とか言って主張を変えてみたりしながら。
君のクセは大体わかってきたよ
ロクに今までの流れを把握することもなく、その貧弱な読解力で
表面的に他人のレスを1回だけ読んでみて、それで発言の意図や
書き込みの意味が分からなかったら「こいつはバカだ」と言って
相手を批判するというわけだ。君の誤読の中でも最高にヤバイのは
＞全ての箱に同じ数をいれるかどうかは固定とは無関係
これだね。バカじゃないのｗ 一体だれが
「ぜんぶ同じ実数でなければ固定ではない」
なんて言ったんだよｗ「箱の中で転がり続けるサイコロ」というバカな発想を
封印するための最も簡単な手段が「全部π」なのであって、そういう意図で
>>506が書かれていることは>>506周辺の流れを見れば一目瞭然だろうが。
「全部π」と「固定」を機械的に結び付けるからそういう誤読になるんだよ
（相手の発言）
前スレ58 ｽﾚﾘﾝｸ(math板:653番)
653 名前：１３２人目の素数さん[sage] 投稿日：2019/01/23(水) 18:08:43.45 ID:69vKfGyL [50/50]
>>652
＞おまえみたいな池沼に数学板は無理 もう書き込むな
いやあ、「君子豹変」とか言って途中で
主張を変えてしまうような池沼の発言は一味違うね
君のクセは大体分かってきたと既に書いた
まとめると、君はAI読みしかできず、相手の発言もその前後の文脈もまともに読まず、
それで発言の意図や書き込みの意味が分からなかったら「こいつはバカだ」と言って
相手を批判し、後になって気が変わると堂々と「君子豹変」とか言って
自分の主張を変えるクズだということ
こういう唯我独尊な感じ、アホ主の高圧的な態度にそっくりだね
さすがに君への興味は薄れたというか、「お里が知れた」ので、
もう君の相手は十分かな
(引用終り)
以上
43:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 06:56:13.68 tNmlg93R.net
つづき
関連で
確率変数の定義と説明は、下記 渡辺澄夫 東工大が分り易い
スレ62 ｽﾚﾘﾝｸ(math板:892番)
”可測関数X: Ω→Ω’
・関数のことを確率変数と呼ぶ
関数を出力と同一視（混同）する(X=X(w))
関数がランダムなわけではない”
”P10 なぜこんな定義をするのか
（Ω, B, P)がわからずX だけ観測できる人には
Ｘがランダムである場合も含む定義になっている
そこで関数X(w) とその出力値X を同一視して
確率変数(random variable)と呼ぶことにした。
これで「ランダムでないとはいえないもの」が定義された”
確率変数と”変数”の違いが分らない人がいるな（＾＾；
（スレ61より ｽﾚﾘﾝｸ(math板:131番) ）
131 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2019/02/20(水)
過去の確率変数論争（”確率変数は箱に入れられない”）に対し、下記の説明いいね！（＾＾
URLﾘﾝｸ(watanabe-www.math.dis.titech.ac.jp)
確率論入門 渡辺澄夫 東工大 2018
(抜粋)
P8 確率変数
可測関数X: Ω→Ω’
を（Ω’に値をとる）確率変数という
・関数のことを確率変数と呼ぶ
関数を出力と同一視（混同）する(X=X(w))
関数がランダムなわけではない
P9 確率変数の気持ち
W
（Ω, B, P)
数学的に定義されるが
観測できないものとする
運（w)の決め方は
定めないでおく
↓
Ｘ=X(w)
Xの値は 実世界で ランダムでない とはいえない
P10 なぜこんな定義をするのか
もともとランダムに値をとるということを数学的に
定義することができなくて困っていた
（Ω, B, P)がわからずX だけ観測できる人には
Ｘがランダムである場合も含む定義になっている
そこで関数X(w) とその出力値X を同一視して
確率変数(random variable)と呼ぶことにした。
これで「ランダムでないとはいえないもの」が定義されたがランダムとは何かについてはわからないままである
(引用終わり)
44:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 06:57:02.56 tNmlg93R.net
サイコパスの補足
(ご参考)
典型的サイコパスの典型的ウソつき反応
京大重川先生の確率論基礎 講義ノートが読めてないと“いじられる”
↓
「東京大学ですが何か？ｗ」と脊髄反射でウソを吐く
要するに、京大より自分が上だと、とっさのウソを言ったわけだ
だがしかし、
だれがピエロが東大だと思うのかね？ そのウソが通用すると思うところが怖いよね（＾＾
（参考引用）
スレ59 ｽﾚﾘﾝｸ(math板:957番)-962
957 自分返信：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2019/02/03(日) 21:22:10.44 ID:BnDtX2yP [46/79]
Wikipediaだけじゃ、だめですよ（どっかで聞いたセリフだな（＾＾； ）
URLﾘﾝｸ(www.math.kyoto-u.ac.jp)
重川一郎のホームページ 京都大学大学院理学研究科数学教室
URLﾘﾝｸ(www.math.kyoto-u.ac.jp)
2013年度前期 確率論基礎 講義ノート
まあ、確率論基礎だからな
京大ではね
落ちこぼれの大学はどこだい？（＾＾
959 名前：１３２人目の素数さん[] 投稿日：2019/02/03(日) 21:23:44.99 ID:fS1IT7Pz [71/77]
＞大学はどこだい？（＾＾
東京大学ですが何か？ｗ
962 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2019/02/03(日) 21:29:01.38 ID:BnDtX2yP [48/79]
>>959
>＞大学はどこだい？（＾＾
>東京大学ですが何か？ｗ
わろた～ｗ（＾＾
今日一番の大笑いですｗｗ（＾＾
45:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 06:58:37.86 tNmlg93R.net
>>26 補足
スレ62 ｽﾚﾘﾝｸ(math板)
955 自分返信：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2019/03/28(木) 21:24:02.18 ID:7L3ElMut [4/7]
Sergiu Hart氏のPDF URLﾘﾝｸ(www.ma.huji.ac.il)
P2
Remark. When the number of boxes is finite Player 1 can guarantee a win
with probability 1 in game1, and with probability 9/10 in game2, by choosing
the xi independently and uniformly on [0, 1] and {0, 1, ・・・, 9}, respectively.
”independently and uniformly”が、独立同分布（IID)を含意
区間[0, 1]から、∀iで、任意の実数 xiを選べば、「ルベーグ測度は0」だから、的中確率も0だ
独立同分布（IID)で、”箱”つまり”i”の範囲は、有限あるいは無限どちらも無関係だ
よって、唯一の分布を考えれば良い。そして、繰返すが、区間[0, 1]から、任意の実数を選べば、「ルベーグ測度は0」だから、的中確率も0だ
（時枝記事は、区間[0, 1]→R全体だから、さらに的中は難しい）
さて、∀i xi で確率0が、スタート地点になる！（最初はgoo!でなく、最初は確率0だ）
時枝記事で、最初の１列の無限個の箱∀i xi で確率0
が、時枝記事の並べ変えを行うと、∃i xi で確率99/100になるという
”確率0”は、大学で学ぶ現代確率論（確率過程論）よりの結論
一方”∃i xi で確率99/100”は、数学セミナーの時枝記事よりの結論
∃i xiの箱は、二つの異なる確率0と99/100と、二つの値を取ることになる（矛盾）
かつ
∃i xiの”i”については、そのときの決定番号との関係で、可能性としては、1～∞の値を取り得る
すると、1～∞の値のどの”i”についても、二つの異なる確率 0と99/100と、二つの値を取ることになる（さらに矛盾）
つづく
46:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 06:59:07.06 tNmlg93R.net
つづき
>独立同分布（IID)で、”箱”つまりラベル”i”の範囲は、有限あるいは無限どちらも無関係だ
>よって、唯一の分布を考えれば良い。そして、繰返すが、区間[0, 1]から、任意の実数を選べば、「ルベーグ測度は0」だから、的中確率も0だ
唯一(ただ一つ)の分布を考えれば良い
独立同分布（IID)は、仮定つまり与件です。これは覆せない！（＾＾
まあ、”独立同分布（IID)”が、ピンと来ていないんだろうね。それは、大学教程の確率論・確率過程論を学べば分るが、”落ちこぼれ”には理解できないんだろうね
早く、>>31を実行してねｗ（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
独立同分布（どくりつどうぶんぷ、英: independent and identically distributed; IID, i.i.d., iid）や独立同一分布（どくりつどういつぶんぷ）とは、確率論と統計学において、確率変数の列やその他の系が、それぞれの確率変数が他の確率変数と同じ確率分布を持ち、かつ、それぞれ互いに独立している場合をいう[1]。
ホワイトノイズ
ホワイトノイズは、IIDの単純な例である。
URLﾘﾝｸ(ja.wikipedia.org)
ホワイトノイズ
(抜粋)
よく聞くノイズの例で擬音語で表現するなら、「ザー」という音に聞こえる雑音がピンクノイズで、「シャー」と聞こえる音がホワイトノイズである。
URLﾘﾝｸ(ja.wikipedia.org)
ホワイトノイズの例
カラードノイズ
(有色雑音)
ホワイト
ピンク
ブラウニアン/レッド
グレイノイズ
(引用終り)
つづく
47:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 07:00:50.28 tNmlg93R.net
つづき
まあ、時枝記事が言っているのは、箱に”ホワイトノイズ”で生成される値を入れたとして、箱の並べ変えと同値類を使って、
ある箱の”ホワイトノイズ”で生成される値が、99/100の確率で的中できるという話しなんだけどね
まあ、ともかく>>31を実行してください。そうすれば、大学のプロ教員から、「なにが正しいか」を教えて貰えるからね！！（＾＾
>独立同分布（IID)は、仮定つまり与件です。これは覆せない！（＾＾
>まあ、”独立同分布（IID)”が、ピンと来ていないんだろうね。それは、大学教程の確率論・確率過程論を学べば分るが、”落ちこぼれ”には理解できないんだろうね
仮定つまり与件は、当たり前だが、数学的な推論をいくら並べても、これを覆すことはできない。もし、矛盾が生じるなら、推論が間違っているか、前提が間違っているかだ
ところで、独立同分布（IID)の仮定は、大学の確率過程論で、正しいと認められているので、矛盾が生じるなら、推論が間違っている
なお、高校レベルの確率論で、大学レベルの確率論・確率過程論を覆すことはできない。これもまた自明だ
これが分からない人は、>>31を実行ください。はよやれ！（＾＾
48:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 07:01:37.24 tNmlg93R.net
スレ62 ｽﾚﾘﾝｸ(math板:915番)
915 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2019/03/27(水)
(抜粋)
Sergiu Hart氏のPDF URLﾘﾝｸ(www.ma.huji.ac.il)
このP2に
Remark. When the number of boxes is finite Player 1 can guarantee a win
with probability 1 in game1, and with probability 9/10 in game2, by choosing
the xi independently and uniformly on [0, 1] and {0, 1, ・・・, 9}, respectively.
とある
ここで”independently and uniformly”が、独立同分布（IID)を含意することは、知る人がみればすぐ分かること
で、例えば、{0, 1, ・・・, 9}ならば、的中確率は、1/10(for Player 2)(つまり、出題者Player 1は、確率9/10で勝てる)
つまり、独立同分布（IID)を仮定すれば、どの箱も同じで、例外はない
なお、Sergiu Hart氏 は、時枝先生よりも良く分かっているみたい
game1（選択公理を使う）→game2（選択公理を使わない）→boxes is finite （有限の場合は通常確率論通り）
と並べて説明している
まあ、落語の落ちですね。最後”boxes is finite （有限の場合は通常確率論通り）”ですから
本気で”通常確率論外し”が成立していることを、読者に説明するなら
boxes is finite （有限の場合は通常確率論通り）→しかしgame2（通常確率論外し（選択公理を使わない））→game1（通常確率論外し（選択公理を使う）
の並びでしょうからね（＾＾；
ま、確率過程論の知識がある人（落ちこぼれ以外の数学科卒生）なら、独立同分布（IID)で、箱が有限及び無限とも同じ結論になる（通常確率論通り）は自明だし
それは、確率過程論について、上記（>>912）重川先生とか逆瀬川先生（下記）を読めば分かる。読めなければ、時枝不成立は分からないでしょうね～（＾＾
しかし、このスレで私が確率過程論をするわけにはいかない。このスレの余白は狭すぎるｗ（＾＾
URLﾘﾝｸ(www.f.waseda.jp)
「確率過程とその応用」管理人 逆瀬川浩孝 早稲田大学
49:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 07:02:28.83 tNmlg93R.net
つづき
なお
スレ62 ｽﾚﾘﾝｸ(math板:949番)
・ヴィタリ集合の意味する非可測は、0と∞を含む「いかなる値も λ(V) の値として定義してはいけない」ということ
・一方「可算集合のルベーグ測度が0であることの証明」（下記）にあるように、”有理数の各点のルベーグ測度は0”である
・時枝記事の無限次元R^N空間は、このままでは例えば”ヒルベルト空間”ではなく、計量が入らない
時枝記事では、ヴィタリ集合うんぬんを書いているが、もともと無限次元R^N空間に計量が入っていないから、ミスリードだな
（実数Rに計量が入っているヴィタリ集合の非可測とは、事情が全く異なる）
ご苦労さまでした（＾＾；
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
ヴィタリ集合
(抜粋)
数学において、ヴィタリ集合とはジュゼッペ・ヴィタリ (1905)によって作られたルベーグ不可測な実数集合の基本的な例である。
不可算に多くのヴィタリ集合が存在し、それらの存在は選択公理の仮定の下で示される。
ルベーグ測度は平行移動について不変なので λ (V_{k})=λ (V) である。ゆえに、
1 <= Σk=0～∞{λ (V)} <= 3
であるが、これは不可能である。
一つの定数の無限和は 0 であるか無限大に発散するので、いずれにせよ [1, 3] の中には入らない。
すなわち V は可測であってはいけない。
つまりルベーグ測度 λ はいかなる値も λ(V) の値として定義してはいけない。
URLﾘﾝｸ(chemicallogical.hatenablog.com)
インフラSE日記 2017-10-09
可算集合のルベーグ測度が0であることの証明
URLﾘﾝｸ(ja.wikipedia.org)
ヒルベルト空間
(抜粋)
数学におけるヒルベルト空間（ヒルベルトくうかん、英: Hilbert space）は、ダフィット・ヒルベルトにその名を因む、ユークリッド空間の概念を一般化したものである。
定義
H がヒルベルト空間であるとは、H は実または複素内積空間であって、さらに内積によって誘導される距離関数に関して完備距離空間をなすことを言う[2]。
つづく
50:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 07:04:13.71 tNmlg93R.net
つづき
（以下若干過去スレより参考になるレスを引用する）
スレ64 ｽﾚﾘﾝｸ(math板:825番)
825 自分返信：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日：2019/05/05(日) 14:16:47.10 ID:1ZCM8Sju [12/24]
・正直、時枝不成立の証明はいらん。大学４年くらいあるいは修士で、確率過程論を学べば、不成立は分る
・問題は、>>823みたいな、視点と分り易い説明だよね
・１）「こうこう、こうだから不成立」という説明と、
２）「こうこう、こうだから成立しているように見える」という説明
この二つの分り易い説明が欲しいね
つづく
51:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 07:04:50.54 tNmlg93R.net
つづき
スレ60 ｽﾚﾘﾝｸ(math板:973番)
973 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日：2019/02/17(日) 08:13:22.71 ID:sxwhkqcY [3/10]
URLﾘﾝｸ(mathoverflow.net)
Probabilities in a riddle involving axiom of choice edited Dec 9 '13 at 16:32 asked Dec 9 '13 at 16:16 Denis
にも類似の話しがあります
しかし、ここの3 Answers 中 下記 Alexander Prussさんと、Tony Huynhさんはこのriddle成立には否定的ですよ
確率を定義する測度が、きちんと決められないという趣旨のことを理由にしていますね
なお、Alexander Prussさんは、”The probabilistic reasoning depends on a conglomerability assumption,”も理由に挙げていますね
(引用開始)
Alexander Pruss
edited Dec 12 '13 at 16:16
answered Dec 11 '13 at 21:07
Tony Huynh
answered Dec 9 '13 at 17:37
(引用終り)
以上
52:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 07:05:34.18 tNmlg93R.net
スレ64 ｽﾚﾘﾝｸ(math板:838番)
古典ガロア理論も読む 2019/05/05
>正しくは
>「数列の測度が必要だが、その場合
> 選択公理で（非可測集合ができるから）台無しになる」
ご指摘ありがとう
これか？（＾＾
URLﾘﾝｸ(mathoverflow.net)
Probabilities in a riddle involving axiom of choice edited Dec 9 '13 at 16:32 asked Dec 9 '13 at 16:16 Denis
3 Answers
11 edited Dec 12 '13 answered Dec 11 '13 Alexander Pruss
(抜粋)
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).
Assume CH. Let < be a well-order of [0,1].
Suppose X and Y are i.i.d. uniformly distributed on [0,1].
Consider the question of which variable is bigger. Fix a value y∈[0,1] for Y.
Then P(X<=y)=0, since there are only countably many points <- prior to y.
By a conglomerability assumption, we could then conclude that P(X<=Y)=0, which would be absurd as the same reasoning would also show that P(Y<=X)=0. The argument fallaciously assumes conglomerability.
We are neither justified in concluding that P(X<=Y)=0, nor that {X<=Y} is measurable (though for each fixed y, {X<=y} is measurable).
And indeed it's not measurable: for were it measurable, we could use Fubini to conclude that it has null probability.
Note that one can repeat the argument without CH but instead using an extension of Lebesgue measure that assigns null probability to every subset of cardinality <c, so clearly there is no refutation of CH here.
(引用終り)
53:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 07:06:26.55 tNmlg93R.net
つづき
スレ64 ｽﾚﾘﾝｸ(math板:839番)
839 自分返信：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日：2019/05/05(日) 16:53:47.49 ID:1ZCM8Sju [17/24]
>>838
つづき
参考(see here for a discussion)
URLﾘﾝｸ(www.mdpi.com)
URLﾘﾝｸ(www.mdpi.com) PDF
Symmetry 2011, 3(3), 636-652; URLﾘﾝｸ(doi.org)
Symmetry and the Brown-Freiling Refutation of the Continuum Hypothesis
Paul Bartha
Department of Philosophy, University of British Columbia, Vancouver, BC V6T 1Z1, Canada
Received: 25 July 2011 / Revised: 27 August 2011 / Accepted: 1 September 2011 / Published: 6 September 2011
(This article belongs to the Special Issue Symmetry in Probability and Inference)
Abstract
Freiling [1] and Brown [2] have put forward a probabilistic reductio argument intended to refute the Continuum Hypothesis.
The argument relies heavily upon intuitions about symmetry in a particular scenario.
This paper argues that the argument fails, but is still of interest for two reasons.
First, the failure is unusual in that the symmetry intuitions are demonstrably coherent, even though other constraints make it impossible to find a probability model for the scenario.
Second, the best probability models have properties analogous to non-conglomerability, motivating a proposed extension of that concept (and corresponding limits on Bayesian conditionalization).
(引用終り)
つづく
54:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 07:07:05.92 tNmlg93R.net
つづき
スレ64 ｽﾚﾘﾝｸ(math板:868番)
868 自分返信：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日：2019/05/05(日) 21:08:08.39 ID:1ZCM8Sju [20/24]
>Alexander Pruss
Alexander Prussさん、ちょっと大物かも（＾＾
”Ph.D. in Mathematics at the University of British Columbia in 1996 and publishing several papers in Proceedings of the American Mathematical Society and other mathematical journals”です
で、mathoverflowの”Probabilities in a riddle involving axiom of choice”では、否定的見解を述べていますね～！ｗ（＾＾
そして、mathoverflowにおける”conglomerability ”の詳しい説明が、
「Infinity, Causation, and Paradox 著者: Alexander R. Pruss Oxford University Press, 2018」のP76-77にあり、下記googleブックで読めますね（＾＾
勝負あり～！！ｗ（＾＾
URLﾘﾝｸ(mathoverflow.net)
Alexander Pruss
Professor of Philosophy, Baylor University
URLﾘﾝｸ(en.wikipedia.org)
Alexander Pruss
Alexander Robert Pruss (born January 5, 1973) is a Canadian mathematician, philosopher, Professor of Philosophy and the Co-Director of Graduate Studies in Philosophy at Baylor University in Waco, Texas.
Biography
Pruss graduated from the University of Western Ontario in 1991 with a Bachelor of Science degree in Mathematics and Physics.
After earning a Ph.D. in Mathematics at the University of British Columbia in 1996 and publishing several papers in Proceedings of the American Mathematical Society and other mathematical journals,[4] he began graduate
55:work in philosophy at the University of Pittsburgh. つづく
56:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 07:08:08.62 tNmlg93R.net
つづき
スレ64 ｽﾚﾘﾝｸ(math板:869番)
869 返信：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日：2019/05/05(日) 21:08:43.96 ID:1ZCM8Sju [21/24]
URLﾘﾝｸ(alexanderpruss.com)
Curriculum Vitae Alexander R. Pruss December, 2018
Education
Ph.D., Mathematics, University of British Columbia, Spring, 1996
Dissertation title: Symmetrization, Green’s Functions, Harmonic Measures and Difference Equations, advised by John J. F. Fournier
B.Sc. (hon.), Mathematics and Physics, University of Western Ontario, Spring, 1991
Books
Infinity, Causation and Paradox, Oxford University Press, 2018
URLﾘﾝｸ(books.google.co.jp)
Infinity, Causation, and Paradox 著者: Alexander R. Pruss Oxford University Press, 2018
以上
ｗ（＾＾
テンプレ以上です！（＾＾
57:１３２人目の素数さん
19/06/13 09:28:36.24 mV5PQHsv.net
空白
58:哀れな素人
19/06/13 09:30:21.68 mV5PQHsv.net
重要なことだから、こちらにも貼っておこう。
集合とはまとまりのあるものである。
まとまりがなければ集合とは言えない。
一つの全体としてまとまっていなければ集合ではない。
完結したまとまりでなければ全体は存在しない。
だからたとえば１から100までの自然数は集合である。
あるいは100個の自然数は集合である。
100個というまとまりで完結しているから、
全体というものがあり、だから集合である。
しかし可能無限、可算無限としての自然数は
どこまでも増やすことができ、完結しないのだから、
全体というまとまりがなく、したがって集合とは言えない。
要するに可能無限、可算無限としての自然数は
集合とは言えない。
100なら100で限定するなら、集合と言える。
しかしどこまでも増やすことのできる集合は集合とは言えない。
だから可能無限集合とか可算無限集合は集合ではない。
こういうことが分るのが、本当に利口なのである（笑
59:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 10:10:16.13 fIom6At7.net
>>52
哀れな素人さん
どうもスレ主です。
(引用開始)
しかし可能無限、可算無限としての自然数は
どこまでも増やすことができ、完結しないのだから、
全体というまとまりがなく、したがって集合とは言えない。
要するに可能無限、可算無限としての自然数は
集合とは言えない。
(引用終わり)
この話、そのままではないですが
現代集合論に「クラス」という概念があって
無制限に集合を考えては、パラドックスになるので、集合を制限すべきであると
考えた人がいます（下記）
URLﾘﾝｸ(ja.wikipedia.org)(%E9%9B%86%E5%90%88%E8%AB%96)
クラス (集合論)
(抜粋)
「全ての集合の集まり」はクラスである。このクラスだが集合でないようなものは真のクラス と呼ばれ、集合となるようなクラス（つまり集合）は小さいクラス とも呼ばれる。
例えば、全ての順序数からなるクラスや全ての集合からなるクラスは、多くの形式体系において真のクラスである。
19世紀以前の多くの"クラス"に関する議論は集合のことを指していた、もしくはもっと曖昧な概念をさしていた
与えられた型の代数的対象全ての集まりは、たいてい真のクラスをなす。例えば、全ての群からなるクラス、全てのベクトル空間からなるクラス、など。圏論では、対象の集まりが真クラスをなすもの（または射の集まりが真クラスをなすもの）を大きい圏という。
集合論では、集合の集まりの多くは真クラスになってしまう。例えば、全ての集合からなるクラス、全ての順序数からなるクラス、全ての基数からなるクラスなど。
パラドックス
ラッセルのパラドックスなどの素朴集合論のパラドックスは「全てのクラスが集合である」という正しくない仮定によって説明される。
厳格な基礎付けの下では、これらはパラドックスなのではなくて、ある種のクラスが真クラスであることの証明を示唆するものであると捉えることができる。
ラッセルのパラドックスは「自分自身に属する集合」全体が真のクラスになることを示唆するし、ブラリ＝フォルティのパラドックスは全ての順序数からなるクラスが真のクラスであることを示唆している。
60:哀れな素人
19/06/13 12:48:26.20 mV5PQHsv.net
スレ主よ、僕の本が一冊売れたぞ（笑
そろそろお前も買って読め（笑
61:１３２人目の素数さん
19/06/13 14:52:03.89 DhrTdtd0.net
>>52
>どこまでも増やすことができ、完結しないのだから、
>全体というまとまりがなく、したがって集合とは言えない。
「増やす」とか「完結する」とかは君の流儀であって、誰もが君の流儀に従わなきゃならないというのはオカシナ話である。
実際、現代数学では「増やす」必要が無く、従って「完結」を気にする必要も無く、最初から全ての自然数を持つ集合とする流儀である。
君が現代数学の流儀を好まないのなら君独自の数学を構築すればいいだけである。がんばれよ。
62:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 15:33:50.96 fIom6At7.net
＜前スレよりつづき＞
スレ67 ｽﾚﾘﾝｸ(math板:998番)
998 返信：１３２人目の素数さん[sage] 投稿日：2019/06/13(木) 14:22:44.19 ID:DhrTdtd0 [11/12]
>>996
>そのことは、大学レベルの関数論、あるいは形式的冪級数論を、かじった程度で、自明に分かる
証明を放棄したいと？ それならそれで構いませんが
(引用終わり)
いいえ
証明は放棄していません
数学は、レベルがあるのです
中学レベルの関数概念しかない人には、反例が成り立っていることは理解できないでしょうね
その人に分かるように説明してくれと言われても
正直、その人がどの程度低いレベルから説き起こさないといけないのか、見当がつかない
まあ、そのうち分かるでしょう
急がないでいいですよw
63:１３２人目の素数さん
19/06/13 15:36:44.80 DhrTdtd0.net
>>56
誰も説明を求めてませんよ？
あなたが不成立を証明したいならどうぞと言ってるだけです。
証明したくないならそれでも構いません、あなた次第です。
64:１３２人目の素数さん
19/06/13 15:37:36.64 DhrTdtd0.net
スレ主の不成立証明の欠陥まとめ
>>986
>時枝定理が関数論の定理と矛盾すると主張したいなら、どの定理と矛盾するのか具体的に述べて下さい。
>>992
>不十分です。
>あなたが持ち出したケースが
>>ｎ有限からの極限 lim[n→∞]an が、
>>そのまま成り立つ場合
>であることが示されてませんので。
>>999
>あなたの
>>ある有限値D を与えて、可算無限数列の決定番号がD以下になるようにできる
>はDが先にあり、決定番号をD以下になるようにできることが必要
>と言ってますが違います。Dが決定番号たちから決まるのです。
>完全に間違ってますよ
65:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 15:45:08.51 fIom6At7.net
>>54
私よりもふさわしい方、下記 京都大学助教授にお勧めください（＾＾
URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
＜特別寄稿＞スコーレムの有限主義 出口, 康夫 哲学論叢 (2002), 29: 81-104
(抜粋)
１ 序
スコーレム(Thoralf Albert Skolem: 1887 ? 1963)は算術（自然数論）や解析学の分野で重要
な業績を残したノルウェーの数学者である。が、彼はまた、ゲーデルと並ぶ 20 世紀最大の
論理学者の一人と評されることがあるほど(1)、論理学や集合論の領域でも多大な貢献をな
した。
本論は、この数学の哲学上の空白を埋める、本格
66:的なスコーレム研究 の呼び水となるべく、さしあたって彼の有限主義に焦点を絞り、その哲学的含意を明らか にし、それを基に数学の哲学におけるその位置付けを目指す。 位置付けの際、特に注目されるのは次の諸点である。 （一）スコーレムの有限主義は、数 学における構成主義(constructivism)の一つと目されるが、だとしたら、それはどのような意味で構成主義的なのか。 （二）構成主義の他の立場、特にその哲学的分析が比較的進んでいる直観主義(intuitionism)と有限主義との異同は何か。 （三）有限主義はどのような点で「有 限的(finitary)」であると言えるのか。 （四）今日、直観主義を含めた構成主義は（カント・ポアンカレ・フランス経験主義者などその先駆者たちは別として）、一般に排中律(theprinciple of excluded middle, tertium non datur) A ∨ ￢Aを認めない。それに対し一人有限主義のみは排中律を保持する。一方では構成主義を採り、他方では排中律を認めることは両立可能なのか。 これら一群の問題に答えるため、次のような手順を踏んで議論が進む。 まず構成主義一般の特徴を、古典主義と対比しつつ概観し（第二節）、 その中でも特に直観主義に注目し、その哲学的な立場を簡単に見定めておく（第三節）。 次にスコーレムが有限主義の立場から 展開した原始帰納算術（以下 PRA と略記）をやや踏み込んで紹介し、その特徴づけを試みる（第四節）。 その上で、PRA の諸特徴に則しつつ、有限主義の哲学的含意の摘出を企てる（第五節）。 最後に、析出された哲学的諸含意を総合することで、上記の諸問題に一定の解答を与える（第六節）。
67:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 15:47:19.13 fIom6At7.net
>>57-58
大学２年以上のレベルの数学の力があれば、これで十分反例構成が出来ていることは、自明
自明が分からずさわぐ低レベルの人たちだけが、問題視しているのです（＾＾
68:１３２人目の素数さん
19/06/13 16:09:16.25 DhrTdtd0.net
>>60
証明を放棄したいということですね？了解です。
これにてあなたの負けが確定しましたので、約束通りスレを閉じて下さい。
69:１３２人目の素数さん
19/06/13 16:10:09.21 DhrTdtd0.net
スレ主の不成立証明の欠陥まとめ （解説付き）
>>986
>時枝定理が関数論の定理と矛盾すると主張したいなら、どの定理と矛盾するのか具体的に述べて下さい。
⇒スレ主は時枝定理が関数論と矛盾すると主張したいようだが、具体性に欠け絵空事の域を出ない。
>>992
>不十分です。
>あなたが持ち出したケースが
>>ｎ有限からの極限 lim[n→∞]an が、
>>そのまま成り立つ場合
>であることが示されてませんので。
⇒スレ主は有限列では当てられないので無限列でも当てられないと主張したいようだが、主張の正しさの根拠が示されていない。
>>999
>あなたの
>>ある有限値D を与えて、可算無限数列の決定番号がD以下になるようにできる
>はDが先にあり、決定番号をD以下になるようにできることが必要
>と言ってますが違います。Dが決定番号たちから決まるのです。
>完全に間違ってますよ
⇒スレ主は時枝定理を問題０～３から否定したいようだが、スレ主は時枝定理を誤解しており、
時枝定理と問題０～３は無関係である。
尚、問題１の修正版（下記）は時枝解法に登場する確率の類似である。
＜問題１’＞
自然数を５つ任意に選んで、a1,a2,a3,a4,a5とする。
無作為に選んだ
a ∈{a1,...,a5}
が、残りの４つの値の最大値以下である確率P1'はいくらか？
70:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 16:18:01.68 fIom6At7.net
＜前スレよりつづき＞
スレ67 ｽﾚﾘﾝｸ(math板:999番)
999 返信：１３２人目の素数さん[sage] 投稿日：2019/06/13(木) 14:29:50.29 ID:DhrTdtd0 [12/12]
>>997
だからその意味のDでしょ？
その意味のDは決定番号たちから決まる値ですよ？
あなたの
>ある有限値D を与えて、可算無限数列の決定番号がD以下になるようにできる
はDが先にあり、決定番号をD以下になるようにできることが必要
と言ってますが違います。Dが決定番号たちから決まるのです。
完全に間違ってますよ
(引用終わり)
＞その意味のDは決定番号たちから決まる値ですよ？
いいですよ、それで
＞>ある有限値D を与えて、可算無限数列の決定番号がD以下になるようにできる
＞はDが先にあり、決定番号をD以下になるようにできることが必要
＞と言ってますが違います。Dが決定番号たちから決まるのです。
？ 意味分かりませ～ん（＾＾
時枝での登場人物は、記事ではただ二人ですね
主題者と解答者と二人
代表はだれが決めますか？
解答者側でしょ？
どうやって決めますか？
確たる決定手順はない
ただただ、同値類の中から適当にその同値類元から、一つを選んでおくだけのことでしょ（＾＾
問題の列以外の他の99列を開けて、D（99の列の決定番号たちの最大値）を決めます
さて、時枝の通りD+1から先のしっぽの方の箱を開ける
代表を知り
そして、未開封のD番目の箱の中の値を推測する
的中させるために、問題の列ｉで決定番号di<=Dでなければならない
（di＞Dなら、的中できない）
■
時枝記事が、主張している手順は、ただただ、上記の通りですよね！（＾＾
↓
私の主張は、（前スレ67の>>991より）
『時枝解法とは、”ある有限値D を与えて、可算無限数列の決定番号がD以下になるようにできる”とすることで成立している』というものです
QED
71:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/13 16:19:52.94 fIom6At7.net
>>61
このスレは大学数学を扱います
大学数学が分からないなら、高校数学スレへどうぞ。サヨウナラ（＾＾
72:哀れな素人
19/06/13 16:21:00.85 mV5PQHsv.net
ID:DhrTdtd0
↑こいつは昨日一日中張り付いていた奴だな（笑
>>55を見るだけでアホであること丸分り（笑
実はこいつが、無限集合が存在しない理由を知りたくて
僕の本を買ったのか…と思っていたが、
やはりこいつではなさそうだ（笑
>>59
連絡先が分らない（笑
73:哀れな素人
19/06/13 16:28:26.07 mV5PQHsv.net
このスレにひとり、宇宙人が何とかかんとかと
変な投稿をしている人がいるが、
その人が僕の本を買ったのだろうか（笑
とにかくフツーの人は僕の本は買わない（笑
その理由は
１ 題名を見ただけでトンデモだと判断する（笑
２ 著者が文学部国文科卒である（笑
スレ主なども同じような目で僕の本を見ている（笑
74:哀れな素人
19/06/13 16:36:34.00 mV5PQHsv.net
他人を差別的な目で見ている者はエライ人間ではない。
一石なんて完全に差別的な目で他者を見ている。
他者をサル、畜生と呼び、東大数学科卒だと自慢し、
数学者だけがエライと思い、東京生まれであることさえ自慢している（笑
なぜこの男はこれほど異常に他者を差別するのだろうか（呆
スレ主も同じで、俺は理系だからと自惚れ、文系を差別している。
その自惚れと高慢が見え隠れするから反感を買うのである。
市川氏など、そういうところがまったくない。
誰が著者であろうと、興味があれば買う。
市川氏が他者に差別的発言をしたことなどまったくない。
75:１３２人目の素数さん
19/06/13 16:43:29.31 DhrTdtd0.net
>>63
>的中させるために、問題の列ｉで決定番号di<=Dでなければならない
勝率１で的中させるならね。
しかし時枝定理は勝率１とは言ってません。あなたの誤解です。
そうではなく時枝定理は勝率99/100以上と言ってます。
di<=D を満たす列は100列中99列以上あるので、100列のいずれかをランダムに選べば勝率99/100以上になります。
76:哀れな素人
19/06/13 16:43:52.56 mV5PQHsv.net
市川氏のような人は滅多にいない。
氏はどんなに一石から悪罵侮辱嘲笑されても、
ですます体の丁寧な返答をする。
もちろん人間だから、たまには皮肉的な返答もするが。
あのような人は日本中探しても珍しい。
おそらく、クリスチャンだから、
右の頬を打たれても左の頬を差し出すよう修行しているのだ。
われわれよりずっとエライ人である。
77:１３２人目の素数さん
19/06/13 16:44:27.02 DhrTdtd0.net
>>64
言い訳は無用です。
約束を履行して下さい。直ちにスレを閉じて下さい。
78:１３２人目の素数さん
19/06/13 16:48:35.24 0dV74ewq.net
>>66
ポクは、まだ買ってない、
ケーキを食べ尽くしてから買う
以上
Ω星宇宙人の電波による司令でした
79:１３２人目の素数さん
19/06/13 16:49:50.43 DhrTdtd0.net
スレ主の不成立証明の欠陥まとめ （解説付き）
>>986
>時枝定理が関数論の定理と矛盾すると主張したいなら、どの定理と矛盾するのか具体的に述べて下さい。
⇒スレ主は時枝定理が関数論と矛盾すると主張したいようだが、具体性に欠け絵空事の域を出ない。
>>992
>不十分です。
>あなたが持ち出したケースが
>>ｎ有限からの極限 lim[n→∞]an が、
>>そのまま成り立つ場合
>であることが示されてませんので。
⇒スレ主は有限列では当てられないので無限列でも当てられないと主張したいようだが、主張の正しさの根拠が示されていない。
>>999
>あなたの
>>ある有限値D を与えて、可算無限数列の決定番号がD以下になるようにできる
>はDが先にあり、決定番号をD以下になるようにできることが必要
>と言ってますが違います。Dが決定番号たちから決まるのです。
>完全に間違ってますよ
⇒スレ主は時枝定理を問題０～３から否定したいようだが、スレ主は時枝定理を誤解しており、
時枝定理と問題０～３は無関係である。
尚、問題１の修正版（下記）は時枝解法に登場する確率の類似である。
＜問題１’＞
自然数を５つ任意に選んで、a1,a2,a3,a4,a5とする。
無作為に選んだ
a ∈{a1,...,a5}
が、残りの４つの値の最大値以下である確率P1'はいくらか？