18/01/13 11:32:02.20 ZJErTONp.net
>>441
>>444の訂正：ヴィタリ被覆 → ヴィタリ集合
482:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/13 11:37:38.46 rUYSYDib.net
>>438 補足
pdf：A peculiar connection between the Axiom of Choice and predicting the future THE MATHEMATICAL ASSOCIATION OF AMERICA Monthly February 2008
については、当時哲学者がいろいろ議論したらしい（下記のpdfご参照）
だが、数学者の投稿は見つからなかった！！（＾＾
そして、過去スレ47にも書いたが、The Mathematics of Coordinated Inference: A Study of Generalized Hat Problems (Developments in Mathematics) 2013 edition by Hardin, Christopher S., Taylor, Alan D. (2013) （>>439）
では、上記の未来予測可能とか、任意の関数の値が予測可能とする論は、全部捨てられている
その話も、ちょろっと、まとめPDFに入れて貰えると面白いと思うよ
で、時枝も同じだよ
URLﾘﾝｸ(link.springer.com)
Philosophical Aspects of an Alleged Connection Between the Axiom of Choice and Predicting the Future, Pawel Pawlowski First Online: 06 September 2017
Abstract
In 2008 Christopher Hardin and Alan Taylor published an article titled
“Peculiar connection between the axiom of choice and predicting the future” in which they claim that if some system can be described as a function from a set of some instants of time to some set of states,
then there is a way to predict the next value of the function based on its previous input. Using their so-called μμ -strategy one can randomly choose an instant t and the probability that the strategy is correct at t
(i.e. that the output for a strategy for input t is exactly the same as the value of the function) equals 1.
Mathematical aspects of this article are sound, but the background story about the correlation between theorems and philosophical aspects of predicting the future faces certain problems. The goal of my paper is to bring them up.
つづく
483:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/13 11:38:56.64 rUYSYDib.net
>>446 つづき
[PDF]A Proof of Induction?
URLﾘﾝｸ(quod.lib.umich.edu)
philosophers’imprint
A George 著 Department of Philosophy Amherst College- ?2007 - ?被引用数: 10 - ?関連記事
“Hardin-Taylor rule”, I shall call it ? that will, for any arbitrarily chosen function f, correctly predict most values of f on the basis of its past be- havior; that is, for most t the rule will correctly predict f (t) on the basis of f 's values at all s < t.
I shall first sketch the proof's central idea and then turn to assess the result's philosophical significance. We begin by well-ordering R, the set of all functions from R to. R. (Here the Axiom of Choice must be employed, a fact to which we shall return.) That is ...
[PDF]Justifying Induction Mathematically: Strategi
484:es and Functions http://media.philosophy.ox.ac.uk/assets/pdf_file/0003/36651/LogiqueetAnalyseFinal08.pdf A PASEAU 著 Logique & Analyse 203 (2008), 263?269 - ?被引用数: 2 - ?関連記事 2008/08/27 - page 265 i i i i i i i i. JUSTIFYING INDUCTION MATHEMATICALLY: STRATEGIES AND FUNCTIONS. 265. These objections are answerable to a degree. The use of the Axiom of. Choice is indeed essential; but these days the ... Hardin-Taylor proof as providing a reliable present-predicting strategy. Once it is appreciated, the Hardin-Taylor proof can no longer plausibly be called a predictive strategy. Because it is so nonconstructive, it fails to yield a strat- egy. 以上
485:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/13 11:41:02.19 rUYSYDib.net
>>443-445
おっちゃん、時枝の元記事をまともに読まずに、言うからな～（＾＾
話にならんよ～（＾＾
486:１３２人目の素数さん
18/01/13 11:45:19.14 ZJErTONp.net
>>448
数セミを買ったことはないし、最近読まないモ～ン。
487:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/13 11:45:53.91 rUYSYDib.net
>>442
はいはい
Sergiu Hart氏のPDFで、”1Source unknown. I heard it from Benjy Weiss, who heard it
from ..., who heard it from ... . For a related problem, see
URLﾘﾝｸ(xorshammer.com) ”
を辿って行くと
一つの根拠が、Chris Hardin and Alan Taylor’s paperに行き着く
だが、これが間違いだったと、彼らが自分達が後の論文で訂正しているよ（参考>>446-447）
それは、過去すれ47に書いた
488:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/13 11:46:38.88 rUYSYDib.net
>>449
だろ？
だから、言ってることが、あさってなんだ
489:１３２人目の素数さん
18/01/13 11:50:58.97 ZJErTONp.net
>>451
内容的には中高レベルの確率の問題になるような、
時枝記事で述べられている確率の問題が分からないおめ～の方が明後日だよw
490:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/13 12:01:09.92 rUYSYDib.net
>>450 補足
>一つの根拠が、Chris Hardin and Alan Taylor’s paperに行き着く
>だが、これが間違いだったと、彼らが自分達が後の論文で訂正しているよ（参考>>446-447）
>それは、過去すれ47に書いた
これだな
現代数学の系譜 工学物理雑談 古典ガロア理論も読む47
ｽﾚﾘﾝｸ(math板:171番)
(抜粋)
スレ46 ｽﾚﾘﾝｸ(math板:483番)-484
「Taylor氏らは、[HT08b] の結論を否定している。（[HT09] および（成書）The Mathematics of Coordinated Inference: A Study of Generalized Hat Problems ）」
つまりは、”Corollary 3.4 does tell us that the μ-strategy will be correct at t with probability 1.”（>>148）は、「数学的に無価値」でしたということですよ（＾＾
(引用終り)
491:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/13 12:01:52.77 rUYSYDib.net
>>452
問題読んで無いだろ？（＾＾
492:１３２人目の素数さん
18/01/13 12:14:07.95 ZJErTONp.net
>>454
スレ主が以前ここに時枝記事をコピペした。(このコピペのことを忘れたとはいうべきではない)
それを読むと、時枝記事には曖昧に書かれている部分があって、その部分を理解して把握することに時間がかかった。
時枝の確率の問題についても同じ状況だった。このスレではそのような状況だった。
やがて、正確に時枝記事を理解し把握した後は、標本空間が有限集合であるような確率の問題であることが分かった。
標本空間が有限集合であるような確率の問題は、高校どころか中学の確率の問題だ。
493:１３２人目の素数さん
18/01/13 13:16:09.57 p9CVPkNb.net
>>454
一年生用教科書読んで無いだろ？
494:１３２人目の素数さん
18/01/13 14:01:52.64 baaiEdIz.net
実数の連続性が分からない人って論理だけでは創られ
ていない数学を論理だけで理解しているのだろうか。
距離空間の完備性が分からない人にＲの連続性と本質
的に同じことを説明したら理解されたんだけど中間値
の定理や最大値の定理を何も見ないで証明できるくら
いの人が実数の連続性が分からないって
495:
18/01/13 14:20:18.80 zUI9hxZm.net
>>457
いや今それで悩んでいるのです
実数の完備のみならず一般の代数系での完備となると、なかなか理解がおよびません
可換な半群 L が演算子ρのもとで完備な順序集合のとき二元 a b ∈L の上限を aρb とすれば L はρについて半束になる…うーん
496:１３２人目の素数さん
18/01/13 15:57:24.33 BB1mEg7b.net
藁
497:１３２人目の素数さん
18/01/13 19:11:43.62 sUwT3lGp.net
有理数に入り切らない数
498:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/13 21:15:46.03 rUYSYDib.net
>>455
おっちゃんな、スレ主だけど
原文をきちんと読むべきと思うよ
あれは、雑誌をスキャナーで読んで、OCRかけて、そのテキストをコピーしたが、文字化けや誤読・誤記が沢山あってね
それは、通常のOCRは、数学の上付き下付きの添え字は処理できないし
数学記号（ギリシャ文字とか数学記号）もあまりOCRでは読まない
なので、どうしても、記事をアスキーに落とすのは、限界があるんだ
ピエロがえらいのは、かれはきちんと原文を手に入れていたことだな
それは称賛に値する
499:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/13 21:46:07.17 rUYSYDib.net
>>455
でな、おっちゃん
本来、時枝の対象は可算無限個の箱の数当てだ
だから、対象は、有限でなく、R^N (可算無限次元の実ベクトル空間)
でな、R^N (R：実数、N：自然数で、可算無限次元の実ベクトル空間) のしっぽの同値類を考えて、決定番号を考える
決定番号は、自然数N全体だから、これも可算無限
この可算無限の大小を考える・・・
分り易く、二人の人A,Bが、ゲームとして、自然数Nの任意の数で、大きな数を入力した方が、勝ちとする
A,B二人の勝率は各1/2だが、ルールとして、賞金は勝者に10億円で、数字は10進キーボードから時間無制限で入力するとして、これ終わらないでしょ（賞金が勝者に10億円なら負けられないから）
つまり、キーボード入力として１秒１数字入力できるとすると、1分で60、１時間で3600、１日で3600ｘ24・・・
で、99999999・・・・・と、相手より一桁でも多く入力できれば、それで大きな数をインプットできるから、いかに長くキーボードを打つかの時間勝負。相手もキーボード打っているから、勝つためには絶対にやめられない
ことほどさように、無限というのは・・、常識では「A,B二人の勝率は各1/2」だが、実は無限の時間を与えたら、無勝負という結論になる（勝負の決着は、宇宙の寿命より長くなる）
時枝は、無限のパラドックスを、十分考えないといけないんだ
その話は、時枝記事中でも、非可測集合のパラドックスとして、ちょっと触れているだろう？
（なお、”非可測集合のパラドックス”は、私見だが本質ではないと思っているのだが）
そこらが理解できないと、時枝記事の意味する無限の奥深さは、理解できないだろうねー
そこらの面白さが、>>437-440のPDFとか関連URLを読むと、よくわかるよ（＾＾
で、時枝は、確率過程論とかランダム現象の理論に反しているという、数理科学の常識も持てよ（＾＾
500:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/13 21:58:55.67 rUYSYDib.net
>>458
>>458
C++さん、どうも。スレ主です。
有理数と無理数の絡み合い
例の>>366 のPDF
URLﾘﾝｸ(kbeanland.files.wordpress.com)
Modifications of Thomae’s function and differentiability, (with James Roberts and Craig Stevenson) Amer. Math. Monthly, 116 (2009), no. 6, 531-535.
などを読むと、実に奥深いですね～（＾＾
501:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/13 21:59:30.71 rUYSYDib.net
>>458 一つ多かったな（＾＾
502:１３２人目の素数さん
18/01/13 22:59:05.30 p9CVPkNb.net
相変わらずバカ丸出し
503:
504:１３２人目の素数さん
18/01/14 00:11:02.60 yNhhPVL1.net
ほんまやなｗ
505:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/14 07:51:24.95 fNVDpqMq.net
ほんまやなｗ
506:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/14 09:33:13.29 fNVDpqMq.net
>>462
>その話は、時枝記事中でも、非可測集合のパラドックスとして、ちょっと触れているだろう？
>（なお、”非可測集合のパラドックス”は、私見だが本質ではないと思っているのだが）
時枝先生の書いている、「ヴィタリ類似だから、即お手つきか」という話ではないように思うということ
（時枝先生の話）
現代数学の系譜 工学物理雑談 古典ガロア理論も読む47
ｽﾚﾘﾝｸ(math板:21番)
(抜粋)
数学セミナー201511月号P37 時枝記事に、次の一文がある
「R^N/～ の代表系を選んだ箇所で選択公理を使っている.
その結果R^N →R^N/～ の切断は非可測になる.
ここは有名なヴィタリのルベーグ非可測集合の例(Q/Zを「差が有理数」で類別した代表系， 1905年)にそっくりである.」
「逆に非可測な集合をこさえるには選択公理が要る(ソロヴェイ， 1970年)から，この戦略はふしぎどころか標準的とさえいえるかもしれない.
しかし，選択公理や非可測集合を経由したからお手つき， と片付けるのは，面白くないように思う.
現代数学の形式内では確率は測度論によって解釈されるゆえ，測度論は確率の基礎， と数学者は信じがちだ.
だが，測度論的解釈がカノニカル， という証拠はないのだし，そもそも形式すなわち基礎， というのも早計だろう.
確率は数学を越えて広がる生き物なのである(数学に飼いならされた部分が最も御しやすいけれど).」
(引用終り)
と、時枝先生は書いている。が、頭の悪いスレ主には、意味が良く取れない
１．ヴィタリ類似を経由したからと言って、具体的に計量を計算するまでは、矛盾はおきないでしょ
２．また、話を、選択公理にすり替えているが、ちょっとおかしい
３．決定番号は、自然数Nの範囲だし、測度論に一気に飛んでも、「なに言ってるの？」と感じる
４．だから、どんな空間の計量を問題にしているかを定義せずに話を飛ばすから、「あれあれ？」と
５．要は、「ｈ：無限次元ベクトル空間R^N→N’(決定番号の集合）」で、x,y∈N’で、P（x>y）=1/2 がきちんと計量を定義して言えるのか？
言えないだろうというのが、下記の話だと理解している
つづく
507:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/14 09:33:43.01 fNVDpqMq.net
>>468 つづき
＜参考＞
現代数学の系譜 工学物理雑談 古典ガロア理論も読む47
ｽﾚﾘﾝｸ(math板:31番)
20 ｽﾚﾘﾝｸ(math板:519-522番)
519 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 22:27:11.14 ID:f9oaWn8A [4/13]
>>518
X=(X_1,X_2,…)をR値の独立な確率変数とする．
時枝さんのやっていることは
無限列x=(x_1,x_2,…)から定められた方法によって一つの実数f(x)を求める．
無限列x=(x_1,x_2,…）から定められた方法によって一つの自然数g(x)を求める．
P(f(X)=X_{g(X)})=99/100
ということだが，それの証明ってあるかな？
100個中99個だから99/100としか言ってるようにしか見えないけど．
521 名前：１３２人目の素数さん[sage] 投稿日：2016/07/03(日) 22:36:32.49 ID:/kjhINs/ [10/15]
>>519
記事のどこが疑問なのか明確にしてもらえますか？
説明不足でよく分からない
522 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 22:40:29.88 ID:f9oaWn8A [5/13]
面倒だから二列で考えると
Y=(X_1,X_3,X_5,…）とZ=(X_2,X_4,X_6,…)独立同分布
実数列x=(x_1,x_2,…)から最大番号を与える関数をh(x)とすると
P(h(Y)>h(Z))=1/2であれば嬉しい．
hが可測関数ならばこの主張は正しいが，hが可測かどうか分からないのでこの部分が非自明
つづく
508:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/14 09:34:07.97 fNVDpqMq.net
>>4
509:69 つづき https://rio2016.5ch.net/test/read.cgi/math/1512046472/34 20 http://rio2016.2ch.net/test/read.cgi/math/1466279209/528-529 528 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 23:03:57.29 ID:f9oaWn8A [8/13] おれが問題視してるのはの可測性 正確にかくために確率空間(Ω,F,P)を設定しよう Y,Zはそれぞれ(Ω,F)から(R,B(R))の可測関数である． もしhが(R,B(R))から(N,2^N)への可測関数ならば h(Y),h(Z)はそれぞれ可測関数となって{ω|h(Y(ω))>h(Z(ω)}∈FとなりP({ω|h(Y(ω))>h(Z(ω)})=1/2となるけど hが(R,B(R))から(N,2^N)への可測関数とは正直思えない 529 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 23:04:46.18 ID:f9oaWn8A [9/13] >>528 自己レス (R,B(R))ではなくすべて(R^N,B(R^N))だな (引用終り) つづく
510:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/14 09:34:40.23 fNVDpqMq.net
>>470 つづき
URLﾘﾝｸ(ja.wikipedia.org)
ヴィタリ集合
(抜粋)
ジュゼッペ・ヴィタリ（英語版）(Giuseppe Vitali (1905))によって作られたルベーグ不可測な実数集合の基本的な例である。
ヴィタリの定理はそのような集合が存在することを保証する存在定理である。不可算に多くのヴィタリ集合が存在し、それらの存在は選択公理の仮定の下で示される。
(引用終り)
＜ついでに、無限次元ベクトル空間の話＞
URLﾘﾝｸ(ja.wikipedia.org)
ヒルベルト空間
(抜粋)
ユークリッド空間の概念を一般化したものである。これにより、二次元のユークリッド平面や三次元のユークリッド空間における線型代数学や微分積分学の方法論を、任意の有限または無限次元の空間へ拡張して持ち込むことができる。
ヒルベルト空間は、内積の構造を備えた抽象ベクトル空間（内積空間）になっており、そこでは角度や長さを測るということが可能である。ヒルベルト空間は、さらに完備距離空間の構造を備えている（極限が十分に存在することが保証されている）ので、その中で微分積分学がきちんと展開できる。
(引用終り)
つづく
511:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/14 09:35:05.10 fNVDpqMq.net
>>471 つづき
URLﾘﾝｸ(proofcafe.org)
抽象ベクトル空間
(抜粋)
無限次元ベクトル空間！？
ところで、多項式のベクトルでは、
{1,x,x2,x3,・・・}
を基底としていることが分かります。
見れば分かるように、基底が無限個あるのです！！！
抽象ベクトル空間では、無限次元のベクトル空間を考えることがあります。
名前だけ聞くと・・・何だかすごいですね。
無限次元のベクトル空間では、
線形代数学の一般論が成り立たない・・・そんなことが時々あります。
この「無限次元ベクトル空間」を扱う分野のことを「関数解析」というのですが・・・
(引用終り)
つづく
512:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/14 09:36:57.01 fNVDpqMq.net
>>472 つづき
URLﾘﾝｸ(eman-physics.net)
ヒルベルト空間 知らなくてもいいのだが、知らないと恥ずかしい。 EMANの物理学・量子力学・ヒルベルト空間
(抜粋)
量子力学をやっていると「ヒルベルト空間」なんて言葉によく出くわす。実は学ぶ上でどうしても知っていなければいけないという言葉ではない。なぜならこれは数学用語だからだ。
しかし、知らないというのは立場が弱い。学んだばかりの知識をひけらかす友人たちや、生徒を買い被ったフリをして楽しんでいる教授たちの口から「波動関数とはヒルベルト空間内で定義されるベクトルだ」なんて言葉が飛び出してくると、「それは一体何を意味するんだ？知ってなきゃいけないのか？」と不安にさせられてしまう。
もしこんな事態に遭遇しても、
「ああ、そうだね。ついでに言えば、それは『無限次元複素ヒルベルト空間』のこと�
513:ｾよね。」 と軽くかわすことが出来れば時間を無駄にしないで済む。 ベクトル空間 内積空間・ノルム空間 完備性 さて「ヒルベルト空間」はまだなのかと待っていることと思うが、ここまでの話にもう一つ条件を加えるだけでいい。 ・内積空間が完備性を持つとき、「ヒルベルト空間」という。 ・ノルム空間が完備性を持つとき、「バナッハ空間」という。 バナッハ空間については今回の話とは関係ないが、まぁ、数学ではこんな具合に分類されて名前が付いているんだよ、という雰囲気をつかめるように書いておいた。 な。物理学者は「ヒルベルト空間」なんて言葉でカッコつけなくてもいいんだよ。他の数学的空間の性質と区別する必要があるときにだけ使えばいいんだからさ。 で、気になっていることと思うが、「完備性」とは何だろうか。 つづく
514:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/14 09:37:48.50 fNVDpqMq.net
>>473 つづき
コーシー列が収束する時、完備性を持つのだそうだ。ではコーシー列とは何かと言えば、集合から好きな要素を取り出して並べた時に、あるところより先の要素を見ると必ず、それらの要素間の距離がどんな狭い範囲にでも収まってしまう、そんなところが必ずある、という並びのことらしい。
ああ！数学ってのは七面倒くさい！！！とにかく、どこまでも狭い範囲に収まって行くような並びのことだ。
それで、狭い範囲に収まって行くのなら収束していると言えるのではないか、というと、そういう意味ではない。
数学的な表現はやめて、分かりやすく言い直そう。これはベクトルが連続であることを定義しているのである。この性質は微分などを定義するためには是非とも必要なものだ。そして、それはもっと分かりやすく言えば、このベクトルの要素は実数か複素数の範囲でなければならないという意味である。初めからそう言えよ、って？私もそう思う。
こんなもんなんだよ
なんだ、それだけか？結局、ぶっちゃけて言えば、「取り敢えずの計算に困らないベクトル空間」というくらいの意味だったということだ。実に他愛のない話だ。だからこそ一度知ってしまうと今度は逆に、これくらいは知ってないと恥ずかしいと思えてしまうわけで。
まあ、奥は深いのだが、これだけ知ってるだけでもしばらくは困らない。さあ、立場の弱い友達の所へ行って知ったかぶりをするのだ！（笑
ま、この程度のものは黙ってた方が恥かかなくて済むかとも思うのだが、・・・判断はお任せしよう。
波動関数がどうして無限次元複素ヒルベルト空間内のベクトルなのかを説明しないのかって？それは本文中できっちりやるつもりだ。取り敢えず、こういう本質ではない部分は脇へよけておきたかったのである。
(引用終り)
以上
515:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/14 09:44:10.49 fNVDpqMq.net
>>472 補足
元のURL
URLﾘﾝｸ(proofcafe.org)
ここでは、数学を扱います。
URLﾘﾝｸ(proofcafe.org)
線形代数学 ProofCafe
516:１３２人目の素数さん
18/01/14 12:59:42.58 LGEQtf71.net
>>474
この人は分かってるかかなり怪しい
517:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/14 13:04:26.09 fNVDpqMq.net
>>474
その指摘はかなり正しい
EMANさんは、物理屋だからね
でもね、完備とかヒルベルト空間で、「わからん」と立ち止まらずに進むことも大事だと
立ち止まらずに進まないと、分らないことも多い
進めば、分ってくることも多い
そして、また、分らないところへ戻って、そこから理解を深めて行く
そういうやり方が正しいと思うよ
518:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/14 14:07:41.58 fNVDpqMq.net
>>468 補足
>「ｈ：無限次元ベクトル空間R^N→N’(決定番号の集合）」で、x,y∈N’で、P（x>y）=1/2 がきちんと計量を定義して言えるのか？
ここを細分すると
R^N：無限次元ベクトル空間 s∈R^N s=(s1,s2,s3,・・・）
↓
R^N/～（商射影の切断）（URLﾘﾝｸ(ja.wikipedia.org) 商写像 ）
↓
代表r=r(s) r=(r1,r2,r3,・・・）
↓
N’：決定番号の集合 d∈N’ d=d(s)
↓
N：自然数の集合
となる
（補足）
・しばしば、我々は無意識に、決定番号の集合N’と自然数の集合Nとを同一視してしまう
・だが、決定番号の集合N’は、問題の数列ｓと代表r=r(s)との関係で、多く（非可算無限）の重複を含む集合になっている
（例：決定番号２なら、s=(s1,s2,s3,・・・）とr=(r1,r2,r3,・・・）とで、s2=r2,s3=r3,・・・ の関係があり、s1≠r1だが、この同値類内の決定番号２の元は、R^1の自由度がある。
同様に、決定番号３なら、R^2の自由度。決定番号ｎなら、R^(n-1)の自由度。）
・可算無限長の数列を簡単のために２列で考えると、２列の決定番号の大小比較は自然数の集合Nのレベルで行うが、その背景に決定番号の集合N’があるから、大小の確率を考えるときは、本来、決定番号の集合N’をベースに考える必要がある
・ところで、以前の議論でもあったように、有限な自然数の部分集合（1,2,3,・・・,m）で、あるx（1<= x <=m）を考えると、x <= m/2 （平均以下）である確率は、ｍが十分大きければ1/2だろう
・しかし、ｍ→∞（つまり集合が自然数の集合Nになる）では同じ議論はできない
・そして、考えるベースが、決定番号の集合N’であれば、なおさら、単純に確率1/2とは言えない。ここらが手品のタネだろう
以上
519:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/14 14:17:41.65 fNVDpqMq.net
>>477 補足
URLﾘﾝｸ(ja.wikipedia.org)
完備性
(抜粋)
数学における完備性（かんびせい、英: completeness）は、様々な場面においてそれぞれの対象に関して特定の意味を以って考えられ、またそれぞれの意味において完備（かんび、英: complete）でない対象に対する完備化 (completion) と呼ばれる操作を考えることができる。complete は「完全」と訳されることもある。
・実数の完備性: 実数の完備性は実数を公理的に定義する際に必要とされる性質の一つ。この場合の完備性は、実数全体の成す集合 R を距離空間と見た場合の完備性、あるいは R を半順序集合と見た場合の完備性の何れの意味とも取ることができる。
・完備距離空間: 距離空間が完備であるとは、その空間内の任意のコーシー列が収束するときにいう。
・完備一様空間（英語版）: 一様空間が完備であるとは、その空間内の任意のコーシーネット（コーシー有向点族）が収束するときに言う。あるいは同じことだが、その空間内の任意のコーシーフィルターが収束するときに言う。
・完備測度空間: 測度空間が完備であるとは、その任意の零集合が可測であるときにいう。
・環の完備化: 可換代数学において（イデアルの冪によって定義される位相を考えるとき）イデアルによる可換環の完備化の概念が定義される。
・より一般に、任意の位相群を開部分群の減少列において完備化することができる。
・完備統計量（英語版）: 統計学において統計量が完備であるとは、期待値が0となる不偏評価子が許されないことを言う
・完備圏（英語版）: 圏論において圏 C が完備であるとは、小さい圏から C への任意の図式が極限を持つときに言う。双対的に、そのような図式が余極限を持つとき余完備（英語版）であるという
・順序集合論やそれに関連する束論や領域理論のような分野でいう完備性（英語版）は、一般にある種の順序集合における上限や下限の存在に言及するものである。この意味での完備性を持つ概念として完備ブール代数（英語版）、完備束、完備半順序集合 (cpo) などは著しい。
・完備代数多様体（英語版）: 代数幾何学において代数多様体が完備であるとは、それがある種のコンパクト性に類似の性質を満足することを言う。
(引用終り)
520:１３２人目の素数さん
18/01/14 15:19:29.63 OGysNULO.net
チョベリバー。
521:
18/01/14 16:50:59.87 RXSlFbKF.net
＞・順序集合論やそれに関連する束論や領域理論のような分野でいう完備性（英語版）は、一般にある種の順序集合における上限や下限の存在に言及するものである。
＞この意味での完備性を持つ概念として完備ブール代数（英語版）、完備束、完備半順序集合 (cpo) などは著しい。
おお、これ、知りたい
今取り組んでいるのは、順序が決まっていて、かつ順序演算で構成する元が等しいかどうかわかる元を持つ（全順序な）部分集合を効率的に表現するプ
522:ログラム
523:１３２人目の素数さん
18/01/14 17:03:10.94 OGysNULO.net
おっちゃんです。
高校時代に当時の女子高生達がよく用いていたチョベリバーの意味が分からなかったか。
524:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/14 17:05:54.22 fNVDpqMq.net
>>437
英語圏では、時枝記事の前から、取り上げられているので、過去ログから下記リンクを貼っておく
（>>435”数セミの出版社の日本評論社に迷惑をかける”とか”苦情を出す”とかじゃなく、むしろ日本でもきちんと公開で議論して纏めておくべき。ほんと、だれか卒研で纏めてくれると、ひとつの決着がついてありがたいけどね～（＾＾ ）
現代数学の系譜11 ガロア理論を読む22 ｽﾚﾘﾝｸ(math板:509番)-514
509 自分返信：１３２人目の素数さん[] 投稿日：2016/09/10(土) 14:08:56.13 ID:q7Skbg74 から
１）
URLﾘﾝｸ(blog.computationalcomplexity.org)
Solution to the Alice-Bob-Box problem. July 18, 2016 Posted by GASARCH Computational Complexity
(抜粋)
Peter Winkler told me this problem at the Joel Spencer 70th Bday conference. He got it from Sergui Hart who does not claim to be the inventor of it.
（抜粋おわり）
つづく
525:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/14 17:06:43.18 fNVDpqMq.net
>>483 つづき
２）
URLﾘﾝｸ(math.stackexchange.com)
Predicting Real Numbers edited May 15 '13 Jared Mathematics Stack Exchange
(抜粋)
Here is an astounding riddle that at first seems impossible to solve. I'm certain the axiom of choice is required in any solution, and I have an outline of one possible solution, but would like to see how others might think about it.
３）
100 rooms each contain countably many boxes labeled with the natural numbers. Inside of each box is a real number. For any natural number n, all 100 boxes labeled n (one in each room) contain the same real number.
In other words, the 100 rooms are identical with respect to the boxes and real numbers.
(引用終り)
つづく
526:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/14 17:07:42.03 fNVDpqMq.net
>>484 つづき
４）
URLﾘﾝｸ(mathoverflow.net)
Probabilities in a riddle involving axiom of choice - MathOverflow: edited Dec 9 '13 Denis
(抜粋)
The question is about a modification of the following riddle (you can think about it before reading the answer if you like riddles, but that's not the point of my question):
The Riddle: We assume there is an infinite sequence of boxes, numbered 0,1,2,…
. Each box contains a real number. No hypothesis is made on how the real numbers are chosen.
You are a team of 100 mathematicians, and the challenge is the following: each mathematician can open as many boxes as he wants, even infinitely many, but then he has to guess the content of a box he has not opened.
(引用終り)
つづく
527:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/14 17:08:03.46 fNVDpqMq.net
>>485 つづき
５）
URLﾘﾝｸ(mathoverflow.net)
Can an infinite number of mathematicians guess the number in a box with only one error? - MathOverflow edited Dec 26 '13 user44653
(抜粋)
In this question＊） the following ob
528:servation was made: ＊）上記 Probabilities in a riddle involving axiom of choice - MathOverflow: edited Dec 9 '13 Denis mathoverflow にリンクされている (引用終り) これは内容的には無視していいかもしれんが、mathoverflowより時期が早いよね http://brainden.com/forum/topic/16510-100-mathematicians-100-rooms-and-a-sequence-of-real-numbers/ 100 mathematicians, 100 rooms, and a sequence of real numbers Asked by Jrthedawg, July 22, 2013 New Logic/Math Puzzles - BrainDen.com - Brain Teasers (抜粋) Question I am a collector of math and logic puzzles, and this must be the best I've ever seen. 100 rooms each contain countably many boxes labeled with the natural numbers. Inside of each box is a real number. For any natural number n, all 100 boxes labeled n (one in each room) contain the same real number. In other words, the 100 rooms are identical with respect to the boxes and real numbers. (引用終り) 以上
529:１３２人目の素数さん
18/01/14 17:11:28.77 OGysNULO.net
>>481
何ヶ月か前、分割とか母関数とかについての整数論のようなことしていなかったけ。
530:１３２人目の素数さん
18/01/14 17:14:57.73 OGysNULO.net
スレ主君、チョット類体論のコピペも頼むよ。
531:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/14 17:27:27.51 fNVDpqMq.net
>>481
C++さん、どうも。スレ主です。
>おお、これ、知りたい
>今取り組んでいるのは、順序が決まっていて、かつ順序演算で構成する元が等しいかどうかわかる元を持つ（全順序な）部分集合を効率的に表現するプログラム
それ、wikipedia のリンク URLﾘﾝｸ(ja.wikipedia.org) を開いてみな
英文のリンクついているだろ
それを開くと、参考文献とかあったり、また、英文のキーワードが分ると、英文検索ができる
それで、英文 wikipediaから、左のリンクの”日本語”をクリックして、和文も読めるという仕掛けなんだ（＾＾
532:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/14 17:30:37.64 fNVDpqMq.net
>>488
おっちゃん、どうも、スレ主です。
>スレ主君、チョット類体論のコピペも頼むよ。
類体論の何を知りたいのかね？
多分、”類体論”だけで検索かけると、100万以上出るから、適切なコピペできないと思うよ（＾＾
533:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/14 17:34:39.96 fNVDpqMq.net
>>488
おっちゃん、どうも、スレ主です。
>何ヶ月か前、分割とか母関数とかについての整数論のようなことしていなかったけ。
有ったね。
あれ、BLACKX ◆jPpg5.obl6さん（下記LOTO7スレの人）が、確率について質問してきたので、母関数の英文資料のＵＲＬを紹介してやったよ
ｽﾚﾘﾝｸ(math板)
数学的にLOTO7
534:１３２人目の素数さん
18/01/14 17:42:43.93 OGysNULO.net
>>490
佐藤・テイト予想や非可換類体論の方。
あと、従来の類体論のマトモなテキスト(特に和書)を殆ど知らないから、それも。
現代数学への入門シリーズや現代数学の基礎の数論Ⅰ、Ⅱ以外に何かあるのかな～と思ってね。
ノイキルイヒは分厚いしね。
535:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/14 17:43:33.98 fNVDpqMq.net
>>480>>482
>高校時代に当時の女子高生達がよく用いていたチョベリバーの意味が分からなかったか。
それ、女子高生から自分に向けて使われていて、意味わからんかったと～（＾＾
すごく、もてたんだろうね～（＾＾
まあ、おっちゃん、時枝は、数学セミナーの原文見ないと無理だよ～
原文ダメなら、まだ>>483-486の英文と、
Sergiu Hart氏のPDF URLﾘﾝｸ(www.ma.huji.ac.il) （>>437）を読む方がましだろう
536:１３２人目の素数さん
18/01/14 17:45:57.54 OGysNULO.net
>>490
>>492の訂正：
数論Ⅰ、Ⅱ→ 数論1、2
537:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/14 17:50:16.76 fNVDpqMq.net
>>492
>従来の類体論のマトモなテキスト(特に和書)
足立先生の本があったと思った。書棚の肥やしになっとる気がするが（＾＾
URLﾘﾝｸ(www.amazon.co.jp)
類体論講義 (日評数学選書) 単行本 ? 1998/9/1
足立 恒雄 (著),? 三宅 克哉 (著)
(抜粋)
トップカスタマーレビュー
ido
5つ星のうち3.02冊に分けて出版してほしかった本
2015年7月29日
形式: 単行本|Amazonで購入
前半206ページは局所類体論の導入が目標です：
1 代数体の基礎理論
2 局所体の基礎理論
3 イデアルによる類体論
4 イデールによる類体論
5 類体論の証明
6 局所類体論
7 類体論の応用
付録A 代数的予備知識
必要なら[現代代数学](van der Werden)、[可換体論](永田)を参照しながら読むようにとの指示がされています
後半88ページは類体論の歴史に沿った解説です：
1 前史 平方剰余?L関数
2 類体論の源流 クロネッカー
3 "類体"の原型：ウェーバー、ヒルベルト、フルトヴェングラー
4 高木?アルティンの類体論
5 ハッセの原理、イデールの導入と定着
以上の前半部と後半部とが合本になっているメリットは特に見つけられないように思われます。別々の本として出版されていれば、特に2冊目のテキストとして学ぼうとする方にはつごうがよかったのではないでしょうか
今回は古書でゲットしましたが、前に読んでいた方も、前半部だけ読み込んでおられたのに後半は全く手つかずで手放されたようすでした
(引用終り)
538:１３２人目の素数さん
18/01/14 17:52:15.57 OGysNULO.net
>>493
チョベリバーは当時の女子高生達がよく用いられていた言葉だよ。
超ベリー・バッド(最低、最悪の意味)で、今の若者言葉と比較すると、ずっと単純な流行語。
テレビでも聞いた覚えがある。
時枝についてはもういい。
539:１３２人目の素数さん
18/01/14 17:59:32.72 OGysNULO.net
>>493
>>496の一番上の行について：
女子高生達がよく用いられていた言葉 → 女子高生達がよく用いていた言葉
あと、>>492の訂正：
ノイキルイヒ → ノイキルヒ
540:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/14 17:59:40.18 fNVDpqMq.net
>>495 追加
URLﾘﾝｸ(www.amazon.co.jp)
類体論へ至る道―初等数論からの代数入門 単行本 ? 2010/2/1
足立 恒雄 (著)
(抜粋)
トップカスタマーレビュー
まげ店長
5つ星のうち5.0どうして色んな説明の仕方があるのでしょうか...
2014年4月25日
形式: 単行本
この本を買った頃は、整数論もきちんと始めていない時代だったので（今も独学ですが）「類体論」の
事は何も分からずにただ単に高木貞治の学問分野だというとても不純な動機だったような気もします。
群論をやりながら、ある日ふと手に取ったのは「高木貞治 類体論への旅 (双書―大数学者の数学)」でした。
旅という癖に相当に難儀な本で、特にイデアルの所で完全に行き詰まってしまいました...
群論の本とか読んでも、イデアルの説明はとても抽象的でちっとも分からないんです。
特に2次体の説明を探し回りましたがこれは「数論入門―証明を理解しながら学べる (ブルーバックス)」
の最終章でカバーされてました。しかし肝心のイデアルの説明は無し。
もう少し総括的で分かりやすい本は無いかと、ふと書庫に置いてあった本書を手にとってみると
不思議な程に分かりやすい本ですね... 特にイデアルの説明には痺れました。
（素イデアルと極大イデアルのところは秀逸です）
完全独学なのでまだ前半戦を模索中ですが、このペースなら最後まで行けそうな安心感があります。
あと何年かかるか分かりませんが、ひと通り最後まで見届ける覚悟で向き合っています。
コメント| 6人のお客様がこれが役に立ったと考えています.
(引用終り)
追記
余談だが、”完全独学なのでまだ前半戦を模索中ですが、このペースなら最後まで行けそうな安心感があります。
あと何年かかるか分かりませんが、ひと通り最後まで見届ける覚悟で向き合っています。”みたいな読み方は、止めた方が良い
一月以内（できれば１週間くらい）に、ざっと読んで、あと、読む価値のある名著と思えば、
541:繰り返し読むとかの方が良いだろう （実際、「あと何年かかるか分かりません」的読み方では、学生なら卒業できないし、院生なら論文書けない）
542:１３２人目の素数さん
18/01/14 18:11:03.83 OGysNULO.net
今日はもう、おっちゃん寝る。
543:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/14 19:16:07.18 fNVDpqMq.net
>>498
>読む価値のある名著と思えば、繰り返し読むとかの方が良いだろう
”ディリクレは、D. A. を常に携帯していたという[6]。”
プロ数学者でも、そういう例はある
まあ、１回だけでは汲み尽くせない
名著は何度も読むべしかな
URLﾘﾝｸ(ja.wikipedia.org)
Disquisitiones Arithmeticae
(抜粋)
ディリクレは、D. A. を常に携帯していたという[6]。
ガウスは D. A. に多くの付記を残し、彼自身のさらなる研究の一助とした。同世代の者には謎めいているものもあったが、一部は例えば、今日ではL関数や虚数乗法と呼ばれるものの萌芽であったと解釈される。
D. A. の内容は、20世紀以降の数学研究においても新鮮さを失っていない。例えば、第5章第303条は虚二次体の類数の具体的な計算についての要約である。
ガウスは、任意の正整数 n に対して類数が n である虚二次体は有限個しか存在しないであろうと予想し、類数の小さな虚二次体は全て決定したと信じた。
この予想は、1934年にハンス・ハイルブロン（英語版）が解決した[7]。類数1の虚二次体を全て決定する問題は、1966年のアラン・ベイカーと1967年のハロルド・ミード・スターク（英語版）によって独立に解かれた[8]。2004年までに、類数が100以下の虚二次体は全て決定されている[9]。
また、第7章第358条は、有限体上の楕円曲線の点の個数に関する、ハッセの定理の評価が非自明に成り立つ（歴史的に）最初の例を与えている[10]。この定理は、ヘルムート・ハッセが1933年に証明し、アンドレ・ヴェイユらによって一般化されるが、適切に言い換えることによって、リーマン予想の類似と見なせることが知られている[11]。
(引用終り)
544:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/14 19:16:33.79 fNVDpqMq.net
>>499
おっちゃん、どうも、スレ主です。
ご苦労さんでした（＾＾
545:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/14 19:24:38.42 fNVDpqMq.net
>>492
佐藤・テイト予想か。何年か前に、数学セミナーに解決されたという記事が載ったと思ったな・・
URLﾘﾝｸ(ja.wikipedia.org)
佐藤・テイト予想
(抜粋)
佐藤・テイト予想(Sato?Tate conjecture)とは、楕円曲線 E と素数 p にたいして定まるある実数 θp の分布に関する予想である。もう少し正確には、有理数体上定義された楕円曲線 E を一つ固定したとき、各素数 p での還元 Ep は有限体 Fp 上の楕円曲線となるが、その楕円曲線 Ep の点の数が p を動かしたときある決まった分布になるというものである。
目次 [非表示]
1 予想の記述
2 証明と主張の進展
3 一般化
4 より詳細な問題
5 脚注
6 参考文献
7 外部リンク
つづく
546:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/14 19:25:44.40 fNVDpqMq.net
>>502 つづき
証明と主張の進展[編集]
2006年3月18日、ハーバード大学のリチャード・テイラー(Richard Taylor)は、ローラン・クローゼル（英語版）(Laurent Clozel)やミカエル・ハリス（英語版）(Michael Harris)やニコラス・シェパード-バロン（英語版）(Nicholas Shepherd-Barron)との共同研究の結果として、
ある条件を満たす総実体上の楕円曲線の佐藤・テイト予想の証明の最終段階を、彼のウェブページに掲載�
547:ｵた。[4] それ以来、3つの論文のうち 2つが出版されている。[5] さらに、結果はアーサー・セルバーグの跡公式（英語版）(Arthur?Selberg trace formula)の形を改善する条件となっている。 ハリスは、そのような予想されている跡公式から従う 2つの楕円曲線（同種ではない）の積から得られる結果の条件付き証明（英語版）(conditional proof)を得ている。[6] 2008年7月8日現在、リチャード・テイラーは、彼のウェブサイトへ論文（トーマス・バーネット-ラム（英語版）(Thomas Barnet-Lamb)、ダヴィッド・ゲラティ（英語版）(David Geraghty)とミカエル・ハリスの共著）を掲載していて、 そこではウェイトが 2 に等しいかまたは大きな任意の非CM正則モジュライ形式についての佐藤・テイト予想へ一般化されたヴァージョンを、直前の論文の本質的にはモジュラ性の結果を改善することで証明したと主張している。[7] 彼らはまた、跡公式に関係するいくつかの問題がミカエル・ハリスの「ブックプロジェクト」[8] と、Sug Woo Shin との共同研究により解決したと主張している。[9][10] つづく
548:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/14 19:26:27.66 fNVDpqMq.net
>>503 つづき
一般化[編集]
エタール・コホモロジー上のガロア表現に含まれるガロア群のフロベニウス元の分布が、一般化と考えられる。特に、種数が n > 1 の曲線についての予想がある。
ニック・カッツ（英語版）(Nick Katz)とピーター・サルナック(Peter Sarnak)により開発されたランダム行列モデル[11] では、フロベニウス元の（ユニタリ化された）特性方程式と、コンパクトリー群(compact Lie group) USp(2n) = Sp(n) 上のリー群の共役類との間に対応関係を示した。
従って、USp(2n) 上のハール測度は分布を与えると予想され、古典的な場合は USp(2) = SU(2) である。
より詳細な問題[編集]
さらに精密な予想として、1976年のサージ・ラング(Serge Lang)とハイル・トロッター（ドイツ語版）(Hale Trotter)によるラング・トロッター予想(Lang?Trotter conjecture)は、公式の中に現れるフロベニウス元のトレースである値 ap が、素数 p に対し決まると、漸近的な数が存在すると言う予想である。[12]
典型的な例（虚数乗法を持たず、かつ trace ≠ 0）では、X についての p に対する数値は、ある特別の定数 c が存在して、漸近的に
{\displaystyle c{\sqrt {X}}/\log X\ } {\displaystyle c{\sqrt {X}}/\log X\ }
に近づく。ニール・コブリッツ（英語版）(Neal Koblitz)は、1988年、楕円曲線暗号に動機をもって、素数 q の場合の、Ep 上の点の数についての詳細な予想を提示した。[13]
ラング・トロッター予想は、原始根についてのアルティンの予想（英語版）(Artin's conjecture on primitive roots)の類似であり、1977年に提唱された。
(引用終り)
549:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/14 19:34:38.21 fNVDpqMq.net
>>
>佐藤・テイト予想か。何年か前に、数学セミナーに解決されたという記事が載ったと思ったな・・
数学のたのしみ 2008最終号が先だったかな？（＾＾
URLﾘﾝｸ(www.nippyo.co.jp)
数学のたのしみ 2008最終号 日本評論社 発刊年月 2008.06
フォーラム＝佐藤-テイト予想の解決と展望
上野 健爾 砂田 利一 新井 仁之 編集
内容紹介
1962年に佐藤幹夫により提出された予想が最近Ｒ・テイラー達により解決された。著名な問題の全体像と展望をめぐる総力特集。
目次
フォーラム：現代数学のひろがり 佐藤-テイト予想の解決と展望
佐藤-テイト予想の歴史／黒川信重
楕円曲線入門／伊藤�
550:N史 ゼータ関数入門／黒川信重 類体論入門／吉田輝義 保型形式入門／加藤和也 ラングランズ対応と志村多様体／吉田輝義 佐藤-テイト予想の証明の方針／伊藤哲史 ガロア表現の変形理論とヘッケ環／伊藤哲史 ガロア表現の整合系とその保型性／吉田輝義 相互法則と密度定理／リチャード・テイラー 数学まなびはじめ／時枝 正 高校生のための数学セミナー／砂田利一 名著発掘／Dunford & Schwartz《Linear Operators》／増田久弥 連載 日本の数学の流れ(9)／上野健爾 数学つれづれ草／上野健爾 村の広場の午後／安野光雅 https://www.nippyo.co.jp/shop/magazine/5110.html 数学セミナー 日本評論社 2009.09 [速報] 佐藤-テイト予想，ついに完全解決か？！ 伊藤哲史 34 https://www.nippyo.co.jp/shop/magazine/5214.html 数学セミナー 日本評論社 2010.2 数セミブック・プラザ 『フェルマーの最終定定理・佐藤-テイト予想解決への道』／谷口隆 85
551:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/14 19:37:32.45 fNVDpqMq.net
>>505 補足
>相互法則と密度定理／リチャード・テイラー
テイラー先生が寄稿していたのか？（＾＾
>高校生のための数学セミナー／砂田利一
おっちゃんの言う通りやな、高校生も数セミよめと、砂田利一先生・・（＾＾
552:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/14 19:42:56.18 fNVDpqMq.net
>>505 つづき
URLﾘﾝｸ(www.iwanami.co.jp)
類体論と非可換類体論 岩波
フェルマーの最終定理・佐藤－テイト予想解決への道
素数の演じるさまざまな実例を通して，類体論や非可換類体論とは何かをわかりやすく丁寧に説明する．
著者 加藤 和也 著
シリーズ 類体論と非可換類体論
刊行日 2009/01/29
この本の内容
目次
著者略歴
素数の演じるさまざまな実例を通して，類体論や非可換類体論とは何かをわかりやすく説明する．
さらに非可換類体論の進展がなぜフェルマーの最終定理や佐藤－テイト予想解決に結びつくのかについて，その背景を丁寧に解説する．類体論から非可換類体論へと大きく転換しようとしている現代整数論の生きた姿を概観できる．
■編集部からのメッセージ
編集という仕事に携わって，二十年以上になりますが，中でも第一級といえる作品です．むろん，著者は作家ではありませんし，流麗な文章を書かれたというわけではありません．しかしながら，著者の素数に対する想い，そして素数のもつ奥深い意味，またその不思議さをなんとか，誰かにわかってもらいたいという気持ちがひしひしと伝わってきます．
幸運にも，前著『数論１』も担当させていただきました．そこでも，著者は従来の岩波講座らしからぬ解説をされ，整数論の紹介に巧みな工夫をされました．本書は，それをはるかに凌駕します．
前著は「フェルマーの最終定理」が解決されたことに触発されての解説であったのに対し，本書は，それを上回る「佐藤-テイト予想」が解決されたことで，よりはっきりと，素数とは何か，整数論の未来はどうなるのかが，著者には見えたからではないかと想像しています．
著者自ら，「類体論と非可換類体論」は《整数論の華》であると主張します．それを象徴するのが，フェルマーの最終定理および佐藤-テイト予想の解決だといいます．そのあたりをゆっくりと自分で計算しながら，味わいつつ読み進めていける本書は素晴らしい本であると確信します．
ただひとつお断りしなければならないのは，本書は全４巻シリーズですが，作品の性格上，続巻はすぐには出版できません．著者には鋭意準備していただいていますが，第２巻は，半年くらいはお待ちくださるようお願い申し上げます．
553:１３２人目の素数さん
18/01/14 20:10:37.27 LGEQtf71.net
＞高校生も数セミよめと
と、教科書を読まないスレ主が申し
554:ております
555:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/14 20:13:58.22 fNVDpqMq.net
>>505 補足
URLﾘﾝｸ(www.math.kyoto-u.ac.jp) （注＊＊
楕円曲線と保型形式, 佐藤‐テイト予想，直角三角形の面積とバーチ‐スイナートン＝ダイヤー予想 伊藤哲史 2009
URLﾘﾝｸ(www.math.kyoto-u.ac.jp) （注＊
佐藤‐テイト予想の解決と展望 ? 非可換類体論の進展 伊藤哲史 2009
（上と同じだが、念のため URLﾘﾝｸ(mathsoc.jp) 佐藤‐テイト予想の解決と展望 ? 非可換類体論の進展 伊藤哲史 2009 ）
URLﾘﾝｸ(www.math.kyoto-u.ac.jp)
研究集会について 伊藤哲史 京都大学数学教室
2009年3月26日(木) : 東大駒場キャンパスで行われる日本数学会(年会)で企画特別講演「佐藤‐テイト予想の解決と展望」をすることになりました(終了しました)．
講演のアブストラクトはここ(PDFファイル, 日本語, 15ページ)， （注＊：上記ＵＲＬ）
講演に使ったスライド資料はここ(PDFファイル, 日本語, 38ページ)です． （注＊＊：上記ＵＲＬ）
詳しくは日本数学会2009年3月年会のホームページおよび日本数学会のホームページをご覧ください．(追記 : 後日，講演のビデオ映像が日本数学会のホームページから見られるようになるそうです．)
つづく
556:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/14 20:15:08.84 fNVDpqMq.net
>>509 つづき
URLﾘﾝｸ(www.math.kyoto-u.ac.jp)
講義のページ 伊藤哲史 京都大学数学教室
2009年度の授業
前半（伊藤担当分）のレジュメ：楕円曲線の数論幾何
三次式で定義された曲線を楕円曲線という．楕円曲線は，一次式で定義された直線， 二次式で定義された円・楕円・放物線・双曲線よりもほんの少しだけ複雑な対象だが， その単純な定義からは想像できないほど豊かな性質を持っている．
未解決の問題も多い． この講義では，予備知識を仮定せず， 具体的な計算を通して楕円曲線のさまざまな整数論的性質を論じる． また，保型形式，ガロア表現，佐藤‐テイト予想などの現代数学の深い理論とどのように つながっているかについても紹介したいと思う．
配布物
・4月27日配布プリント(PDF) : 楕円曲線の有理点は(見かけ以上に)難しい，階数28以上の楕円曲線
・6月8日配布プリント(PDF) : 楕円曲線上の離散対数問題，10万ドルの懸賞問題(ECCp-359)
・6月15日配布プリント(PDF) : 楕円曲線と保型形式, 佐藤‐テイト予想，直角三角形の面積とバーチ‐スイナートン＝ダイヤー予想
・レポート問題(6月8日配布) (PDF) : 提出先：数学教室事務室(理学部3号館1階)，締め切り：7月13日(月), 17:00 （この講義の単位を取得するためには，宍倉先生のレポート問題にも解答する必要があるので注意すること．）
以上
557:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/14 20:16:24.33 fNVDpqMq.net
>>510 補足
配布プリント(PDF) のリンクは省略した
興味があるなら自分で頼む（＾＾
558:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/14 20:20:32.90 fNVDpqMq.net
>>508
あんたは・・・、「読まない」じゃなく・・・、「読めない」・・・だろ？（＾＾
559:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/14 20:24:15.65 fNVDpqMq.net
>>492
非可換類体論は、また範囲広すぎだろうな・・（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
非可換類体論
(抜粋)
数学において、非可換類体論（ひかかんるいたいろん、英: non-abelian class field theory）は、類体論の結果、任意の代数体 K のアーベル拡大についての比較的完全で古典的な一連の結果の、一般のガロワ拡大 L/K への拡張を意味するキャッチフレーズである。
類体論は1930年頃には本質的には知られるところとなったが、対応する非可換な理論は確定的で一般的に受け入れられた定式化には未だに至っていない[1]。
つづく
560:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/14 20:2
561:5:18.58 ID:fNVDpqMq.net
562:１３２人目の素数さん
18/01/14 20:27:40.84 IRjx43JH.net
メモだけして中身は読まないクズ
563:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/14 20:28:27.26 fNVDpqMq.net
とりあえずは、こんなところで、お茶を濁しておくよ（＾＾
564:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/14 20:33:54.06 fNVDpqMq.net
>>515
ああ、確かに、中身はそれほど熱心に読んで無いが・・・
コピペするときに、一応ざっとは読んで、核心部分をコピペしているんだ
なので、URLﾘﾝｸ(www.axfc.net) 「定理1.7 (422 に書いた定理)」の証明（>>145）のときも、
”この定理は、いままで読んだ「Ruler Function」の話と合わない”ということだけは、すぐ分ったよ（＾＾
565:１３２人目の素数さん
18/01/14 23:02:25.87 LGEQtf71.net
アホ道まっしぐら
566:１３２人目の素数さん
18/01/15 01:16:45.38 KdIP1Ead.net
>>517
>”この定理は、いままで読んだ「Ruler Function」の話と合わない”ということだけは、すぐ分ったよ（＾＾
ほぼ関係ないので
合わないというのは誤解です
ちゃんと証明を読みましょう
567:１３２人目の素数さん
18/01/15 01:32:22.32 DCqONgzv.net
基地外の長文は読まなくていい
568:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/15 07:30:23.12 xsWEHCro.net
>>519
証明成り立ってないでしょ？
それは、>>366-370に書いた通りで
「定理1.7 (422 に書いた定理)」は、有理数Ｑのように補集合R－Bf がＲ中に稠密分散しているときは、守備範囲外
つまり、有理数Ｑのように補集合R－Bf がＲ中に稠密分散しているときは、リプシッツ連続であるような開区間（a, b）は取れない（>>368）
だから、系1.8に対して、「定理1.7 (422 に書いた定理)」を使って、矛盾を導くことはできない
証明は、これからじっくり読む予定です
569:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/15 07:35:04.01 xsWEHCro.net
>>481
>今取り組んでいるのは、順序が決まっていて、かつ順序演算で構成する元が等しいかどうかわかる元を持つ（全順序な）部分集合を効率的に表現するプログラム
C++さん、どうも。スレ主です。
これどういう意味かな？
公開して良
570:い範囲で、説明してもらえると、ありがたい（＾＾
571:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/15 07:48:16.85 xsWEHCro.net
>>522 追加
下記などで、全部ソートしておいて、比較するってことじゃ足りないということ？
URLﾘﾝｸ(ja.wikipedia.org)
ソート
目次 [非表示]
1 概要
2 ソートアルゴリズムの分類
2.1 安定ソート
2.2 内部ソートと外部ソート
2.3 比較ソート
2.4 計算量
2.5 手法
2.6 再帰
3 ソートアルゴリズムの一覧
4 比較ソートの理論限界
5 メモリ使用パターンとインデックスソート
6 脚注・出典
7 参考文献
8 関連項目
9 外部リンク
9.1 ソートアルゴリズムの視覚化
572:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/15 07:50:24.46 xsWEHCro.net
>>520
長文は、ほぼ引用コピペだから、それを読むより、ＵＲＬを開いて読む方がいいだろう
こちらとしては、引用コピペをしておくと、google検索が使えて便利なんだ
573:１３２人目の素数さん
18/01/15 08:45:03.12 KdIP1Ead.net
>>521
>証明成り立ってないでしょ？
成り立っていますよ
BfがB_N,Mで被覆されますので
あるB_N,Mの中に開区間が存在し
その区間内でリプシッツ連続になります
574:１３２人目の素数さん
18/01/15 08:46:29.01 KdIP1Ead.net
リプシッツ連続な開区間の存在に関しては
Bfにこだわる必要も理由もありませんよ
575:１３２人目の素数さん
18/01/15 10:47:45.00 DCqONgzv.net
>>524
「証明」とかいういたずら書き込みのことね
576:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/15 11:21:49.71 J2Z0sjPb.net
>>527
"「証明」とかいういたずら書き込み"？？ 人違いですよ
私は、こんな不便なバカ板に書かれたアスキーベースの証明は読まない主義です（>>5の通り）
もちろん、自分自身も基本は書きません！
どうしてもと言われて、過去２回ほど書きましたが、ここ２年ほどはありません
但し、数学的説明はします
が、できるだけ、外部のURLを引いて、”アスキーベースでないまっとうな数学記号の文”（PDFの場合もあり）を参照できるようにしています（そこからのコピペをアスキーに落とすことが多いです）
繰り返しますが、どなたかと人違いですよ～（＾＾
577:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/15 11:39:24.20 J2Z0sjPb.net
>>525-526
（>>180より）
定理1.7 (422 に書いた定理)
f : R → R とする．
Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞ }
と置く: もしR－Bf が内点を持たない閉集合の高々可算和で被覆できるならば、 f はある開区間の
上でリプシッツ連続である．
(引用終わり)
ここで、「f はある開区間の上でリプシッツ連続」は、
Bf内に、リプシッツ連続なある開区間(a, b)の存在を主張していると読みましたが？
これ、被覆側のB_N,Mの中で、開区間が存在し、その区間内でリプシッツ連続って主張ですか？
578:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/15 19:37:52.81 xsWEHCro.net
>>529 追加
元ＰＤＦを見て貰った方が話は早い
URLﾘﾝｸ(www.axfc.net) 「定理1.7 (422 に書いた定理)」の証明（>>145より）
で、（元ＰＤＦを見ている前提で）
（>>525より）「BfがB_N,Mで被覆されますので
あるB_N,Mの中に開区間が存在し
その区間内でリプシッツ連続になります」
と仰るが、B_N,Mは、定理1.7の証明中に出現するだけで、定理1.7の命題以前には出てきませんね
もし、定理1.7の主張で、「f はある開区間の上でリプシッツ連続」が、被覆側のB_N,Mの中で、開区間が存在し、その区間内でリプシッツ連続という主張なら、
被覆側のB_N,Mについての定義は、定理1.7の命題中、又は、その前に置かれるべきだ
また、定理1.7も
「・・・、 f は”B_N,Mの中の”ある開区間の上でリプシッツ連続である．」とでも書くべきでしょう
（”B_N,Mの中の”→”∪N ,M>=1BN,M の中の”と「∪N ,M>=1BN,M 」を使うべきかもしれませんが
（>>181より ”Bf ⊆ ∪N ,M>=1BN,M が成り立つ”ってことですからね ））
だから、定理1.7は、”Bf内に、リプシッツ連続なある開区間(a, b)の存在”を主張しているってことですね
ところが、仰るように（>>525）「あるB_N,Mの中に開区間が存在し
579:その区間内でリプシッツ連続になります」ということしか証明していないと読みました なので、定理の主張と証明とが、不一致と思います
580:１３２人目の素数さん
18/01/15 20:05:52.58 DOxxTJ02.net
＞証明は、これからじっくり読む予定です
証明は読まない主義と豪語するスレ主さんは何故か教科書も読まないのでした
581:１３２人目の素数さん
18/01/15 20:11:01.15 DOxxTJ02.net
＞但し、数学的説明はします
εδ（大学一年一学期）すら理解できないお前が何を説明するって？
582:１３２人目の素数さん
18/01/15 20:13:30.70 DOxxTJ02.net
アホにも程がある
583:１３２人目の素数さん
18/01/15 20:16:45.93 KdIP1Ead.net
>>530
>と仰るが、B_N,Mは、定理1.7の証明中に出現するだけで、定理1.7の命題以前には出てきませんね
>もし、定理1.7の主張で、「f はある開区間の上でリプシッツ連続」が、被覆側のB_N,Mの中で、開区間が存在し、その区間内でリプシッツ連続という主張なら、
>被覆側のB_N,Mについての定義は、定理1.7の命題中、又は、その前に置かれるべきだ
？
そうすべきという理由になりません
全然
584:１３２人目の素数さん
18/01/15 20:18:35.49 KdIP1Ead.net
あるいは
あなたが読みやすいように彼の証明を
変形することは出来るでしょうよ
まずは証明より回することから始めましょう
585:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/15 20:43:44.36 xsWEHCro.net
>>534-535
意味が分らない
普通、数学では、証明の前に、定理の主張を明確にすべき
明確にするためには、定理に使われる用語は、すべて定義されているべき
なので、
（>>529より）
定理1.7 (422 に書いた定理)
f : R → R とする．
Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞ }
と置く: もしR－Bf が内点を持たない閉集合の高々可算和で被覆できるならば、 f はある開区間の
上でリプシッツ連続である．
(引用終わり)
で、「f はある開区間の上でリプシッツ連続」の意味は、
「Bf内に、リプシッツ連続なある開区間(a, b)の存在を主張している」としか読み得ない
（∵定理の命題中で、R中にBfとその補集合R－Bfしか定理1.7では定義されていないし、R－Bf内に開区間など存在しようがないですから）
ここは良いですか？
586:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/15 21:30:14.71 xsWEHCro.net
>>489 補足
C++さん、どうも。スレ主です。
>おお、これ、知りたい
>今取り組んでいるのは、順序が決まっていて、かつ順序演算で構成する元が等しいかどうかわかる元を持つ（全順序な）部分集合を効率的に表現するプログラム
何を知りたいのか、細かい点が分らないが
関連のリンクなどを読んで、分らない点があれば書いてみて
一緒に考えましょう～！（＾＾
587:１３２人目の素数さん
18/01/15 22:52:27.35 KdIP1Ead.net
>>536
分からないなら証明を読みましょう
588:１３２人目の素数さん
18/01/15 22:53:45.59 KdIP1Ead.net
>>536
>ここは良いですか？
まず
特定のfに関して証明をしているわけではありません
それから
証明の要はBfの補集合とB_N,MですBf自体ではありません
それは証明を読めばすぐに分かることですよ
589:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/16 08:44:25.24 wQxe4syn.net
>>538
お言葉なれど
数学の原理原則を言っているんだけど？
普通、数学では、証明の前に、定理の主張を明確にすべき
明確にするためには、定理に使われる用語は、すべて定義されているべき（>>536）
590:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/16 08:44:59.30 wQxe4syn.net
>>539
お言葉なれど
>特定のfに関して証明をしているわけではありません
当然でしょ
その定理の命題に定義されている、すべてのｆについての証明だ
そして、その定理の命題に定義されている、あるｆで、「ある開区間の上でリプシッツ連続である．」が言えない、
つまりRの全てに渡って、そのような開区間が取れないｆが存在すれば、それは反例になるよ
591:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/16 09:56:48.16 P1O+7+Vj.net
>>540 補足
数学の原理原則として、当たり前だが・・
正しい定理は、その証明とは切り離されて、定理だけが引用されてしかるべき。また、そういう例はいたるところある
だから、定理の主張するところは、明確になっていなければならない
定理の証明で使われた”B_N,M”なるものが、さかのぼって定理の命題に含意されるとするならば、それは定理の命題としてきちんと述べておくべきことだろう
592:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/16 09:58:33.50 P1O+7+Vj.net
>>539
これを踏まえて
（>>529より）
定理1.7 (422 に書いた定理)
f : R → R とする．
Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞ }
と置く: もしR－Bf が内点を持たない閉集合の高々可算和で被覆できるならば、
f はある開区間の上でリプシッツ連続である．
(引用終わり)
ここで、”f : R → R ”の定義域は、当然R
R－Bfは、Bfの補集合だから、”={x ∈ R ｜ lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞ }”であってはいけない
即ち
R－Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) － f(x)）/（y － x）｜＝ +∞ }であるべき
”f はある開区間の上でリプシッツ連続である”の、「リプシッツ連続なるある開区間」が存在しうるとすれば、Bf内にしかありえない
（∵R－Bfは、リプシッツ連続を満たさない集合であることは明白だから）
593:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/16 11:20:38.37 P1O+7+Vj.net
ムーミンは、トロールなんだよね（＾＾
URLﾘﾝｸ(www.nikkei.com)
594:C18A1CC1000/ ムーミン舞台のセンター試験設問に疑問 阪大研究室 日経 2018/1/15 18:26 (2018/1/15 19:03更新) (抜粋) 大学入試センター試験の地理Ｂで人気キャラクターのムーミンを取り上げた問題について、大阪大大学院のスウェーデン語研究室は15日、ムーミン谷がどこにあるかは原作に明示されていないとして「舞台がフィンランドとは断定できない」との見解を明らかにした。正解とされたフィンランドの在日大使館は「皆さんの心の中にある」としている。 ムーミンも登場したセンター試験の地理Ｂの問題 試験問題では「ノルウェーとフィンランドを舞台にしたアニメーション」としてムーミンと「小さなバイキングビッケ」を挙げ、例示した両国の言語との正しい組み合わせを選ぶよう求めた。 古谷大輔准教授（北欧史）は「スウェーデン語系フィンランド人作家がスウェーデン語で書いた一連の物語の舞台は、架空の場所のムーミン谷とされる。フィンランドが舞台だと明示されていない」と指摘。「ビッケもノルウェーが舞台とは断言できない」とし、研究室として、舞台の国を特定した根拠の説明を求める意見書を近く同センターに提出する。 古谷准教授は「センター試験の社会的信用を維持するためにも根拠を示してほしい」と話す。 同センターの担当者は取材に「意見書の内容を見て対応を検討する」としている。在日フィンランド大使館の広報担当者は「ムーミンが注目されることはうれしい。ムーミン谷は物語を愛する皆さんの心の中にある」とコメント。在日スウェーデン大使館の広報担当者は「北欧が取り上げられ、旅行先として周知されるのは喜ばしい」としている。〔共同〕 (引用終わり) つづく
595:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/16 11:21:50.58 P1O+7+Vj.net
>>544 つづき
URLﾘﾝｸ(ja.wikipedia.org)
ムーミン
(抜粋)
ムーミン（典: Mumin、芬: Muumi、英: Moomin）は、フィンランドの作家トーベ・ヤンソンの『ムーミン・シリーズ』と呼ばれる一連の小説と絵本、
および末弟ラルス・ヤンソンと共に描いた(次弟のペル・ウーロフ・ヤンソンもトーベと写真絵本を製作している。)『ムーミン漫画(コミックス)』作品の総称、あるいはそれらとそれらを原作とする二次著作作品の総称。
または、同作品に登場する架空の生物の種族名であり、同時に主人公(主要な登場生物)の名前でもある「ムーミントロール」の略称あるいは愛称。
概要
設定
トロールは北欧の民間伝承に登場する、広い意味での妖精の一種である。地域や時代によって巨人だったり小人だったりさまざまなバリエーションがあるが、
人間によく似ていながら耳や鼻が大きく醜い外見を持つというイメージが共通している。
しかしムーミンの物語に登場するトロールは、名前こそ借りているもののこれとは異なる、トーベ・ヤンソンが独自に創造した架空のいきものである。
人型の登場人物も人間ではなく、同様に架空の小人の一種である[1]。
なお、原作中で登場するキャラのうち、『ムーミンパパの思い出』に登場するミムラたちが住む丸い丘の国の王様はミムラやムーミントロールたちよりわざわざ圧倒的に大きく描かれているので人間の可能性がある。
(引用終わり)
596:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/16 20:57:10.97 wQxe4syn.net
>>542 補足の補足
・例外的に、定理の命題の理解が、証明を読むことで深まるということはある
・が、しかし
597:、多くの場合、定理の意味するところを、きちんと押さえておくことは、定理の証明を読む上でも、重要だろう ・定理の命題は、証明のゴールでもある。 ・ゴールが西にあるのか東にあるのか、それも理解せずに証明を読む ・ただただ、証明に引きずり回され、右にうろうろ左にうろうろして、「はいここがゴールです。QED！」だと ・それで、一体何を理解したことになるのでしょうか？ ・読んで、「証明は正しい」と思ったとしましょう。しかし、定理の命題の理解が浅ければ、その定理の活用もできまい そんなことになっては、本末転倒 証明を読むのは結構だが、定理の命題の意味するところが不明確なら、もう一度本来の命題の吟味に戻るべき 「f はある開区間の上でリプシッツ連続である．」（>>543）の意味するところ ある開区間が、ｆの定義域の一部のBf内に取れるのか？ はたまた、証明のために作った”B_N,M”なる被覆空間の合併集合の中に止まるのか？ それは、定理の命題の意味や適用を考える上で、天と地ほどの違いを生むと思うのだが・・
598:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/17 00:06:28.29 GOOVgBct.net
Inter-universal geometry と ABC予想 23 スレで、リトルウッドの予想が出てたので検索したら、下記ヒット
URLﾘﾝｸ(www2.tsuda.ac.jp)
第20回数学史シンポジウム(2009.10.17?18) 所報 31 2010
URLﾘﾝｸ(www2.tsuda.ac.jp)
高橋鋼一 「２つの素数の差が偶数である素数の組の個数に関するハーディ・リトルウッドの予想」について
(抜粋)
1 .はじめに
数学教育協議会発行の「数学教議室」(2006年10月号)に、数教協夏の大会で、数教協のメンバーの国見氏と斉藤氏の両氏
が、「任意の正の偶数2kを固定した場合、pと2k+pが両方とも素数となる組が無限にあるのではないか?」という問題提起が
なされ、野崎明弘氏がその事に言及している。その後、野崎氏は「数学セミナー」く素数定理の威力に学ぶ>(2007年11月
号)にもこの問題提起にふれているが、数教協の仲間違では「国見－斉藤の予懇」（注1)と言っている。しかし、「国見－斉藤の
予想」という予想名は、一般的に通用しているわけではない。国見氏と斉藤氏がハーディ・リトルウッドが予想した同じ問題に、
時を隔てて気がついたということにすぎない。数学史上では次のような経過をたどってきた。
(引用終り)
599:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/17 08:45:07.22 GOOVgBct.net
>>546 補足
証明にはしばしば誤りがある
プログラミングで言えば、バグだ
アーベルは、５次方程式の解の公式を見つけたという。だが、誤りだった
ガロアも同じく、最初は、５次方程式の解の公式を見つけたという。だが、誤りだった
時代の天才といえどもそんなもの
プログラミングで、バグはつきものだ。証明も同じ
機械（マシーン）ならすぐ気付くバグ
人は、なかなか気付かないものだよ。人間だもの
600:１３２人目の素数さん
18/01/17 09:50:07.07 tAuiMZtD.net
>>547
おっちゃんです。
あのスレでリトルウッドの予想の話をしたのは私だが、コピペしているサイトが滅茶苦茶。
ハーディー・リトルウッド予想とは全然違う。リトルウッドの予想は無理数の有理近似から生じた。
任意の無理数αに対して、q|qα－p|＜1/√5 を満たす有理数 p/q は可算無限個存在する。
そこで、直線R上で実数xに最も近い整数を ||x|| で表す。
そうすると、上の不等式
601:q|qα－p|＜1/√5 は q||qα||＜1/√5 で表せる。 任意の無理数α、βに対して、liminf_{q→+∞}(q||qα||・||qβ||)＝0 であろうという予想がリトルウッドの予想。 あのスレには、名前の由来が分からんが jin といかいうのがいるんだな。
602:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/17 11:30:24.69 RtU9EWnx.net
>>549
おっちゃん、どうも、スレ主です。
おっちゃんの知識は偏っているが、その分野ではえらく博識やね～（＾＾
おっちゃんのいう”リトルウッドの予想は無理数の有理近似 1/√5 で表せる”は、検索ヒットなしだが、
下記に、ヒットした関連情報を貼っておくよ（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
ハーディ・リトルウッド予想
(抜粋)
加法的整数論に大きな進歩をもたらした1920年代の一連の論文“Some problems of partitio numerorum”（「分割の諸問題」）の中のゴールドバッハの問題を扱った第三論文の付録に15個もの予想が載せられているが、
それらを総称してハーディ・リトルウッド予想と呼ぶ。その一つである双子素数の分布公式もまだ証明されていない。またそれらの分布公式中の特別な定数たちはすべてひっくるめてハーディ・リトルウッド定数と呼ばれることが多い。
彼らはこの予想について発見的な議論といくつかの数値的な証拠しか与えなかったが、現在までに得られている数値的証拠とも非常によく一致している。
この予想は最初は解析的に導かれたものだったが、今では初等的に導くことができるいくつかの発見的議論が知られている。しかし、リーマン予想などの素数分布の他の大予想との関連もまだ十分には明かされていない。
(引用終わり)
つづく
603:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/17 11:30:58.42 RtU9EWnx.net
>>550 つづき
これは、C++さん向け
URLﾘﾝｸ(www.ipsj.or.jp)
無理数を近似する分数 - 情報処理学会 田中哲朗(東京大学情報基盤センター) 著 -情報処理誌 ?2004
つづく
604:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/17 11:33:41.51 RtU9EWnx.net
>>551 つづき
URLﾘﾝｸ(www.jstage.jst.go.jp)
URLﾘﾝｸ(www.jstage.jst.go.jp)
論説 切断近似をしないボルツマン方程式 森本 芳則, 鵜飼 正二数学 / 64 巻 (2012) 2 号 / 書誌
URLﾘﾝｸ(www.jstage.jst.go.jp)
角切断近似をしな いボルツマ ン方程式 - J-Stage 森本芳則 著 - ?2012
The Boltzmann Equation without Angular Cutoff : The Theory of the Existence and the Regularity of Solutions Yoshinori Morimoto Volume 22 (2012) Issue 2 Pages 142-145
(抜粋)
特異性をもつ衝突積分項については1970年代 のPao ［9］の研究以来t その擬微分作用素的な性質が指摘されてきたが2000 年に入り，C．Villani （2010 年フィールズ賞受賞〉を含む研究者等［1]に
よりその積分作用素としての詳細な性質が明らかになった．
(引用終わり)
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
セドリック・ヴィラニ（Cedric Villani、1973年10月5日 -）はフランスの数学者。専門分野は偏微分方程式、数理物理学。ボルツマン方程式とランダウ減衰に関する研究の成果により、2010年にフィールズ賞を授与された。
(引用終わり)
以上
605:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/17 11:44:54.10 RtU9EWnx.net
>>548 補足
>アーベルは、５次方程式の解の公式を見つけたという。だが、誤りだった
>ガロアも同じく、最初は、５次方程式の解の公式を見つけたという。だが、誤りだった
例え
606:誤りでも、こういうレベルの証明をスラと書けるレベルは、この人は、私より実力はるかに上だな（＾＾ しかし、このスレで話題になった以上、誤りは誤りとすべき。まあ、いわゆる是々非々というやつです。 （批判や評論は、野球でも音楽でも同様、自分が出来なくて実力は伴わなくても、可能。数学としては、それで正なのだ ）
607:
18/01/17 12:54:33.87 LVXHtTKV.net
>>550
そのハーディ・リトルウッド予想は、すでにここに書かれているくらい有名ですよ
URLﾘﾝｸ(ja.wikisource.org)
それとは別のものだと思います。
608:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/17 14:28:16.69 RtU9EWnx.net
>>554
C++さん、どうもスレ主です。
コメントありがとう。
そのページは、高木先生の本ですね
えーと、>>550引用の中に
「三論文の付録に15個もの予想が載せられているが、
それらを総称してハーディ・リトルウッド予想と呼ぶ。」
とあるでしょ？
この15個の予想の中のどれかが、一つは高木先生の書かれている（世間で）一番有名なハーディ・リトルウッド予想ですね。
おっちゃんのいうあまり有名でない、
”リトルウッドの予想は無理数の有理近似 1/√5 で表せる”の方は、和文検索ではヒットしないように思えてきました。
おそらく、英文キーワードで適切なものを見つけないと、難しいかなと思います。（＾＾
609:１３２人目の素数さん
18/01/17 20:51:29.44 L4Ig4kNE.net
>>548
＞機械（マシーン）ならすぐ気付くバグ
マシンでバグが見つかるならこれほど楽なことはなく
全くの見当違いな見解本当に有難うございました
610:１３２人目の素数さん
18/01/17 21:47:36.44 lULRrajN.net
あと何日何時間何分苦しめば普通に生きさせてもらえるのか
夢の中でも人生が苦しいと言っていた
まず人権はあるのか？
611:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/17 22:26:17.28 GOOVgBct.net
>>556
?
プログラミングやったことないのか？
612:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/17 22:28:14.43 GOOVgBct.net
>>557
医者に掛かった方がいいぞ
613:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/17 22:54:08.12 GOOVgBct.net
>>556
>>543 補足
定理1.7 (422 に書いた定理)
f : R → R とする．
Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞ }
と置く: もしR－Bf が内点を持たない閉集合の高々可算和で被覆できるならば、
f はある開区間の上でリプシッツ連続である．
(引用終わり)
端的に、この定理と証明の問題の結論を言えば・・
１．「f はある開区間の上でリプシッツ連続である．」→「f は”Bf内の”ある開区間の上でリプシッツ連続である．」
という表現にすべきだったろう。”Bf内の”は、私には自明だが、証明を書いた人は、
表現がまずく”証明のために作った”B_N,M”なる被覆空間の合併集合”との区別を忘れてしまった。つまり、”B_N,M”と”Bf”とを混同してしまったのだ
２．集合の被覆（>>210ご参照）だから、被覆される集合と被覆する集合の性質とは、基本的には無関係。単に集合の大小関係にすぎない
つまり、「Bf ⊆ ∪B_N,M」以上のことはなにも言えないから、「∪B_N,M」側について何か証明しても、”Bf”には無関係だということに気付いていない
３．”稠密”についての意識が希薄。集合R－Bfは、R中の有理数Qを念頭に置いたものがだから、集合R－BfもR中に稠密分散している。
ならば、”Bf内”に、”リプシッツ連続である開区間”など取れるはずがない。” ruler function ”を思い浮かべれば、気付くのは容易だったろう
言ってみれば・・、言われて見れば・・、他愛もない話だろ
が、私スレ主は、これに気付くのに、約一月掛った
お恥ずかしい話だ。その道のプロならわずか３分で気付くだろうな（＾＾
614:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/18 06:45:15.78 gGT+ehE7.net
>>560 訂正
単に集合の大小関係にすぎない
↓
単に集合の包含関係にすぎない
かな（＾＾
615:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/18 10:08:20.09 dEXr3Ope.net
>>560 補足
例えば、下記トマエ関数は、”xが無理数の点でfは連続 xが有理数の点でfは不連続”であるが
どこかに、ｘが
616:連続な開区間が取れるわけではない。（∵開区間内に必ず有理数Qの点が存在し、その点では不連続になるから） https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1127539791 関数の連続性 kessyoutouさん yahoo 2009/6/22 (抜粋) 問題が解けません。助けてください。お願いします。 f(x)=0 (xが無理数αの時) f(x)=1/q （xがp/qつまり有理数の時） とした時、f(x)が無理数の時は連続で、有理数の時は不連続であることを証明せよ。 ただし、稠密性(?)は用いてよいこととする。 つまり、Rの中にはある有理数について十分に近い無理数が存在しているということである。 稠密性のあたりの意味が全く分からず手に負えません。 できる方!!お願いします。 ベストアンサーに選ばれた回答 hsmtmk_tさん xが無理数の点でfは連続 xが有理数の点でfは不連続 ですね。 基礎課程の微分積分の授業でしょうか。ε-δの練習問題ですが、 この問題は大学一年生が解くには割と難しい部類に入ると思います。 さて、それでは証明です。 (引用終わり)
617:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/18 10:10:55.60 dEXr3Ope.net
>>562 訂正
どこかに、ｘが連続な開区間が取れるわけではない。
↓
どこかに、f(ｘ)が連続な開区間が取れるわけではない。
なか（＾＾
618:１３２人目の素数さん
18/01/18 10:17:40.62 SyERiWTG.net
おっちゃんです。
>”リトルウッドの予想は無理数の有理近似 1/√5 で表せる”
スレ主が定理1.7を否定していてもおかしくない状態ということですな。
スレ主は ε-N 或いは実数論から。
619:１３２人目の素数さん
18/01/18 10:55:12.45 SyERiWTG.net
スレ主はボケで>>550のようなことを書いたのか本当にコピペ出来なかったのかが分からないが、
代わりにリトルウッドの予想のサイトをコピペする。
URLﾘﾝｸ(en.wikipedia.org)
まあ、wikiの References や Further reading には基本的なテキストが挙げられていないようですな。
あと、>>549の一番下の行の「といかいう」の部分は「とかいう」に訂正。
620:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/18 12:16:39.84 dEXr3Ope.net
>>564
おっちゃん、その方面では博識やね～（＾＾
>スレ主が定理1.7を否定していてもおかしくない状態ということですな。
いまどき、定理1.7（>>560）を肯定しているのは、おっちゃんくらいだろ？（＾＾
定理1.7は、居なくなった
621:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/18 12:17:33.61 dEXr3Ope.net
>>566 訂正
定理1.7は、居なくなった
↓
定理1.7を書いた人は、居なくなった
622:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/18 12:18:34.81 dEXr3Ope.net
>>565
おっちゃん、どうも、スレ主です。
おっちゃん、ありがとう。その方面では博識やね～（＾＾
623:１３２人目の素数さん
18/01/18 17:14:25.19 SyERiWTG.net
>>566
本気で>>550を書いていたのか。
>>550のwikiのサイトからリトルウッドについてのwikiに移って、そのリトルウッドの英語版を見ると、
リトルウッドの予想にリンク出来るようになっていて、それをコピペすれば済むようになっていた。
あとは、それをコピペすればよかっただけ。
>>549の liminf_{q→+∞} の記号が分からないということは、
上極限や下極限が分からないということになる。
定理1.7の記号 lim sup y→x の意味も分からないということになる。
624:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/18 19:45:27.99 gGT+ehE7.net
>>569
おっちゃん、どうも、スレ主です。
>>>550のwikiのサイトからリトルウッドについてのwikiに移って、そのリトルウッドの英語版を見ると、
>リトルウッドの予想にリンク出来るようになっていて、それをコピペすれば済むようになっていた。
ああ、そうだったのか？
さすが、その方面では博識やね～（＾＾
だがな、それ、日本語で”リトルウッドの予想”と叫んでも、多くのひとはポカーンだろうな
実際、URLﾘﾝｸ(en.wikipedia.org) （>>565）を開いて見ても
左のLanguagesで、ポルトガルとかスウェーデンと、もう一つヘブライ語の３つしかページがない
思うに、en.wikipediaだが、リトルウッド先生が英国出身だから、米でなく英国人が作ったのかもね
なので、”リトルウッドの予想”は非常な博識だが、逆にみんなポカーンだろう
625:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/18 19:55:54.42 gGT+ehE7.net
>>569
おっちゃん、どうも、スレ主です。
>>>549の liminf_{q→+∞} の記号が分からないということは、
>上極限や下極限が分からないということになる。
>定理1.7の記号 lim sup y→x の意味も分からないということになる。
まあ、そう攻めるな（＾＾
そこも、おいおい突っつくからよ～
ところで、その前に、おっちゃん、稠密（下記）を理解しているかい？
R中のQは稠密だから、無理数のみの
626:開区間や有理数のみの開区間は取れないことを！（＾＾ https://ja.wikipedia.org/wiki/%E7%A8%A0%E5%AF%86%E9%96%A2%E4%BF%82 稠密関係 (抜粋) 数学における稠密関係（ちゅうみつかんけい、英: dense relation）とは、集合 X 上の二項関係 R であって、X の R-関係にある任意の二元 x, y に対し、X の元 z で x とも y とも R-関係にあるようなものが存在するものをいう。 記号で書けば、 ∀ x ∀ y xRy → ( ∃ z xRz ∧ zRy) となる。 任意の反射関係は稠密である。 例えば、二項関係として狭義の半順序 < はそれが関係として稠密であるとき、稠密順序(dense order)であるという。すなわち、集合 X 上の半順序 ? が（あるいは順序集合 (X, ?) が）稠密であるとは、X の任意の二元 x, y で x < y を満たすものに対し、X の元 z で x < z < y を満たすものが必ず存在することを言う。 有理数の全体に通常の大小関係による順序を入れたものは、この意味で稠密である（実数全体のなす順序集合も同様）。他方、整数全体の成す集合に通常の順序を入れたものは稠密でない。 関連項目[編集] クリプキ意味論 自己稠密 稠密集合 参考文献[編集] David Harel, Dexter Kozen, Jerzy Tiuryn, Dynamic logic, MIT Press, 2000, ISBN 0262082896, p. 6ff (引用終り) なんで、クリプキ意味論とか、「Jerzy Tiuryn, ”Dynamic logic”, MIT Press」に関連しているのかね？（＾＾
627:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/18 21:17:09.56 gGT+ehE7.net
誤爆してきたが、再投下（＾＾
突然ですが
名著」ソラリスね。書店にあったから、つい買ってしまった（＾＾
URLﾘﾝｸ(www.nhk.or.jp)
NHKテレビテキスト「100分 de 名著」ソラリス 2017年12月
(抜粋)
惑星ソラリスの探査に赴いた科学者クリス・ケルヴィンは、科学者たちが自殺や鬱病に追い込まれている事実に直面。何が起こっているのか調査に乗り出します。その過程で、死んだはずの人間が次々に出現する現象に遭遇し、自らの狂気を疑うクリス。
やがて惑星ソラリスの海が一つの知的生命体であり、死者の実体化という現象は、海が人類の深層意識をさぐり、コミュニケーションをとろうする試みではないかという可能性に行き当たります。果たして「ソラリスの海」の目的は？
この作品は、人類とは全く異なる文明の接触を描いているだけではありません。ソラリスの海が引き起こす不可解な現象は、人間の深層に潜んでいるおぞましい欲望や人間の理性が実は何も知りえないのではないかという「知の限界」をあぶりだしていきます。
ロシア・東欧文学研究者の沼野充義さんは、レムは、この作品を通して「人間存在の意味」を問うているのだといいます。
さまざまな意味を凝縮した「ソラリス」の物語を【科学や知の限界】【異文明との接触の可能性】【人間の深層に潜む欲望とは？】【人間存在の意味とは？】など多角的なテーマから読み解き、混迷する現代社会を問い直す普遍的なメッセージを引き出します。
(引用終り)
URLﾘﾝｸ(hh.pid.nhk.or.jp)
１００分ｄｅ名著 レム“ソラリス”［新］ 第１回「未知なるものとのコンタクト」
[Eテレ] 2017年12月4日（
628:月） 午後10:25～午後10:50（25分） https://ja.wikipedia.org/wiki/%E3%82%BD%E3%83%A9%E3%83%AA%E3%82%B9%E3%81%AE%E9%99%BD%E3%81%AE%E3%82%82%E3%81%A8%E3%81%AB ソラリスの陽のもとに
629:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/18 21:28:09.60 gGT+ehE7.net
>>572 参考
URLﾘﾝｸ(en.wikipedia.org)
Solaris
From Wikipedia, the free encyclopedia
Solaris, a Latin word meaning "pertaining to the sun", may refer to:
（Solarisは、「太陽に関するもの」を意味するラテン語で、次のものを参照することがあります。 by google翻訳）
(抜粋)
Literature, television and film[edit]
Solaris (novel), a 1961 science fiction novel by Stanis?aw Lem
Solaris (1968 film), directed by B. Nirenburg
Solaris (1972 film), directed by Andrei Tarkovsky
Solaris (2002 film), directed by Steven Soderbergh
Other uses[edit]
Solaris (operating system)
(引用終り)
630:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/18 23:11:47.44 gGT+ehE7.net
>>570 補足
Swinnerton-Dyerさんが出てくるね（＾＾
URLﾘﾝｸ(en.wikipedia.org)
Littlewood conjecture
(抜粋)
Connection to further conjectures[edit]
It is known that this would follow from a result in the geometry of numbers, about the minimum on a non-zero lattice point of a product of three linear forms in three real variables: the implication was shown in 1955 by J. W. S. Cassels and Swinnerton-Dyer.[1]
This can be formulated another way, in group-theoretic terms. There is now another conjecture, expected to hold for n ? 3: it is stated in terms of G = SLn(R), Γ = SLn(Z), and the subgroup D of diagonal matrices in G.
Conjecture: for any g in G/Γ such that Dg is relatively compact (in G/Γ), then Dg is closed.
This in turn is a special case of a general conjecture of Margulis on Lie groups.
(引用終り)
URLﾘﾝｸ(en.wikipedia.org)
Peter Swinnerton-Dyer
(抜粋)
Sir Henry Peter Francis Swinnerton-Dyer, 16th Baronet KBE FRS (born 2 August 1927), commonly known as Peter Swinnerton-Dyer, is an English mathematician specialising in number theory at University of Cambridge.
As a mathematician he is best known for his part in the Birch and Swinnerton-Dyer conjecture relating algebraic properties of elliptic curves to special values of L-functions, which was developed with Bryan Birch during the first half of the 1960s with the help of machine computation, and for his work on the Titan operating system.
(引用終り)
URLﾘﾝｸ(en.wikipedia.org)
Birch and Swinnerton-Dyer conjecture
631:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/18 23:43:17.75 gGT+ehE7.net
>>574 補足
この文が、だれがいつ書いたのか不明だが・・・
”that contributed to Lindenstrauss' Fields Medal in 2010.”とあってね
へー、「Lindenstrauss' Fields Medal in 2010」なのか～、と思った次第
私も、不勉強だね～。全然ピントこなかったな～（＾＾
URLﾘﾝｸ(www.york.ac.uk)
University of York
URLﾘﾝｸ(www.york.ac.uk)
(抜粋)
Littlewood's Conjecture (1930)
Littlewood's Conjecture is at the heart of multiplicative Diophan
632:tine approximation and has motivated many recent breakthrough developments such as the work of Einsiedler, Katok and Lindenstrauss [5] that contributed to Lindenstrauss' Fields Medal in 2010. The conjecture is well known for its strong links with dynamical systems and ergodic theory (indeed, the measure rigidity conjecture of Margulis [7] regarding the dynamics on SL3(R)=SL3(Z) implies Littlewood's Conjecture) and is currently a part of a major research trend world-wide. It has been in the spotlight at many recent major workshops and conferences including the 2010 ICM in Hyderabad. (引用終り)
633:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/19 07:43:03.51 Nl8Dprui.net
>>571
>おっちゃん、稠密（下記）を理解しているかい？
>R中のQは稠密だから、無理数のみの開区間や有理数のみの開区間は取れないことを！（＾＾
＜文学では＞
「"The Sound of Silence" を"沈黙の音"とそのままに訳すと意味が通じません」
「松尾芭蕉 『古池や蛙飛び込む水のおと』 この俳句では、蛙がケロケロでもなクワックワッでもなく、古池に飛び込ませることで「静けさ」の音が伝わってくる素晴らしい作品です。」
＜数学では＞
文学のような矛盾は許されない。R中のQは稠密。
にも関わらず、「f はある開区間の上でリプシッツ連続である」（>>560）とする。
そういう命題の立て方は、許されない
気付いてみれば、当たり前のこと
系1.8(>>184)の背理法との関係で、脳波を狂わされていたよ～（＾＾
（参考）
URLﾘﾝｸ(kiyo-furu.com)
The Sound of Silence－「沈黙の世界」～訳と解釈 (2011/12/5,12/29,2012/2/6,4/17更新) kifuruの長文系ページ
(抜粋)
１．タイトルの意味
The Sound of Silence 沈黙の世界
"The Sound of Silence" を"沈黙の音"とそのままに訳すと意味が通じません。
(引用終り)
URLﾘﾝｸ(ja.wikipedia.org)
古池や蛙飛びこむ水の音
(抜粋)
芭蕉が蕉風俳諧を確立した句とされており[1][2]、芭蕉の作品中でもっとも知られているだけでなく、すでに江戸時代から俳句の代名詞として広く知られていた句である[3]。
(引用終り)
URLﾘﾝｸ(nippon.fr)
フランス語豆知識 いろんな静けさ NOVEMBER 17, 2010 AKI Le vrai Japon. フランス発見 | Nippon.fr
おもしろいのは擬態語。音を出さないものについて字を当てて表現する。
ポカポカの日だ。
頭がガンガンする。
バラバラに散らかっている。
外国人にこういった日本語を教えると結構面白がってくれます。ツルツル、パンパン、トントン、ピョンピョン、カンカン、ザーザー、テクテク、カサカサ、ドスンドスン、 時に、ボーっと、シーンと、ポワーンと・・・・、なんだこの日本語！？と。
つづく
634:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/19 07:44:12.25 Nl8Dprui.net
>>576 つづき
もちろん英語やフランス語にもonomatopoeiaやonomatopeeと訳語があるので、こういった表現（擬声語）は存在します。ただ日本語の擬声語の数は比べ物にならないくらい多い。
そうした音に対する人の捉え方をみると、言語の違いだけではなく、文化や習慣の違いも見えてきます。日本人は音に対してとても敏感だと思います。
では、いろんな国の「静けさ」をあらわす表現を見てみましょう。
まず日本代表：松尾芭蕉 『古池や蛙飛び込む水のおと』
この俳句では、蛙がケロケロでもなクワックワッでもなく、古池に飛び込ませることで「静けさ」の音が伝わってくる素晴らしい作品です。蛙の擬音語ではなく、蛙が飛び込んだときに水がポチャッとなるイメージを頭の中に描くので水のはじく擬音語ですね。
その音は俳句の中には文字として記されていませんが、共通の文化を持っている人間ならばそこからジワリと静けさが浮かび上がってくることでしょう。
(引用終り)
以上
635:１３２人目の素数さん
18/01/19 09:44:26.11 zLaqQ3FB.net
おっちゃんです。
フランス語はよく分からないが、日本語でいう「す」に当たる発音がフランス語だと「シュ」という発音になるそうだ。
フランス語の発音には日本語の「す」に当たる発音がなく、
「ムース」という言葉をフランス人は「ムーシュ」と発音してしまうそうだ。
636:現代数学の系譜 雑談 古典ガロア理論も読む
18/01/19 10:07:39.27 UY+9mDnl.net
>>578
おっちゃん、どうも、スレ主です。
おっちゃん、仏語もできるのか～（＾＾
637:１３２人目の素数さん
18/01/19 11:53:43.51 zLaqQ3FB.net
>>579
フランス語？
私はフランス語は書けず読めず、話せないし、文法も詳しくは知らない。
フランス語の雑学の知識を書いただけ。
638:１３２人目の素数さん
18/01/19 12:41:16.17 t3v/JJ/n.net
別スレより
私はあそこのスレ主とは違う。
ガロアスレのスレ主は他人に成り済ましたりする癖があって、質が悪い。
私はあそこのスレ主とは違う。
ガロアスレのスレ主は他人に成り済ましたりする癖があって、質が悪い。
だってよ！！
スレ主も有名になったもんだww