現代数学の系譜 古典ガロア理論を読む36 [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
現代数学の系譜 古典ガロア理論を読む
前スレ現代数学の系譜 古典ガロア理論を読む35
http://rio2016.2ch.net/test/read.cgi/math/1497848835/
小学レベルとバカプロ固定、High level people、サイコパス お断り！High level people は自分達で勝手に立てたスレ28へどうぞ！sage進行推奨（＾＾；
旧スレが512KBオーバーで、新スレ立てる
このスレはガロア原論文を読むためおよび関連する話題を楽しむスレです
（最近は、スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。ガロア関連のアーカイブの役も期待して。） 👀
Rock54: Caution(BBR-MD5:0be15ced7fbdb9fdb4d0ce1929c1b82f) >>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（時枝記事成立）とが、直に連動していると思うんだよね（＾＾ >>611
＞これは100！個の元から成る標準的な離散確率空間
＞を考えているのと 同じことであり、完全に測度論の一部
しかし、関数の値は順列であって決定番号ではない
つまり、「決定番号の測度」とは無関係
まったく測度論に基づかない、とは一度もいってない
>>613
測度論を用いない、とはいってない
「決定番号の測度によらない」といったまで
これこそ言葉を正確に用いた論理による推論 >>614
＞お前は測度から導く必要がないという
いいや
「決定番号の測度」から導く必要がない、といったまで
「順列の測度」から導いて見せた これが答え
これこそ正確な定義
>>615
＞『順列どうしはみな同じ"確率"になる』
＞といわれても意味不明である
独立性の定義を知らんのか？
なら今ここで、教えてやろう
独立（どくりつ）とは、確率論において、
「2つの事象（英語版）が成立する確率が
それぞれの確率の積で表されること」を言う
二つの数列が独立なら、当然確率は積であらわせる
だから二つの数列を交換しても確率は変化しない
＞非可測な自然数100個を順列に置き換えたところで
＞非可測である状況はなんら変わらない
残念ながらそれは全然成立しないｗ
どの順列についても、
「その順列を値とする数列100個」の集合全体
の測度は1/100! >>616
＞フルパワー選択公理を使うのは、数列のしっぽの同値類と決定番号までだな
その通り idiotでもさすがにそのくらいは分かるんだな
同値類の代表列が取れれば予測に必要な情報が得られる
分かってるか？idiot >>617
>A：フルパワー選択公理
>B：時枝問題（例えばR^Nに対して）の数列の同値類から決定番号まで
>C：あなたの”独創的（確率論不要？）な言い訳”
>D：時枝記事成立（ある箱の数を当てる確率99/100）
>ロジックは
>（A & B） & C → D（時枝記事成立）
粗雑だな
（続く） >>621の続き
Eq1：時枝問題（例えばR^Nに対して）の数列の同値類の設定
Lm1：時枝問題の同値類の代表列＆決定番号（自然数）
(A & Eq1) → Lm1 >>622の続き
Eq2：自然数のｎ組の順序関係に関する同値類の設定
「(a1,･･･,an)と、(b1,･･･,bn)は、任意のi,jについて
ai,aj間とbi,bj間の大小関係が等しいとき同値とみなす」
Lm2：自然数のｎ組の順序関係に関する同値類から
順序を保存する長さｎの代表順列を選択する
Eq2→Lm2 （*順列は有限個だから可算選択公理すら必要ない！） >>623の続き
Fn ：「数列から自然数への関数f」から
「数列のｎ組から自然数のｎ組への関数f_n」が
構成できる
f_n(r1,･･･,rn)=(f(n1),･･･,f(rn))
Lm3：関数f_nから、自然数のｎ組の順序に関する
同値類の代表元を利用してできる関数f_n!について
順列i番目の要素が最大になる確率はiによらず1/n
Lm2 & Fn→Lm3 (数列のn組の順序の入れ替えにより、
異なる順列の同値類に1対1対応する。
かつ、i番目が最大になる長さnの順列は
iによらず長さnの順列全体の1/n) >>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. ID:dVIlvrwA(旧One Stone)さん、どうも。スレ主です。
えらいね〜。逃げたのかと思ったよ〜！（＾＾
>>620 レスありがとう。助かるね（＾＾
>>621-625は、 そこらは、ID:CUcZZyWZさんたち（おそらく旧来のHigh level people たち）の獲物だから、つっつくのは、まずはお任せしようと思う
先がながそうなので、こちらもマイペースでやらせてもらうよ（＾＾
錯綜すると思うが悪しからず（＾＾ >>555
おっちゃん、どうも、スレ主です。
>>おっちゃんは、結構初期からのこのスレの住人でね。かつ、友人なんだ（＾＾
>>スレ主は、友人を大切にするんだよ（＾＾
>お世辞にも、スレ主には友人扱いされたくないw
そうか、了解だ。訂正するよ
「おっちゃんは、結構初期からのこのスレの住人でね（＾＾
スレ主は、古くからの住人を大切にするんだよ〜（＾＾」でどうかな >>619
> 「順列の測度」から導いて見せた これが答え
>
> これこそ正確な定義
お前の言う順列とは100個の決定番号の順列のことである
r∈R^Nが確率的に選ばれるならば決定番号d：R^N→Nは非可測である
100個の決定番号dが非可測なので、順列に焼きなおしたところで非可測である
出直してこい >>535
どうも。スレ主です。
>＞１．”ＡＣを認めたまま「予測不能」という結論を導けるわけない”>>494 は、未証明だな。上記 戸松玲治先生 ”一瞬錯覚してしまう証明”に類似の錯覚だろ？
>”ＡＣを認めるなら「予測可能」”、”「予測可能」と「予測不能」は両立しない”から”ＡＣを認めたまま「予測不能」という結論を導けるわけない”がでる
>”ＡＣを認めるなら「予測可能」”の証明は時枝やHartの記事に書いてある
コテハンがないから、だれがだれか識別困難だったのだが、 ID:JR1UV3RDさんは、旧（文系）High level people （>>2）か！（＾＾
（余談だが、（文系）High level peopleも、現代確率論弱いね。確率論に立ち入ったことは、ほとんど語れないんだね・・）
＜”ＡＣを認めるなら「予測可能」”は不成立＞（だいたい、私が、「未証明！」とか「証明は？」というとき、「それ成立しないだろ」の意図だよ（＾＾）
＜補足＞
１．時枝記事前半に”証明もどき”があるが、時枝記事後半は”証明もどき”の言い訳をぐだぐだ書いている。
言い訳付き証明なので、未完だよ（＾＾
あと追加として、過去に、確率の専門家さん「正直時枝氏が確率論に対してあまり詳しくない」よと http://rio2016.2ch.net/test/read.cgi/math/1497848835/124
さらに、「与太話」と切り捨てていった人２名。おそらく数学科出身が、居ただろ
（なお、ここら辺りは、不成立証明をステップ５辺りで書くよ！）
つづく >>629 つづき
２．Hartの記事の記事 http://www.ma.huji.ac.il/hart/puzzle/choice.pdf? だが
過去スレ35 http://rio2016.2ch.net/test/read.cgi/math/1497848835/28 & http://rio2016.2ch.net/test/read.cgi/math/1497848835/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の落語でいえば”落ち”だったんじゃないかな
（解説するのもやぼだが、列長さ有限の場合には一切成り立たないよ。だから、極限を考えて、列長さ無限の場合も同じだと）
(引用終り)
３．（結論）だから、ここで笑ってやらないと！ Sergiu Hart氏の期待に応えたことにならず、「しらけ〜！」だよ（＾＾
以上 >>544
ID:sTElbR6qさん、どうも。スレ主です。
>http://tenasaku.com/academia/notes/lss07_fujita_release.pdf
貴重な情報ありがとう。貴方は、さすがに他の人とちょっと違って、数学的に意味あるレスができるね〜（＾＾
（数学的に意味あるのは、ここだけだが・・）
http://www.tenasaku.com/tenasaku/
http://www.tenasaku.com/tenasaku/profile.html てなさく こと藤田博司がレンタルサーバを利用して作っている私的なサイトです。 ツイッターでは tenapyon (ゼルプスト殿下) と名乗っています。
https://www.nippyo.co.jp/shop/author/2745.html
藤田博司
1964年京都府生まれ。1987年立命館大学理工学部数学物理学科卒業。1991年名古屋大学大学院理学研究科博士後期課程中退。現在、愛媛大学大学院理工学研究科数理物質科学専攻助教授。専攻／記述集合論（08年1月現在）
(引用終り)
余計な詮索だが、”立命館大学理工学部数学物理学科卒業”ということは、どこか京大数学科でも受けて、すべりどめ立命へってことかな？
愛媛大 藤田 博司先生 所属部署 大学院理工学研究科 数理物質科学専攻か
http://yoran.office.ehime-u.ac.jp/profile/ja.defc0b5bc53f133360392a0d922b9077.html
書籍 2 魅了する無限――アキレスは本当にカメに追いついたのか http://researchmap.jp/fujitahiroshi#biblio
藤田博司 著, 技術評論社, 2009 無限の不思議を数学好きの一般読者に語ります。アキレスとカメのパラドックスを題材として、運動の数学的記述に連続体が必要不可欠であることを説明しています。
これ面白そうだね。似たような話を後でしようと思うのだが・・（＾＾
・・１．キューネン数学基礎論講義 ケネス・キューネン著，藤田博司訳,日本評論社 ３．集合論――独立性証明への案内 ケネス・キューネン著 藤田博司訳, 日本評論社・・・
ああ、ケネス・キューネン 藤田博司訳か！！
いやいや、渕野昌先生がね、さかんにケネス・キューネンを連呼するから、書店で見つけたときに手に取ったんだ
表装が綺麗だったことを覚えている（下記）。ぱらぱら見て、分かり易そうと思ったが、買わなかったんだ〜（＾＾
藤田博司先生、スマン・・（＾＾
http://www.tenasaku.com/tenasaku/authorship.html 本を出しました 紹介、というか、宣伝します >>628
>お前の言う順列とは100個の決定番号の順列のことである
順序構造さえ同じなら数は変わってもいい
そこが順序に関する同値類の狡猾な点（ニヤリ） >>631
＞”立命館大学理工学部数学物理学科卒業”ということは、
＞京大数学科でも受けて、すべりどめ立命へってことかな？
東大も京大も受からないアホウの>>1には関係ないだろｗｗｗｗｗｗｗ ＞逃げたのかと思ったよ〜！（＾＾
死ねよ、ゴキブリ>>1 >>554
◆QZaw55cn4cさん、いや、C++さんどうも。スレ主です。お久しぶりですね（＾＾ 参考 過去スレ29 http://rio2016.2ch.net/test/read.cgi/math/1484442695/547
下記ナイスアシストありがとう
ところで、試験勉強順調ですかね？（＾＾
さて
>>>553
>＞n個の相異なる自然数がどんな分布だろうと
>え？
ナイスアシストありがとう。ここから、分布の論争が始まり、測度から確率へと議論が発展したんだよ！（＾＾
で、下記は、私の証明のステップ完結後の補足に関係するんだが、ちょうど良い機会だから先に補足しておくよ
例えば、１から１０までの数を書いた札があるとする。全部で、10^10(=100億枚)。１から９までの数、各１枚計９枚。残り１０の札、100億-9枚。
100億枚の札をかき混ぜて、ランダムに＊）１０枚引いて貰う。普通、１０枚全部１０番（外れ）の札だな。（有限事象なので確率計算は簡単だが省略する）
まあ、宝くじだと思いなよ。１０番の札は外れくじ！（＾＾
（注＊）ランダム性を保障するために、目隠しをするか、札の数字が見えないようにシールするなどをしておくものとする）
これを一般化して、
１からmまでの数を書いた札があるとする。全部で、10^m。
ここで時枝記事と辻褄を合わせるために、ちょっと細工をします。
[m/2]をガウス記号：m/2を超えない最大の整数 とする
１から[m/2]-1までの数、及び[m/2]＋1からmまでの数 各１枚、計m-1枚。
（１から[m/2]-1までが１等賞、[m/2]＋1からmまでが２等賞、とでも思ってください。）
残り、中央の[m/2]の札は、10^m-(m-1)枚になる。（ほとんど全てこの札になる）
いま、一般性を失うことなく、n<<ｍとしておきます。
10^m枚の札をかき混ぜて、ランダムにｎ枚引いて貰う。普通、ｎ枚全部[m/2]の（外れ）札になる。（同じく、有限事象なので確率計算は簡単だが省略する）
１．∵このような分布の場合、普通、ｎ枚全部[m/2]の札になる。つまり、”n個の相異なる”は言えないから、”n個中ランダムに選んだ1個が最大である確率はほぼ0（ゼロ）”（有限モデルなので、完全にゼロにはならないが。）
２．だから、分布は、時枝記事不成立のキモだな（＾＾ >>632
＞順序構造さえ同じなら
これは仮定を述べているのか？同じであると述べているのか？
後者ならそれを証明せよ（前者なら論外） >>635
オウンゴールで自爆死の>>1は冥途に行きやがれｗｗｗｗｗｗｗ >>632
> 順序構造さえ同じなら数は変わってもいい
> そこが順序に関する同値類の狡猾な点（ニヤリ）
意味不明
お前は何の話をしてんの？
どこから測度論でどこから測度論じゃないのかすら分からんのだが
> お前の言う順列とは100個の決定番号の順列のことである
> r∈R^Nが確率的に選ばれるならば決定番号d：R^N→Nは非可測である
> 100個の決定番号dが非可測なので、順列に焼きなおしたところで非可測である
これの意味が分からんの？
R^Nから決定番号の順列に焼きなおす関数を考えてごらんよ
これが非可測なのが理解できないの？
そもそもあんた、順序って何の話？
どこらへんに決定番号d：R^N→Nの非可測性を回避する論理があるの？
だーれもお前のこと理解できないよ？孤高の無定義君
「理解されなくていい！」っていうならそう宣言してくれる？
誰もお前のことを相手にしないからさ
こういうこと言われるのはお前とスレ主くらいなもんだ >>638
＞意味不明
＞お前は何の話をしてんの？
>>622-625を順を追って読め
＞そもそもあんた、順序って何の話？
＞どこらへんに決定番号d：R^N→Nの非可測性を回避する論理があるの？
>>623から先を読め >>623のEq2の同値類の定義と
>>624のFnの関数構成の定義を
読んで何のことだかわからん奴は
数学のセンスがないから
数学板から失せたほうがいい >>523 追加
＜ステップ２（追加）＞ （選択公覧揩ﾉ懸かる現代滑m率論の基礎 ボレル集合の濃度について）
逃げ道を塞いでおきたいので、下記。（つまり、「現代確率論はフルパワー選択公理を必要とする！」）
ボレル集合、” 上記の超限帰納法による構成において、その各段階で得られた集合の数は、高々連続体濃度の冪であることが示せる”などとあるので、おそらく選択公理は可算レベルでは足りず、連続体濃度の冪までを扱うパワーを必要とするよと。
（なお、後述のように、誤記があるのでご注意）
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 に他ならない」ことである。
つづく >>635
つまり「相異なる」という単語がすごく気になるのです，これって自然に前提にふくめてもいい単語なのでしょうか？ >>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が間違っているんだが（＾＾
なお、下記根拠補足
https://ja.wikipedia.org/wiki/%E9%80%A3%E7%B6%9A%E4%BD%93%E6%BF%83%E5%BA%A6
連続体濃度
(抜粋)
連続体濃度よりも大きな濃度
連続体濃度よりも大きな濃度を持つ集合の例を挙げる。
（R^R: 実変数実数値の函数 R → R の全体の成す集合）
mathbb {R}: R 上のルベーグ集合族、すなわちR のルベーグ可測集合全体の成す集合。
(引用終り)
以上 >>642
＞逃げ道を塞いでおきたいので
おまえ自身の逃げ道塞いでどうするんだ？馬鹿めｗｗｗｗｗｗｗ
私は別に予測可能でも何も困らない
「予測不能」と言い張ってるのはアホウの>>1だけ
そのアホウの>>１に退却路を示してやったのに
よりによって自ら退却路を塞ごうとするとは
さすがに小学生以下の馬鹿ｗｗｗｗｗｗｗ >>643
◆QZaw55cn4cさん、どうも。スレ主です。
レスありがとう
>つまり「相異なる」という単語がすごく気になるのです，これって自然に前提にふくめてもいい単語なのでしょうか？
いつも鋭いご指摘ありがとう。
「相異なる」は、下記時枝記事引用の「s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない」が成り立つ一般的状況を短く表現したんだが・・
確かに文学的表現ではあるね（＾＾
ご指摘の点は、もっと考えてみるよ（＾＾
記
過去スレ35 http://rio2016.2ch.net/test/read.cgi/math/1497848835/13 より
時枝記事引用
”これらの列はおのおの決定番号をもつ.
さて， 1〜100 のいずれかをランダムに選ぶ.
例えばkが選ばれたとせよ.
s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.” >>645
ID:dVIlvrwAさん、どうも。スレ主です。
君はなかなか良いものを持っているんだが、間違いも多いね（＾＾
君の示した退却路なるものは、間違いだよ（＾＾ >>528 関連
> １．”選択公理←→ Zorn の補題←→ 整列可能定理”という関係があって、バリエーション豊富だし
英ZFCの解説では、Well-ordering theorem で説明しているね。確かに、Well-ordering theoremが分かり易いかもしれないね（＾＾
https://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_theory
(抜粋)
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
(引用終り) >>623
残念だけどR^NからNへの関数fが非可測のときは成り立ちません
fをRの順序対からNの順序対への関数にしたところで同じ
出直してきなさい スレ主よ、アホの一つ覚えのようにidiotという語を使っている馬鹿は
たぶんOne Stoneではないだろう。
この馬鹿はOne Stoneより柄が悪い。 >>643
ｎ列の決定番号が相異なる場合
決定番号最大の列は必ず1つ、よって勝つ確率は (n-1)/n
ｎ列の決定番号が相異なるとは限らない場合
決定番号最大の列は1つ以上、よって勝つ確率は (n-1)/n 以上
（複数列だった場合は確率１で勝つ）
時枝問題は正確には後者だよ。しかしいちいち「〜以上」と書くのはめんどくさいよね
それだけのこと。 >>631
>ツイッターでは tenapyon (ゼルプスト殿下) と名乗っています。
藤田博司先生関連
http://kansaimath.tenasaku.com/
?「第8回関西すうがく徒のつどい」@大阪大学は、2016年3月20/21日
http://kansaimath.tenasaku.com/?page_id=1276
?D307(小教室) 「超限順序数と無限玉入れ勝敗判定」(ゼルプスト殿下 @tenapyon) [abstract] [講義資料]
http://tenasaku.com/academia/notes/kansaimath8-tenapyon-abstract.pdf
超限順序数と無限玉入れの勝敗 ゼルプスト殿下 (@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 http://rio2016.2ch.net/test/read.cgi/math/1483075581/481 2017/01/14 で 「第8回関西すうがく徒のつどい」紹介していたんだが
そのときに、「超限順序数と無限玉入れの勝敗 ゼルプスト殿下」も見つけていたんだ
が、これスルーしていたんだ。”ゼルプスト殿下”というふざけた名前だったし・・（＾＾
まあ、どこかの学生の匿名で書いたものと思ったし、内容の真偽の判断が難しかったしね
藤田 博司 先生だったのか・・！ ふざけてないで、早く”藤田”と名乗れよ、おい！（＾＾
これ、無限玉入れ（赤白）の数理が、例えば時枝問題の決定番号を考えるヒントになると思うんだよね〜（＾＾
後でも使うが、参考資料として、先に投下しておくよ
（”ゼルプスト殿下”＝”藤田 博司 先生”が分かったのは、>>544のおかげです（＾＾） >>650
哀れな素人さん、どうも。スレ主です。
レスありがとう
>スレ主よ、アホの一つ覚えのようにidiotという語を使っている馬鹿は
>たぶんOne Stoneではないだろう。
>この馬鹿はOne Stoneより柄が悪い。
彼は、スレ32 http://rio2016.2ch.net/test/read.cgi/math/1495369406/383 2017/05/24
から、idiotという語を使っているね
まあ、One Stoneか否かは、そのうち分かるだろう
両者とも、細かい間違いが多いことは共通しているがね（＾＾ >>641
> >>623のEq2の同値類の定義と
> >>624のFnの関数構成の定義を
> 読んで何のことだかわからん奴は
> 数学のセンスがないから
> 数学板から失せたほうがいい
この言葉はそのままそっくりお前に返る
『>>622-624を書いてどこに穴があるか分からない奴は数学板から失せたほうがいい』
測度論的確率論ではない、というなら話は別だがな
そうであるなら 定 義 を 書 け カ ス >>649
＞残念だけどR^NからNへの関数fが非可測のときは成り立ちません
残念だがルベーグ測度で”のみ”考える馬鹿のままでは分かり様がない
＞fをRの順序対からNの順序対への関数にしたところで同じ
Rの順序対ではなくRの数列の有限列
Nの順序対ではなく順列
確率計算の根拠は以下
・長さnの順列はn!個（自明）
・各順列を値にもつ確率は等しい
（関数（R^∞)^n→N^nが、変数の交換により不変であり
変数の交換は各順列を代表にもつ同値類どうしの変換となるから） >>647
＞君の示した退却路なるものは、間違いだよ（＾＾
ACを認めた瞬間、「予想不能」という妄想が間違いだよ（＾＾
だいたいACはZFの定理じゃないんだから、
ACを認めなくても別にトンデモとはいわれない
そういうことも分からずに
「AC否定したらトンデモ」
と思ってる時点で>>1はidiot 簡単のため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に対する反論である >>655
> 残念だがルベーグ測度で”のみ”考える馬鹿のままでは分かり様がない
なんか思いっきり勘違いしてないか？
出題者はR＾Nを任意に選べるんだから
離散測度で話が収まるわけないじゃん >>655
＞関数（R^∞)^n→N^nが、変数の交換により不変であり
＞変数の交換は各順列を代表にもつ同値類どうしの変換となるから
関数（R^∞)^n→N^n って何？
定義域と値域しか書かかずに何を示した気でいるの？ >>654
ID:CUcZZyWZ さん、どうも。スレ主です。
決着を早めるために、援護射撃するよ（＾＾
昨日ID:dVIlvrwA、今日ID:clpGrOhb君か
君が、One Stoneか否か分からないが、私はそうだと思っているし
ともかく、細かい間違いが多いことは共通しているし、たまにオオボケをやるね、あんた（＾＾
>>656 だけど
”だいたいACはZFの定理じゃないんだから、
ACを認めなくても別にトンデモとはいわれない”
オオボケかましてくれるね〜（＾＾
１．>>648の通り、”選択公理←→ Zorn の補題←→ 整列可能定理”という関係があって、バリエーション豊富。
英ZFCの解説では、Well-ordering theorem で説明している
つまり、選択公理を使わないということは、整列可能定理も使えないし、Zorn の補題も使えないってことだ。不便と思わないか？ 思わない？？ 数学素人か！（＾＾
２．選択公理を使わないということは、時枝記事の冒頭の”実数列の集合 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'と定義しよう(いわばコーシーのべったり版).”
(引用終り)
３．で、選択公理を使わないということは、>>622-624の”同値類”と書いてある部分が、ほとんど全て無効ってことだろ？ オオボケじゃないか？（＾＾
（つまりは、Eq1（>>622）以下あんたの主張も同時にまるまる不成立だろうよ！ だから、Eq1以下否定しようがないが言えないじゃん）
４．>>625より”しかし、実はEq1もEq2もただの同値類の設定だし Fnもただの関数の構成方法だから否定しようがない つまり否定できるのはAしかない”
って、A：フルパワー選択公理(>>621)なんだけどさー
普通、おかしいなと思ったら、まず疑うべきは人でしょ？ 人はしばしば証明で間違いを犯すからね。それは数学の歴史を見れば分かること
で、選択公理を疑う前に、自分を疑えよ、おい！（＾＾ オオボケやろうだな、おまえ！（＾＾ >>652 関連
"順序数ω + ω またはω * 2","順序数ω + ω + ω またはω * 3"
下記、関連引用しておく
過去スレ23 http://wc2014.2ch.net/test/read.cgi/math/1411454303/39
39 自分返信：現代数学の系譜11 ガロア理論を読む[] 投稿日：2016/09/18(日) 14:34:19.36 ID:9cd3XTDs [37/51]
(抜粋)
区間（０，２）の間には、２つの分数列
区間（１，２）の分数列 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+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),・・・
が構成できる
この１本の数列の集合としての濃度は、可算無限
で、ヒルベルトの無限ホテル>>8でも良いし、時枝の「箱がたくさん，可算無限個ある.箱」>>2でも良いが
要するに、２列の可算無限個ある箱の列Aと列Bとを作って、列Aを区間（０，１）の分数列に、列Bを区間（１，２）の分数列にヒモ付け（全単射）する
それで、>>8-11に書いたように、決定番号が有限に収まらない数列の実例が構成できる
もちろん、こうして構成した（決定番号が有限に収まらない）数列の実例が、R^Nが収まらないとか言いたいのかもね（＾＾
別にかまわん。それが、数学的に”fully rigorous”に証明できるならね
だが、出来ないだろう
区間（０，２）の連結した１本の数列
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),・・・ の存在
自然な順序で整列したこの可算無限の数列の存在は、否定できまい
この数列の存在が否定できない以上、この数列をベースした箱の列が存在し、箱に入る数でなにかある数列が構成できる。その数列による同値類分類が存在するはず（完全代表系なんだろ？）
その数列の代表番号がどうなるのか？
それを考えて見ろ
(引用終り) そういう『工学部を見下げる意識』だが、実際に「故無き事とはとても言えない」のは認めざる
を得ないとしても、それは我が国の弱点でしょうね。かく言う私自身も工学部的な感覚が大嫌
いだとは認めるものの、この縦割りの気質が日本のサイエンスを弱くしてるのは確か。
まあ「役に立たなくてカネにならないモノは無益」という思想と、そういう人種を見下げる気質
からは、例えばCTスキャンやMRIは生まれない。日本人はバカ民族という事だろう。
￥ >>664
おっちゃんです。
>まあ「役に立たなくてカネにならないモノは無益」という思想と、そういう人種を見下げる気質
>からは、例えばCTスキャンやMRIは生まれない。
CTスキャンの方は、ゲルファント流の積分幾何に関連した未解決問題について、
或る日本人がラドン変換を用いて逆問題の理論を発展させた。
その結果を工学者が応用したことで、現代的なCTスキャンが生まれた。
まあ、そこ「だけ」にこだわっていえば、応用数学ともいえるわな。
そのゲルファント流の積分幾何の理論の全体は、対称空間上の調和解析にまで発展して、とても長い。 >>627
>「おっちゃんは、結構初期からのこのスレの住人でね（＾＾
>スレ主は、古くからの住人を大切にするんだよ〜（＾＾」でどうかな
これなら特に問題はないと思う。 >>664
>>665の訂正：
対称空間上の調和解析 → 対称空間上の幾何解析 >>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したがる
> いわゆる肛門期かもしれんｗ
という幼稚な煽りをしておきながら、
お前の渾身の>>621-625はR^Nをfixしなければ成り立たない
こんなしょぼいオチはねーだろカス 数学の内部だけでも代数、幾何、解析とキッチリ棲み分けるし、そもそも純粋数学と応用数学
とを別物として区別する。そして物理とか計算機は蚊帳の外。かつての阪大での学部教育で
あるとか、或いは筑波の縦割りを思い出せば気持ちが悪くなる。かつて垣間見た作用素環論
も極めて閉鎖的だったが、でも量子群だって「代数で出来る事しかしない人ばかり」だった。
でも私が心配するのは昨今話題の再生医療とか、或いはAI関係だ。こういう新しい研究領域
では各種様々な（気質や動機が）異なる研究分野が入り混じらないと『諸外国には絶対に勝
てない』のではないかと。こんな馬鹿な事をしてたら（欧米どころか）中国にでさえアッサリと
負ける事になるだろう。そう言えばハイテク日本が誇るホリエモンのロケットよりも貧乏北朝鮮
のミサイルの方が『遥かに大成功してる』と思うのは、果たして私だけだろうか。
￥ >>669
>こういう新しい研究領域では各種様々な（気質や動機が）異なる研究分野が入り混じらないと
>『諸外国には絶対に勝 てない』のではないかと。こんな馬鹿な事をしてたら
>（欧米どころか）中国にでさえアッサリと負ける事になるだろう。
何かの記事を写したかのような文章だな。これに似た文章をよく見かける。
まあ、一人でわめいていておくれ。もしかしたら、偽物の\である可能性がある。 日本は徒弟制度の思想圏だから、まあゲゼルシャフトとでも言うべきなのか：
★★★『遣り方を固定し、そしてソレを規則で雁字搦めにして個人を縛り付ける今の自民党安倍方式』★★★
という事をするでしょ。だから内部に居ればソレこそ『息が出来ない』という話ですわ。かつて
の作用素環論なんて、それこそ「窒息集団そのもの」ですわ。筑波も凄かったけどサ。
私はもはや「対岸から見てるだけ」ですが、でも再生医療なんていうのはあのSTAP騒動の時
に色んな人が騒いでましたが、あんなんじゃ『若い人が可哀想』ですわ。まあ医学部と理学部
と薬学部と工学部が、それぞれの利害関係を背負って（人事とか予算で）「陣地取り抗争事件
で実弾が飛び交う」なんてのが、あの笹井の首吊り騒動ではないかと。
日本人は研究そのものはソッチノケにして人事とか予算で血眼にナル、まあヤクザと一緒よ。
若いモンを脅して屈服させる芳雄と全く同じですわ。目の前で茶碗を割って威嚇するとか。
ケケケ￥ おっちゃん、どうも、スレ主です。
なるほどね。自分は別だと
「きちんと研究している」と言いたいんだね〜（＾＾ >>671
新聞のコラムや小さな枠の余録とかでも、日本の政治に限らず世界の様々なことについて、
あなたの批判に似たような批判の文章をよく見かける。よくいわれていること。
改めてここで書く必要はない。 >>672
本物の\であれば、>>665や>>667のようなことは知っている筈。
見方によっては、代数解析の線形偏微分方程式系の研究が終わった後の発展形ともいえる。 >>672
まあ、「線形偏微分方程式系の研究が終わった後の発展形」というよりは
「連立線形偏微分方程式系の研究が終わった後にその研究者が関与した道の数学」
と書いた方が適切だと思うが。 次スレ
現代数学の系譜 古典ガロア理論を読む37
http://rio2016.2ch.net/test/read.cgi/math/1501561433/
このスレはいま510KBでもうすぐ書けなくなります
>>9 （ http://rio2016.2ch.net/test/read.cgi/math/1501561433/9 ）
の方針で行きますので、”賛同できる方だけ”で、お願いします。（＾＾
なお、このスレも暫く（あと6KB）書けます（＾＾ では、詰まらない追加を。
かつての重点領域のテーマだったものとして数論幾何学、低次元トポロジー、可解格子模型、
共形場理論、量子群があった。まあ目立つ流行（だった）という認識だと思うが、でも：
★★★『世界的な流行である重要な研究分野であり、従って「お金さえ注ぎ込めば進展する筈」という甘さ』★★★
はあったでしょうね。でもこういう「流行ばっかし追求する」ってのは今から考えたら（特に日本
人には）危険かも知れませんね。だからこういうのは絶対に権威化したらダメでしょうね。
そのちょっとアトには複雑系ってのもあっただろうし、それに今でも「即戦力として社会に還元
する数理科学」とかがスローガンになってるっぽいのが、ちょっと怖い。でも最近必要があって
再読した『迷走する物理学』（リー・スモーリン著）にあるストリング理論の批判ってのが、今と
なってはいい教訓かも知れませんね。私自身は「ストリングはちゃんと数学に貢献した」と思
いますが、でも物理の側から見れば、まあああいう批判もアリかと。（だから次はトポロジカル
絶縁体という事でもないんだろうけれど。）
まあハッキリと言ってしまえば『チカラのある人は流行に手を付けても大丈夫』でしょう。でも
そうではない人達も居るのであり、その時の流行しか知らない人達は「アトで困る」のかも知
れませんね。だから何れにしても：
★★★『（遣り方を真似る、のではなくて）きちんと自分の頭で考えるというのが基本中の基本』★★★
ではないかと。徒弟制度ニッポンには難しいかも知れませんが。
￥ >>677
￥さん、どうもスレ主です。仏では、エコール・ポリテクニークの影響で、工学と数学の壁は薄い
というか、工学（テクノロジー）蔑視ではないという気もします。
もし、このスレが書けなくなれば、あとは次スレで
https://ja.wikipedia.org/wiki/%E3%82%A8%E3%82%B3%E3%83%BC%E3%83%AB%E3%83%BB%E3%83%9D%E3%83%AA%E3%83%86%E3%82%AF%E3%83%8B%E3%83%BC%E3%82%AF
(抜粋)
エコール・ポリテクニーク（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 の名称で設立される。初代校長はジョゼフ＝ルイ・ラグランジュが就いた[要検証 ? ノート]。
1805年、皇帝ナポレオン・ボナパルトは、パリ市カルチエ・ラタンに軍学校として移設。
1994年1月に東京大学工学部と国際交流協定を結んでいる。
つづく >>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）
シメオン・ドニ・ポアソン （数学者・物理学者。後に同校教授。「ポアソン比」、「ポアソンの法則」、「ポアソン分布」など）
ジャン＝クリストフ・ヨッコス（数学者、フィールズ賞受賞）
モーリス・アレ（経済学者、物理学者。ノーベル経済学賞受賞）
レオンス・ヴェルニー（技術者、横須賀造船所所長）
(引用終わり)
以上 ■ このスレッドは過去ログ倉庫に格納されています
