17/05/27 13:52:06.95 tKnzoBS7.net
>>2つづき
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板)
3:現代数学の系譜11 ガロア理論を読む
17/05/27 13:52:28.85 tKnzoBS7.net
大学新入生もいると思うが、間違っても２ＣＨで数学の勉強なんて思わないことだ
このスレは、趣味と遊びのスレと思ってくれ（＾＾；
4:現代数学の系譜11 ガロア理論を読む
17/05/27 13:53:00.92 tKnzoBS7.net
以下過去スレより再掲
ｽﾚﾘﾝｸ(math板:7番)
7 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/19(水) 22:07:49.66 ID:gLi5Ebjw
まあ、過去何年かにわたって、猫さん、別名、￥ ◆2VB8wsVUooさんが、数学板を焼いていたからね
ガロアスレは別として、数学板は焼け跡かな
再生は無理だろう
そもそも、２ＣＨは、数学に向かない
アスキー字に制限され、本格的な数学記号が使えない
複数行に渡る記法ができない
複数行に渡る矢印や、図が描けない（ＡＡ（アスキーアート）で数学はできない）
大学数学用の掲示板を、大学数学科が主体となって、英語圏のような数学掲示板を作った方がいいだろうな、実名かせめてハンドルネーム必須でね、プロないしセミプロ用
5:現代数学の系譜11 ガロア理論を読む
17/05/27 13:54:41.54 tKnzoBS7.net
個人的には、下記は、”知恵袋の人>>>2ｃｈ”
ｽﾚﾘﾝｸ(math板:494番)
494 現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/17(月) 18:01:02.76 ID:mNM7pqkU
前にも紹介したが、新入生もいるだろうから、下記再掲しておく。なお、信用できないに、私スレ主も含めること。定義から当然の帰結だが（＾＾；
URLﾘﾝｸ(note.chiebukuro.yahoo.co.jp)
Yahoo 知恵袋
数学の勉強法 学部～修士
ライター：amane_ruriさん（最終更新日時:2012/8/6）投稿日：2012/8/4
ナイス！：5閲覧数：11594
(抜粋)
私は修士1年生ですので、正直に言いますとこの部分はあまり書いているのが正しいとは思えません。趣味で書いているものだと認識していただければ良いのではないかと思っております。大学3、4年に入ってまず怖いのが数学の本の氾濫でしょう。まず何を読んで何をすればいいのか分からなくなります。
そして、自分のやっていることがいかにちっぽけな存在なのかというのを実感させられます。（多分皆がそうでしょう。）そして、結果が問われてきます。ここで、数学科は「入るのは易しいけどプロになるのは難しい」ということが実感させられてきます。
2012年8月3日現在、書泉グランデで有名数学者の薦める本がありました。森重文先生を初めとして本の多さに圧倒されました。（足立恒雄先生は信頼と安心のブレなさ）
2.2ｃｈの内容は信用できるか？
基本的に信用できません。先生＞周りの人＞＞＞2ｃｈや知恵袋の人です。何故かというといつも同じことしか言っていないから。多分きちんと検証していないで想像で議論しているだけではないのかと私は思っています。（まあ、自分もあんまり信用できないけど）
数学をする場合は、問題が解けることも重要なのですが問題設定を作ることが大切です。そういう時に、どういう風に学んできたのかとか、正確な知識がどういう部分でどれだけ持っているのか、調和性や、生まれて来た環境っていうのが重要になってきます。
ただ、それがどうも2ｃｈの人は見られない（し、そもそも偉そうなことを言っている人が本当にできるかどうか分からない。）。こういう類のものは勉強不足ですとか、分かっていませんでしたで済まされるものではないと個人的には思うのですが。
(引用終り)
6:現代数学の系譜11 ガロア理論を読む
17/05/27 13:55:04.16 tKnzoBS7.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ページに及ぶ準薄群の分類によって埋められており、これは現在は完璧であると一般に受け入れられている。
7:現代数学の系譜11 ガロア理論を読む
17/05/27 13:55:43.65 tKnzoBS7.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ページに及ぶ準薄群の分類によって埋められており、これは現在は完璧であると一般に受け入れられている。
8:現代数学の系譜11 ガロア理論を読む
17/05/27 13:56:14.13 tKnzoBS7.net
以下、過去時枝が数学セミナーに書いた記事（「箱入り無数目」数学セミナー2015.11月号）が話題になったが、それに関連して、前スレより再掲。
（時枝記事への批判詳細は、後述）
ｽﾚﾘﾝｸ(math板:619番)
619 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/05(金) 22:57:51.96 ID:ZYeih3Vj
私は、時枝記事が成り立たないことを前提として
時枝記事がなぜ成り立たないか？ なぜ、成り立つように見えるか
そういう議論には参加するが
時枝記事が成り立たないこと前提とするの部分が
共有できない人とは議論しません
あしからず
では、とうぞスレ28へ。下記７でしたね。私は行きませんから（＾＾
ここから見ていますよ。自分達が立てたスレが寂れたからと、這い出してこないようにお願いします（＾＾；
現代数学の系譜11 ガロア理論を読む28
ｽﾚﾘﾝｸ(math板:7番)
(抜粋)
7 名前：１３２人目の素数さん[sage] 投稿日：2017/01/02(月) 20:02:42.58 ID:0caOih5s
＊＊＊＊ このスレを訪れた方へ ＊＊＊＊
急ではありますが、このスレは
■時枝問題を語るスレ
になりました。
ただし以下の行為は厳に謹んでください：
・他サイトからのコピペでスレを埋め尽くす行為
・デタラメを述べておきながら間違いの指摘は無視する行為
・明らかな間違いにもかかわらず、数学は自由だから何でもありだろ？、と無理やり正当化する行為
・他人の学歴など個人情報を聞き出す行為
・その他、材料工学分野の研究者/エンジニアの名誉を貶める行為
以上
9:現代数学の系譜11 ガロア理論を読む
17/05/27 13:56:34.67 tKnzoBS7.net
>>8
＜補足＞私の見解
・他サイトからのコピペでスレを埋め尽くす行為：上記>>7のようにどこの馬の骨とも分からない人の発言は、数学的には無価値。真に価値があるのは、根拠のあるURLとそこからのコピペ
・デタラメを述べておきながら間違いの指摘は無視する行為：バカの壁。自分のレベルの低さを自覚せず、勉強せず、延々自分たちの狭い知見の議論を繰り返す（文系）High level people を無視するだけのこと（説明しても理解できないレベルでどうしようもない（＾＾；
URLﾘﾝｸ(ja.wikipedia.org) (抜粋)『バカの壁』（バカのかべ）は、東京大学名誉教授・養老孟司の著書。2003年（平成15年）4月10日、新潮新書（新潮社）より刊行された。400万部を超えるベストセラーとなり、同年の新語・流行語大賞、毎日出版文化賞特別賞を受賞。
・明らかな間違いにもかかわらず、数学は自由だから何でもありだろ？、と・・： ”明らかな間違い”は自分達だろ？ なお、現代数学では、定義は自由です。（文系）High level peopleたちの思考は、１９世紀レベルで停止だな。なお、Well-defined の視点は重要だよ URLﾘﾝｸ(ja.wikipedia.org)
・他人の学歴など個人情報を聞き出す行為：いくら説明しても、相手が理解できないようなので、相手のレベルを確認したまで。小学生、中学生レベルにこれ以上説明するつもりなく、”勉強してね”というのみ。
せめて高校レベルなら、努力して説明しようかという気にもなる・・。自分よりレベルが高ければ、教えを請うだろう。確認は、普段はしないが、議論がかみ合わなければこれからもありうる（＾＾；
・その他、材料工学分野の研究者/エンジニアの名誉を貶める行為：あんたら、材料工学の何が分かっているのか？ 材料工学を修得した人なら、時枝「箱入り無数目」数学セミナー2015.11月号記事不成立は自明。材料工学では拡散過程や統計力学で、確率論程度は常識だ。時枝記事は確率論に反するってこと！（＾＾
10:１３２人目の素数さん
17/05/27 14:31:08.71 el0HJV7v.net
なんだかなー。全く同じことの繰り返しで、
哀れなお爺ちゃんの相手をするのも飽きてきたな。
前スレの>>512の
＞なぜならｘ＜１のようなｘは、それがどんなｘであれ、
＞1/2＋1/4＋1/8＋……はいつか必ずそのｘより
＞大きくなってしまう（ｘを通り越してしまう）からである（笑
の３行はε－δ論法そのものだから、哀れなお爺ちゃんは
少なくともこの程度は自力で発見できるアタマがあるのに、
その一方で無限小数は存在しないとかバカな発言を
繰り返してるのが不思議でしょうがない。
無限小数も無限集合も実無限も非可算無限も、哀れな素人が
かつて在籍していたらしい京大でも教えられているぞ(少なくとも数学科では)。
この程度は世界的に
11:標準的カリキュラムだからな。
12:１３２人目の素数さん
17/05/27 14:39:50.65 el0HJV7v.net
前スレ>>637
＞０から１まで等速直線運動をせよ、と言っているのではない（笑
＞そんなことをしたら１を通り過ぎてしまうことは誰にも明らかだ（笑
ほらね。そういう設定なら、明らかに１に到達できるだろ？
俺が言ってるのはそういうことだよ。
13:１３２人目の素数さん
17/05/27 14:42:49.03 el0HJV7v.net
前スレ>>637
＞言い方を変えれば、まず1/2の距離を動き、次は1/4の距離を動き、
＞次は1/8の距離を動き、……というように動いていったとき、
＞１の地点に到達できるでせうか、と質問しているのである（笑
＞動くスピードや、それに要する時間などまったく関係ない（笑
また同じことの繰り返しだな。いい加減に飽きてきたぞ。
時間の概念を持ち出さずに「１に到達できるか」と言ってみたところでナンセンス。
ペンの例では、無限回の移動イベントが時系列に沿って用意されているが、
もしそれらの移動イベントを時間と関係なしに行ってよいのならば、時系列を無視して
それらの移動イベントを実行できることになるので、それらの移動イベントを経過時間ゼロで
一気に実行すればよい。そうすれば「１に到達できる」ことになり、お前の主張は破綻する。
結局、「１に到達できない」と主張するためには、まず時間の概念を前提としなければならない。
また、ペンの例は「移動イベントが 無 限 個 ある」という部分に話のキモがあるが、
現実世界では移動イベントが途中から実行不可能になり、本当の有限回で終わるという
マヌケなオチがつくだけなので、ペンの例は頭の中のイデアの世界で論じなければ効力を発揮しない。
しかし、イデアの世界ならば、次のように考えれば「１に到達できる」ので、
ケーキとかペンとかの比喩を用いたお前の論法は破綻することになる。
[続く]
14:１３２人目の素数さん
17/05/27 14:49:40.62 el0HJV7v.net
[続き]
――――――――――――――――――――
頭の中のイデアの世界で、以下のようにして閉区間[０,１]の中に線分を描くことにする。
まず、A君はペンを持っているとする。
A君は紙の上にペンを置く。そこを左端点０と考える。以後、ペンは紙の上に
ずっと乗せたままにし、ペンの可動範囲は閉区間 [０,１] 内のみとする。
さて、現状の左端点から出発して、A君は右に向かって長さ 1/2 の線分を 1/2 秒で書く。
次に、そこから出発して、A君は右に向かって長さ 1/4 の線分を 1/4 秒で書く。
次に、そこから出発して、A君は右に向かって長さ 1/8 の線分を 1/8 秒で書く。
………
A君にはこの作業を続けてもらう。その一方で、A君のそばにB君がいるとする。
このB君は時計を眺めているだけであり、A君の実験を全く観察していない。
よって、B君にとっては 1/2 とか 1/4 とかいう操作は無関係である。
よって、B君にとっては、「１秒」という時間の経過を確実に達成することができる。
すなわち、B君は１秒後のシーンに達することが出来る。
そこで、B君が１秒後のシーンに達した瞬間に、B君はA君の方を向いて写真を撮る。
すると、この写真に写っているペン先の位置は右端点である。
その理由は何度も説明してきたので繰り返さないが、せっかく「等速直線運動」という
言葉が出てきたので、その言葉を用いて軽く説明することにする。
まず、A君の実験では、経過時間が 1/2＋1/4＋・・・＋1/2^n のときの
ペン先の位置は 1/2＋1/4＋・・・＋1/2^n であることが分かる。
すなわち、経過時間とペン先の位置が一致している。
よって、これは等速直線運動をしているのと同じことである。
そして、等速直線運動ならば、「１秒後」のシーンにおいては、
ペン先は明らかに右端点１の地点に存在する。
――――――――――――――――――――
[続く]
15:１３２人目の素数さん
17/05/27 14:59:17.55 el0HJV7v.net
[続き]
以上より、時間とセットにした上記のような設定なら、
B君が撮影した写真に写っているペン先の位置は右端点なのである。
すなわち、１秒後にはペン先は右端点１に存在しているのである。
くどいようだが、「１秒後には」である。
「１秒後には」「ペン先は右端点１に存在している」
のである。
結局、1/2＋1/4＋1/8＋・・・ の話をしたいのなら、1/2＋1/4＋1/8＋・・・ そのものの話を
するしかないのである。時間とセットになってしまうポンコツな比喩を用意しても、
上記のようにして論破されてしまうのである。
そして、1/2＋1/4＋1/8＋・・・ そのものの話とは何かというと、
それは 定 義 の話である。つまり、お前が用いている
1/2＋1/4＋1/8＋・・・
という記号列を、お前はどういう意味で使っているのかということである。
そういう話をするしかないのである。
すなわち、実のところ、「定義少年」の方が正当な話の進め方をしているのであるｗ
16:１３２人目の素数さん
17/05/27 15:04:08.61 cIdcynL8.net
前スレ>>698
OK、お後よろしいです。
良ければ引き続き語ってください。
疑問でたら難癖つけます（笑）
17:現代数学の系譜11 ガロア理論を読む
17/05/27 15:07:01.54 tKnzoBS7.net
過去スレより
ｽﾚﾘﾝｸ(math板:679番)
>>679
>めんどくさいなあ。
>君が無駄なコピペをやめてくれればサイズ制限なんか気にしなくてすむのに。
スレ28が空いているよ（＾＾
スレ28が君を呼んでいる・・？
立てたのは君だっけ？（＾＾
18:１３２人目の素数さん
17/05/27 15:13:36.62 HNEpWV5q.net
>>15
了解しました
どうせなら、ここではなく、別のスレッドを立てて語り合いませんか？
タイトルは「箱入り無数目の嘆き」とか・・・
URLﾘﾝｸ(www.youtube.com)
19:現代数学の系譜11 ガロア理論を読む
17/05/27 15:18:03.72 tKnzoBS7.net
過去スレより
ｽﾚﾘﾝｸ(math板:672番)
おそらく、ルジャンドルの定理に基づく発言でしょう
第一定理
平行線の公理がないと、三角形の内角の和は１８０度に等しいかまたは１８０度より小さくなる。
第二定理
内角の和が１８０度になる三角形が一つでもあればどの三角形の内角の和も１８０度になる。
（言い換えると、「内角の和が１８０度より小さい三角形が一つでもあればどの三角形の内角の和も１８０度より小さくなる」）
URLﾘﾝｸ(mathsoc.jp)
(引用終り)
＜私のレス＞
ルジャンドルの定理理解した。下記、川平友規 名古屋大が分かり易い
但し、公準5（改）が完全に重複繰り返し(P3とP4)なので、おそらく前の分が公準5そのもの（後述）のつもりで、訂正忘れだろうね（＾＾
川平友規の立場は、非ユークリッド幾何＝曲がった空間＝リーマン幾何（P18-23）
URLﾘﾝｸ(www.math.titech.ac.jp)
川平友規 名古屋大学大学院 多元数理科学研究科
URLﾘﾝｸ(www.math.titech.ac.jp)
Full List of Past/Current Courses (in Japanese)
(抜粋)
非ユークリッド幾何と曲がった空間の話 -- ガウス・ボヤイ・ロバチェフスキー NHK文化センター(2007年6月)，一般向け．
URLﾘﾝｸ(www.math.titech.ac.jp)
非ユークリッド幾何と曲がった空間の話 川平友規 2007 NHK文化センター 名古屋大学大学院 多元数理科学研究科
20:現代数学の系譜11 ガロア理論を読む
17/05/27 15:21:36.97 tKnzoBS7.net
>>17
どうも。スレ主です。
賛成です。私は、中途半端には参加しないことにします
但し、議論が簡潔して、自身が持てたら、「どうだ、参ったか」と書いてください
降参なら降参と書きます
疑問なら疑問と書きます
よろしくね（＾＾
21:現代数学の系譜11 ガロア理論を読む
17/05/27 15:22:34.01 tKnzoBS7.net
>>19 訂正
但し、議論が簡潔して、自身が持てたら、「どうだ、参ったか」と書いてください
↓
但し、議論が簡潔して、自信が持てたら、「どうだ、参ったか」と書いてください
22:１３２人目の素数さん
17/05/27 15:23:38.06 HNEpWV5q.net
>>16
リンクが間違ってますね
URLﾘﾝｸ(rio2016.2ch.net)
>めんどくさいなあ。
>君が無駄なコピペをやめてくれればサイズ制限なんか気にしなくてすむのに。
ですよ
23:１３２人目の素数さん
17/05/27 15:24:52.35 cIdcynL8.net
>>17
良いんですけど、本当の期待はID:el0HJV7v氏とあなたの議論だったりします。
ID:el0HJV7v氏は
ｽﾚﾘﾝｸ(math板)
の賢い方の方と睨んでいます。
彼の終結をいったん待ちますか。
そろそろ飽きてきたようですし（笑）
24:現代数学の系譜11 ガロア理論を読む
17/05/27 15:27:51.60 tKnzoBS7.net
>>18 つづき
公準5そのもの下記
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
平行線公準
ユークリッド（エウクレイデス）の第5公準（公理）とも呼ばれる。
1つの線分が2つの直線に交わり、同じ側の内角の和が2直角より小さいならば、この2つの直線は限りなく延長されると、2直角より小さい角のある側において交わる。
平行線公準が成立しない幾何学は非ユークリッド幾何学と呼ばれる。平行線公準から独立した幾何学（つまり、ユークリッド公準のうち、最初の4つの公準しか仮定しない幾何学）を絶対幾何学（英語版）（もしくは中立幾何学）と呼ぶ。
論理的に同値な性質
ユークリッドの平行線公準の最もよく知られている形は、名前をスコットランドの数学者ジョン・プレイフェア（英語版）に由来するプレイフェアの公理（英語版）であろう。
平面上に直線と、直線上に存在しない点が与えられたとき、点を通り直線に平行な直線は与えられた平面上に高々1本しか引くことができない[1]。
歴史
サッケーリは背理法を用い、角Cと角Dが直角でない場合を考え、矛盾を導き出そうと試みた。
鈍角の場合、直線は有限であるという結論を得たので、これはユークリッドの第2公準に反するとして、サッケーリはこの可能性については排除した。
しかし現在、第2公準と第5公準を否定した幾何学としては例えば楕円幾何学が知られている。
鋭角の場合についてサッケーリは有効な反論をすることができず、「鋭角の仮定は絶対に間違っている、なぜならそれは直線の性質に矛盾しているからだ」という表現に留めている[14]。
リーマン、そしてアンリ・ポアンカレによって双曲幾何学（鋭角の場合）と楕円幾何学（鈍角の場合）へと発展していった。
平行線公準とユークリッドの他の公準が論理的に独立（英語版）であることは、最終的には1868年、ユージニオ・ベルトラミ（英語版）によって示された。
25:現代数学の系譜11 ガロア理論を読む
17/05/27 15:31:09.51 tKnzoBS7.net
>>21
どうも。スレ主です。
失礼しましたｍ（＿ ＿）ｍ
訂正ありがとう（＾＾
26:１３２人目の素数さん
17/05/27 15:38:21.43 KkCDAO7a.net
絶対真理
>めんどくさいなあ。
>君が無駄なコピペをやめてくれればサイズ制限なんか気にしなくてすむのに。
27:１３２人目の素数さん
17/05/27 15:42:35.39 HNEpWV5q.net
>>22
どちらが賢いほうかちょっとわかりませんでした
有限列全体の空間に上手く測度が設定できるのか
私には分かりかねるのでなんらかの示唆がいただける
なら有難いことです（正直いって解析は苦手なのです）
28:１３２人目の素数さん
17/05/27 15:46:43.94 cIdcynL8.net
>>26
そうですか。
それはどちらも賢くないように見えるという痛いお言葉ですね？（笑）
別スレに飛んでもよいし28でもいいしここでもいいし、何でもいいですよ。
29:１３２人目の素数さん
17/05/27 15:59:01.63 9kBPzTP8.net
>>18
おっちゃんです。
>非ユークリッド幾何＝曲がった空間＝リーマン幾何（P18-23）
双曲幾何やら球面幾何やらの区別の背景には、クラインの思想がある。
群による空間の中での直線の移し方の区別について変わらないような性質の研究法で、
楕円幾何、双曲幾何、放物幾何に区別される。どの幾何でも、2直線が唯1点で交わることは仮定する。
このような思想の幾何では、角度や距離を扱えない点を除いては、楕円幾何(球面幾何)と双曲幾何はそのまま。
放物幾何はユークリッド幾何に当たる。このクラインの思想では、リーマン幾何は扱えない。
30:現代数学の系譜11 ガロア理論を読む
17/05/27 16:02:13.09 tKnzoBS7.net
>>23 つづき
で、>>18の ルジャンドルの定理に基づく発言は、ＰＤＦを読むと
公理１～４を認めた上で、公理５（平行線公理）を否定するって話だね
だが、>>23に示したように、
「サッケーリは背理法を用い、角Cと角Dが直角でない場合を考え、矛盾を導き出そうと試みた。
鈍角の場合、直線は有限であるという結論を得たので、これはユークリッドの第2公準に反するとして、サッケーリはこの可能性については排除した。
しかし現在、第2公準と第5公準を否定した幾何学としては例えば楕円幾何学が知られている。
鋭角の場合についてサッケーリは有効な反論をすることができず、「鋭角の仮定は絶対に間違っている、なぜならそれは直線の性質に矛盾しているからだ」という表現に留めている[14]。」
ってことなんだ。サッケーリの話は、そのＰＤＦのＰ5に書かれている
で、非ユークリッド幾何をどう考えるかで、そのＰＤＦの泉屋 周一先生（北大）( ｽﾚﾘﾝｸ(math板:678番))
は、公理１～４を認めてという縛りを入れたんだ
が、しかし現代数学の標準の非ユークリッド幾何は、>>18川平友規先生（名大）とか、過去スレの下記wikipediaの立場でしょ
広くは、広義リーマン幾何（曲率が一定でない）まで含むのが普通（川平友規先生ＰＤＦ）
URLﾘﾝｸ(ja.wikipedia.org)
非ユークリッド幾何学
(抜粋)
非ユークリッドな幾何学の公理系を満たすモデルは様々に構成されるが、計量をもつ幾何学モデルの曲率を一つの目安としたときの両極端の場合として、至る所で負の曲率をもつ双曲幾何学と至る所で正の曲率を持つ楕円幾何学（殊に球面幾何学）が知られている。
(引用終り)
URLﾘﾝｸ(ja.wikipedia.org)
リーマン幾何学とは、リーマン計量や擬リーマン計量と呼ばれる距離の概念を一般化した構造を持つ図形を研究する微分幾何学の分野である。
楕円・放物・双曲の各幾何学は、リーマン幾何学では、曲率がそれぞれ正、0、負の一定値をとる空間（それぞれ球面、ユークリッド空間、双曲空間）上の幾何学と考えられる。
31:現代数学の系譜11 ガロア理論を読む
17/05/27 16:03:12.04 tKnzoBS7.net
>>28
おっちゃん、どうも、スレ主です。
レスありがとう（＾＾
32:１３２人目の素数さん
17/05/27 16:04:04.34 HNEpWV5q.net
>>27
単純に理解し難いので「賢い」とも「愚か」とも判断できないという意味です
ID:VW7bBLUp氏のことなら、「積分順序が交換できない」という言葉で
「測度論に基づく限り99/100という値を算出する根拠となった
公平性の前提が成り立たない」といっているのでしょう
それはそうでしょうと私も思います
個人的には不思議を単に楽しむというスタンスもありとは思います
バナッハ・タルスキの逆説に対しても別に当該の集合の測度を
決定する新たな規準が立てられたわけではないが、だからといって
別に誰も困ってないわけでしょう？
33:１３２人目の素数さん
17/05/27 16:14:24.64 9kBPzTP8.net
>>30
普通のリーマン幾何と非ユークリッド幾何でこそ、区別するぞ。
リーマン幾何で曲線(直線)が平行かを考えてもつまらなくなって意味がなくなるしな。
34:１３２人目の素数さん
17/05/27 16:15:38.09 HNEpWV5q.net
>>28
＞クラインの思想
「エルランゲン・プログラム（計画）」ですね
＞（楕円幾何、双曲幾何、放物幾何の）どの幾何でも、
＞2直線が唯1点で交わることは仮定する。
「射影平面上では」ですね
ただ
・放物幾何（ユークリッド幾何）では、交わる箇所は無限遠直線上
変換群では無限遠直線はそれ自身に変換されます
・双曲幾何（非ユークリッド幾何）では、交わる箇所は境界円上もしくはその外
変換群では境界円およびその内側は、それぞれ自身に変換されます
＞このような思想の幾何では、角度や距離を扱えない
ということはありません。実際、複比によってどちらも定義できます
複比を発見したのはイギリスのケイリーですが、
クラインはこの複比によって双曲幾何の角度や距離の定義ができそうだと
気づいて、とある大数学者に相談したところ”そんなこと出来るわけない！”
と怒られて一旦は諦めたがやっぱり諦め切れずやってみたら出来てしまった
という逸話があるそうです 本当かどうかは知りませんが
35:１３２人目の素数さん
17/05/27 16:20:43.85 cIdcynL8.net
>>31
一番のポイントは
ｽﾚﾘﾝｸ(math板:52番)
の下記コメントだと思っています。
> プレーヤー２がどの列を選んでも勝つ場合にどれか１列を負けになるように変更した事象を新たにＦとすれば、
> Ｅ⊃Ｆ、すべてのs∈R^Nでν(Ｆ_s)=99/100となるので、ν(Ｆ_s)は可測、∫[R^N]{ν(Ｆ_s)}dμ(s)=99/100。
> 事象ＦはGAME1の積分順序で確率99/100がきちんと言え、Ｅ⊃Ｆなのだから事象Ｅが起こるのはそれ以上。
可測なFで押さえられるのだから求めたい事象Eの確率はF以上と言ってよい。
その根拠が語られているのが下記です。
ｽﾚﾘﾝｸ(math板:60番)
> 確率のセマンティクスを頻度で与えるという普通の確率論の立場でもって、
> (ⅰ) Ｅ⊃Ｆなので、事象Ｆが起こったなら事象Ｅが起こったことになる。
> (ⅱ) よって、ｎ回試行をしたとき、事象Ｅが起こる頻度は事象Ｆが起こる頻度以上である。
> (ⅲ) ｎ→∞としたとき、事象Ｆが起こる頻度はほとんど確実に収束し99/100(これが事象Ｆが起こる確率)であり、
> 事象Ｅが起こる頻度は収束しないかもしれないが下極限は(事象Ｆが起こる確率である)99/100以上である。
> となります。別段新しい仮定や法則を取り入れてはないでしょう。
36:１３２人目の素数さん
17/05/27 16:31:05.83 HNEpWV5q.net
>>34
Eはもとめられないが、E⊃Fで
Fが99/100だから、Eはそれより大きい筈
という理屈ですか
肝心のE⊃Fは、どういう形で保証してるんですか？
37:１３２人目の素数さん
17/05/27 16:33:50.06 cIdcynL8.net
>>34
> プレーヤー２がどの列を選んでも勝つ場合に> どれか１列を負けになるように変更した事象を新たにＦとすれば、
これがその説明になっていると思いますが、いかがですか？
38:１３２人目の素数さん
17/05/27 16:38:31.36 HNEpWV5q.net
>>36
Eの定義は？
39:１３２人目の素数さん
17/05/27 16:45:03.21 HNEpWV5q.net
>>37
Eについては今調べました
E:プレーヤー２が勝つ事象
F:プレーヤー２がどの列を選んでも勝つ場合に
どれか１列を負けになるように変更した事象
で、上記と、元の問題の関係は？
40:１３２人目の素数さん
17/05/27 16:50:17.90 cIdcynL8.net
遅レスすみません。
問題意識はEが確率99/100以上と言ってよいか？です。
記事に書かれている確率を正当化できるかが論点です。
E⊃FでFが可測で99/100が言えるんだから、正当化されるだろ、ということです。
41:１３２人目の素数さん
17/05/27 16:55:01.01 9kBPzTP8.net
>>33
>実際、複比によってどちらも定義できます
角度や距離が定義出来るんですね。
確かにそうでした。
42:１３２人目の素数さん
17/05/27 16:57:47.33 bmeTIB9A.net
2chはバカの収容所
43:１３２人目の素数さん
17/05/27 17:06:32.31 HNEpWV5q.net
>>39
＞記事に書かれている確率を正当化できるか
その前に、記事に書かれている確率の計算の前提は何か？でしょうね
突拍子もない前提は使ってない、ということなんでしょうが
44:１３２人目の素数さん
17/05/27 17:14:31.72 cIdcynL8.net
>>42
そこはあなたの言う100個の決定番号の公平性だと思っています。
つまり時枝氏は敢えて厳密な測度論を用いずに確率99/100と言っている。
粋な計らいと私は捉えています。
45:哀れな素人
17/05/27 17:15:59.23 6PSSm3/1.net
前スレの>>675
X＝1/2＋1/4＋1/8＋……
Y＝lim[n→∞]Σ[k=1,n]1/2^k
標準数学ではX:=Yと定義しています。
↑このＹの定義が間違いである。正しくは、
Y＝[n＝1→∞]Σ[k=1,n]1/2^k
と書くべきである。
limが付いているのが余計である。なぜなら
limとは極限、極限値を表わす記号だからである。
無限小数には極限値があるが、
無限小数自体は何かの極限（極限値）ではない。
君は上の方のレスで、
1/2＋1/4＋1/8＋……の極限値＝1/2＋1/4＋1/8＋……
と書いていたが、これを変だと思わないのか？（笑
これはＡの極限値＝Ａと言っているのと同じだ（笑
無限級数の極限値＝無限級数
と言っているのと同じくらい変な文章だ（笑
46:１３２人目の素数さん
17/05/27 17:16:02.88 9kBPzTP8.net
>>41
一部のスレを見て2チャンの全体像をいうとは、浅はかな考えだな。
他にも色々な板があるぞ。
47:１３２人目の素数さん
17/05/27 17:16:33.14 cIdcynL8.net
>>43
というのも、記事では非可測を経由したことにきちんと言及しているからです。
しかし実際は、スレ28の論理で正しく確率を捉えていた可能性もあります。
ここまで、記事を読んだ私の想像です。
48:１３２人目の素数さん
17/05/27 17:23:48.98 HNEpWV5q.net
>>43
公平性によるとすれば、それは測度論以前の「問題の前提」だろうと思います
49:哀れな素人
17/05/27 17:29:22.82 6PSSm3/1.net
ペンタコ男はまったくクルクルパーだな（笑
０から１まで等速直線運動をしてしまえば、
1/2の点も1/4の点も1/8の点もそれ以下の点も
通り過ぎてしまい、１秒後に１の地点に達するのは当然である（笑
そんなことは誰だって分っているのだ（笑
お前は気付いていないが、お前は単に
ペンに等速直線運動をさせているだけなのである（笑
1/2＋1/4＋1/8＋……が１になるか、ならないか、
という問題はそういうことではない（笑
長さ1/2、1/4、1/8……の線分を足していって
長さ１の線分を作れるか否か、という問題だ（笑
ペンを1/2動かし、次に1/4動かし、次に1/8動かし……
これを続けて１の点に到達できるか否か、という問題だ（笑
もっとよく考えてみろ（笑
50:１３２人目の素数さん
17/05/27 17:32:05.54 HNEpWV5q.net
＞記事では非可測を経由したことにきちんと言及している
そうですね ただそこが核心なのかどうかはよくわかりませんが
＞スレ28の論理で正しく確率を捉えていた
もっともらしい前提に基づいてる
という意味では正しいんだろうと思いますよ
実際にはどうだといわれても確かめようがありませんから
51:１３２人目の素数さん
17/05/27 17:36:12.36 cIdcynL8.net
>>49
Hart氏のchoice games のgame2はご存知ですか？
あちらは非可測はでてきませんね。
52:１３２人目の素数さん
17/05/27 17:37:07.07 HNEpWV5q.net
>>46
そもそも「箱入り無数目」の記事に対して間違ってるという人が
記事の問題の設定から矛盾を導く証明を示す義務があると
思ってます
立証責任は矛盾を主張する側にあります
無矛盾性の証明がないから矛盾だ、という主張は認められません
53:１３２人目の素数さん
17/05/27 17:39:55.50 el0HJV7v.net
>>48
＞０から１まで等速直線運動をしてしまえば、
＞1/2の点も1/4の点も1/8の点もそれ以下の点も
＞通り過ぎてしまい、１秒後に１の地点に達するのは当然である（笑
だから、俺が言っているのはまさにそういう話である。
そして、お前が持ち出している「食べ尽くせない」というポンコツな比喩表現は、
そのような話に変換できてしまって「食べ尽くせる」ことになって論破されるので、
「食べ尽くせない」というポンコツな比喩はナンセンスだと俺は主張しているのである。
お前もやっと>>44において「 1/2＋1/4＋1/8＋・・・ 」の定義そのものの話に着手したようなので、
今後は「定義少年」と定義そのものの話をキチンとしたらいい。
くれぐれも、「食べ尽くせない」というポンコツな比喩表現を使って
ナンセンスな誤魔化しをするんじゃないぞ。
54:１３２人目の素数さん
17/05/27 17:40:49.06 HNEpWV5q.net
>>50
choice gameは知りません
この問題で、非可測性は全然無関係ではないにせよ
核心ではないようにも思いますが
あくまで私の憶測にすぎません
55:１３２人目の素数さん
17/05/27 17:41:14.04 cIdcynL8.net
結局スレ28の賢い方の意見は、
当てられるという結論は正しい。
それはプレイヤーが無限を認識、扱えるとする仮定に依っている。
一方R^Nにおける99/100という確率についてはスレ28の議論で正当化される
そういう話で、そうだろうなあと私も同意しているところです。
56:１３２人目の素数さん
17/05/27 17:52:00.80 cIdcynL8.net
URLﾘﾝｸ(www.ma.huji.ac.il)
game1は記事と一緒、game2は可算選択公理しか使わないバージョンです。
57:１３２人目の素数さん
17/05/27 17:53:53.86 KkCDAO7a.net
>>44
＞↑このＹの定義が間違いである。正しくは、
＞Y＝[n＝1→∞]Σ[k=1,n]1/2^k
＞と書くべきである。
＞limが付いているのが余計である。なぜなら
＞limとは極限、極限値を表わす記号だからである。
君が言いたいのはYの定義ではなくXの定義では？
つまり
X＝1/2＋1/4＋1/8＋……：＝[n＝1→∞]Σ[k=1,n]1/2^k
と書くべきである。 と言いたいのでは？
まずはここまで。
58:１３２人目の素数さん
17/05/27 18:00:59.85 WJ+5RwcY.net
700コメント682KB
1コメント0.97KB
59:１３２人目の素数さん
17/05/27 18:06:49.61
60:WJ+5RwcY.net
61:１３２人目の素数さん
17/05/27 18:11:59.22 cIdcynL8.net
>>55
補足すると、game2は可測集合だけなので数列を分布に乗せようと思えば実行でき、
それできちんと99/100が言えるので、
戦略の成立に紛れがないと考えています。
>>51
その通りです。
62:１３２人目の素数さん
17/05/27 18:19:47.73 HNEpWV5q.net
>>55 >>59
選択公理はどこで用いるんですか？
63:１３２人目の素数さん
17/05/27 18:21:08.58 cIdcynL8.net
>>60
各同値類の代表元を選ぶところです。
64:１３２人目の素数さん
17/05/27 18:28:18.51 HNEpWV5q.net
>>61
では「有限列を選ぶ」場合には必要ないですね？
実は選択公理も必要不可欠とは考えてないので
65:１３２人目の素数さん
17/05/27 18:43:03.58 cIdcynL8.net
>>62
そこは面白い議論ができそうですよね。
まだ構成方法が分かりません。
66:１３２人目の素数さん
17/05/27 19:11:56.40 cIdcynL8.net
長さkの有限列全体をSkとすれば有限列全体は∪Sk。
各Skの測度m(Sk)をkに関する適当な離散分布に乗せる。
各Skに属す元は可算個なのでやはり適当な離散分布に乗せる。
これで∪Skの各元を含む測度空間が定義できた？？
重要なポイントを見落としている気がする（笑）
67:１３２人目の素数さん
17/05/27 19:18:43.15 cIdcynL8.net
>>64
まあ測度空間の構成は一旦置いておく。
前スレで私はこういった。
> もともと100個の2^Nの元があったとしよう。
> 個々の元について個々が属する同値類の代表元と違う箇所は有限である。
> この有限部分を並べたものが問題の100個の有限列である。
> ある1つの元について、その桁が最長である確率は1/100である。
記事の問題を解くためにはやはり代表元が必要なのではないか？と思った。
68:１３２人目の素数さん
17/05/27 19:40:34.64 HNEpWV5q.net
>>65
「値を予測する」には代表元がいりますよ
69:１３２人目の素数さん
17/05/27 19:42:08.14 cIdcynL8.net
>>66
確認ありがとうございました
70:哀れな素人
17/05/27 21:40:22.40 6PSSm3/1.net
>>52
お前はまったくアンポンタンだな（笑
自分の書いていることの意味が分っているのか？（笑
ペンを０からスーッと１まで動かしてはいけないのだ（笑
分っているのか？（笑
1/2＋1/4＋1/8＋……とはそういうことではないぞ（笑
ケーキを食べ尽くせない。
これはポンコツな比喩でも何でもない（笑
お前の頭がポンコツだから理解できないだけだ（笑
お前のアホさには心底呆れる（笑
71:哀れな素人
17/05/27 21:45:51.43 6PSSm3/1.net
>>56
X＝1/2＋1/4＋1/8＋……
Y＝[n＝1→∞]Σ1/2^n
こうおいたとき初めてＸ＝Ｙといえるのである。
何度も言うが無限小数とは何かの極限（極限値）ではない。
72:哀れな素人
17/05/27 21:54:31.23 6PSSm3/1.net
ポンコツペンタコ男のために、別の比喩を出してやろう。
高さが1/2、1/4、1/8、……の積み木があります。
これらを積んでいって高さ１にすることができるでせうか（笑
1/2＋1/4＋1/8＋……とはそういう意味だぞ。
分かっているのか？（笑
1/2、1/4、1/8、……の距離を進んで
１に達することができるでせうか、という意味だ。
０から１までスーッと進むということではないぞ（笑
分っているのか？（笑
73:１３２人目の素数さん
17/05/27 22:18:07.71 el0HJV7v.net
>>68, >>70
お前が言わんとしていることは等速直線運動の中に埋め込めるのだが、分かってるのかこいつ。
まず、俺自身がペン先を等速直線運動させて、０から１まで動かすとする。
もちろん、１秒が経過すればペン先は右端点１の地点である。
その一方で、この行為を隣で見ているお前は、ペン先の位置について
以下の[A]のようにして記録をつけていくものとする。
[A]
――――――――――――――――――――――――――
まず、1/2 秒が経過した時点で、ペン先の位置をお前は紙にメモする(もちろん「 1/2 」と記録される)。
そこからさらに 1/4 秒経過した時点で、ペン先の位置をお前は紙にメモする(「 1/2＋1/4 」と記録される)。
そこからさらに 1/8 秒経過した時点で、ペン先の位置をお前は紙にメモする(「 1/2＋1/4＋1/8 」と記録される)。
：
：
――――――――――――――――――――――――――
お前はこの作業を続ける。時刻が１秒に近づくにつれて、記録をつける頻度が増えるので、
お前はどんどん忙しくなっていくように見えるが、これは頭の中のイデアの世界の話だから、
忙しさという概念は考慮する必要がない。で、お前は紙の上に順次記録されていった数値を眺めて、
「どの記録も 1/2＋1/4＋・・・＋1/2^n という形をしているので、ペン先は右端点に到達していない�
74:v と吠えるのである。しかし、お前が記録しているデータはどれも「１秒より手前」の時点での データなのだから、その時点でのデータにおいてペン先が右端点に到達していないのは当たり前である。 一方で、ペンを動かしている主体である俺にとっては、お前の記録のつけ方なんぞ知ったことではない。 俺は記録のつけ方とは無関係に、等速でペンを動かしているに過ぎない。よって、俺にとって 「１秒後」というシーンは確実に訪れるし、１秒後にはペン先は右端点１の場所である。 [続く]
75:１３２人目の素数さん
17/05/27 22:20:19.94 el0HJV7v.net
[続き]
以上を踏まえた上で、ここから先は定義の話に移行する。
数学では、上記の議論における右端点１のことを
「 1/2＋1/4＋1/8＋・・・ 」
という記号列で表記するのである。それゆえに、1/2＋1/4＋1/8＋・・・＝ 1 なのである。
寸分違わず、ピッタリ１なのである。
一方で、お前にとっては、「 1/2＋1/4＋1/8＋・・・ 」という記号列は
「 上記の[A]によって紙の上に順次記録されていった数値の "総称" のようなもの 」
を意味するのであろう。しかし、そのような "総称" を表現する手段は
数学では既に用意されていて、たとえば数列表記で
{ 1/2＋1/4＋・・・＋1/2^n }_{ n∈N }
とでも書けばいいのである。
つまり、お前は「 1/2＋1/4＋1/8＋・・・ 」という記号列を
間違った定義で使っているのである。京大まで行っておきながら、
いったい誰からそんな間違った定義を教わったのだね？
京大でもそんな教え方はしていないぞ？
まさか、「 1/2＋1/4＋1/8＋・・・ 」という記号の見た目から類推して、
お前が自分勝手に独自の定義をでっち上げたのかね？
だとしたらまさに自分勝手な話だな。
まあ、このあたりの話は「定義少年」とお前とでキチンと語り合ってくれ。
76:哀れな素人
17/05/27 23:01:03.34 6PSSm3/1.net
>>71-72
無駄なアホレス乙（笑
お前は問題の本質が全然分っていない（笑
０から１までスーッと動いてはいけない、
と何度言ったら分るのだ○○（笑
1/2＋1/4＋1/8＋……という式の意味は
０から１までスーッと動くことではないのだ○○（笑
ったくお前のような○○は見たことがない（笑
お前はホントに理系なのか？（笑
お前はそこらの子供より○○だ（笑
77:哀れな素人
17/05/27 23:05:52.17 6PSSm3/1.net
それにしても
ケーキを食べ尽くすことはできない。
1/2＋1/4＋1/8＋……は１にならない。
こんな簡単なことがなぜ分らないのか、ここの○○どもは（笑
ったく真に驚くべき事態だ。
数学をやっている連中がこんなことさえ分っていないとは（呆
78:１３２人目の素数さん
17/05/27 23:14:51.68 el0HJV7v.net
>>73
０から１までスーッと動かしている俺に対して、その様子を
[A]
――――――――――――――――――――――――――
まず、1/2 秒が経過した時点で、ペン先の位置をお前は紙にメモする(もちろん「 1/2 」と記録される)。
そこからさらに 1/4 秒経過した時点で、ペン先の位置をお前は紙にメモする(「 1/2＋1/4 」と記録される)。
そこからさらに 1/8 秒経過した時点で、ペン先の位置をお前は紙にメモする(「 1/2＋1/4＋1/8 」と記録される)。
：
：
――――――――――――――――――――――――――
という方法によって記録しているのがお前である。
そして、お前が言うところの「ペン先は右端点１に到達しない」ってのは、
「 [A]で記録された数値はどれも１より小さい 」
ということでしかない。しかし、そんなのは当たり前の話である。
なぜなら、[A]の記録には、１秒より手前の時刻における記録しか存在しないからだ。
１秒より手前なら、ペン先が右端点に到達していないのは自明である。
そして、お前にとっての「 1/2＋1/4＋1/8＋…… 」という記号列は
・ [A]で記録された数値の "総称" のようなもの
に過ぎない。それゆえに、お前にとっての「 1/2＋1/4＋1/8＋…… 」という記号列は
１にならないのである。しかし、お前のその定義はそもそも間違っている。
"総称" を表現したければ、たとえば数列表記で
{ 1/2＋1/4＋・・・＋1/2^n }_{ n∈N }
とでも書けばいいのである。
数学における「 1/2＋1/4＋1/8＋…… 」という記号列は、
お前が使っているような定義ではないのである。京大まで行っておきながら、
お前はいったい誰からそんな間違った定義を教わったのだね？
京大でもそんな教え方はしていないぞ？
まさか、「 1/2＋1/4＋1/8＋・・・ 」という記号の見た目から類推して、
お前が自分勝手に独自の定義をでっち上げたのかね？
だとしたらまさに自分勝手な話だな。
まあ、このあたりの話は「定義少年」とお前とでキチンと語り合ってくれ。
79:１３２人目の素数さん
17/05/27 23:33:59.70 el0HJV7v.net
>>74
＞ったく真に驚くべき事態だ。
＞数学をやっている連中がこんなことさえ分っていないとは（呆
むしろ、数学を勉強していないお前だからこそ、
「 1/2＋1/4＋1/8＋…… 」
という記号列の定義を間違えるのである。現代数学では 1/2＋1/4＋1/8＋…… ＝ 1 である。
そうなるように、「 1/2＋1/4＋1/8＋…… 」という記号列の意味が上手く定義されるのである。
というか、もし現代数学でも 1/2＋1/4＋1/8＋…… ≠ 1 なのであれば、
お前はこんなに騒いでないし、あのような本も書いてないのである。
現代数学で 1/2＋1/4＋1/8＋…… ＝ 1 と主張されていることをお前は明確に知っていて、
そのことに強く反感を覚えるからこそ、お前はこのスレで騒いでいるのである。
しかし、何度も言うが、「 1/2＋1/4＋1/8＋…… 」という記号列の定義は、
お前が思っているような定義では無いのである。
京大まで行っておきながら、お前はいったい誰からそんな間違った定義を教わったのだね？
京大でもそんな教え方はしていないぞ？
まさか、「 1/2＋1/4＋1/8＋・・・ 」という記号の見た目から類推して、
お前が自分勝手に独自の定義をでっち上げたのかね？
だとしたらまさに自分勝手な話だな。
まあ、このあたりの話は「定義少年」とお前とでキチンと語り合ってくれ。
80:現代数学の系譜11 ガロア理論を読む
17/05/27 23:49:00.47 tKnzoBS7.net
>>51
どうも。スレ主です。
前スレで、サイコパス One Stone 様（ID:1maZ/hoI）叩きを優先させてもらった（現 Une Pierre Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets）
関連URL URLﾘﾝｸ(textream.yahoo.co.jp)
前スレ例 ｽﾚﾘﾝｸ(math板:600番) ｽﾚﾘﾝｸ(math板:656番)
返信遅くなり申し訳ない。失礼なサイコパス野郎でね。新参者が、このスレを甘く見るんじゃ無いぞ！と（＾＾
スレ主を怒らせたら、徹底的に揚げ足を取られることを、思い知らせてやった
そもそも、私スレ主は、大体がどこからのコピペ。ということは、書いたことは、どこかに根拠があるんだ。それを知らずに突っかかってくるから、返り討ちになるんだ（＾＾
で、本題
>そもそも「箱入り無数目」の記事に対して間違ってるという人が
>記事の問題の設定から矛盾を導く証明を示す義務があると
>思ってます
１．一つは、それは双対だな（下記）。世間的でいう、お互いさま
２．批判・批評は表現の自由だ。というか、数学から批判・批評の精神が無くなったらまずいだろうよ・・（＾＾
３．また、正しいことが、世間に理解されるのに時間が掛かることがある。しかし、正しければ、時間は掛かっても、徐々に理解が浸透する場合が多い。今回の時枝記事ガセもそうなるだろうし、現実にそうなっている
４．時枝正という”えらーい”権威のある先生が、数学セミナーという大学１～２年向けの記事を書いた。結構怪しい内容でね。書いている本人が半信半疑のような書き方なんだ～（＾＾
こっちは、それに食いついたんだ～（＾＾
５．みんなが権威に負けて、記事を盲信しているときに、一人それを批判してこそ値打ちがあるというもの。記事を盲信しているが多ければ多いほど、こっちとしては面白いんだ（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
双対とは、互いに対になっている2つの対象の間の関係である。2つの対象がある意味で互いに「裏返し」の関係にあるというようなニュアンスがある。
目次
1 数学における双対概念
1.3 論理の双対
1.6 圏の双対
81:現代数学の系譜11 ガロア理論を読む
17/05/27 23:53:46.36 tKnzoBS7.net
>>77 補足
下記単なるＴＶ番組だが・・、正解者が少ない問題で正解するところに値打ちがある（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
日本人の3割しか知らないこと くりぃむしちゅーのハナタカ!優越館
概要
2015年1月9日23:15 - 翌0:15に放送された単発番組『日本人の3割しか知らないこと ワリサン』が好評だったことから、レギュラー化された[1]。
82:現代数学の系譜11 ガロア理論を読む
17/05/27 23:57:28.24 tKnzoBS7.net
>>77 訂正
４．時枝正という”えらーい”権威のある先生が、数学セミナーという大学１～２年向けの記事を書いた。
↓
４．時枝正という”えらーい”権威のある先生が、数学セミナーという主に大学１～３年向けの雑誌に記事を書いた。
83:１３２人目の素数さん
17/05/28 00:28:05.99 nHjrUmHU.net
見逃していたレスがあるので追記しておく。
>>73
＞1/2＋1/4＋1/8＋……という式の意味は
＞０から１までスーッと動くことではないのだ○○（笑
お前は勘違いしている。>>71-72では、０から１までスーッと動くことを
1/2＋1/4＋1/8＋…… の定義としているのでは無い。そんなことでは、
1/2＋1/4＋1/8＋…… という記号列が動的に動く対象になってしまう。
そのような定義なのではなくて、
「右端点１」
という 定 数 のことを、1/2＋1/4＋1/8＋…… の定義としているのである。
このことは>>72に明記してある。
＞数学では、上記の議論における右端点１のことを
＞
＞「 1/2＋1/4＋1/8＋・・・ 」
＞
＞という記号列で表記するのである。
ほら、このように明記してある。それゆえに、1/2＋1/4＋1/8＋…… ＝ 1 なのである。
より正式な無限級数の定義は、「定義少年」とお前とでキチンと語り合ってくれ。
84:１３２人目の素数さん
17/05/28 00:47:31.78 e+YixYxd.net
>>69
＞X＝1/2＋1/4＋1/8＋……
＞Y＝[n＝1→∞]Σ1/2^n
＞こうおいたとき初めてＸ＝Ｙといえるのである。
ようやくここまで来たｗ 最初からそう言ってくれよホントにもうｗ
で、[n＝1→∞]Σ1/2^n とは何ですか？
君は「誰でも知ってる」と言うだろうけど、こんなヘンチクリンな式は誰も知らない
ので、この式が何なのか教えて下さい。
。。。と言ってもまともに返って来ないだろうから、先に結論を言ってしまおう。
【結論】
世の中の標準数学では
1/2＋1/4＋1/8＋……：＝lim[n→∞]Σ[k=1,n]1/2^k
と定義されている。従って
1/2＋1/4＋1/8＋……＝1
である。
しかし素人数学では
1/2＋1/4＋1/8＋……：＝[n＝1→∞]Σ1/2^n
と定義されている。右辺が表すものが何かは謎だが、それは存在しないとのこと。
従って左辺
1/2＋1/4＋1/8＋……
も存在しない。このように存在しないものを生み出す定義にどんな価値があるのか
も謎である。
以上級数について述べたが、無限小数についても同様と思われる。
素人君の言う無限小数は標準数学のそれとは異なるものであって、何なのかは謎である。
つまり彼の持論「無限小数は存在しない」は「謎のものは存在しない」という意味だったのである。
以上です。彼の考えに共感する方はどうぞ彼の本を買ってあげて下さい。
85:１３２人目の素数さん
17/05/28 01:18:58.17 dWU/7rzX.net
無限小数を書くには余白が足りない
86:１３２人目の素数さん
17/05/28 05:40:06.69 wTm+t2cZ.net
>>77
>> 「箱入り無数目」の記事に対して間違ってるという人が
>> 記事の問題の設定から矛盾を導く証明を示す義務があると
>> 思ってます
>１．一つは、それは双対だな（下記）。世間的でいう、お互いさま
記事は十分丁寧に書かれており
これ以上何か補足することはないでしょう
実際歴代>>1氏からは「ここが曖昧で分からない」
と尋ねる問いは発せられなかったと思っています
その上で、「間違ってる」というのであれば
記事に釣り合うだけの反証義務を果たして
やっと「お互い様」になるのではないですか？
87:１３２人目の素数さん
17/05/28 05:52:08.22 wTm+t2cZ.net
>>77
>２．批判・批評は表現の自由だ。
>というか、数学から批判・批評の精神が無くなったらまずいだろうよ・・（＾＾
数学は文学ではないと思いますよ
求められているのは批評ではなく反証でしょう
>３．また、正しいことが、世間に理解されるのに時間が掛かることがある。
>しかし、正しければ、時間は掛かっても、徐々に理解が浸透する場合が多い。
個人的感想をいくら繰り返されても、
数学として理解されることは決してありません
数学は文学ではないですから
証明が示されて初めて数学しての理解がスタートします
今の時点では何も始まっていない、といわざるを得ません
>今回の記事（が）ガセ（だというの）もそうなるだろうし、
それは今のところ歴代>>1氏の個人的願望にすぎませんね
>現実にそうなっている
誠に申し訳ありませんが、そうなっていない、と言わざるを得ません
記事の前提から矛盾を導く証明が一切示されていないのですから
何も始まっていない、というのが現実でしょう
88:現代数学の系譜11 ガロア理論を読む
17/05/28 06:02:51.42 0kj8Xeyl.net
過去スレより、遠隔レスすまん
ｽﾚﾘﾝｸ(math板:441番)
(抜粋)
441 名前：１３２人目の素数さん[] 投稿日：2017/05/25(木) 07:09:31.86 ID:29mu8G1Q
そもそも確率１でも”反例”は存在するし これ豆な
(引用終り)
「これ豆な」か。知らなかったね（＾＾
URLﾘﾝｸ(netyougo.com)
ネット用語の辞典サイト「ネット王子」>>これ豆な
(抜粋)
これ豆な
【分類】: 2ch, Twitter, ネットスラング
【読み方】：コレマメナ
「これ豆な」とは何か豆知識を披露した後に「これは豆知識な」とドヤ顔で自慢したいときに用いる言葉である。
89:１３２人目の素数さん
17/05/28 06:03:32.38 wTm+t2cZ.net
>４．”えらーい”権威のある先生が、数学セミナーという雑誌に記事を書いた。
数学においてはいかなる権威も存在しませんよ
例えばヒルベル�
90:gプログラムもゲーデルにひっくり返されました その頃ヒルベルトは数学界では知らぬものはいないほど高名でした 一方ゲーデルは学位をとったばかりで無名の存在です 年齢だって４０以上開きがあった筈です それでもゲーデルの証明は認められたのです >>1氏が感じるような「権威」は数学界では何ら意味を持たない証拠です >結構怪しい内容でね。 >>1が「怪しい」と感じる理由は、結局のところ 記事の結論が自分の考えに反するからでは ないですか？ もし、そうならそれは個人的感想でしょう >書いている本人が半信半疑のような書き方なんだ～（＾＾ 残念ですが、>>1がそう思いたがってるだけ、といわざるを得ません 記事で確率評価について述べる箇所について不明瞭な点はありましたか？ なかったのであれば、書き方が悪いとは言えないのではないですか？ 確率評価の仕方が理解できた上で、間違っているというのであれば あとは評価の仕方から矛盾を導くだけでしょう それが数学における「お互い様」の義務を果たすことだと私は考えます
91:現代数学の系譜11 ガロア理論を読む
17/05/28 06:04:34.73 0kj8Xeyl.net
>>85 つづき
過去スレより、遠隔レスすまん
ｽﾚﾘﾝｸ(math板:441番)
(抜粋)
441 名前：１３２人目の素数さん[] 投稿日：2017/05/25(木) 07:09:31.86 ID:29mu8G1Q
そもそも確率１でも”反例”は存在するし これ豆な
(引用終り)
”そもそも確率１でも”反例”は存在するし”は、下記の”確率収束”とか”概収束”とかだろ？
URLﾘﾝｸ(ja.wikipedia.org)
確率変数の収束
(抜粋)
目次
1 背景
2 分布収束
2.1 定義
2.2 性質
3 確率収束
3.1 定義
3.2 性質
4 概収束
4.1 定義
4.2 性質
5 確実収束
6 平均収束
92:１３２人目の素数さん
17/05/28 06:18:54.57 wTm+t2cZ.net
>５．みんなが権威に負けて、記事を盲信しているときに、
>一人それを批判してこそ値打ちがあるというもの。
申し訳ありませんが、権威を感じたのは>>1氏だけではないですか？
そもそも数学は宗教ではないので定理は信仰対象ではありません
理解できないことを信仰する義務など誰にもありません
その上で、記事中の確率評価の前提に対して
「私はこの前提を採用しない」というのは自由です
たとえば、ユークリッドの「原論」の権威に屈服する必要はない
ロバチェフスキーやボヤイのように平行線公準を否定する
幾何学を打ち立ててもよい
ただその場合にも記事中のどの前提を認めないのか
はっきり明示していただきたいと思います
>記事を盲信している人が多ければ多いほど、
>こっちとしては面白いんだ（＾＾
>>1氏は数学をルチャ・リブレ（注：メキシコのプロレス）のように思われてるようです
数学者は”ルード”（悪役）で、それに対抗する>>1は”リンピオ”（善玉）でしょうか
正直申し上げて数学は>>1氏の嗜好とは合わないように思います
別の趣味をもったほうがよろしいかとおもいます
たとえば↓こういうのは如何ですか？
URLﾘﾝｸ(www.youtube.com)
93:現代数学の系譜11 ガロア理論を読む
17/05/28 06:29:21.61 0kj8Xeyl.net
>>83-84 >>86
ID:wTm+t2cZ さん、どうも。スレ主です。
ご高説は結構だが、少し自分達の議論に専念してもらえませんかね？
そもそも、スレ28は、何のために立てた？
老婆心ながらご忠告申し上げておくと
１．High level people が、３人居られるようだが、一時的に仮にでも、名前を付けた方が良いだろう。当事者以外から見て、分かり難い
（スレ28の失敗原因の一つはそれでは？ 例えば、２人なら当人ともう一人は簡単に区別できる。３人でも可だろう。が、議論に参加していない人が外から見ると区別が困難だ）
２．このスレでは、いま 哀れな素人 vs High level people の議論がヒートアップしている
このスレで議論するのを、止めさせる力は私には無いが、同様に、議論に参加していない人が外から見ると分かり難い
３．そこらを少し考えられたらどうですかね？
94:現代数学の系譜11 ガロア理論を読む
17/05/28 06:30:56.29 0kj8Xeyl.net
>>88
ID:wTm+t2cZ さん、どうも。スレ主です。
ご高説は結構だが、少し自分達の議論に専念してもらえませんかね？>>89
95:現代数学の系譜11 ガロア理論を読む
17/05/28 06:33:42.70 0kj8Xeyl.net
過去スレより再録
ｽﾚﾘﾝｸ(math板:239番)
239 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/26(水) 09:42:54.35 ID:HKIfusLx
前ふりで、確率論、下記をどうぞ
URLﾘﾝｸ(www2.math.kyushu-u.ac.jp)
原隆（数理物理学）のホームページ 九州大学
URLﾘﾝｸ(www2.math.kyushu-u.ac.jp)
前任校にて原の担当していた学部・大学院の講義について紹介します．2004
URLﾘﾝｸ(www2.math.kyushu-u.ac.jp)
確率論で見る自然現象 数学アゴラ 高校生向け 講義ノートの改訂版 原隆2003
URLﾘﾝｸ(www2.math.kyushu-u.ac.jp)
確率論 I，確率論概論 I 学部４年・大学院向け，2002年度春学期
URLﾘﾝｸ(www2.math.kyushu-u.ac.jp)
確率論 I，確率論概論 I 講義のレジュメをまとめたもの (2002.10.08)
URLﾘﾝｸ(www2.math.kyushu-u.ac.jp)
確率論（オムニバス）の一部 2003
URLﾘﾝｸ(www2.math.kyushu-u.ac.jp)
確率論（オムニバス）原の担当分の講義ノート，暫定版 (2003/1/20)（2002 年秋学期，名大三年生向け）
96:現代数学の系譜11 ガロア理論を読む
17/05/28 06:36:08.17 0kj8Xeyl.net
>>91 つづき 過去スレより
ｽﾚﾘﾝｸ(math板:240番)
(抜粋) 2017/04/26
で困るのは、確率論の常識がないってこと
時枝問題（「箱入り無数目」数学セミナー2015.11月号） ｽﾚﾘﾝｸ(math板:2-6番)
・箱がたくさん，可算無限個ある
・そこに、私がまったく自由に実数を入れる
・もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け. 勝つ戦略はあるでしょうか?
・時枝記事の結論：勝つ戦略はある
・閉じた箱を100列に並べ、無限数列のしっぽで同値類分類する方法で。100列でなく、もっと増やせる
ところで、”まったく自由”だから、>>239で引用した確率論のランダム現象の数理と真っ向対立する
ランダム現象の数理を利用して、私が実数を入れたとする。当然、どの箱の数もランダムで、どう並べ替えようとランダムだろう
もし私が入れる実数を見ていないとか、あるいは、箱にはなんの目印もなく並べ替えたら外見からは違いが分からない・・
まあ、並べ替えたら、なにがなんだか、入れた私にも分からない・・。当てられるはずがない・・
とまあ、”まったく自由に”だから、>>239で引用した確率論のランダム現象の数理と真っ向対立するんだ
そういう、確率論の常識がないってこと
そこらの事情を端的に言ったのが、>>101-102引用の”確率論の専門家”さん
ところが、High level people たち、確率論の常識がないから、彼の言っていることが真に理解できてないんだろう。そのときは、平伏していたのにね・・
で、考えてみると、この記事のネタは、「無限数列のしっぽで同値類分類する方法」ってところが、笑いの肝（キモ）なんだろうね
大学数学科１年とか２年で、無限をおそわって代数の商集合（同値類分類）が、ちょっと分かってきたあたりの人に受ける
でも、大学数学科３年とか４年で、確率論の常識が分かると、もう面白くもなんともない
当時チョウチンをつけていた大学数学科１年とか２年たち、進級してレベルアップしていったんだろう
まあ、 >>239 あたりを読んでください
大学数学科など、良質な情報に触れる機会もないから、いつまでもそのままだ・・
それが分からない人たちは、どうぞ、スレ28 へ
97:現代数学の系譜11 ガロア理論を読む
17/05/28 06:37:55.67 0kj8Xeyl.net
大学レベルの確率論をちょっと本格的に学べば、時枝記事がガセということはすぐ分かるのに、困ったも
98:のだ（＾＾
99:１３２人目の素数さん
17/05/28 06:39:53.81 wTm+t2cZ.net
>>77
蛇足
>失礼な野郎でね。新参者が、このスレを甘く見るんじゃ無いぞ！と（＾＾
失礼云々はともかくとして、新星の登場は大いに期待するところです
たとえばこういうのとか
URLﾘﾝｸ(www.youtube.com)
真ん中の子はそのスジでは「虎の穴」といわれている機関の出身です
三人ともとっても礼儀正しくていい子たちですよ
100:現代数学の系譜11 ガロア理論を読む
17/05/28 06:46:48.73 0kj8Xeyl.net
前ｽﾚより
ｽﾚﾘﾝｸ(math板:562番) 2017/05/26
さて、
１．過去１年半ほど、このスレで「時枝記事はガセか、正しいか」で議論してきた。いまさら、堂々巡りのような気がする今日この頃
２．で、2017/01/02(月)に、High level people たち、スレ28を立てた ｽﾚﾘﾝｸ(math板) だ (>>8)
３．だから、棲み分けしませんか？ ”記事は正しい”と思う人は、どうぞスレ28へ。そして、中断されている”記事は正しい”の議論を数学的に完成させてください
（完全な証明までは求めません。が、証明のあらすじでも可。但し、分散されたレスをつなぎ合わせないと分からない状態ではなく、連続したまとめスレを作ってもらえればありがたい。だれが見ても分かり易いというのが理想だ。）
４．こちらのスレ32などでは、「時枝記事が成り立たないことを前提として、時枝記事がなぜ成り立たないか？ なぜ、成り立つように見えるか」を議論したい。
確率論については、例えば、>>12に示した原隆先生”確率論 I，確率論概論 I 講義のレジュメ”PDFの最初の方を参照して貰えば良い（これに限らないが出典明示で可）
URLﾘﾝｸ(www2.math.kyushu-u.ac.jp)
例えばP25より 抜粋
「2.4.1 無限直積空間の構成（少しadvanced）
2.1.1 節で有限個の確率空間の直積を定義した．ここでは無限個の確率空間の直積が必要にな
る．つまり，確率空間の無限列(Ωi,Fi, Pi) （i = 1, 2, 3, . . .）の直積(Ω,F, P) を作りたい．しか
し，2N は非加算無限（！）であるため，有限個の時のようには構成できない．そこで，以下の
ように可測集合を限定して作っていく．
定義2.4.2 (無限個の確率空間の直積) 確率空間の無限列(Ωi,Fi, Pi) （i = 1, 2, 3, . . .）の直積
(Ω,F, P) は以下のように構成する．
ようやく，大数の強法則の正確な意味を理解できるようになった．つまり，大数の強法則では，
上のようにして構成した確率空間で考える．その結果，この確率は1 である（つまり，SN/N がμ に概収束する），と主張している」辺りが、一つの議論の手がかりかと思う
（もっとも、こちらは、確率論の専門家ではないので、あまり深い議論はついて行けないと思うが・・（＾＾；
101:１３２人目の素数さん
17/05/28 06:53:57.11 wTm+t2cZ.net
>>89-90
>ご高説は結構だが、少し自分達の議論に専念してもらえませんかね？
申し遅れましたが・・・私も権威に反抗したい性分でして
スレ主とよばれる>>1の「権威」を私は一切認めません
あらかじめご承知おき下さい
（追伸）
>スレ28は、何のために立てた？
立てたときは普通に立てたのではないですか？
102:現代数学の系譜11 ガロア理論を読む
17/05/28 06:59:06.25 0kj8Xeyl.net
>>94
どうも。スレ主です。
そういう、時枝とは別の意味の与太話はすきですよ（＾＾
が、こういうのを見ると、彼女らが、芸能界に入って成功することが果たして人生の幸せに繋がるのかどうか
芸能界であまり売れないか、あるいはそこそこの成功で、すっぱり芸能界から身を引いて、普通の主婦になった方が、人生幸せなんじゃないのかと
芸能界であまりに成功したために、人生では不幸になった・・
そういう例を、多く見てしまった・・（＾＾
ああ、「虎の穴」ね
タイガーマスクでしたね（下記）。ああ、「梶原一騎原作
103:」でしたか、知らなかった・・（＾＾ https://ja.wikipedia.org/wiki/%E8%99%8E%E3%81%AE%E7%A9%B4 虎の穴（とらのあな）は、梶原一騎原作、辻なおき画のプロレス漫画およびアニメ作品『タイガーマスク』に登場する悪役レスラー養成機関。
104:１３２人目の素数さん
17/05/28 07:00:58.95 wTm+t2cZ.net
>>95
＞１．過去１年半ほど、このスレで「箱入り無数目記事はガセか、正しいか」で議論してきた。
議論ではない、というのが私の見方です
まず箱入り無数目の結論に感情的に反発する方がいた
その方に対して、箱入り無数目は妥当な前提に基づいた
推論の結果だと説明する方々がいた
しかし反発する方は
「自分の直感は正しい おかしな結論がでるのは前提がおかしいからだ」
と言い張ってる
しかし自分からはどの前提がおかしいかは決して示さない
だから議論はいっこうに始まらない
それだけのことです
105:現代数学の系譜11 ガロア理論を読む
17/05/28 07:10:44.03 0kj8Xeyl.net
>>96
どうも。スレ主です。
>スレ主とよばれる>>1の「権威」を私は一切認めません
>あらかじめご承知おき下さい
どうも、新しいお客様ですね。
前スレ下記かな（＾＾
ｽﾚﾘﾝｸ(math板:348番)
(抜粋)
348 名前：１３２人目の素数さん[] 投稿日：2017/05/24(水) 19:22:36.85 ID:zfff+ZLN [2/3]
俺の出身高校が出てきてビックリした
阪神大震災の年か
世間は狭いな
360 名前：１３２人目の素数さん[] 投稿日：2017/05/24(水) 19:47:06.82 ID:zfff+ZLN [3/3]
記念に立ち読みしてこよう
(引用終り)
まあ、私のスタンスは、>>6に宣言してある通りです
>立てたときは普通に立てたのではないですか？
そのときの話は>>8辺りを読んで貰えれば（＾＾
106:１３２人目の素数さん
17/05/28 07:13:06.44 wTm+t2cZ.net
>>95
＞２．で、2017/01/02(月)に、High level people たち、スレ28を立てた
立てたのは貴方ではないのですか？
もし貴方なら、上記の文章は嘘ということになりますが如何ですか？
＞３．だから、棲み分けしませんか？ ”記事は正しい”と思う人は、どうぞスレ28へ。
この件は、箱入り無数目の結論に感情的に反発する方が
自分に対して説得を試みる親切な方々を疎んじて
スレ28を「収容所」にして隔離しようとした と見ています
＞”記事は正しい”の議論を数学的に完成させてください
おかしな話です。
まず”記事は間違ってる”という人が、どこがどう間違ってるか示すべきです。
自分の予想に反している、というのは通用しません
なぜなら予想が正しいという証拠がありませんから
少なくとも、記事中の前提のどれが間違ってるかを明示した上で
その前提から矛盾を導く証明を示してほしい
それが始まりです どの前提が間違ってるか示されないなら始まりようもない
ヒールがリング外で暴れたところで「ああ、いつものことだな」と思うだけ
107:１３２人目の素数さん
17/05/28 07:19:48.41 wTm+t2cZ.net
＞４．こちらでは、
＞「箱入り無数目記事が成り立たないことを前提として、
＞ 箱入り無数目記事がなぜ成り立たないか？
＞ なぜ、成り立つように見えるか」
＞を議論したい。
>>1さんは背理法をご存じですか？
仮定から矛盾を導いて、仮定を否定するものです
もし箱入り無数目記事が誤りだというのであれば、それを示す手段は
「箱入り無数目記事が正しいと前提して、そこから明らかな矛盾を導くこと」
でしょう
記事の前提は一切変えずに全く別の確率値が出れば矛盾ですよ
もし>>1氏が矛盾を導く作業に専念されるのであれば、
スレ２８をご利用されるのがよろしいかと思います
そもそもご自分が立てたのですから最適でしょう
如何ですか？
108:現代数学の系譜11 ガロア理論を読む
17/05/28 07:21:58.79 0kj8Xeyl.net
sage
109:現代数学の系譜11 ガロア理論を読む
17/05/28 07:22:05.82 0kj8Xeyl.net
>>98
ID:wTm+t2cZさん、どうも。スレ主です。
>議論ではない、というのが私の見方です
>まず箱入り無数目の結論に感情的に反発する方がいた
それは全くの誤解で、過去の議論を知らないだけです
例えば、下記
過去スレより再掲（無駄な議論の繰り返しを避けるために）
ｽﾚﾘﾝｸ(math板:101番)
101 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/23(日) 07:53:46.56 ID:cvHfhso/ [5/35]
(抜粋)
まあ、時枝問題については、High level people たちは、”確率論の専門家”が来たとき、平伏していたんだよね（下記 2016/07/04）
それを忘れて、”確率論の専門家”が居なくなったら、また「時枝記事正しい」とか言い出したんだ・・（＾＾
過去スレ 20 ｽﾚﾘﾝｸ(math板:541-565番)
(抜粋)
541 名前：１３２人目の素数さん[sage] 投稿日：2016/07/04(月) 00:04:35.65 ID:hgUPmIoq [1/10]
>>538
> 可算族に対しては(1)も(2)も同値となる
�
110:りがとう、勉強させてもらった このスレにはそこまで理解している人間はいなかった 貴方がもっと早く現れていれば無駄な議論を重ねずに済んだのだが 542 名前：１３２人目の素数さん[] 投稿日：2016/07/04(月) 00:06:31.30 ID:1JE/S25W [1/3] 時枝氏の主な主張は次の２つだろうだろう 1. 確率論を測度論をベースに展開する必要が無い 2. 無限族の独立性の定義は微妙 しかし1に関していうと時枝氏の解法は，現在の測度論から導かれる解釈のほうが自然． （当てられっこないという直感どおり，実際当てられないという結論が導かれる） 2に関して言うとそもそも時枝氏の勘違い． 時枝氏の考える独立の定義と，現代の確率論の定義は可算族に対しては同値である つづく
111:現代数学の系譜11 ガロア理論を読む
17/05/28 07:23:01.23 0kj8Xeyl.net
>>103 つづき
ｽﾚﾘﾝｸ(math板:541-565番)
544 返信：１３２人目の素数さん 2016/07/04(月) 00:19:16.71 ID:EwZDjjf/
>>542
＞2に関して言うとそもそも時枝氏の勘違い．
＞時枝氏の考える独立の定義と，現代の確率論の定義は可算族に対しては同値である
ここに関しては「任意の有限部分族が独立のとき、独立」という定義そのものが有限の極限として扱うって立場だろうってことだと思う
だから同値なのは当たり前
そうじゃなくて"有限個のときみたいに無限個を全部眺めて独立性を判断する"ような扱いをすれば直観に根ざした結論が得られるだろう
…と思ったけど(1)と(2)の二つの方針が可能であるって言ってるから読み違えてる気がしてきた
545 名前：１３２人目の素数さん 2016/07/04(月) 00:42:34.67 ID:hgUPmIoq [3/10]
>>542
時枝氏の考察の不備はともかく、パラドックスの出来は秀逸だと思ったが。
貴方みたいに確率論に詳しいと全く面白くないのだろうか笑
564 名前：１３２人目の素数さん[] 投稿日：2016/07/04(月) 22:05:22.22 ID:1JE/S25W [3/3]
>>563
ごめん，少し誤解があった
時枝氏の方法は「確率は計算できない」が今の確率論の答えだと思う．
確率0というのは，可測となるような選び方をしたら，それがどのような選び方でも確率は0になるだろうってこと
残す番号を決める写像Nが可測で，また開けた箱から実数を決める写像Yが可測ならば
P(X_N=x)=0が導かれるだろう
565 名前：１３２人目の素数さん 2016/07/04(月) 22:43:48.47 ID:hgUPmIoq
>>564
レスありがとう
ここから先、話が数学的ではなく恐縮なんだけど、
率直にどんな感想をもつか貴方のコメントがもらえたらと思う
（以下略）
(引用終り)
103 自分返信：現代数学の系譜11 ガロア理論を読む 2017/04/23(日)
High level people たち、数学的でない話をしているんだ・・（＾＾
だったら、スレ 28でやってくれよ。 28 (High level people が時枝問題を論じるスレ)
112:現代数学の系譜11 ガロア理論を読む
17/05/28 07:25:56.76 0kj8Xeyl.net
>>103-104
まあ、要するに、話は全く逆で、数学的には一度決着している
それを、非数学的な話で蒸し返しているのが、High level people たちなんです（＾＾
113:１３２人目の素数さん
17/05/28 07:26:34.07 wTm+t2cZ.net
>>97
＞別の意味の与太話はすきですよ（＾＾
それはよかった
＞・・・こういうのを見ると、
＞彼女らが、芸能界に入って成功することが
＞果たして人生の幸せに繋がるのかどうか
＞芸能界であまり売れないか、あるいはそこそこの成功で、
＞すっぱり芸能界から身を引いて、普通の主婦になった方が、
＞人生幸せなんじゃないのかと
＞芸能界であまりに成功したために、人生では不幸になった・・
＞そういう例を、多く見てしまった・・（＾＾
彼女らを彼ら彼女らに、芸能界を数学界に、主婦を会社員に変えても同じですよ
でも別に私は数学者になりたいという人を止めたりはしませんがね
＞ああ、「虎の穴」ね
＞タイガーマスクでしたね（下記）。ああ、「梶原一騎原作」でしたか、知らなかった・・（＾＾
>>1氏はアイドルもアニメもお詳しくないようですね
失礼ですがおいくつですか？
114:１３２人目の素数さん
17/05/28 07:29:58.12 wTm+t2cZ.net
>>103
＞（箱入り無数目の）解法は，現在の測度論から導かれる解釈のほうが自然．
ではその証明をお願いします
99/100ではなく、（
115:実数の場合）0だという計算結果を示してください 他人の言葉を無責任に引用せず、自分の証明を示してください そうでなければ一切他人に対して説明できないと思いますが如何ですか？ 証明を完成させるため >>1氏がスレ２８におこもりになられるのは随意ですよ
116:１３２人目の素数さん
17/05/28 07:34:55.56 wTm+t2cZ.net
>>104
＞（箱入り無数目の）方法は「確率は計算できない」が今の確率論の答えだと思う
直接計算できる、とは記事でも述べてませんよ
公平性に基づけば99/100になる、ということでしょう
他の方法で別の値がでれば記事中の公平性の前提を否定できますよ
それが背理法 それが数学 違いますか？
117:１３２人目の素数さん
17/05/28 07:37:25.30 wTm+t2cZ.net
>>105
＞数学的には一度決着している
一度も決着していませんね 残念ですが
感情による非数学的な主張で記事を否定したがってるのは
>>1さんあなたのほうですよ
数学板で書くのなら、あなたの主張を数学として正当化していただけますか？
118:現代数学の系譜11 ガロア理論を読む
17/05/28 07:41:57.82 0kj8Xeyl.net
>>100-101
ID:wTm+t2cZさん、どうも。スレ主です。
どうも、新しいお客様ですね。（＾＾
（Ｑ＆Ａ）
１．立てたのは貴方ではないのですか？： ＮＯ！です。立てたのは私ではありません。High level people です！ 私は、（理系）Low level people に属します（＾＾
２．スレ28を「収容所」にして隔離しようとした と見ています： 話は逆。私スレ主は”来ないでくれ”と書いてある。スレ28のＮｏ7と9です（＾＾
ｽﾚﾘﾝｸ(math板:7-9番)
３．まず”記事は間違ってる”という人が、どこがどう間違ってるか示すべきです。：その話は、>>103-104をどうぞ。話は全く逆で、数学的には一度決着している。それを、非数学的な話で蒸し返しているのが、High level people たちなんです!（＾＾
４．記事の前提は一切変えずに全く別の確率値が出れば矛盾ですよ： Ｙｅｓ！ その話は後で、前スレに続いて、このスレでもう一度やります（＾＾
ということで、時枝記事の正否を蒸し返すのなら、どうぞスレ28へ（＾＾
取り敢ず以上です
119:現代数学の系譜11 ガロア理論を読む
17/05/28 07:54:16.08 0kj8Xeyl.net
>>106-109
ID:wTm+t2cZ さん、どうも。スレ主です。
ご高説は結構だが、少し自分達の議論に専念してもらえませんかね？
時枝記事については、>>110 （Ｑ＆Ａ）をどうぞ
私は、このスレで、High level people たちと、時枝記事の成否を議論するつもりは全くありませんので、どうぞあしからず
繰り返しますが、そもそも、スレ28は、何のために立てた？
立てたのは、High level people たち。私スレ主は来ないでくれと。で、スレ28が寂れたから、また戻ってきた。ふざんけんなと（＾＾
120:現代数学の系譜11 ガロア理論を読む
17/05/28 08:02:01.89 0kj8Xeyl.net
>>111 補足
見ての通り、このスレでは、哀れな素人さんとの議論が白熱している
そんな中で、High level people さんたちの議論を平行して進めるのが良いのか悪いのか、老婆心ながら、少し考えたらどうですか？ >>89
ここでやりたいというなら、それを止める力は私にはありませんが、当然私も勝手に書かせて貰いますかね
（取り敢ず、サイコパスまで乱入するとややこしいので、追い払ったが）
121:１３２人目の素数さん
17/05/28 08:41:48.23 nqZqChTF.net
数セミ取り寄せて時枝記事読んでみたけど、多分たいした話じゃない。
「箱の中を高確率で当てられる」というのはむしろ当然の結果。
それ以前に、そもそも無限の彼方まで見通していることが前提に
なっているのだから。つまり、状況としては遠くの方ほどよく
分かっていて、近くの方はぼやけている、遠くに行くほど
当てられる確率が高いというのは当然のように思う。
あと、「可算個の実数列を任意に作る」というのは意外に大変
だということにも気づいた。たとえばサイコロを振って
その都度桁の数字を決めていくという方法では、無限の彼方
まで決まっていることにはならない。
122:哀れな素人
17/05/28 08:49:32.20 bsUW1dcZ.net
ったくペンタコ男も定義少年も度し難い○○だ（笑
しかも、この二人に対して、それは違うよ、と注意する者が
一人もいないという驚くべき状況だ（呆
1/2＋1/4＋1/8＋……＝１
などと思っているのは、このスレのアホどもだけだ（笑
スレ主さえ、そう思っているのか、
この件に関して何の発言もしない（呆
ペンタコ男はペンを0から1までスーッと動かしているだけなのに、
そのことに気付いていない（笑
1/2＋1/4＋1/8＋……とはそういう
123:ことではないのに、 そんなことにすら気付いていない（笑 定義少年は定義少年で、無限級数は何かの極限（極限値）だと 思っているらしい（笑 無限級数が何かの極限（極限値）なら、 1/2＋1/4＋1/8＋……の極限値を問うことは、 極限値の極限値を問うことになり、ナンセンスそのものだ（笑 定義少年の定義によると、 1/2＋1/4＋1/8＋……の極限値＝1/2＋1/4＋1/8＋…… となる（笑 実際彼は以前のレスでそのように書いている（笑 それをおかしいと思わないのか、と指摘してやったが、 彼はまったく意味が理解できなかったようだ（笑 ああ、なぜ2chにはこれほどの○○が揃っているのか（笑
124:１３２人目の素数さん
17/05/28 08:51:04.39 q2oArHoC.net
> 話は逆。私スレ主は”来ないでくれ”と書いてある。スレ28のＮｏ7と9です（＾＾
俺には分からないな～。
どこにスレ主は来ないでくれと書いてある？？
迷惑行為は禁止です。と書いてあるだけだろ？
こんなの当たり前だろ。違うか？
--------------------
> 俺は測度論的確率論で正当化できて、パラドクスも説明できると思っているよ
とおっしゃる
■ID:VW7bBLUp氏と数学の会話を楽しむスレ
となります。
時枝氏の記事、Hart氏の記事の内容に興味がある方はどなたでもご参加ください。
ただし以下の行為は厳に慎んでください：
・他サイトからのコピペでスレを埋め尽くす行為
・デタラメを述べておきながら間違いの指摘は無視する行為
・明らかな間違いにもかかわらず、数学は自由だから何でもありだろ？、と無理やり正当化する行為
・他人の学歴など個人情報を聞き出す行為
・その他、材料工学分野の研究者/エンジニアの名誉を貶める行為
-------------
125:１３２人目の素数さん
17/05/28 09:09:29.63 wTm+t2cZ.net
>>110
１．スレ28の>>1は貴方のHNを勝手に使った、ということですか
しかしそんなの２ｃｈでは日常茶飯時ですよ
２．スレ28の>>1がそういってるわけですね
しかしそんなの守る必要ないでしょう
３．「数学的には一度決着している。」というのは嘘ですね
矛盾の証明なしにあなたの主張が正しいと決着することは
数学的には決してありえません
４．いつでも結構ですよ
ただ>>1氏が別の確率値を算出しない限り
議論は始まらない それが数学です
126:１３２人目の素数さん
17/05/28 09:18:05.83 wTm+t2cZ.net
>>112
＞このスレでは、哀れな素人さんとの議論が白熱している
矛盾が証明できない言い訳のつもりならそんな気遣いは無用ですよ
別に誰も>>1氏を急かしていませんから
127:１３２人目の素数さん
17/05/28 09:23:55.93 nHjrUmHU.net
>>114
＞ペンタコ男はペンを0から1までスーッと動かしているだけなのに、
＞そのことに気付いていない（笑
＞1/2＋1/4＋1/8＋……とはそういうことではないのに、
＞そんなことにすら気付いていない（笑
ここまで書いてるのにまだ気づかないのかよ。
お前がやろうとしているペンの移動行為は
―――――――――――――
スーッと動かさずに、一度に 1/2 だけ移動し、
そこからさらに一度に 1/4 だけ移動し、
そこからさらに一度に 1/8 だけ移動し、・・・
―――――――――――――
というものであるが、これはスーッと動かす移動行為に対して>>71の[A]のようにして記録を
つけているのと論理的に区別がつかないんだよ。なぜなら、>>71の[A]で記録された数値は
[A]
―――――――――――――
1/2
1/2＋1/4
1/2＋1/4＋1/8
：
：
―――――――――――――
という数値でしかないからだ。この記録を第三者が見たときに、もともとのペン移動行為が
(1)「スーッ」と移動したものだったのか、
(2) それとも一度に 1/2, 1/4, 1/8, ・・・ ずつ移動したものだったのか
を判断する術はどこにもないだろ。そして、お前は[A]の記録を見て「ペン先は右端点に達しない」
と言っているが、(1)と(2)の区別がつかない以上、本当に達してなかったのかは[A]の記録だけからは
判断できないだろ。実際、もし(1)だった場合は、１秒後にはペン先は右端点に達しているのであり、
[A]の記録は「１秒より手前の記録でしかない」ことになるからだ。
俺が言っている「ポンコツな比喩」とはこういう意味だよ。
128:１３２人目の素数さん
17/05/28 09:26:41.09 wTm+t2cZ.net
>>115
スレ28の「禁止事項」読ませていただきました
＞・他サイトからのコピペでスレを埋め尽くす行為
そもそも>>1氏の引用は意図が不明の上
そもそも自分の文章と引用を区別する配慮が
為されていないので大変読みにくいです
自分の文章をしっかり書いてほしいものです
その根拠はリンクだけで十分でしょう
129:１３２人目の素数さん
17/05/28 09:32:22.20 PqWMwFYK.net
>>116
「矛盾」してるまでの証明は必要ありません
論理の飛躍を指摘すれば十分です
時枝氏の出した確率99/100は大きな論理の飛躍です
なぜなら可測関数に対してのみ主張できる結果を、証明なしに非可測関数に適用しているからです
130:１３２人目の素数さん
17/05/28 09:33:13.65 e+YixYxd.net
>>114
素人数学で言う「無限小数は存在しない」を標準数学の言葉に翻訳すると「謎のものは存在しない」
となる。「謎のものは存在しない」という主張に我々は「はぁ？」としか言いようがない。
これが結論なのだが、もし反論があるなら>>81のどこがどう間違ってるか具体的に指摘して欲しい。
それ以外、特に持論の講釈は無用である。
131:１３２人目の素数さん
17/05/28 09:34:19.91 nHjrUmHU.net
>>114
＞1/2＋1/4＋1/8＋……とはそういうことではないのに、
＞そんなことにすら気付いていない（笑
>>80で既に書いているが、スーッと移動する動的な行為のことを
1/2＋1/4＋1/8＋…… と書いているのではなく、「右端点１」という
定数のことを 1/2＋1/4＋1/8＋…… という記号列で表すのである。
尤も、根本的な話をするなら、比喩を用いている限りは、どこまで行っても
「 1/2＋1/4＋1/8＋…… 」
という記号列の定義には原理的に辿り着かない。
この記号列の定義を議論したければ、比喩を介さずに直接的に「定義の話」をすることだ。
そして、この記号列の定義とは、「定義少年」が既に書いているような定義である。
すなわち、ある種の「極限値」のことを「 1/2＋1/4＋1/8＋…… 」という記号列で
定義するのである。現代数学ではそのように定義するのである。
従って、この記号列は動的に動く対象を表しているのではなく、
単なる 定 数 を表しているのである。
もちろん、今回の場合は 1/2＋1/4＋1/8＋…… ＝ 1 である。
その一方で、お前は「 1/2＋1/4＋1/8＋…… 」という記号列を
[A]
―――――――――――――
1/2
1/2＋1/4
1/2＋1/4＋1/8
：
：
―――――――――――――
のような、[A]で記録された数値の "総称" を表すものとして用いている。
しかし、そのような定義は間違っている。京大まで行っておきながら、
お前はいったい誰からそんな間違った定義を教わったのだね？
京大でもそんな教え方はしていないぞ？
まさか、「 1/2＋1/4＋1/8＋・・・ 」という記号の見た目から類推して、
お前が自分勝手に独自の定義をでっち上げたのかね？
132:１３２人目の素数さん
17/05/28 09:37:30.34 wTm+t2cZ.net
>>115
＞・デタラメを述べておきながら
＞間違いの指摘は無視する行為
＞・明らかな間違いにもかかわらず、
＞数学は自由だから何でもありだろ？、
＞と無理やり正当化する行為
一般論ですが
猛獣のしつけはまず不可能だと思って諦めましょう
食べられないうちに逃げるのが肝心です
133:１３２人目の素数さん
17/05/28 09:43:28.11 wTm+t2cZ.net
>>120
＞可測関数に対してのみ主張できる結果を、
＞証明なしに非可測関数に適用している
つまり測度が定義されないものについて
公平性を前提することはできない、という主張ですか？
ところであなたは何がどう非可測だと考えていますか？
例えば２^Nを同値関係～で切断した集合は確かに非可測でしょうが
それは「箱入り無数目」のどこで使いますか？
134:１３２人目の素数さん
17/05/28 09:47:29.90 e+YixYxd.net
>>122
＞まさか、「 1/2＋1/4＋1/8＋・・・ 」という記号の見た目から類推して、
＞お前が自分勝手に独自の定義をでっち上げたのかね？
その通りですよ。
>>69 で彼は
1/2＋1/4＋1/8＋…… ＝[n＝1→∞]Σ1/2^n
と、我々には理解不能な独自定義をしています。
135:１３２人目の素数さん
17/05/28 09:48:57.91 PqWMwFYK.net
>>124
決定番号d_1,d_2,...,d_100を構成し、d_1が最大でなければ当てられるというのが時枝氏の方法ですが、d_1が最大である確率が1/100であるということに議論の飛躍があります
d_1,d_2,...,d_100が可測関数で独立同一分布ならその結論は正しいですが、今は非可測集合を経由してるので可測関数であることが言えません
136:現代数学の系譜11 ガロア理論を読む
17/05/28 09:53:37.25 0kj8Xeyl.net
>>113
ID:nqZqChTFさん、どうも。スレ主です。
>数セミ取り寄せて時枝記事読んでみたけど、多分たいした話じゃない。
それはそれは、どうも、ご苦労さま
137:です（＾＾ >「箱の中を高確率で当てられる」というのはむしろ当然の結果。 みんなそう言われます。 それでこそ、私にとっても面白い。望むところです>>77-78 まあ、私がピエロか、それとも、”日本人の3割しか知らないこと くりぃむしちゅーのハナタカ”に該当するのか、じっくり見て行って下さい（＾＾
138:１３２人目の素数さん
17/05/28 09:56:30.51 wTm+t2cZ.net
>>126
>d_1,d_2,...,d_100が可測関数で独立同一分布ならその結論は正しいですが
つまり
無限列の～による各同値類の２つの要素の組を
決定番号別に分けた部分集合が非可測だ
といってるのでしょうか？
その証明はありますか？
仮に非可測だとして、それは
「測度論が、公平性を適用する根拠とならない」
というだけであって、
「公平性の前提から矛盾が導かれるから適用できない」
ということではないでしょう？
139:１３２人目の素数さん
17/05/28 09:57:54.53 AmCkyr/j.net
おっちゃんです。
前スレで誰かが書いていたけど、
時枝記事はプリンストン数学大全に載っているのか？
140:１３２人目の素数さん
17/05/28 10:01:15.51 AmCkyr/j.net
事実だったら、説明出来そうなことがある。
141:１３２人目の素数さん
17/05/28 10:03:20.42 q2oArHoC.net
>>130
おっちゃん、今は自制してほしい
142:現代数学の系譜11 ガロア理論を読む
17/05/28 10:06:51.11 0kj8Xeyl.net
>>123
ID:q2oArHoCさん、どうも。スレ主です。
>こんなの当たり前だろ。違うか？
違いますね
それは書いた当人、おそらく>>123に聞いてもらえれば、はっきりするでしょうね。少し>>123に書いて有るとおりですが
もっとも、猛獣として、そんなカキコは無視して乱入しようと思えば、出来なくも無い
が、High level people との議論は、私ども（理系）Low level people とは、levelが違いすぎてかみ合いません （（理系）Low level people は無駄な議論は嫌いなんですよ（＾＾）
せめて、>>91-92の確率論の最初くらいは勉強してくれというのに
それも出来ないようです。それなら ”素人さん：(文系)High level people ”の議論と同じで、いつまでも決着しない・・（＾＾
あと、>>116にあるように、「HNを勝手に使った、ということです」ね
当然、その報いは当人に跳ね返ります。人間失格、信用失墜としてね・・（＾＾
143:現代数学の系譜11 ガロア理論を読む
17/05/28 10:11:50.03 0kj8Xeyl.net
>>129-130
おっちゃん、どうも、スレ主です。
>時枝記事はプリンストン数学大全に載っているのか？
時枝記事ではないね。過去このスレでも紹介した決定性公理（AD）の話だと思う。タイトルは、”IV.22 集合論 8.決定性”
ｽﾚﾘﾝｸ(math板)
242 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/23(火) 23:50:16.32 ID:I0gd4mu6 [12/14]
過去スレより再掲
ｽﾚﾘﾝｸ(math板:527番)
527 名前：１３２人目の素数さん[sage] 投稿日：2017/05/15(月) 18:01:51.19 ID:g7LUGxkD
数百年前の数学の基礎すら理解出来ないっぽい素人以前の「哀れな素人」は無視するけど、
「箱入り無数目」って『プリンストン数学大全』の p.699 にある無限ゲームと同じじゃね？
(引用終り)
情報ありがとう！
図書館で見てきた
これは凄い本です。岩波の数学辞典を二回り大きくしたような
URLﾘﾝｸ(www.asakura.co.jp)
プリンストン 数学大全 B5／1192ページ／2015年11月20日 朝倉書店
(抜粋)
第 IV 部 数学の諸分野
IV.22 集合論
8.決定性
(引用終り)
で、まあ、これ、決定性公理（AD）の話（記述）やね
決定性公理（AD）は、スレ17で少し触れたが、その後、スレ21で本格的に議論を展開した(下記の通り)
144:１３２人目の素数さん
17/05/28 10:18:38.33 PqWMwFYK.net
>>128
非可測の証明はありませんが、おそらく非可測だろうと時枝氏も認めていることなので議論する必要はないでしょう
矛盾が導かれるまでは言ってませんが、論理の飛躍があるというのが私の主張です
145:１３２人目の素数さん
17/05/28 10:19:44.61 wTm+t2cZ.net
>>132
HighとかLowとかいう言葉は無用ですよ
＞確率論の最初くらいは勉強してくれ
99/100という計算も確率
146:論の基本から出てきてますよ 逆にこの結果が成り立たない、ということは 基本の前提が成り立ってないってことです 具体的にいえば「どの列が最長になるのも同じ確率」 ってところです 具体的な確率評価をせよとはいいません 少なくとも「同じ確率だと前提すると矛盾する」 という証明を示してください 「同じ確率だと前提する根拠がない」だけでは 「同じ確率だ」という前提を否定する根拠にはなりません
147:１３２人目の素数さん
17/05/28 10:26:01.67 wTm+t2cZ.net
＞おそらく非可測だろうと時枝氏も認めている
記事で述べられていたのは「R^N/～は非可測集合」であって
同値類に測度が設定できないとまでは言っていなかったと
記憶しているが違いますか？
＞論理の飛躍がある
正確には「新たな前提を立てている」でしょう
それが「どの列が最大長になるかは同確率」という点でしょう
上記の主張が測度論によって正当化されないから「飛躍」だというのでしょうが
「飛躍」だから「誤り」だとはいえません
誤りだと主張するには矛盾を導くしかありません
具体的には同確率でないことを直接示すしかありません
148:１３２人目の素数さん
17/05/28 10:33:33.43 wTm+t2cZ.net
>>134
すみません レスを>>136で返しました
追記ですが
「どの列が最大長になるかは同確率」
という条件が、他の前提とは独立であって
そうだと仮定してもそうでないと仮定しても
矛盾は導けない、ということであれば
「箱入り無数目」の著者等の立場も
>>1氏の立場もどちらも「数学的正当」
ということになります
ただし>>１氏の主張の中の
「「箱入り無数目」の著者等は間違ってる」
という点は却下されますが
要するに
「ユークリッド幾何と非ユークリッド幾何のどちらが数学的に正しいか」
というような形の問いは数学としては無意味です
149:１３２人目の素数さん
17/05/28 10:44:22.66 PqWMwFYK.net
>>136
自然な仮定は「箱に入れる確率変数列X_1,X_2,...,は独立同分布である」だけでしょう
「どの列が最大長になるか同確率」を仮定に入れた場合、そのような仮定を満たすという非常に限定された場合のみでの主張になります
ハッキリ言ってそれは時枝氏の主張ではなく、「箱に入れる確率変数列X_1,X_2,...,は独立同分布である」だけで数当てをするのが目的だったのではないでしょうか。
150:１３２人目の素数さん
17/05/28 10:47:57.57 PqWMwFYK.net
>>137
非ユークリッド幾何学は実際に構成できたから認められたわけなので
「箱に入れる確率変数列X_1,X_2,...,は独立同分布である」
「どの列が最大長になるか同確率」
を同時に満たすようなモデルがあってはじめて意味をなすでしょう