[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）15 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
3: 新 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/08/07(月)11:49 ID:Uqnr2O+1(3/5) AAS
つづき
また、IMUの新総裁 中島啓氏は、”紹介：理論物理学に起源を持つゲージ理論を数学的に研究することを中心テーマと している。また、この研究がカッツ・ムーディー・リー環や、その変形と関係 することから、これらの対象の表現論も同時に研究している。 主要な成果として、次のようなものを得た。(略) 箙多様体と名づけた・・”外部ﾘﾝｸ[html]:www.kurims.kyoto-u.ac.jp
と記されています
なので、数学隣接分野も取り上げます！
（平たく言えば「なんでもあり」ですｗ）
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
フィールズ賞
2022年（オンライン開催[注釈 3]）[21]
ユーゴー・デュミニル＝コパン（Hugo Duminil-Copin, 1985年 - ）フランスの旗 フランス
省5
4: 新 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/08/07(月)11:49 ID:Uqnr2O+1(4/5) AAS
つづき
外部ﾘﾝｸ:ja.wikipedia.org
超弦理論
基本的な説明
超弦理論には5つのバリエーションがあり、それぞれタイプI、IIA、IIB、ヘテロSO(32)、ヘテロE8×E8と呼ばれる。この5つの超弦理論はいずれも理論の整合性のために10次元時空を必要とする。
外部ﾘﾝｸ:en.wikipedia.org
Leech lattice
Applications
The vertex algebra of the two-dimensional conformal field theory describing bosonic string theory, compactified on the 24-dimensional quotient torus R24/Λ24 and orbifolded by a two-element reflection group, provides an explicit construction of the Griess algebra that has the monster group as its automorphism group. This monster vertex algebra was also used to prove the monstrous moonshine conjectures.
(引用終り)
省1
5(15): 新 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/08/07(月)11:50 ID:Uqnr2O+1(5/5) AAS
つづき
なお、
おサル＝サイコパス＊のピエロ（不遇な「一石」外部ﾘﾝｸ:textream.yahoo.co.jp 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets＊＊） （Yahoo!でのあだ名が、「一石」）
＜＊）サイコパスの特徴＞
（参考）外部ﾘﾝｸ:blog.goo.ne.jp サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
（＊＊）注；外部ﾘﾝｸ:en.wikipedia.org Hyperboloid
Hyperboloid of two sheets ：画像ﾘﾝｸ[png]:upload.wikimedia.org
外部ﾘﾝｸ:ja.wikipedia.org 双曲面
二葉双曲面 ：画像ﾘﾝｸ[png]:upload.wikimedia.org
おサルさんの正体判明！（＾＾）
省17
6: 2023/08/09(水)23:38 ID:uAIu8a+e(1/2) AAS
偽教授発狂ｗｗｗ
7: 2023/08/09(水)23:45 ID:uAIu8a+e(2/2) AAS
時枝証明のギャップを示せないからって発狂されてもｗ
これだから不成立派はｗ
8(11): 2023/08/10(木)06:04 ID:W8jWAT9d(1/9) AAS
■問題
▢無限個の箱に実数を入れる
箱がたくさん，可算無限個ある.
箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，
例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.
そして箱をみな閉じる.
▢無限個の箱の中から１つ選んで、他の箱の情報から、選んだ箱の中身を当てる
今度はあなたの番である.
省7
9(8): 2023/08/10(木)06:05 ID:W8jWAT9d(2/9) AAS
■証明
確率1-εで当てられる
やろうとすること
無限列の集合を同値関係で類別する
□同値関係の導入
実数列の集合 R^Nを考える.
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，
ある番号から先のしっぽが一致するとき（∃n0：n >= n0 → sn＝ s'n）
同値s 〜 s'と定義しよう.
□確認
省27
10(7): 2023/08/10(木)06:08 ID:W8jWAT9d(3/9) AAS
□戦略
◇無限列を複数（例えば100列）用意する
閉じた箱を100列に並べる.
箱の中身は私たちに知らされていないが，
とにかく第l列の箱たち，第2列の箱たち第100 列の箱たちは
100本の実数列S^1,S^2，・・・，S^lOOを成す
(肩に乗せたのは指数ではなく添字).
これらの列はおのおの決定番号をもつ.
◇複数の列から1列を選ぶ
さて， 1〜100 のいずれかをランダムに選ぶ.
省20
11: 2023/08/10(木)06:19 ID:W8jWAT9d(4/9) AAS
１．>>10で示した戦略は、>>8で示されたゲームのルールに即している
２．無限列に対して、有限個の項を除いた残りの項からその同値類の代表元が選べることは
>>9で示された通りである これをGabay-O'Connorの定理という
12: 2023/08/10(木)06:20 ID:W8jWAT9d(5/9) AAS
>>10で示した戦略は、>>8で示されたゲームのルールに即している
無限列に対して、有限個の項を除いた残りの項からその同値類の代表元が選べることは
>>9で示された通りである これをGabay-O'Connorの定理という
13: 2023/08/10(木)06:22 ID:W8jWAT9d(6/9) AAS
選択公理を用いなくとも代表元が選べる場合、箱入り無数目の戦略を否定することはできない
またGabay-O'Connorの定理の定理に基づいた箱入り無数目の戦略を否定するには
Gabay-O'Connorの定理を否定せざるを得ず、結果として選択公理を否定するしかないだろう
14: 2023/08/10(木)06:25 ID:W8jWAT9d(7/9) AAS
結論
直感により箱入り無数目の戦略を否定するなら、結果として選択公理が否定される
つまり直感によって選択公理が否定される
15(1): 2023/08/10(木)06:33 ID:S8FdfUNa(1/6) AAS
アホ
16: 2023/08/10(木)06:48 ID:tJCxSVzZ(1/14) AAS
>>15←怠けて読みもしないアホ
17(1): 2023/08/10(木)06:53 ID:tJCxSVzZ(2/14) AAS
>>8-14
有難うござます
成立確定ですね
これでも未だ不成立とか言う輩は数学の初歩から勉強しなおした方が良い
18: 2023/08/10(木)07:59 ID:W8jWAT9d(8/9) AAS
>>17
そもそも2015年11月の「箱入り無数目」の出版以前から成立は確定している
Gabay-O'Connorの定理は2004年に発表されたが、
Peter Winklerはそれ以前の2001年にはこのことに気づいていたようだ
そもそも元ネタはもっと古いらしいから本当の始まりが誰によるかはわからない
19(2): 2023/08/10(木)08:03 ID:W8jWAT9d(9/9) AAS
今後「箱入り無数目」に関することは
以下のスレッドで話をしたほうがいい
と思うが如何か？
スレタイ 箱入り無数目を語る部屋7
2chｽﾚ:math
20(1): 2023/08/10(木)08:32 ID:S8FdfUNa(2/6) AAS
阿呆
21: 2023/08/10(木)08:44 ID:tJCxSVzZ(3/14) AAS
>>20
悔しいのう
22: 2023/08/10(木)09:44 ID:S8FdfUNa(3/6) AAS
誰が？
23: 2023/08/10(木)09:48 ID:S8FdfUNa(4/6) AAS
馬鹿の顔を見てみたかっただけだよ
24: 2023/08/10(木)10:17 ID:nATjmoHF(1) AAS
「歯茎から血が出ている」というのは
「歯周病ですよ」「口が臭いよ」
ということを婉曲に表現していたのであるｗ
25: 2023/08/10(木)10:27 ID:S8FdfUNa(5/6) AAS
そういうことを書かねばならなかったほど
悔しかったということ
26: 2023/08/10(木)10:45 ID:S8FdfUNa(6/6) AAS
思うに、悔しさこそすべての表現の原動力
このうらみはらさでおくべきか〜
27(4): 新 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/08/10(木)11:26 ID:M2TIpSU0(1/7) AAS
>>19
>今後「箱入り無数目」に関することは
>以下のスレッドで話をしたほうがいい
>と思うが如何か？
>スレタイ 箱入り無数目を語る部屋7
>2chｽﾚ:math
スレ主です
それは一つの提案だが
私の意見は、ここはここで面白いのではと思っている
謎のプロ数学者さんが来て、ここで一段落まで議論する方が面白いのでは
省12
28(2): 2023/08/10(木)11:29 ID:a9AfVSNu(1) AAS
「やはりこの程度だったか」ということがわかったので
もう興味は失った
29: 新 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/08/10(木)11:39 ID:M2TIpSU0(2/7) AAS
>>27 補足
１）時枝「箱入り無数目」（数学セミナー201511月号の記事）関連資料は下記ご参照
2chｽﾚ:math
特に
2chｽﾚ:math
２）うんこ君の”箱入り無数目の証明が全てだ！”と
謎のプロ数学者「出題文で”数当ての不成立は明白”（証明はカス）」
は、真向対立
３）サイコパスのおサルさん>>5 ”Gabay-O'Connorの定理マンセー！”
は、明らかに幻聴＆幻視です。時枝は、そんなことは一言も書いていない！ｗ
省3
30(1): 新 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/08/10(木)11:43 ID:M2TIpSU0(3/7) AAS
>>28
>「やはりこの程度だったか」ということがわかったので
>もう興味は失った
ご苦労様です
スレ主です
なるほど
では、あとは気楽に”また～り”してください
スレを移動するほどのことも無いということでｗ
31(1): 2023/08/10(木)12:25 ID:tJCxSVzZ(4/14) AAS
>>27
>決定番号の大小の確率計算が破綻している
任意の実数列の決定番号は自然数であることをあなたは認めました。
任意の二つの自然数の大小関係は一意に定まります。
ここまで良いですね？
「決定番号の大小の確率計算」とは？どんな確率空間の話をしている？それがなぜ破綻している？
32(14): 新 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/08/10(木)14:32 ID:M2TIpSU0(4/7) AAS
>>31
>「決定番号の大小の確率計算」とは？どんな確率空間の話をしている？それがなぜ破綻している？
ご苦労様です
スレ主です
１）測度論的確率論で、扱えないケースで、典型的な場合二つ
一つは ヴィタリ風非可測集合を扱う場合
もう一つは 測度が発散してしまう場合
２）測度が発散してしまう場合で、典型的な場合が下記の非正則事前分布を扱うとき
いま、自然数Nを考えると
（自然数Nは、無限集合なので、数え上げ測度では∞に発散しています。Ω＝Nとすると確率の公理を満たせない（下記ご参照））
省24
33(2): 2023/08/10(木)14:57 ID:tJCxSVzZ(5/14) AAS
>>32
回答者が扱う決定番号はN^100の1元のみです。
1元のみなので分布を考える>>32はナンセンスです。
34(1): 2023/08/10(木)14:59 ID:tJCxSVzZ(6/14) AAS
>>32
要はあなたは考えなくてもよい分布を考えてそれが非正則だからという理由で時枝戦略を否定してるんです。
まったくナンセンスです。
35(1): 2023/08/10(木)15:03 ID:tJCxSVzZ(7/14) AAS
>>32
出題列を100列に並べ替える方法とR^N/〜の代表系を予め定めておく自由が回答者にはあります。
出題者が出題列を固定したとき100列も100列の決定番号も固定されます。
固定された100列の決定番号（N^100の１元）の分布を考えてもナンセンスです。
理解できますか？理解できませんか？
36(1): 2023/08/10(木)15:06 ID:tJCxSVzZ(8/14) AAS
理解できなければ何をどう理解できないのか言って下さいね
スルーしておいてまたあとで同じ主張の繰り返しはやめて下さいね
37(5): 新 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/08/10(木)17:51 ID:M2TIpSU0(5/7) AAS
>>33-36
まあ、そう慌てないでｗ
さて、>>32の自然数全体Nで、全事象Ω＝Nとして、可算無限の全事象を扱うと何が問題なのか？
全事象はΩ→∞に発散しているので、有限kに対しては、k/∞→0になります
いま、100列にちなんで、100倍のkつまり、100kを考えると、100k/∞→0になります
つまり、下記の確率の公理の加法性が成り立たなくなっている
加法性が成り立たないことは大問題です
さらに付言すれば、有限kに対し 1～kまでの番号が、宝くじの当り番号とします
いま、分かり易く 全体が一様で上限が有限mとしましょう （k<mですね）
有限mの中の当りは、当選確率 k/m です
省21
38: 新 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/08/10(木)17:58 ID:M2TIpSU0(6/7) AAS
>>37 タイポ訂正
kを2倍の2kとしても同じく確率0（100倍100kでに同じく確率0）
↓
kを2倍の2kとしても同じく確率0（100倍100kでも同じく確率0）
確率0の世界の大小比較ですから、の決定番号の大小比較はナンセンスです
↓
確率0の世界の大小比較ですから、決定番号の大小比較はナンセンスです
39: 2023/08/10(木)17:59 ID:tJCxSVzZ(9/14) AAS
>>37
>さて、>>32の自然数全体Nで、全事象Ω＝Nとして、可算無限の全事象を扱うと何が問題なのか？
時枝戦略とは無関係な確率空間を勝手に持ち出していることが問題
40: 2023/08/10(木)18:00 ID:tJCxSVzZ(10/14) AAS
>>37
反論があるなら時枝戦略がそのヘンな確率空間を使っているエビデンスを示せ
示せなければただの言いがかり
41(1): 新 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/08/10(木)18:23 ID:M2TIpSU0(7/7) AAS
>>37 補足
１）ええ、決定番号は、自然数ですよ
２）しかし、自然数全体Nで、全事象Ω＝Nとして、可算無限の全事象を扱うと
確率の公理の加法性が成り立たなくなって
有限kに対し 1～kまでの番号が、宝くじの当り番号として
全体Nの中から、ランダムには 当り番号を引くことはできない（当りの確率は0）
３）ええ、パラドックスです
全事象Ω＝N→∞ で確率を扱うことによる パラドックスです
42(1): 2023/08/10(木)19:23 ID:tJCxSVzZ(11/14) AAS
>>41
>２）しかし、自然数全体Nで、全事象Ω＝Nとして、可算無限の全事象を扱うと
分からない人ですね
箱入り無数目では可算無限の全事象なんて扱ってません
扱っているというならエビデンスを提示して下さい
43(8): 2023/08/10(木)22:06 ID:GZ6+11c6(1/4) AAS
>>42
>> ２）しかし、自然数全体Nで、全事象Ω＝Nとして、可算無限の全事象を扱うと
>分からない人ですね
>箱入り無数目では可算無限の全事象なんて扱ってません
>扱っているというならエビデンスを提示して下さい
基礎学力低いな！
証明します
時枝問題（数学セミナー201511月号の記事） 「箱入り無数目」より
2chｽﾚ:math
実数列の集合 R^Nを考える.
省21
44(1): 2023/08/10(木)22:18 ID:tJCxSVzZ(12/14) AAS
>>43
>５）∀n∈Nで、d＝nなる代表を構成しよう
ナンセンス
なぜなら時枝戦略においては出題列が固定された瞬間に列1の決定番号も固定されるから
45(1): 2023/08/10(木)22:31 ID:tJCxSVzZ(13/14) AAS
>>43
出題前の可能性の話として列1の決定番号は任意の自然数となり得る ←あなたの主張が依拠している立場
出題後の列1の決定番号は固定された自然数 ←箱入り無数目の回答者の立場
エビデンス
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる. ・・・そして箱をみな閉じる. 今度はあなたの番である.・・・」
「あなた」のターンにおいて出題列が固定されていること理解できますか？
46(2): 2023/08/10(木)23:04 ID:GZ6+11c6(2/4) AAS
>>44-45
基礎学力低いな！
反論します
１）マージャンで、山を積んで、配牌が決まった
ツモの順番も決まった
ゲームが、始まった
２）しかし、山も配牌もツモの順番も
ゲーム毎に変わる
３）分かるのは、自分の手の内と、捨てられた牌のみ
他の3人の手の内は不明で、山の牌も不明
省10
47(1): 2023/08/10(木)23:13 ID:tJCxSVzZ(14/14) AAS
>>46
私は
>「あなた」のターンにおいて出題列が固定されていること理解できますか？
と聞きました。これにちゃんと答えてください。
麻雀を持ち出してもナンセンスです。麻雀から類推できる保証は無いし実際類推できないから。
48(5): 2023/08/10(木)23:43 ID:GZ6+11c6(3/4) AAS
>>47
１）一つの出題において、
出題の列
s = (s1，s2，s3 ，・・，sn-1 ，sn ，sn+1 ，・・)
は、固定されている
そこは、同意というか反対はしていない
２）しかし、別の出題では
別の出題になる
３）だからのs∈R^Nと書くのでしょ？
sn∈Rで、snは全てのRが可能でしょ？
省4
49: 2023/08/10(木)23:44 ID:GZ6+11c6(4/4) AAS
>>48 タイポ訂正
２）しかし、別の出題では
別の出題になる
↓
２）しかし、別の出題では
別の出題列になる
だな
50(1): 2023/08/11(金)00:05 ID:d+amdo+A(1/30) AAS
>>48
>１）一つの出題において、
> 出題の列
> s = (s1，s2，s3 ，・・，sn-1 ，sn ，sn+1 ，・・)
> は、固定されている
> そこは、同意というか反対はしていない
>２）しかし、別の出題では
> 別の出題になる
1),2)を合わせると、いかなる回次の出題でも出題列は何かしらに固定されている
>４）さらに、代表列の選び方に自由度があるよ
省4
51(3): 2023/08/11(金)00:27 ID:TUfRZ5up(1/24) AAS
>>50
> 1),2)を合わせると、いかなる回次の出題でも出題列は何かしらに固定されている
基礎学力大丈夫か？
方程式 aX=b a≠0 で、aとbは固定と見ることはできる
が、一方で aをパラメータと見ることもできるよ
>>４）さらに、代表列の選び方に自由度があるよ
>時枝戦略では予め代表系を固定するので却下
>> 決定番号は固定されない（自由度がある）
>従て、間違い
「却下」とか「間違い」とか、意味がわからん
省2
52(2): 2023/08/11(金)00:43 ID:d+amdo+A(2/30) AAS
>>51
>方程式 aX=b a≠0 で、aとbは固定と見ることはできる
じゃ固定
>が、一方で aをパラメータと見ることもできるよ
あなたが否定したいのは「勝つ戦略がある」じゃないんですか？
勝てない戦略を持ち出しても「勝つ戦略がある」の否定にならないことは理解できる？
>「却下」とか「間違い」とか、意味がわからん
>”自由度がある”って書いているんだよ？？
あなたが否定したいのは「勝つ戦略がある」じゃないんですか？
勝てない戦略を持ち出しても「勝つ戦略がある」の否定にならないことは理解できる？
53(1): 2023/08/11(金)00:50 ID:d+amdo+A(3/30) AAS
>>51
おそらく理解してないでしょうね
勝つ戦略の存在性を問われていることは理解してる？
時枝戦略はaを固定と見るし、代表系の自由度を潰している
勝つ戦略の存在を否定したいあなたはそれでも勝てないことを示さなければならない
理解できる？
54(1): 2023/08/11(金)00:54 ID:d+amdo+A(4/30) AAS
要するに、回答者に最大限有利な戦略でも勝てないことをあなたは証明しなければならない
aを固定と見ることができると認めた時点で、あなたはaをパラメータと見ることを諦めなければならない
代表系の自由度を潰すことについてあなたは拒否できない
理解できる？
55(2): 2023/08/11(金)06:32 ID:wUP+QyaL(1/6) AAS
おそらく誰も理解できない
56: 2023/08/11(金)06:37 ID:d+amdo+A(5/30) AAS
頭悪いんだね
57: 2023/08/11(金)06:50 ID:d+amdo+A(6/30) AAS
まあ頭悪い人は諦めるしかないね
頭良い人だけが理解していればよい
58(6): 2023/08/11(金)07:58 ID:TUfRZ5up(2/24) AAS
>>52
>>方程式 aX=b a≠0 で、aとbは固定と見ることはできる
>>が、一方で aをパラメータと見ることもできるよ
>じゃ固定
スレ主です
基礎学力大丈夫か？
下記の高校数学【2次方程式の解の存在範囲】で
「x についての2次方程式 x^2−2ax−a+2=0 が次のような解をもつとき，定数 a の値の範囲を求めよ」
とあるよね？
くどいが『定数 a』とあるよね？
省16
59(1): 2023/08/11(金)08:00 ID:rxtETGWs(1/47) AAS
>>19
>今後「箱入り無数目」に関することは
>以下のスレッドで話をしたほうがいい
>と思うが如何か？
>スレタイ 箱入り無数目を語る部屋7
>2chｽﾚ:math
>>27
>ここはここで面白いのではと思っている
>謎のプロ数学者さんが来て、
>ここで一段落まで議論する方が面白いのでは
省12
60(1): 2023/08/11(金)08:08 ID:d+amdo+A(7/30) AAS
>>58
>上記「方程式 aX=b a≠0 で、aとbは固定と見ることはできる
> が、一方で aをパラメータと見ることもできる」
だから何？
記事のどこにも方程式 aX=bなんて書かれていない
誤魔化しても無駄
61(4): 2023/08/11(金)08:08 ID:TUfRZ5up(3/24) AAS
>>52-53
スレ主です
＞あなたが否定したいのは「勝つ戦略がある」じゃないんですか？
＞勝つ戦略の存在性を問われていることは理解してる？
違う！
時枝氏が、箱入り無数目の記事の証明で書いている
自然数Nを添え字とする可算無限数列のしっぽの同値類と
決定番号の大小比較による
確率99/100をまず議論しましょう
ということ
省8
62(4): 2023/08/11(金)08:12 ID:rxtETGWs(2/47) AAS
>>32
> 全事象Ω＝Nとして、可算無限の全事象を扱うと何が問題なのか？
残念ながら、箱入り無数目の全事象はNではない
>>33でも指摘されているが
正しくは全事象は
列s_1,…,s_100の以下の100個の項
s_1(D_1),…,s_n(D_100)
ここでD_nは以下のように定義される
(d_1,…,d_100は、それぞれ列s_1,…,s_100)
D_n=MAX({d_1,…,d_100}-{d_n})
省8
63: 2023/08/11(金)08:12 ID:d+amdo+A(8/30) AAS
>>58
「いかなる回次の出題でも出題列は何かしらに固定されている」
この否定を証明できない限り戦略成立を認めざるを得ないね
はい、がんばって証明してください
方程式？記事に書かれていないものを持ち出して誤魔化してもナンセンス
64: 2023/08/11(金)08:14 ID:d+amdo+A(9/30) AAS
>>61
>決定番号の集合D＝N(自然数の集合)
「いかなる回次の出題でも出題列は何かしらに固定されている」だから間違い
65(4): 2023/08/11(金)08:15 ID:TUfRZ5up(4/24) AAS
>>54
＞aを固定と見ることができると認めた時点で、あなたはaをパラメータと見ることを諦めなければならない
やれやれ
>>58に示した”高校数学【2次方程式の解の存在範囲】で
「x についての2次方程式 x^2−2ax−a+2=0 が次のような解をもつとき，定数 a の値の範囲を求めよ」”
の解説を
百回音読してくださいね
高校数学から、復習しましょうねｗ
>代表系の自由度を潰すことについてあなたは拒否できない
「代表系の自由度を潰す」？
省5
66: 2023/08/11(金)08:17 ID:rxtETGWs(3/47) AAS
>>37
>全事象Ω＝Nと全体が発散しているときは
>有限部分を取り出しても、加法性が成り立たないし
>確率0の世界の決定番号の大小比較はナンセンスです
まあ、そう慌てなさんな 素人さん
全事象Ωは、Nではなく、
列s_1,…,s_100の以下の100個の項
s_1(D_1),…,s_n(D_100)
であることは>>62で述べた
いかなるs_1､･･･､s_100∈R^Nをとったとしてもそのようになる
省1
67: 2023/08/11(金)08:17 ID:d+amdo+A(10/30) AAS
>>65
> >>58に示した”高校数学【2次方程式の解の存在範囲】で
>「x についての2次方程式 x^2−2ax−a+2=0 が次のような解をもつとき，定数 a の値の範囲を求めよ」”
>の解説を
>百回音読してくださいね
>高校数学から、復習しましょうねｗ
記事に書かれていないものを持ち出して誤魔化してもナンセンス
68: 2023/08/11(金)08:19 ID:d+amdo+A(11/30) AAS
>>65
>だけど、代表を選ぶのは、
>回答者の権利であり、自由に選べるというだけですけど？ｗ
その通り。
だから代表系を予め一つ選んで固定するのも回答者の権利。自由度とか言って勝手に権利を奪ってはダメ。
69: 2023/08/11(金)08:21 ID:rxtETGWs(4/47) AAS
>>43
>「箱入り無数目」は決定番号dを使い、従ってD＝Nなる決定番号の集合Dを使っている
然り
>ので、全事象Ω＝D＝Nと解釈できるということ
否
つまり、のでの前と後が論理的につながらない
正しいΩは>>62で示した通り
列s_1,…,s_100の以下の100個の項
s_1(D_1),…,s_n(D_100)
基礎学力（論理の理解）が欠如してますな 素人さん
70(1): 2023/08/11(金)08:24 ID:rxtETGWs(5/47) AAS
>>43
>∀n∈Nで、d＝nなる代表を構成しよう
代表は回答者がその都度勝手に決めるものではない
あらかじめ決まっている そのほうが勝てるから
わざわざ自分から負けに行くのが素人
自分がヘボなだけなのに、だから誰がやっても勝てない、とほざくのが素人
71: 2023/08/11(金)08:27 ID:rxtETGWs(6/47) AAS
>>46
＞神の目なら確率にはならないが
＞人は、確率として扱うのです
素人は定義を読まずに、自分勝手に言葉を解釈し、その結果、間違う
72: 2023/08/11(金)08:27 ID:d+amdo+A(12/30) AAS
>>65
「いかなる回次の出題でも出題列は何かしらに固定されている」
これを否定できない限りあなたの持論「決定番号の大小の確率計算が破綻している」は破綻します
さあどうします？
73(2): 2023/08/11(金)08:32 ID:TUfRZ5up(5/24) AAS
>>60
>>上記「方程式 aX=b a≠0 で、aとbは固定と見ることはできる
>> が、一方で aをパラメータと見ることもできる」
>だから何？
>記事のどこにも方程式 aX=bなんて書かれていない
>誤魔化しても無駄
だから、決定番号dに自由度があって
dを、パラメータと見ることができる
ってこと
74: 2023/08/11(金)08:32 ID:rxtETGWs(7/47) AAS
>>48
>一つの出題において、出題の列は、固定されている
>しかし、別の出題では別の出題になる
>だからのs∈R^Nと書くのでしょ？
箱入り無数目は
任意の「一つの出題」に対する確率計算であって
任意の「全出題」に対する確率計算ではない
素人さんの苦し紛れの「すり替え」には同意しない
75: 2023/08/11(金)08:35 ID:rxtETGWs(8/47) AAS
>>48
>代表列の選び方に自由度があるよ
>一つの出題は固定されていてもね
>従って、一つの出題列は固定でも
>決定番号は固定されない（自由度がある）
代表列の選び方は固定する そのほうが勝てるから
わざわざ負けに行く馬鹿はいないよ 素人さん
ついでにいうと、どのような代表列で当たるか負けるかの確率計算は全くしていない
そこが問ではない
76: 2023/08/11(金)08:38 ID:rxtETGWs(9/47) AAS
>>51
>方程式 aX=b a≠0 で、aとbは固定と見ることはできるが、
>一方で aをパラメータと見ることもできるよ
箱入り無数目の確率計算はaを定数と見た場合のものとして正しいことは認める？
Yes or No のみで答えられたい
言い訳の文章は一切無用
素人さんの面目など 私にはどうでもいいので
77: 2023/08/11(金)08:40 ID:rxtETGWs(10/47) AAS
>>55 ID:wUP+QyaL 負け犬は黙ろうな
君には公理的集合論は無理だから、多変数複素関数論”でも”やってなさい
78: 2023/08/11(金)08:43 ID:rxtETGWs(11/47) AAS
>>58
>基礎学力大丈夫か？
素人さんは
見たところ、あなた、数学は高校卒業で終わってますね
大学の微分積分学と線形代数は分かっておられない
なぜ分からなかったか
述語論理と集合論が分かっていないからでしょう
だから論理と集合を用いた「言葉」が理解できなかった
言葉が理解できなきゃ言ってることは理解できませんな
省3
79: 2023/08/11(金)08:44 ID:d+amdo+A(13/30) AAS
>>73
>だから、決定番号dに自由度があって
>dを、パラメータと見ることができる
>ってこと
決定番号が方程式の作法に従わなきゃならない理屈は無い。誤魔化しだ。
80: 2023/08/11(金)08:48 ID:rxtETGWs(12/47) AAS
>>61
>>勝つ戦略の存在性を問われていることは理解してる？
> 違う！
突然大声を出してどうされました？素人さん
焦っておられるようですね
でも素人なんだから間違うのは当然でしょう
まさか自分は絶対間違いない、なんて
根拠もなく思ってたんですか？
それ・・・病気ですよ
しかも死に至る病
省2
81(3): 2023/08/11(金)08:55 ID:TUfRZ5up(6/24) AAS
>>59
>主は厄介者の始末を先生にお願いしたが
>先生は内心もはや自分には無理と観念し
>捨て台詞を残して退散
>主は屋根に登ったはしごを外された
おサルさんか>>5
（前々スレより）
2chｽﾚ:math
456１３２人目の素数さん 2023/07/16(日) 16:15:25.90ID:JgPgt5PZ
突然だがここを去ることにする
省28
82: 2023/08/11(金)08:57 ID:d+amdo+A(14/30) AAS
>>73
>だから、決定番号dに自由度があって
>dを、パラメータと見ることができる
>ってこと
パラメータだから変化するから決定番号の全事象＝Nとか訳の分からない理屈を言い出すから困る。
出題ごとに定数（別の出題では別の定数）と認めるならパラメータでもいいよ？
83: 2023/08/11(金)08:58 ID:rxtETGWs(13/47) AAS
>>61
> 時枝氏が、箱入り無数目の記事の証明で書いている
> 自然数Nを添え字とする可算無限数列のしっぽの同値類と
> 決定番号の大小比較による確率99/100
> をまず議論しましょうということ
なぜ？
どこが受け入れられませんか？
1. 確率99/100
2. 100のうち1つしか外れがないくじで当たりを選ぶ確率は1-1/100=99/100
3. 100個の自然数の中で、他より大きな数maxは高々１つ
省10
84: 2023/08/11(金)09:01 ID:d+amdo+A(15/30) AAS
>>81
某偽プロ数学者が、箱入り無数目の出題文の数当ては不可といったところでナンセンスｗ
85: 2023/08/11(金)09:03 ID:rxtETGWs(14/47) AAS
>>61
>（全事象の集合は）決定番号の集合D＝N(自然数の集合)
>だから、確率の公理を満たすことができない、非正則分布Nを使ってしまっている
>そこが、まずいだろう
全事象は>>62で述べた
列s_1,…,s_100の以下の100個の項
s_1(D_1),…,s_n(D_100)
したがって、100個の元のそれぞれの単集合に確率1/100を割り振る確率分布が存在する
だから、何もまずくない
使ってないものをまずいといっても、反論にもなんにもならない
省8
86: 2023/08/11(金)09:06 ID:rxtETGWs(15/47) AAS
>>65
＞代表を選ぶのは、回答者の権利であり、自由に選べるというだけですけど？
一通りに決めるのも、回答者の権利であり、自由に決められますけど？
交通ルールを決める自由も有る
一切の交通ルールを否定するのは自由とはいわない
87: 2023/08/11(金)09:16 ID:wUP+QyaL(2/6) AAS
誰も納得できない主張を繰り返す馬鹿が居座り続けているので
議論が続いているのだろうと
やじ馬たちは思っているだろうね
88: 2023/08/11(金)09:16 ID:rxtETGWs(16/47) AAS
>>81
＞おサルさんか
素人さん あなたが？
＞暫くして、こっそり戻ってきたんだね
別人ですが何か？
匿名板で人物特定するのは馬鹿のすること
＞収穫はあった
＞某プロ数学者が、箱入り無数目の出題文の数当ては不可という
＞それで、十分だろ？
匿名だろ？どこの誰だかわからんよ 別に知りたくもないがね
省16
89: 2023/08/11(金)09:18 ID:rxtETGWs(17/47) AAS
＞＞87
あなたが理解できないからといって、誰も理解できない、ということにはならない
多変数複素関数論に閉じこもってなさい あなたに無限集合論は全く理解できないから
90(1): 2023/08/11(金)09:21 ID:rxtETGWs(18/47) AAS
＞＞81
＞このバトルは2015年から続いている7年戦争
素人さんが、ほぼ一人で「マチガッテル」と騒いでるだけだな
最近、偽玄人さんが食いついてきたけど、素人さん以上にあさはかなので、
多分認知症じゃないかと思っている
91(1): 2023/08/11(金)09:22 ID:rxtETGWs(19/47) AAS
改めて問う
結局素人さんが受け入れられないのは以下のどれ？
1. 確率99/100
2. 100のうち1つしか外れがないくじで当たりを選ぶ確率は1-1/100=99/100
3. 100個の自然数の中で、他より大きな数maxは高々１つ
4. 任意の無限列は自然数の決定番号を持つ
5. 2つの無限列について、ある項から先がすべて一致するという2項関係は同値関係となる
6. 同値類から代表元が選べる（選択公理）
92(1): 2023/08/11(金)09:27 ID:rxtETGWs(20/47) AAS
今後、素人さんがいいそうな発言
「任意の２つの無限列は尻尾同値」
証明
任意の２つの無限列は、「無限回」の推移律適用で、同値となる
ー
上記の「証明」の誤りは、もちろん「無限回」の推移律適用
数学科出身の人なら誰でもわかることだが、
推論規則の適用は任意有限回に限る
だから「同値だけど決定番号は無い（あるいは∞）」なんてことは絶対ない
省3
93(1): 2023/08/11(金)09:36 ID:TUfRZ5up(7/24) AAS
>>70
>>∀n∈Nで、d＝nなる代表を構成しよう
> 代表は回答者がその都度勝手に決めるものではない
> あらかじめ決まっている そのほうが勝てるから
> わざわざ自分から負けに行くのが素人
> 自分がヘボなだけなのに、だから誰がやっても勝てない、とほざくのが素人
だからｗ
１）代表は回答者が異なれば、代表は回答者毎に異なるでしょ？
100人いれば100人毎で、1万人なら1万人毎
２）そして、代表には、”当りと外れがある”のは理解している？
省9
94(1): 2023/08/11(金)09:37 ID:rxtETGWs(21/47) AAS
とある数学者が実名で出版した本で、選択公理について
「 [選択公理] 超限帰納法を使ってよい
(つまり、ある集合が超限帰納法によって作れるならば、その集合が存在する)」
なんてたわけたこと書いてたりするので、某多変数複素関数論の研究者が
選択公理のステートメントすら知らなくても驚くには値しないかもしれない
・・・嘆かわしい、とは思うが
95(1): 2023/08/11(金)09:44 ID:wUP+QyaL(3/6) AAS
>>92
専門家ぶっているのでお尋ねするが
上江洲忠弘
無限に長い命題を持つ論理について
という論文を知っていますか？
96: 2023/08/11(金)09:46 ID:TUfRZ5up(8/24) AAS
>>90
> 素人さんが、ほぼ一人で「マチガッテル」と騒いでるだけだな
> 最近、偽玄人さんが食いついてきたけど、素人さん以上にあさはかなので、
> 多分認知症じゃないかと思っている
それ
面白いコメントだな
碁でも、あまりにもヘボだと、プロとアマの区別がつかない
数学に同じか
97(1): 2023/08/11(金)09:53 ID:wUP+QyaL(4/6) AAS
95には誰も即答できなかったが
だからと言ってこれが
出鱈目な論文だということにはならない
98(1): 2023/08/11(金)09:56 ID:rxtETGWs(22/47) AAS
>>95
聞いたことはある
無限論理、というものでしょう
しかし、通常の数学で用いる論理は、そのようなものではない
（了）
99(2): 2023/08/11(金)09:59 ID:rxtETGWs(23/47) AAS
>>97 お返しに質問
J.-Y. Girardの linear logic はご存知？
で、linear logicでは、ラッセルのパラドックスや嘘つきパラドックスはパラドックスでない
なぜだか、ご存知？
100(5): 2023/08/11(金)10:01 ID:rxtETGWs(24/47) AAS
>>98
コメントが明後日
「将棋がプロだから囲碁でもプロ」
とはいえない
＞・・・に同じ
あんた、田舎どこ？
それ方言だよ
標準語では「・・・も同じ」
101: 2023/08/11(金)10:12 ID:wUP+QyaL(5/6) AAS
>>99
質問の趣旨は「無限に長いというだけで出鱈目と決めつけるのはよくない」
ということ
>>J.-Y. Girardの linear logic はご存知？
知らない。しかしだからと言って興味がわかないわけではない。
ラッセルのパラドックスをパラドックスでなくするように
集合概念が整備されたというのが常識だと思っていたが
それとは違う考え方があるというのなら面白い。
102: 2023/08/11(金)10:20 ID:wUP+QyaL(6/6) AAS
>>94
>>某多変数複素関数論の研究者が
>>選択公理のステートメントすら知らなくても驚くには値しないかもしれない
上江洲先生の論文を目にしたのはリーマンの写像定理を
教えてもらう2年以上前
その頃はツォルンの補題と選択公理の同値性の証明を読んでいた。
上下前次1-新書関写板覧索設栞歴
あと 900 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.049s