20/01/17 19:52:34.69 /nydTAbF.net
>>937
>「ああ、時枝氏は、箱の中身が確率変数だとしても
> ”正当化”できると考えてるみたいだな」
とわかる
たしかに数当てができると考えているように読めるね
けれどその結論について、時枝氏は正しいとも間違ってるとも言ってない
測度論に従えば認められないが、測度論以外の可能性を示唆するような含みを持たせている
これのどこがトンデモなの?って俺は思うけど
1022:132人目の素数さん
20/01/17 20:01:25.31 /nydTAbF.net
>>942の続き
>>463
>コレは正しいですね。
>しかしこの事実をもってしても時枝記事は正当化されてはいないという結考えに変わりはありません。
そういうわけで、>>463のような偏ったコメントを読むと「個人的に時枝氏に恨みでもあるの?」って思っちゃうねw
ちゃんと非可測であることを明記してるんだから、
「非可測だから時枝記事は正当化できない」ってしたり顔で主張されても困る
1023:132人目の素数さん
20/01/17 20:13:34.98 U+rsHn5n.net
ジムくん
>コレは正しいですね。
Pruss
>That's right.
間違いを認める時のセリフが同じで草
1024:132人目の素数さん
20/01/17 20:19:37.33 U+rsHn5n.net
>>881
突然イデアルとか言い出すのが
1025:いかにも「ボクちゃん数学用語知ってるよ」アピール臭ぷんぷんw しかし環を持ち出す必然性ゼロw アホ丸出しw
1026:132人目の素数さん
20/01/17 20:35:55 U+rsHn5n.net
>>884
揚げ足取り乙
現代数学でZFは暗黙の前提だろ。教科書にだっていちいち「ZFを仮定する」なんて書いてないぞ?
確率の公理? 時枝解法の確率は初等確率。的外れ。
数学で勝てないからって揚げ足取りとは情けないw
1027:132人目の素数さん
20/01/17 20:44:16 U+rsHn5n.net
>>885
>1.「多項式環は冪級数環の中で部分環ではあってもイデアルじゃない」というフレーズは、おれには浮かばない
浮かばないんじゃなくイデアルが何か知らないと正直に言え
バカのくせにかっこつけんなよ みっともないから
1028:132人目の素数さん
20/01/17 21:10:45 U+rsHn5n.net
>>887
時枝記事が全く読めてないね
君の学力じゃ無理だから諦めな っぷ
1029:現代数学の系譜 雑談 古典ガロア理論も読む
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
(^^
1030:132人目の素数さん
20/01/17 22:04:23.18 U+rsHn5n.net
>>949
反例になってません。
時枝定理の反例とは時枝解法を適用しても当てられない数列。
おまえ時枝解法以前に同値類も選択公理も分かってないんだからおまえに示せる訳ないじゃんw バカですか?w
1031:132人目の素数さん
20/01/17 22:05:34.45 U+rsHn5n.net
>>494
>現代数学の確率変数iid
ばかまるだしw
1032:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/17 22:06:38.29 ahk+jOr6.net
あほサル二匹の相手は、もう良いでしょう
適当にあしらいますよ
1033:132人目の素数さん
20/01/17 23:02:07 U+rsHn5n.net
適当にあしらうしかできないですよね?
あなたの学力では
っぷ
1034:現代数学の系譜 雑談 古典ガロア理論も読む
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
1035:[sage] 投稿日:2019/03/28(木) 07:31:55.79 ID:7L3ElMut [1/7] https://ja.wikipedia.org/wiki/%E3%83%B4%E3%82%A3%E3%82%BF%E3%83%AA%E9%9B%86%E5%90%88 ヴィタリ集合 (抜粋) 数学において、ヴィタリ集合(ヴィタリしゅうごう)とはジュゼッペ・ヴィタリ(英語版)(Giuseppe Vitali (1905))によって作られたルベーグ不可測な実数集合の基本的な例である。 ヴィタリの定理はそのような集合が存在することを保証する存在定理である。不可算に多くのヴィタリ集合が存在し、それらの存在は選択公理の仮定の下で示される。 ルベーグ測度は平行移動について不変なので λ (V_{k})=λ (V) である。ゆえに、 1 <= Σk=0~∞{λ (V)} <= 3 であるが、これは不可能である。 一つの定数の無限和は 0 であるか無限大に発散するので、いずれにせよ [1, 3] の中には入らない。 すなわち V は可測であってはいけない。 つまりルベーグ測度 λ はいかなる値も λ(V) の値として定義してはいけない。 つづく
1036:現代数学の系譜 雑談 古典ガロア理論も読む
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 の代表系になっているものが取れる。
このようにして作られた集合がヴィタリ集合と呼ばれているものである。
(引用おわり)
以上
1037:132人目の素数さん
20/01/18 00:31:01.76 yBPfQQsI.net
>>954
>おサルは、健忘症だなw
>おれは、ヴィタリの非可測は、何度も書いているよ
>その1つの例が、下記 スレ62の949 2019/03/28(木)、これを忘れたんだろ?
あららw
このバカ自分で自演してるって言っちゃったよw
せめて自演くらい上手にやろうね っぷ
1038:132人目の素数さん
20/01/18 06:04:45 BpWVyRSZ.net
>>954
「ヴィタリの非可測集合知らねぇ素人」ってジムのことだよね
引用だけならサルでもできるので、理解したことにはならないよ
例えば、>>955の有理数Qを2進有限小数∪2^nに置き換えていいのは分かるかな?
1039: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)
は互いに背反事象だから
1040: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))
が等しい、と結論する対称性の前提が
そもそも非可測の場合には成立しないだろう
といっている
1041:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/18 07:06:28
1042:jvo9z/Ks.net
1043:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/18 07:14:31 jvo9z/Ks.net
>>956
>このバカ自分で自演してるって言っちゃったよw
>>954のどこから自演という結論に至のかな?
”自演してる”という結論ありき。”自演してる”としないと、格好つかないんだ
∵ >>271のジムの数学徒(>>694)さんの書いた証明の中身には、何にも言えないんだねw(^^;
>>957
>例えば、>>955の有理数Qを2進有限小数∪2^nに置き換えていいのは分かるかな?
分からん。ヴィタリで、それだめ。 っぷw(^^;
1044:132人目の素数さん
20/01/18 08:23:55 BpWVyRSZ.net
>>961
>>例えば、>>955の有理数Qを2進有限小数∪2^nに置き換えていいのは分かるかな?
>分からん。ヴィタリで、それだめ。
なんで?
もしかして「イデアルじゃないから」とか?
それ、全然見当違い
∪2^nが加法群だからOK
有限小数に無限小数掛けたら有限小数にならないとか
そんなん、非可測集合の構成に全然関係ないから
証明読もうよ 考えようよ
数学学びたいんだよね?
1045:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/18 08:57:12 jvo9z/Ks.net
>>962
>なんで?
分からんの?w(^^;
1046:132人目の素数さん
20/01/18 09:09:29 BpWVyRSZ.net
>>963
>分からんの?
分からんの?正しいことが(^^
1047:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/18 09:10:57 jvo9z/Ks.net
>>964
>>955の有理数Qを2進有限小数∪2^nに置き換えていいのは分かるかな?
分からん。ヴィタリで、それだめ。
1048:132人目の素数さん
20/01/18 10:34:40.14 BpWVyRSZ.net
>>965
>>分からんの?正しいことが
>分からん。ヴィタリで、それだめ。
∪2^nは加法群 有限小数の和は有限小数
ヴィタリでは加法による平行移動のみ だからOK
∪2^nはQと違って体じゃないとか、
2^Nのイデアルじゃないとか全然見当違い
1049:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/18 10:47:47.63 jvo9z/Ks.net
>>966
>>955の有理数Qを2進有限小数∪2^nに置き換えていいのは分かるかな?
まだ、分からんの? ヴィタリで、それだめ。
1050:132人目の素数さん
20/01/18 11:06:53.68 kMaeZbXH.net
なりぷっ様はIUTの1部分とか
考えたりはされないんですか?
なりぷって長いですね。
Z様ってどうでしょう?
1051:132人目の素数さん
20/01/18 11:09:29.14 kMaeZbXH.net
Z様にもっち様と同じ
類推得意タイプの匂いがしてる
希ガスでーす
1052:132人目の素数さん
20/01/18 11:12:45.15 kMaeZbXH.net
>>966さんが、なりぷっ様なら、ですけども~。
1053: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 の代表系になっているものが取れる。
まだ分からんの?正しいことが(^^
1054:古典数学の系譜 ベルヌーイ数を考える
20/01/18 11:18:44.91 BpWVyRSZ.net
>>968
>Z様ってどうでしょう?
ウザいw
1055:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/18 11:18:54.52 jvo9z/Ks.net
>>971
>>955の有理数Qを2進有限小数∪2^nに置き換えていいのは分かるかな?
まだ、分からんの? ヴィタリで、それだめ。
1056:古典数学の系譜 ベルヌーイ数を考える
20/01/18 11:21:28.41 BpWVyRSZ.net
読め 愚民どもw
Bernoulli numbers and the unity of mathematics
URLリンク(people.math.harvard.edu)
1057:132人目の素数さん
20/01/18 11:22:31.25 kMaeZbXH.net
>>972
HN長過ぎ
1058:132人目の素数さん
20/01/18 11:23:39.50 BpWVyRSZ.net
>>973
>ヴィタリで、それだめ。
「有限小数集合F(=∪2^n)は、実数集合Rの普通の加法についての部分群を成す。」
が分からんの?(^^
1059:132人目の素数さん
20/01/18 11:24:19.82 kMaeZbXH.net
じゃあ
❇ティンカー🌟ベル🔔ちゃんで。
1060:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/18 11:26:49.10 jvo9z/Ks.net
>>974
PDF紹介ありがとう
で
>>955の有理数Qを2進有限小数∪2^nに置き換えていいのは分かるかな?
まだ、分からんの? ヴィタリで、それだめ。
1061:132人目の素数さん
20/01/18 11:27:45.94 kMaeZbXH.net
なりぷっ=ベル ←これ合ってる?
1062:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/18 11:28:10.92 jvo9z/Ks.net
>>976
>>955の有理数Qを2進有限小数∪2^nに置き換えていいのは分かるかな?
まだ、分からんの? ヴィタリで、それだめ。
時枝が分からんのも道理か(^^
1063: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) を満たす:
(単
1064:位元の存在)μ(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,+)は群
1065:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/18 11:29:21.51 jvo9z/Ks.net
>>980
一回 はまる と抜けられないんだね(^^
1066:ベルヌーイ数を考える
20/01/18 11:30:16.76 BpWVyRSZ.net
>>979
「ぷっ。」の人とは別人
1067:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/18 11:30:28.03 jvo9z/Ks.net
>>981
>>955の有理数Qを2進有限小数∪2^nに置き換えていいのは分かるかな?
まだ、分からんの? ヴィタリで、それだめ。
1068:132人目の素数さん
20/01/18 11:31:35.81 BpWVyRSZ.net
>>982
>>981を読もうね
あっ、日本語読めないのか?w
1069:ベルヌーイ数を考える
20/01/18 11:37:46.96 BpWVyRSZ.net
ベルヌーイ数
分子 微分トポロジー
分母 ホモトピー論
内容空疎な抽象論より内容豊富な具体物
1070:132人目の素数さん
20/01/18 11:49:24.67 kMaeZbXH.net
>>983
こわ... ピュッ!買ーΞ≡|
1071:132人目の素数さん
20/01/18 11:51:44.19 kMaeZbXH.net
(((`_|
1072:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/18 11:51:45.65 jvo9z/Ks.net
>>985
>>955の有理数Qを2進有限小数∪2^nに置き換えていいのは分かるかな?
まだ、分からんの? ヴィタリで、それだめ。
一回 はまる と抜けられないんだね(^^
1073:132人目の素数さん
20/01/18 11:52:47.93 kMaeZbXH.net
>>987
文字化け...ベルッピの呪いか...
やるな...
1074:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/18 11:53:09.04 jvo9z/Ks.net
>>989
新スレ
現代数学の系譜 工学物理雑談 古典ガロア理論も読む81
スレリンク(math板)
新スレでも、繰り返しかね~w(^^
一回 はまる と抜けられないんだね~(^^
1075:132人目の素数さん
20/01/18 11:54:12.03 BpWVyRSZ.net
>>989
まず群の定義を読もう
そして有限小数の集合が3条件を満たすことを確認しよう
君、地道な努力をしないから
いつまでたっても初歩で躓くんだよ
1076:132人目の素数さん
20/01/18 11:55:38.76 BpWVyRSZ.net
>>991
>新スレでも、繰り返しかね~
つまらないのでやめとく
君、延々と無意味な駄々こねてて楽しいかい?(^^
1077:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/18 11:56:33.65 jvo9z/Ks.net
>>979
>なりぷっ=ベル ←これ合ってる?
どうも。スレ主です。
元祖「ぷふ」さんのご紹介を書いておきました
下記ご参照
現代数学の系譜 工学物理雑談 古典ガロア理論も読む81
スレリンク(math板:4番)
1078:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/18 12:03:53.91 jvo9z/Ks.net
>>992-993
>>955の有理数Qを2進有限小数∪2^nに置き換えていいのは分かるかな?
まだ、分からんの? ヴィタリで、それだめ。
一回 はまる と抜けられないんだね(^^
>>新スレでも、繰り返しかね~
>つまらないのでやめとく
じゃ、そのうち、新スレに謎解きを書いてやるよ
自称、数学科修士修了さんっよ(>>2)
これ、自得できないなら、おサルの証明になるよ
1079:古典数学の系譜 ベルヌーイ数を考える
20/01/18 12:04:04.24 BpWVyRSZ.net
>てへぺろ☆(・ω<)さん
>この人、ほんとはレベル高いみたい
素人の君に褒められてもな
一応、某有名大学数学科卒だからな
工学部卒の素人よりレベルが高くて当然
1080:132人目の素数さん
20/01/18 12:06:09.03 BpWVyRSZ.net
>>995
>じゃ、そのうち、新スレに謎解きを書いてやるよ
どうぞ 君が恥かくだけだよ
1081:132人目の素数さん
20/01/18 12:06:49.87 kMaeZbXH.net
>>996
↑さっきのベルルっち?
1082:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/18 12:07:03.05 jvo9z/Ks.net
>>996
おつ
>>995な
もうすぐ、おサルの証明が完成するよ
急げ~w
1083:132人目の素数さん
20/01/18 12:07:43.86 kMaeZbXH.net
てへぺろ氏=ベルルっち ???
1084:1001
Over 1000 Thread.net
このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 14日 4時間 30分 52秒
1085:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています