20/01/16 07:48:30 12GEEnl3.net
>>830 補足
ここは、初学者もいるかも知れないので、補足説明しておく
1.時枝記事(>>37 >>50-)の数列は、当然固定されている
だが、それは現代数学の確率変数の射程内です
確率変数の「固定」などという、トンデモ概念とは無関係
2.「どんな実数を入れるかはまったく自由」なので、
なに�
901:ゥ確率現象、コイントスとかサイコロとかを使っても良い そのときに、確率99/100と異なる結果になれば、 時枝記事の解法との矛盾であり、反例になる 3.確率論で使われるiid(独立同分布)の確率変数Xi(可算無限族)を使えば 話は簡単で、各Xiは、コイントスなら確率1/2、サイコロなら確率1/6になり この段階で、時枝記事の反例構成は終わっている 4.では、なぜ如何にも当たるような確率99/100に見えるのか? それを解明したのが、ジムの数学徒(>>694)さんの書いた証明>>271で (引用開始) 結局確率変数d(x)などが満たしていなければならない条件とは (1) P(d(x)>d(y),d(z))≦1/3。 2) P(∀i≧D x[i]=r(C(x))[i] | d(x)≦D)=1 である。 この2つの条件が満たされない限り時枝の議論は成立しない。 ところがこの(2)の条件は確率論の公理の要請に反してしまう。 (引用終り) ということ 5.これを、https://www.youtube.com/watch?v=JwtOopzF4AA >>779 【高校数学】 数B-101 確率分布と確率変数? 2016/03/09 とある男が授業をしてみた に倣って解説してみると d(x)(以下dxと略記する)の確率分布を考える dx:1, 2, ・・・n ・・・ P:p1,p2,・・・pn・・・ となる。ここで、p1,p2,・・・pn・・・などは、 確率に直す前の場合の数です。確率は、総和Σpnで割る必要がある ところが、Σpn→∞ となって発散してしまう ∵pnが減衰しないから。減衰しない無限和は発散します これが、上記4項で、(2)の条件 確率に対して”=1”が成立たない分り易い説明です 以上
902:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/16 08:02:03 12GEEnl3.net
>>841
補足の補足
1.「どんな実数を入れるかはまったく自由」は、>>50の記載ご参照
2.独立同分布である i.i.d. IID については、下記ご参照
(>>121)
URLリンク(www.practmath.com)
実用的な数学を
2019年6月20日 投稿者: TAKAN
独立同分布である i.i.d. IID
(抜粋)
|| 同じ分布のデータは互いに不干渉だよ
これは「確率変数を別々に扱えるよ」という『仮定』です。
これが仮定されていると、非常に計算がしやすくなります。
相関を考えなくて良いので、共分散などを使う必要がありません。
3.「Σpn→∞ となって発散してしまう」については、
積分 ∫ 1~∞ 1/x^n dx (1/x^nの 1~∞ の積分)
の収束条件、n > 1であることに類似
つまり、→∞のときに、被積分関数 1/x^nが、ある速度以上で減衰しないと
積分は発散します
同様に、場合の数を考えると、→∞のときに減衰がないと、
当然総和は発散して
確率分布が求まらないのです
以上
903:132人目の素数さん
20/01/16 09:07:11.45 1NWfc1B3.net
>>841
>3.確率論で使われるiid(独立同分布)の確率変数Xi(可算無限族)を使えば
> 話は簡単で、各Xiは、コイントスなら確率1/2、サイコロなら確率1/6になり
> この段階で、時枝記事の反例構成は終わっている
反例になってません
反例であることを示すには時枝解法を使っても当てられないことを示す必要があります
あなたに示せるはず無いのです
なぜならあなた、時枝解法を理解するための必要要件:同値類、選択公理を理解していないので
「無限集合を扱うには選択公理が必要」とか訳の分からない妄想しているのがあなたです
904:132人目の素数さん
20/01/16 09:08:43.29 1NWfc1B3.net
「無限集合を扱うには選択公理が必要」
自分のバカを自覚して下さいね
905:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/16 10:05:55 F3sCx4kE.net
>>843
>反例になってません
反例になっています
∵ 時枝の確率 99/100ですが
対して現代数学の確率変数iidの確率は、
それぞれの確率事象により
コイントス 1/2
サイコロ一つ 1/6
などなど
確率事象に依存した数値になります
906:iid(独立同分布)なので、例外の箱(確率変数Xi)なし だれが考えても、後者の現代数学の確率論から導かれる結論が妥当です 以上 QED(^^
907:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/16 10:48:17.28 F3sCx4kE.net
>>842 補足
> つまり、→∞のときに、被積分関数 1/x^nが、ある速度以上で減衰しないと
> 積分は発散します
時枝は、裾の重い分布(下記)の”類似”だが
時枝では、積分が発散するので
P(Ω)=1という確率の公理不成立(つまり、確率計算ができない)
(これについては、前述のジムの数学徒(>>694)さんの書いた証明(>>841)ご参照)
(なお、裾の重い分布は、まだ確率論の中の話ですが、時枝はそうではない)
(参考)
URLリンク(ja.wikipedia.org)
裾の重い分布
(抜粋)
裾の重い分布あるいはヘヴィーテイルとは、確率分布の裾がガウス分布のように指数関数的には減衰せず[1]、それよりも緩やかに減衰する分布の総称。 また類似の用語に、ファットテイル、裾の厚い分布、ロングテール、劣指数的(subexponential)などがある。
URLリンク(webtan.impress.co.jp)
Impress Corporation
平均値で考えると失敗するロングテール指標を理解しておこう [アクセス解析tips]
ロングテールデータを読み解くには、「平均」や「偏差値」など一般的な統計指標はあまり役に立たない。なぜか?
衣袋 宏美(株式会社クロス・フュージョン) 2010/1/28
908:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/16 10:56:26.15 F3sCx4kE.net
>>844
おサルも同じような発言しているぞ(下記)(^^;
同類じゃんか!w
同じ穴の狢だよ、おサルw
(おサルの発言ご参考まで)
現代数学の系譜11 ガロア理論を読む33 (c)2ch.net
スレリンク(math板)
575 名前:132人目の素数さん[sage] 投稿日:2017/06/03(土) 02:30:44.36 ID:YbwQeVvS [1/32]
>>571-572
残念だけど選択公理を使って
無限列から決定番号への非可測関数を構築すれば
「箱入り無数目」解法による予測は避けられないよ
逆に
「X1,X2,X3,・・・がまるまる無限族として独立なら絶対に当てられない」
と言い切るなら、必然的に
「実数の全ての集合はルベーグ可測であり選択公理は成立しない」
といわざるを得なくなる
(引用終り)
909:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/16 11:32:03 F3sCx4kE.net
>>847
補足
(引用開始)
「X1,X2,X3,・・・がまるまる無限族として独立なら絶対に当てられない」
と言い切るなら、必然的に
「実数の全ての集合はルベーグ可測であり選択公理は成立しない」
といわざるを得なくなる
(引用終り)
を読んだとき、こいつアホと即座に思ったよ
まあ、しかしおれも人のことは言えない
同値類の構成に、どの公理使うかが理解できていなかった
その後、下記のSatoko Titani Global Set Theory 1.3.5 Equivalence relation を見ると 分かった
分出公理 又は 置換公理で、論理式 ψ を使って、同値類の構成できるんだね(下記wikipedia)
これの逆、無限の同値類から元を一つづつ選びだすための仕掛けが、選択公理だね
上記の同値類とその代表を選び出す関係は、
選択公理と等価な命題 「右逆写像の存在 全射は右逆写像を有する」(下記)
に近いのではと思う
現代数学の系譜 カントル 超限集合論
スレリンク(math板:472番)
472 名前:現代数学の系譜 雑談 ◆e.a0E5TtKE [] 投稿日:2019/10/27(日) 20:54:28.82 ID:EUeYkluT [2/4]
URLリンク(scholarpublishing.org)
Services for Sc
910:ience and Education Ltd https://scholarpublishing.org/sse/wp-content/uploads/2018/08/10.14738tnc.092018.1_global-set-theory_2018.pdf Satoko Titani Global Set Theory Society for Science and Education (United Kingdom) Dedicated to Professor Gaisi Takeuti (1925 - 2017) 1.3.5 Equivalence relation . . . . . . . . . . . . . . . . . . . 26 つづく
911:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/16 11:32:45 F3sCx4kE.net
>>848
つづき
URLリンク(ja.wikipedia.org)
公理的集合論
(抜粋)
置換公理 "関数クラス"による集合の像は集合である:
この公理は、論理式 ψ をパラメータとする公理図式である。
1.2 分出公理
分出公理
置換公理はフレンケルによって次の分出公理の代わりにおかれたものである(1922年)。分出公理は上に述べた ZF の公理から示すことができる。
この公理は、論理式 ψ をパラメータとする公理図式である。論理式 ψ を決めたとき、X に対して分出公理が存在を主張する集合はただ一つであることが外延性の公理から言える
URLリンク(ja.wikipedia.org)
選択公理
(抜粋)
選択公理(せんたくこうり、英: axiom of choice、選出公理ともいう)とは公理的集合論における公理のひとつで、どれも空でないような集合を元とする集合(すなわち、集合の集合)があったときに、それぞれの集合から一つずつ元を選び出して新しい集合を作ることができるというものである。1904年にエルンスト・ツェルメロによって初めて正確な形で述べられた[1]。
2 選択公理と等価な命題
・右逆写像の存在
全射は右逆写像を有する。
URLリンク(ja.wikipedia.org)
全射
(抜粋)
右可逆性
右逆を持つ任意の写像は全射であるが、「任意の全射が右逆写像を持つ」という命題は選択公理に同値である。
(引用終り)
以上
912:132人目の素数さん
20/01/16 17:31:27 jTYy8UNC.net
_,,,,,,,,,,,,_
, :'"´ _... --、 `゙丶、
/ _.. - '' ..: .:.::ヽ
/:, ' ` 、 .:.:::::',
i:' __ .. ` 、.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=、 _,,,,,_, : ` 、r',r ヽ
! _.. ; ´ ̄ : . ! iヽ :|
l'´- / -、 : ! ー 'ノ
! r_ r=ノ . : :r-ィ'
ヽ `__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ 、 ̄,,.. ''´ : .:/ !、
',  ̄ . : , :'": : ト、\
ヽ.. .. : : :_,,. '" : : : : l、! \
`ニi"´::::.... ! \―--- ....
,. -‐'''''"´/ l、:::: :. ... _,,ノ `i
/ / |、`゙''ー---―''":::/ . l
913:132人目の素数さん
20/01/16 17:34:06 a9lcc95e.net
おっちゃんです。
プロ野球の記事を読んでいたら、目明き千人盲千人という諺を知った。
目明き千人盲千人かなるほどね~、って思った。
914:132人目の素数さん
20/01/16 17:40:09 a9lcc95e.net
目明き千人盲千人を知ったときは、諺というより格言としていえるような諺だと思ってしまった。
915:132人目の素数さん
20/01/16 17:41:19 a9lcc95e.net
それじゃ、おっちゃんもう寝る。
916:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/16 18:14:43 F3sCx4kE.net
>>851-852
おっちゃん、どうも、スレ主です。
レスありがとう
>プロ野球の記事を読んでいたら、目明き千人盲千人という諺を知った。
なるほど、これか(下記)
(参考)
URLリンク(kotobank.jp)
コトバンク
デジタル大辞泉の解説
目明(めあ)き千人(せんにん)盲(めくら)千人
世の中には道理のわかる者もいるが、わからない者もいるということ。盲千人目明き千人。
(引用終り)
”盲(めくら)”というのが、いま放送禁止用語だから、使われなくなっているけどね
因みに、(>>848より)
(引用開始)
「X1,X2,X3,・・・がまるまる無限族として独立なら絶対に当てられない」
と言い切るなら、必然的に
「実数の全ての集合はルベーグ可測であり選択公理は成立しない」
といわざるを得なくなる
(引用終り)
これで、何がアホかというと
命題A:「X1,X2,X3,・・・がまるまる無限族として独立なら絶対に当てられない」(時枝記事の否定)
命題B:「実数の全ての集合はルベーグ可測であり選択公理は成立しない」(選択公理の否定)
として
命題A(時枝記事の否定)→命題B(選択公理の否定)
となって
それで「普通の命題が、公理を否定する」などということは、非常に特殊ケースを除いてない!!
そんなことは、基礎論をちょっとかじった人にはすぐ分かること
もし、”命題A(時枝記事の否定)→命題B(選択公理の否定)”が成立とすれば、
基礎論的には、大事件なのですよww(^^;
この一言で、”こいつアホ”と即座に思った
”目明(めあ)き千人(せんにん)盲(めくら)千人”
の例かもね(^^;
917:132人目の素数さん
20/01/16 19:15:38.89 TmEb/6H6.net
>>841
>ここは、初学者もいるかも知れないので、補足説明しておく
無学者(誤学者)◆e.a0E5TtKEのウソ説明は要らんよ
>1.時枝記事の数列は、当然固定されている
したがって、以下の3.は否定される
>3.確率論で使われるiidの確率変数Xi(可算無限族)を使えば…
> 各Xiは、コイントスなら確率1/2、サイコロなら確率1/6になり
> この段階で、時枝記事の反例構成は終わっている
数列が固定されているなら、どの試行でも同じ値となり
確率変数になりようがない
918:132人目の素数さん
20/01/16 19:16:04.55 TmEb/6H6.net
>>841
>4.では、なぜ如何にも当たるような確率99/100に見えるのか?
> それを解明したのが、ジムの数学徒…
ジムは「確率99/100に見えること」について何も説明していない
確率99/100の説明ならThe Riddleを読めばいい
一方ジムはそもそもThe Riddleについて語っていない
The Riddleは正しいか否かか答えよ、という質問に
渋々「正しい」と答えたが、同時にそれは
時枝記事とは無関係だと言い張っている
頭が悪いんだろう
さてジムが述べたのはこれだけ
>結局確率変数d(x)などが満たしていなければならない条件とは
>2) P(∀i≧D x[i]=r(C(x))[i] | d(x)≦D)=1
>ところがこの(2)の条件は確率論の公理の要請に反してしまう。
しかし、これは99/100とは全然無関係だし
確率99/100の説明になっていない
説明でもなんでもないものを説明だという
◆e.a0E5TtKEは文章が読めないうえにウソツキだな
919:132人目の素数さん
20/01/16 19:16:48.52 TmEb/6H6.net
確率99/100の説明は以下の通り
「時枝記事の戦略では
100列のうち、それぞれ1個づつの箱を選ぶ
そのうち、
1.最も大きい決定番号d1を持つ1列についてはd2(<d1)番目の箱
2.その他の99列についてはd1(>dn(nは2以上))番目の箱を選ぶ
1の場合はd2<d1なので代表元と一致しない
2の場合はd1>dnなので代表元と一致する
したがって選ばれる候補となる100箱のうち99箱は代表元と一致する
100個のそれぞれが選ばれる確率が1/100なら、
代表元と一致する確率は99/100」
箱の中身が確率変数なんていうのは一切説明に出てこない
箱を選ぶ確率が1/100で、代表元と一致する箱が99個というだけ
ジムはこんな簡単な説明すらできない時点で
素人のトンデモであることは間違いない
数学科卒というのはデマ
◆e.a0E5TtKE(=ジム)は
「箱にランダムに数をいれる」
と決めつけて間違った!!!
920:132人目の素数さん
20/01/16 19:17:28.51 TmEb/6H6.net
>>844
>「無限集合を扱うには選択公理が必要」
>自分のバカを自覚して下さいね
>>847
>おサルも同じような発言しているぞ
◆e.a0E5TtKE毎度恒例の誤読
無限集合の存在は無限公理によって保証される
選択公理は不要
921:132人目の素数さん
20/01/16 19:18:03.69 TmEb/6H6.net
>>848
>同値類の構成に、どの公理使うかが理解できていなかった
同値類の構成には、選択公理は不要
同値類ができただけでは、代表元がとれるとは限らない
代表元がとれないなら予測は不可能
>無限の同値類から元を一つづつ選びだすための仕掛けが、選択公理だね
だ・か・ら、選択公理がないと代表元が選べず、予測できない
922:132人目の素数さん
20/01/16 19:18:51.72 TmEb/6H6.net
>>848
>こいつアホと即座に思ったよ
◆e.a0E5TtKEの文章
「部分群HがgHg^(-1)と同型なら正規部分群」
「{}∈{{}},{{}}∈{{{}}} だから {}∈{{{}}}」
「時枝戦略で選んだ1列のみ全部開ければ・・・」
を読んだとき
「こいつ正真正銘のアホだな」
と即座に思ったよ
3度そう思ったってことは
◆e.a0E5TtKEは間違いなくアホってことw
923:132人目の素数さん
20/01/16 19:19:59.71 TmEb/6H6.net
>>845
>>反例になってません
>反例になっています
反例になってませんw
ジムが
・本名
・
924:出身大学 ・卒業証書の画像(本名と出身大学が確認できる) の三点セットを提示したら 数学科卒だと証明される しかし、不可能だろう だってジム=◆e.a0E5TtKEは工学部卒だから ◆e.a0E5TtKE、ほんとウソつくの下手だよなw
925:132人目の素数さん
20/01/16 19:25:38.89 TmEb/6H6.net
>>854
>「普通の命題が、公理を否定する」
>などということは、非常に特殊ケースを除いてない!!
◆e.a0E5TtKEの主張は精神異常な命題だがね
>そんなことは、基礎論をちょっとかじった人にはすぐ分かること
ちょっと齧ろうとしたら前歯が折れたんだろ
◆e.a0E5TtKEは歯磨かないからボロボロw
>もし、”命題A(時枝記事の否定)→命題B(選択公理の否定)”が成立とすれば、
>基礎論的には、大事件なのですよww
なぜ大事件にならないかといえば、
◆e.a0E5TtKEが完全な精神異常者だからw
クスリのめ
最近は統合失調症のいいクスリがあるぞ
エビリファイとかレキサルティとか
926:132人目の素数さん
20/01/16 19:29:43.29 TmEb/6H6.net
◆e.a0E5TtKEは文章が読めない
↓これかもな
URLリンク(ja.wikipedia.org)
ディスレクシア(英語: dyslexia、ディスレキシアとも)は、学習障害の一種で、
知的能力及び一般的な理解能力などに特に異常がないにもかかわらず、
文字の読み書き学習に著しい困難を抱える障害である。
失読症、難読症、識字障害、(特異的)読字障害、読み書き障害、とも訳される。
927:132人目の素数さん
20/01/16 19:35:00.24 TmEb/6H6.net
確率99/100の説明は以下の通り
「時枝記事の戦略では
100列のうち、それぞれ1個づつの箱を選ぶ
そのうち、
1.最も大きい決定番号d1を持つ1列についてはd2(<d1)番目の箱
2.その他の99列についてはd1(>dn(nは2以上))番目の箱を選ぶ
1の場合はd2<d1なので代表元と一致しない
2の場合はd1>dnなので代表元と一致する
したがって選ばれる候補となる100箱のうち99箱は代表元と一致する
100個のそれぞれが選ばれる確率が1/100なら、
代表元と一致する確率は99/100」
箱の中身が確率変数なんていうのは一切説明に出てこない
箱を選ぶ確率が1/100で、代表元と一致する箱が99個というだけ
ジムはこんな簡単な説明もできない
数学科卒?ないないwwwwwww
928:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/16 21:01:36.10 12GEEnl3.net
>>856
>The Riddleは正しいか否かか答えよ、という質問に
>渋々「正しい」と答えたが、同時にそれは
>時枝記事とは無関係だと言い張っている
ジムの数学徒(>>694)さんが認めたことは、下記引用の「コレ」と称することだけ
(>>462-464より引用)
462 名前:132人目の素数さん[sage] 投稿日:2020/01/12(日) 09:55:37.03 ID:uoU8aOtq [1/2]
>>459
解釈論は一旦脇に置きましょう
次の問題設定を考えた場合、確率99/100以上という結論は正しいですか?
それとも間違っていますか?
考えを述べてください
------------
>>432
>
>Fixed s1,s2,...s100∈R^Nに対してΩ={1,2,...,100}なる列の添字で標本空間を構成し、
>ランダムに添字を選ぶとき、
>d:Ω→{d1,d2,...,d100}の最大値を引かない確率は99/100以上
>sが固定されているのでdも固定されており、dは明らかに可測
463 名前:132人目の素数さん[sage] 投稿日:2020/01/12(日) 10:02:58.80 ID:QNR5W2Z7
>>462
> >>459
> 解釈論は一旦脇に置きましょう
>
> 次の問題設定を考えた場合、確率99/100以上という結論は正しいですか?
> それとも間違っていますか?
> 考えを述べてください
>
> ------------
コレは正しいですね。
しかしこの事実をもってしても時枝記事は正当化されてはいないという結考えに変わりはありません。
つづく
929:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/16 21:07:59.65 12GEEnl3.net
>>865
つづき
464 名前:132人目の素数さん[sage] 投稿日:2020/01/12(日) 10:09:41.43 ID:uoU8aOtq [2/2]
>>463
>コレは正しいですね。
OK
「コレ」が正しいと認められるかが重要です
私は終始「コレ」の話をしてます
世間一般の数あてゲームは>>432と同様、当てるべき数は固定されています
固定されてない「数当てゲーム」など聞いたこともないし、
そもそもゲームの体をなしていません
>しかしこの事実をもってしても時枝記事は正当化されてはいないという結考えに変わりはありません
私はそんな話、一切してませんので、他とやってください
(引用終り)
<私のコメント>
1.それで、>>462の問いは、時枝を簡略化した
”Fixed s1,s2,...s100∈R^Nに対してΩ={1,2,...,100}なる列の添字で標本空間を構成し・・”という設問です
2.ジムの数学徒(>>694)氏の回答は、
>>463より
”コレは正しいですね。
しかしこの事実をもってしても時枝記事は正当化されてはいないという結考えに変わりはありません。”(まま)
これを受けて、質問者も
”>しかしこの事実をもってしても時枝記事は正当化されてはいないという結考えに変わりはありません
私はそんな話、一切してませんので、他とやってください”(>>464)と言っている
3.であるから、
おサルの上記”The Riddleは正しいか否かか答えよ、という質問に 渋々「正しい」と答えた”とか
”時枝記事とは無関係だと言い張って”とかは、
おサルの誤解・曲解、かつ我田引水もいいところだな(^^
(繰返すが、直接の質問者も(時枝記事正当化は)「私はそんな話、一切してません」としているw)
以上
930:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/16 21:39:10.20 12GEEnl3.net
>>854 補足の補足
>”こいつアホ”と即座に思った
(ちょっと分り易く補足するよ)
1.命題Aは、時枝記事の否定であるから
時枝記事の成立について、考えてみよう
一般に、数学命題を成立させている幾つかの条件があります
時枝命題に即していうと、
1)ZFCの幾つかの集合論公理と、2)確率の公理、3)左記以外の数学的仮定
の3つに大別されます
2.上記の3つの条件→時枝記事成立 となる
対偶は
時枝記事不成立→3つの条件の”どれか”が不成立
「”どれか”が不成立」= ”or”条件ということです
念押しだが、さらに”3)左記以外の数学的仮定”も、
もし、2つの要件があれば、2つの内1つが不成立で良いのです
3.つまり、言いたいことは
「時枝記事不成立→ZFCの中の”選択公理”不成立」は
普通、こんなことは、まず言えません。普通、言えませんね~
4.現実に、ジムの数学徒(>>694)氏は、証明>>271で
「確率論の公理の要請に反してしまう」(>>841)と示した
「時枝記事不成立→ZFCの中の”選択公理”不成立」が、
如何にアホで非数学的な主張であることか!w
(>>854の通りだが)”こいつアホ”と即座に思ったよ(^^
931:132人目の素数さん
20/01/16 23:43:55 1NWfc1B3.net
>>867
時枝定理の仮定は選択公理だけであり、選択公理を仮定すれば時枝定理は真です。(証明は時枝記事)
なので時枝定理を偽にするには選択公理を偽にする以外にないのです。
まああなたに言っても分からないでしょうけど。分からないなら黙っててくれませんか?
932:132人目の素数さん
20/01/16 23:52:46 1NWfc1B3.net
>>866
> ”コレは正しいですね。
> しかしこの事実をもってしても時枝記事は正当化されてはいないという結考えに変わりはありません。
”コレ”が正しいなら時枝記事の正しさはほぼ自明レベル
つまりジムくんがアホなだけ
933:132人目の素数さん
20/01/16 23:54:19 1NWfc1B3.net
ああ、時枝記事と言ってるのは記事前半ね
記事後半はトンデモだからw
934:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/17 00:30:50 ahk+jOr6.net
>>861
(引用開始)
ジムが
・本名
・出身大学
・卒業証書の画像(本名と出身大学が確認できる)
の三点セットを提示したら
数学科卒だと証明される
しかし、不可能だろう
だってジム=◆e.a0E5TtKEは工学部卒だから
◆e.a0E5TtKE、ほんとウソつくの下手だよなw
(引用終り)
1)おサルの逃げ込むところは、最後はそこかい(ジム=◆e.a0E5TtKE)ww(^^
2)それ、厳密な証明も反証も難しいが、事実だけを引用しておこう (おサルを潰すためにな)
3)ジムの数学徒(>>694)氏の最初は下記>>31 ID:fZULsj51さんからだろう
(因みに、>>33 ID:CpJpHnug 「興味ないから」は、おサル)
4)下記を読んで、ジムの数学徒(>>694)氏=私スレ主と思う人は、おサル一人だろう
5)おサルも、本当は、救いを求め、誤魔化しに使っているだけでしょ?w そう思いたいんだな。でも、それ潰してやるよ!w
(ジムの数学徒(>>694)氏ID:fZULsj51登場時の会話の(抜粋)引用開始。なお、ID:CpJpHnuはおサル)
>>31 名前:132人目の素数さん[sage] 投稿日:2020/01/05(日) 09:31:06.99 ID:fZULsj51 [1/9](ジムの数学徒(>>694)氏)
ヨコです。
時枝さんの定理ってのがあるんですか?
それは正確にはどういう主張ですか?
その主張読めるサイトあります?
(引用終り)
>>33 名前:132人目の素数さん[] 投稿日:2020/01/05(日) 09:46:29.62 ID:CpJpHnug [3/11](おサル)
>>31
その話は別スレッド立ててやってくれる?興味ないから
>>34 名前:132人目の素数さん[sage] 投稿日:2020/01/05(日) 10:03:13.35 ID:fZULsj51 [2/9]
スレ立てようにも概要も何もわからないからなぁ?
スレ立てるほどの価値ある話かもわからんし。
てか概要も何もわからんのに時枝問題ってなんですか?ってタイトルのスレも立てられないし。
ググっても出ないし。
つづく
935:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/17 00:31:21 ahk+jOr6.net
>>871
つづき
>>37 自分返信:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日:2020/01/05(日) 10:15:50.41 ID:dWKXmW0r [6/27]
>>34
どうも、スレ主です
下記ご参照
URLリンク(www.nippyo.co.jp)
数学セミナー 2015年11月号
箱入り無数目────────時枝 正 36
スレ47 スレリンク(math板:18番)
>>45 名前:132人目の素数さん[sage] 投稿日:2020/01/05(日) 11:09:25.62 ID:fZULsj51 [3/9]
いっぱいリンク貼ってあるけど肝心要の記事が載ってるリンクがひとつもない。
取り寄せたり図書館行ったりする価値があるとは思えないのでスルーしますww
>>47 名前:132人目の素数さん[sage] 投稿日:2020/01/05(日) 11:14:58.94 ID:fZULsj51 [4/9]
なんせ直感的には筋悪な事やってるからな。
わかる範囲内では冪級数環を差が多項式になる同値類で割る。
多項式環は冪級数環の中で部分環ではあってもイデアルじゃないからな。
ちょっと筋悪。
>>48 名前:132人目の素数さん[] 投稿日:2020/01/05(日) 11:19:28.93 ID:CpJpHnug [7/11]
>>45
>肝心要の記事が載ってるリンクがひとつもない。
実はあるけど◆e.a0E5TtKEの馬鹿が
余計なリンクを張りまくるから見つけにくい
>>50 名前:132人目の素数さん[sage] 投稿日:2020/01/05(日) 11:23:25.15 ID:n1YRC2Dd [1/7]
以下は過去ログからの引用。
1.時枝問題(数学セミナー201511月号の記事)の最初の設定はこうだった。
つづく
936:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/17 00:31:45 ahk+jOr6.net
>>872
つづき
>>58 自分:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日:2020/01/05(日) 11:49:08.44 ID:dWKXmW0r [13/27]
>>47
ID:fZULsj51さん、どうも。スレ主です。
>なんせ直感的には筋悪な事やってるからな。
>わかる範囲内では冪級数環を差が多項式になる同値類で割る。
>多項式環は冪級数環の中で部分環ではあってもイデアルじゃないからな。
まあ、そういう視点もあるかも
>>93 名前:132人目の素数さん[sage] 投稿日:2020/01/05(日) 13:46:59.09 ID:fZULsj51 [8/9]
まぁどこに罠があるかは分かった。
なるほどねぇ。
確率論の演習としては中々面白いねぇ。
ちょっとしたミニトラップもあるしね。
>>104 名前:132人目の素数さん[sage] 投稿日:2020/01/05(日) 17:11:41.35 ID:fZULsj51 [9/9]
まず確率の問題なのだから測度空間を設定しなければならないのはその通り。
ではこの問題が測度空間が設定し得ない確率の問題として捉え得ないのかというとそうではない。
まず各箱に入れる実数の分布は問題に明示されてない。
しかしされてない事がこの問題のKeyと言ってしまいそうなのが罠。
(引用終り)
以上
937:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/17 00:34:16 ahk+jOr6.net
>>868
>時枝定理の仮定は選択公理だけであり、選択公理を仮定すれば時枝定理は真です。(証明は時枝記事)
あほサルがまだ言ってらーw
アホは、やっぱりアホだね、おサルさん(^^;
938:132人目の素数さん
20/01/17 00:51:11.01 U+rsHn5n.net
と、「無限集合を扱うには選択公理が必要」と赤っ恥発言のアホが申しております
939:132人目の素数さん
20/01/17 06:46:36.09 PpUpdAzp.net
>>865
◆e.a0E5TtKEはジムの敗北を認めたw
>>462
>次の問題設定を考えた場合、確率99/100以上という結論は正しいですか?
>Fixed s1,s2,...s100∈R^Nに対してΩ={1,2,...,100}なる列の添字で標本空間を構成し、
>ランダムに添字を選ぶとき、
>d:Ω→{d1,d2,...,d100}の最大値を引かない確率は99/100以上
>sが(100個に)固定されているのでdも固定されており、dは明らかに可測
>>463
>コレは正しいですね。
ジムがこう答えた瞬間、ジムは負けたw
>しかしこの事実をもってしても
>時枝記事は正当化されてはいない
>という考えに変わりはありません。
これは只の負け惜しみ
940:132人目の素数さん
20/01/17 06:54:28.68 PpUpdAzp.net
>>866
> >>462の問いは、時枝を簡略化した
>”Fixed s1,s2,...s100∈R^Nに対して
>Ω={1,2,...,100}なる列の添字で
>標本空間を構成し・・”という設問です
「簡略化」が誤解
時枝問題そのもの
ジム=◆e.a0E5TtKEは、このことが分からない馬鹿
>ジム(>>694)氏の回答は、
> >>463より
> ”コレは正しいですね。
ジム=◆e.a0E5TtKEは、この瞬間負けた 死んだ
>質問者も
>”私はそんな話、一切してませんので、他とやってください”
>と言っている
そんな話=「時枝記事が箱の中身を確率変数としているというデマ」
つまり、質問者も、ジムが回答した瞬間
「ああ、こいつ負けたな」
と確信した
結論:◆e.a0E5TtKEが数学科卒”ジム”に成りすました正当化工作はものの見事に失敗w
941:132人目の素数さん
20/01/17 07:00:22.64 PpUpdAzp.net
>>867
> 時枝命題に即していうと、
> 1)ZFCの幾つかの集合論公理と、2)確率の公理、3)左記以外の数学的仮定
> の3つに大別されます
で、◆e.a0E5TtKEはどれを守りたいんだい?
2)は否定しないんだろ?
で、1)も守るんなら、3)を否定するしかないね
3)の内訳は時枝記事の場合
・尻尾の同値類の存在
・順序の公理
尻尾の同値類の存在は否定できないよなw
じゃ、残るものは
「自然数の有限集合の中で
他より大きな数となるのは
たかだか1つしかない」
という定理を導く順序の公理しかないな
これ否定する?そりゃ馬鹿の極みだなw
こんなの否定するくらいなら
まだ選択公理を否定したほうがマシw
要するに、◆e.a0E5TtKEは、
前提の重みが全然分かってない馬鹿w
942:132人目の素数さん
20/01/17 07:04:05.34 PpUpdAzp.net
>>871
>ジム氏の最初は下記>>31 ID:fZULsj51さんからだろう
実はこの段階で、
「ああ、◆e.a0E5TtKE、時枝問題を蒸し返して
劣勢を挽回しようと思ってるな 馬鹿め」
と気づいていた
貴様は、言い訳できなくなると他の問題に逃げ
そこで言い訳できなくなるとまた他の問題に逃げ
と逃げ回るのが唯一の処世
時枝問題ではもう言い訳できないぞ
さ、IUTに逃げるかい?w
943:132人目の素数さん
20/01/17 07:05:28.92 dT2TIx6L.net
_,,,,,,,,,,,,_
, :'"´ _... --、 `゙丶、
/ _.. - '' ..: .:.::ヽ
/:, ' ` 、 .:.:::::',
i:' __ .. ` 、.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=、 _,,,,,_, : ` 、r',r ヽ
! _.. ; ´ ̄ : . ! iヽ :|
l'´- / -、 : ! ー 'ノ
! r_ r=ノ . : :r-ィ'
ヽ `__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ 、 ̄,,.. ''´ : .:/ !、
',  ̄ . : , :'": : ト、\
ヽ.. .. : : :_,,. '" : : : : l、! \
`ニi"´::::.... ! \―--- ....
,. -‐'''''"´/ l、:::: :. ... _,,ノ `i
/ / |、`゙''ー---―''":::/ . l
944:132人目の素数さん
20/01/17 07:08:52.40 PpUpdAzp.net
>>872-873
ジムの「ボクちゃん数学科卒」の演技の笑いのツボはここw
>>47
>多項式環は冪級数環の中で部分環ではあってもイデアルじゃないからな。
この発言で
「なんだこの馬鹿、イデアル全然関係ねえじゃん」
と思ったよ
ここで、◆e.a0E5TtKEのなりすましだと確信した
渾身の演技でバレるとはつくづく馬鹿な奴だw
945:132人目の素数さん
20/01/17 07:11:29.03 PpUpdAzp.net
>>874
◆e.a0E5TtKEは数学は宗教であり信仰すべきものと思ってるらしいw
ZFCの公理は否定すべからざる絶対的教義だと思ってるんだろうw
もちろん、数学者はそんな風には考えない
公理は所詮ただの前提に過ぎない
946:132人目の素数さん
20/01/17 07:15:58.70 PpUpdAzp.net
数学科卒を騙った詐欺師ジム
ここに眠る
. + .:. . .
+ :. . +.
. : . + . .
. :. .
. + Π
||
(二X二O
|| .+ .
∧∧ ||
/⌒ヽ)_||_
_~( );;;;::\
" "" """""""" ""/;
"" """ ""/:;
947:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/17 07:46:26.04 ahk+jOr6.net
>>874
>時枝定理の仮定は選択公理だけであり、選択公理を仮定すれば時枝定理は真です。(証明は時枝記事)
高校数学からやり直しだな
1.ある命題 「p → q」 ( p ならば q ) で、q:時枝記事の結論節とする
2.おサルは、p(仮定節):選択公理だという
3.私スレ主、p(仮定節):1)ZFC(含 選択公理)+2)確率の公理+3)左記以外の数学的仮定
だと主張する
上記の2と3と、どちらが正しいか、議論するのもばかばかしいw
(参考)
URLリンク(www.geisya.or.jp)
高校数学Ⅰ・A 集合と条件
■ 逆・裏・対偶
(抜粋)
・ある命題 「p → q」 ( p ならば q ) が真(正しい)のとき,その対偶 は真(正しい)であるが,逆や裏は必ずしも真(正しい)とは限らない.
・ある命題 「p → q」 ( p ならば q ) とその対偶とは真偽が一致するので,対偶の真偽を示せば元の命題の真偽が示せる.
948:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/17 08:05:48.74 ahk+jOr6.net
>>881
(引用開始)
>>47
>多項式環は冪級数環の中で部分環ではあってもイデアルじゃないからな。
この発言で
「なんだこの馬鹿、イデアル全然関係ねえじゃん」
と思ったよ
ここで、◆e.a0E5TtKEのなりすましだと確信した
渾身の演技でバレるとはつくづく馬鹿な奴だw
(引用終り)
おサルは、>>871に反論を書いたけど、「ジム=◆e.a0E5TtKEは工学部卒」が、いまや これが唯一の救いかw
”すまし”か否か、厳密な証明も反証も難しいが、判断は見ている皆さんに任せる
1.「多項式環は冪級数環の中で部分環ではあってもイデアルじゃない」というフレーズは、おれには浮かばない
2.ジムの数学徒(>>694)氏は、>>271の証明に行く前に、いろいろ迷いながら書いている
それをどう読むか、判断は見ている皆さんに任せる(素直に読むか、凝った芝居だと思うか)
3.おれは、>>234で「本格的やるなら、PDFなどにして、アップロード頼む(^^」と言った
彼は、それに従わなかったんだ
4.多分、数学板には、慣れていないんだろうね。数学板のレベル感が掴めていない感じ
>>286で、「しかしこのスレの常連達は全然数式つかって議論しないんだな」なんてね
これも、素直に読むか、凝った芝居だと思うか、判断は見ている皆さんに任せる
(参考(抜粋))
>>224 名前:132人目の素数さん[sage] 投稿日:2020/01/10(金) 11:45:16.73 ID:jmw8DMZb [1/12]
なんかよくわからん?
ルールなり戦略なりを変えて確率論でないようにしたという事ではないの?
ともかくよくわからんけど普通に読めば99/100って数字は前後の文章も鑑みて確率のこと言ってるとしか読めないし、この数字が出てきてる以上確率論の話になると思うけど。
確率論で当てるのではなく、なんか別に当てる戦略があると言う話ではないの?
まぁ正確には "確率論の話だとして正当化できない部分を探せ" になるだろうけど。
数学科で確率論勉強した人間にはまぁできるだろうけど、他学科の人には無理だろうな。
物理の研究者の人とかなら数学科の院生顔負けの人がいたりするらしいのでそういう人なら行けるだろうけど。
つづく
949:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/17 08:08:23.12 ahk+jOr6.net
>>885
つづき
>>227 名前:132人目の素数さん[sage] 投稿日:2020/01/10(金) 13:20:44.63 ID:jmw8DMZb [2/12]
書いてもいいけど正直あまり面白くない。
間違いを指摘してもだから何なんって感じにしかならんだろう。
確率論勉強した人間にしか通じない上に勉強した人間にはわざわざ言わなくてもわかる話にしかならないし。
ココ2、3日忙しいけどそのうち気が向いたら備忘録がわりに書くかも。
>>231 名前:132人目の素数さん[sage] 投稿日:2020/01/10(金) 15:52:39.28 ID:jmw8DMZb [3/12]
時枝先生の記事の "もっともらしさ" の罠はしかし意外に難しいかもしれない。
言われてみれば当たり前のことなのだけど、確率論の初学者には見つけにくてもしょうがない。
私も確率論は門外漢なのでそんな上から目線でいえる立場にはないが。
その当時のネットの議論でどんな意見が出たのかはしらないが、結局のところ、誰もどこがおかしいのか見つけられなかったのが真相なんだろう。
本来数学の議論はキチンと定式化して議論すれば反論の余地などない。
揉めるのはキチンと定式化して議論してないからだ。
>>238 名前:132人目の素数さん[sage] 投稿日:2020/01/10(金) 18:37:32.69 ID:jmw8DMZb [7/12]
まず時枝先生の記事の方法ではダメ。
記事の方法ではxやyをある番号以降全部開けてその値に応じて戦略を決定している。
つまり全事象をC(x)やC(y)などに応じて決定している事になるが、これだと全事象を非可算無限個に分割して定義している事になる。
しかしこのようにして定義された関数は一般には可測関数にならない。
可測関数でなければそもそも確率そのものが定義できない。
ココが議論の第一点。
ではしかし時枝先生の記事の定義がダメとして、絶対にこれらの関数が可測になる事は本当にありえないのか、別の定義を採用すれば回避できるのではないかが次の論点。
しかしコレからジムに遊びに行くので続きはまた今度。
(引用終り)
以上
950:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/17 08:17:50.60 ahk+jOr6.net
>>870
>ああ、時枝記事と言ってるのは記事前半ね
>記事後半はトンデモだからw
おサル、統合失調症のクスリにお世話になっているのか?(>>778ご参照)
時枝先生まで、統合失調症で、その記事の前半と後半が、全く別もので、”記事後半はトンデモ”と解釈か
あなた、まともに時枝記事を論じられる精神状態じゃないね、はっきり言って悪いが
URLリンク(ja.wikipedia.org)
統合失調症
(抜粋)
日本では2002年(平成14年)まで、精神分裂病(せいしんぶんれつびょう)と呼称されていた[3]。
951:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/17 08:20:44.13 ahk+jOr6.net
>>885 コピペミス訂正
”すまし”か否か、厳密な証明も反証も難しいが、判断は見ている皆さんに任せる
↓
”なりすまし”か否か、厳密な証明も反証も難しいが、判断は見ている皆さんに任せる
分かると思うが(^^;
952:132人目の素数さん
20/01/17 08:46:20.87 X/clQYni.net
>>882
自分の持てる⛏の限りで挑むのが
工学者の扱う実用向きの応用数学の粗探しって、、、。
数学で「真」を探求とかはなさりたくならないんですか?
953:132人目の素数さん
20/01/17 09:59:47 LSXKwuvW.net
おっちゃんです。
実用向きの応用数学にも、数学的に定式化されている概念がある。
応用数学を甘く見ない方がいい。
954:132人目の素数さん
20/01/17 10:23:49 k9NX4ves.net
>>890
ごめんなさい
数学“人”に、つい、
“純粋さ”を期待してしまって...いろんな意味で。
応用数学に侮辱的な表現をしてしまって
ごめんなさい
955:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/17 10:31:14 43lj/pck.net
>>889
>工学者の扱う実用向きの応用数学の粗探しって、、、。
>数学で「真」を探求とかはなさりたくならないんですか?
どうもスレ主です。
おっしゃる通りですね(^^;
なお
1.時代が変われば、水準が変わる
2.工学の範囲をどう定義するかも問題だが、
コンピュータサイエンスや、AIや、ビッグデータ解析や、金融工学まで含めれば
20世紀の工学者の扱う実用向きの応用数学と、純粋数学との垣根はどんどんなくなっていると思う
3.東京大学の理学部数学科修士の出身の亀沢氏 三菱UFJ 社長兼CEO(>>809)は、その象徴的な出来事と思う
他には、株式会社Preferred Networksには、東大数学科出身者多数と言われる
4.なので、今後は”数学で「真」を探求”というアカデミー指向とは別に、実業分野で力を発揮する、大学の数学科出身者が増えてくるように思うよ
(大学のポストなどは、限られているからね)
(参考)
URLリンク(katsuyaito.github.io)
Website of Katsuya ITOLinksDiary /Contact /Works /History /
伊藤 克哉
(抜粋)
エンジニア @ 株式会社Preferred Networks
[b]指導教官
[b1]大学4年夏:�
956:O枝 洋一先生(代数的サイクルの交叉理論) [b2]大学4年冬:齊藤 宣一先生(確率微分方程式の数値解析) [b3]修士1年:高橋明彦先生 [b4]修士2年:佐藤整尚先生(高頻度取引) 学歴 番号 年 月 学歴 [c1] 2013年 3月 白陵高等学校 卒業 [c2] 2013年 4月 東京大学教養学部理科一類 入学 [c3] 2015年 3月 東京大学教養学部理科一類 修了 [c4] 2015年 4月 東京大学理学部数学科 進学 [c5] 2017年 3月 東京大学理学部数学科 卒業 [c6] 2017年 4月 東京大学大学院経済学研究科 入学 [c7] 2019年 3月 東京大学大学院経済学研究科 修了
957:132人目の素数さん
20/01/17 10:42:29 LSXKwuvW.net
>>891
確率論と統計学には違う点がある。
一見数学的に厳密に定式化されているとは思えないような統計では中央値がよく出て来るけど、
Wiki によると、実のところ中央値は数学的に厳密に定義して理論的に扱えるようだ。
他にも、そのような概念はあるだろう。
958:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/17 11:21:26.83 43lj/pck.net
>>891
>数学“人”に、つい、
>“純粋さ”を期待してしまって...いろんな意味で。
どうもスレ主です。
そうそう、同意です
数学“人”として、神格化するのは良くないと思います
奇人変人が多い印象あるけど(^^
まず、人として、普通の人生設計を考えるべきと思いますよ
佐藤幹夫先生とか、望月新一先生とか、若いときに女がいないのは、なんだかなー(^^;
その点、Peter Scholze先生は、
結婚していて(学生結婚?)えらいよね(^^
959:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/17 11:53:19 43lj/pck.net
>>892
>[c1] 2013年 3月 白陵高等学校 卒業
全くの余談だが
白陵は、兵庫県高砂市というけれど
実質は、姫路市に近い(というか境界にちかい)
なお下記、兵庫県内私立2位/ 129件中は、おかしいね(”みんなの高校情報”)
白陵より上で、甲陽とか、六甲とか、淳心。女子だが神戸女学院、親和などがある
(高砂市は、三菱重工系とか神戸製鋼系の企業に勤める人が多いと思う)
URLリンク(www.minkou.jp)
みんなの高校情報
白陵高等学校 偏差値2020年度版
73
兵庫県内5位/ 396件中
兵庫県内私立2位/ 129件中
全国49位/ 10,045件中
偏差値 高校名 国立私立 男女共学
79 灘高等学校 私立 男子校
71 - 77 神戸高等学校 公立 共学
72 - 75 長田高等学校 公立 共学
70 - 74 姫路西高等学校 公立 共学
73 白陵高等学校 私立 共学
68 - 73 加古川東高等学校 公立 共学
63 - 72 須磨学園高等学校 私立 共学
URLリンク(ja.wikipedia.org)
白陵中学校・高等学校(はくりょうちゅうがっこう・こうとうがっこう)は、兵庫県高砂市阿弥陀町に所在し、中高一貫教育を提供する私立中学校・高等学校。
URLリンク(ja.wikipedia.org)
淳心学院中学校・高等学校(じゅんしんがくいんちゅうがっこう・こうとうがっこう)は、兵庫県姫路市本町に所在し、中高一貫教育を提供する私立男子中学校・高等学校。
960:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/17 11:57:39 43lj/pck.net
>>893
>確率論と統計学には違う点がある。
>一見数学的に厳密に定式化されているとは思えないような統計では中央値がよく出て来るけど、
おっちゃん、どうも、スレ主です。
レスありがとう
確率論と統計学に、垣根を設けるとどうかだね
あと、ベイズ推定とか、純粋数学ではないよね
(参考)
URLリンク(ja.wikipedia.org)
ベイズ推定
961:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/17 11:58:27 43lj/pck.net
>>896 タイポ訂正
確率論と統計学に、垣根を設けるとどうかだね
↓
確率論と統計学に、垣根を設けるかどうかだね
962:132人目の素数さん
20/01/17 12:07:50 Ho0R/8BU.net
>>894
とっても失礼な891です(ゴメンナサイ)。
シュルツ教授はリア充過ぎて
全然共感ポイントが見つかりません...
天が三物与え過ぎだと思います。
全くキュンじゃないです...
ドイツは数学専攻者に女性の比率が高かったんでしょうか?
出逢い確率が高かったんじゃないんでしょうか。
話変わりまして、私も、21世紀以降の世界を目まぐるしく変えて行くのは、
日本でいうなら東大理科?類に代表されるような工学、情報工学等に牽引されていくイノベーションの力だと理解しているつもりです。
もっと便利で快適な社会に暮らしたいから、その夢を叶えてくれそうな工学に最大限の期待を寄せています。
でも数学には、そういう目に見えて実感出来る、便利な文明化ライフのお役立ち感とは離れて、純粋に思考の力だけで、人類の知の極限まで、一般社会が知るより、ずっとずっと先を探索している姿を勝手に期待しちゃうんです...
(工学の墓守をする為に
数学を叩き棒に使ってるのかな?)
数学が勿体無いな、ってモヤモヤしてしまって...
ごめんなさい。
963:132人目の素数さん
20/01/17 12:10:36 Ho0R/8BU.net
キティホームレスヲヂサン風味の
ペレリマン氏の方が気になります...
964:132人目の素数さん
20/01/17 12:11:40 LSXKwuvW.net
>>894
>まず、人として、普通の人生設計を考えるべきと思いますよ
>佐藤幹夫先生とか、望月新一先生とか、若いときに女がいないのは、なんだかなー(^^;
>
>その点、Peter Scholze先生は、
>結婚していて(学生結婚?)えらいよね(^^
若いときの恋愛は難しい。
�
965:£ハの人生設計を考えたら、凡人で終わる可能性がかなり高い。
966:132人目の素数さん
20/01/17 12:21:56 7sQx91K7.net
>>900
(*-ω-)))ウンウン。
そのエナジー全て数学につぎ込んでるから修士以上が可能なんじゃないかな?って、
でもせっかく優秀な人達が優秀な子孫を残さないのは、社会的損失です。
勿体無いです。
967:132人目の素数さん
20/01/17 12:22:57 7sQx91K7.net
なんとか優秀な女性数学専攻者を増やせないかな?って。
968:132人目の素数さん
20/01/17 12:23:59 7sQx91K7.net
>>901-904←無礼な891です...
969:132人目の素数さん
20/01/17 12:24:29 7sQx91K7.net
>>903
予測通り現れてみました
970:132人目の素数さん
20/01/17 12:25:19 7sQx91K7.net
やった!当たった!
大変失礼致しました。
971:132人目の素数さん
20/01/17 12:31:24 7sQx91K7.net
日本の**数学専攻者**も
♀女性♀比率が↑上がって↑
🌈FOREVER🌈
💖LOVE💞LOVE💗
‰MATHEMATIC🍀LIFE🍀
になって数学人が∞サイクルに成ります様に❗
972:132人目の素数さん
20/01/17 12:39:12 7sQx91K7.net
おっちゃんさんに**素敵な彼女**が出来mathe様に。。。
お嬢様なら乙様のX染色体をかなり
受け継がれるから乙様並みに
**数学力が期待出来mathe**。。。
早くから乙様パパが数学を見て上げたら**Dr.シュルツを上回るかも**です。
乙様、サルル様、主様、人類の進化の為に、婚カツもぜひぜひ数学位、頑張って下さい。。。
人類が猿過ぎmathe。。。助けて、、、
973:132人目の素数さん
20/01/17 12:40:04 LSXKwuvW.net
>>898
>日本でいうなら東大理科?類に代表されるような工学、情報工学等に牽引されていくイノベーションの力だと理解しているつもりです。
>もっと便利で快適な社会に暮らしたいから、その夢を叶えてくれそうな工学に最大限の期待を寄せています。
工学に最大限の期待は寄せない方がいいですよ。便利さや快適さは求め過ぎない方がいいと思います。
AI の発達で職がなくなりつつありますからね。
医学や歯学、薬学、バイオテクノロジーなどの生物系の技術に最大限の期待を寄せるのは問題ないと思います。
974:132人目の素数さん
20/01/17 12:42:16 7sQx91K7.net
mathematicianが益々∞増殖し続けmathe様に。。。🍀
🌈FOREVER🍀mathematics🌈の**呪い**をかけときmatheね。。。
975:132人目の素数さん
20/01/17 12:45:36 7sQx91K7.net
>>908
優秀な人達がAITEC&ロボティクスからのベーシックインカムで
アルキメデスみたいに、生活の苦労なんかしないで純粋に思考するだけの人生に没頭出来るイノベーションであって欲しいんです。
976:132人目の素数さん
20/01/17 12:49:22 7sQx91K7.net
>>910に+して、♀も同じ人数だけいる学術環境で、若い時から、優秀な両性が出逢える機会が充分確保されて、って追加で。
977:132人目の素数さん
20/01/17 13:02:52 7sQx91K7.net
工学が、取って替わるモノを造れる仕事は、クリエイティブなmathematicinには関係無いから、どんどんコストダウンを計って浮いたコストをイノベーションの基礎研究費に回したり、若い研究者の生活補助費に回して、より社会的にも有用に使って欲しい。
978:132人目の素数さん
20/01/17 13:07:09.66 7sQx91K7.net
理系の優秀な人達に、優秀な理系女性との出逢いの機会を増やして、理系人口を確保して欲しい
予算と優秀な異性を確保して
理系人口を維持増殖させて欲しいです。
979:132人目の素数さん
20/01/17 13:11:03.87 7sQx91K7.net
な~んてね🍀
980:132人目の素数さん
20/01/17 13:13:03.43 7sQx91K7.net
乙様、主様、サルル様、ジム様、ぷっ様、なりぷっ様、
🌈み~んなどんどん増えmathe様に!🌈
↑人類進化の呪文。。。( ´_ゝ`)
981:132人目の素数さん
20/01/17 13:26:38.85 7sQx91K7.net
>>894
神格化っていうか、鬼人、鬼才さん達ですよね...
サルルちゃんさん見てても、とても普通と思えない...
もう、数学だけやっててくれれば
良いですよね、って
他の事でも“標準以上”であるなんて奇跡は期待されてないんでしょうし...
人類の数学担当者なんだな、って。。。
982:132人目の素数さん
20/01/17 1
983:3:28:38.49 ID:7sQx91K7.net
984:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/17 13:37:36.70 43lj/pck.net
>>908
>工学に最大限の期待は寄せない方がいいですよ。便利さや快適さは求め過ぎない方がいいと思います。
おっちゃん、どうも、スレ主です。
工学ってね、それ定義の問題だよね、数学者としてはww(^^
そして、現実の世の中は、定義は変わっていくんだ
いま、純粋数学でやっていることが、工学に取り込まれたり
逆に、工学から数学ネタが出てきて、論文書いたりね
(例えば、偏微分方程式も実用的には、工学とか気象とか実用という面で、いろいろある)
>AI の発達で職がなくなりつつありますからね。
ていうか、AIに使われる側か
AIを使う側かって視点も
あるだろうね
985:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/17 13:39:11.53 43lj/pck.net
>>917
>でもどんな業界見てもプロの方はみんなそんな方達ばかりみたいだから、プロフェッショナルって、そういう人達なんですよね...
そうそう
どんな業界でもプロフェッショナルと呼ばれる人はいるんだなーと
NHKの番組見ていてそう思うわ(^^;
986:132人目の素数さん
20/01/17 14:13:11 7sQx91K7.net
主様、早く数学出来る優秀な理系
美少女達のパパになって
サルルさんを黙らせてあげて下さい。
サルルさんは美少女相手だと
大人しくなっちゃうタイプだと
見ましたよ?
987:132人目の素数さん
20/01/17 14:16:09 7sQx91K7.net
乙様、主様、頑張って下さい!
サルル&なりぷっ様も、。。。、
↑こちらのお二方、どうなんでしょう?
。。。末永いお付き合いの感じだったら、乙様が御仲人を。。。?
988:132人目の素数さん
20/01/17 14:18:07 7sQx91K7.net
理系男性は、人類の為に、優秀なX染色体を娘さんに継承させる義務が有りますから、お願い致しますよーだ。
989:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/17 14:19:50 43lj/pck.net
>>920
どうもスレ主です。
レスありがとう
うちは一人息子で、文系に行きました
スレを見ている、若い数学徒に期待しましょう(^^
990:132人目の素数さん
20/01/17 14:31:29 7sQx91K7.net
主様ごめんなさい。。。
今から無理に脱線しないで下さい。。。幸せなご家族でいて下さい。。。
乙様、サルル様、頑張って下さい。
ヤダッ!つっても、創るんだよ!!
娘さんを!!!
はよはよ!人類に🌈アテネ🌈を早よ!
ですよーだ
991:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/17 15:38:41.33 43lj/pck.net
>>924
どうもスレ主です。
>今から無理に脱線しないで下さい。。。幸せなご家族でいて下さい。。。
お気遣いありがとうございます!(^^;
992:132人目の素数さん
20/01/17 15:45:35.03 LSXKwuvW.net
>>918
>>工学に最大限の期待は寄せない方がいいですよ。便利さや快適さは求め過ぎない方がいいと思います。
>
>おっちゃん、どうも、スレ主です。
>工学ってね、それ定義の問題だよね、数学者としてはww(^^
工学の中の何の分野に当てはまるかは知らないが、現実的に使われる実際の AI を開発する分野。
>>AI の発達で職がなくなりつつありますからね。
>
>ていうか、AIに使われる側か
>AIを使う側かって視点もあるだろうね
将棋や囲碁のプロ棋士が AI との対局に勝てなくなっているようなことが起きているから、深刻な問題だよ。
993:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/17 15:53:18.81 43lj/pck.net
>>892 訂正スマン
20世紀の工学者の扱う実用向きの応用数学と、純粋数学との垣根はどんどんなくなっていると思う
↓
21世紀の工学者の扱う実用向きの応用数学と、純粋数学との垣根はどんどんなくなっていると思う
自分は、”20世紀少年”だったんだ(^^;
URLリンク(ja.wikipedia.org)
20世紀少年
994:132人目の素数さん
20/01/17 16:02:36.94 su/Z6GV0.net
>>927
20世紀少年達がそのままスライドして
21世紀中年達になったから
結局同じですね♪
995:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/17 16:44:27.98 43lj/pck.net
>>926
>>ていうか、AIに使われる側か
>>AIを使う側かって視点もあるだろうね
>将棋や囲碁のプロ棋士が AI との対局に勝てなくなっているようなことが起きているから、深刻な問題だよ。
1.視点を変えて、AIを使いこなすことを考えればいいんだ
2.AIの前、チェスがコンピュータに勝てなくなった。このとき、IBMがしらみつぶしに力づくでマシーンパワーで圧倒したという
3.将棋は、囲碁より早くプロ棋士が負けた(このときの将棋ソフトは、いわゆるディープラーニングではなかった)
4.囲碁は、2016年にプロ棋士が負けた(このときの囲碁ソフトは、いわゆるディープラーニング)
5.確かに、コンピュータが人よりも強くなったが、困らないよ
おっちゃん、√の開平を手でやっているだろ?(^^;
√の開平を手でやって、自慢したかったのが
996:、コンピュータがやれるようになって困ったみたいな話じゃないのか? 6.なので、コンピュータがやれるところは、コンピュータを使えばいいだけのこと。そうい視点もあるぜ (参考) https://ja.wikipedia.org/wiki/%E3%83%87%E3%82%A3%E3%83%BC%E3%83%97%E3%83%BB%E3%83%96%E3%83%AB%E3%83%BC%E5%AF%BE%E3%82%AC%E3%83%AB%E3%83%AA%E3%83%BB%E3%82%AB%E3%82%B9%E3%83%91%E3%83%AD%E3%83%95 ディープ・ブルー対ガルリ・カスパロフ 第二戦は1997年にニューヨークで行われ、ディープ・ブルーが勝利した。この試合では、トーナメント条件下で現役のチェス世界チャンピオンがコンピュータに初めて敗れている。 https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%B3%E3%83%94%E3%83%A5%E3%83%BC%E3%82%BF%E5%B0%86%E6%A3%8B コンピュータ将棋 やねうら王の開発者・磯崎元洋は2014年10月31日のブログで「上位のソフトは事前貸出なしの条件であればとっくに羽生さんを超えていることは誰の目にも明らかである。 https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%B3%E3%83%94%E3%83%A5%E3%83%BC%E3%82%BF%E5%9B%B2%E7%A2%81 コンピュータ囲碁 「AlphaGo対李世ドル」 2016年 対局はアルファ碁が先に3勝をあげ、通算成績4勝1敗で勝利した[23]。
997:132人目の素数さん
20/01/17 17:24:13.72 LSXKwuvW.net
>>929
従来、将棋や囲碁のプロ棋士が AI との対局に勝てないということは考えられなかった。
>5.確かに、コンピュータが人よりも強くなったが、困らないよ
> おっちゃん、√の開平を手でやっているだろ?(^^;
> √の開平を手でやって、自慢したかったのが、コンピュータがやれるようになって困ったみたいな話じゃないのか?
>6.なので、コンピュータがやれるところは、コンピュータを使えばいいだけのこと。そうい視点もあるぜ
手計算は手を動かすことで計算力などが身に付くから、手計算をして損はない。
まあ、AI で未来はどう変わるかというと、決しって安泰とはいえないだろう。
998:132人目の素数さん
20/01/17 17:36:32 LSXKwuvW.net
>>929
そうそう、手計算で数値解析をすることにも、理論的に面白い一面はある。
線形の PDE か非線形 PDE かに関係なく、偏微分方程式とかの数値解析だとそうなる。
それじゃ、おっちゃんもう寝る。
999:132人目の素数さん
20/01/17 17:39:09 jByLNfh2.net
>>931
お休みなΨ~
1000:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/17 17:41:18 43lj/pck.net
>>929 補足
むしろ、いま懸念されているのは、
「AIが人類に反乱? 兵器規制はどこまで?」みたいな話と思う
URLリンク(www3.nhk.or.jp)
NHK
AIが人類に反乱? 兵器規制はどこまで?
2019年9月6日 14時39分
1001:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/17 17:41:52 43lj/pck.net
>>931
おっちゃん、どうも、スレ主です。
おやすみなさい
1002:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/17 17:44:40 43lj/pck.net
>>930
>まあ、AI で未来はどう変わるかというと、決しって安泰とはいえないだろう。
数学に限れば、
数学ソフトにAIが導入されて、
数学が本質的に変質するように思う
つまり、πの計算が、
昔数学者の仕事だったのが
いまコンピュータで計算される時代になったと類似のことが、
純粋数学のいろんな分野でおきると思う
1003:132人目の素数さん
20/01/17 19:04:01.32 PpUpdAzp.net
>>885
>「多項式環は冪級数環の中で部分環ではあってもイデアルじゃない」
>というフレーズは、おれには浮かばない
そもそも、◆e.a0E5TtKEが環を持ち出すのが不自然だ
と思っていたがイデアルという言葉を聞いて
「ああ、a~b同値関係を
”差a-bがイデアルIに属する”
と理解したがってるんだな」
と悟った
それが数学的だと思ってる時点で、
数学が全然わかってない
>「しかしこのスレの常連達は全然数式つかって議論しないんだな」
とかデカい口叩いてるジムが
「箱の中身を確率変数とした場合、確率論では扱えない」
と主張するのに、ヴィタリの非可測集合をトレースしなかったのは
不自然極まりない
時枝はわざわざヴィタリの非可測集合の話をしてるからね
有理数の代わりに、2進有限小数を使えば
本来のヴィタリの非可測集合と全く同様に
非可測性が示せる
しかし、そうしなかった
その時
「ああ、こいつ、ヴィタリの非可測集合知らねぇ素人だな」
と確信した
1004:132人目の素数さん
20/01/17 19:05:49.10 PpUpdAzp.net
>>870
>時枝記事と言ってるのは記事前半ね
>記事後半はトンデモだからw
記事前半は、The Riddleのmodification版の説明
つまり、箱の中身は定数とした場合の確率計算方法
しかし、記事後半で
「非可測だからダメとはいえない」とか
「無限個の確率変数の独立性に関する新たな考え方が必要」とか
いいだしたので
「ああ、時枝氏は、箱の中身が確率変数だとしても
”正当化”できると考えてるみたいだな」
とわかる
この件については
「無矛盾かもしれないが、ZFCからは逸脱している」
(つまり「新しい公理」が必要)
と考える
「トンデモ」とはいわないが、
本来のThe Riddleのmodification版を強化した主張
について述べてることをはっきり述べてないのが
残念ではある
1005:132人目の素数さん
20/01/17 19:07:32.60 PpUpdAzp.net
>>923
>うちは一人息子で、文系に行きました
息子は親父より賢いな
自分には数学の才能はないと悟って
全然別方向に進んだんだから
1006:132人目の素数さん
20/01/17 19:08:23.99 PpUpdAzp.net
ID:7sQx91K7
なんだこの●違い
焼かれて死ねよ ウジ虫
1007:132人目の素数さん
20/01/17 19:13:37.84 PpUpdAzp.net
サルルって誰だよ
俺はぱるるでもまゆゆでもねぇよw
>>920
>美少女相手だと大人しくなっちゃうタイプ
いまのイチオシはこのコ↓
URLリンク(www.youtube.com)
1008:132人目の素数さん
20/01/17 19:42:56.73 PpUpdAzp.net
f:2^N→∪2^n x→x-r(x)
2^N 2進無限小数
∪2^n 2進有限小数
r(x) xが属する同値類の代表元
fは非可測関数 (Vitaliの証明と同じ方法で示せる)
x-r(x)は2^nのいずれかに属する(nは自然数)
時枝戦略は
x1-r(x1),…・x100-r(x100)
の1つを選んで、その中の0である桁を見つける方法
0である桁は無限個ある
0でない桁は有限個ある
0である桁を見つけるほうがたやすい
むしろ0でない桁を見つけるほうが難しい
1009:132人目の素数さん
20/01/17 19:52:34.69 /nydTAbF.net
>>937
>「ああ、時枝氏は、箱の中身が確率変数だとしても
> ”正当化”できると考えてるみたいだな」
とわかる
たしかに数当てができると考えているように読めるね
けれどその結論について、時枝氏は正しいとも間違ってるとも言ってない
測度論に従えば認められないが、測度論以外の可能性を示唆するような含みを持たせている
これのどこがトンデモなの?って俺は思うけど
1010:132人目の素数さん
20/01/17 20:01:25.31 /nydTAbF.net
>>942の続き
>>463
>コレは正しいですね。
>しかしこの事実をもってしても時枝記事は正当化されてはいないという結考えに変わりはありません。
そういうわけで、>>463のような偏ったコメントを読むと「個人的に時枝氏に恨みでもあるの?」って思っちゃうねw
ちゃんと非可測であることを明記してるんだから、
「非可測だから時枝記事は正当化できない」ってしたり顔で主張されても困る
1011:132人目の素数さん
20/01/17 20:13:34.98 U+rsHn5n.net
ジムくん
>コレは正しいですね。
Pruss
>That's right.
間違いを認める時のセリフが同じで草
1012:132人目の素数さん
20/01/17 20:19:37.33 U+rsHn5n.net
>>881
突然イデアルとか言い出すのがいかにも「ボクちゃん数学用語知ってるよ」アピール臭ぷんぷんw
しかし環を持ち出す必然性ゼロw アホ丸出しw
1013:132人目の素数さん
20/01/17 20:35:55 U+rsHn5n.net
>>884
揚げ足取り乙
現代数学でZFは暗黙の前提だろ。教科書にだっていちいち「ZFを仮定する」なんて書いてないぞ?
確率の公理? 時枝解法の確率は初等確率。的外れ。
数学で勝てないからって揚げ足取りとは情けないw
1014:132人目の素数さん
20/01/17 20:44:16 U+rsHn5n.net
>>885
>1.「多項式環は冪級数環の中で部分環ではあってもイデアルじゃない」というフレーズは、おれには浮かばない
浮かばないんじゃなくイデアルが何か知らないと正直に言え
バカのくせにかっこつけんなよ みっともないから
1015:132人目の素数さん
20/01/17 21:10:45 U+rsHn5n.net
>>887
時枝記事が全く読めてないね
君の学力じゃ無理だから諦めな っぷ
1016:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/17 21:49:34.82 ahk+jOr6.net
>>942
ID:/nydTAbFさん、どうも。スレ主です。
>けれどその結論について、時枝氏は正しいとも間違ってるとも言ってない
>測度論に従えば認められないが、測度論以外の可能性を示唆するような含みを持たせている
>これのどこがトンデモなの?って俺は思うけど
「数学セミナーでさ、そういう訳の分からん記事書いちゃいなんよね、時枝先生」というのが私の意見
YesかNoか、あるいは問いかけから、「非可測の確率論が考えられる」とか
時枝先生、あなたの主張はなんですか? 何を言いたかったの?
「非可測の確率論」って、一体全体どこにある?
例えば、下記のように ド素人が迷走した
(参考)ガロアスレ28
スレリンク(math板:20番)
20 名前:132人目の素数さん[sage] 投稿日:2017/01/02(月) 23:08:24.51 ID:0caOih5s [11/13]
さきに>>19の最後の文にコメントします。
> それとも、非可測集合を扱うこと自体、通常の確率論ではないということでしょうか?
・非可測集合ではouter measureで議論する必要がある
・通常の確率的直感は役に立たない
というTaoのコメントを読んだことがあります。
私は外測度の確率論なるものには馴染みがなく、
この意味で通常の確率論ではないのかな?という印象です。
(引用終り)
これ、笑えます
これ(「外測度の確率論」)、真っ当な数学だというなら、
大学の教授に見て貰って、論文にしてくださいなw(^^
(出来ないに100ペソ (:p )
>>943
>「非可測だから時枝記事は正当化できない」ってしたり顔で主張されても困る
非可測だから時枝記事は正当化できるのか、はたまた出来ないのか?
「しっかり書かないといけないでしょ、時枝先生」というのが私の主張
そして、実際 正統化はできません
>>841に書いたように、現代数学の確率変数iidが反例です
反例のある定理は不成立です
QED
(^^
1017:132人目の素数さん
20/01/17 22:04:23.18 U+rsHn5n.net
>>949
反例になってません。
時枝定理の反例とは時枝解法を適用しても当てられない数列。
おまえ時枝解法以前に同値類も選択公理も分かってないんだからおまえに示せる訳ないじゃんw バカですか?w
1018:132人目の素数さん
20/01/17 22:05:34.45 U+rsHn5n.net
>>494
>現代数学の確率変数iid
ばかまるだしw
1019:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/17 22:06:38.29 ahk+jOr6.net
あほサル二匹の相手は、もう良いでしょう
適当にあしらいますよ
1020:132人目の素数さん
20/01/17 23:02:07 U+rsHn5n.net
適当にあしらうしかできないですよね?
あなたの学力では
っぷ
1021:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/18 00:23:41.09 jvo9z/Ks.net
>>936
>「ああ、こいつ、ヴィタリの非可測集合知らねぇ素人だな」
>と確信した
おサルは、健忘症だなw
おれは、ヴィタリの非可測は、何度も書いているよ
その1つの例が、下記 スレ62の949 2019/03/28(木)、これを忘れたんだろ?
あと、時枝(2015年11月号)の前、つまりおサルの来る前にも、スレ13 2015/04/29(水)でも扱っているぞw(^^
(参考)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む62
スレリンク(math板:949番)
949 自分:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日:2019/03/28(木) 07:31:55.79 ID:7L3ElMut [1/7]
URLリンク(ja.wikipedia.org)
ヴィタリ集合
(抜粋)
数学において、ヴィタリ集合(ヴィタリしゅうごう)とはジュゼッペ・ヴィタリ(英語版)(Giuseppe Vitali (1905))によって作られたルベーグ不可測な実数集合の基本的な例である。
ヴィタリの定理はそのような集合が存在することを保証する存在定理である。不可算に多くのヴィタリ集合が存在し、それらの存在は選択公理の仮定の下で示される。
ルベーグ測度は平行移動について不変なので λ (V_{k})=λ (V) である。ゆえに、
1 <= Σk=0~∞
1022:{λ (V)} <= 3 であるが、これは不可能である。 一つの定数の無限和は 0 であるか無限大に発散するので、いずれにせよ [1, 3] の中には入らない。 すなわち V は可測であってはいけない。 つまりルベーグ測度 λ はいかなる値も λ(V) の値として定義してはいけない。 つづく
1023:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/18 00:24:03.73 jvo9z/Ks.net
>>954
つづき
現代数学の系譜11 ガロア理論を読む13 [転載禁止](c)2ch.net
スレリンク(math板:227番)
227 自分返信:現代数学の系譜11 ガロア理論を読む[] 投稿日:2015/04/29(水) 14:32:23.84 ID:6XYDeD+q [14/25]
3)Non-measurable set
URLリンク(en.wikipedia.org)
スレリンク(math板:231番)
231 自分返信:現代数学の系譜11 ガロア理論を読む[] 投稿日:2015/04/29(水) 14:52:06.33 ID:6XYDeD+q [18/25]
>>230
en.wikipedia.org/wiki/Vitali_set 日本語があるね
URLリンク(ja.wikipedia.org)
抜粋
構成と証明
有理数集合 Q は実数集合 R の普通の加法についての部分群を成す。なので加法の商群 R/Q (つまり、有理数分の差を持つ実数同士を集めた同値類による剰余群) は有理数集合の互いに交わらない"平行移動コピー"によって出来ている。
この群の任意の元はある r ∈ R についての Q + r として書ける。
R/Q の元は R の分割の1ピースである。そのピースは不可算個あり、各ピースはそれぞれ R の中で稠密である。
R/Q の元はどれも [0, 1] と交わっており、選択公理によって [0, 1] の部分集合で、R/Q の代表系になっているものが取れる。
このようにして作られた集合がヴィタリ集合と呼ばれているものである。
(引用おわり)
以上
1024:132人目の素数さん
20/01/18 00:31:01.76 yBPfQQsI.net
>>954
>おサルは、健忘症だなw
>おれは、ヴィタリの非可測は、何度も書いているよ
>その1つの例が、下記 スレ62の949 2019/03/28(木)、これを忘れたんだろ?
あららw
このバカ自分で自演してるって言っちゃったよw
せめて自演くらい上手にやろうね っぷ
1025:132人目の素数さん
20/01/18 06:04:45 BpWVyRSZ.net
>>954
「ヴィタリの非可測集合知らねぇ素人」ってジムのことだよね
引用だけならサルでもできるので、理解したことにはならないよ
例えば、>>955の有理数Qを2進有限小数∪2^nに置き換えていいのは分かるかな?
1026:132人目の素数さん
20/01/18 06:32:45 BpWVyRSZ.net
>>949
>現代数学の確率変数iidが反例
反例にはなっていないね
数セミ記事の戦略は、箱の中身が確率変数だとしても
箱の中身を一切変えないのだから、確率分布に影響を与えない
ついでにいうと、もし
P(d(x1)>d(x2),d(x3),…,d(x100))
P(d(x2)>d(x1),d(x3),…,d(x100))
…
P(d(x100)>d(x1),d(x2),…,d(x99))
が全部1だとすると、矛盾する
というのは、事象
d(x1)>d(x2),d(x3),…,d(x100)
d(x2)>d(x1),d(x3),…,d(x100)
…
d(x100)>d(x1),d(x2),…,d(x99)
は互いに背反事象だから
1027:132人目の素数さん
20/01/18 06:44:21 BpWVyRSZ.net
>>944
Prussが、The RiddleについてThat's Rightといった理由は>>958の後半で述べた
Prussは
P(d(x1)>d(x2),d(x3),…,d(x100))
P(d(x2)>d(x1),d(x3),…,d(x100))
…
P(d(x100)>d(x1),d(x2),…,d(x99))
が等しい、と結論する対称性の前提が
そもそも非可測の場合には成立しないだろう
といっている
1028:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/18 07:06:28 jvo9z/Ks.net
>>953
>適当にあしらうしかできないですよね?
>あなたの学力では
あほサル相手なら、学力不要だろw
「あほサル、一人で踊ってろ!」の一言で済むww(^^;
1029:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/18 07:14:31 jvo9z/Ks.net
>>956
>このバカ自分で自演してるって言っちゃったよw
>>954のどこから自演という結論に至のかな?
”自演してる”という結論ありき。”自演してる”としないと、格好つかないんだ
∵ >>271のジムの数学徒(>>694)さんの書いた証明の中身には、何にも言えないんだねw(^^;
>>957
>例えば、>>955の有理数Qを2進有限小数∪2^nに置き換えていいのは分かるかな?
分からん。ヴィタリで、それだめ。 っぷw(^^;
1030:132人目の素数さん
20/01/18 08:23:55 BpWVyRSZ.net
>>961
>>例えば、>>955の有理数Qを2進有限小数∪2^nに置き換えていいのは分かるかな?
>分からん。ヴィタリで、それだめ。
なんで?
もしかして「イデアルじゃないから」とか?
それ、全然見当違い
∪2^nが加法群だからOK
有限小数に無限小数掛けたら有限小数にならないとか
そんなん、非可測集合の構成に全然関係ないから
証明読もうよ 考えようよ
数学学びたいんだよね?
1031:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/18 08:57:12 jvo9z/Ks.net
>>962
>なんで?
分からんの?w(^^;
1032:132人目の素数さん
20/01/18 09:09:29 BpWVyRSZ.net
>>963
>分からんの?
分からんの?正しいことが(^^
1033:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/18 09:10:57 jvo9z/Ks.net
>>964
>>955の有理数Qを2進有限小数∪2^nに置き換えていいのは分かるかな?
分からん。ヴィタリで、それだめ。
1034:132人目の素数さん
20/01/18 10:34:40.14 BpWVyRSZ.net
>>965
>>分からんの?正しいことが
>分からん。ヴィタリで、それだめ。
∪2^nは加法群 有限小数の和は有限小数
ヴィタリでは加法による平行移動のみ だからOK
∪2^nはQと違って体じゃないとか、
2^Nのイデアルじゃないとか全然見当違い
1035:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/18 10:47:47.63 jvo9z/Ks.net
>>966
>>955の有理数Qを2進有限小数∪2^nに置き換えていいのは分かるかな?
まだ、分からんの? ヴィタリで、それだめ。
1036:132人目の素数さん
20/01/18 11:06:53.68 kMaeZbXH.net
なりぷっ様はIUTの1部分とか
考えたりはされないんですか?
なりぷって長いですね。
Z様ってどうでしょう?
1037:132人目の素数さん
20/01/18 11:09:29.14 kMaeZbXH.net
Z様にもっち様と同じ
類推得意タイプの匂いがしてる
希ガスでーす
1038:132人目の素数さん
20/01/18 11:12:45.15 kMaeZbXH.net
>>966さんが、なりぷっ様なら、ですけども~。
1039:132人目の素数さん
20/01/18 11:14:05.81 BpWVyRSZ.net
>>有理数Qを2進有限小数∪2^nに置き換えていいのは分かるかな?
> ヴィタリで、それだめ。
「有理数集合 Q は実数集合 R の普通の加法についての部分群を成す。」
→有限小数集合Fは、実数集合Rの普通の加法についての部分群を成す。
「なので加法の商群 R/Q
(つまり、有理数分の差を持つ実数同士を集めた同値類による剰余群)
は有理数集合の互いに交わらない"平行移動コピー"によって出来ている。」
→なので加法の商群R/F (F=∪2^n)
(つまり、有限小数分の差を持つ実数同士を集めた同値類による剰余群)
は有限小数集合の互いに交わらない"平行移動コピー"によって出来ている。
「この群の任意の元はある r ∈ R についての Q + r として書ける。」
→この群の任意の元はあるr∈RについてのF+rとして書ける。
「R/Q の元は R の分割の1ピースである。
そのピースは不可算個あり、各ピースはそれぞれ R の中で稠密である。」
→R/F の元は R の分割の1ピースである。
そのピースは不可算個あり、各ピースはそれぞれ R の中で稠密である。
「R/Q の元はどれも [0, 1] と交わっており、
選択公理によって [0, 1] の部分集合で、
R/Q の代表系になっているものが取れる。」
→R/F の元はどれも [0, 1] と交わっており、
選択公理によって [0, 1] の部分集合で、
R/F の代表系になっているものが取れる。
まだ分からんの?正しいことが(^^
1040:古典数学の系譜 ベルヌーイ数を考える
20/01/18 11:18:44.91 BpWVyRSZ.net
>>968
>Z様ってどうでしょう?
ウザいw
1041:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/18 11:18:54.52 jvo9z/Ks.net
>>971
>>955の有理数Qを2進有限小数∪2^nに置き換えていいのは分かるかな?
まだ、分からんの? ヴィタリで、それだめ。
1042:古典数学の系譜 ベルヌーイ数を考える
20/01/18 11:21:28.41 BpWVyRSZ.net
読め 愚民どもw
Bernoulli numbers and the unity of mathematics
URLリンク(people.math.harvard.edu)
1043:132人目の素数さん
20/01/18 11:22:31.25 kMaeZbXH.net
>>972
HN長過ぎ
1044:132人目の素数さん
20/01/18 11:23:39.50 BpWVyRSZ.net
>>973
>ヴィタリで、それだめ。
「有限小数集合F(=∪2^n)は、実数集合Rの普通の加法についての部分群を成す。」
が分からんの?(^^
1045:132人目の素数さん
20/01/18 11:24:19.82 kMaeZbXH.net
じゃあ
❇ティンカー🌟ベル🔔ちゃんで。
1046:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/18 11:26:49.10 jvo9z/Ks.net
>>974
PDF紹介ありがとう
で
>>955の有理数Qを2進有限小数∪2^nに置き換えていいのは分かるかな?
まだ、分からんの? ヴィタリで、それだめ。
1047:132人目の素数さん
20/01/18 11:27:45.94 kMaeZbXH.net
なりぷっ=ベル ←これ合ってる?
1048:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/18 11:28:10.92 jvo9z/Ks.net
>>976
>>955の有理数Qを2進有限小数∪2^nに置き換えていいのは分かるかな?
まだ、分からんの? ヴィタリで、それだめ。
時枝が分からんのも道理か(^^
1049:132人目の素数さん
20/01/18 11:29:06.69 BpWVyRSZ.net
集合 G とその上の二項演算 μ: G × G → G の組 (G, μ) が群であるとは、
以下の3つの条件を満たすことをいう:
(結合法則)任意の G の元 g, h, k に対して、μ(g, μ(h, k)) = μ(μ(g, h), k) を満たす:
(単位元の存在)μ(g, e) = μ(e, g) = g を G のどんな元 g に対しても満たすような G の元 e が存在する:
(逆元の存在)G のどんな元 g に対しても、μ(g, x) = μ(x, g) = e となるような G の元 x が存在する:
有限小数全体の集合Fと、その上の加算+の場合
(結合法則) 満たす
(単位元の存在) 0∈F
(逆元の存在) x∈Fの場合、-x∈F
したがって、(F,+)は群
1050:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/18 11:29:21.51 jvo9z/Ks.net
>>980
一回 はまる と抜けられないんだね(^^
1051:ベルヌーイ数を考える
20/01/18 11:30:16.76 BpWVyRSZ.net
>>979
「ぷっ。」の人とは別人