現代数学の系譜工学物理雑談古典ガロア理論も読む76

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む76 (1002ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

867: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/09/08(日) 14:29:17.86 ID:KY2miv9A

＜i.i.d. 独立同分布＞
・現代確率論が、独立な確率変数の無限族を扱えることは、下記時枝記事にもある
（時枝は、「箱にXnのランダムな値を入れられて」と表現しているが、数学では箱自身をXnと考えることができる（念のための注））

・箱が1つある。それをXiとする。サイコロの目を入れる。自明にP(Xi)=1/6
・その回りに箱を1つ増やす。独立で同分布として、サイコロの目を入れるとして、同じく確率は1/6。
・箱をｎ個増やす。上記同様
・箱をｎ＋１個増やす。上記同様
・数学的帰納法により、全ての自然数で成立つ。つまりは、時枝記事の数列に適用できるということ
（自明だが念のため）・そして、時枝先生は、反省しています。　（下記）「もうちょっと面白いのは，独立性に関する反省だと思う.その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，当てられっこないではないか－－他の箱から情報は一切もらえないのだから」
（下記の独立の定義より）
・独立だから、Xi以外の箱の変数の値が分かっても、Xiの確率は変化せず、P(Xi)=1/6のまま
・”i.i.d. 独立同分布”の仮定より、全てのiについて上記は成立する
QED

（参考）
スレ47?https://rio2016.5ch.net/test/read.cgi/math/1512046472/22-
(抜粋)
数学セミナー201511月号P37 時枝記事より
「もうちょっと面白いのは，独立性に関する反省だと思う.
確率の中心的対象は，独立な確率変数の無限族
X1，X2，X3，…である.
n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
当てられっこないではないか－－他の箱から情報は一切もらえないのだから.
(引用終り)

https://ja.wikipedia.org/wiki/%E7%8B%AC%E7%AB%8B_(%E7%A2%BA%E7%8E%87%E8%AB%96)
独立 (確率論)
(抜粋)
2つの事象が独立といった場合は、片方の事象が起きたことが分かっても、もう片方の事象の起きる確率が変化しないことを意味する。2つの確率変数が独立といった場合は、片方の変数の値が分かっても、もう片方の変数の確率分布が変化しないことを意味する[1]。

事象 A と B が独立であるとは、事象 B の起こることが事象 A の起こる確率に一切の影響を与えないことを意味する。

http://rio2016.5ch.net/test/read.cgi/math/1566715025/867

875: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/09/08(日) 17:48:30.99 ID:KY2miv9A

>>867 補足追加

1～pまでの数をランダムに箱に入れる
（例えば、1～pまでの整数の札を、毎回シャッフルして選ぶ。選んだ数を書いた紙を箱に入れる。札は戻して、繰返す。）
箱は、取り敢ず有限ｎ個とする。

d=1,　 2,　 　3,　 　4, 　・・・,　　n-1,　 　　　　　n
*)1,p-1,p^2-p,p^3-p^2,・・・,p^(n-1)-p^(n-2),p^n-p^(n-1)

ｄは決定番号
*)は、場合の数で、全体ではp^n
これを確率分布に直すと

d=　 　1,　 　 　2,　 　 　3,　 　 　 　4　　　　　,　・・・,　 　n-1, 　n
p=1/p^n,1/p^(n-1),(p^2-p)/p^n,(p^3-p^2)/p^n,・・・,p^-p^2, 1-1/p

時枝の決定番号では、見ての通り、nが大きくなっても
減衰しません（下記「裾の重い分布」ご参照）

こういう分布で、ｄ→∞ になると
なので、ｄ→∞で確率論における確率測度（probability measure ）（例えば下記重川「定義1.3」（特にP(Ω)＝1）など）を満たさなくなるのです

https://ja.wikipedia.org/wiki/%E8%A3%BE%E3%81%AE%E9%87%8D%E3%81%84%E5%88%86%E5%B8%83
裾の重い分布
(抜粋)
裾の重い分布あるいはヘヴィーテイルとは、確率分布の裾がガウス分布のように指数関数的には減衰せず[1]、それよりも緩やかに減衰する分布の総称。 また類似の用語に、ファットテイル、裾の厚い分布、ロングテール、劣指数的(subexponential)などがある。

スレ74 https://rio2016.5ch.net/test/read.cgi/math/1564659345/72-
https://www.math.kyoto-u.ac.jp/~ichiro/lectures/2013bpr.pdf
2013年度前期 確率論基礎 講義ノート 重川一郎 京都大学大学院理学研究科数学教室
P6
定義1.3 可測空間（Ω,F）上の測度PでP(Ω)＝1 を満たすものを確率測度（probability measure ）という。

http://rio2016.5ch.net/test/read.cgi/math/1566715025/875

877: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/09/08(日) 18:09:43.41 ID:KY2miv9A

>>870
ピエロちゃんじゃないのかね？
もし、違ったら、ご容赦
（まだ疑念は残るが）
なお、”ピエロ”の定義は、>>2ご参照

(引用開始)
”あなたは「自然数論の真偽の定義」を示せていませんね
要するにあなたは論文を理解できないにもかかわらず
論文の著者を無条件に信じた愚か者ですね”
(引用終り)

ご冗談でしょｗ
貴方は、どんなに偉い人かしらないが
ただの １３２人目の素数さん＝ID:bH+0Hw/zでしょ
いや、別に、数学を偉さで判断しようとは思わないが

あなたは、前原昭二先生の 1979の投稿論文（下記）が間違っていると言いたいわけ？？ｗｗ（＾＾
この5CHのガロアスレで、言いたいわけ？ｗ
議論の場所を間違えていませんか？
自分の蘊蓄を語りたいの？
なら論文投稿したら？
それとも精神科を紹介しましょうか（＾＾

参考（>>802）
https://www.jstage.jst.go.jp/article/kisoron1954/14/3/14_3_107/_pdf/-char/ja
自然数論 の無 矛盾性証明の必要性
前原昭二 筑波大学数学系 科学基礎論研究 Vol.14 1979

（>>821）
https://ja.wikipedia.org/wiki/%E8%AB%96%E7%90%86%E5%AD%A6%E8%80%85
論理学者
(抜粋)
前原昭二

https://kotobank.jp/word/%E5%89%8D%E5%8E%9F%E6%98%AD%E4%BA%8C-1109232
コトバンク
前原昭二（読み）まえはら しょうじ デジタル版 日本人名大辞典+Plusの解説

1927－1992　昭和後期-平成時代の数学者。
昭和2年10月30日生まれ。
38年東京教育大教授となる。
52年筑波大教授。
55年東京工業大教授。
63年放送大教授。
数理論理学の研究で知られる。平成4年3月16日死去。64歳。
東京出身。東大卒。著作に「数学基礎論入門」「記号論理入門」など。

http://7shi.hateblo.jp/entry/2018/11/02/222443
七誌の開発日記
2018-11-02
(抜粋)
ブルバキ数学原論日本語訳の巻番号
リスト
1．1968年『集合論 1』前原昭二訳（第1章、第2章）

http://rio2016.5ch.net/test/read.cgi/math/1566715025/877

889: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/09/09(月) 08:09:28.11 ID:w2gV7wtr

>>882
あなたの議論は、無意味だと思う

１）下記のように、標準的な確率論のテキストで、
確率現象、例えば、硬貨投げやサイコロ投げの
無限回の試行が記載されている
２）それによる無限長の数列が記載されている
３）下記の日大テキストのように、無限長の数列の一部を取り出して、確率を論じることは可能
　勿論、無限長の数列の一つを取り出して、確率を論じることも可能
４）よって、これらの確率現象による無限長の数列を、時枝に適用すれば良い

参考（>>876）
P12 例 1と例 2 ご参照
http://www.math.chs.nihon-u.ac.jp/~mori/
Makoto Mori
http://www.math.chs.nihon-u.ac.jp/~mori/Lecture_Notes/probability2.pdf
確率論 Makoto Mori 日大 2013
P12
第 1 章 確率空間
例 1 An = {ω ∈ {0, 1}^N : ωn = 1} とおけば，P(An) = 1/2 は，Borel?Cantelli
の (2) をみたす．したがって，確率 1 で硬貨投げは表が無限回現れる．
例 2 Akn = {{0, 1}^N : ωn = ・ ・ ・ = ωn+k?1 = 1} とおけば，P(Akn) = 1/2^k は，
Borel?Cantelli の (2) をみたす．したがって，確率 1 で硬貨投げは表が連続 k
回が無限回現れる．確率 1 の集合の可算交わりは確率 1 なので，いくらでも
長い連が確率 1 で現れる．
P28
第 3 章 確率変数
例 4 X1, X2, . . . を独立な硬貨投げとする．

（>>737）
>>730 東大 会田茂樹 PDF
「(3) 無限回のサイコロ投げ
何回も独立に
サイコロ投げを続けることを考える. その試行の結果として、1～6 の数字の無限列が現れる.
この無限列一つ一つが根元事象とみなせる. すなわち
Ω は Ω = ｛ a1, a2, ・ ・ ・ , an, ・ ・ ・) ｜ ai = 1, ・ ・ ,6 ｝」
さらに、追加で会田茂樹 PDF P3 10行目
「なんらかのランダムな現象や試行があり、その結果得られる数値一つ一つが
根元事象を、数値全体が標本空間になっていることを注意しておきます. このランダムな数値が確率変数,
ランダムな数値がどのように分布しているかを表すのが確率分布になります.」
(引用終り)
無限回のサイコロ投げ、１回投げる毎に入れる。それだけです
https://www.ms.u-tokyo.ac.jp/~aida/lecture/24/lecture2012.pdf
数理統計学 会田茂樹 東大

http://rio2016.5ch.net/test/read.cgi/math/1566715025/889

895: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/09/09(月) 10:01:42.58 ID:w2gV7wtr

>>888
>以下の新井敏康氏の論文を読むと

「国立情報学研究所教授の新井紀子は妻[2]」か、なるほど（＾＾

>前原昭二氏が「自然数論の真偽の定義」でいおうとしていたのは
>ε-代入法のことであるらしいと想像される

「あるらしいと想像される」とは、どういう物言いなんですかね
人に、”おまえは理解せず引用している”というお人がｗ（＾＾
そもそも、ε-代入法は、前原昭二氏の論文について書いたことではない（前原昭二氏の論文は、新井氏の参考文献に挙げられていない）

新井氏論文より引用
”Gentzenの証明は,証明図の正規化cut-elimination
と呼ばれる方法によっており,説明には紙幅を要する。
一方,Hilbertがその無矛盾性証明の方法として提案
し,[Ackermann 1940]においてPAに対して実行さ
れたε-代入法(ε-substitution method)の発想は,単
純なものなのでこれについて少し説明する。”

なので、Gentzenの証明の代用として、ε-代入法を説明するとなっていますよ
（Gentzen(1936)は、新井氏、前原氏で共通ではあるけれども）

＞素人のID:KY2miv9Aには何のことやらチンプンカンプンでしょう

”素人”は、正しい
しかし、”チンプンカンプン”でもないみたい
その直前の”ε0-ordering”については、過去ZFC公理系の話題のときに
英文で”ε-ordering”、正確には、∈を利用した順序があり読んだけど
（面倒なので過去ログは探さないが、興味があればどうぞ。10スレくらい過去かな）
その類推で、やりたいことは、なんとなく分かるよ

あと、どんどん蘊蓄書いてください
あなた、面白いわ

（参考）
https://ja.wikipedia.org/wiki/%E6%96%B0%E4%BA%95%E6%95%8F%E5%BA%B7
新井 敏康（1958年 - ）は、日本の数学者、論理学者。東京大学大学院数理科学研究科教授。専門は数学基礎論[1]。国立情報学研究所教授の新井紀子は妻[2]。
東京都生まれ。
(抜粋)
略歴
1958年（昭和33年）- 東京都生まれ。
東京大学教養学部基礎科学科卒。
筑波大学数学系大学院博士課程修了。
2001年- 2007年- 神戸大学大学院自然科学研究科教授。
2019年- 東京大学大学院数理科学研究科教授。

https://researchmap.jp/tosarai/
新井　敏康

http://rio2016.5ch.net/test/read.cgi/math/1566715025/895

906: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/09/09(月) 11:13:49.87 ID:w2gV7wtr

>>895
>その直前の”ε0-ordering”については、過去ZFC公理系の話題のときに
>英文で”ε-ordering”、正確には、∈を利用した順序があり読んだけど

過去ログにも引用したと思うが、貼る（＾＾
https://ja.wikipedia.org/wiki/%E6%95%B4%E7%A4%8E%E9%96%A2%E4%BF%82
整礎関係
(抜粋)
数学において、二項関係が整礎（せいそ、英: well-founded）であるとは、真の無限降下列をもたないことである。

帰納法と再帰
整礎関係が興味深い重要な理由は、それによって超限帰納法の一種が考えられることにある。すなわち (X, R) が整礎関係で P(x) が X の元に関する何らかの性質であるときに、 P(x) が X の「すべての」元に対して満たされることを示すには、以下を示せば十分である。

x を X の元とするとき、y R x なる全ての y に対して P(y) が真であるならば P(x) は必ず真である。つまり、

このような整礎帰納法 (well-founded induction) は、エミー・ネーターにちなんでネーター帰納法 (Noetherian induction) とも呼ばれることがある[4]。

例
全順序でない整礎関係の例。
・集合を要素とする任意のクラスの集合要素関係 ∈ 。これは正則性公理そのものである。

その他の性質
(X, <) が整礎関係で x が X の元ならば、x から始まる降鎖列は必ず長さ有限だが、これはこのような降鎖の長さが有界であるということを意味しない。
以下のような例を考えよう。X は正の整数全体の成す集合に、どの整数よりも大きな整数ではない新しい元 ω を付け加えた集合とする。このとき X は整礎だが、ω から始まる長さ有限の降鎖列でいくらでも長いものが取れる。なんとなれば、任意の正整数 n に対して
ω, n ? 1, n ? 2, ..., 2, 1
という鎖は長さ n を持つ。

モストウスキーの崩壊補題 (Mostowski collapse lemma) によれば、集合要素関係 (set membership) は普遍的な整礎関係である。
つまり、クラス X 上の集合的な整礎関係 R に対し、クラス C が存在して、(X, R) が (C, ∈) に同型となる。

http://rio2016.5ch.net/test/read.cgi/math/1566715025/906

909: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/09/09(月) 13:14:34.31 ID:w2gV7wtr

>>896
>「まあ、その」と「一応は」は削除してください
>誠意が感じられません

一時的にでも、コテハンとトリップ付けたらどう？
名無しさんで、日替わりIDで出没して、誠意を求められてもね。それ、どうなんですかね？
成り済ましとどうやって区別しろとｗ（＾＾

>あなたがPDFを読んでいないことは明らかですね
>「自然数論の真偽の定義」でサーチしただけでは見つかりませんよ

意味わからん
前原PDF（>>802）に、その”定義”が、明記されていないのに、それを読み取れといのか？
話は逆。「自然数論の真偽の定義」という、幻を、あなただけ読んだのでは？
それって、数学？（＾＾

https://www.jstage.jst.go.jp/article/kisoron1954/14/3/14_3_107/_pdf/-char/ja
自然数論 の無 矛盾性証明の必要性
前原昭二 筑波大学数学系 科学基礎論研究 Vol.14 1979

(引用開始)
　「直観主義的自然数論の基礎づけは,
　　上述のような常識的解釈だけでは困難である。
　　”命題の真偽”に,より精密な”定義”を与えることが必要となる。
　　そして,それを実行したのが,ゲソツェンによる
　　"自然数論の無矛盾性証明"である。」
ほら、”命題の真偽”と”定義”が出てきたでしょう。
(引用終り)

１）引用部分が、前原が意図して書いた「自然数論の真偽の定義」ではない。そういう用語は、前原PDFに無い
２）前原「”命題の真偽”に,より精密な”定義”」ですよね、あなた「自然数論の真偽の定義」とは微妙に違うよ
３）「そして,それを実行したのが,ゲソツェンによる"自然数論の無矛盾性証明"である。」とあるのだから
　　ここの、”命題の真偽”は、自然数論（内）の真偽ではなく、外部の広く一般の論理における”真偽”でしょ？
４）「自然数論の真偽の定義」という自分独自の用語には、あなたが自身が定義を与えるべき
　それ（独自説）を他人に読み取れと、強要すべきではないとおもいますよ

つづく

http://rio2016.5ch.net/test/read.cgi/math/1566715025/909

910: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/09/09(月) 13:16:58.00 ID:w2gV7wtr

>>909
つづき

追伸
・そもそも、”自然数論”の定義というか、それが何を意味するのか？
　前原氏は、狭く、ゲンツェンの1936年の意味で
　「eine Zahlentheorie (純粋な数論)」で、"自然数論"なる用語によって"純粋な数論"を意味することにするとしている
　（なお、「わが国では通常”自然数論"とよび,欧米でも最近はPeano's arithmeticなる用語を当てるようになってきたが,
　自然数論にしてもPeano's arithmeticにしも,いずれも集合論的方法を援用するペアノの自然数論を連想させるので,
　その意味では適切なる訳語とはいえない。」とある）
・一方、新井敏康氏は、P46 4.GentzenとAckermann で
　”G.Gentzen(1936)はfirst order arithmetic, PA(Peano Arithmetic)の無矛盾性証明を得た。
　ここでPAはPRAに,「任意(の自然数)」∀x,「存在」∃x を加え,更に数学的帰納法を任意の(1階の)論理式に適用できるように強化した理論である。
　その証明は「弱い形のε0までの超限帰納法(infinite descent)」を除いて,完全にPRAで遂行された。”
・そして、新井敏康氏PDFでは、「5.　竹内外史以後」「6. modified Hilbert's program」「6.1. Gentzenの場合＊）」「6.2.無矛盾性証明?」
　とつづく。さすれば、新井敏康氏PDFの立場は、狭くゲンツェンの1936年の意味の”自然数論"を超えて
　新井敏康氏は、より高い視点から、数学基礎論を論じたものではないだろうか？
　（数学基礎論が現役であることは認めるが、狭い意味の”自然数論"は、決して現役とは思わないよｗ）

＊）注：新井敏康氏PDFで
6.1. Gentzenの場合　「では何故Gentzenの結果がかつて重要なものと認識された(例p.139in[Kleene 1986])のだろうか?」の一文がある
つまり、前原昭二氏PDFは、1979年当時、「Gentzenの結果がかつて重要なものと認識された」時代のPDFと読めなくもない

そういう意味では、時代が進んで、前原昭二氏PDFが批判的に読まれるべきという主張なら分かる
だが、>>836は、言っている意味がわからんぞ～ｗ（＾＾
どうぞ、存分に蘊蓄語って下さい
余白が足りないなら、次スレ立てますからｗ（＾＾

つづく

http://rio2016.5ch.net/test/read.cgi/math/1566715025/910

923: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/09/09(月) 15:59:33.92 ID:w2gV7wtr

>>898
(引用開始)
あなたはなぜ検索しないのですか？
新井氏の研究は、証明論における順序数解析です
https://www.ms.u-tokyo.ac.jp/teacher/tarai.html
証明論で扱う体系の中に当然自然数論も含まれます
論理学者で、自然数論について知らない人はいませんよ　
論理学における一般常識ですから
(引用終り)

笑えます。そのURLを開くと、下記
「研究分野 数学基礎論」「著書 数学基礎論　岩波書店(2011)」とあるじゃないですか！ｗ
「学会 科学基礎論学会」
「自然数論」という言葉は出てこないｗ（＾＾
「基礎論」でしょ！ｗ

https://www.ms.u-tokyo.ac.jp/teacher/tarai.html
新 井 敏 康　(ARAI Toshiyasu)
講　　　座 離散数理学大講座　教授
研究分野 数学基礎論
研究テーマ
証明論
研究概要
証明論は数学における証明を対象にしています。その中で主に順序数解析を研究しています。これは公理系に対して順序数を結びつけてその公理系の内部に潜む構造を解き明かそうとする分野です。

主要論文
Intuitionistic fixed point theories over set theories,Arch. Math Logic 54(2015), 531-553
Lifting proof theory to the countable ordinals: Zermelo-Fraenkel set theory,Jour. Symb. Logic 79(2014), 325-354
Proof theory of weak compactness, Jour. Math. Logic 13(2013), 1350003
Proof theories of ordinals I: recursively Mahlo ordinals, Ann. Pure Appl. Logic 122(2003), 1-85
Ordinal diagrams for recursively Mahlo universes, Arch. Math. Logic 39(2000), 353-391
著書 計算とは何か　東京図書(2009)（新井紀子と共著）
数学基礎論　岩波書店(2011)
集合・論理と位相　東京図書(2016)
学会 日本数学会、 Association for Symbolic Logic、 科学基礎論学会
受賞 日本数学会秋季賞(2003)

http://rio2016.5ch.net/test/read.cgi/math/1566715025/923

上下前次 1-新書関写板覧索設栞歴

あと 75 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.025s