現代数学の系譜 古典ガロア理論を読む36at MATH
現代数学の系譜 古典ガロア理論を読む36 - 暇つぶし2ch632:132人目の素数さん
17/07/30 10:46:01.28 /7IMQE4V.net
「列毎の決定番号の分布」などというものは定義されてないと思いますが
違うとおっしゃるなら、先ずはその定義を書いて下さい

633:132人目の素数さん
17/07/30 11:14:12.11 B7ND26hG.net
>>557
色々な知識を次から次とご披露しているようだが、
必ずしも研究と知識との間に関連性があるとは限らない。
まあ、マトモな研究が出来なそうな人であることは把握出来た。

634:132人目の素数さん
17/07/30 11:23:01.28 j1PATNPx.net
>>560は測度に拘るなと言いながら自分の言う「確率」を定義できなかった男
>>560の言い分ではこの問題は正当化されない
なにしろ定義すらできないんだからな

635:132人目の素数さん
17/07/30 11:28:10.08 j1PATNPx.net
この問題が誰の目にも明らかに成立するのは、
r∈R^Nが固定され、かつ選ぶ1列をランダムに選択したとき
rが確率的に変化するときや、r∈R^Nを固定した場合でも選ぶ列iを固定してしまった場合は、確率99/100は導けない

>>560>>1は共に間違えているので、議論が決着を見ることは絶対にない(笑)

636:132人目の素数さん
17/07/30 11:32:52.50 j1PATNPx.net
> >>560>>1は共に間違えているので、議論が決着を見ることは絶対にない(笑)

と言ったが、もちろん>>560がきちんと自身の“確率”を定義できるなら間違いではない
定義できないなら何を言っても空論

測度論に拘らないお前の気概は伝わった(笑)
気概はもういいからコピペでも何でも良いので定義を書け

637:132人目の素数さん
17/07/30 12:09:00.94 uhoPYoXV.net
おっちゃんが数学を分かってないのは
過去スレで


638:さんざん露呈しているので、 今さら「数学を分かってない根拠」を提示する必要もない。 お前みたいなのが研究とか笑わせんなよ。 何か新しい結果があるならさっさと論文にしてみろよ。 研究をチラつかせて>>562みたいな反論をしてみても、 論文の1つくらい既に出版されてないと負け犬の遠吠えだぞ。 で、こいつがやってきた研究とやらは、 「私の計算によれば、かの有名な〇〇の定理は間違っている」 という明らかなトンデモか(もちろん おっちゃんの計算ミスである)、 もしくは既に知られている有名な定理の自明な適用によるお遊びにすぎない。 それ以外の、おっちゃんがずっとチラつかせつつも 一向に具体的な中身を書き込まない「新しい結果」と思しき内容は、 何カ月か経つと「やっぱり間違っていた」とおっちゃん本人が撤回し、 さらに数カ月たつと「やっぱりできた」とチラつかせる、の無限ループ。 また、研究(笑)とは関係のない数学の雑談でも、おっちゃんは極めて高い確率で「間違える」。 要するに、研究(笑)とか雑談とかに関わらず、おっちゃんは極めて高い確率で「数学を間違える」。 誰の目から見てもおっちゃんは数学を全く分かってない。 この有様で本人は数学をしているつもりになっているのだから全く笑えない。



639:132人目の素数さん
17/07/30 12:23:19.80 x0k9SnDQ.net
>>558
>列ごとの決定番号の分布は、同値類と代表元の定理から明らか
何がどう明らかなの? 出題者の数列の選び方に依るだろ

>どの列の分布も同じになる
出題者がずっと同じ数列を出題したとしたら、各列の決定番号の確率分布は、ある自然数で1、その他で0になる
それら全部が同じになる?

640:132人目の素数さん
17/07/30 13:18:14.44 Me5q97PH.net
>>567
>出題者の数列の選び方に依るだろ

こんな馬鹿なこといってる時点で確率を誤解している

>出題者がずっと同じ数列を出題したとしたら

独立性に反する

問題の文章が読めない馬鹿か

641:132人目の素数さん
17/07/30 13:30:08.68 /7IMQE4V.net
>>568
>箱がたくさん,可算無限個ある.箱それぞれに,私が実数を入れる. どんな実数を入れるかはまったく自由
毎回同じ実数列を出題してもよい、自由なんだから、わかる?

>独立性に反する
毎回ランダムにしろ、などとはどこにも書かれてない

642:132人目の素数さん
17/07/30 13:31:29.85 B7ND26hG.net
>>566
>何か新しい結果があるならさっさと論文にしてみろよ。
坊や、まだ書かないだけだよw

>で、こいつがやってきた研究とやらは、
>
>「私の計算によれば、かの有名な〇〇の定理は間違っている」
>
>という明らかなトンデモか(もちろん おっちゃんの計算ミスである)、
>もしくは既に知られている有名な定理の自明な適用によるお遊びにすぎない。
それがどうやら違うようなんだよな~。
結果にはそれなりの意義があるようなんだよな~。

643:132人目の素数さん
17/07/30 13:33:46.59 Me5q97PH.net
>>563
「箱入り無数目」記事の確率を出すだけなら
n個の要素の順列(有限個!)中、
選択したi番目に最大値の要素が入らないもの
の割合を計算すればいい それが(n-1)/n

小学生レベルの話
ID:j1PATNPxは小学校で算数習わなかったか?

>>564
まずr∈R^Nを固定した場合で選ぶ列iを固定した場合は
同じ値しかでない アホウでも分かる

次にr∈R^Nが固定され、かつ選ぶ1列をランダムに選択したときは
確かに99/100が出る これまたアホウでも分かる

最後にrが確率的に変化するときは99/100でないといってるがこれは誤り
ID:j1PATNPxにはこのことがどうしても理解できないらしい

>>565
すでに小学校の算数で習う方法を書いてやった
これが理解できないなら算数が理解できないということ
>>1やおっちゃんと同レベルだな idiot三兄弟か?w

644:132人目の素数さん
17/07/30 13:35:10.00 Me5q97PH.net
>>569
>毎回ランダムにしろ、などとはどこにも書かれてない

独立性の意味を知らんとか正真正銘のidiotだな
「毎回ランダム」って意味だぞ 知らんのか?idiot

645:132人目の素数さん
17/07/30 13:37:06.70 /7IMQE4V.net
これは数当てゲームなんだぜ?出題者だって勝ちたいだろw
あんたはジャンケンするとき相手に「毎回同じ手は出すな」などと要求するのか?w

646:132人目の素数さん
17/07/30 13:37:17.47 Me5q97PH.net
>>570
おっちゃんも>>1同様の誇大妄想家らしい
2chはこういう人は珍しくない
誇大妄想家は社会の負け犬と相場が決まっている

647:132人目の素数さん
17/07/30 13:40:26.47 Me5q97PH.net
>>573
>これは数当てゲームなんだぜ?
「独立性」を設定しているので、
その設定に反したら負けですよ

>あんたはジャンケンするとき
>相手に「毎回同じ手は出すな」
>などと要求するのか?

余談だがジャンケンの手が独立性を有してないことは統計的に検定可能
そういう根本的なこともご存じないとはやはり数学教育を受けてないidiotだな

648:132人目の素数さん
17/07/30 13:42:29.70 /7IMQE4V.net
>>572
>独立性の意味を知らんとか正真正銘のidiotだな
>「毎回ランダム」って意味だぞ 知らんのか?idiot
落ち付けよw
「毎回ランダム」でも「独立」でもいいから、記事上の書かれてる箇所を引用してくれ
俺が
>箱がたくさん,可算無限個ある.箱それぞれに,私が実数を入れる. どんな実数を入れるかはまったく自由
と引用したように

649:132人目の素数さん
17/07/30 13:42:32.59 B7ND26hG.net
>>574
まあ、後で間違いを書いていたと認識することになるのはあなたであろう。

650:132人目の素数さん
17/07/30 13:44:19.06 Me5q97PH.net
>>577
悔しいのはわかるが皆が社会の勝者になれるわけではない

651:132人目の素数さん
17/07/30 13:44:49.25 B7ND26hG.net
>>574
数学教育に熱心な人か?

652:132人目の素数さん
17/07/30 13:44:50.44 x0k9SnDQ.net
>>567
>こんな馬鹿なこといってる時点で確率を誤解している
反論できないのか?

分布の背後には確率空間がある
おまえは、いったいどういう確率空間を考えているんだ?

>独立性に反する
どういうものたちが独立であるとするのか、ちゃんと書いてくれないか
そして、「出題者がずっと同じ数列を出題したとしたら」、独立でないという証明も

653:132人目の素数さん
17/07/30 13:45:36.21 x0k9SnDQ.net
×>>567
>>568

654:132人目の素数さん
17/07/30 13:48:38.78 B7ND26hG.net
>>578
社会の勝者とかいっているが、地位やカネ、社会的名誉などだけが幸せの要素ではない。
これらで買えない幸せというモノもある。

655:132人目の素数さん
17/07/30 13:51:21.09 Me5q97PH.net
>>576
法学部出身か?
数学に興味ないならここに来るなw

656:132人目の素数さん
17/07/30 13:52:30.44 x0k9SnDQ.net
>>572
>「毎回ランダム」って意味だぞ 知らんのか?
毎回確率1で同じ数列が選ばれているよ

657:132人目の素数さん
17/07/30 13:55:58.81 Me5q97PH.net
>>580
法学部出身か?
数学に興味ないならここに来るなw

658:132人目の素数さん
17/07/30 13:57:39.95 Me5q97PH.net
>>584
法学部出身か?
数学に興味ないならここに来るなw

659:132人目の素数さん
17/07/30 13:58:30.28 Me5q97PH.net
自分一匹の勝利しか目指さない法学馬鹿は人類全体の敵

660:132人目の素数さん
17/07/30 14:00:01.87 Me5q97PH.net
数学的に意味のある問いを考える意欲がなく
「数学的に意味がないが答えが自明な問い」に
無理矢理捻じ曲げたがる法学馬鹿は数学板に来るな

661:132人目の素数さん
17/07/30 14:00:36.64 /7IMQE4V.net
>>583
はぁ?
俺は君の主張が記事のどこに書かれてるのか聞いてるだけなんだが
それすら答えられずに中傷で返すなら、君の負けになるけどいいの?

もう一度だけチャンスを与える
「毎回同じ実数列を出題してはならない」というルールは記事のどこに書かれてますか?

662:132人目の素数さん
17/07/30 14:04:14.46 Me5q97PH.net
法学馬鹿のトリビアル戦略について考えてみようw
箱にいれる数が1種類だとすれば
できる数列は皆同じであり
同値類も決定番号も皆同じである

この場合、「箱入り無数目」の戦略は確実に成功する
選んだ数列の決定番号が、他の数列より大きくなることは決してないからだw

法学馬鹿がこの戦略をとるのは自由だが、
ミッドウェー海戦なみの大惨敗を喫するのは明らかである

やはり法学馬鹿の姑息な猿知恵は無意味なようだw

663:132人目の素数さん
17/07/30 14:05:37.75 Me5q97PH.net
>>589
>君の負け

ほら負け犬ポチ、勝ちがほしいなら呉れてやるwwwwwww

664:132人目の素数さん
17/07/30 14:06:56.18 x0k9SnDQ.net
>>586
おまえはスレ主と同じメンタルだな

>>590 >箱にいれる数が1種類だとすれば 誰がそんなこと言った?



666:132人目の素数さん
17/07/30 14:08:43.99 Me5q97PH.net
負け犬ポチは、問題設定に関する議論では「大勝利」を収めたが
肝心の自分の戦略が、記事の戦略に勝てるかどうかについては
みっともないほどの大惨敗を喫したwwwwwww

どこぞの島国の軍人や官僚の小利口さに通じるものがあるな

667:132人目の素数さん
17/07/30 14:13:15.97 Me5q97PH.net
>>592
いやいや、>>1は自分の負けを決して認めないが
私は、問題設定に関しては貴様の屁理屈を認めてやったぞ
もっとも、そんなつまらぬところで勝っても意味がないがな

>>箱にいれる数が1種類だとすれば
>誰がそんなこと言った?

箱にどんな数をいれても自由なんだろ?
箱同士の独立性を保持した上で、
貴様にもわかるもっとも簡単な方法が
「ひたすら同じ数をいれる」ってことだよ

668:132人目の素数さん
17/07/30 14:15:49.03 /7IMQE4V.net
>>591
深呼吸しよう
勝ちは要らない、君の主張が記事のどこに書かれてるのか言ってくれればそれでいい

669:132人目の素数さん
17/07/30 14:20:59.88 Me5q97PH.net
>>595
>勝ちは要らない

いや、やるよ 欲しいんだろ?負け犬ポチ
独立だって書いてないからな 
嬉しいだろ?こんなことでも勝てて
こんなチャンスめったにないだろ
万歳三唱して喜べ 多分人生最後の勝ちだぞw

670:132人目の素数さん
17/07/30 14:24:21.75 Me5q97PH.net
>深呼吸しよう

おまえがしたらどうだ?
おまえが望んでいたのはこんなことなのか?

サルじゃなく人間だっていうんなら、
自分のやってきたことにたいする反省も必要だぞ

そもそもおまえは無意味なゲームに勝ち続けて
肝心な人生を棒に振ったんじゃないのか?

671:132人目の素数さん
17/07/30 14:26:56.69 /7IMQE4V.net
>>593
>肝心の自分の戦略が、記事の戦略に勝てるかどうかについては
言ってる意味がわからない

>>594
>もっとも、そんなつまらぬところで勝っても意味がないがな
いや、大いに意味があるぞ?
何故なら、そこを認めたということは、>>568が無効になるのだから、
別の反論をするか、さもなくば「列ごとの決定番号の分布が同じになると
言ったのは完全な間違いで、時枝戦略を誤解してました」と言うしか無くなるから

672:132人目の素数さん
17/07/30 14:31:14.47 Me5q97PH.net
>>598

>>568は数学的には意味があるので、
法学馬鹿の貴様には意味がなくてもどうでもいいw

「箱入り無数目」が暗に箱どうしの独立性を想定していることは
記事の最後の文章からもわかる 法学馬鹿が読みたがらないだけ

法学馬鹿には数学は理解できないし意味もないから
貴様は数学板から失せろよ ここにはゴキブリのエサなんかないぞw

673:132人目の素数さん
17/07/30 14:42:02.90 /7IMQE4V.net
>>599
>「箱入り無数目」が暗に箱どうしの独立性を想定していることは
>記事の最後の文章からもわかる

「箱がたくさん,可算無限個ある.箱それぞれに,私が実数を入れる.
どんな実数を入れるかはまったく自由」
という記述から、どう考えても箱どうしは独立なんだが???
君が一体何を言いたいのかわからない。

674:132人目の素数さん
17/07/30 15:02:27.56 Me5q97PH.net
>>600
問題設定以外の文章は死んでも読まない!
と吠える法学馬鹿には数学の何がおもしろいのか
金輪際、理解できないだろう

>>1、おっちゃん、そして法学馬鹿の貴様は
ガロアスレの三大idiotだな

675:132人目の素数さん
17/07/30 15:09:56.29 B7ND26hG.net
>>601
>問題設定以外の文章は死んでも読まない!
という内容は>>600のどこにも書いていないぞ。

676:132人目の素数さん
17/07/30 15:12:05.92 /7IMQE4V.net
>>601
何が言いたいのかさっぱりだけど、結局
>列ごとの決定番号の分布が同じになる
>また、そのことから確率 (n-1)/n が示せる
という主張は取り下げたと思っていいの?
(悪いが、それ以外の君の発言には何の興味も無い)

677:132人目の素数さん
17/07/30 18:12:27.12 Me5q97PH.net
>>603
悪いが数学の分からんidiotの
根拠ゼロの言い掛かりは却下

>>571
「n個の要素の順列(有限個!)中、
 選択したi番目に最大値の要素が入らないもの
 の割合を計算すればいい それが(n-1)/n 」
が分らんとか小学生以下だな

678:132人目の素数さん
17/07/30 19:21:17.32 /7IMQE4V.net
>>604
出題者がどんな実数列 s∈R^N を出題しようと自由 というのがルールだ
もちろん毎回同じでも構わない、だから今そうしたと仮定する
その時あなたのレスを読んだ出題者はこう思うだろう
「順列?はあ?毎回同じ s を出題してるのに順列?この人何言ってんだろう?」

679:132人目の素数さん
17/07/30 20:00:13.58 q6AoWb62.net
数当てゲームを100回やるの?

680:132人目の素数さん
17/07/30 21:18:02.33 fnoPbDVd.net
>>571
> 最後にrが確率的に変化するときは99/100でないといってるがこれは誤り
> ID:j1PATNPxにはこのことがどうしても理解できないらしい

決定番号d:R^N→Nが可測ではないので測度論的に99/100をダイレクトには導けない

測度論を用いないお前の"確率"の定義を書け

それができないなら空論に過ぎない

681:132人目の素数さん
17/07/30 21:31:28.76 fnoPbDVd.net
>>571
念のため言っておくが、お前の
『確率は99/100に違いない』
という直感を否定しているのではない
命題A:任意のfixされたr∈R^Nで99/100が成り立つ
命題B:r∈R^Nを確率標本にとっても99/100が成り立つ
命題A⇒命題Bは直感的にたしかに自明のように見える
しかしそれを測度論的にすんなり正当化できないことが問題なわけだ。

命題Aすら否定する『決定番号は∞君』は論外だ
しかし定義無しの"確率"を振りかざして命題Bの成立を自明と扱うお前も論外だ

小学生以下でもわかるという、お前の"確率"とは何だ?
測度論に拘らないお前の"確率"の数学的定義は何だ?
きちんと共有せよ
でなければ議論が始まらんだろ?
小学生だの算数だの煽ってばかりじゃ>>1とおんなじだろうが

682:132人目の素数さん
17/07/31 06:47:55.03 dVIlvrwA.net
>>607
>決定番号d:R^N→Nが可測ではないので
>測度論的に99/100をダイレクトには導けない

漠然と「的」をつかうのは言語障害

正しい文章は
「決定番号の測度から99/100をダイレクトには導けない」

しかし、99/100を決定番号の測度から導く必要がない

100個の列から長さ100の順列への関数を考えればいいだけ
長さ100の順列は100!だから有限個
し・か・も、それぞれの順列が選ばれる確率は同じ
そのうち、選んだi番目の列に対応する
順列のi番目の要素が最大でないものの確率は99/100
全部小学生レベルの話 分からん>>607の脳味噌が空虚

