602:１３２人目の素数さん
18/12/28 20:50:26.61 fkehK+Gv.net
>>546
＞（「arbitrarily large」が可能無限、「infinite」が実無限な ）
スレ主ってホント馬鹿だな
「arbitrarily large」は有限、「infinite」は無限だ
603:１３２人目の素数さん
18/12/28 21:02:01.91 Mez7x6wS.net
>>537
「手前勝手に設定」とスレ主は書いているが
時枝記事では100列の中で数当て戦略が失敗するような決定番号は
高々1つしかない
そこで最悪のケースとして100個の決定番号の中に数当て戦略が失敗する
決定番号が必ず1個あると仮定すれば数当て戦略が失敗するのは
当然100個の内1個だけ
(無限を扱うのに極限を定義すれば)100個の決定番号を用いて数当てが失敗
する決定番号を選ぶ場合の確率空間を定義できる
この場合P({k}) = 1/100だから1 - 1/100 = 99/100と導ける
URLﾘﾝｸ(ja.wikipedia.org)確率空間
> サイコロ投げの確率空間は次のようなものである：S = {1, 2, 3, 4, 5, 6}, E = 2^S, P({k}) = 1/6 (k = 1, 2, 3, 4, 5, 6)
(6列なら6個の決定番号)これと同じことです
604:１３２人目の素数さん
18/12/28 21:08:45.26 fkehK+Gv.net
>>546
＞URLﾘﾝｸ(mathoverflow.net) みたく、ばりばりの数学科生が書いていて
スレ主が勝手にそう思い込んでるだけだろｗ
お目出度い奴だな
605:１３２人目の素数さん
18/12/28 21:21:14.51 +5Kxdi2K.net
>>552
その通り
>>546
「arbitrarily large」は「任意に大きい」
「infinite」は「無限の」
と解説してやってもスレ主は理解しないだろう。過去ログから分るが、スレ主は両者の区別がついてない。
＞「infinite」が実無限
と書いてる辞書があるなら書名を教えてくれ、文句言ってやる。
606:１３２人目の素数さん
18/12/28 21:30:34.94 fkehK+Gv.net
>>546
だいたいスレ主は海外の掲示板の中から
自分に都合のいい文章を引っこ抜いただけだろ
そりゃ決定番号の確率分布なんか考えようとしたら破綻する
しかし、それが時枝戦略の成功確率の計算に不可欠かといえばそんなことはない
日本人だろうが外国人だろうが間違うヤツは間違う ただそれだけのこと
607:１３２人目の素数さん
18/12/28 21:37:27.96 fkehK+Gv.net
>>546
＞because we would need to define a measure on sequences
これこそ分かってるつもりの馬鹿の発言
数列上の測度の定義なんか必要ない
必要ないものを必要だと思うのは頭が悪い
608:１３２人目の素数さん
18/12/28 21:44:51.39 fkehK+Gv.net
ハウスドルフの逆理みたいに、
ある方法では１／２、別の方法では１／３
になる場合には確率が定義できない
といっていいが、時枝戦略の成功確率は
そういうものではない
609:１３２人目の素数さん
18/12/28 22:04:33.25 +5Kxdi2K.net
英語圏にもスレ主のようなバカがいるらしい
よかったなスレ主
610:１３２人目の素数さん
18/12/28 22:09:26.71 fkehK+Gv.net
スレ主は結局、反論を思いつけず
ただ海外の掲示板を検索して
「向うの”数学関係者”は否定発言してる」
とわめくだけの●違いピエロだったか
URLﾘﾝｸ(www.youtube.com)
611:１３２人目の素数さん
18/12/28 22:11:38.36 fkehK+Gv.net
>>559
＞英語圏にもスレ主のようなバカがいるらしい
バカはどこにでもいるでしょうｗ
スレ主が卑怯卑劣なのは、そういうバカが
数学の専門家であるかの如くみせかける点
まさにサイコパス
612:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/28 22:26:04.84 Aart/Hgg.net
>>534
追加
URLﾘﾝｸ(maxima.hatenablog.jp)
2018-03-27 -数学- ガロアの逆問題 Maxima で綴る数学の旅
(抜粋)
ガロア理論の周辺の問題として、「ガロアの逆問題」と呼ばれる問題があります。与えられた有限群をガロア群としてもつ多項式をあれば求めよ、というような問題です。もう少しきちんと書くと以下のようになります。
この問題に対して５次方程式のガロア群（対称群 S5の部分群）について"生成多項式"を具体的に与える論文[1]があります。位数10の２面体群、位数5の巡回群、位数20のフロベニウス群、５次の交代群、５次の対称群などは５次方程式のガロア群となるものです。それぞれの群について具体的な
613:方程式を生成する方法が下記の論文には載っています。 http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/1324-21.pdf 橋本喜一朗、角皆 宏、5 次可移群に対する Q 上 2 助変数生成的多項式の構成、数理解析研究所講究録 1324 巻 2003 年 207-216
614:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/28 22:26:34.06 Aart/Hgg.net
付録
検索でヒットしたので
URLﾘﾝｸ(www.tsuyama-ct.ac.jp)
松田 修 津山高専
URLﾘﾝｸ(www.tsuyama-ct.ac.jp)
ガロア理論を理解しよう
Osamu MATSUDA
平成 30 年 11 月 16 日
615:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/28 22:28:35.54 Aart/Hgg.net
>>550-561
バカ踊りありがとう、ピエロ
さあ、踊れ
バカピエロ！（＾＾
616:１３２人目の素数さん
18/12/28 22:29:13.33 +5Kxdi2K.net
>>561
＞バカはどこにでもいるでしょうｗ
それはそうだが、スレ主ほどのバカがいるとは些か驚きｗ
617:１３２人目の素数さん
18/12/28 22:30:40.11 fkehK+Gv.net
>>564
バカは掲示板の英語文コピペしただけで
反論した気になってるAIアタマのスレ主
さあ狂え ●違いピエロスレ主
618:１３２人目の素数さん
18/12/28 22:33:26.22 fkehK+Gv.net
スレ主がいくら
「非可測だから確率が定義できない」
とわめいたって、こっちは
「それは貴様がバカだからだろ
別のやり方で確率は算出できる」
というだけのことで、スレ主は
こっちのやり方を否定する論拠
なんか持ち合わせちゃいない
スレ主 惨敗
619:１３２人目の素数さん
18/12/28 22:39:32.40 fkehK+Gv.net
>>565
＞スレ主ほどのバカがいるとは些か驚きｗ
一つの考え方に固執するバカは珍しくない
時枝戦略でいえば、数列上の測度に固執するバカとか
非可測なんだからその道は諦めて別の道を行けよ
620:１３２人目の素数さん
18/12/28 22:48:52.25 fkehK+Gv.net
IUTスレで珍しくここのスレ主の話題がでたから
数学どころか文章の読解もできず
他人の文章をコピペするだけの池沼だと
さんざんこきおろしてやった
ざまあみろ
621:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/29 07:56:58.69 nqXwmrkU.net
>>569
>IUTスレで珍しくここのスレ主の話題がでたから
>数学どころか文章の読解もできず
>他人の文章をコピペするだけの池沼だと
>さんざんこきおろしてやった
>ざまあみろ
おは
ピエロちゃん、ありがとう（＾＾
ああ、下記かい
これ、面白すぎるわ
記念に全文をコピペしておくよ
あんたのサイコパス性格が、もろ全開だね～（＾＾；
これ、Ｍ＝望月新一先生だね
・「肝心の圏論の理解はボロボロなＭは只のイタイ奴」
・「ここにはMのイヌがいるのか？」
・「おまえがMのイヌか？」
・「＞前者（Mのやりたかったこと）の部分にははなから何もないのか
なんかあったって間違ってるんなら無意味だろ」
いやはや、ピエロの小学生頭で、おまえIUTの何を理解しているんだ
”ボロボロなＭは只のイタイ奴”とか、”Mのイヌ”とか、”間違ってるんなら無意味”とか、何をもってそう決めつけているのかね？？
おれなんか、IUTスレはレベル高すぎて、ヤジウマが精一杯だよ
まあ、ド素人のおれなんか、プロ野球を外野スタンドから見ているようなものだが
ピエロの小学生頭じゃ、下手なド素人が、プロのグランドに降りて、引っかき回してきたとした思えないね
ｽﾚﾘﾝｸ(math板:975番)
Inter-universal geometry と ABC予想 35
975 名前：１３２人目の素数さん[] 投稿日：2018/12/28(金) 18:12:34.28 ID:fkehK+Gv [1/5]
結局、自分の理論に「宇宙際」とか中二病な名前つけときながら
肝心の圏論の理解はボロボロなＭは只のイタイ奴ってことでＯＫ？
983 名前：１３２人目の素数さん[] 投稿日：2018/12/28(金) 22:44:19.60 ID:fkehK+Gv [2/5]
ここにはMのイヌがいるのか？
つづく
622:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/29 07:57:49.24 nqXwmrkU.net
>>5
623:70 つづき 984 名前：１３２人目の素数さん[] 投稿日：2018/12/28(金) 22:47:02.91 ID:fkehK+Gv [3/5] >>967 ＞古典ガロアスレ主とかと一緒のタイプなのか 古典ガロアスレ主は正真正銘の池沼だよ 数学が分かってないだけでなく そもそも文章が読めない だからやたらとコピペしまくる 読んで自分の言葉にすることができない 988 名前：１３２人目の素数さん[] 投稿日：2018/12/28(金) 22:58:52.34 ID:fkehK+Gv [4/5] >>986 おまえがMのイヌか？ 989 名前：１３２人目の素数さん[] 投稿日：2018/12/28(金) 23:03:47.03 ID:fkehK+Gv [5/5] >>987 ＞前者（Mのやりたかったこと）の部分にははなから何もないのか なんかあったって間違ってるんなら無意味だろ (引用終り) 以上
624:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/29 07:58:10.07 nqXwmrkU.net
>>565-569
バカ踊りありがとう、ピエロ
さあ、今日も踊れ
バカピエロ！（＾＾
625:１３２人目の素数さん
18/12/29 08:22:27.17 dAnabccJ.net
>>570-571
IUTの正当性は知らんけどな
Mこと望月新一氏の信奉者に対して
決して数学界が受け入れてるわけではない
という情報を伝えるのはいいことだろうよ
>>572
またバカスレ主のピエロが発狂してるな
626:１３２人目の素数さん
18/12/29 08:27:51.53 dAnabccJ.net
”時枝記事の戦略の成功確率が
「有限事象の確率の計算」
に帰着されるのは
a. 1～100のいずれかkをランダムに選ぶ
b. 選ばれた列s~kの決定番号d(s~k)が
他の列の決定番号どれよりも大きい
場合はたかだか1つ
の２点に基づいているから”
この文章にスレ主はいまだ反論できず
>>546？ ありゃ反論じゃないな
ただのコピペ しかも理屈は全然なし
スレ主 文章読めんし書けんって本当だったな
627:１３２人目の素数さん
18/12/29 08:35:07.20 dAnabccJ.net
>>546
”In this context, does it make sense to say "guess the content of a box with arbitrarily high probability"?
I think it is ok, because the only probability measure we need is uniform probability on {0,1,…,N_
1},
but other people argue it's not ok, because we would need to define a measure on sequences, and moreover axiom of choice messes everything up.”
「この文脈では、「ボックスの内容を任意の高い確率で推測する」と言っても意味がありますか。
私たちが必要とする唯一の確率尺度は{0,1、…、N_1}上の一様確率であるため、それは問題ないと思います。
しかし、他の人々はそれが問題だと主張します、なぜなら私たちは数列に関する測度を定義する必要があり、さらに選択の公理はすべてを台無しにするからです。」
上記の「他の人々」は「数列に関する測度」とかいう袋小路に入り込んで
「出口がない！」とわめいてる点で、スレ主と同レベルだな
628:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/29 09:34:21.42 nqXwmrkU.net
>>573-575
バカ踊りありがとう、ピエロ
さあ、今日も踊れ
バカピエロ！（＾＾
629:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/29 09:36:13.23 nqXwmrkU.net
>>573
>IUTの正当性は知らんけどな
>Mこと望月新一氏の信奉者に対して
>決して数学界が受け入れてるわけではない
>という情報を伝えるのはいいことだろうよ
はあ？ ”IUTの正当性は知らんけど”って？ 「IUTの正当性」が、あのスレのキモでしょうよ？（＾＾；
はあ？ ”決して数学界が受け入れてるわけではない”？？ お前が、数学界を代表して発言しているのかい？
（査読の終わった論文として発行されるというのが、「数学界が受け入れる」ことの第一歩でしょ？ まだ査読が終わっていないの周知よ。なに言ってるの？）
サイコパス頭全開だね～、ワロタよ、ピエロ（＾＾；
630:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/29 09:37:51.40 nqXwmrkU.net
>>570
ついでに
ｽﾚﾘﾝｸ(math板:966番)-967
Inter-universal geometry と ABC予想 35
966 名前：１３２人目の素数さん[sage] 投稿日：2018/12/28(金) 16:56:10.21 ID:bMFTtxiH [2/2]
最後って言いながらずっと書き込んでる痴呆症の人は物理屋さんとか親切な人をレスに盛り込まないと書き込めない病気も患ってるの？
967 名前：１３２人目の素数さん[sage] 投稿日：2018/12/28(金) 17:03:08.35 ID:KlRY2tKA [7/10]
>>966
なんかそのひとってほんと主張に特徴があって、
・IUTTは成功してないけど望月のアイデアはすごい
→ IUTTに独創的なアイデアというほどのアイデアはない
ショルツたちがIUTTのアイデアで独創的と認めているものはない
・IUTTは現状の数学では成立しないけど数学的には意義がある
→ 意味がよく分からない
・いろいろ書いてるけど別に数学に詳しくないっぽい
のよね。古典ガロアスレ主とかと一緒のタイプなのか。
(引用終り)
「そのひと＝古典ガロアスレ主とかと一緒のタイプ」
って、このひとのレスを見たけど、おれよりよほどレベルが高い
まあ、「いろいろ書いてるけど別に数学に詳しくないっぽい」というのは、私スレ主には当たっているが
このひとには該当しないと思うよ
つづく
631:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/29 09:40:15.03 nqXwmrkU.net
>>578
つづき
で、このガロアスレについて書くと
下記に、2ch勢いランキングというのがあって（いま5chだけど）
このガロアスレが勢いで２位
のみならず、６位（スレ55）と１９位（スレ52）にも、過去スレが生き残っている
この勢いは、バカピエロのバカ踊りのたまものなので、バカピエロには感謝しているが（＾＾；
一方で、「この5ch数学板の惨状はなんなのだ？」という思いもある
下記スレタイ見ても、読んでみようかと思うタイトルは少ないし、たまに覗くと人が居ないし
URLﾘﾝｸ(49.212.78.147)
2ch勢いランキング
2ch全カテゴリ > 学問・理系 > 数学
(抜粋)
順位 6H前比 スレッドタイトル レス数 勢い
1位 = Inter-universal geometry と ABC予想 36 18 55
2位 = 現代数学の系譜 工学物理雑談 古典ガロア理論も読む56 572 44
3位 = Inter-universal geometry と ABC予想 35 1001 38
4位 = 奇数の完全数の存在に関する証明3 557 29
5位 = 分からない問題はここに書いてね449 963 29
6位 = 現代数学の系譜 工学物理雑談 古典ガロア理論も読む55 745 24
7位 = 面白い問題おしえて～な 28問目 907 15
8位 = 数学の本第80巻 505 12
9位 = 高校数学の質問スレPart398 713 10
10位 = 【専門書】数学の本第80巻【啓蒙書】 310 7
つづく
632:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/29 09:40:39.31 nqXwmrkU.net
>>579
つづき
11位 ↑2 【数学検定】数学検定（数検）総合スレッド Part.12 891 6
12位 ↓-1 【自称数学者】三鷹の大類昌俊 Part7【つどい出禁】 740 6
13位 ↓-1 巨大数探索スレッド14 864 6
14位 = ■■■■■■■■■■■■■ 人工太陽 108 5
15位 = Michael F. Atiyahがリーマン予想を証明しました。 407 4
16位 = 数理論理学（数学基礎論） その13 547 4
17位 = 「数学って何の役に立つの？」へのお前らの答えを書くスレ 124 4
18位 = コラッツ予想がとけたらいいな その2 672 3
19位 ↑2 現代数学の系譜 工学物理雑談 古典ガロア理論も読む52 688 3
20位 = 量子コンピュータは数学の証明に使えるか？ 36 3
21位 ↓-2 【大学院へ】 30過ぎて、数学の道へ 【挑戦】 第5章 933 3
(引用終り)
つづく
633:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/29 09:41:06.00 nqXwmrkU.net
>>580
つづき
で、この５ｃＨ数学板で、ガロアスレ以上のレベルで、議論が活発なスレは？
見るところ、「Inter-universal geometry と ABC予想」くらいじゃない？
ＩＵＴスレは、レベル高杉で、ほとんどついて行けないが、面白いのでヤジウマしている
だけど、他で面白そうなのは、住民がいないし
アクティブなスレがあると、高校レベルに毛の生えた程度だし
なので、ここ１年くらいは、ＩＵＴスレ以外は巡回していないんだ
どうぞ、どなたでも
ガロアスレ以上のレベルで
アクティブなスレがあれば教えて下さい
巡回ルートに入れますので
以上
634:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/29 09:41:23.42 nqXwmrkU.net
バカ踊りありがとう、ピエロ
さあ、今日も踊れ
バカピエロ！（＾＾
635:&
18/12/29 09:50:00.73 h+e/QCOw.net
𓀀 𓀁 𓀂 𓀃 𓀄 𓀅 𓀆 𓀇 𓀈 𓀉 𓀊
𓀋 𓀌 𓀍 𓀎 𓀏𓀐 𓀑 𓀒 𓀓 𓀔
𓀕 𓀖 𓀗 𓀘 𓀙 𓀚 𓀛 𓀜 𓀝 𓀞 𓀟𓀠
𓀡 𓀢 𓀣 𓀤 𓀥 𓀦 𓀧 𓀨 𓀩 𓀪 𓀫
𓀬 𓀭 𓀮 𓀯𓀰 𓀱 𓀲 𓀳 𓀴 𓀵 𓀶 𓀷
𓀸 𓀹 𓀺 ̊
636:83; 𓀼 𓀽 𓀾 𓀿𓁀 𓁁 𓁂 𓁃 𓁄 𓁅 𓁆 𓁇 𓁈 𓁉 𓁊 𓁋 𓁌 𓁍 𓁎 𓁏𓁐 𓁑 𓁒 𓁓 𓁔 𓁕 𓁖 𓁗 𓁘 𓁙 𓁚 𓁛 𓁜 𓁝 𓁞 𓁟𓁠 𓁡 𓁢 𓁣 𓁤 𓁥 𓁦 𓁧 𓁨 𓁩 𓁪 𓁫 𓁬 𓁭 𓁮 𓁯 𓁰 𓁱 𓁲 𓁳 𓁴 𓁵 𓁶 𓁷 𓁸 𓁹 𓁺 𓁻 𓁼 𓁽 𓁾.
637:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/29 09:53:30.34 nqXwmrkU.net
>>575
>上記の「他の人々」は「数列に関する測度」とかいう袋小路に入り込んで
>「出口がない！」とわめいてる点で、スレ主と同レベルだな
まじレスすれば
過去にそういう人は、このスレに来たよ
最初が、私が確率論の専門家さんと呼ぶ人だった
あと二人くらい来て
最後が、ぷふさんだったね
まあ、そのうち、お前のピエロバカ頭にも分るように書いてやるからさ
それまで、ピエロ踊り頑張ってくれ～！（＾＾
638:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/29 09:54:10.53 nqXwmrkU.net
>>583
ありがとう
ご苦労さまです（＾＾
639:&
18/12/29 09:58:16.13 h+e/QCOw.net
ピエロとヒエログリフ
→ダジャレ
640:１３２人目の素数さん
18/12/29 11:00:07.88 TDtgy/5r.net
巨大数スレとかちょくちょく大学以上の数学について話されてるけどな
641:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/29 11:12:36.15 nqXwmrkU.net
>>573
>決して数学界が受け入れてるわけではない
>という情報を伝えるのはいいことだろうよ
ID:dAnabccJ ＝ピエロ じゃん（＾＾；
「できなきゃ数学界では認められない」（下記）
お前、数学界を代表して発言しているのかい？ッﾌﾟ（＾＾
（サイコパスだね～）
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 36
19 名前：１３２人目の素数さん[] 投稿日：2018/12/29(土) 09:18:07.89 ID:dAnabccJ
>>9
ショルツの指摘に反駁するのはＭの仕事だろ
できなきゃ数学界では認められない 当り前のこと
642:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/29 11:13:31.06 nqXwmrkU.net
>>586
ありがとう
わろた～（＾＾
643:１３２人目の素数さん
18/12/29 11:19:12.97 Om+har0l.net
もはや誹謗中傷しかしなくなったスレ主
それでスレが伸びてると自慢
はあ
644:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/29 11:38:26.35 nqXwmrkU.net
>>587
>巨大数スレとかちょくちょく大学以上の数学について話されてるけどな
ああ、下記ね
ありがとう
今見てきたけど
まあ、アスキー書式しか使えない場所で
数学の議論をすることの限界をしめしていると思う
実際極めて読みづらい
URLﾘﾝｸ(49.212.78.147)
2ch勢いランキング
2ch全カテゴリ > 学問・理系 > 数学
(抜粋)
順位 6H前比 スレッドタイトル レス数 勢い
13位 ↓-1 巨大数探索スレッド14 864 6
巨大数探索スレッド14
ｽﾚﾘﾝｸ(math板)
645:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/29 11:48:00.22 nqXwmrkU.net
>>590
まあ、十分時間をかけないとね（＾＾
時枝記事の不成立は、ある程度の数学レベルがないと、理解が難しい
（>>508より）
おっちゃんの
「100個の相異なる決定番号からなる有限集合をΩとする。Ωの濃度は card(Ω)＝100。
そこで、濃度が 2^{100} に等しいΩのσ-集合体をFとする。」
ピエロ
>Ωは{1,･･･,100}でOKなんで
(引用終り)
これみたら、確率空間の設定を間違えている確率論ド素人丸出し
こんなやつらを、どうやってまともに相手するっていうんだ？
まあ、おれも確率論が詳しいとはいえないけどよ
646:１３２人目の素数さん
18/12/29 12:08:29.91 Om+har0l.net
>>592
＞まあ、十分時間をかけないとね（＾＾
＞時枝記事の不成立は、ある程度の数学レベルがないと、理解が難しい
3年では足りないと？
647:１３２人目の素数さん
18/12/29 12:13:47.37 Om+har0l.net
>>592
＞これみたら、確率空間の設定を間違えている確率論ド素人丸出し
いや、決定番号＝∞とか言っちゃうスレ主がアホ丸出しでしょ
決定番号が自然数でありさえすれば、その確率空間の設定で何ら問題無いし、
実際、選択公理を仮定すれば決定番号は自然数になる。
648:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/29 12:14:30.77 nqXwmrkU.net
>>563
追加
「2017 年 8 月下旬から当時小学校 4 年生の高橋洋翔君との研究交流が始まった」「T は 10 歳の数学少年」だって（＾＾
あと
「飯高茂，数学の研究をは
649:じめよう／高校生の定義した新しい完全数，その衝撃－前編，現代数学 2017 年 5 月号，現代数学社，pp.79-85」 にも、びっくり（＾＾ http://www.tsuyama-ct.ac.jp/matsuda/ 松田 修 津山高専 http://www.tsuyama-ct.ac.jp/matsuda/AlgeGeo/algegeo_index.html 代数幾何学シンポジウムの記録 －高専代数幾何学研究会編－ http://www.tsuyama-ct.ac.jp/matsuda/AlgeGeo/algebraic_geometry_2017.pdf 代数学ミニシンポジウム2017 in 倉敷 （報告集） new (抜粋) ハイパー完全数と スーパー完全数（飯高 茂） ・・・・・・・ 1 5 高橋君との研究交流 9 5.1 m:奇数の場合 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 5 高橋君との研究交流 2017 年 8 月下旬から当時小学校 4 年生の高橋洋翔君との研究交流が始まった. ここで は高橋君を T を筆者を I と書く. (T は 10 歳の数学少年 ,I は 75 歳の後期高齢者). 1. 2017 年 8 月 25 日. T は I に数学の研究になる課題を教えてほしいと要望. 2. 8 月 27 日. I は葉書を出して . φ(2φ(a) + 1) = a + 1 の解 a は何かを問う. 3. 2 日後 T は 解は 2^e. ここで 2^e + 1 は素数と返書. 4. I は葉書を出して, 未解決の問題なので難問と添え書きして φ(2φ(a) ? 2) = ?3 の解を問う. 5. T は 解は 双子素数の兄の方であると証明をつけて ipad で返書. 6. ２日後 I は 葉書を出して一般に m:負の奇数のとき φ(2φ(a) + 1 + m) = a + m, の解などを問う. 7. 9 月 2 日 T は 多くの課題と結果を書きならべ, m = ?1 のとき φ(2φ(a)) = a ? 1の解は 2 とフェルマ素数と予想するが未証明と ipad で返書 8. それを受けて I は m = ?1:のとき解はないとしていた誤りに気づき, 正しい証明を作り mail で伝えた. 以下はこのような流れの中でできた結果についてふれる つづく
650:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/29 12:15:43.65 nqXwmrkU.net
>>595
つづき
素数??を基礎にした完全数の研究（桐山翔伍） ・・・・・・・ 76
昨年の JSEC2016 において「メルセンヌ素数とその派生数に関する研究」[K1]を発表し
た．この研究において，私はこれまでに知られている完全数をより一般的に扱った「素数??
を基礎にした完全数」という数を定義することに成功した．
9. おわりに
昨年の JSEC2016 の後，それまでの研究を論文[K2]にまとめた．そしてまとめた論文を数
学クラブの顧問の先生の勧めで日本教育学会会高専・大学部会論文誌に投稿し，掲載された．
この論文[K2]を見て，学習院大学名誉教授の飯高茂先生が，雑誌「現代数学」に「高校生の
定義した新しい完全数」というサブタイトルで，私の研究を紹介して評価してくださり(参
考[K1], [K2])，とてもうれしく，感謝した．
参考文献
[I1] 飯高茂，数学の研究をはじめよう／高校生の定義した新しい完全数，その衝撃－前編，
現代数学 2017 年 5 月号，現代数学社，pp.79-85
[I2] 飯高茂，数学の研究をはじめよう／高校生の定義した新しい完全数，その衝撃－後編，
現代数学 2017 年 6 月号，現代数学社，pp.82-87
(引用終り)
以上
651:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/29 12:16:55.66 nqXwmrkU.net
>>593-594
ピエロちゃん、アホ踊りありがとう（＾＾
652:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/29 12:19:52.52 nqXwmrkU.net
>>596 文字化け訂正
素数??
↓
素数p
追伸
これが文字化けするとは、不便な板だね（＾＾
653:１３２人目の素数さん
18/12/29 12:22:03.86 9ok3z8n8.net
おっちゃんです。
>>592
私は時枝記事は読んでいないと>>525に書いたろ。
100個の決定番号が相異なることは保証されていないから、
スレ主のマネして構成しようとした確率空間 (Ω,F,μ) card(Ω)＝100 が間違うのは当たり前。
Ωが1元集合でもいいのだし、このときは公理的な確率論は適用するまでもない。
2≦card(Ω)≦100 のときは、μの定�
654:ﾟ方が私には分からん。 このように、スレ主のマネするとややこしいことになる。 だから、公理的な確率論は持ち出すまでもない。
655:１３２人目の素数さん
18/12/29 12:27:07.72 9ok3z8n8.net
>>592
というか、2≦card(Ω)≦100 のときは、μを定める一定の基準は見たところなさそうだな。
656:１３２人目の素数さん
18/12/29 12:30:18.99 Om+har0l.net
3年の間スレ主の傍証は尽く否定されたし、スレ主は一度も時枝解法の間違い箇所を指摘できていない。
なのに何故スレ主が未だに不成立と思ってるのかが謎。
誹謗中傷しかできない荒しとなってまで不成立の立場を守る価値があるのか？
657:１３２人目の素数さん
18/12/29 12:34:46.09 9ok3z8n8.net
>>592
2≦card(Ω)≦100 のときは、
1)：card(Ω)＝2 のとき、2)：card(Ω)＝3 のとき、…、99)：card(Ω)＝100 のとき、
としらみ潰しに場合分けするしかなさそうだが、本来する必要は全くないのに、
こんな面倒でバカげたことをする人間いないだろ。
そういうことを考えるのはスレ主だけ。
658:１３２人目の素数さん
18/12/29 12:49:01.53 9ok3z8n8.net
>>592
>>602の
>1)：card(Ω)＝2 のとき、2)：card(Ω)＝3 のとき、…、99)：card(Ω)＝100 のとき、
は
>1)：2≦card(Ω)≦99 のとき、2)：card(Ω)＝100 のとき、
とに簡略化出来そうだが、今更やる気はない。
Ωを Ω＝{1,2,…,100} とすることで、もう話は終わっている。
659:１３２人目の素数さん
18/12/29 16:01:19.21 dAnabccJ.net
>>584
なんだ、スレ主の主張って結局「袋小路」につきるのか
スレ主ってホント考えることがニガテなバカなんだな
＞まあ、そのうち、お前にも分るように書いてやるからさ
スレ主には一生かかっても無理だろ
計算方法が一つしかないはずだと妄想してる
●違いピエロのスレ主にはさ
660:１３２人目の素数さん
18/12/29 16:09:24.00 dAnabccJ.net
>>592
>>Ωは{1,･･･,100}でOKなんで
>これみたら、確率空間の設定を間違えている確率論ド素人丸出し
>こんなやつらを、どうやってまともに相手するっていうんだ？
素人は
”we would need to define a measure on sequences”
と思ってるスレ主のほうだろ
実際は
”the only probability measure we need is uniform probability on {0,1,…,N-1}”
なんだよ
無駄に難しく考えたがるのが素人
玄人はそういう馬鹿な誤ちは犯さない
根拠は以下の通り
一遍読んだだけで理解できないなら
理解できるまで百遍でも千遍でも読み直せ
このAIアタマが！
”時枝記事の戦略の成功確率が
「有限事象の確率の計算」
に帰着されるのは
a. 1～100のいずれかkをランダムに選ぶ
b. 選ばれた列s~kの決定番号d(s~k)が
他の列の決定番号どれよりも大きい
場合はたかだか1つ
の２点に基づいているから”
661:１３２人目の素数さん
18/12/29 16:16:52.11 dAnabccJ.net
>>594
>決定番号＝∞とか言っちゃうスレ主がアホ丸出しでしょ
ああ、それはバカ丸出しだなｗ
さすがにいくらスレ主がバカでも、
いまでもそう思い続けてるってことはないだろ
え？スレ主のバカには底がない？
それは酷いな 自然数の定義も確認せずにデッチあげるとは
スレ主いわく「頭が良すぎる」バカの典型か？
>決定番号が自然数でありさえすれば、
>その確率空間の設定で何ら問題無いし、
そう、順序の基本的性質から
予測に失敗する「外れくじ」は
たかだか1個だと示せる
スレ主は全部が全部、
「他より最大」のハズレくじ
になると思ってるらしいがなｗ
>実際、選択公理を仮定すれば決定番号は自然数になる。
選択公理で検索して見つかった文章をコピペするだけの
AIアタマのスレ主には、なぜそうなるのかが分からない
代表元がとれるのを保証するのが選択公理
決定番号が自然数になるのは同値類の定義
この程度のことも時枝記事の文章から読み取れないのが
AIアタマのスレ主
662:１３２人目の素数さん
18/12/29 16:17:52.22 9ok3z8n8.net
>>592
まあ、少し考えたところ、決定番号の定義上、1,2,…,100 の100個の正整数に対して
それぞれ一意に定まるような100個の決定番号が相異なること(私にΩについて card(Ω)＝100 となること)
は示せなさそうで、時枝記事に論理のギャップがある訳ではなさそうだし、>>502に間違いは見当たらない。
むしろ、スレ主のやり方をしようとすると、逆に間違いが生じる。
というか、高校レベルの古典的確率論について書かれた
有名な大学の確率論(公理的な確率論)のテキストがあるのを知らんのか。
663:１３２人目の素数さん
18/12/29 16:20:39.41 dAnabccJ.net
>>599
>100個の決定番号が相異なることは保証されていないから・・・
おっちゃんがなぜ、Ωの元に決定番号をとりたがるのかわからんが
単に（列番号.決定番号)の組を考えればいいだけ、
実際、列番号に対してランダムな選択を行っているのだから
664:１３２人目の素数さん
18/12/29 16:23:45.57 Om+har0l.net
最近のAIは株価予測もできるらしい。機械学習の進歩は目覚ましい
3年かかって進歩ゼロのスレ主とは大違い
665:１３２人目の素数さん
18/12/29 16:30:52.49 dAnabccJ.net
>>601
>3年の間スレ主の傍証は尽く否定されたし、
そりゃ決定番号∞とか、無限列の連接とか
トンデモな素人発想が速攻三秒で否定されるのは
あたりまえだろｗｗｗ
>スレ主は一度も時枝解法の間違い箇所を指摘できていない。
スレ主は選択公理を否定したがらないから、代表元は必ずとれてしまう
同値類の性質は定義だから、代表元が存在すれば決定番号は自然数になる
決定番号が自然数なら、１００個の自然数中、
他の９９個より大きな数は存在するなら1個だけだ。
最大値となる自然数が２個以上の場合は、時枝戦略は必ず成功する
つまり、時枝戦略が失敗する可能性はたかだか(100-1)/100=99/100
>なのに何故スレ主が未だに不成立と思ってるのかが謎。
スレ主は単に「独立の筈なのに予測できるわけがない」と
感情的に反発しつづけてるだけ。論理的根拠は特にない。
ただ、それではバカ扱いされるだけなので、
非可測性に固執して「確率は計算できない」と
もっともらしい顔して反対してるだけ。
時枝の「証明」に対する反論のネタは見つけられずしまい。
>誹謗中傷しかできない荒しとなってまで不成立の立場を守る価値があるのか？
スレ主は●違いだから仕方ない
文章がまともに読めない時点で知能指数も格段に低そうだ
大学は出てるらしいが、MARCHどころか日東駒専、
いや大東亜帝国なみのカス大学だろ
ぶっちゃけ早慶とかいうことはない
666:１３２人目の素数さん
18/12/29 16:31:37.70 9ok3z8n8.net
>>608
＞>100個の決定番号が相異なることは保証されていないから・・・
＞
＞おっちゃんがなぜ、Ωの元に決定番号をとりたがるのかわからんが
＞単に（列番号.決定番号)の組を考えればいいだけ
私が間違いをした時点では正確な時枝記事の問題を忘れていて、
そのとき決定番号にしつこくダダこねてこだわって来たスレ主に付き合った。
667:１３２人目の素数さん
18/12/29 16:37:30.48 dAnabccJ.net
>>609
スレ主はAIで失職する人材の典型だろう
スレ主でもできるような計算もしくは機械的作業なら
AIは難なくやりこなすだろうから
スレ主は時枝記事の肝心の戦略の箇所が読解できないから
完全にAIに負けている AIにできない仕事に就くのは無理だろう
668:１３２人目の素数さん
18/12/29 16:44:07.16 dAnabccJ.net
このスレが人気の理由が専らスレ主によるところなのは間違いない
しかし、それはスレ主が思ってるような理由（スレ主が賢い、等）ではない
ぶっちゃけスレ主がアホのくせにリコウぶって
わけのわからんことを書き続けるのが滑稽だから
というこの一点につきるｗ
スレ主がなんでコピペばっかりするのか？
要するにキーワードで検索するだけで
みつかった結果の文章を読解できない
残念なオツムの持ち主だからだろう
669:１３２人目の素数さん
18/12/29 17:42:27.99 9ok3z8n8.net
>>592
まあ、何れにしろ、時枝記事の問題は単純に古典的な確率論でに考えた方が簡単。
670:１３２人目の素数さん
18/12/29 17:46:28.77 9ok3z8n8.net
>>578
あと、上の方で IUT のことにスレ主は触れていたが、
長い IUT の論文を読むことは、マトモな洋書を1冊読むようなことに当たる。
正しいかどうかだけでなく、応用面も限られているようだしな。
見たところ、解析的なことには使えなさそうだ。
そのようなこともあり、IUT をするなら、他のことをした方がいい。
とはいっても、スレ主は驚いたことに中学レベルであったが。
それじゃ、おっちゃんもう寝る。
671:１３２人目の素数さん
18/12/29 18:03:59.83 Om+har0l.net
変数と定数の違いがわからないスレ主は中学生にバカにされるレベル
さらに国語も英語もダメ
反論があるなら「確率変数∈R」や「infinite：実無限」と書かれている書籍名を答えてからね
672:１３２人目の素数さん
18/12/29 18:05:36.25 X/1uhhp/.net
おっちゃんってスレ主が細心の注意を払って
おだてたりすかしたりしながら（逃げられないように）
このスレで飼ってる感じなのかと思ってたら、最近は
そのおっちゃんにまでバカにされてるのかw
673:１３２人目の素数さん
18/12/29 18:06:40.06 dAnabccJ.net
IUTに比べたら時枝記事なんか所詮２ｐだろ
そのくらい三分で読めよ、といいたい
スレ主みたいに３年も「わからん！」と駄々こねるのは異常
674:１３２人目の素数さん
18/12/29 18:08:53.51 dAnabccJ.net
>>617
＞おっちゃんにまでバカにされてるのかw
実際スレ主はおっちゃんよりバカだろ
本人はおっちゃんより賢いと思い込んでるみたいだがｗ
675:１３２人目の素数さん
18/12/29 18:38:23.02 dAnabccJ.net
>>611
＞決定番号にしつこくダダこねてこだわって来たスレ主
スレ主は自己愛性人格障害だからな
世界は自分のためにある、と本気で思ってる
676:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/29 19:23:23.17 nqXwmrkU.net
じゃ、ご要望により、
(>>592 より）
ピエロ
>Ωは{1,･･･,100}でOKなんで
(引用終り)
では、なぜだめか
を説明します
もう”改変は無し”でお願いしますよ！ （＾＾
（>>508で確認を入れていますからね。多分、多くの人は途中で”なぜだめか”に気付くでしょうが ）
先は長いので、またーりしましょうね
まず、選択公理を確認しましょうね（＾＾
「選択公理を使えば、いろんなことができる」は、ある意味正しいが、ある意味では正しくない
選択公理が、魔法の杖のように勘違いしている人がいるので、まずここから
・選択公理については、沢山の文献があるが、下記に適当なものを引用した
・選択公理は、カントール以前の人たちには意識されず、無限集合についても有限集合と同じように扱えると、直感的に捉えていた
・カントール以降、有限、可算無限、非可算無限、それ以上 ということが意識され
・集合論をもとに、数学を公理化しようという動きが活発になった。それが20世紀初頭
・上記のように、選択公理は、数学を公理化しようという動きの中で、”無限集合についても有限集合と同じように扱える”ということを公理化したもの
（選択公理の”えらい”（未定義用語だが）ところは、公理として明解な表現にしたところにある。
その機能は「有限集合に直観的に行っていた操作（ここも厳密な定義はしないが）と同じ」だと。）
・上記のようなことは、どこにでも書いてある（勿論下記引用にもある）
強調したいことは、当然有限集合に対しても、選択公理と同じ操作が可能だと（例えば下記のen.wikipedia Axiom of choice”Restriction to finite sets”ご参照）
・似たようなことで、可算集合に限定した可算選択公理というものも考えられて、「カントール、ラッセル、ボレル、ルベーグなどは、無意識のうちに可算選択公理を使ってしまっている」（ja.wikipedia 選択公理 選択公理の変種 可算選択公理より）と言われる
つづく
677:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/29 19:25:12.23 nqXwmrkU.net
>>621
つづき
ここがすべってしまうと、先に進まないので、念押しです
今日はここまで （後で少し補足入れますが）（＾＾
URLﾘﾝｸ(www.math.is.tohoku.ac.jp)
東北大学大学院情報科学研究科 システム情報科学専攻 尾畑研究室
URLﾘﾝｸ(www.math.is.tohoku.ac.jp)
第11章 選択公理 改訂(2018.06.04) 執筆中の本「集合・写像・数の体系(仮)」の草稿 尾畑 東北大
(抜粋)
11.2 選択公理
もし Λ が有限ならば, (11.7) に示したように, 直積集合は順序対または有限列
に帰着されるので, (11.11) は当然成り立つ. ところが, Λ が無限集合の場合は
そうはいかない. こ�
678:ﾌ違いを理解するためには, 有限の場合に「当然成り立つ」 とした根拠を明らかにする必要がある. 実際, 集合論の発展とともに, このよう な問題が認識され始め, 大論争になった. 結果から言うと, Λ が有限の場合は, ZF 公理系 (と論理) だけから (11.11) が証明される. 大雑把には, 順序対の存在は公理に含まれており, 順序対を繰り 返すことで有限列の存在が数学的帰納法で証明される. しかし, Λ が無限集合に なると, この議論が通用せず, ZF 公理系の下で (11.11) を証明することができな い. したがって, 必要なら証明なしで公理として認めざるを得ない. この公理こ そが選択公理である. https://ja.wikipedia.org/wiki/%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86 (抜粋) 選択公理（せんたくこうり、英: axiom of choice、選出公理ともいう）とは公理的集合論における公理のひとつで、どれも空でないような集合を元とする集合（すなわち、集合の集合）があったときに、それぞれの集合から一つずつ元を選び出して新しい集合を作ることができるというものである。1904年にエルンスト・ツェルメロによって初めて正確な形で述べられた[1]。 つづく
679:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/29 19:28:45.06 nqXwmrkU.net
>>622
つづき
定義
空集合を要素に持たない任意の集合族に対して、各要素（それ自体が集合である）から一つずつその要素を選び、新しい集合を作ることができる。
あるいは同じことであるが、空でない集合の空でない任意の族 A に対して写像
略
であって任意の x∈ A に対し f(x)∈ x なるものが存在する、と写像を用いて言い換えることが出来る（ここで存在が要求される写像 f を選択関数（英語版）という）。
歴史
集合論の創始者ゲオルク・カントールは、選択公理を自明なものとみなしていた。 実際、有限個の集合からなる集合族であれば、そのそれぞれの集合の中から順に1つずつ元を選び出し、それらを併せて集合とすればよいのであるから、このような操作ができることは自明である。
しかし、ツェルメロによる整列可能定理の証明に反論する過程で、エミーユ・ボレル、ルネ＝ルイ・ベール、アンリ・ルベーグ、バートランド・ラッセルなどが選択公理の存在に気付き、新たな公理であることが認識されるようになった。
確かに、無限個の集合からなる集合族の場合、上のような操作を想定しても「順に選び出す」操作は有限回で終了することはないのだから、このような操作を行えるかどうかは必ずしも明らかではない。
バナッハ＝タルスキーのパラドックスと選択公理
選択公理は「どれかひとつを選んで取り出すことができる」という一見当たり前で直感的な命題に見える。しかし、無限集合においてそのような選択を行えるかどうかは自明ではないという主張もある。
実際、選択公理は、一見、奇怪で非直観的な結果を導く。バナッハ＝タルスキーのパラドックスはそのような結果の中でも有名なもので、「有限個の部分に分割し、それらを回転・平行移動操作のみを使ってうまく組み替えることで、元の球と同じ半径の球を2つ作ることができる」と、初歩的な概念のみで表現することができる。
つづく
680:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/29 19:30:30.29 nqXwmrkU.net
>>622
つづき
定義
空集合を要素に持たない任意の集合族に対して、各要素（それ自体が集合である）から一つずつその要素を選び、新しい集合を作ることができる。
あるいは同じことであるが、空でない集合の空でない任意の族 A に対して写像
略
であって任意の x∈ A に対し f(x)∈ x なるものが存在する、と写像を用いて言い換えることが出来る（ここで存在が要求される写像 f を選択関数（英語版）という）。
歴史
集合論の創始者ゲオルク・カントールは、選択公理を自明なものとみなしていた。 実際、有限個の集合からなる集合族であれば、そのそれぞれの集合の中から順に1つずつ元を選び出し、それらを併せて集合とすればよいのであるから、このような操作ができることは自明である。
しかし、ツェルメロによる整列可能定理の証明に反論する過程で、エミーユ・ボレル、ルネ＝ルイ・ベール、アンリ・ルベーグ、バートランド・ラッセルなどが選択公理の存在に気付き、新たな公理であることが認識されるようになった。
確かに、無限個の集合からなる集合族の場合、上のような操作を想定しても「順に選び出す」操作は有限回で終了することはないのだから、このような操作を行えるかどうかは必ずしも明らかではない。
バナッハ＝タルスキーのパラドックスと選択公理
選択公理は「どれかひとつを選んで取り出すことができる」という一見当たり前で直感的な命題に見える。しかし、無限集合においてそのような選択を行えるかどうかは自明ではないという主張もある。
実際、選択公理は、一見、奇怪で非直観的な結果を導く。バナッハ＝タルスキーのパラドックスはそのような結果の中でも有名なもので、
「有限個の部分に分割し、それらを回転・平行移動操作のみを使ってうまく組み替えることで、元の球と同じ半径の球を2つ作ることができる」と、初歩的な概念のみで表現することができる。
つづく
681:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/29 19:32:44.63 nqXwmrkU.net
>>623-624
（ダブりなので、どちから一つ省略）
つづき
選択公理の変種
可算選択公理
カントール、ラッセル、ボレル、ルベーグなどは、無意識のうちに可算選択公理を使ってしまっている。
(引用終り)
URLﾘﾝｸ(en.wikipedia.org)
Axiom of choice
(抜粋)
Restriction to finite sets
The statement of the axiom of choice does not specify whether the collection
682:of nonempty sets is finite or infinite, and thus implies that every finite collection of nonempty sets has a choice function. However, that particular case is a theorem of the Zermelo?Fraenkel set theory without the axiom of choice (ZF); it is easily proved by mathematical induction.[6] In the even simpler case of a collection of one set, a choice function just corresponds to an element, so this instance of the axiom of choice says that every nonempty set has an element; this holds trivially. The axiom of choice can be seen as asserting the generalization of this property, already evident for finite collections, to arbitrary collections. (引用終り) つづく
683:１３２人目の素数さん
18/12/29 19:36:09.08 dAnabccJ.net
>>621-622
＞では、なぜだめか を説明します
結論からいうと、現時点では説明できてないけどね
＞まず、選択公理を確認しましょうね
スレ主が自分一匹で確認しろよ
＞どれも空でないような集合を元とする集合
＞（すなわち、集合の集合）があったときに、
＞それぞれの集合から一つずつ元を選び出して
＞新しい集合を作ることができる
時枝記事でいえば、
「空でないような集合」＝「同値類」
「それぞれの集合から一つずつ元を選び出す」
＝「同値類の中から代表元を選び出す」
ということ
つまり、同値類から代表元を選び出せる
というのは選択公理の直接的帰結
反論の余地はない
684:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/29 19:36:12.43 nqXwmrkU.net
>>625
つづき
若干の補足：
「バナッハ＝タルスキーのパラドックス」が、”選択公理のせい”とよく言われるが、半分当たっていて半分外れ
”選択公理＋無限集合のせい”というのが、正確なとらえ方だろうと
つまり、下記に解説があるが、3次元ユークリッド空間の有界な部分集合を、
点集合は選択公理を使ってつくられる選択集合で構成することで、パラドックス的状況が生じる
が、良く考えると、点集合は無限集合なわけで
それは、デデキント無限の性質＝「ある集合が自身と対等な（すなわち同じ濃度を持つ）真部分集合が存在する」（下記”デデキント無限”参照）を持つわけで
ヒルベルトの無限ホテル（この場合可算無限集合）のパラドックスの3次元ユークリッド版と言えなくも無い
繰返すが、これらのパラドックスは、”選択公理＋無限集合のせい”というのが、正確なとらえ方だろうと思う
URLﾘﾝｸ(ja.wikipedia.org)
バナッハ＝タルスキーのパラドックス
(抜粋)
・3次元ユークリッド空間の有界な部分集合で、内部が空でないもの(つまり、有限の拡がりを持ち、曲線や曲面ではないもの)を任意に二つ選んだとすると、それらは分割合同である。
言い換えると、ビー玉を有限個に分割して組み替えることで月を作ったり、電話を組み替えて睡蓮を作ったり出来る（当然のごとく材質は変えられない）、ということである。
この定理の証明で、点集合は選択公理を使ってつくられる選択集合で構成されており、各断片はルベーグ可測ではない。
すなわち、各断片は明確な境界や通常の意味での体積を持たない。物理的な分割では可測な集合しか作れないので、現実にはこのような分割は不可能である。
しかしながら、それらの幾何学的な形状に対してはこのような変換が可能なのである。
つづく
685:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/29 19:36:56.03 nqXwmrkU.net
>>627
つづき
この定理は 3次元以上の全ての次元においても成り立つ。
2次元ユークリッド平面においては成り立たないものの、
2次元においても分割に関するパラドックスは存在する: 円を有限個の部分に分割して組替える事で、同じ面積の正方形を作ることが出来るのである。これはタルスキーの円積問題(en:Tarski's circle-squaring problem)として知られている。
2次元ユークリッド平面においては、合同変換ではなく面積を保つ変換に条件をゆるめると、バナッハ＝タルスキーのパラドックスと同様な定理が成立することを、1929年にジョン・フォン・ノイマンが証明した。
URLﾘﾝｸ(ja.wikipedia.org)
ヒルベルトの無限ホテルのパラドックス
URLﾘﾝｸ(ja.wikipedia.org)
無限
(抜粋)
デデキント無限
詳細は「デデキント無限」を参照
ある集合が自身と対等な（すなわち同じ濃度を持つ）真部分集合が存在するとき、その集合はデデキント無限であるという。デデキント無限でない集合はデデキント有限であるという。デデキント無限集合は常に無限集合であるが、その逆を証明するには弱い形の選択公理が必要である。無限集合が、デデキント無限集合であるということと、可算無限部分集合を持つことは同値である。
URLﾘﾝｸ(ja.wikipedia.org)
デデキント無限
(抜粋)
デデキント無限集合であるとは、A と同数（equinumerous）であるようなA の真部分集合B が存在することである。それはつまり、A とA の真部分集合B の間に全単射が存在するということである。
(引用終り)
以上
686:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/29 19:40:48.75 nqXwmrkU.net
>>626
はいはい、ピエロちゃん
自殺行為ありがとう
そうやって、自分で逃げ道を潰してくれると
助かるわ（＾＾；
687:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/29 19:43:31.75 nqXwmrkU.net
突然ですが、メモを貼る
時枝とは関係薄いですが（＾＾
URLﾘﾝｸ(researchmap.jp)
榛葉 豊 researchmap
URLﾘﾝｸ(www.sist.ac.jp)
榛葉 豊＊ Yutaka SHINBA
URLﾘﾝｸ(www.sist.ac.jp)
教員の専攻分野 科学哲学 / 科学基礎論
URLﾘﾝｸ(www.sist.ac.jp)
量子力学の数学形式は経験世界のいかなる原理に由来するのか（2014）静岡理工科大学紀要 22 2014年9月
688:１３２人目の素数さん
18/12/29 19:43:52.33 dAnabccJ.net
>>623-624
バナッハ＝タルスキーのパラドックスは、
球面に適用する場合には選択公理が必要だが
例えば双曲平面全体に適用するなら別に必要ない
なぜならバナッハ＝タルスキーのパラドックスの肝は
「変換群が、階数２以上の自由群を部分群として持つか」
にあるのであって、双曲変換群の場合、階数２以上の自由群が
部分群として自然な形であらわれるから、選択公理を用いる必要がない
689:１３２人目の素数さん
18/12/29 19:49:18.82 dAnabccJ.net
>>627-628
＞「バナッハ＝タルスキーのパラドックス」が、
＞”選択公理のせい”とよく言われるが、
＞半分当たっていて半分外れ
>>631に書いた通り、別に選択公理のせいではない
３次元以上の回転群に適用する場合、選択公理が必要なだけ
２次元以上の双曲変換群なら、選択公理抜きの分割で
同様のパラドックスが構成できる
まあ、球面と違って双曲空間全体に
有限の測度を割り当てることはしないから
実際には問題はないが
690:１３２人目の素数さん
18/12/29 19:49:59.02 Om+har0l.net
誰もが知ってることをグダグダとコピペしてスレ伸ばし＆時間稼ぎするアホ
とっとと結論家タコ
691:１３２人目の素数さん
18/12/29 19:55:51.43 dAnabccJ.net
>>629
スレ主はもしかして時枝戦略の成功確率は
「バナッハ・タルスキ―のパラドックス」と同様の
問題を引き起こすと妄想してないか？
残念ながら時枝戦略のどこにも
階数２以上の自由群なんて出てこないから
「バナッハ・タルスキ―と同じ問題を引き起こす」
という難癖は全く説得力がない
むしろ、選択公理の使用によって
同値類の代表元がとれてしまい
決定番号も得られる点で
選択公理を認めるスレ主の行為は
まさにオウンゴール（自殺点）である
逃げ道を塞いで自爆したのはまさにスレ主
選択公理ときいてバナッハタルスキを連想した
AIバカ頭の持ち主では致し方ないが
692:１３２人目の素数さん
18/12/29 20:07:51.35 dAnabccJ.net
>>634
バナッハ・タルスキーのパラドックス」が
双曲空間上では選択公理抜きで実現できるように
広義の時枝戦略も、例えば一般の無限列の代わりに
有理数の小数展開をとる形にすれば、選択公理抜きで
代表元を選ぶ関数が作れて同様の結果が成り立つ
つまり、選択公理の否定は真の逃げ道ではない
693:１３２人目の素数さん
18/12/29 20:12:18.61 dAnabccJ.net
百聞は一見に如かず
双曲平面上でのバナッハ・タルスキのパラドックス
URLﾘﾝｸ(www.youtube.com)
動
694:画なら文章の読めないスレ主にも明らかだろう
695:１３２人目の素数さん
18/12/29 20:20:11.71 dAnabccJ.net
結局、スレ主は選択公理について
むやみにコピペしただけで
Ωが{1,･･･,100}ではダメな理由は
全く説明できなかった
論理的思考力がゼロで検索するしか能がない
AIアタマのスレ主は、何であれ「説明」は不可能らしい
696:１３２人目の素数さん
18/12/29 20:37:49.19 dAnabccJ.net
有理数の小数展開を用いる場合
循環節が始まる桁を決定番号とすれば
選択公理を使用しなくて済む
１００個の有理数から１個選んで
その中のある桁の数字を当てる場合
他の９９個の有理数の循環節の開始位置を見て
その中の最大値の桁を選べば
自分が選んだ有理数の循環節の開始位置が
それより大きい可能性は１／１００しかない
結局可算集合上で各点に均一の重みを与える測度が定義できない
（可算加法性を満足しない）ので有理数全体の測度にもとづく
計算ができないのだが、だからといって上記の計算が無意味だ
という理由にはならない
697:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/29 20:56:04.18 nqXwmrkU.net
>>631-638
はいはい、ピエロちゃん
自殺行為ありがとう
そうやって、自分で逃げ道を潰してくれると
助かるわ（＾＾；
698:１３２人目の素数さん
18/12/29 20:58:48.86 Om+har0l.net
とうとうハッタリしか言えなくなったスレ主が哀れ過ぎる
699:１３２人目の素数さん
18/12/29 21:04:01.92 dAnabccJ.net
このところスレ主の煽りがスベりまくってる
700:１３２人目の素数さん
18/12/29 21:06:22.15 dAnabccJ.net
スレ主は自分がコピペした文章を読解できてないから当然だが
実はコピペした文章がスレ主を爆破する自爆展開が少なくない
701:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/30 07:28:42.51 A4Yw8jtX.net
>>627 補足
>ヒルベルトの無限ホテル（この場合可算無限集合）のパラドックスの3次元ユークリッド版と言えなくも無い
ここ、補足だが、ヒルベルトの無限ホテル（この場合可算無限集合）のパラドックスには、“可算選択公理”が使われているということ
つまり、このパラドックスは、” 可算選択公理＋可算無限集合のせい”だと
パラドックスは、『デデキント無限の性質＝「ある集合が自身と対等な（すなわち同じ濃度を持つ）真部分集合が存在する」（上記”デデキント無限”参照）』が表れているのだと
702:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/30 07:32:49.18 A4Yw8jtX.net
>>622
さて、それでは、昨日からの続きです。
(>>592 より）ピエロ
>Ωは{1,･･･,100}でOKなんで
(引用終り)
が、なぜだめかの続きをやります。
これ(>>638)結構結構だね（＾＾
自分で語ってくれているので、手間が省けるね
だが、念押しするよ。後で言い逃れができないようにね。
もっとも、殆ど、自分で逃げ道を塞いでくれているので、簡単で助かるのだが。
１．時枝記事でやっている数学ロジックを抽出すると下記になる （注：時枝記事については>>21ご参照）
１）数列s = (s1，s2，s3 ，・・・)のしっぽで同値類を作る
２）代表元r= r(s)を決める
３）数列sと代表元 rとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す
４）決定番号d = d(s)は、自然数である
５）数列が100列あったとすれば、数列s^1, s^2,・・・s^100に対して(注：ここにs^1などは、上付き添え字を表わすとする。以下同様)
同値類の代表元 r^1, r^2,・・・r^100 を決めることができ
決定番号 d^1, d^2,・・・d^100 を決めることができる。
d^k 1<= k <=100 が、最大値 D = max(d^1, d^2,・・・d^100) を取る確率は、1/100に過ぎない
D >= d^k である確率は、99/100となる
つづく
703:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/30 07:35:39.37 A4Yw8jtX.net
>>644
つづき
２．さて、上記の時枝記事の確率について、確率空間 (Ω,F,μ) において、標本空間 Ω＝{1,･･･,100} と取れることを意味する。
標本空間 Ω＝{1,･･･,100}とすることによって、“D >= d^k である確率は、99/100” が導かれるのだと。
つまり、これを導くのには、１）選択公理を使って、２）数列しっぽの同値類を作って、３）決定番号を決めている。４）決定番号が自然数�
704:ｾから、シンプルに、標本空間 Ω＝{1,･･･,100}が取れるのだと。 そして、「D >= d^k である確率は、99/100」が導かれ、確率空間を使って時枝記事の解法が正当化されるのだと。 ３．くどいが、再度数学ロジックを要約すると、１）選択公理、２）数列しっぽの同値類、３）決定番号、４）決定番号が自然数、この４つの数学ロジックの要素で、時枝記事は成り立っているのだと。 概略こういうことで、良いですね。念押しするよ。後で言い逃れができないようにね。 もっとも、殆ど、自分で逃げ道を塞いでくれているので、簡単で助かるのだが。 以上 （参考） https://mathtrain.jp/probspace 高校数学の美しい物語 確率空間の定義と具体例（サイコロ，コイン） 最終更新:2015/11/06 (抜粋) 標本空間 Ω 確率を考える土台となる集合です。 Ω の各要素は根元事象と呼ばれます。 ω と書くことが多いです。 (引用終わり)
705:１３２人目の素数さん
18/12/30 07:45:04.77 Fgu/mMxZ.net
>>645
>１）選択公理を使って、
>２）数列しっぽの同値類を作って、
>３）決定番号を決めている。
スレ主は既に順番を間違ってるね
正しくは以下の通り
１）数列しっぽの同値類を作って、
２）選択公理を使って
３）同値類の代表元を選んで（決定番号を決めて）いる
決定番号は同値類の代表元に付随して決まる
選択公理は、同値類の作成ではなく
その代表元の選定のために用いられてる
スレ主はこんな基本的なことも分かってない
いったい時枝記事を何を読んでるんだ？
706:１３２人目の素数さん
18/12/30 07:51:11.93 Fgu/mMxZ.net
>>645
＞１）選択公理、２）数列しっぽの同値類、３）決定番号、４）決定番号が自然数、
＞この４つの数学ロジックの要素で、時枝記事は成り立っているのだと。
まず３）と４）を分ける理由がないね。
さらにいえば、数列しっぽの同値関係から、
同値類の代表元が存在すれば、
決定番号が自然数であることは
自動的に導ける
したがって、時枝記事の成立に必要な前提は
１）数列しっぽの同値類
２）選択公理（による同値類の代表元の存在＆決定番号（自然数）の存在）
の２つだね
ちなみに、一般の無限列のかわりに有理数の小数展開列を用いる場合
２）の選択公理は必要なく、１）の列のしっぽの同値類だけでOK
707:１３２人目の素数さん
18/12/30 07:56:19.62 Fgu/mMxZ.net
>>644
＞時枝記事でやっている数学ロジックを抽出すると下記になる
正しくは以下のとおり
１）数列s = (s1，s2，s3 ，・・・)のしっぽで同値類を作る
２）代表元r= r(s)を決める （※選択公理により）
３）数列sと代表元 rとがそこから先ずっと一致する番号（＝自然数）を
sの決定番号と呼び，d = d(s)と記す
４）数列が100列あったとすれば、数列s^1, s^2,・・・s^100に対して
(注：ここにs^1などは、上付き添え字を表わすとする。以下同様)
同値類の代表元 r^1, r^2,・・・r^100 を決めることができ
決定番号 d^1, d^2,・・・d^100 を決めることができる。
d^k 1<= k <=100 が、
（d_k以外の決定番号の)最大値 D = max(d^1, d^2,・・・d^100)
を取る確率は、1/100に過ぎない
D >= d^k である確率は、99/100となる
708:１３２人目の素数さん
18/12/30 08:01:45.19 Fgu/mMxZ.net
>>648
一般の無限列の代わりに有理数の小数展開を用いる場合
* １）のsが、有理数の小数展開
* ２）の代表元が、循環節から自然に定まる （選択公理の必要無し！）
* ３）の決定番号が、循環節の開始位置となる
スレ主が選択公理に逃げ込む道はこれで塞がったｗ
709:１３２人目の素数さん
18/12/30 08:36:44.88 Fgu/mMxZ.net
蛇足
>>643
＞ヒルベルトの無限ホテル（この場合可算無限集合）のパラドックスには、
＞“可算選択公理”が使われている
これ完全な誤解
なぜなら真部分集合への全単射の構成に可算選択公理は必要ないから
なんか「デデキント無限」を持ち出してるけど、
可算選択公理がない場合、
「デデキント有限」な無限集合が存在する
というだけで、ヒルベルトの無限ホテルの
実現を妨げるものではない
710:１３２人目の素数さん
18/12/30 08:39:51.17 Fgu/mMxZ.net
>>650
自然数全体の集合はデデキント無限
これは選択公理なしに成立する
711:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/30 08:46:23.26 A4Yw8jtX.net
>>646-649
どもありがとう
スレ主です
これ結構だね（＾＾
「したがって、時枝記事の成立に必要な前提は
１）数列しっぽの同値類
２）選択公理（による同値類の代表元の存在＆決定番号（自然数）の存在）
の２つだね」
それで良いですよ
まあ、細かいけど
昨日の選択公理の確認（>>621）でやったので、念押ししておくが
・選択公理の有限版 ⊂ 可算選択公理 ⊂ 選択公理（フルバージョン）
正確な表記ではないが、マンガ風に図解すれば、こうだと
・つまり、上位互換で、選択公理（フルバージョン）は、適用できる集合は連続無限集合でも、あるいは連続無限より上位の濃度の無限集合でも適用可
（もちろん、下位の可算無限集合および有限集合にも適用できる。選択公理の定義の通り、適用できる集合に制限無し！ ）
・可算選択公理は、可算無限以下の集合にのみ適用できる
・選択公理の有限集合版は、公理というよりむしろ原理とか定理という方が良いかもしれないが
（補足、>>622 尾畑先生テキスト：
「Λ が有限の場合は, ZF 公理系 (と論理) だけから (11.11)
が証明される. 大雑把には, 順序対の存在は公理に含まれており, 順序対を繰り
返すことで有限列の存在が数学的帰納法で証明される」ご参照
あるいは、>>625 Axiom of choice Restriction to finite sets をご参照
712:） > 一般の無限列のかわりに有理数の小数展開列を用いる場合 > ２）の選択公理は必要なく、１）の列のしっぽの同値類だけでOK ここ、おれの理解は、可算選択公理を使っていると思うけどね。 まあ、ここは上位互換なので、選択公理を使っていると言っても、間違いではないと思う ここ、しつこく拘る気は無いが、念押しな 拘って、先に進まないのも困るのでね 良いですね。念押しするよ。後で言い逃れができないようにね。 もっとも、殆ど、自分で逃げ道を塞いでくれているので、簡単で助かるのだが。
713:１３２人目の素数さん
18/12/30 08:47:25.05 Fgu/mMxZ.net
ついでにいえば、狭義の時枝戦略における
同値類の代表元の存在を否定するには
非可算選択公理を否定すればいいだけなので
可算選択公理は成立しても問題ない
これでスレ主の
「可算選択公理を否定したら数学が弱体化」
とかいう言い訳も無意味化された
（もっとも>>649でそもそも選択公理の否定自体
時枝戦略の本質的な否定にならないことは
既に言及済だが）
714:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/30 08:47:59.09 A4Yw8jtX.net
>>650-651
どもありがとう
スレ主です
その話は、時枝が済んでからやろうね
議論が錯綜しそうだからね
715:１３２人目の素数さん
18/12/30 08:51:09.73 Fgu/mMxZ.net
>>652
>> 一般の無限列のかわりに有理数の小数展開列を用いる場合
>> ２）の選択公理は必要なく、１）の列のしっぽの同値類だけでOK
>おれの理解は、可算選択公理を使っていると思うけどね。
それスレ主の誤解
ヒルベルトの無限ホテルの場合も同様だが
代表元を選ぶ関数が直接構成できる場合
可算選択公理は必要ない
>しつこく拘る気は無いが
>拘って、先に進まないのも困るのでね
拘って恥かくのはスレ主だけ
選択公理に固執しても、貴様に勝ち目はないよ
716:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/30 08:51:40.07 A4Yw8jtX.net
>>653
結構結構。>>652に含まれることを、自分で書いてくれて
自分で逃げ道を塞いでくれているので、簡単で助かるよ
でも、念のため、>>652にもレスしておくれ（＾＾
717:１３２人目の素数さん
18/12/30 08:52:21.13 Fgu/mMxZ.net
>>654
＞その話は、時枝が済んでからやろうね
必要ない
貴様が誤りを認めればいいだけ
貴様、自分が正しいと思ってるのか？
718:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/30 08:54:40.40 A4Yw8jtX.net
>>655
ありがとう
スレ主です。>>656（”念のため、>>652にもレスしておくれ”）と被ったな
他に、言いたいことないですか？（＾＾
719:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/30 08:55:08.06 A4Yw8jtX.net
>>657
つー、>>658
720:１３２人目の素数さん
18/12/30 08:56:41.37 Fgu/mMxZ.net
>>656
＞念のため、>>652にもレスしておくれ（＾＾
何にどうレスしてほしいのかね？
>選択公理の有限集合版は、公理というよりむしろ
>原理とか定理という方が良いかもしれないが
明確に定理であることは、貴様がコピペした
以下の文章に書いてあるぞ
貴様、コピペするだけで読解してないのか？アホか？
「Λ が有限の場合は, ZF 公理系 (と論理) だけから
(11.11) が証明される. 大雑把には, 順序対の存在は公理に含まれており,
順序対を繰り 返すことで有限列の存在が数学的帰納法で証明される」
721:１３２人目の素数さん
18/12/30 09:00:13.12 Fgu/mMxZ.net
>>658
＞他に、言いたいことないですか？（＾＾
ヒルベルトの無限ホテルやら
有理数の小数展開からの
尻尾の同値類の代表元の選定やら
に関して「可算選択公理」は必要とか
いうのは貴様の誤解だから撤回しろ
選択公理はあくまで写像が構成出来ない場合に
その存在を主張するためにあるのであって、
構成できる場合はそれで存在が証明されるから
必要ない こんなこと数学界の常識
知らないスレ主がバカなだけだ
722:１３２人目の素数さん
18/12/30 09:05:26.92 Fgu/mMxZ.net
無限列を有理数の小数展開列に限定した場合
時枝記事の成立に必要な前提は
１）数列しっぽの同値類
だけ
同値関係は只の定義だから否定しようがない
つまり、この時点でスレ主は詰んだ、死んだ
723:１３２人目の素数さん
18/12/30 09:08:53.96 Fgu/mMxZ.net
1/6=0.1666・・・ の場合
同値類の代表元は
0.666･･･
5/6=0.8333・・・ の場合
同値類の代表元は
0.333・・・
つまり、単純に循環節の開始位置を
小数点以下第1位に持ってくればいいだけ
こんなこと自動的に思いつけよ
算数レベルの問題だろｗ
724:１３２人目の素数さん
18/12/30 09:13:17.15 Fgu/mMxZ.net
スレ主は●●の一つ覚えのように
＞自分で逃げ道を塞いでくれている
といってるが、無意味なブラフである
スレ主はなぜか選択公理に固執してるが
正直コピペすればするほど、それが
本質でもなんでもないことが露呈する
袋小路でいくら壁ひっかいても無駄だぞ！
725:１３２人目の素数さん
18/12/30 09:26:30.57 Fgu/mMxZ.net
ぶっちゃけ有理数の代わりに
有限桁だけ0でない小数（有限小数！）
に限定し、0が無限に続く部分列の先頭位置を
決定番号にするとして、0の入る箱を当てる
というバージョンでも時枝戦略は通用する
726:１３２人目の素数さん
18/12/30 09:28:21.11 Fgu/mMxZ.net
スレ主！貴様の負けだ！
諦めてここから失せろ！
727:１３２人目の素数さん
18/12/30 15:02:49.27 5J4BrLOC.net
>>646
だね
こんなバカが時枝記事を論ずること自体がナンセンス
そのナンセンスをこのバカは3年間もやってきた
もっと勉強してから数学板へ来いよと言いたい
728:１３２人目の素数さん
18/12/30 15:10:40.53 5J4BrLOC.net
>>652
このバカ間違いを添削してもらって
＞それで良いですよ
って何だその上から目線はｗ
ほんとピエロだなスレ主って
729:１３２人目の素数さん
18/12/30 15:22:17.33 5J4BrLOC.net
本題に入る前の準備作業で既にフルボッコされててﾜﾛﾀ
ほんとスレ主ってピエロだね
730:１３２人目の素数さん
18/12/30 15:31:56.59 5J4BrLOC.net
「選択公理を免罪符のように使って」とかなんとかほざいていたスレ主が今縦断爆撃
食らって死体の破片を撒き散らかしてるね。
中学レベルも分かってないアホが偉そうに数学板にしゃしゃり出て来るからこうなる。
だからチラシの裏でやってろとさんざん言ってきたのに、頑固爺は人の言うことに聞
く耳を持たない。
731:
18/12/30 15:41:18.59 4y49ABsb.net
>>670
×縦断爆撃
◎絨毯爆撃=Carpet bombing URLﾘﾝｸ(en.wikipedia.org)
732:１３２人目の素数さん
18/12/30 15:47:53.76 5J4BrLOC.net
＞>Ωは{1,･･･,100}でOKなんで
＞が、なぜだめかの続きをやります。
の結論を言わせてももらえないスレ主こそピエロにあらんや
昨日だか一昨日だかは時間が必要とか言ってたが、時間かけても同じだったねｗ
当然だよ、3年かけて進歩ゼロなのに数日追加したところで変わる訳が無いｗ
733:１３２人目の素数さん
18/12/30 17:32:59.69 Fgu/mMxZ.net
>>672
＞結論を言わせてももらえない
そもそも云うべき結論がまだ見つかってないようだ
きっと今も必死に検索してるんだろう
無駄な足掻きだが
734:１３２人目の素数さん
18/12/30 18:15:56.59 soHMwsq2.net
レーダー照射
人には証拠を出せと言いつつ自分から一切出さない
スレ主の電波照射
人には証拠を出せと言いつつ自分から一切出さない
735:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/31 06:48:13.94 PWZHndJJ.net
>>671
C++さん、ありがとう
お元気そうでなによりです（＾＾
736:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/31 06:51:02.01 PWZHndJJ.net
>>673
まあ、言い逃れが出来ないように、逃げ道を防ぐよう十分時間を取った
さて、それでは、昨日（>>644-645 >>652）からの続き
(>>592 より）ピエロ
>Ωは{1,･･･,100}でOKなんで
(引用終り)
が、なぜだめかの続きをやります。
１）まず前振りでピエロちゃん発言引用：
・(>>647 ピエロちゃんより)
「したがって、時枝記事の成立に必要な前提は
１）数列しっぽの同値類
２）選択公理（による同値類の代表元の存在＆決定番号（自然数）の存在）
の２つだね」
・ (>>664-665 ピエロちゃんより引用)
「なぜか選択公理に固執してるが
本質でもなんでもないことが露呈する」
「ぶっちゃけ有理数の代わりに
有限桁だけ0でない小数（有限小数！）
に限定し、0が無限に続く部分列の先頭位置を
決定番号にするとして、0の入る箱を当てる
というバージョンでも時枝戦略は通用する」
(引用終り)
（上記「有限」の場合まで言及してくれてありがとう。かつ、選択公理は本質じゃないよね）
つづく
737:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/31 06:53:12.80 PWZHndJJ.net
>>676
つづき
２）次に再確認
（>>645 私スレ主より）
数学ロジックを要約すると、１）選択公理、２）数列しっぽの同値類、３）決定番号、４）決定番号が自然数、この４つの数学ロジックの要素で、時枝記事は成り立っているのだと。
(引用終り)
要するに、些末な順序の議論を避けるために、上記１）～４）は順不同としよう。
また、選択公理は好きなときに好きなだけ使って良いとする。
さらに、(＞＞652に書いたように)
選択公理の有限版 ⊂ 可算選択公理 ⊂ 選択公理（フルバージョン）
だから、前述のように、「有限」でも問題なく適用できることを念押ししておく。
つづく
738:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/31 06:56:57.55 PWZHndJJ.net
>>677
つづき
３）さて、本論
反例を構成する。（なお、当然だが、反例は一つで良い（定理の証明は全てを尽くす必要があるが））
a)時枝記事（詳しくは>>21及び、記号などは>>644ご参照）において、箱の数を、十分大きな＊）「有限」個の場合を考える。
（＊）：例えば無限に近い巨大な数と思って貰えば分り易いだろう）
b)箱の数 L＝100mとする。 ここにmは、前述のように十分大きな正整数とする。
c) L＝100m個の箱を、100列のm個の箱の列に並び変える。
m個の長さの数列の
739:しっぽの同値類を考えることができ、決定番号dを決めることができる。 決定番号dは、1<= d <=m の値を取る。 d)100列の決定番号の大小比較から、100列中のあるk列で 決定番号 d^k 1<= k <=100 が、最大値 D = max(d^1, d^2,・・・d^100) を取る確率は、1/100に過ぎない D >= d^k である確率は、99/100となる。 e)後は、時枝記事に書いてあるように、k列で(D+1) 番目から先の箱だけを開け、k列の代表のD 番目の数を見て、k列の代表のD 番目の数を推測すれば、的中確率は99/100となる。 f)つまり、上記の確率について、確率空間 (Ω,F,μ) において、標本空間 Ω＝{1,･･･,100} と取れることを意味する。 g)標本空間 Ω＝{1,･･･,100}とすることによって、“D >= d^k である確率は、99/100” が導かれる。 これにより、k列で(D+1) 番目から先の箱だけを開け、k列の代表のD 番目の数を見て、k列の代表のD 番目の数と一致すると推測すれば、的中確率は99/100となる。 時枝記事の解法が成立する。 （以上は、>>644-645に記述の数学ロジックの通りです） 以上です。 （参考） http://www.geisya.or.jp/~mwm48961/koukou/cond005.htm 高校数学 >> 高校数学Ⅰ・Ａ >> 集合と条件 必要条件・十分条件(反例) (抜粋) 「ｐ→ｑ」 Ｐのどの要素もＱに含まれていればこの命題は真ですが，Ｐの要素のうち１つでもＱに含まれないものがあれば，この命題は偽となります． ｐ→ｑという命題が間違っていることを示すには，ｐであってｑでない例を１つ示せばよいことになります． (引用終り)
740:１３２人目の素数さん
18/12/31 07:10:38.15 h9L92WO7.net
>>677
>１）選択公理、２）数列しっぽの同値類、３）決定番号、４）決定番号が自然数、
>この４つの数学ロジックの要素で、時枝記事は成り立っているのだと。
>要するに、些末な順序の議論を避けるために、上記１）～４）は順不同としよう。
上記の３）、４）の代わりに
５）同値類の代表元の存在
が必要
代表元が存在すれば決定番号（自然数）は存在する
これは同値関係の定義から明らか
スレ主は記事中の同値関係の定義の文章 読んでないのか？
741:１３２人目の素数さん
18/12/31 07:14:23.27 y4r2VQPB.net
添削たーいむ
742:１３２人目の素数さん
18/12/31 07:17:44.67 h9L92WO7.net
>>678
>a)時枝記事において、箱の数を、十分大きな＊）「有限」個の場合を考える。
> （＊）：例えば無限に近い巨大な数と思って貰えば分り易いだろう）
まず、ここでアウトね
箱の数は無限個でなくてはならない
有限個だとした時点で、時枝記事の設定を否定したことになる
>b)箱の数 L＝100mとする。 ここにmは、前述のように十分大きな正整数とする。
全然ダメ 上記のｍは存在しない
箱の数は無限個 スレ主に無限が理解できないなら
この時点でスレ主はここから消えるしかない
>L＝100m個の箱を、100列のm個の箱の列に並び変える。
>m個の長さの数列の しっぽの同値類を考えることができ、
>決定番号dを決めることができる。
>決定番号dは、1<= d <=m の値を取る。
全然ダメ 上記のｍは存在しない
１つの無限列を１００の無限列に並び変える
無限長の数列の尻尾の同値類を考えることができ
決定番号ｄが決まる
決定番号は１以上の任意の自然数（上限値は存在しない）
743:１３２人目の素数さん
18/12/31 07:19:44.34 y4r2VQPB.net
>>678
＞e)後は、時枝記事に書いてあるように、k列で(D+1) 番目から先の箱だけを開け
D=m の場合、開けるべき箱が無いんだが。。。
744:１３２人目の素数さん
18/12/31 07:20:45.28 y4r2VQPB.net
>>678
で？反例はいつ提示されるの？
745:１３２人目の素数さん
18/12/31 07:23:55.32 y4r2VQPB.net
>>678
＞例えば無限に近い巨大な数と思って貰えば分り易いだろう
無限に近い巨大な数って何？ 答え辛かったら例でもいいよ
746:１３２人目の素数さん
18/12/31 07:24:31.22 h9L92WO7.net
>>678を時枝記事の正しい設定に変更
a)時枝記事において、箱の数を、可算無限個と考える。
b)箱は 自然数で番号づけできる
c)可算無限個の箱を、100列の無限列に並び変える。
無限列の しっぽの同値類を考えることができ、決定番号dを決めることができる。
決定番号dは、1<= dの値を取る。
d)100列の決定番号の大小比較から、100列中のあるk列で
決定番号 d^k 1<= k <=100 が、最大値 D = max(d^1, d^2,・・・d^100) を取る
確率は、1/100に過ぎない
D >= d^k である確率は、99/100となる。
e)後は、時枝記事に書いてあるように、k列で(D+1) 番目から先の箱だけを開け、
k列の代表のD 番目の数を見て、k列の代表のD 番目の数を推測すれば、
的中確率は99/100となる。
f)つまり、上記の確率について、確率空間 (Ω,F,μ) において、
標本空間 Ω＝{1,･･･,100} と取れることを意味する。
g)標本空間 Ω＝{1,･･･,100}とすることによって、
“D >= d^k である確率は、99/100” が導かれる。
これにより、k列で(D+1) 番目から先の箱だけを開け、
k列の代表のD 番目の数を見て、
k列の代表のD 番目の数と一致すると推測すれば、
的中確率は99/100となる。 時枝記事の解法が成立する。
747:１３２人目の素数さん
18/12/31 07:30:20.35 h9L92WO7.net
>>682
>D=m の場合、開けるべき箱が無いんだが。。。
>>678によるスレ主の姑息な改竄は
>>685で修正したので上記のmは無くなった
スレ主は>>665の「有限桁だけ0でない小数（有限小数） 」を見て
勝手に箱の数を有限個としてよいと誤解したようだが、
有限小数の長さの上限値は存在しないから、
当然無限列（有限小数の終わりの次の桁以降0が無限に続く）
を扱わなければならない つまり箱の数は無限個
748:１３２人目の素数さん
18/12/31 07:47:23.79 y4r2VQPB.net
反例ってまだ提示されてないよね？
もしかして>>678が反例のつもりなの？
だとしたら反例という言葉の意味を知らないのかな？
あるいは時枝解法とは別の何かに対する反例を書いたの？
何が何やらサッパリですわ
749:１３２人目の素数さん
18/12/31 07:48:34.59 h9L92WO7.net
>>683
>反例はいつ提示されるの？
間違った設定での間違った反例は無意味
スレ主がこの期に及んで、時枝記事の肝心な前提である
「箱は無限個」を全然受け入れてない、という事実が明らか
になった。
これは「決定番号∞」と同様の誤りである
おそらくスレ主は
「ｍ番目の箱�
750:ﾉはもはや次の箱がない！これが反例だ！」 と高らかに宣言するのだろうが、読者は皆失笑するだろう 箱は無限個であって、上記のｍ番目の箱は存在しないのだから 無限を理解せず、有限個に改竄するスレ主は 数学を理解する能力が根本的に欠如している と言わざるを得ない
751:１３２人目の素数さん
18/12/31 07:49:13.12 av0tGtzM.net
>無限に近い巨大な数
で笑ってしまった。どんな巨大数でも無限に比べれば0に等しい。
そんなのは数学の常識。
やっぱり工学バカには日常用語としての「無数・無限」（巨大数 だが数学上は有限）
と数学上の「無限」の区別がついてないんじゃないかなぁw
752:１３２人目の素数さん
18/12/31 07:49:48.21 y4r2VQPB.net
>>678
スレ主さん、しばらく留守にするから>>687への回答書いといてね
753:１３２人目の素数さん
18/12/31 07:58:17.32 83/Nq/vP.net
おっちゃんです。
AIとか関係ない持ち出して、やたらめったらコピペするのやめろ。
何が何だか話が分からなくなるだろ。
754:１３２人目の素数さん
18/12/31 08:00:26.90 h9L92WO7.net
>>689
>>無限に近い巨大な数
>で笑ってしまった。
「arbitrarily large」を可能無限と誤解する
スレ主なら大いにあり得ること
スレ主は自分が無限も理解できない
一番のピエロであることを全然理解してない
だからこそ３年もピエロを演じ続けられるわけだが
しかしもうピエロの自爆芸にも飽きた
755:１３２人目の素数さん
18/12/31 08:02:22.81 83/Nq/vP.net
全く、スレ主のコピペはしようもない。
大半がスレ主のコピペで埋め尽くされているような感じじゃないか。
756:１３２人目の素数さん
18/12/31 08:08:53.07 h9L92WO7.net
スレ主はどうやら
「任意長の有限列で成り立つ」事柄は
「無限列で成り立つ」と誤解してるらしい
もちろんそんなことはない
有限列には必ず終端があるが
無限列には終端は存在しない
この質的な違いが重要
スレ主の怪しげな”極限”（？）論法は全く通用しない
それにしても延々と選択公理について述べたのは
なんのつもりだったんだろうか？
正直、スレ主が
＞箱の数を、十分大きな「有限」個の場合を考える。
と書いてきたのを読んで、ズッコケた
757:１３２人目の素数さん
18/12/31 08:11:45.64 h9L92WO7.net
スレ主 オウンゴールの軌跡
１．「決定番号∞」
２．「（無限個は）十分大きな「有限」個」
2度あることは3度ある
スレ主は反省する能力がないサル
758:１３２人目の素数さん
18/12/31 08:15:40.07 h9L92WO7.net
ぶっちゃけスレ主の>>678に対する>>685の指摘は
望月新一のABC予想の証明に関するショルツの指摘
同様の決定的なものであるから、安易な反論は無意味
759:１３２人目の素数さん
18/12/31 08:17:11.85 83/Nq/vP.net
>スレ主はどうやら
>「任意長の有限列で成り立つ」事柄は
>「無限列で成り立つ」と誤解してるらしい
スレ主は中学1年レベルとのことだから、致し方ない。
760:１３２人目の素数さん
18/12/31 08:17:12.64 83/Nq/vP.net
>スレ主はどうやら
>「任意長の有限列で成り立つ」事柄は
>「無限列で成り立つ」と誤解してるらしい
スレ主は中学1年レベルとのことだから、致し方ない。
761:１３２人目の素数さん
18/12/31 08:18:33.52 h9L92WO7.net
>>691
＞おっちゃんです。
おっちゃんはもうここでスレ主の相手しなくていいぞ
スレ主はおっちゃんよりもはるかにバカだと露見したから
無限が十分大きな有限と同じとかほざく時点で
数学的には十分池沼レベル もはや人間失格のサル