[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む46 (692ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
99(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)18:18 ID:cTg/FCp5(81/94) AAS
>>92
>> １．x=0のときに、Bobのf(x)が分ってから、f(x)と有限個のみ違うg(x)を作る
>> ２．g(x)から、有限個のみ違うf’(x)を作る。これを代表とする
>
>f(x)が分かってから、ではありませんけど？
分かり易く、お話風に書いただけのことで、数学的には同じこと
つまり、それ全ての関数を、事前に同値類に、全て分類するということだが・・
Bobのf(x)が、どの同値類に属するかを判定するためには、Bobのf(x)について無限個（正確には連続無限）のf(x)の値を知る必要がある
それは、どの同値類に属するかを判定する前だろ
だったらさ、Bobのf(x)について無限個（正確には連続無限）のf(x)の値を知って、
それから知ったf(x)について、同値類g(x)たちを作って、代表f’(x)を決めれば数学的には全く同じことだよ！！（＾＾
100(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)18:19 ID:cTg/FCp5(82/94) AAS
>>98
そこに救いを求めるかね〜（＾＾
101(2): 2017/11/12(日)18:22 ID:YCWXE/2C(4/5) AAS
救いは求めてないｗ
みっともなさに呆れてるだけｗ
102(1): 2017/11/12(日)18:25 ID:bcdob+HV(3/4) AAS
>>101
ぷ
103(1): 2017/11/12(日)18:28 ID:YCWXE/2C(5/5) AAS
分かり易過ぎるｗ
見てるこっちが恥ずかしくなるｗ
104: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)19:05 ID:cTg/FCp5(83/94) AAS
>>103
そこに救いを求めるかね〜（＾＾
105: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)19:15 ID:cTg/FCp5(84/94) AAS
>>99 追記
重ねて書いておこう
１．「Bobのf(x)が、どの同値類に属するかを判定するためには、Bobのf(x)について無限個（正確には連続無限）のf(x)の値を知る必要がある
それは、どの同値類に属するかを判定する前」ってこと
２．この（上記１の）時間の前後は、絶対に変えられない！（＾＾
３．であれば、「事前に全部の関数を同値類に分類しておくこと」と、「事後的に知ったf(x)について、同値類g(x)たちを作って、代表f’(x)を決めること」と、
この二つは数学的には同値！！
４．なぜなら、どちらも、Bobのf(x)の公開された無限個（正確には連続無限）のf(x)の値を使っていて、そこがキモだからだよ（＾＾
106: 2017/11/12(日)19:24 ID:hePUuc7P(3/13) AAS
>>99
> だったらさ、Bobのf(x)について無限個（正確には連続無限）のf(x)の値を知って、
> それから知ったf(x)について、同値類g(x)たちを作って、代表f’(x)を決めれば数学的には全く同じことだよ！！（＾＾
x＝x0以外のf(x)を知ってから代表f'(x)を作ってから、f'(0)を数当ての答えにするわけ？ｗ
それで、君はf(0)＝f'(0)が自明だと思ってるの？f(0)≠f'(0)が自明だと思ってるの？
107(10): 2017/11/12(日)19:25 ID:hePUuc7P(4/13) AAS
すまん書き直し。
>>99
> だったらさ、Bobのf(x)について無限個（正確には連続無限）のf(x)の値を知って、
> それから知ったf(x)について、同値類g(x)たちを作って、代表f’(x)を決めれば数学的には全く同じことだよ！！（＾＾
x＝x0以外のf(x)を知った後、代表f'(x)を作ってから、f'(0)を数当ての答えにするわけ？ｗ
それで、君はf(0)＝f'(0)が自明だと思ってるの？f(0)≠f'(0)が自明だと思ってるの？
108(8): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)19:38 ID:cTg/FCp5(85/94) AAS
>>107
>x＝x0以外のf(x)を知った後、代表f'(x)を作ってから、f'(0)を数当ての答えにするわけ？ｗ
英文では、そう書いてある
なお、ピエロの>>84の発言も同じ趣旨だろうぜ（＾＾
>それで、君はf(0)＝f'(0)が自明だと思ってるの？f(0)≠f'(0)が自明だと思ってるの？
当然、確率としてf(0)≠f'(0)だが
どちらにせよ、そこの１点だけの話だから、>>87の積分値には影響しないぜ（＾＾
109(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)19:46 ID:cTg/FCp5(86/94) AAS
>>107
ところで、つまらん話だが
スレ44 2chｽﾚ:math
29 名前：１３２人目の素数さん[sage] 投稿日：2017/11/12(日) 17:42:33.20 ID:hePUuc7P
>>18
> ここでいいかな？
ダメです。下に回答されたし。
(引用終り)
と呼びに行ってくれた
で、
>>93 返信：１３２人目の素数さん[] 投稿日：2017/11/12(日) 17:48:53.87 ID:bcdob+HV [1/3]
>>69
どうもここにはあなたしか確率のことを理解できてる人はいないみたい
>>102 名前：１３２人目の素数さん[] 投稿日：2017/11/12(日) 18:25:41.86 ID:bcdob+HV [3/3]
>>101
ぷ
(引用終り)
という流れだ
だから、呼びかけたID:hePUuc7Pさんが、成りすましかどうか、一番分っているんじゃないかね？（＾＾
110(3): 2017/11/12(日)19:49 ID:hePUuc7P(5/13) AAS
>>109
> だから、呼びかけたID:hePUuc7Pさんが、成りすましかどうか、一番分っているんじゃないかね？（＾＾
率直に言って成りすましとは思わないが瓜二つ。
111: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)19:56 ID:cTg/FCp5(87/94) AAS
>>107 補足
下記のように、表現を改善したら、受け入れ易いかも（＾＾
＜表現改善前＞x＝x0以外のf(x)を知った後、代表f'(x)を作ってから、
↓
＜表現改善後＞x＝x0以外のf(x)を知った後、代表f'(x)が決ってから、
数学的には、「決まる」も「作る」も同じこと
要するに、Bobのf(x)と有限個しか違わない代表f’(x)を得ることができるという結果は、同じだ
112(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)19:58 ID:cTg/FCp5(88/94) AAS
>>110
正しいことを言っているからだろ（＾＾
真理は一つだからね
113(2): 2017/11/12(日)19:58 ID:hePUuc7P(6/13) AAS
>>108
> 英文では、そう書いてある
書いてませんｗ
The strategy is as follows: Let 〜 be the equivalence relation on functions from R to R defined by f〜g
iff for all but finitely many y, f(y) = g(y). Using the axiom of choice, pick a representative from each equivalence class.
※まず同値関係を定義し、各同値類の代表元をpickする。
（つまりこの時点で代表元は選ばれています）
In Step 2, choose x with uniform probability from [0,1].
※Step2で数当てを行うx∈[0,1]が選ばれる
> When, in step 3, Bob reveals {(x_0, f(x_0))｜x_0≠x}, you know what equivalence class f is in, because you know its values at all but one point.
> Let g be the representative of that equivalence class that you picked ahead of time.
※Step3でx以外の全ての点x_0におけるf(x_0)が開示される。
事 前 に 選 ん で お い た 代表元をgとする。
> Now, in step 4, guess that f(x) is equal to g(x).
※Step４でf(x)＝g(x)と予想する
正しい順番が分かりましたか？
>>108
> >>107
> >x＝x0以外のf(x)を知った後、代表f'(x)を作ってから、f'(0)を数当ての答えにするわけ？ｗ
>
> 英文では、そう書いてある
『英文ではそう書いてある』は真っ赤な嘘。
問題を読めてないことが明らかです。
114: 2017/11/12(日)20:27 ID:bcdob+HV(4/4) AAS
>>110
分からないスレで自作自演するよりは違いは大きいと思うよ
115(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)20:34 ID:cTg/FCp5(89/94) AAS
>>113
"choose x with uniform probability from [0,1]."だから
（ルベーグの意味で）積分できる
積分できるから、（>>64 >>57より）
「fと上記区間内の測度0の集合上のxで値が異なるだけのg」が意味を持つ
具体的には、>>87に書いたように、
１）Δf ＝ f(x)−f'(x) の関連で、Bobのf(x)と代表f'(x)とが一致するとき（当りのとき）は値１、不一致のとき（当らないとき）は値０、となる関数Δ’fを考える
２）関数Δ’fを、ルベーグの意味で、ｘについて区間[ 0,1 ]で積分する
３）不一致が、上記区間内の測度0ゆえ、積分値は１
ってこと。積分値が１ってことが、確率１（測度論による確率）ってこと（下記引用>>57に同じ）
前スレ828で「uniform probabilityの意味は？」と聞いたのは、そういう意図だよ
数学的な意味は、それで終り（英文法の問題ではない）！！（＾＾
＜参考＞
>>57
→fと上記区間内の測度0の集合上のxで値が異なるだけのgを
fと同値とする同値関係を定義し同値類の代表元f'をとれば、
x∈Sについてf(x)=f'(x)となる確率は1 （区間[0,1]上の測度で考える)
(引用終り)
116(2): 2017/11/12(日)20:44 ID:hePUuc7P(7/13) AAS
>>115
一様分布の測度を今になっておさらいしなくてもいいと思うんですが。
自分のためのメモですか？
貴方は>>108で誤読を犯したわけですが、
>>115はそれを指摘した>>113へのレスになってるんですか？
順番を間違えていたことは認めるんですか？認めないんですか？
まず認めましょうよ。読み間違っていたことは。
117(1): 2017/11/12(日)20:47 ID:hePUuc7P(8/13) AAS
>>108
> 当然、確率としてf(0)≠f'(0)だが
> どちらにせよ、そこの１点だけの話だから、>>87の積分値には影響しないぜ（＾＾
何が言いたいのかはっきりしてくれませんか？
[1]
代表元は元の問題通り、Step1で事前に作っておくんですか？
それとも>>108の『英文に書いてある』ように、Step3でf(x)を知ってからf'(x)を作るんですか？
>>108
> >>107
> >x＝x0以外のf(x)を知った後、代表f'(x)を作ってから、f'(0)を数当ての答えにするわけ？ｗ
>
> 英文では、そう書いてある
[2]
数当ては確率0で成功するんですか？確率1で成功するんですか？
どちらと考えているのですか？
118: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)21:06 ID:cTg/FCp5(90/94) AAS
>>116
誤読を犯したわけではなく、あえて数学的に等価な別の手順を示しただけのこと
119(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)21:06 ID:cTg/FCp5(91/94) AAS
>>117
それは、>>115を読めば分ることだろ？
数学的意味はそれで終りだ。
あとは、それを自然言語でかみ砕いて説明しているだけ
自然言語でかみ砕いた説明と、>>115を併読せよ
120(1): 2017/11/12(日)21:15 ID:hePUuc7P(9/13) AAS
>>119
きちんと答えてくださいよ
>>108
> 当然、確率としてf(0)≠f'(0)だが
> どちらにせよ、そこの１点だけの話だから、>>87の積分値には影響しないぜ（＾＾
何が言いたいのかはっきりしてくれませんか？
[1]
代表元は元の問題通り、Step1で事前に作っておくんですか？
それとも>>108の『英文に書いてある』ように、Step3でf(x)を知ってからf'(x)を作るんですか？
>>108
> >>107
> >x＝x0以外のf(x)を知った後、代表f'(x)を作ってから、f'(0)を数当ての答えにするわけ？ｗ
>
> 英文では、そう書いてある
[2]
数当ては確率0で成功するんですか？確率1で成功するんですか？
どちらと考えているのですか？
121(1): 2017/11/12(日)21:49 ID:GGaVEi9w(1/4) AAS
>>74
>全事象Ω＝{1}、P(1)＝1という自明な確率空間を取ることが出来る。
>すなわちこの問題ではxは確率変数とみなせる。
ぷ
アホだな
122(1): 2017/11/12(日)21:51 ID:hePUuc7P(10/13) AAS
>>121
ぷ君 はしょっちゅうIDを変えるんだなｗ
123(1): 2017/11/12(日)21:57 ID:hePUuc7P(11/13) AAS
IDをコロコロ変えるぷ君へ（ID:GGaVEi9w＝ID:bcdob+HV）
再度言いますが、ぷ君の回答>>94は不正解ですｗ
>>95
> >>94
> > 全く意味がないことばかり書くのね
> > 別にx0が毎回変わってもいいよ
> > f(x0)以外が開示されているということが重要
> > x0が毎回変わろうが変わるまいがf(x0)＝g(x0)になる確率は0
>
> 予想どおりの回答をありがとう。不正解ですｗ
> なんで不正解か分かりますか？
>
> >>74 >>78
> > ［確認問題］
> > 前スレのぷ君の『x＝0戦略』を考える。
> > 全事象Ω＝{0}、P(0)＝1という自明な確率空間を取ることが出来る。
> > すなわちこの問題ではxは確率変数とみなせる。
> > fもgも任意であり、事前に与えられているとする。
> > このときf(0）＝g(0)となる確率は？
124(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)22:12 ID:cTg/FCp5(92/94) AA×
>>119>>61>>115
125(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)22:16 ID:cTg/FCp5(93/94) AAS
>>120
上記>>119の補足に注意して、もう一度>>115を読んでみな
（>>116）"一様分布の測度を今になっておさらいしなくてもいいと思うんですが。自分のためのメモですか？"
と、違う風景が見えるだろう（＾＾
＜参考＞
(>>61より)
簡単な話で、”choose x in Step 2 with uniform probability from [ 0,1 ]”だから、 Gameを、[ 0,1 ]の0から初めて1に達するまで、続ける
x=0のときに、Bobのf(x)が分って、同値類が分って、代表f'(x)が決まる。あとを続ければ、Δf ＝ f(x)−f'(x) は、”定義の通り” [ 0,1 ]では有限個しか不一致がないんだ
それだけのこと。つまり、x=0のときに、代表f'(x)が決まるから、あとはどこで有限個が外れるか、その時点で全て分るわけさ！！ （＾＾
これだと、関数の数当てとしては、完全にトリビアで、数学的に無価値だろ？ （＾＾
(引用終り)
126: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)22:21 ID:cTg/FCp5(94/94) AAS
>>125 訂正
上記>>119の補足に注意して
↓
上記>>125の補足に注意して
127(1): 2017/11/12(日)22:22 ID:hePUuc7P(12/13) AAS
>>124-125
すみませんが質問にスパっと答えてもらえませんか？
[1]
代表元は元の問題通り、Step1で事前に作っておくんですか？
それとも>>108の『英文に書いてある』ように、Step3でf(x)を知ってからf'(x)を作るんですか？
>>108
> >>107
> >x＝x0以外のf(x)を知った後、代表f'(x)を作ってから、f'(0)を数当ての答えにするわけ？ｗ
>
> 英文では、そう書いてある
[2]
数当ては確率0で成功するんですか？確率1で成功するんですか？
どちらと考えているのですか？
128(2): 2017/11/12(日)22:24 ID:hePUuc7P(13/13) AAS
[1]も[2]も前者か後者の二択です。
選択式に文章で答えないでください。
院試ならバツですよ（笑）
上下前次1-新書関写板覧索設栞歴
あと 564 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.053s