683:132人目の素数さん
17/07/31 06:54:46.86 dVIlvrwA.net
>>608
>fixされたr

この馬鹿はなぜかrをfixしたがる
いわゆる肛門期かもしれんw

>測度論的にすんなり正当化できない

また「的」だ
なぜ「決定番号の測度に基づいて」と書けない?

>小学生以下でもわかるという、お前の"確率"とは何だ?

「確率」にこだわるのが馬鹿w
必要なのは「”100個の自然数”の列」から順序関係だけ抽出して
「長さ100の順列」を取り出す発想

100個の自然数の列ならN^100だが、
長さ100の順列なら100!だ

しかももとの列どうしは独立性により交換可能なのだから
順列どうしはみな同じ確率になる ここがポイント

みな測度論以外の考え方 測度論しか知らぬ馬鹿には
100遍死んでもわかるまいがな

684:132人目の素数さん
17/07/31 07:11:18.55 847xNoY6.net
横レスだが、

>長さ100の順列は100!だから有限個
>し・か・も、それぞれの順列が選ばれる確率は同じ

これは 100!個の元から成る標準的な離散確率空間を考えているのと
同じことであり、完全に測度論の一部だよね。
なんでいつの間にかそういう確率測度にすげ替えようとしてるのかは知らんけど。

685:¥氏
17/07/31 07:16:26.12 M76QQSs2.net


686:132人目の素数さん
17/07/31 07:24:23.58 OKkyvbiz.net
>>610
おっちゃんです。
言葉を最初に定義してから始めると曖昧さがなくなり論理的な議論が出来るため、
測度論にこだわらない「確率」の定義をしろと要求されている。それが他の人の主な趣旨だ。
>「確率」にこだわるのが馬鹿w
といいながら
>しかももとの列どうしは独立性により交換可能なのだから
>順列どうしはみな同じ確率になる ここがポイント
の箇所で「確率」という言葉を用いている。
どうやら、多くの人と共有した数学の議論の仕方や数学の方法論を知らないようですな。

687:132人目の素数さん
17/07/31 08:00:47.20 CUcZZyWZ.net
>>609-610
> しかし、99/100を決定番号の測度から導く必要がない
>
> 100個の列から長さ100の順列への関数を考えればいいだけ
>


688:長さ100の順列は100!だから有限個 > し・か・も、それぞれの順列が選ばれる確率は同じ R^Nを確率空間に取ると100個の決定番号d_i(r_i)は非可測 測度論ではお前の考えは成り立たない 一般に数学において確率とは確率測度のことを指す しかしお前は測度から導く必要がないという 早くお前の"確率"の定義を書け 書けないなら空論に過ぎない > みな測度論以外の考え方 測度論しか知らぬ馬鹿には > 100遍死んでもわかるまいがな 定義がなければ100偏死んでも誰も分からん 早く定義を書きなさい 逃げる、煽る、質問に答えず無関係なことを書く お前はスレ主を馬鹿にしているが、スレ主となんら変わらない



689:132人目の素数さん
17/07/31 08:14:56.09 CUcZZyWZ.net
>>610
> また「的」だ
> なぜ「決定番号の測度に基づいて」と書けない?

『決定番号の測度に基づかなくても確率が求まる』というからには、
測度論"的"確率論以外の確率論を持ってくる必要がある
お前の何の確率を語ってるんだ?

早 く 定 義 を 書 け 


> 「確率」にこだわるのが馬鹿w
> 必要なのは「”100個の自然数”の列」から順序関係だけ抽出して
> 「長さ100の順列」を取り出す発想
>
> 100個の自然数の列ならN^100だが、
> 長さ100の順列なら100!だ
>
> しかももとの列どうしは独立性により交換可能なのだから
> 順列どうしはみな同じ確率になる ここがポイント

お前の"確率"が無定義なので
『順列どうしはみな同じ"確率"になる』
といわれても意味不明である(笑)
非可測な自然数100個を順列に置き換えたところで
非可測である状況はなんら変わらない

非可測でも確率を定義できるお前の"確率"とは何だ?

早 く 定 義 を 書 け 

690:現代数学の系譜 古典ガロア理論を読む
17/07/31 08:19:58.89 z8P//WPb.net
>>609-610
ID:dVIlvrwAさん、どうも。スレ主です。
ご苦労さま

一晩考えた言い訳がそれか? ?
なかなか独創的(確率論不要?)な言い訳かな?
(昨日の段階でそれを考えていたなら、「法学部! 却下!」と逃げるまわる必要もなかったろうね)
で早めに一発入れておきたいので、(このスレ36が満杯になる前に)お邪魔したんだ(^^

>>521 より下記
”残念だけど選択公理を使って
無限列から決定番号への非可測関数を構築すれば
「箱入り無数目」解法による予測は避けられないよ
逆に
「X1,X2,X3,・・・がまるまる無限族として独立なら絶対に当てられない」
と言い切るなら、必然的に
「実数の全ての集合はルベーグ可測であり選択公理は成立しない」
といわざるを得なくなる”の部分で

これ、その独創的言い訳(>>609-610)だと、フルパワー選択公理を使うのは、数列のしっぽの同値類と決定番号までだな
決定番号から後の”独創的(確率論不要?)な言い訳”部分は、可算選択公理で間に合うからね

繰り返すが、「フルパワー選択公理使用は数列のしっぽの同値類と決定番号まで」
つまり、問題の前提部分まででしかないよねと(^^

追伸
”この馬鹿はなぜかrをfixしたがる”のところ、頑張ってな!(^^
健闘を祈る!! ファイト!!(^^

691:}現代数学の系譜 古典ガロア理論を読む
17/07/31 13:46:09.91 EiM7pzQF.net
>>616 追加

関連なので、追い打ちをかけておくよ

命題に下記の記号を付けよう
A:フルパワー選択公理
B:時枝問題(例えばR^Nに対して)の数列の同値類から決定番号まで
C:あなたの”独創的(確率論不要?)な言い訳”
D:時枝記事成立(ある箱の数を当てる確率99/100)

ロジックは
(A & B) & C → D(時枝記事成立)
対偶は
not D → not{(A & B) & C }= not(A & B) or not C

つまり、対偶命題の意味は
「時枝記事の解法が不成立の場合、C:あなたの”独創的(確率論不要?)な言い訳”が否定されるか、又は、(A & B)が否定されるか」だ
で、当然、直ちに選択公理に関する(A & B)が否定されるのではなく、C:あなたの”独創的(確率論不要?)な言い訳”が疑われるべしだ

で、あなたの考え方
”「X1,X2,X3,・・・がまるまる無限族として独立なら絶対に当てられない」
と言い切るなら、必然的に
「実数の全ての集合はルベーグ可測であり選択公理は成立しない」
といわざるを得なくなる”
のロジックがおかしいと思うよ(^^

補足
補足すれば、時枝記事の成否は、ロジックC=「時枝記事の解法の核心部分」にかかっているんだろ?
だから、ロジックCと D(時枝記事成立)とが、直に連動していると思うんだよね(^^

692:132人目の素数さん
17/07/31 19:40:35.87 dVIlvrwA.net
>>611
>これは100!個の元から成る標準的な離散確率空間
>を考えているのと 同じことであり、完全に測度論の一部

しかし、関数の値は順列であって決定番号ではない
つまり、「決定番号の測度」とは無関係

まったく測度論に基づかない、とは一度もいってない

>>613
測度論を用いない、とはいってない
「決定番号の測度によらない」といったまで

これこそ言葉を正確に用いた論理による推論

693:132人目の素数さん
17/07/31 19:42:56.57 dVIlvrwA.net
>>614
>お前は測度から導く必要がないという

いいや
「決定番号の測度」から導く必要がない、といったまで
「順列の測度」から導いて見せた これが答え

これこそ正確な定義 

>>615
>『順列どうしはみな同じ"確率"になる』
>といわれても意味不明である

独立性の定義を知らんのか?
なら今ここで、教えてやろう

独立(どくりつ)とは、確率論において、
「2つの事象(英語版)が成立する確率が
 それぞれの確率の積で表されること」を言う

二つの数列が独立なら、当然確率は積であらわせる
だから二つの数列を交換しても確率は変化しない

>非可測な自然数100個を順列に置き換えたところで
>非可測である状況はなんら変わらない

残念ながらそれは全然成立しないw

どの順列についても、
「その順列を値とする数列100個」の集合全体
の測度は1/100!

694:132人目の素数さん
17/07/31 19:46:20.10 dVIlvrwA.net
>>616
>フルパワー選択公理を使うのは、数列のしっぽの同値類と決定番号までだな
その通り idiotでもさすがにそのくらいは分かるんだな
同値類の代表列が取れれば予測に必要な情報が得られる
分かってるか?idiot

695:132人目の素数さん
17/07/31 19:47:21.18 dVIlvrwA.net
>>617
>A:フルパワー選択公理
>B:時枝問題(例えばR^Nに対して)の数列の同値類から決定番号まで
>C:あなたの”独創的(確率論不要?)な言い訳”
>D:時枝記事成立(ある箱の数を当てる確率99/100)

>ロジックは
>(A & B) & C → D(時枝記事成立)

粗雑だな
(続く)

696:132人目の素数さん
17/07/31 19:48:26.01 dVIlvrwA.net
>>621の続き
Eq1:時枝問題(例えばR^Nに対して)の数列の同値類の設定
Lm1:時枝問題の同値類の代表列&決定番号(自然数)

(A & Eq1) → Lm1

697:132人目の素数さん
17/07/31 19:49:32.52 dVIlvrwA.net
>>622の続き
Eq2:自然数のn組の順序関係に関する同値類の設定
  「(a1,・・・,an)と、(b1,・・・,bn)は、任意のi,jについて
   ai,aj間とbi,bj間の大小関係が等しいとき同値とみなす」
Lm2:自然数のn組の順序関係に関する同値類から
  順序を保存する長さnの代表順列を選択する

Eq2→Lm2 (*順列は有限個だから可算選択公理すら必要ない!)

698:132人目の素数さん
17/07/31 19:51:02.14 dVIlvrwA.net
>>623の続き
Fn :「数列から自然数への関数f」から
「数列のn組から自然数のn組への関数f_n」が
   構成できる
   f_n(r1,・・・,rn)=(f(n1),・・・,f(rn))
Lm3:関数f_nから、自然数のn組の順序に関する
  同値類の代表元を利用してできる関数f_n!について
  順列i番目の要素が最大になる確率はiによらず1/n

Lm2 & Fn→Lm3 (数列のn組の順序の入れ替えにより、
            異なる順列の同値類に1対1対応する。
            かつ、i番目が最大になる長さnの順列は
            iによらず長さnの順列全体の1/n)

699:132人目の素数さん
17/07/31 19:52:51.02 dVIlvrwA.net
>>624の続き
(L1 & Lm3)→D (fに数列から決定番号への関数を代入)
つまり
A & Eq1 & Eq2 & Fn → D

対偶は
NotD→NotA or NotEq1 or NotEq2 or NotFn

しかし、実はEq1もEq2もただの同値類の設定だし
Fnもただの関数の構成方法だから否定しようがない

つまり否定できるのはAしかない
R.I.P.

700:現代数学の系譜 古典ガロア理論を読む
17/07/31 20:09:53.47 z8P//WPb.net
ID:dVIlvrwA(旧One Stone)さん、どうも。スレ主です。
えらいね~。逃げたのかと思ったよ~!(^^

>>620 レスありがとう。助かるね(^^

>>621-625は、 そこらは、ID:CUcZZyWZさんたち(おそらく旧来のHigh level people たち)の獲物だから、つっつくのは、まずはお任せしようと思う

先がながそうなので、こちらもマイペースでやらせてもらうよ(^^

錯綜すると思うが悪しからず(^^

701:現代数学の系譜 古典ガロア理論を読む
17/07/31 20:12:16.59 z8P//WPb.net
>>555
おっちゃん、どうも、スレ主です。

>>おっちゃんは、結構初期からのこのスレの住人でね。かつ、友人なんだ(^^
>>スレ主は、友人を大切にするんだよ(^^
>お世辞にも、スレ主には友人扱いされたくないw

そうか、了解だ。訂正するよ
「おっちゃんは、結構初期からのこのスレの住人でね(^^
 スレ主は、古くからの住人を大切にするんだよ~(^^」でどうかな

702:132人目の素数さん
17/07/31 20:15:04.22 CUcZZyWZ.net
>>619
> 「順列の測度」から導いて見せた これが答え
>
> これこそ正確な定義 

お前の言う順列とは100個の決定番号の順列のことである
r∈R^Nが確率的に選ばれるならば決定番号d:R^N→Nは非可測である
100個の決定番号dが非可測なので、順列に焼きなおしたところで非可測である

出直してこい

703:現代数学の系譜 古典ガロア理論を読む
17/07/31 20:15:35.75 z8P//WPb.net
>>535
どうも。スレ主です。

>>1.”ACを認めたまま「予測不能」という結論を導けるわけない”>>494 は、未証明だな。上記 戸松玲治先生 ”一瞬錯覚してしまう証明”に類似の錯覚だろ?
>”ACを認めるなら「予測可能」”、”「予測可能」と「予測不能」は両立しない”から”ACを認めたまま「予測不能」という結論を導けるわけない”がでる
>”ACを認めるなら「予測可能」”の証明は時枝やHartの記事に書いてある

コテハンがないから、だれがだれか識別困難だったのだが、 ID:JR1UV3RDさんは、旧(文系)High level people (>>2)か!(^^
(余談だが、(文系)High level peopleも、現代確率論弱いね。確率論に立ち入ったことは、ほとんど語れないんだね・・)
<”ACを認めるなら「予測可能」”は不成立>(だいたい、私が、「未証明!」とか「証明は?」というとき、「それ成立しないだろ」の意図だよ(^^)
<補足>
1.時枝記事前半に”証明もどき”があるが、時枝記事後半は”証明もどき”の言い訳をぐだぐだ書いている。
  言い訳付き証明なので、未完だよ(^^
  あと追加として、過去に、確率の専門家さん「正直時枝氏が確率論に対してあまり詳しくない」よと   スレリンク(math板:124番)
  さらに、「与太話」と切り捨てていった人2名。おそらく数学科出身が、居ただろ
  (なお、ここら辺りは、不成立証明をステップ5辺りで書くよ!)

つづく

704:現代数学の系譜 古典ガロア理論を読む
17/07/31 20:16:16.27 z8P//WPb.net
>>629 つづき

2.Hartの記事の記事 URLリンク(www.ma.huji.ac.il) だが
 過去スレ35 スレリンク(math板:28番) & スレリンク(math板:118番) に書いた通り
(抜粋)
「Sergiu Hart氏のPDF で P2の最後に下記がある
”Remark.
When the number of boxes is finite Player 1 can guarantee a win with probability 1 in game1,
and with probability 9/10 in game2,
by choosing the xi independently and uniformly on [0, 1] and {0, 1, ..., 9}, respectively.”
(google翻訳より)
"リマーク。
ボックスの数が有限であれば、プレイヤー1はgame1の確率1で勝利を保証することができ、
ゲーム2では確率9/10で、
[0、1]と{0、1、...、9}上でxiを独立して一様に選択することによって、”
これ意味分かりますよね? ボックスの数が有限の場合と、無限の場合で、全く違うと」

 これ、Sergiu Hart氏のPDFの落語でいえば”落ち”だったんじゃないかな
(解説するのもやぼだが、


705:列長さ有限の場合には一切成り立たないよ。だから、極限を考えて、列長さ無限の場合も同じだと)  (引用終り) 3.(結論)だから、ここで笑ってやらないと! Sergiu Hart氏の期待に応えたことにならず、「しらけ~!」だよ(^^ 以上



706:現代数学の系譜 古典ガロア理論を読む
17/07/31 20:22:39.97 z8P//WPb.net
>>544
ID:sTElbR6qさん、どうも。スレ主です。
>URLリンク(tenasaku.com)

貴重な情報ありがとう。貴方は、さすがに他の人とちょっと違って、数学的に意味あるレスができるね~(^^
(数学的に意味あるのは、ここだけだが・・)
URLリンク(www.tenasaku.com)
URLリンク(www.tenasaku.com) てなさく こと藤田博司がレンタルサーバを利用して作っている私的なサイトです。 ツイッターでは tenapyon (ゼルプスト殿下) と名乗っています。

URLリンク(www.nippyo.co.jp)
藤田博司
1964年京都府生まれ。1987年立命館大学理工学部数学物理学科卒業。1991年名古屋大学大学院理学研究科博士後期課程中退。現在、愛媛大学大学院理工学研究科数理物質科学専攻助教授。専攻/記述集合論(08年1月現在)
(引用終り)
余計な詮索だが、”立命館大学理工学部数学物理学科卒業”ということは、どこか京大数学科でも受けて、すべりどめ立命へってことかな?

愛媛大 藤田 博司先生 所属部署 大学院理工学研究科 数理物質科学専攻か
URLリンク(yoran.office.ehime-u.ac.jp)

書籍 2 魅了する無限―アキレスは本当にカメに追いついたのか URLリンク(researchmap.jp)
藤田博司 著, 技術評論社, 2009 無限の不思議を数学好きの一般読者に語ります。アキレスとカメのパラドックスを題材として、運動の数学的記述に連続体が必要不可欠であることを説明しています。

これ面白そうだね。似たような話を後でしようと思うのだが・・(^^

・・1.キューネン数学基礎論講義 ケネス・キューネン著,藤田博司訳,日本評論社 3.集合論―独立性証明への案内 ケネス・キューネン著 藤田博司訳, 日本評論社・・・
ああ、ケネス・キューネン 藤田博司訳か!!
いやいや、渕野昌先生がね、さかんにケネス・キューネンを連呼するから、書店で見つけたときに手に取ったんだ
表装が綺麗だったことを覚えている(下記)。ぱらぱら見て、分かり易そうと思ったが、買わなかったんだ~(^^
藤田博司先生、スマン・・(^^
URLリンク(www.tenasaku.com) 本を出しました 紹介、というか、宣伝します

707:132人目の素数さん
17/07/31 20:30:56.24 dVIlvrwA.net
>>628
>お前の言う順列とは100個の決定番号の順列のことである

順序構造さえ同じなら数は変わってもいい
そこが順序に関する同値類の狡猾な点(ニヤリ)

708:132人目の素数さん
17/07/31 20:36:13.80 dVIlvrwA.net
>>631
>”立命館大学理工学部数学物理学科卒業”ということは、
>京大数学科でも受けて、すべりどめ立命へってことかな?

東大も京大も受からないアホウの>>1には関係ないだろwwwwwww

709:132人目の素数さん
17/07/31 20:37:29.34 dVIlvrwA.net
>逃げたのかと思ったよ~!(^^

死ねよ、ゴキブリ>>1

710:現代数学の系譜 古典ガロア理論を読む
17/07/31 20:38:24.45 z8P//WPb.net
>>554
◆QZaw55cn4cさん、いや、C++さんどうも。スレ主です。お久しぶりですね(^^ 参考 過去スレ29 スレリンク(math板:547番)
下記ナイスアシストありがとう
ところで、試験勉強順調ですかね?(^^

さて
>>>553
>>n個の相異なる自然数がどんな分布だろうと
>え?

ナイスアシストありがとう。ここから、分布の論争が始まり、測度から確率へと議論が発展したんだよ!(^^
で、下記は、私の証明のステップ完結後の補足に関係するんだが、ちょうど良い機会だから先に補足しておくよ

例えば、1から10までの数を書いた札があるとする。全部で、10^10(=100億枚)。1から9までの数、各1枚計9枚。残り10の札、100億-9枚。
100億枚の札をかき混ぜて、ランダムに*)10枚引いて貰う。普通、10枚全部10番(外れ)の札だな。(有限事象なので確率計算は簡単だが省略する)
まあ、宝くじだと思いなよ。10番の札は外れくじ!(^^
(注*)ランダム性を保障するために、目隠しをするか、札の数字が見えないようにシールするなどをしておくものとする)

これを一般化して、
1からmまでの数を書いた札があるとする。全部で、10^m。
ここで時枝記事と辻褄を合わせるために、ちょっと細工をします。

[m/2]をガウス記号:m/2を超えない最大の整数 とする
1から[m/2]-1までの数、及び[m/2]+1からmまでの数 各1枚、計m-1枚。
(1から[m/2]-1までが1等賞、[m/2]+1からmまでが2等賞、とでも思ってください。)
残り、中央の[m/2]の札は、10^m-(m-1)枚になる。(ほとんど全てこの札になる)
いま、一般性を失うことなく、n<<mとしておきます。
10^m枚の札をかき混ぜて、ランダムにn枚引いて貰う。普通、n枚全部[m/2]の(外れ)札になる。(同じく、有限事象なので確率計算は簡単だが省略する)

1.∵このような分布の場合、普通、n枚全部[m/2]の札になる。つまり、”n個の相異なる”は言えないから、”n個中ランダムに選んだ1個が最大である確率はほぼ0(ゼロ)”(有限モデルなので、完全にゼロにはならないが。)
2.だから、分布は、時枝記事不成立のキモだな(^^

711:132人目の素数さん
17/07/31 20:46:48.83 Cuw6ntcN.net
>>632
>順序構造さえ同じなら
これは仮定を述べているのか?同じであると述べているのか?
後者ならそれを証明せよ(前者なら論外)

712:132人目の素数さん
17/07/31 20:47:01.04 dVIlvrwA.net
>>635
オウンゴールで自爆死の>>1は冥途に行きやがれwwwwwww

713:132人目の素数さん
17/07/31 20:47:57.13 CUcZZyWZ.net
>>632
> 順序構造さえ同じなら数は変わってもいい
> そこが順序に関する同値類の狡猾な点(ニヤリ)

意味不明
お前は何の話をしてんの?
どこから測度論でどこから測度論じゃないのかすら分からんのだが

> お前の言う順列とは100個の決定番号の順列のことである
> r∈R^Nが確率的に選ばれるならば決定番号d:R^N→Nは非可測である
> 100個の決定番号dが非可測なので、順列に焼きなおしたところで非可測である

これの意味が分からんの?
R^Nから決定番号の順列に焼きなおす関数を考えてごらんよ
これが非可測なのが理解できないの?

そもそもあんた、順序って何の話?
どこらへんに決定番号d:R^N→Nの非可測性を回避する論理があるの?

だーれもお前のこと理解できないよ?孤高の無定義君
「理解されなくていい!」っていうならそう宣言してくれる?
誰もお前のことを相手にしないからさ

こういうこと言われるのはお前とスレ主くらいなもんだ

714:132人目の素数さん
17/07/31 20:48:18.42 dVIlvrwA.net
>>636
>>623の同値類の定義を読め

715:132人目の素数さん
17/07/31 20:51:22.24 dVIlvrwA.net
>>638
>意味不明
>お前は何の話をしてんの?

>>622-625を順を追って読め

>そもそもあんた、順序って何の話?
>どこらへんに決定番号d:R^N→Nの非可測性を回避する論理があるの?

>>623から先を読め

716:132人目の素数さん
17/07/31 20:53:21.34 dVIlvrwA.net
>>623のEq2の同値類の定義と
>>624のFnの関数構成の定義を
読んで何のことだかわからん奴は
数学のセンスがないから
数学板から失せたほうがいい

717:現代数学の系譜 古典ガロア理論を読む
17/07/31 20:55:56.83 z8P//WPb.net
>>523 追加

<ステップ2(追加)> (選択公覧揩ノ懸かる現代滑m率論の基礎 ボレル集合の濃度に�


718:ツいて) 逃げ道を塞いでおきたいので、下記。(つまり、「現代確率論はフルパワー選択公理を必要とする!」) ボレル集合、” 上記の超限帰納法による構成において、その各段階で得られた集合の数は、高々連続体濃度の冪であることが示せる”などとあるので、おそらく選択公理は可算レベルでは足りず、連続体濃度の冪までを扱うパワーを必要とするよと。 (なお、後述のように、誤記があるのでご注意) https://ja.wikipedia.org/wiki/%E3%83%9C%E3%83%AC%E3%83%AB%E9%9B%86%E5%90%88 ボレル集合 (抜粋) 位相空間 X に対し、X 上のボレル集合全体の成す族(ボレル集合族)は完全加法族(σ-集合体)を成し、ボレル集合体 (Borel algebra) あるいはボレル完全加法族 (Borel σ-algebra) と呼ばれる。X 上のボレル集合体は、全ての開集合を含む最小の完全加法族である(全ての閉集合を含む最小の完全加法族でもある)。 ボレル集合は測度論において重要である。これは空間内の任意の開集合(あるいは閉集合)上で定義された測度が、任意のボレル集合上で定義された測度を定めることによる。任意のボレル集合に対して定義される測度はボレル測度と呼ばれる。ボレル集合およびそれに付随するボレル階層は、記述集合論においても基本的な役割を果たす。 ボレル集合族の生成 「ボレル集合族は最小の非可算順序数 ω1 に対する G^ω1 に他ならない」ことである。 つづく



719:
17/07/31 20:56:08.63 rsr3ITuS.net
>>635
つまり「相異なる」という単語がすごく気になるのです,これって自然に前提にふくめてもいい単語なのでしょうか?

720:現代数学の系譜 古典ガロア理論を読む
17/07/31 20:56:29.41 z8P//WPb.net
>>642 つづき

・・なる操作を最小の非可算順序数回反復的に適用して「生成」することができる。

一つの重要な例は、実数直線 R 上のボレル集合体 B(R) で、これは特に確率論において重要である。このボレル集合体の上にはボレル測度が定義できる。確率空間上で定義される実確率変数が与えられたとき、その確率分布もまた定義によりこのボレル集合体上の測度になる。
実数直線上のボレル集合体 B(R) は、R 内の任意の区間を含む最小の完全加法族である。
上記の超限帰納法による構成において、その各段階で得られた集合の数は、高々連続体濃度の冪であることが示せる。
故に、ボレル集合の総数は aleph _{1} * 2^aleph _{0} = 2^aleph _{0} 以下である。*)
(引用終り)
注*)“その各段階で得られた集合の数は、高々連続体濃度の冪”なら
誤:ボレル集合の総数は aleph _{1} * 2^aleph _{0} = 2^aleph _{0} 以下である。
 ↓
正:ボレル集合の総数は aleph _{1} * 2^aleph _{1} = 2^aleph _{1} 以下である。
でしょうね。もっとも、原文の英wikipediaが間違っているんだが(^^
なお、下記根拠補足
URLリンク(ja.wikipedia.org)
連続体濃度
(抜粋)
連続体濃度よりも大きな濃度
連続体濃度よりも大きな濃度を持つ集合の例を挙げる。

(R^R: 実変数実数値の函数 R → R の全体の成す集合)
mathbb {R}: R 上のルベーグ集合族、すなわちR のルベーグ可測集合全体の成す集合。
(引用終り)
以上

721:132人目の素数さん
17/07/31 20:59:11.59 dVIlvrwA.net
>>642
>逃げ道を塞いでおきたいので
おまえ自身の逃げ道塞いでどうするんだ?馬鹿めwwwwwww

私は別に予測可能でも何も困らない
「予測不能」と言い張ってるのはアホウの>>1だけ

そのアホウの>>1に退却路を示してやったのに
よりによって自ら退却路を塞ごうとするとは
さすがに小学生以下の馬鹿wwwwwww

722:現代数学の系譜 古典ガロア理論を読む
17/07/31 21:06:37.38 z8P//WPb.net
>>643
◆QZaw55cn4cさん、どうも。スレ主です。
レスありがとう

>つまり「相異なる」という単語がすごく気になるのです,これって自然に前提にふくめてもいい単語なのでしょうか?

いつも鋭いご指摘ありがとう。
「相異なる」は、下記時枝記事引用の「s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない」が成り立つ一般的状況を短く表現したんだが・・
確かに文学的表現ではあるね(^^
ご指摘の点は、もっと考えてみるよ(^^

 記
過去スレ35 スレリンク(math板:13番) より
時枝記事引用
”これらの列はおのおの決定番号をもつ.
さて�


723:C 1~100 のいずれかをランダムに選ぶ. 例えばkが選ばれたとせよ. s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.”



724:現代数学の系譜 古典ガロア理論を読む
17/07/31 21:10:44.41 z8P//WPb.net
>>645
ID:dVIlvrwAさん、どうも。スレ主です。
君はなかなか良いものを持っているんだが、間違いも多いね(^^
君の示した退却路なるものは、間違いだよ(^^

725:現代数学の系譜 古典ガロア理論を読む
17/07/31 21:30:21.46 z8P//WPb.net
>>528 関連

> 1.”選択公理←→ Zorn の補題←→ 整列可能定理”という関係があって、バリエーション豊富だし

英ZFCの解説では、Well-ordering theorem で説明しているね。確かに、Well-ordering theoremが分かり易いかもしれないね(^^
URLリンク(en.wikipedia.org)
(抜粋)
2 Axioms
2.1 Axiom of extensionality
2.2 Axiom of regularity (also called the Axiom of foundation)
2.3 Axiom schema of specification (also called the axiom schema of separation or of restricted comprehension)
2.4 Axiom of pairing
2.5 Axiom of union
2.6 Axiom schema of replacement
2.7 Axiom of infinity
2.8 Axiom of power set
2.9 Well-ordering theorem
(引用終り)

726:132人目の素数さん
17/07/31 21:32:34.65 CUcZZyWZ.net
>>623
残念だけどR^NからNへの関数fが非可測のときは成り立ちません
fをRの順序対からNの順序対への関数にしたところで同じ

出直してきなさい

727:哀れな素人
17/07/31 21:56:06.26 PWhTQj4U.net
スレ主よ、アホの一つ覚えのようにidiotという語を使っている馬鹿は
たぶんOne Stoneではないだろう。
この馬鹿はOne Stoneより柄が悪い。

728:132人目の素数さん
17/07/31 21:56:41.94 Cuw6ntcN.net
>>643
n列の決定番号が相異なる場合
 決定番号最大の列は必ず1つ、よって勝つ確率は (n-1)/n

n列の決定番号が相異なるとは限らない場合
 決定番号最大の列は1つ以上、よって勝つ確率は (n-1)/n 以上
 (複数列だった場合は確率1で勝つ)

時枝問題は正確には後者だよ。しかしいちいち「~以上」と書くのはめんどくさいよね
それだけのこと。

729:現代数学の系譜 古典ガロア理論を読む
17/07/31 23:02:48.40 z8P//WPb.net
>>631
>ツイッターでは tenapyon (ゼルプスト殿下) と名乗っています。

藤田博司先生関連
URLリンク(kansaimath.tenasaku.com)
?「第8回関西すうがく徒のつどい」@大阪大学は、2016年3月20/21日
URLリンク(kansaimath.tenasaku.com)
?D307(小教室) 「超限順序数と無限玉入れ勝敗判定」(ゼルプスト殿下 @tenapyon) [abstract] [講義資料]
URLリンク(tenasaku.com)
超限順序数と無限玉入れの勝敗 ゼルプスト殿下 (@tenapyon) 第 8 回関西すうがく徒のつどい
(抜粋)
P116 順序型と順序数(3) より
0, 2, 4, ・ ・ ・ , 2n, ・ ・ ・ | 1, 3, 5, ・ ・ ・ 2n+1, ・ ・ ・
の順序型は順序数ω + ω またはω * 2

0, 3, 6, ・ ・ ・ , 3n, ・ ・ ・ | 1, 4, 7, ・ ・ ・ , 3n+1, ・ ・ ・ | 2, 5, 8, ・ ・ ・ , 3n+2, ・ ・ ・
の順序型は順序数ω + ω + ω またはω * 3

これらはすべてカゴに入った可算無限個の玉をひとつずつ順に取り出す順序づけに対応している(可算順序数)
(引用終り)

補足:
過去スレ27 スレリンク(math板:481番) 2017/01/14 で 「第8回関西すうがく徒のつどい」紹介していたんだが
そのときに、「超限順序数と無限玉入れの勝敗 ゼルプスト殿下」も見つけていたんだ
が、これスルーしていたんだ。”ゼルプスト殿下”というふざけた名前だったし・・(^^
まあ、どこかの学生の匿名で書いたものと思ったし、内容の真偽の判断が難しかったしね
藤田 博司 先生だったのか・・! ふざけてないで、早く”藤田”と名乗れよ、おい!(^^

これ、無限玉入れ(赤白)の数理が、例えば時枝問題の決定番号を考えるヒントになると思うんだよね~(^^
後でも使うが、参考資料として、先に投下しておくよ
(”ゼルプスト殿下”=”藤田 博司 先生”が分かったのは、>>544のおかげです(^^)

730:現代数学の系譜 古典ガロア理論を読む
17/07/31 23:14:06.10 z8P//WPb.net
>>650
哀れな素人さん、どうも。スレ主です。
レスありがとう

>スレ主よ、アホの一つ覚えのようにidiotという語を使っている馬鹿は
>たぶんOne Stoneではないだろう。
>この馬鹿はOne Stoneより柄が悪い。

彼は、スレ32 スレリンク(math板:383番) 2017/05/24
から、idiotという語を使っているね

まあ、One Stoneか否かは、そのうち分かるだろう
両者とも、細かい間違いが多いことは共通しているがね(^^

731:132人目の素数さん
17/07/31 23:15:08.71 CUcZZyWZ.net
>>641
> >>623のEq2の同値類の定義と
> >>624のFnの関数構成の定義を
> 読んで何のことだかわからん奴は
> 数学のセンスがないから
> 数学板から失せたほうがいい

この言葉はそのままそっくりお前に返る

>>622-624を書いてどこに穴があるか分からない奴は数学板から失せたほうがいい』

測度論的確率論ではない、というなら話は別だがな
そうであるなら 定 義 を 書 け カ ス

732:132人目の素数さん
17/08/01 06:59:08.63 clpGrOhb.net
>>649
>残念だけどR^NからNへの関数fが非可測のときは成り立ちません
残念だがルベーグ測度で”のみ”考える馬鹿のままでは分かり様がない

>fをRの順序対からNの順序対への関数にしたところで同じ

Rの順序対ではなくRの数列の有限列
Nの順序対ではなく順列

確率計算の根拠は以下
・長さnの順列はn!個(自明)
・各順列を値にもつ確率は等しい
 (関数(R^∞)^n→N^nが、変数の交換により不変であり
  変数の交換は各順列を代表にもつ同値類どうしの変換となるから)

733:132人目の素数さん
17/08/01 07:03:47.46 clpGrOhb.net
>>647
>君の示した退却路なるものは、間違いだよ(^^
ACを認めた瞬間、「予想不能」という妄想が間違いだよ(^^

だいたいACはZFの定理じゃないんだから、
ACを認めなくても別にトンデモとはいわれない
そういうことも分からずに
「AC否定したらトンデモ」
と思ってる時点で>>1はidiot

734:132人目の素数さん
17/08/01 07:07:42.59 I+jKefSz.net
簡単のためn=2で考える

実数の順序対(r1, r2)を自然数の順序対(d(r1), d(r2))へ移す関数をf_1、
(r1, r2)を(d(r2), d(r1))へ移す関数をf_2とおく
ここでdは時枝記事における決定番号でありd:R^N→N

次にΩ≡(R^N×R^N)×Sを用いて確率空間(Ω,F,μ)を構成する
ここでS≡{f_1, f_2}、μ_s(f_i)=1/2と定義し、
直積測度μ≡μ_r×μ_r'×μ_sを考える

[1] 1番目の項が最大となる確率はいくつか?

f_1∈Sが選ばれたとしよう
d(r1)≧d(r2)となるR^N×R^Nの部分集合全体をH1として
H1∈Fならばμ_r×μ_r'(H1)が求める確率である
f_2∈Sが選ばれたときも同様にして、d(r1)≦d(r2)となるR^N×R^Nの
部分集合全体をH2としてμ_r×μ_r'(H2)が求める確率となる
すなわち{μ_r×μ_r'(H1)+μ_r×μ_r'(H2)}/2が得られる

[2] 2番目の項が最大となる確率はいくつか?

[1]と同様に考えると{μ_r×μ_r'(H2)+μ_r×μ_r'(H1)}/2が得られる

かくして[1],[2]より
「1番目の項が最大となる確率=2番目の項が最大となる確率=1/(順列の長さ)」
が得られる
これが無定義君の>>624の主張である

以上はf_1, f_2が 可 測 な ら ば 正しい

ところがdは非可測であったのでf_1,f_2は非可測となりH1,H2∈Fは言えないのである
Fの要素でないH1,H2に対してμ_r×μ_r'(H1), μ_r×μ_r'(H2)は求まらない
そもそも確率が定義されないので
「1番目の項が最大となる確率=2番目の項が最大となる確率」
は言えない

これが無定義君の>>624に対する反論である

735:132人目の素数さん
17/08/01 07:11:35.16 I+jKefSz.net
>>655
> 残念だがルベーグ測度で”のみ”考える馬鹿のままでは分かり様がない

なんか思いっきり勘違いしてないか?
出題者はR^Nを任意に選べるんだから
離散測度で話が収まるわけないじゃん

736:132人目の素数さん
17/08/01 07:38:16.31 kqijKUxD.net
>>655
>関数(R^∞)^n→N^nが、変数の交換により不変であり
>変数の交換は各順列を代表にもつ同値類どうしの変換となるから

関数(R^∞)^n→N^n って何?
定義域と値域しか書かかずに何を示した気でいるの?

737:¥氏
17/08/01 07:43:02.83 +7fRVElh.net


738:現代数学の系譜 古典ガロア理論を読む
17/08/01 08:02:54.73 kfW8JtfN.net
>>654
ID:CUcZZyWZ さん、どうも。スレ主です。

決着を早める


739:ために、援護射撃するよ(^^ 昨日ID:dVIlvrwA、今日ID:clpGrOhb君か 君が、One Stoneか否か分からないが、私はそうだと思っているし ともかく、細かい間違いが多いことは共通しているし、たまにオオボケをやるね、あんた(^^ >>656 だけど ”だいたいACはZFの定理じゃないんだから、 ACを認めなくても別にトンデモとはいわれない” オオボケかましてくれるね~(^^ 1.>>648の通り、”選択公理←→ Zorn の補題←→ 整列可能定理”という関係があって、バリエーション豊富。  英ZFCの解説では、Well-ordering theorem で説明している  つまり、選択公理を使わないということは、整列可能定理も使えないし、Zorn の補題も使えないってことだ。不便と思わないか? 思わない?? 数学素人か!(^^ 2.選択公理を使わないということは、時枝記事の冒頭の”実数列の集合 R^Nのしっぽが一致する同値類による分類”からして、成立しなくなると思うけどね? どう?  過去スレ35 http://rio2016.2ch.net/test/read.cgi/math/1497848835/12 より  引用:”実数列の集合 R^Nを考える.  s = (s1,s2,s3 ,・・・),s'=(s'1, s'2, s'3,・・・ )∈R^Nは,ある番号から先のしっぽが一致する∃n0:n >= n0 → sn= s'n とき同値s ~ s'と定義しよう(いわばコーシーのべったり版).”  (引用終り) 3.で、選択公理を使わないということは、>>622-624の”同値類”と書いてある部分が、ほとんど全て無効ってことだろ? オオボケじゃないか?(^^  (つまりは、Eq1(>>622)以下あんたの主張も同時にまるまる不成立だろうよ! だから、Eq1以下否定しようがないが言えないじゃん) 4.>>625より”しかし、実はEq1もEq2もただの同値類の設定だし Fnもただの関数の構成方法だから否定しようがない つまり否定できるのはAしかない”  って、A:フルパワー選択公理(>>621)なんだけどさー  普通、おかしいなと思ったら、まず疑うべきは人でしょ? 人はしばしば証明で間違いを犯すからね。それは数学の歴史を見れば分かること  で、選択公理を疑う前に、自分を疑えよ、おい!(^^ オオボケやろうだな、おまえ!(^^



740:132人目の素数さん
17/08/01 08:11:14.09 GqYMhGEg.net
工学バカらしい意見だな

741:現代数学の系譜 古典ガロア理論を読む
17/08/01 08:43:49.37 kfW8JtfN.net
>>652 関連
"順序数ω + ω またはω * 2","順序数ω + ω + ω またはω * 3"

下記、関連引用しておく
過去スレ23 スレリンク(math板:39番)
39 自分返信:現代数学の系譜11 ガロア理論を読む[] 投稿日:2016/09/18(日) 14:34:19.36 ID:9cd3XTDs [37/51]
(抜粋)
区間(0,2)の間には、2つの分数列
  区間(1,2)の分数列 1+1/2,1+1/3,1+1/4,1+4/5,・・・,1+1/n,1+1/(n+1),・・・
  区間(0,1)の分数列 1/2,1/3,1/4,4/5,・・・,1/n,1/(n+1),・・・
が構成できて、それを連結した1本の数列
1+1/2,1+1/3,1+1/4,1+4/5,・・・,1+1/n,1+1/(n+1),・・・> 1/2,1/3,1/4,4/5,・・・,1/n,1/(n+1),・・・
が構成できる

この1本の数列の集合としての濃度は、可算無限
で、ヒルベルトの無限ホテル>>8でも良いし、時枝の「箱がたくさん,可算無限個ある.箱」>>2でも良いが
要するに、2列の可算無限個ある箱の列Aと列Bとを作って、列Aを区間(0,1)の分数列に、列Bを区間(1,2)の分数列にヒモ付け(全単射)する

それで、>>8-11に書いたように、決定番号が有限に収まらない数列の実例が構成できる
もちろん、こうして構成した(決定番号が有限に収まらない)数列の実例が、R^Nが収まらないとか言いたいのかもね(^^

別にかまわん。それが、数学的に”fully rigorous”に証明できるならね
だが、出来ないだろう

区間(0,2)の連結した1本の数列
1+1/2,1+1/3,1+1/4,1+4/5,・・・,1+1/n,1+1/(n+1),・・・> 1/2,1/3,1/4,4/5,・・・,1/n,1/(n+1),・・・ の存在

自然な順序で整列したこの可算無限の数列の存在は、否定できまい
この数列の存在が否定できない以上、この数列をベースした箱の列が存在し、箱に入る数でなにかある数列が構成できる。その数列による同値類分類が存在するはず(完全代表系なんだろ?)

その数列の代表番号がどうなるのか?
それを考えて見ろ
(引用終り)

742:¥氏
17/08/01 09:57:16.91 +7fRVElh.net
そういう『工学部を見下げる意識』だが、実際に「故無き事とはとても言えない」のは認めざる
を得ないとしても、それは我が国の弱点でしょうね。かく言う私自身も工学部的な感覚が大嫌
いだとは認めるものの、この縦割りの気質が日本のサイエンスを弱くしてるのは確か。

まあ「役に立たなくてカネにならないモノは無益」という思想と、そういう人種を見下げる気質
からは、例えばCTスキャンやMRIは生まれない。日本人はバカ民族という事だろう。



743:132人目の素数さん
17/08/01 10:44:29.44 0cPZ3uZJ.net
>>664
おっちゃんです。
>まあ「役に立たなくてカネにならないモノは無益」という思想と、そういう人種を見下げる気質
>からは、例えばCTスキャンやMRIは生まれない。
CTスキャンの方は、ゲルファント流の積分幾何に関連した未解決問題について、
或る日本人がラドン変換を用いて逆問題の理論を発展させた。
その結果を工学者が応用したことで、現代的なCTスキャンが生まれた。
まあ、そこ「だけ」にこだわっていえば、応用数学ともいえるわな。
そのゲルファント流の積分幾何の理論の全体は、対称空間上の調和解析にまで発展して、とても長い。

744:132人目の素数さん
17/08/01 10:50:55.56 0cPZ3uZJ.net
>>627
>「おっちゃんは、結構初期からのこのスレの住人でね(^^
>スレ主は、古くからの住人を大切にするんだよ~(^^」でどうかな
これなら特に問題はないと思う。

745:132人目の素数さん
17/08/01 10:54:19.11 0cPZ3uZJ.net
>>664
>>665の訂正:
対称空間上の調和解析 → 対称空間上の幾何解析

746:132人目の素数さん
17/08/01 11:02:49.63 I+jKefSz.net
>>655
> 確率計算の根拠は以下
> ・長さnの順列はn!個(自明)
> ・各順列を値にもつ確率は等しい 
> (関数(R^∞)^n→N^nが、変数の交換により不変であり
> 変数の交換は各順列を代表にもつ同値類どうしの変換となるから)

>>657において2つの実数列R^Nがfixされているならば無定義君の主張は成り立つ
このときΩ={r1∈R^N}×{r2∈R^N}×Sであり有限の可測空間(S, 2^S)で話は収まる
よって命題Aは示される(無定義君の「100!論法」はまったく必要ないが・・・)

>>608
> 命題A:任意のfixされたr∈R^Nで99/100が成り立つ
> 命題B:r∈R^Nを確率標本にとっても99/100が成り立つ

しかしR^Nが確率的に選ばれる命題Bは「100!論法」をもってしても示せない(笑)
非可測なd:R^N→Nが根本にあるかぎり、どれだけ順列や同値類を捏ね回しても非可測性は解決しない

改めて>>621-625を読んでみたが、R^Nの確率空間の記述がどこにもないんだよな

>>610
> この馬鹿はなぜかrをfixしたがる
> いわゆる肛門期かもしれんw

という幼稚な煽りをしておきながら、
お前の渾身の>>621-625はR^Nをfixしなければ成り立たない
こんなしょぼいオチはねーだろカス

747:¥氏
17/08/01 11:29:38.92 +7fRVElh.net
数学の内部だけでも代数、幾何、解析とキッチリ棲み分けるし、そもそも純粋数学と応用数学
とを別物として区別する。そして物理とか計算機は蚊帳の外。かつての阪大での学部教育で
あるとか、或いは筑波の縦割りを思い出せば気持ちが悪くなる。かつて垣間見た作用素環論
も極めて閉鎖的だったが、でも量子群だって「代数で出来る事しかしない人ばかり」だった。

でも私が心配するのは昨今話題の再生医療とか、或いはAI関係だ。こういう新しい研究領域
では各種様々な(気質や動機が)異なる研究分野が入り混じらないと『諸外国には絶対に勝
てない』のではないかと。こんな馬鹿な


748:事をしてたら(欧米どころか)中国にでさえアッサリと 負ける事になるだろう。そう言えばハイテク日本が誇るホリエモンのロケットよりも貧乏北朝鮮 のミサイルの方が『遥かに大成功してる』と思うのは、果たして私だけだろうか。 ¥



749:132人目の素数さん
17/08/01 12:20:18.92 0cPZ3uZJ.net
>>669
>こういう新しい研究領域では各種様々な(気質や動機が)異なる研究分野が入り混じらないと
>『諸外国には絶対に勝 てない』のではないかと。こんな馬鹿な事をしてたら
>(欧米どころか)中国にでさえアッサリと負ける事になるだろう。
何かの記事を写したかのような文章だな。これに似た文章をよく見かける。
まあ、一人でわめいていておくれ。もしかしたら、偽物の\である可能性がある。

750:¥氏
17/08/01 12:50:49.26 +7fRVElh.net
日本は徒弟制度の思想圏だから、まあゲゼルシャフトとでも言うべきなのか:
★★★『遣り方を固定し、そしてソレを規則で雁字搦めにして個人を縛り付ける今の自民党安倍方式』★★★
という事をするでしょ。だから内部に居ればソレこそ『息が出来ない』という話ですわ。かつて
の作用素環論なんて、それこそ「窒息集団そのもの」ですわ。筑波も凄かったけどサ。

私はもはや「対岸から見てるだけ」ですが、でも再生医療なんていうのはあのSTAP騒動の時
に色んな人が騒いでましたが、あんなんじゃ『若い人が可哀想』ですわ。まあ医学部と理学部
と薬学部と工学部が、それぞれの利害関係を背負って(人事とか予算で)「陣地取り抗争事件
で実弾が飛び交う」なんてのが、あの笹井の首吊り騒動ではないかと。

日本人は研究そのものはソッチノケにして人事とか予算で血眼にナル、まあヤクザと一緒よ。
若いモンを脅して屈服させる芳雄と全く同じですわ。目の前で茶碗を割って威嚇するとか。

ケケケ¥

751:現代数学の系譜 古典ガロア理論を読む
17/08/01 12:51:38.68 gpKQ4DGY.net
おっちゃん、どうも、スレ主です。
なるほどね。自分は別だと
「きちんと研究している」と言いたいんだね~(^^

752:132人目の素数さん
17/08/01 13:00:40.18 0cPZ3uZJ.net
>>671
新聞のコラムや小さな枠の余録とかでも、日本の政治に限らず世界の様々なことについて、
あなたの批判に似たような批判の文章をよく見かける。よくいわれていること。
改めてここで書く必要はない。

753:132人目の素数さん
17/08/01 13:08:04.78 0cPZ3uZJ.net
>>672
本物の\であれば、>>665>>667のようなことは知っている筈。
見方によっては、代数解析の線形偏微分方程式系の研究が終わった後の発展形ともいえる。

754:132人目の素数さん
17/08/01 13:17:55.26 0cPZ3uZJ.net
>>672
まあ、「線形偏微分方程式系の研究が終わった後の発展形」というよりは
「連立線形偏微分方程式系の研究が終わった後にその研究者が関与した道の数学」
と書いた方が適切だと思うが。

755:現代数学の系譜 古典ガロア理論を読む
17/08/01 13:37:02.92 gpKQ4DGY.net
次スレ
現代数学の系譜 古典ガロア理論を読む37
スレリンク(math板)

このスレはいま510KBでもうすぐ書けなくなります
>>9スレリンク(math板:9番)
の方針で行きますので、”賛同できる方だけ”で、お願いします。(^^

なお、このスレも暫く(あと6KB)書けます(^^

756:¥氏
17/08/01 14:03:12.13 +7fRVElh.net
では、詰まらない追加を。

かつての重点領域のテーマだったものとして数論幾何学、低次元トポロジー、可解格子模型、
共形場理論、量子群があった。まあ目立つ流行(だった)という認識だと思うが、でも:
★★★『


757:世界的な流行である重要な研究分野であり、従って「お金さえ注ぎ込めば進展する筈」という甘さ』★★★ はあったでしょうね。でもこういう「流行ばっかし追求する」ってのは今から考えたら(特に日本 人には)危険かも知れませんね。だからこういうのは絶対に権威化したらダメでしょうね。 そのちょっとアトには複雑系ってのもあっただろうし、それに今でも「即戦力として社会に還元 する数理科学」とかがスローガンになってるっぽいのが、ちょっと怖い。でも最近必要があって 再読した『迷走する物理学』(リー・スモーリン著)にあるストリング理論の批判ってのが、今と なってはいい教訓かも知れませんね。私自身は「ストリングはちゃんと数学に貢献した」と思 いますが、でも物理の側から見れば、まあああいう批判もアリかと。(だから次はトポロジカル 絶縁体という事でもないんだろうけれど。) まあハッキリと言ってしまえば『チカラのある人は流行に手を付けても大丈夫』でしょう。でも そうではない人達も居るのであり、その時の流行しか知らない人達は「アトで困る」のかも知 れませんね。だから何れにしても: ★★★『(遣り方を真似る、のではなくて)きちんと自分の頭で考えるというのが基本中の基本』★★★ ではないかと。徒弟制度ニッポンには難しいかも知れませんが。 ¥



758:現代数学の系譜 古典ガロア理論を読む
17/08/01 14:23:41.40 gpKQ4DGY.net
>>677
¥さん、どうもスレ主です。仏では、エコール・ポリテクニークの影響で、工学と数学の壁は薄い
というか、工学(テクノロジー)蔑視ではないという気もします。
もし、このスレが書けなくなれば、あとは次スレで
URLリンク(ja.wikipedia.org)
(抜粋)
エコール・ポリテクニーク(Ecole polytechnique、通称X)は、パリ市近郊パレゾーに位置するフランスの公立高等教育・研究機関。
グランゼコールのひとつであり[3][4]、4年の課程でIngenieur Polytechnicien の理工系学位を付与する[5]。
学生やディプロム授与者はポリテクニシャン(polytechnicien)と呼ばれる。学生の多くは、予備大学で2年間の数学と物理を学んだ後、または理学士(Bachelor of Science)を取得したのちに、本校を受験することとなる。
1794年のフランス革命中に、数学者ラザール・カルノーとガスパール・モンジュによって創設され、1804年にナポレオン・ボナパルトによって軍学校とされる。今日ではフランス国防省の配下にある。
ParisTechの設立メンバーとしてパリ近郊の各高等工科系の学校とグループを結んでいる。
"ポリテクニック"の語源となった学校であり、世界中にエコール・ポリテクニークをモデルとした学校・大学が存在する。
理工系エリート(テクノクラート)養成の機関であり[6]、同校からは3名のノーベル賞受賞者、1名のフィールズ賞受賞者、3名のフランス大統領、複数の企業CEOを輩出している。
2015年Timesの世界大学ランキングによって、フランス国内において第一位と認定された。

歴史
1794年、フランス革命中にラザール・カルノーとガスパール・モンジュにより Ecole centrale des travaux publics の名称で設立される。初代校長


759:はジョゼフ=ルイ・ラグランジュが就いた[要検証 ? ノート]。 1805年、皇帝ナポレオン・ボナパルトは、パリ市カルチエ・ラタンに軍学校として移設。 1994年1月に東京大学工学部と国際交流協定を結んでいる。 つづく



760:現代数学の系譜 古典ガロア理論を読む
17/08/01 14:24:37.94 gpKQ4DGY.net
>>678 つづき

組織

ナポレオン・ボナパルトがフランス革命後の技術将校の不足に対処するために軍に所属させた経緯により[6]、現在も国防省が所管する。
但し、あくまでそれは歴史的経緯であり、エコール・ポリテクニーク(Ecole polytechnique)は、軍事系グランゼコールではなく理工系グランゼコールであり、
士官養成のためにサン・シール陸軍士官学校や海軍士官学校、空軍士官学校など軍事系のグランゼコールが別に存在する。
1学年は約500名であり(フランス人400名、留学生100名)、修了年限は5年。ただし、最初の1か月は軍事教練であり、その後に軍隊、警察、消防隊、官庁などに派遣されて、6か月間の体験研修を受ける。
入学時に少尉に任官され、在学中は卒業までの間、給料が支給される[6]。卒業後10年間は公務員として働く義務を負い、辞退者にはペナルティが課される[6]。

著名な出身者
詳細は「[[::en:List of Ecole Polytechnique alumni|:en:List of Ecole Polytechnique alumni]]」を参照

アンリ・ポアンカレ (数学者・哲学者)
オーギュスタン=ルイ・コーシー (数学者、「コーシー列」、「コーシーの平均値の定理」、「コーシーの積分定理」、「コーシー・リーマンの関係式」など)
カルロス・ゴーン (日産自動車社長兼CEO)
シメオン・ドニ・ポアソン (数学者・物理学者。後に同校教授。「ポアソン比」、「ポアソンの法則」、「ポアソン分布」など)
ジャン=クリストフ・ヨッコス(数学者、フィールズ賞受賞)
モーリス・アレ(経済学者、物理学者。ノーベル経済学賞受賞)
レオンス・ヴェルニー(技術者、横須賀造船所所長)
(引用終わり)
以上

761:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています


最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch