16/11/27 12:58:15.97 dKz7cXDk.net
>>540 >>542-545
おっちゃんらしい外し方だな
当方が、>>480で聞いたことは、下記
”どうかおっちゃんの数学センスをみせてくれよ（＾＾；
どうやって、無限数列のしっぽを見分けるのか？
（時枝記事の>>114 推移律チェックは、「無限数列のしっぽが見分けられたら」が前提であることを、再度注意しておくよ）”
これを、時間の順でステップ分けして書くと
１）無限数列のしっぽを見分ける
↓
２）しっぽの一致不一致が分かる
↓
３）同値か否かが分かる
↓
４）同値な関係の３つの数列の推移律の確認ができる
まあ、こういう４段階に分けて、時枝の>>114 「念のため推移律をチェックすると，sとs'が1962番目から先一致し，s'とs"が2015番目から先一致するなら，sとs"は2015番目から先一致する.」
は、上記の３）と４）を実行しただけだ、と言ったわけだ
そこで、問題は、１）と２）の実行（ 特に１）の実行）は、だれがどうやってやるのか？
そこは全く時枝記事では触れられていないよと。そこを問題視している
だから、>>542「推移率チェックに注意しつつ、無限数列のしっぽが見分けられた」なんてことは、上記の４段階の流れを全く逆転させた話で、まったく求めていないのだ
従って、”スレ主がいう「無限数列のしっぽを見分ける」操作を行うにあたっては、必ずしも「推移率チェックを行う」必要は「ない」ということになる”という議論は、全くの的外れだな（＾＾；
600:現代数学の系譜11 ガロア理論を読む
16/11/27 13:02:30.01 dKz7cXDk.net
>>548 つづき
おっちゃん、「構成主義的数学」（下記）わかりますか？
URLﾘﾝｸ(fomalhautpsa.sak)<) 強制改行
ura.ne.jp/Science/Murata/sugaku-kisoron-rekishi.pdf
数学基礎論の歴史 ―その一つの断面― 村田 全
(抜粋)
経験主義―E. Borel 達の解析学者の主張に始まる。集合論における「対応」が
どの程度まで具体的であるべきか等を論じた。特に集合論の選択公理の妥当性を
めぐって論争したが，その主旨は今日の「構成主義的数学」，あるいは回帰的関
数(recursive function) の理論などに生かされている。
(引用終り)
601:現代数学の系譜11 ガロア理論を読む
16/11/27 13:02:57.96 dKz7cXDk.net
sakura がＮＧワード
602:現代数学の系譜11 ガロア理論を読む
16/11/27 13:12:06.81 dKz7cXDk.net
>>549 補足
構成主義と”自然数の定義における非述定性”、（推移性）を見るだけでは不十分！
URLﾘﾝｸ(www.info.human.nagoya-u.ac.jp)
久木田水生のページ - 人間情報学研究科 - 名古屋大学
URLﾘﾝｸ(phsc.jp)
URLﾘﾝｸ(ibrarian.net)
久木田水生「フレーゲの論理主義再考」（科学基礎論学会，鳥取大学，2007年）
(抜粋)
１ フレーゲによる数学的帰納法の導出
フレーゲは概念の間の等数性を、二つの概念に帰属する対象の間に一対一の対応がつけられること、として定義する。概念Fz とGz が等数であるということをFz ≡ Gz によって表すことにする。
つまり任意の概念Fz、Gz、Hz に対して、
（反射性）Fz ≡ Gz
（対称性）Fz ≡ Gz ならば、Gz ≡ Fz
（推移性）Fz ≡ Gz かつGz ≡ Hz ならば、Fz ≡ Hz
が成り立つ。ある集合の上に定義された同値関係は、その集合を同値類によって直和分割することを可能にする。
しかし定義（GZ）によっては、実際に全ての自然数に対応する基数が存在することは保証できていない。というのも、任意の自然数n について、その自然数に対応する基数が定義されるためには、Az (Fz) がn に対応するような概念Fz が、少なくとも一つ存在することが言えなければならないからである。
しかしこれでもまだ十分ではない。上の説明は、個々の自然数n に対応する基数n がどのように与えられるかを説明してはくれるが、しかしこれで自然数全体に対応する有限基数一般が定義されたわけではないのである。
２ 自然数の定義における非述定性
非述定的定義がしばしば問題にされるのは、それが循環的であるということ、またその循環
603:性ゆえに、種々の集合論的パラドクスの原因になったということによる。 ここから明らかなのは、非述定的定義が循環であるとする議論と、循環ではないとする議論の間の対立は、数学的概念についての構成主義的な見解と実在論的な見解との間の対立に還元することができる、ということである。 (引用終り)
604:現代数学の系譜11 ガロア理論を読む
16/11/27 13:16:19.10 dKz7cXDk.net
>>551
要するに、ここで示したのは、「（推移性）を確認しました」→「だからそういう集合が存在します」とは言えないと
話は逆で、「そういう集合（または対象）が存在する」→「（推移性）を確認しました」が話の順序だろうと
605:１３２人目の素数さん
16/11/27 13:55:49.30 CnaRbCke.net
>>548
> そこで、問題は、１）と２）の実行（ 特に１）の実行）は、だれがどうやってやるのか？
> そこは全く時枝記事では触れられていないよと。そこを問題視している
R^Nが類別可能であることはこの記事の大前提。
その仮定を認めないのはお前の勝手だ。
認めないならお前にとってこの記事は意味をなさない。
この記事を論じるにあたってお前の発言はすべて無意味。
だからひっこんでろ。
606:現代数学の系譜11 ガロア理論を読む
16/11/27 14:00:43.49 dKz7cXDk.net
>>540 >>542-545
おっちゃん
URLﾘﾝｸ(www.ole-b.com)
円周率計算の世界記録は12.1兆桁らしいが、これって本当にあってるの？ - おれブログ: 2014-09-19
(抜粋)
先日新聞で読んだ円周率に関する記事。
計算桁数記録は現在12.1兆桁。日本人の近藤茂さんと米国人のアレクサンダー・Ｊ・イーさんのタッグで生み出された成果らしい。
12.1兆桁という途方もない桁数にも驚いたが、それよりも気になったのは前人未踏の12.1兆桁って誰がどうやって正しいことを証明するんだろうってこと (´・ω・`)
多分この疑問を解消してくれるエピソードが手計算時代にあったみたいです。
1850年頃から1873年にかけてウィリアム・シャンクスという人が段階的に707桁まで計算したんですね。
あれ？ さっき上では「1800年代に527桁」って書いたよね？
実はシャンクスさんは707桁まで計算したんですが、計算結果は527桁までしか合ってなかったんです。なので公式記録は527桁ってことになってます。
その計算ミスを確認したのが、先ほど最後の手計算記録として登場したD.F.ファーガソンなんです。彼が1945年に540桁まで計算したことで約70年前のシャンクスの計算ミスが判明したんです。そしてこの約70年の間はシャンクスの計算ミスした707桁の数値が信用されていたようです。
つまり、最長記録の計算結果が正しいかどうかってのは、記録が塗り替えられるときに初めて分かるってことなのかと。
なので、現在最長の12.1兆桁の結果も現時点では正しいのかどうかは分からないってことなんですかね。なんか微妙だけど、、、まぁ、そういうものなんでしょう。
(引用終り)
607:現代数学の系譜11 ガロア理論を読む
16/11/27 14:03:47.33 dKz7cXDk.net
>>553
>R^Nが類別可能であることはこの記事の大前提。
妄想にすぎない
否定するなら、論文を提示してくれ
と構成主義者ならいうね
いや、具体的手順を示せというかもな（＾＾；
608:現代数学の系譜11 ガロア理論を読む
16/11/27 14:08:51.64 dKz7cXDk.net
>>554 つづき
例えばネイピア数の公式 （πの公式はこの粗末な板で書くには複雑すぎる・・・）
URLﾘﾝｸ(ja.wikipedia.org)
ネイピア数の表現
(抜粋)
級数による表現
ネイピア数 e は次のような級数で表される。
１． e = Σ k 0→ ∞ (1/ k !)
２． e = Σ k 0→ ∞ ((k+1)/ k !)/2
(引用終り)
１式－２式＝Δ（誤差）
で、いわゆる無限小数展開（＝コーシー列）では、Δ（誤差）はゼロに収束する
∵ヒルベルト空間では、内積（～距離）が入り、収束が保証されているから
まあ、大げさに言わなくても、当たり前
だが、時枝のR^N空間では、そうではない。
無限小数展開（＝コーシー列）では、少数のしっぽの方は、ゼロに収束するから、小さな違いは無視していい。だから、１式と２式とは収束先は同じで、ネイピア数 e
だが、時枝のR^N空間では、あたまの箱もしっぽの箱も軽重は付けられていない。だから、しっぽの先の差が大きな問題となる
いわば、１式－２式＝Δ（誤差）のΔが消えない。（ 例えだが、無限小数展開では、Δ＝D/10^n みたいな形で、少数の下位の桁はどんどん小さくなる。が、時枝のR^N空間ではそうではない ）
ところで、上記のように、１式と２式とが明示的に与えれていればともかく、１式や２式が隠されていて（明示なし）、はき出される数列のみを見て、同値か否か
その判断ができるのか？
それ、上記の”円周率計算の世界記録は12.1兆桁らしいが、これって本当にあってるの？ ”ってこと
人類はいまだ円周率πの無限小数展開のしっぽがどうなっているか知らないのだ。知っているのは、12.1兆桁あたりまで
可算無限個の箱の数列のしっぽの同値類なるものは、上記のような胡散臭さがある
人類はいまだどの一つの超越数さえ、無限小数展開のしっぽをしらない
そして、無限小数展開では、箱に入る数はわずか０～９にすぎないのだ
無限小数展開は、コーシー列と同一視できるから、ヒルベルト空間内。 圧倒的に扱いやすい。時枝のR^N空間よりは圧倒的に扱いやすい
それでもなお、人類はいまだどの一つの超越数さえ、無限小数展開のしっぽを具体的にしらない！
609:１３２人目の素数さん
16/11/27 14:09:37.95 CnaRbCke.net
>>555
だから『仮定』と言ってるだろｗアホウ。
610:１３２人目の素数さん
16/11/27 14:26:12.61 CnaRbCke.net
それともなに？『仮定』がZF公理系に矛盾するとでも言いたいの？
そういう主張は大歓迎だ。証明しろ。今すぐに。
証明できないなら論文を提示しろｗ
俺はR^Nが類別可能であることの無矛盾性など示す気はない。
（暇ならお前やれば？ｗ）
だから俺は『仮定』と言った。
このR^Nが類別可能であると『仮定』して記事を読んでいる。
仮定を認めないお前は時枝記事を語る資格無し。
（その場合、お前の大好きなヴィタリ集合の存在とどう折り合いをつけるのか知らんがｗ）
外野から『この仮定は成り立たないじゃないかなーー・・・』と孤独につぶやいてれば良しｗ
611:現代数学の系譜11 ガロア理論を読む
16/11/27 14:30:09.57 dKz7cXDk.net
>>556
コンピュータ計算のα線によるソフトエラー をご存知だろうか？
URLﾘﾝｸ(toshiba.semicon-storage.com)
Si-SiO2界面 | 東芝 ストレージ＆デバイスソリューション社: 2016年4月現在
(抜粋)
ソフトエラー (参考文献6)
以前より、微細化デバイスではパッケージや配線材料に含まれる微量な放射線元素 (ウランU、トリウムTh) から放射されるα線が問題となっています。
このα線がデバイス内のPN接合近傍に入射された時、その飛程に沿って電子-正孔対を発生させます。
この発生した少数キャリアにより、DRAMやSRAMなどのメモリセル内のデバイス情報が反転してしまう現象をソフトエラーと呼んでいます。
ソフトエラーは、メモリセルモード、ビット線モードに大別されます。
(参考文献6): T.C.May and M.H.Woods: A New Physical Mechanism for Soft Errors in Dynamic Memories 16th annual Proc., Rel., P33 (1987)
(引用終り)
仮に、>>554 の円周率計算の世界記録 12.1兆桁 の先を、二つのコンピュータで、それぞれ別のπの公式で計算させているとする
理
612:想的には、どちらも、πに収束するはず だが、上記のα線によるソフトエラーがどこかで起こらないとも限らない というか、起きる可能性は否定できない その場合、二つのコンピュータから出力される数列たちのしっぽは一致しないことになる しっぽの不一致がどこで起きるか？ それは神のみぞ知る 可算無限長のしっぽのどこかで起きるかも知れないα線によるソフトエラー さて、人は、α線によるソフトエラーが起きるかどうか、いや、α線によるソフトエラーが起きたかどうかを知ることができるのか？ 数列の先頭から調べることで・・・ 数列の長さは可算無限長なのに・・・ （コンピュータが可算無限長だったら止まらないという話もある。まあ、そこは量子コンピュータが使えてクリアできるとでもしましょう ）
613:現代数学の系譜11 ガロア理論を読む
16/11/27 14:37:48.46 dKz7cXDk.net
>>557-558
仮定仮定か
「宝くじが当たって１億円」>>470 と同じだな
仮定が現実離れしていては意味がない
「貯金が１億円あれば」と仮定しても、現実の今日の生活とは無関係
「時枝の記事は正しい」と仮定すれば、議論はすぐ終わる
が、それでは雑誌の記事としては、意味がないだろ
あくまで、既存の数学の枠内でどう解釈できるのか
そして、時枝の示した解法が、どれだけ現実的意味を持つのかの評価
そこが論点だろ？
614:１３２人目の素数さん
16/11/27 14:48:19.45 CnaRbCke.net
もう少し補足しよう。
有理数の差をもつ2つの実数を同一視した剰余群R/Qを考える。
たとえば1.234111111...と2.345111111....は同値である。
区間[0,1]で得られる代表系をヴィタリ集合と呼ぶのであった。
スレ主の論法によると、2つのa,b∈Rはいつまでたっても同値性を判定できない。
なぜなら末尾の1111...がいつなんどき2や3に変化するとも知れないからだ。
となると、スレ主にとっては『有理数の差をもつ2つの実数を同一視する』という
同値関係自体が認めがたいものになる。
よってスレ主がたびたび話題に挙げたヴィタリ集合は存在不可、
無意味な仮定に基づいた妄言に過ぎない、となる。
明らかになったのは、お前の論じる数学の立ち位置は
時枝氏やHart氏と異なるどころか、
ヴィタリ集合の存在を認める 全 て の 数 学 者 と異なる
ということだｗ
615:１３２人目の素数さん
16/11/27 14:54:04.86 CnaRbCke.net
じゃあ時間の無駄なのでさようなら。御馬鹿殿。
616:現代数学の系譜11 ガロア理論を読む
16/11/27 14:57:30.40 dKz7cXDk.net
>>541
個人的に下記の記事は結構面白かった
URLﾘﾝｸ(eman-physics.net)
非相対論的にスピンを導く シュレーディンガー方程式の線形化。
(抜粋)
動機
ディラック方程式ばかりを使ってスピンの話をしていると、スピンは相対論的な効果の現れだというイメージで考えが固まってしまう惧れがある。今回はディラック方程式を使うことなくスピンの存在を導いて見せて、その辺りの考えを突き崩しておくことにしよう。
基本的な思想は前にクライン・ゴルドン方程式を線形化してディラック方程式を得たのと同じなのだが、途中の計算には少しばかり技巧的なところがあって、一体どうしてこんなことが思いつけるだろうかと感じるかも知れない。
なぜそんな手続きが必要なのか、と問われたら何と答えようか。時間と空間座標は対等であるべきだから・・・などと説明すれば、やはり相対論の思想が根底にあるのではないか、という結論になってしまいそうだ。
しかしディラックの「線形化しないと相対論の要求を満たさないから」という思い付きは現代の視点から見るとそれほど正しいわけではなかったのである。そのままでは使えないと思われたクライン・ゴルドン方程式は、相対論的な場の理論において、スピンを持たない粒子を表すのに活用されている。
そうなると、次のように答えておくより他にないのではないだろうか。「線形化することでスピンが自然に導かれてくることが分かっているからだ」と。
尚、今回の記事の計算は1967年の Levy-Leblond の論文 「Nonrelativistic Particles and Wave Equations」 ( Commun. math. Phys. 6, 286 (1967) ) を頼りにしている。
つづく
617:現代数学の系譜11 ガロア理論を読む
16/11/27 14:59:36.84 dKz7cXDk.net
>>563 つづき
手続きの説明
この展開結果を (2) 式と比較すれば解決しそうである。しかし残念ながら、今回はそれほど単純には答えは出ない。できるものならやってみるといい。私ならこの程度の障害にぶつかった時点で「シュレーディンガー方程式の線形化は不可能である」と結論して早々に諦めてしまうことだろう。
しかし頭のいい人がいるもので、A、B、Cとは全く別の係数A′、B′、C′を導入して、
という式を作り、これを展開したものが (2) 式と同じになるようにすればいいと考えたのである。係数を増やすなんて無茶なことをすればそれだけ面倒な要素が増えてしまう気がする。そういう事は出来るだけ避けたいという思いが新しい思い付きを鈍らせる原因になっているのだが、実はそれほど複雑なことにはならない。
ここで導入したMは正則な行列（つまり逆行列を持つ行列）であるとする。この置き換えを使えば、(4) 式は
という、前に見たことのある式に書き換わってしまう。何と、ディラック方程式の係数を決めた時の条件式と全く同じである！徹底的に簡素化されたこの表現の事を前に「ただの趣味でしかない」と言ってしまった事を大いに反省する。
この時の波動関数ψはディラック方程式の場合と同じく、4 成分のスピノルで表されることになるわけだ。ああ、前に「相対論万歳」と叫んだあの感動は何だったのだろうか。・・・いや、今は別の感動がある。
(引用終り)
618:現代数学の系譜11 ガロア理論を読む
16/11/27 15:17:03.31 dKz7cXDk.net
>>561-562
その声は、Tさんだな
なんど、「さようなら」を言っては戻ってきたことか？
もう、来るなよ（＾＾；
ヴィタリ集合論との違いは
１．ヴィタリ集合論は、ヒルベルト空間の中(内積＝距離が定義され、完備な空間)。時枝解法R^Nは、外
２．さらに、時枝解法は、その後完全同値類分類を達成し、代表元を定めて、決定番号を決めるプロセスに繋げる必要がある
３．さらに、１００列で、確率99/100を導くことのできる良い性質を備えなければならない
いま論じているのは、「時枝解法R^Nは、確率99/100を導くことのできる良い性質を備えてはいない」（解法不成立）という視点からの議論だよ
以前にも書いたが、ヴィタリ集合論、ヒルベルト空間の中では、しっぽ（小数点の下位）の先の些末な差は、距離が定義されているから、小さくなり、ゼロに収束するのだ
だが、距離が定義されていない時枝解法R^Nではそうならないだろう？
また、「代表元を定めて、決定番号を決めるプロセスに繋げる」ってところも曖昧だし
「１００列で、確率99/100を導く」もできない
要するに、１もダメだが、２と３もダメ
そこが、ずっと分かっていなかったね、あなたは
619:現代数学の系譜11 ガロア理論を読む
16/11/27 15:49:12.42 dKz7cXDk.net
>>565 補足
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
超越数（ちょうえつすう、英: transcendental number）とは、代数的数でない数、すなわちどんな有理係数の代数方程式
の解（英語版）にもならないような複素数のことである。
(引用終り)
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
代数的数（だいすうてきすう、英: algebraic number）とは、ある有理数係数の 0 でない多項式の根となる複素数のことである。
(引用終り)
いま、実数に限定して
超越数（transcendental number）として、一つ Tran という 数を考えよう
Tranのε近傍に、代数的数（algebraic number）Algn という 数を考えよう
つまり、| Tran - Algn |< ε で、いつもの�
620:謔､に、εはいくらでも小さく取れるとする ところで、仮定より 明らかに 「 Tran not = Algn 」が成り立つ。 εをいくら小さくとろうとも つまり、Tran と Algn とのしっぽは一致しない。εをいくら小さくとろうとも ∵しっぽは一致したら、Tran = Algn となり矛盾 ただ、εはいくらでも小さく取れるから、頭からしっぽの先に近い部分まで、いくらでも一致させることはできる さて、命題A：「Tran ∈ 超越数、 Algn ∈ 代数的数」 → 命題B：「Tran と Algnとは同じしっぽの同値類に属さない」 が言える ∵無限少数展開のしっぽは一致しないから つまり、命題Aで、超越数や代数的数という情報を与えたから、命題Bが言えたのだ （ここが、ヴィタリ集合論と類似の議論（有理数、無理数という情報を与えてヴィタリ集合の存在を導く）だ） 問題は、超越数や代数的数という情報が、与えられていないときに、命題Bが言えるのか？ εはいくらでも小さく取れるから、頭からしっぽに近い部分まで、いくらでも一致させることはできる それで、命題Bが言えるには、具体的にどういう情報が必要なのだろうか？ （そこをすっきり理論的に解明できれば、論文が一つ書けるだろう ） そこを時枝記事はスルーしているのだよ そして、普通の実数でのヒルベルト空間（コーシー列）でさえ、現代数学では、無限小数のしっぽは扱いかねる まして、ヒルベルト空間外のR^Nにおいておや
621:１３２人目の素数さん
16/11/27 16:21:56.19 CnaRbCke.net
>>566
> さて、命題A：「Tran ∈ 超越数、 Algn ∈ 代数的数」 → 命題B：「Tran と Algnとは同じしっぽの同値類に属さない」 が言える ∵無限少数展開のしっぽは一致しないから
>
> つまり、命題Aで、超越数や代数的数という情報を与えたから、命題Bが言えたのだ
お前の主張はほとんどこれｗｗ
『aとbが同値でないならば、aとbは同値でない』
622:１３２人目の素数さん
16/11/27 16:31:45.67 C7ghjjL/.net
>>548
>どうやって、無限数列のしっぽを見分けるのか？
>（時枝記事の>>114 推移律チェックは、「無限数列のしっぽが見分けられたら」が前提であることを、再度注意しておくよ）”
Nで1以上の自然数全体の集合を表わす。xy平面 R^2 上で、すべての n∈N に対して、x座標がnの点 P(n) を通りx軸に垂直
な直線 L(n) を引く。直線 L(n) 上の1点から R^2 上の右側に向けx座標を増加させながら曲線 C(n) を引く。
いわゆる、幾何的には高校で習うような関数のグラフを考えることになる。すると、各 C(n) n∈N に対して、
数列空間 R^N の点 s＝(s_1, s_2, s_3,…) の全体が構成される。そこでスレ主が>>548で
>１）無限数列のしっぽを見分ける
> ↓
>２）しっぽの一致不一致が分かる
> ↓
>３）同値か否かが分かる
> ↓
>４）同値な関係の３つの数列の推移律の確認ができる
>
>そこで、問題は、１）と２）の実行（ 特に１）の実行）は、だれがどうやってやるのか？
>そこは全く時枝記事では触れられていないよと。そこを問題視している
と書いたようなことを考える。
623:１３２人目の素数さん
16/11/27 16:34:58.65 C7ghjjL/.net
>>548
(>>568の続き)
スレ主のいうように1)と2)の実行が出来るかどうかを問題視するにあたっては、
文脈上と読解上「無限数列のしっぽを見分けられないこと」を前提とするしかない。
つまり、「無限数列のしっぽを見分けられない」として話を進めることになる。
3角関数のグラフの曲線のように、上下の値が有界であるような周期関数のグラフ C(n), ∃n∈N に対して、
C(n) との交点が可算無限個存在するような直線 l(n) を引いた場合も含めて考えることになる。
このような可算無限個の交点と l(n) の存在性は、周期関数の定義と周期関数の上下の有界性から幾何的にはすぐ分かる。
各 n∈N に対して L(n) と l(n) の交点のx座標を s_n とする。値が小さい方から s_1, s_2, … と並べて行く。
すると、R^N の点 s＝(s_1, s_2, …) が構成出来る。このような R^N の点 s＝(s_1, s_2, …) の構成は、
スレ主の趣旨に沿った R^N の点の構成である。だから、s＝(s_1, s_2, …) に対しては、
スレ主の趣旨に添うと、スレ主のいう1)と2)の実行が出来るかどうかを検証しても構わない。
そこでスレ主のいうような1)と2)の実行についての検証を行う。
数列 s_1, s_2, … の各項 s_n∈R (n∈N) は、有理直線Qを実数直線Rに埋め込んで、QをRに完備化し、
Rの元として定義される。いわゆる、カントール式の実数の定義をすることになる。
カントール式の実数の定義をするにあたっては、その後、一旦距離空間 R^N を定義して、距離空間 R^N の点列
の収束や極限、部分列などを定義する。そして、コーシー列も定義する。
そうしてRが連結なハウスドルフ空間なることを確かめる。その後、任意の完備な順序体がRに同型なことも確かめる。
それから、一旦、有理数列全体 Q^N に対して時枝がいった関係～と同様な関係～を定め、数列空間 Q^N の中で
関係～が同値関係になることを確かめて、Q^N に属する有理コーシー列として実数を定義する。
これが実数の定義の大体のあらましである。
しかし、カントール式の実数の定義とデデキントによる実数の定義は同値だから、
やはりスレ主の投げ掛けた問いは意味をなさない。実数のカントール式の実数の定義の話に戻っただけである。
624:１３２人目の素数さん
16/11/27 16:35:48.64 CnaRbCke.net
混沌のおっちゃんが現れたので本当に退散しますｗ
お勤めがんばってねスレ主さん
625:１３２人目の素数さん
16/11/27 16:44:24.64 C7ghjjL/.net
>>548
ぶっちゃけ、スレ主のいう問いかけは、スレ主が杉浦解析入門のような
微分積分の本を読んでいないことがバレバレになるだけの問いかけなんだよ。
626:１３２人目の素数さん
16/11/27 17:21:19.41 C7ghjjL/.net
>>548
スレ主の趣旨に添うと、>>569の
>C(n) との交点が可算無限個存在するような直線 l(n) を引いた場合も含めて考えることになる。
と書いた段階では、まだ「l(n)」は「直線」ではなく一般には「曲線」として考えているから、
「直線 l(n) を引いた」は「曲線 l(n) を引いた」に訂正しないといけないな。
ぶっちゃけ、数列や微分積分が分かる人にとっては、l(n) が直線であることは明らかなんだけど。
じゃ、疲れたから私も寝る。
627:１３２人目の素数さん
16/11/27 17:33:58.46 C7ghjjL/.net
>>548
>>572の
>ぶっちゃけ、数列や微分積分が分かる人にとっては、l(n) が直線であることは明らかなんだけど。
はいい過ぎで、間違いだったから取り消し。反例があった。
それじゃ、私は寝る。
628:１３２人目の素数さん
16/11/27 17:58:49.91 C7ghjjL/.net
>>548
>>568の
>すると、各 C(n) n∈N に対して、数列空間 R^N の点 …(略)…
の部分は
>すると、各 C(n) n∈N に対して、C(n) と L(n) との交点 (n, s_n) s_n∈R
>を考えることにより、数列空間 R^N の点 …(略)…
に訂正。じゃ、本当に寝る。
629:１３２人目の素数さん
16/11/27 18:02:33.58 VHnvKcoU.net
>>560
＞仮定が現実離れしていては意味がない
現実離れしていると？
なら、類別不可能であることを容易に証明できるわけだな？
さあ、証明してみてくれ
できないなら、お前は只のホラ吹きだ
630:１３２人目の素数さん
16/11/27 18:49:18.04 lTB4w9cF.net
> 無限数列のしっぽでの同値類分類：数列のしっぽが一致すれば同値＝つまりは、数列の最後の数が一致するかどうか
> 有限数列であれば、なんの問題もない。だが、可算無限個の箱に入った数列ではどうか？
>>498や
ｽﾚﾘﾝｸ(math板:35番) の補足になるが
a0=1, a1=1.4, a2=1.41, a3=1.414, a4=1.4142, ... , a(D-1), aD=√2, √2, √2, √2, ...
b0=1, b1=4, b2=1, b3=4, b4=2, ... , b(D-1), bD={√2の小数点以下n桁目}, b(D+1)={√2の小数点以下n+1桁目}, ...
a0=2, a1=2.7, a2=2.71, a3=2.718, a4=2.7182, ... , a(D-1), aD=e, e, e, e, ...
b0=2, b1=7, b2=1, b3=8, b4=2, ... , b(D-1), bD={eの小数点以下n桁目}, b(D+1)={eの小数点以下n+1桁目}, ...
時枝記事の極限(べったり版)の場合だとa0はある項以降が全て同じ数字になってaD=√2, √2, √2, √2, ... であり
ある項以降が全て√2であることを(√2)^*で表せばa0=1, a1=1.4, a2=(√2)^*やa0=1, a1=1.4, a2=1.41, a3=1.414, a4=(√2)^*と書ける
またa0=1, a1=1.4, a2=(e)^*やa0=2, a1=2.7, a2=2.71, a3=(√2)^*などとも書ける
anからbnの変換はbD={(√2)^*の小数点以下D桁目以降}などと書けば
b0=1, b1=4, b2={(√2)^*の小数点以下2桁目以降}やb0=1, b1=1.4, b2=1.41, b3=1.414, b4={(√2)^*の小数点以下4桁目以降}
b0=1, b1=4, b2={(e)^*の小数点以下2桁目以降}やb0=2, b1=7, b2=1, b3={(√2)^*の小数点以下3桁目以降}と書ける
この場合はシッポが一致するかどうかは最後の()^*の中の数が一致するかによる
{(√2)^*の小数点以下n桁目以降}などを全て可算無限個の数字に置き換えることは
> "全ての箱に数を入れる行為"までは、問題の仮定だからOK
> スレ主は(R^Nの)任意の無限数列が出題可能であると仮定しているのでしょう？
> 当然。
可能であると仮定されている
スレ主曰く「当然。」
631:１３２人目の素数さん
16/11/27 19:18:48.14 PIO+92bt.net
古典ガロア理論の基礎の部分をもっとていねいに説明した方がいいと思う。例えば、対象となってるのは文字を使った有理式で、その文字に値が定義されているもの、なんだよね。だから式として同じなのか、値として同じなのか、読み分ける必要がある。
632:１３２人目の素数さん
16/11/27 20:03:50.47 VHnvKcoU.net
読み分けできないアホは読まないでよろしい
633:１３２人目の素数さん
16/11/27 22:00:35.56 jM5y5Pjg.net
>>565
R^Nはヒルベルト空間だぞアホか
634:１３２人目の素数さん
16/11/27 22:02:56.17 jM5y5Pjg.net
Nは自然数表してるのか。だとｌ_2の場合だけか
635:１３２人目の素数さん
16/11/28 16:57:42.18 gwm0EUHA.net
そんなことおっしゃいましても、
636:数学ガールの結城先生だって誤解するんだから、ちゃんと説明してほしかったです。
637:１３２人目の素数さん
16/11/29 15:20:44.30 D1PsVsDV.net
結城？
あれはトウシロウなんだがw
638:１３２人目の素数さん
16/11/29 17:35:05.33 GlCgAQ0n.net
>>566
おっちゃんです。
スレ主の問題視していた点が少しは分かった。
nを任意の2以上の自然数とする。任意のn進無限小数展開表示された実数を r_n とする。
r_n の小数点以下の各桁を表すのに用いられ相異なる高々n個の数字(或いはその代わりとなる記号)
を k_0(r_n), k_1(r_n), …, k_{n-1}(r_n) とする。r_n に対して集合 K(r_n) を
K(r_n)＝{k_0(r_n), k_1(r_n), …, k_{n-1}(r_n)}
と定義する。このとき、r_n の小数点以下に現れる K(r_n) の元がどのような頻度で分布しているか
をスレ主は問題視していたのだろう。いわゆる、実数 r_n をn進無限小数展開表示するときに使われれる
K(r_n) の元の無限列 k'_1(r_n), …, k'_m(r_n), … ( K'_1(r_n)∈K(r_n), ∀i∈N＼{0})
における数字(或いはその代わりの記号)の一様分布の問題だな。
スレ主が、ボレルの経験主義だの、無限小数展開の末尾が分かるだの、
構成的主義だの、同じしっぽの同値類に属するかどうかだの、確率分布だの、
そういった言葉をよく書いていた点からエスパーすると、スレ主は恐らく、
以上のような一様分布の問題を考えていたのだろう。
そうすればスレ主の書き込みに或る程度整合性が付く。こういう問題やその理論は確かにあるが、
ただ、やはり現代数学の形の理論で、時枝問題より難しい。時枝問題より高度な知識が必要になる。
この問題を考えられるなら、時枝問題の答えが0でないことは比較的容易に分かる筈だ。
639:１３２人目の素数さん
16/11/29 17:41:46.78 GlCgAQ0n.net
>>566
あと、
>さて、命題A：「Tran ∈ 超越数、 Algn ∈ 代数的数」→ 命題B：「Tran と Algnとは同じしっぽの同値類に属さない」 が言える
>∵無限少数展開のしっぽは一致しないから
>
>つまり、命題Aで、超越数や代数的数という情報を与えたから、命題Bが言えたのだ
>（ここが、ヴィタリ集合論と類似の議論（有理数、無理数という情報を与えてヴィタリ集合の存在を導く）だ)
>
>問題は、超越数や代数的数という情報が、与えられていないときに、命題Bが言えるのか？
>εはいくらでも小さく取れるから、頭からしっぽに近い部分まで、いくらでも一致させることはできる
>
>それで、命題Bが言えるには、具体的にどういう情報が必要なのだろうか？
>（そこをすっきり理論的に解明できれば、論文が一つ書けるだろう ） そこを時枝記事はスルーしているのだよ
について。標数を0として考える。10進無限小数展開された実数を任意に取り、xとする。
任意に、実数体Rの完全不連結な部分体K(Kは、例えば Q(e) eはネイピア数 などのような或るRの部分体の超越拡大体でもいい)
を取る。そうすると、実数xがK上代数的か超越的かどちらなのか、が分かればいい。実数xについて或る体K上代数的か超越的か
のどちらなのかが分からないなら、これが分かればいい。そのことが分かれば、あとは、複素数体C上ではKの代数的閉包Fが存在し、
K∩F はRの部分体で体の拡大 F/K の部分体だから、x∈K∩F⊂F (xがF上代数的) か x∈R＼(K∩F) のどちらなのかが分かる。だから、上の
>さて、命題A：「Tran ∈ 超越数、 Algn ∈ 代数的数」 → 命題B：「Tran と Algnとは同じしっぽの同値類に属さない」 が言える
>∵無限少数展開のしっぽは一致しないから
と同様なことがいえて、Bと同様な命題が成り立つための1つの十分条件が分かる。スレ主のいう
>問題は、超越数や代数的数という情報が、与えられていないときに、命題Bが言えるのか？
という問題は、超越数や代数的数の定義から、任意に与えられかつ10進無現表示された実数xの超越性を判定する問題に帰着される。
640:１３２人目の素数さん
16/11/29 18:05:33.07 GlCgAQ0n.net
>>556
>それでもなお、人類はいまだどの一つの超越数さえ、無限小数展開のしっぽを具体的にしらない！
ちなみにこれは半分嘘で、チャンパーノウン数とかいう超越数を10新無限小数展開して表示したときは
規則性というか或る種の法則があって、0.12345678910111213141516… と、小数点以下の桁の数字は、
有限個の数字を用いて10進表示された1以上の自然数 1, 2, 3, … が小数点第一位以下から順番に、
単調増加するように並んでいる。
641:１３２人目の素数さん
16/11/29 18:27:57.74 GlCgAQ0n.net
>>566
>>583の
>K(r_n) の元の無限列 k'_1(r_n), …, k'_m(r_n), … ( K'_1(r_n)∈K(r_n), ∀i∈N＼{0})
の「( K'_1(r_n)∈K(r_n), ∀i∈N＼{0}) 」の部分は「( K'_i(r_n)∈K(r_n), ∀i∈N＼{0}) 」に訂正。
そして、>>584の
>x∈K∩F⊂F (xがF上代数的) か x∈R＼(K∩F) のどちらなのかが分かる。
の「x∈K∩F⊂F (xがF上代数的) か x∈R＼(K∩F)」の部分は
「x∈K∩F⊂R (xがK上代数的) か x∈R＼(K∩F) (xがK上超越的)」に訂正。
まあ、もう寝るから、もし訂正箇所があったら、明日以降。あとの見直しは明日。
もっとも、スレ主には、自分で訂正して読んでもらうのが一番いいんだが。
642:１３２人目の素数さん
16/11/29 20:53:41.75 X7ZuZkX1.net
たとえ、しろうとでも、読者にわかったつもりになってもらおうと、頑張ってるわけですから。
643:１３２人目の素数さん
16/11/30 19:18:53.74 IE5WHrRL.net
§15. 既約方程式の根の添加によるガロア群の簡約
§16. 根の有理式の添加によるガロア群の簡約
§15 で、ガロア分解式が体の拡大で分解されれば、それに対応して、ガロア群が部分群で剰余類分割されること、を述べ、§16では逆に、ガロア群の部分群から、ガロア分解式が分解されることを述べている。
両方ないとガロア対応にならない。ところが倉田先生は、§15の方だけでいいようなことを言ってる。倉田先生の見解は不可解です。
644:１３２人目の素数さん
16/12/01 16:40:48.62 i2ODE144.net
>>566
>>586で行った2つの訂正について、
＞そして、>>584の
＞>x∈K∩F⊂F (xがF上代数的) か x∈R＼(K∩F) のどちらなのかが分かる。
＞の「x∈K∩F⊂F (xがF上代数的) か x∈R＼(K∩F)」の部分は
＞「x∈K∩F⊂R (xがK上代数的) か x∈R＼(K∩F) (xがK上超越的)」に訂正。
の方の訂正は取り消し。そして、この訂正すべき部分は改めて
＞そして、>>584の
＞>x∈K∩F⊂F (xがF上代数的) か x∈R＼(K∩F) のどちらなのかが分かる。
＞の「x∈K∩F⊂F (xがF上代数的) か x∈R＼(K∩F)」の部分は
＞1)：K≠Q Qは有理数体Q のとき、「x∈K∩F⊂R (xがK上代数的) か x∈R＼(K∩F) (xがK上超越的)」に訂正する。
＞2)：K＝Q のとき、K∩F＝Q となるから「x∈Q⊂R (xが有理数) か x∈R＼Q⊂R (xが無理数)」に訂正する。
とする。あと、>>584の最後の行の「超越数や代数的数の定義から、」の部分は取り消し。
645:１３２人目の素数さん
16/12/01 18:42:16.03 WMAXafGY.net
ガロアを読む、に書いてある証明は不自然ですね。ガロアの群に関す知識がどのようなものだったか、そこをもっとまとめるべきだった。
例えば、X+YZ のような多項式をガロアの方法で分析することから初めるべきです。
646:１３２人目の素数さん
16/12/01 19:04:28.10 i2ODE144.net
>>566
>>584を書き直すと次のようになる。
>さて、命題A：「Tran ∈ 超越数、 Algn ∈ 代数的数」→ 命題B：「Tran と Algnとは同じしっぽの同値類に属さない」 が言える
>∵無限少数展開のしっぽは一致しないから
>
>つまり、命題Aで、超越数や代数的数という情報を与えたから、命題Bが言えたのだ
>（ここが、ヴィタリ集合論と類似の議論（有理数、無理数という情報を与えてヴィタリ集合の存在を導く）だ)
>
>問題は、超越数や代数的数という情報が、与えられていないときに、命題Bが言えるのか？
>εはいくらでも小さく取れるから、頭からしっぽに近い部分まで、いくらでも一致させることはできる
>
>それで、命題Bが言えるには、具体的にどういう情報が必要なのだろうか？
>（そこをすっきり理論的に解明できれば、論文が一つ書けるだろう ） そこを時枝記事はスルーしているのだよ
について。標数を0として考える。有理数体をQで表す。10進無限小数展開された実数を任意に取り、xとする。
任意に、実数体Rの完全不連結な部分体K(Kは、例えば Q(e) eはネイピア数 などのような或るRの部分体の超越拡大体
でもいい)を取る。
647:１３２人目の素数さん
16/12/01 19:14:02.88 i2ODE144.net
>>566
(>>591の続き)
そうすると、
1)：K≠Q のときは、実数xがK上代数的か超越的かどちらなのか、が分かればいい。
実数xについて或る体K上代数的か超越的かのどちらなのかが分からないなら、これが分かればいい。
そのことが分かれば、あとは、複素数体C上ではKの代数的閉包Fが存在し、K∩F はRの部分体であって、
かつQに対するRにおいての体の拡大 F/K の中間体だから、Q⊂K∩F⊂R、R＼(K∩F)⊂R＼Q から
x∈K∩F⊂R (xがK上代数的) か x∈R＼(K∩F) (xがK上超越的) のどちらかが分かる。なのだから、上の
>さて、命題A：「Tran ∈ 超越数、 Algn ∈ 代数的数」 → 命題B：「Tran と Algnとは同じしっぽの同値類に
>属さない」 が言える ∵無限少数展開のしっぽは一致しないから
と同様なことがいえて、Bと同様な命題が成り立つための1つの十分条件が分かる。
ここで改めて、K∩F はQに対するRにおける体の拡大 R/Q の中間体で、Q⊂K∩F⊂R、R＼(K∩F)⊂R＼Q なることに注意する。
2)：K＝Q のとき、K∩F＝Q だから「x∈Q⊂R (xが有理数) か x∈R＼Q⊂R (xが無理数)」が分かればいい。
648:１３２人目の素数さん
16/12/01 19:43:55.08 i2ODE144.net
>>566
(>>582の続き)
1)、2)から、結局、上のスレ主のいう
>問題は、超越数や代数的数という情報が、与えられていないときに、命題Bが言えるのか？
という問題は、段階的に次の(1)～(5)を考えていく問題に帰着される。
(1)：任意に与えられかつ10進無現表示された実数xの無理性を判定する問題に帰着される。
(2)：次に、もし、xが無理数であれば、xの超越性の判定の問題に帰着される。
(3)：更に、xが超越数であれば、K＝Q∩F FはQの代数的閉包 とすると、KはQに対するRにおける
体の拡大 R/Q の中間体で、Q⊂K⊂R となる。その上、K(x) はRにおける超越拡大体で、
x∈K(x)⊂R となるから、K(x) 上での代数的独立な実数の存在性の問題に帰着される。
649:１３２人目の素数さん
16/12/01 19:51:29.02 i2ODE144.net
>>566
(>>593の「(>>582の続き)」は「(>>592の続き)」の続きに訂正)
(>>593の続き)
(4)：x∈K(x) (Kは(3)と同じ) に対して K(x) 上代数的独立な実数x'が存在するときは、
K(x, x') はx'のRの中での K(x) の超越拡大体で x∈K(x, x')⊂R となるから、
Rにおいて同様に K(x, x') 上代数的独立性な実数の存在性の問題や
Rにおける超越拡大体の構成の問題を考えることにより、xが属するような
Rにおける超越拡大体をRの中で帰納的にどこまでRの中で拡大して構成出来るか、
という問題に帰着される。
(5)：あとは(4)と同様な問題になって、(4)と同様な問題をどこまでつまり何回帰納的に
繰り返して考えるられるかという問題か、或いはあり得ないことだとは思うが
どこかで(4)(か(3))と同様なことが出来なくなることを示す問題になる。
こんな感じだろうな。まあ、Rにおける完全不連結な位相体K (Kは(3)と同様) からはじめ、
デデキント切断と同様な操作を帰納的に繰り返して行くと、RにおけるKの超越拡大体は
無限回Rの中で体の拡大の操作を繰り返してRにおける完全不連結な位相体の列
K, K(x, x', …), … を構成出来るから、どこかで打ち切らないと意味がなくなる問題だな。
650:１３２人目の素数さん
16/12/01 20:31:43.09 i2ODE144.net
>>566
>>593の(1)の「10進無現表示された実数x」の部分は「10進無現小数表示された実数x」
と訂正。
まあ、10進無現小数表示された実数xが、ど�
651:ﾌような R＼Q やRにおける完全不連結な位相体 としてのQの超越拡大体(或いはQの代数拡大体AとQの差集合A＼Q)に属するのかによって、 xの小数点第一位以下にどのような数字が現れるかということについての法則性は違う筈だ。 これは>>592の1)から大体すぐ見当が付く。xが代数的無理数のときは>>593の K＝Q∩F FはQの代数的閉包 とQの差集合 K＼Q∋x についても考えることになるな。 スレ主のいう命題Bについての1つの十分条件は大体分かったわな。 じゃ、おっちゃん寝る。今度の訂正は明日以降。
652:￥ ◆2VB8wsVUoo
16/12/01 23:06:27.59 IC32DEwi.net
￥
653:￥ ◆2VB8wsVUoo
16/12/01 23:24:25.99 IC32DEwi.net
￥
654:￥ ◆2VB8wsVUoo
16/12/01 23:45:01.71 IC32DEwi.net
￥
655:１３２人目の素数さん
16/12/02 07:23:10.55 EiFQky51.net
>>566
おっちゃんです。
実数xが10進無現小数表示されたときだけのスレ主のいう命題Bと同様な命題が成り立つ
十分条件を求めるだけなら、>>593-594の(2)～(5)、及び>>595で書いた
「まあ、…(略)…」以降の部分は不要で、単純に>>593-595の部分は
＞1)、2)から、結局、上のスレ主のいう
＞>問題は、超越数や代数的数という情報が、与えられていないときに、命題Bが言えるのか？
＞という問題は、(1)のようなことを考えるだけでよく、
＞任意に与えられかつ10進無現小数表示された実数xの無理性を判定する問題に帰着される。
と整理して書ける。
問題は、有限個の数字やその代わりとなる記号を用いて表されるような
無限小数表示された実数xや、或いは可算無限個の数字やその代わりとなる記号を用いて
表されるような無限小数表示された実数yに対して、スレ主のいう問題と同様な問題を考えた
ときにどうなるかということだな。有限個の数字やその代わりとなる記号を用いて表されるような
無限小数表示された実数xについての場合は、xを10進無限小数表示することが出来るから、
やはりxが10進無現小数表示されたときと同様に、xの無理性の判定の問題に帰着される。
可算無限個の数字やその代わりとなる記号を用いて表されるような無限小数表示された実数yに対して、
スレ主のいう問題と同様な問題を考えたときはどうなるかは正確には知らん。
こういうのを考えるときは、>>593-594の(2)～(5)、及び>>595で書いた「まあ、…(略)…」以降
の部分のようなことを考えるようなことになるんだろうな。
656:１３２人目の素数さん
16/12/02 07:50:33.90 EiFQky51.net
>>566
(>>599の続き)
まあ、可算無限個の数字やその代わりとなる記号を用いて表わされる実数は、
次のようにして構成的に示せ、その存在性は保証される。
[第１段]：第n項が a_n＝b_n－1 と表わせて a_n≦n を満たすような
非負の実数列 {a_n} と、非有界で単調増加な1以上の実数列 {b_n} を構成する。
整数部分を表わす数字代わりの記号 c_0 を {a_n} の項を任意に用いて表わすことからはじめ、
各 k＝1,2,… に対して、小数点以下、小数点第k位を表わす数字代わりの記号 c_k を、
c_k＝a_{k+1} と a_{k+1} を用いて c_1＝a_2, c_2＝a_3, … と帰納的に可算無限回表わして行く。
そして、{a_n} の項の部分列 c_0, c_1, c_2, … つまり c_0, a_2, a_3, … を構成する。
[第２段]：c_0, a_2, a_3, … を用いて無限小数表示された実数を c_0.c_1c_2…c_k… と表わして
構成し y＝c_0.c_1c_2…c_k… とおく。そして、yが実数になることを確認する。
yが実数なることの確認作業は、次のようにする。
k, n を n＞k を満たすような2以上の自然数変数とする。k≧2 のとき 0＜a_1≦1 で、
c_1/(n^1)＝a_2/n であり、c_k/(n^k)＝a_{k+1}/(n^k)≦(k＋1)/ (n^k) だから、
y－c_0＝0.c_1c_2…c_k… ( 右辺は上で構成したyから c_0 を引いたときの表示 )
＝Σ_{k＝1,…,+∞}( c_k/(n^k) )＝Σ_{k＝1,…,+∞}( a_{k+1}/(n^k) )
＝a_2/n＋Σ_{k＝2,…,+∞}( a_{k+1}/n^k )
≦a_2/n＋Σ_{k＝2,…,+∞}( (k＋1)/n^k )
≦a_2/n＋Σ_{k＝2,…,+∞}( 1/n^{k-1} ) ( ∵ n≧k＋1 )
＝a_2/n＋Σ_{k＝1,…,+∞}( (1/n)^k )
＝a_2/n＋(1/n)・Σ_{k＝1,…,+∞}( (1/n)^{k-1} )＝a_2/n＋(1/n)・( 1/(1－1/n) )
＝a_2/n＋1/(n－1)、
従って、k→+∞ とすると n→+∞ となり a_2/n＋1/(n－1)→+0 となるから、y－c_0≦0。
そして、yの構成に注意すると、y－c_0≧0。従って、y－c_0＝0 から y＝c_0 となり、
c_0 が可算無限個の数字やその代わりとなる記号を用いて表わされた実数になる。
657:１３２人目の素数さん
16/12/02 08:07:52.55 EiFQky51.net
>>566
>>600の
> ……(略)……
> ＝a_2/n＋Σ_{k＝1,…,+∞}( (1/n)^k )
> ＝a_2/n＋(1/n)・Σ_{k＝1,…,+∞}( (1/n)^{k-1} )＝a_2/n＋(1/n)・( 1/(1－1/n) )
> ＝a_2/n＋1/(n－1)、
>従って、k→+∞ とすると n→+∞ となり a_2/n＋1/(n－1)→+0 となるから、y－c_0≦0。
>そして、yの構成に注意すると、y－c_0≧0。従って、y－c_0＝0 から y＝c_0 となり、
>c_0 が可算無限個の数字やその代わりとなる記号を用いて表わされた実数になる。
の部分には計算間違いがあって、「＝a_2/n＋Σ_{k＝1,…,+∞}( (1/n)^k )」以降の部分を
> ……(略)……
> ＝a_2/n＋Σ_{k＝1,…,+∞}( (1/n)^k )
> ＝a_2/n＋( 1/(1－1/n) )
> ＝a_2/n＋n/(n－1)、
>従って、k→+∞ とすると n→+∞ となり a_2/n＋n/(n－1)→「+1」 となるから、y－c_0≦「1」。
>そして、yの構成に注意すると、y－c_0≧「1」。従って、y－c_0＝「1」 から y＝「c_0＋1」 となり、
>「y＝c_0＋1」 が可算無限個の数字やその代わりとなる記号を用いて表わされた実数になる。
に訂正。
658:１３２人目の素数さん
16/12/02 09:20:17.66 EiFQky51.net
>>566
>>600の第1行の
>可算無限個の数字やその代わりとなる記号を用いて表わされる実数
は
>可算無限個の数字やその代わりとなる記号を用いて
>「10進無限小数表示などと同様に、可算無限進表示して」表わされる実数
と訂正。そして、
>[第２段]：c_0, a_2, a_3, … を用いて無限小数表示された実数を c_0.c_1c_2…c_k… と表わして
>構成し y＝c_0.c_1c_2…c_k… とおく。そして、yが実数になることを確認する。
>yが実数なることの確認作業は、次のようにする。
の部分は
>[第２段]：c_0, a_2, a_3, … を用いて「可算無限進小数表示された」実数を c_0.c_1c_2…c_k… と表わして
>構成し y＝c_0.c_1c_2…c_k… とおく。そして、yが「可算無限進小数表示された」実数になることを確認する。
>yが「可算無限進小数表示された」実数なることの確認作業は、次のようにする。
と訂正。そして、>>601で行った訂正後の
＞>「y＝c_0＋1」 が可算無限個の数字やその代わりとなる記号を用いて表わされた実数になる。
の部分は
＞>「y＝c_0＋1」 が可算無限個の数字やその代わりとなる記号を用いて
＞「可算無限進小数表示して」表わされた実数になる。
に再び訂正。まあ、>>600-601は可算無限進小数表示された実数の話だな。
ちなみに、>>599の後半での実数yも
>可算無限個の数字やその代わりとなる記号を用いて表されるような「可算無限進小数表示された」実数
として考えている。
659:１３２人目の素数さん
16/12/02 10:17:00.25 EiFQky51.net
>>566
実数yについての「可算無限進小数表示」の定義は、
yに対して可算無限個の数字やその代わりとなる記号 a_0, a_1, a_2, …, a_n, …
が定まり、記号列 a_0, a_1, a_2, …, a_n, … を用いて、
y＝lim_{n→+∞}(lim_{k→+∞}[Σ_{j＝0,1,2,…,k}(a_j/n^j)])
と表わせることと定義する。
nが有限な数字10に等しいときは、yに対して、高々11個の数字やその代わりとなる記号
0, 1, 2, …, 9, a_0 (a_0 はyの整数部分) により構成される
数字やその代わりとなる記号の列 a_0, a_1, a_2, …, a_n, … が定まり、
記号(数字)の列 a_0, a_1, a_2, …, a_k, … を用いて
y＝lim_{k→+∞}[Σ_{j＝0,1,2,…,k}(a_k/10^k)] と表せるから、
実数の10進無限小数表示に似た定義になる。
660:１３２人目の素数さん
16/12/03 10:19:19.81 lwy6STi8.net
他になにか言いたいことはありますか？
他になにか訂正したいことはありますか？
661:現代数学の系譜11 ガロア理論を読む
16/12/03 10:38:42.48 6Rgz8i9T.net
>>575
>＞仮定が現実離れしていては意味がない
まず、再度強調しておくが
１．もともとは、箱には任意の実数を入れる。つまり１つの箱に連続無限大の自由度があるのだ。
２．対して、いまは、箱に０～９の極簡単なミニモデルを考えている。
３．０～９の数を箱に入れる極簡単なミニモデルでも、可算無限数列のしっぽは、現代数学では扱えない。
４．まして、任意の実数が箱に入る場合においておや。
662:現代数学の系譜11 ガロア理論を読む
16/12/03 10:41:24.80 6Rgz8i9T.net
>>605 つづき
で、例えば、話は変わるが、仮に、下記”超越数かどうかが未解決の例”「e+π、e-πが有理数であるのか無理数であるのか証明されていない」を認めるとしよう
また、十進法で、下記”有理数”で「有限小数または循環小数のいずれかとなる」ことも認めよう。
もし、０が続くことを循環小数に含めるなら（1/3=0.333・・・の類似）、循環小数かどうかを見極めることができるなら、有理数であるのか無理数であるのか見分けることが可能だということだ
つまり、実数を無限小数に展開したときに、そのしっぽを見れば、循環小数かどうかを見極めることができ、有理数か否か判定可能
ところが、「e+π、e-πが有理数であるのか無理数であるのか証明されていない」のだから、現代数学は、いまだe+π、e-πの少数展開のしっぽが循環小数かどうかを見極める方法を持たないということだ
これは、>>575 時枝解法での可算無限のしっぽの見分け>>114が、箱に０～９の極簡単なミニモデルでさえも、現代数学では不可という例示だ
つまり、e+πの少数展開からなる十進法の数の各位取りの数から成る数列を考えたとき、現代数学では実数しっぽの見分け（有理数か無理数か）ができない
（もし実数しっぽの見分けができるから、循環小数かどうかすぐ分かるはず）
もちろん、いずれ時代が進んで、不可能が可能になることもあるだろう
（例えば、e+π、e-πが超越数であることが証明されるとか）
現時点では、実数しっぽの見分け不可レベルの現代数学では、時枝解法は絵に描いた餅にすぎない
URLﾘﾝｸ(ja.wikipedia.org)
超越数かどうかが未解決の例
e+π、e-π
などの円周率 π や自然対数の底 e の大抵の和、積、べき乗は、有理数であるのか無理数であるのか超越的であるのか否かは証明されていない[注 4]。
URLﾘﾝｸ(ja.wikipedia.org)
有理数
十進法などの位取り記数法を用いて小数表示した場合、どの有理数も位取りの基数のとり方に関わらず有限小数または循環小数のいずれかとなる（もちろん、ある基数で表示したとき有限小数となる有理数が、別の基数では循環小数となったり
663:すること、あるいはその逆になることはある）。同様に、有理数は必ず有限正則連分数展開を持つ。
664:現代数学の系譜11 ガロア理論を読む
16/12/03 10:43:10.30 6Rgz8i9T.net
>>599-603
どうも。スレ主です。
おっちゃんの覚醒も期待できそうやね。もうすぐかな？
正直、おっちゃんがいま書いている>>599などの趣旨がいまいち理解できていないが（＾＾；
おっちゃんの努力は素晴らしいと思うよ
もうすぐ意見が一致しそうな
予感（＾＾；
665:現代数学の系譜11 ガロア理論を読む
16/12/03 10:49:16.36 6Rgz8i9T.net
>>606 つづき
１．箱に０～９の極簡単なミニモデルで、数列a0,a1,a2,a3,・・・・,an,・・・を考える
２．これに対応して、関数sn(x)=a0+a1/x+a2/x^2+a3/x^3+・・・・+an/x^n+・・・ を考える
３．x=10とすると、sn(10)=a0+a1/10+a2/10^2+a3/10^3+・・・・+an/10^n+・・・ という無限小数が対応する
４．sn(10)=a0+a1/10+a2/10^2+a3/10^3+・・・・+an/10^n+・・・ は、区間[0,10)の実数を表現していると見ることが出来る
そして、sn(10)は十進法によるコーシー列を形成し、級数は収束する
５．一方、数列a0,a1,a2,a3,・・・・,an,・・・ には収束という概念はないし、ヒルベルト空間ではない
∵ ３，４項では、”an/10^n”としているので、指数関数的にこの項は小さくなる。対して、anそのものは小さくならない
つまり、無限小数展開の各少数の位は、”an/10^n”として、指数関数的にこの項は小さくされているということを強調したのだ
６．なので、ヒルベルト空間外の時枝の数列a0,a1,a2,a3,・・・・,an,・・・のしっぽによる同値類は可能としても、決定番号にきちんとした意味づけが出来るかどうか？
666:１３２人目の素数さん
16/12/03 10:50:51.39 lwy6STi8.net
>>606
> 有理数か否か判定可能
壮大な論点ずらし乙
667:現代数学の系譜11 ガロア理論を読む
16/12/03 10:56:30.53 6Rgz8i9T.net
>>608 つづき
さらに、箱に０～９で有限数列 a0,a1,a2,a3,・・・・,anを考えてみよう
１．逆に、数列の頭での同値類を考えよう。>>114の２項にならって、推移律をチェックすることは容易だ
２．決定番号は、類別の同値類の代表元Ad=(a0,a1,a2,a3,・・am,・・,an)と、その類の任意の元A'=(a0,a'1,a'2,a'3,・・a'm,・・,a'n) との比較で、
(a0,a1,a2,a3,・・am)と(a0,a'1,a'2,a'3,・・a'm)とが一致するとき（当然これ（a'm）以降は不一致）に、決定番号をmとする
３．決定番号mの確率分布を考えると、m=1の確率が一番高く、m=1の場合の数は、10^n-10^(n-1)
（説明：10^nは、a1からanまでの順列の場合の数で、10^(n-1) は、a2からanまでの順列の場合の数で、決定番号2以上の順列の場合の数を除いている）
４．同様に、決定番号m=xの場合の数は、10^(n+1-x)-10^(n-x)
５．同値類の集合の濃度は、A'=(a0,a'1,a'2,a'3,・・a'm,・・,a'n) の順列全てであるから、10^n
６．これから分かることは、決定番号m=xの場合の確率Px＝(10^(n+1-x)-10^(n-x) )/10^n＝10^(1-x)-10^(-x)＝9*10^(-x)。
７．つまり、xが大きくなると、Pxは指数関数的に小さくなる。つまり、すその軽い確率分布になる。（大数の法則や中心極限定理が成立）
つづく
668:現代数学の系譜11 ガロア理論を読む
16/12/03 10:57:21.42 6Rgz8i9T.net
>>610 つづき
逆に、同じように、箱に０～９の有限数列 a0,a1,a2,a3,・・・・,anで、しっぽの同値類を考えると
上記の全く逆で、前後を逆転させた議論になる
そうすると、xが大きくなると、Pxは指数関数的に大きくなる。つまり、すそが超重い確率分布になる。（大数の法則や中心極限定理が不成立）
ここで、n→∞の極限を考えると
上記の頭での同値類を考えた場合には、まだ数学的な取り扱いはできるだろう（すそは、ゼロになるから）
しかし、しっぽの同値類では、すそが超重い確率分布で、発散してしまうから、数学的な取り扱いは困難
ここで、いまの場合は、箱に０～９の極簡単なミニモデルだったことを思い出そう
もともとは、箱には任意の実数を入れる。つまり１つの箱に連続無限大の自由度があるモデルだ
箱に０～９の極簡単なミニモデルでさえ扱いかねるのに、まして箱に任意の実数を入れる場合においておや
要は、決定番号の確率分布を考えても、上記のように決定番号で確率99/100>>115は言えないだろう
669:現代数学の系譜11 ガロア理論を読む
16/12/03 10:57:53.03 6Rgz8i9T.net
>>585
>ちなみにこれは半分嘘で、チャンパーノウン数とかいう超越数を10新無限小数展開して表示したときは
>規則性というか或る種の法則があって、0.12345678910111213141516… と、小数点以下の桁の数字は、
>有限個の数字を用いて10進表示された1以上の自然数 1, 2, 3, … が小数点第一位以下から順番に、
>単調増加するように並んでいる。
ここだけ
これだけでは、チャンパーノウン数の可算無限のしっぽをつかまえたとは言えないだろう
つまり、単に有限からの類推を示したにすぎない（結局実際には可算無限を直接見ていないのだ）
上記のレベル（単に有限からの類推を示した）でよければ、下記eの 1/n!の 数列和の方がシンプルですっきりしていないか？
両者とも、可算無限のしっぽは、霧の彼方で見えないが・・・
URLﾘﾝｸ(ja.wikipedia.org)
ネイピア数
(抜粋)
自然対数の底である。記号として通常は e が用いられる。その値は
e = 2.71828 18284 59045 23536 02874 71352 …
と続く超越数である。ネピアの定数、ネピア数とも呼ばれる。
e=1/1!+1/2!+1/3!+1/4!+・・・+1/n!+・・・
(引用終り)
670:現代数学の系譜11 ガロア理論を読む
16/12/03 11:06:34.39 6Rgz8i9T.net
>>609
e =1/1!+1/2!+1/3!+1/4!+・・・+1/n!+・・・
π=1-1/3+1/5-1/7+・・・=Σn=0-∞(1/(2n+1))*(-1)^n （ライプニッツの公式） URLﾘﾝｸ(ja.wikipedia.org)
e、πとも収束する
両者を表現する公式も分かっている
だけど、e＋πのしっぽが分からん
循環小数になるか否かがわからん
が、e＋πの無限小数展開から、時枝数列 a0,a1,a2,a3,・・・・,an,・・・は構成可能だ
どうぞ、しっぽの類別お願いします。完全でなくとも、「しっぽがある周期をもって巡回するか否か」だけの判定でも可だよ。どうぞ！！（＾＾；
再度強調しておくが、無限小数展開モデルは、箱に０～９の極簡単なミニモデルにすぎない>>605 ！！
e、πとも、古くから人類には良く分かっている代表的な超越数だ。でも、しっぽが分からん。e＋πが循環小数になるか否かがわからん
似た例で、オイラー常数γがある。公式は分かっている。でも、しっぽが分からん。循環小数になるか否かがわからん
それが、現代数学のいまのレベルだろ？
URLﾘﾝｸ(ja.wikipedia.org)
オイラーの定数
(抜粋)
この値は、およそ0.57721 56649 01532 86060 65120 90082 40243 10421 59335 93992 35988 05767 23488 48677 26777 66467 09369 47063 29174 67495...である。
オイラーの定数は超越数であろうと予想されているが、無理数であるかどうかさえ分かっていない。
(引用終り)
671:現代数学の系譜11 ガロア理論を読む
16/12/03 11:15:56.13 6Rgz8i9T.net
>>605つづき
ところで
＜数学は、同値を定義し、推移律を確認すれば終わりなのか？＞
１．同値を定義し、推移律を確認したところから、数学が始まるのでは？
２．例えば、下記サーストンによる幾何化予想、コンパクト3次元多様体の8つの部分多様体による分類。これはまさに上記の例では？
（同値を定義し、推移律を確認したところから、数学が始まる）
３．だから、>>114の”同値を定義し、推移律を確認すれば終わり”という書き方は、有限を扱うならまだしも、可算無限を扱うには、あまりにも粗雑だろう
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
幾何化予想（きかかよそう、Geometrization conjecture）は、1982年にアメリカの数学者ウィリアム・サーストンによって提出された「コンパクト3次元多様体は、幾何構造を持つ8つの部分多様体に分解される」という命題。
位相幾何学と微分幾何学を結びつけるものでありミレニアム懸賞問題にも挙げられていたポアンカレの予想問題の解法の過程として思いつかれた。
2003年、グリゴリー・ペレルマンによるリッチフローを用いた証明が示され、現在ではその証明が基本的に正しいものとされている。これにより、およそ100年にわたり未解決だった3次元ポアンカレ予想が証明されることになった。
(引用終り)
672:現代数学の系譜11 ガロア理論を読む
16/12/03 11:18:44.74 6Rgz8i9T.net
>>608 つづき
ヒルベルト空間について
吉田 伸生
673:先生いいね http://www.math.nagoya-u.ac.jp/~noby/index_j.html 吉田 伸生 名古屋大学大学院多元数理科学研究科 http://www.math.nagoya-u.ac.jp/~noby/tch_web/index_j.html 吉田伸生★ 教育活動: http://www.math.nagoya-u.ac.jp/~noby/tch_web/fana/10/index_j.html 2010年度 関数解析学 担当教員： 吉田伸生 講義ノート (授業で述べる以外の内容も含む．公開後も加筆・修正することがある． 各節の最終更新日は冒頭部分に表示．) 序 具体例からの準備 http://www.math.nagoya-u.ac.jp/~noby/pdf/fana/10/fana10_1.pdf バナッハ空間とヒルベルト空間 http://www.math.nagoya-u.ac.jp/~noby/pdf/fana/10/fana10_2.pdf ヒルベルト空間続論 http://www.math.nagoya-u.ac.jp/~noby/pdf/fana/10/fana10_3.pdf 有界作用素 閉作用素 リゾルベントとスペクトル 共役作用素(ヒルベルト空間の場合) ハーン・バナッハの拡張定理とその応用 ベールのカテゴリー定理とその応用 補足
674:現代数学の系譜11 ガロア理論を読む
16/12/03 11:21:14.38 6Rgz8i9T.net
>>615 つづき
>>579-580 そうL^2数列空間（ヒルベルト空間）なんだ
で
＜なぜヒルベルト空間なのか？＞
１．これがよく纏まっている
URLﾘﾝｸ(d.hatena.ne.jp) ヒルベルト空間 - 大人になってからの再学習: 2012-05-21 [物理数学]ヒルベルト空間
(抜粋)
物理学で参考になる「物理のかぎしっぽ」のサイトでも、簡潔に言うと次のような説明のされ方をしている。
ヒルベルト空間とは内積を定義したベクトル空間
URLﾘﾝｸ(hooktail.sub.jp)
ところで、WolframAlphaで検索してみたら、次のような説明があった。
A vector space that has a complete inner product. Hilbert spaces are important in the study of infinite-dimensional vector spaces.
URLﾘﾝｸ(www.wolframalpha.com)
これは「物理のかぎしっぽ」同様、「内積を定義したベクトル空間」ということだ。シンプルで明快。
ちなみに、内積が計算できるということは、自分自身との内積の平方根から距離（ノルム）を定義でき、角度も扱えるということで、一般的な幾何学の概念を扱える。ということに他ならない。
(引用終り)
２．ヒルベルト空間での数列では、級数(数列の和)が収束する（有限）ことを要求することで、数列を容易に扱うことができるようにしてあると
逆に言えば、ヒルベルト空間外での数列では、級数(数列の和)が必ずしも収束しない（有限でない）から、数列を容易に扱うことはできないと
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
複素数を項とする無限数列 z = (z1, z2, …) で級数
n = 1 -∞ | zn | ^2
が収束するようなもの（自乗総和可能な無限複素数列）全体の成す数列空間を L^2 で表す。
空間 L^2 の完備性は「L^2 の元からなる級数が（ノルムの意味で）絶対収束するならば必ず、その級数が L^2 の何らかの元に収束する」ことを示せば言える。このことの証明は解析学の初歩であり、この空間の元からなる級数は複素数（あるいは有限次元ベクトル空間のベクトル）からなる級数と同程度容易に扱うことができる[5]。
(引用終り)
675:現代数学の系譜11 ガロア理論を読む
16/12/03 11:24:54.55 6Rgz8i9T.net
>>616 つづき
吉田 伸生先生のテキストの歴史の記述が良いね
URLﾘﾝｸ(www.math.nagoya-u.ac.jp)
バナッハ空間とヒルベルト空間
(抜粋)
2.3 バナッハ空間とヒルベルト空間
有限次元空間Kd で点列の収束を考えるとき, 完備性(任意のコーシー列が収束すること) が役立つことが少なくない. 例えば, 「絶対収束級数が収束する」という命題は完備性と等価
676:である. 実は, こうした事情は無限次元のノルム空間にも共通している. そこで, 有限次元空間での概念の自然な拡張として完備性を定義し, 完備なノルム空間, 内積空間をそれぞれバナッハ空間, ヒルベルト空間と呼ぶことにする(詳細は定義2.3.1). 今日、バナッハ空間と呼ばれる完備なノルム空間の概念は、1920 年から1922 年にかけて、N. ウィナー, S. バナッハ, E. ヘリー達が独立に導入した^17。 ヒルベルト空間の具体例(主にL^2(N)) はD. ヒルベルトやE. シュミット達が20 世紀初頭から調べていたが, 抽象的な公理はJ. フォンノイマンによる^18(1929 年). 17Norbert Wiener(1894-1964), Stefan Banach(1892-1945), Eduard Helly(1884-1943) 18Johann von Neumann (1903-57) (引用終り) なお ”2.4 有限次元ノルム空間 関数解析の俎上にのせるノルム空間はほとんどが無限次元であり, 今我々は本格的に無限次元へ旅立とうとしている. だが, ここで少し立ち止まり有限次元の特性について考えてみよう. この考察は, 逆に無限次元とはどんなものか？ を垣間見ることでもある.” も、ご注目だ
677:現代数学の系譜11 ガロア理論を読む
16/12/03 11:26:10.45 6Rgz8i9T.net
>>617 つづき
吉田 伸生先生つづき
URLﾘﾝｸ(www.math.nagoya-u.ac.jp)
3 ヒルベルト空間続論
(抜粋)
”無限次元内積空間で(3.3) の成立は無条件でない. まず(3.3) の成立にはM が閉部分空間であることが必要(補題3.1.2 参照). また(3.3) が任意の閉線型部分空間M に対して成立するにはX がヒルベルト空間であることが必要十分.
ここでは, 次の二つの場合に(3.3) の証明を目標とする(命題3.1.5)：
a) X が内積空間, dimM < ∞;
b) X がヒルベルト空間, M が閉線型部分空間.
これらは, 後にリースの表現定理(定理4.3.4) で重要な役割を果たす.”
(引用終り)
は、ヒルベルト空間の重要性を示す記述として、示唆的だろう。
678:現代数学の系譜11 ガロア理論を読む
16/12/03 11:29:52.34 6Rgz8i9T.net
>>618 つづき
で (連番は＜なぜヒルベルト空間なのか？＞>>616のつづき)
３．時枝解法のようなヒルベルト空間外での数列を扱う理論は？ 良くしらない。全くないわけではないのだろうが・・・、ヒルベルト空間ほどの理論整備が行われているとは思えない
４．ところで、時枝解法は、あきらかに、級数の収束は要求していない。だから、ヒルベルト空間外での数列を扱うのだ。だが、どうやって？
ヒルベルト空間外での数列のしっぽ？ 同値類？ 決定番号？ そんな理論あるのか？ あるなら教えて・・（＾＾；
679:１３２人目の素数さん
16/12/03 11:38:42.21 mQeh06cb.net
>>604
>>600-602の議論が自然数変数 k≧2 の値を固定せずに上から評価したり、
y-c_0 の下からの評価が抜けていたりして杜撰だった。
しかし、そもそも、スレ主のいう問題に答える「だけを考える」場合は、
可算無限進小数展開なる概念が無意味だった。
>>583で述べたような一様分布の問題や正規数「だけ」を扱ったり考える
にあたっては、可算無限進小数展開なる概念は必要ない。
もし意味が生じたら、有理数体Qが実数体Rの商体で
Rの最小の部分体なることに反し矛盾が生じる。
この場合は、>>591-593の(1)までや、>>599の前半のxの無理性の判定
に帰着されることの議論だけで済む。
680:現代数学の系譜11 ガロア理論を読む
16/12/03 11:53:32.39 6Rgz8i9T.net
形式的冪級数は、ヒルベルト空間の外かな？（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
形式的冪級数
(抜粋)
数学において、形式的冪級数（けいしきてきべききゅうすう、英: formal power series）とは、多項
681:式の一般化であり、多項式が有限個の項しか持たないのに対し、形式的冪級数は項が有限個でなくてもよい。例えば、（X を不定元として） (n = 0 - ∞) X n = 1 + X + X^ 2 + X^ 3 + ? + X^ n + ・・・ は（多項式ではない）冪級数である。 (引用終り) https://en.wikipedia.org/wiki/Formal_power_series In mathematics, a formal power series is a generalization of a polynomial, where the number of terms is allowed to be infinite; this implies giving up the possibility of replacing the variable in the polynomial with an arbitrary number.
682:現代数学の系譜11 ガロア理論を読む
16/12/03 12:21:35.44 6Rgz8i9T.net
>>621 形式的冪級数 関連 引用
現代数学の系譜11 ガロア理論を読む19
ｽﾚﾘﾝｸ(math板:125番)
125 ：現代数学の系譜11 ガロア理論を読む：2016/05/15(日) 07:50:16.70 ID:2TKPQHsX
>>93 自己レス
”時枝の箱の列←→形式的冪級数の集合R[[x]]”と書いたけど
下記、落合理先生は、「係数が無限個0 でないものもゆるす形式的べき級数K[[X]] を考えると, V = K[[X]] もK ベクトル空間であるが, 次元は非可算無限である.」という
「時枝の箱の列←→形式的冪級数 という全単射対応は、認めるとしよう」と書いたけど、間違いかな。ここ突っ込んでくる人いなかったけど（＾＾；
K[[X]] が”次元は非可算無限”という理由は、テイラー展開の二項定理 (1+x)^α （αは任意の実数 または複素数）で、これが形式的冪級数に展開できるからだろう
しかし、全単射可能だと、ベクトル空間の次元は一致しないといけない。だから全単射ではない？ はて
メモしておきます
ともかく、時枝先生のなぞかけは、けっこう深いね
URLﾘﾝｸ(www.math.sci.osaka-u.ac.jp)
数学考究２ 確認小テスト解説(10-8) 落合理 大阪大学 20151008
URLﾘﾝｸ(www.math.sci.osaka-u.ac.jp)
確認小テスト問題(10/8)
URLﾘﾝｸ(www.math.sci.osaka-u.ac.jp)
確認小テスト解説(10/8)
Q.[3] 次のベクトル空間V に対して, 基底を具体的に記せ.
(4) K 係数の1 変数多項式環K[X].
A.[3](4)
例えば, 1,X,X^2, ． ． ． ,X^n, ． ． ． が基底となる.
発展的コメント
若干の注意を与えておく. 教科書の定理1.6.7 によって勝手なK ベクトル空間は基底を持つことが知られている.
しかしながら, V が無限次元のときには与えられたベクトル空間に(4) のようにわかりやすい基底がとれるとは限らない.
例えば, K[X] の代わりに係数が無限個0 でないものもゆるす形式的べき級数K[[X]] を考えると, V = K[[X]] もK ベクトル空間であるが, 次元は非可算無限である.
（引用おわり）
以下略
683:現代数学の系譜11 ガロア理論を読む
16/12/03 12:25:59.79 6Rgz8i9T.net
>>622 補足
落合理先生は、形式的冪級数で、”係数が無限個0 でないものもゆるす形式的べき級数K[[X]] を考えると, V = K[[X]] もK ベクトル空間であるが, 次元は非可算無限である.”
とあるから、ヒルベルト空間の外なんだろうね
が、「次元は非可算無限である」の理屈がわからん・・（＾＾；
684:現代数学の系譜11 ガロア理論を読む
16/12/03 13:08:34.29 6Rgz8i9T.net
>>623 ついでに
URLﾘﾝｸ(www.math.sci.osaka-u.ac.jp)
教育活動およびその他の仕事 落合理 大阪大学
URLﾘﾝｸ(www.math.sci.osaka-u.ac.jp)
「数学オリンピック財団主催JMO夏季セミナー」 でのレクチャートーク (180分)(2010/8/26) (木)
「数の体系の広がり, 周期積分, そして整数論-- 代数と幾何と解析の交わる世界--」
講演ノートのPDFファイル （実際の講義では 本ノートの６割ほどの内容しか話せず, 複素数の部分, 素数定理, ゼータ関数の部分の後半や レムニスケート関数の部分はカットせざるを得なかった）
(抜粋)
1.4. 超越数.
先にみたように「ほとんどの」数は超越数である. 広い海岸に果てしなく敷き詰められた砂の一粒一粒を数に例えるとその一粒（数）を何の作為もなく勝手につまみあげたならば,
その数はたいてい超越数でなければならない. が, 一方で, 実際に数が与えられたときに,その数が超越数であるかを判定するのは簡単ではない.
軽く脱線して, [Kd] の中に採録された小平邦彦氏が定年間近で書いた「数学に王道なし」という文章を引用すると,
「筆者は中学の時からπ が無理数であることをよく理解していたが最近までその証明を知らなかった. . . 不思議なことに最近I.Niven によるその（無理数性の）証明を読んだ時それによってπ が無理数であるという事実に対する理解が一段と深くなったとは感じなかった
. . . 証明はただπ が無理数であるという明白な事実を確かめたに過ぎないと感じた. . .」
というくだりがあって興味深い^10.
10 その前後に小平氏が学習過程で発展的発見をしたエピソードや勉強の仕方も挙げられているので上の言葉だけを引用するのは少し誤解を誘導する危険があるかもしれない.
現代数学の超越数論にはまだまだ限界があり, 超越数であるかそうでないかを判定できない数が沢山ある.
例えば, [S, p 69] によると和e+π は無理数かどうかもわからない. あとで登場するリーマンゼータの奇数点での値のように超越数であると予想されていても何も知られていない数もある.
つづく
685:現代数学の系譜11 ガロア理論を読む
16/12/03 13:09:30.61 6Rgz8i9T.net
>>624 つづき
3. 数論的多様体の周期積分
3.1. 周期とは. Kontsevich とZagier の概説論文[KZ] を参考にして周期という概念を導入したい.
問 P の中に入らない実数を与えられるだろうか？
という問もKontsevich-Zagier の論説のなかで提起されている. これに関しては吉永正彦さんの結果[Y] としてひとつの解答が得られている.
吉永さんは, 数学基礎論や計算論の研究でよく知られている次のような複素数の世界の階層構造に着目した.
{ 代数的数} ⊂ { 初等数} ⊂ { 計算可能数} ⊂ { 複素数}.
そしてさらに次の定理を示した.
定理3.4 (吉永). P ⊂ { 初等数} となる.
[Y] にも説明があるように, 初等数でない複素数の例が知られているので, Kontsevich-Zagier の問に対する答えが得られたことになる.
(引用終り)
686:現代数学の系譜11 ガロア理論を読む
16/12/03 13:47:07.15 6Rgz8i9T.net
sage
687:現代数学の系譜11 ガロア理論を読む
16/12/03 13:51:14.04 6Rgz8i9T.net
>>623
こんなのが
URLﾘﾝｸ(math.sta)
ckexch
ange.com/questions/176475/what-is-the-standard-proof-that-dimk-mathbb-n-is-uncountable
linear algebra - What is the standard proof that dim(k^N is uncountable? - Mathematics Stack Exchange: asked Jul 29 '12 at 13:46 Chindea Filip
What is the standard proof that dim(kN)is uncountable?
This is my (silly) proof to a claim on top of p. 54 of Rotman's "Homological algebra".
略
1 Answer answered Jul 29 '12 at 14:29 Asaf Karagila
One liner argument which uses a much more difficult theorems (swatting gnats with cluster bombs kind of proof):
kN is the algebraic dual of the polynomials in one variable,
688:k[x] which has a countable dimension. If kN had a countable basis then k[x] would be isomorphic to its dual, and since this cannot be we conclude that kN has a basis of uncountable size. The arguments given in Arturo's answer show that the above is indeed a proof (in particular Lemma 2 with κ=?0 ).
689:現代数学の系譜11 ガロア理論を読む
16/12/03 13:52:09.33 6Rgz8i9T.net
>>627 再投稿
URLﾘﾝｸ(math.stackexchange.com)
linear algebra - What is the standard proof that dim(k^N is uncountable? - Mathematics Stack Exchange: asked Jul 29 '12 at 13:46 Chindea Filip
What is the standard proof that dim(kN)is uncountable?
This is my (silly) proof to a claim on top of p. 54 of Rotman's "Homological algebra".
略
1 Answer answered Jul 29 '12 at 14:29 Asaf Karagila
One liner argument which uses a much more difficult theorems (swatting gnats with cluster bombs kind of proof):
kN is the algebraic dual of the polynomials in one variable, k[x] which has a countable dimension. If kN had a countable basis then k[x] would be isomorphic to its dual, and since this cannot be we conclude that kN has a basis of uncountable size.
The arguments given in Arturo's answer show that the above is indeed a proof (in particular Lemma 2 with κ=?0 ).
690:現代数学の系譜11 ガロア理論を読む
16/12/03 13:52:25.87 6Rgz8i9T.net
>>627-628
691:現代数学の系譜11 ガロア理論を読む
16/12/03 13:54:13.97 6Rgz8i9T.net
なにかこの略のところに、NG原因があるんだね
HTTP 403 エラーメッセージ Forbidden が出て書けなかった
URLﾘﾝｸ(ja.wikipedia.org)
692:現代数学の系譜11 ガロア理論を読む
16/12/03 14:03:09.06 6Rgz8i9T.net
>>628 ついで
URLﾘﾝｸ(math.stackexchange.com)
Finding a basis of an infinite-dimensional vector space? asked Nov 29 '11 at 16:30 InterestedGuest
2 Answers answered Jan 20 '12 at 19:25 Qiaochu Yuan
For many infinite-dimensional vector spaces of interest we don't care about describing a basis anyway; they often come with a topology and we can therefore get a lot out of studying dense subspaces, some of which, again, have easily describable bases.
In Hilbert spaces, for example, we care more about orthonormal bases (which are not Hamel bases in the infinite-dimensional case); these span dense subspaces in a particularly nice way.
4. answered Jan 20 '12 at 19:09 David Wheeler
The "hard case" is essentially equivalent to this one:
Find a basis for the real numbers R over the field of the rational numbers Q.
The reals are obviously an extension field of the rationals, so they form a vector space over Q. It should be clear that such a basis has to be uncountable (for if it were countable, the reals would likewise also be countable).
It should also be clear that such a basis is a subset of {1}∪R?Q. The trouble is, that the power set of the reals is "so big" that it's not even clear how to name the sets we need to apply the axiom of choice TO. Linearly independent subsets however, DO satisfy the requirements for Zorn's Lemma, a form of the Axiom of Choice.
A relatively easy-to-follow proof of the existence of a basis for any vector space using Zorn's Lemma can be found here: URLﾘﾝｸ(planetmath.org)
693:現代数学の系譜11 ガロア理論を読む
16/12/03 14:20:00.87 6Rgz8i9T.net
>>631 ついで
URLﾘﾝｸ(math.stackexchange.com)
Ring of formal power series finitely generated as algebra? asked Jan 6 '13 at 13:44 user55354
I'm asked if the ring of formal power series is finitely generated as a K-algebra. Intuition says no, but I don't know where to start. Any hint or suggestion?
2 Answers
Let A be a non-trivial commutative ring. Then A[[x]] is not finitely generated as a A-algebra.
Indeed, observe that A must have a maximal ideal m, so we have a field k=A/m, and if k[[x]] is not finitely-generated as a k-algebra, then A[[x]] cannot be finitely-generated as an A-algebra. So it suffices to prove that k[[x]] is not finitely generated.
Now, it is a straightforward matter to show that the polynomial ring k[x1,…,xn] has a countably infinite basis as a k-vector space, so any finitely-generated k-algebra must have an at most countable basis as a k -vector space.
However, k[[x]] has an uncountable basis as a k-vector space. Observe that k[[x]] is obviously isomorphic to kN, the space of all N-indexed sequences of elements of k, as k-vector spaces. But it is well-known that kN is of uncountable dimension: see here, for example.
694:現代数学の系譜11 ガロア理論を読む
16/12/03 14:24:42.83 6Rgz8i9T.net
Arturoの回答が、詳しいが
あまり理解できない
和文落ちてないかな（＾＾；
URLﾘﾝｸ(math.stackexchange.com)
Why are vector spaces not isomorphic to their duals?
asked Aug 19 '11 at 19:04 Asaf Karagila
3 Answers edited May 1 '15 at 10:55 community wiki 9 revs, 4 users 99% Arturo Magidin
This is just Bill Dubuque's sci.math proof (see Google Groups or MathForum) mentioned in the comments, expanded.
Edit. I'm also reorganizing this so that it flows a bit better.
略
695:現代数学の系譜11 ガロア理論を読む
16/12/03 14:39:07.78 6Rgz8i9T.net
>>633 追加
正直わからん
URLﾘﾝｸ(math.stackexchange.com) tor-spaces-not-isomorphic-to-their-duals/58598#58598
8. answered Aug 19 '11 at 21:07 MartianInvader
(抜粋)
And a finite linear combination of things that have finite-dimensional support will still have finite-dimensional support, and thus can't send infinitely many independent vect ors all to 1.
What you need is a notion of convergence if you want to add infinitely many things, which isn't always obvious how to define.
In the end, it boils down to a cardinality issue - not of the vect or spaces themselves, but of the dimensions. In the example you give, R＾<ω has countably infinite dimension, but the dimension of its dual is uncountable.
696:現代数学の系譜11 ガロア理論を読む
16/12/03 14:40:37.85 6Rgz8i9T.net
NGワード出まくりで、わけわからんな 怪しいところを全部カットした。リンクを辿れ
おっと、リンク通るかな？
URLﾘﾝｸ(math.stackexchange.com)
697:現代数学の系譜11 ガロア理論を読む
16/12/03 14:41:21.99 6Rgz8i9T.net
ああ、vector は通るみたいだな
698:現代数学の系譜11 ガロア理論を読む
16/12/03 15:01:30.15 6Rgz8i9T.net
>>633
和文の証明がないが・・・（＾＾；
下記教えて！gooの対角線論法で、「R の位相的特徴を抜きにその濃度が可算でないことを示すことは非常に困難だと思われます」に従うと
f(x)=x^α ｜ αは任意の実数で、連続に取れるとする
f(x)をテーラー展開すると、形式的べき級数が得られるから
形式的べき級数→x^α ｜ αは任意の実数で、連続に取れる→次元αは連続の濃度
みたいな筋は浮かぶけど
そんな程度かな？
>>622の落合理先生の数学考究２は、初年度に近いところの講義らしいからね
URLﾘﾝｸ(oshiete.goo.ne.jp)
対角線論法 １０進数展開 質問者：gururinbus 質問日時：2007/06/15 03:02 教えて！goo:
No.4 回答者： koko_u_ 回答日時：2007/06/16 10:58
着眼がイイですね。
実数 R は通常、有理数 Q を通常のユークリッド位相 |・| で完備化したものとして定義されるので、その位相が R を特徴付けていると言っても過言ではないでしょう。
そのため、R の位相的特徴を抜きにその濃度が可算でないことを示すことは非常に困難だと思われます。
形式的な 10進表記を定式化するならば、羃級数の環 S = { Σ_{i=i_0～∞} a_iX^i | a_i ∈ Z } を考えて、位上げは 10X - 1 ∈ S から生成される単項イデアルによる剰余環を考えることになるでしょう。
剰余環 S/(10X-1) の元 f(X) に (1/10) を「代入」すると実数 R の元が得られます
φ: S/(10X-1) -> R
S/(10X-1) にも対角線論法は使えますが、上記の φ を考えるには、やはり R の位相的性質を考えざるを得ません。
699:現代数学の系譜11 ガロア理論を読む
16/12/03 15:18:40.72 6Rgz8i9T.net
>>114 あと、いままで押さえて言ってない話が、計算複雑性理論
「～は R^N を類別するが，各類から代表を選び，代表系を袋に蓄えておく.」>>114
は、計算複雑性理論からは現実的実行は無理だよ（実行不可能）
これは、数学的可否の理論よりずれているから、いままで出さなかったが
URLﾘﾝｸ(ja.wikipedia.org)
計算複雑性理論
計算複雑性理論（けいさんふくざつせいりろん、computational complexity theory）とは、計算機科学における計算理論の一分野であり、アルゴリズムのスケーラビリティや、特定の計算問題の解法の複雑性（計算問題の困難さ）などを数学的に扱う。計算量理論、計算の複雑さの理論、計算複雑度の理論ともいう。
「計算量」と「計算複雑性」はともに computational complexity に対応する語であるが、個々のアルゴリズムの効率に着目する文脈では「計算量」が広く用いられるのに対し、問題に内在する本質的困難さを表す意識からは「複雑性」「複雑さ」が好まれる傾向がある。
概要
計算複雑性理論は計算可能関数の計算の複雑さを扱う。計算理論のもう一つの重要な分野である計算可能性理論では問題の解法があるかどうかだけを扱い、その複雑さや必要とする計算資源量は問わない点が異なる。
具体的には、計算複雑性理論は「あるアルゴリズムへの入力データの長さを増やしたとき、実行時間や必要な記憶量はどのように増えるか？」という問いに答える。これは、計算機の実際的な限界を与えるものであり、この理論は産業や社会にとって重要な意味を持つ。
なぜならば、計算機の性能は向上しているが、解析すべき情報も増加しているため、アルゴリズムが入力データ長の増大にうまく対応できるか否かで、計算機が現実的な問題を解決するのに役に立つか否かが決まるからである。
計算複雑性理論では、計算問題やそれを解くアルゴリズムを、NPやPといった複雑性クラスに分類する。
個々の計算問題を少ない計算資源で解くアルゴリズムを発見することはもちろん計算機科学の重要な課題だが、複雑性理論ではこれにとどまらず、計算問題が何らかの複雑性クラスに属すること、あるいは属しないことを証明したり、クラス間の階層構造を解明することも目標とする。
700:現代数学の系譜11 ガロア理論を読む
16/12/03 15:46:19.37 6Rgz8i9T.net
>>624 追加
URLﾘﾝｸ(www.math.sci.osaka-u.ac.jp)
「数学オリンピック財団主催JMO夏季セミナー」 でのレクチャートーク (180分)(2010/8/26) (木)
「数の体系の広がり, 周期積分, そして整数論-- 代数と幾何と解析の交わる世界--」
(抜粋)
複素数の中で, Q :={ 代数的数} は代数的な手法（ガロア理論）で扱える最も広い世界であり, Q の外に少しでもはみ出た世界は全て超越数であり, 通常のガロア理論では統制されない世界である.
次のような互いに相反する２つの事実に注意したい.
注意1.14. (1) Q は(ある意味で) それほど「大きくない」. 濃度をみると|Q| = |Q| である. (実際, 各自然数i でSi をQ 係数のi 次既約多項式の集合のi 個の和集合として, 定理1.8 (3) の応用として示すことができる. もちろん定理1.8 (
701:1), (2) も用いる) (2) Q は(ある意味で) それなりに「大きい」. Q の体としての対称性をつかさどる群（ガロア群）は非常に豊富かつ複雑な構造をもっている. ここで数学と言うのは対称性を非常に大事にするとともに対称性を研究対象とする学問であり対称性を記述するのが「群」の言葉である例えば多面体の対称性などは多面体群という種類の群のことばで記述される. また体の対称性など目には見えない対称性もガロア群で司られている. ガロア理論成立以後の１世紀以上間の様々な整数論の研究の積み重ねによって有理数体上の代数拡大の対称性は以下の問題としても集約されている. そして現代数学の課題Q がもつ対称性の構造を究明したい. という問題がある. 例えば, 次のような予想は有名である: 予想（ガロアの逆問題） 全ての有限群はQのガロア群の商となるだろう. 同値な言い換えとして, 勝手な有限群 G に対してQ の有限次ガロア拡大K でGal(K/Q)～=G となるものが存在するだろう. 例1.15. 例えば正４角形（正方形）の対称性をつかさどる群 ?σ, τ |σ4 = τ 2 = 1, τστ = σ?1? に対しては, K = Q( 4√2, i) とすると, τ : i 7→ ?i, 4√2 7→ 4√2σ : i 7→ i, 4√2 7→ i 4√2 なる変換は加減乗除を保つ体の同型である. (引用終り)
702:１３２人目の素数さん
16/12/03 16:44:48.18 mQeh06cb.net
>>612
>つまり、単に有限からの類推を示したにすぎない（結局実際には可算無限を直接見ていないのだ）
おっちゃんです。
可算無限を実無限の世界で直接見ることが出来ると思っていることが間違い。
実無限の世界で可算無限を直接見ることが出来るとする。
平面Cに無限遠点∞を加えることで、リーマン球面 P^1＝C∪{∞} が構成される。
無碍遠点∞から P^1 上の点Pに引いた直線全体の集合をXとする。
無限遠点∞から引いた P^1 上のあらゆる点と交わらない直線との全体の集合をYとする。
S＝X∪Y とする。任意のXの直線と交わりかつYのあらゆる直線と交わらない平面が一意に存在し、
広義の複素平面 C∪{∞} は P^1 で表せる。複素平面 C とユークリッド平面 R^2 は同型で、
無限遠点∞と正の無限大 +∞ の絶対値について、|∞|＝|+∞|＝+∞ である。
従って、平面 C＝P^1＼{∞} から広義の複素平面 P^1 を構成したことと同様にして考えると、
平面 R^2 に対して無限遠点∞にあたる正の無限大 +∞ を点として加えて
広義の複素平面 P^1＝C∪{∞} にあたる広義の平面 R^2∪{+∞} が構成出来る。
広義の平面を P＝R^2∪{+∞} とおく。すると、広義の平面P上では、平面 R^2＝P＼{+∞} 上の
実無限での可算無限にあたる点としての +∞ を直接見られる。そして、広義の複素平面 P^1 上の
無限遠点∞は、平面C上の点0から任意の方向に半直線を引くと、実無限での正の無限大 +∞ にあたる点である。
従って、平面 R^2 上の原点 O(0, 0) から任意の方向に半直線を引いたとき、
可算無限にあたる点としての実無限での正の無限大 +∞ を見ることが出来ることになる。
しかし、Oから半直線を引いたとき、可算無限にあたる点としての実無限での正の無限大 +∞ を見られるのは、
Oからx軸の正方向に半直線を引いたときだけである。これで矛盾が導けた。
幾何的に見て、実無限の世界で可算無限を直接見ることは出来ないことは分かる。
703:１３２人目の素数さん
16/12/03 17:03:07.61 mQeh06cb.net
>>612
>>640の訂正：
無碍遠点∞ → 無「限」遠点∞
そして下から行目の「しかし、…(略)…。」の文は、
>しかし、任意の正の実数εに対して ε＜+∞ だから、Oから半直線を引いたとき、…(略)…。
と訂正した方がよいか。
平面 R^2 上で、任意の ε＞0 に対して、(ε, 0) はx軸上の点である。
704:１３２人目の素数さん
16/12/03 17:37:22.50 mQeh06cb.net
>>612
>>641の「そして下から行目」の部分は「そして下から3行目」の間違い。
下から3行目の文の話。
705:１３２人目の素数さん
16/12/03 17:51:46.69 mQeh06cb.net
>>612
ややこしいから、まとめて>>640を訂正する。>>640の下の方の
>従って、平面 R^2 上の原点 O(0, 0) から任意の方向に半直線を引いたとき、
>可算無限にあたる点としての実無限での正の無限大 +∞ を見ることが出来ることになる。
>しかし、
706:Oから半直線を引いたとき、可算無限にあたる点としての実無限での正の無限大 +∞ を見られるのは、 >Oからx軸の正方向に半直線を引いたときだけである。これで矛盾が導けた。 の部分は >従って、平面 R^2 上の原点 O(0, 0) から任意の方向に半直線を引いたとき、「広義の平面P上では」 >可算無限にあたる点としての実無限での正の無限大 +∞ を見ることが出来る。 >しかし、任意の正の実数εに対して ε＜+∞ であり、(ε, 0) は座標平面 R^2 のx軸上の点だから、 >Oから半直線を引いたとき、「広義の平面P上で」、可算無限にあたる点としての実無限での >正の無限大 +∞ を見られるのは、Oからx軸の正方向に半直線を引いたときだけである。 >これで矛盾が導けた。 と訂正。
707:現代数学の系譜11 ガロア理論を読む
16/12/03 17:55:38.34 6Rgz8i9T.net
>>640-642
おっちゃん、どうも。スレ主です。
分かってるじゃんか！（＾＾；
だから、「幾何的に見て、実無限の世界で可算無限を直接見ることは出来ない」にもかかわらず
あたかも、直接見ることは出来るような、時枝記事の可算無限数列のしっぽの同値類
そこは大いに怪しいところだろうよ（＾＾；
708:１３２人目の素数さん
16/12/03 17:59:51.97 mQeh06cb.net
>>612
>>640で「S＝X∪Y とする。」必要はないか。
じゃ、おっちゃん寝る。
709:現代数学の系譜11 ガロア理論を読む
16/12/03 18:07:49.21 6Rgz8i9T.net
突然ですが
Home page of Yoshinobu Laboratory at ISSP:
吉信研究室 東大
URLﾘﾝｸ(yoshinobu.issp.u-tokyo.ac.jp)
徒然なるままに Jun YOSHINOBU
素粒子の狩人（2009/4/12）
(抜粋)
朝日新聞夕刊のニッポン人脈記は面白い連載記事であり，現在は「素粒子の狩人」というシリーズが続いている．このシリーズは昨年３人の日本人がノーベル物理学賞を受賞したことが下地となっている．
シリーズ第２回目では「イチゴの味？ チョコの味？」と題して，東大・数物連携宇宙研究機構（IPMU）の村山さんにスポットを当てた記事であった．その中に，懐かしい名前を見つけて少々感動した．
京都大学理学部1~2回生で同じクラス（1980年入学のS６）だった大栗博司さん（カリフォルニア工科大学=CALTEC H 教授）がその人である．
当時，京大理学部の入学定員は281人であったが，それは1人の天才＋280人の凡才であり，彼がその一人であるとよく仲間で話をしたものだ．
実際，「彼が物理に行くから」という理由で，３回生からの専門分野を化学や生物にした人が何人かいる．
昨年，京大理で集中講議をしたあと，人文研所属（生命科学研究科兼任）で科学コミュニケーション論・生命倫理が専門の加藤和人准教授の研究室に立ち寄ったときも，その話で盛り上がった（加藤さんもS６だった）．
私がピッツバーグ大学でポスドクをしていた時，大栗さんはすでにシカゴ大学の助教授をされており（一度シカゴを訪ねたときお世話になった），その後，京大数理研，カリフォルニア大バークレー校を経て，現在CALTECHに在籍．
昨年はLeonard Eisenbud Prize for Mathematics and PhysicsおよびHumboldt Research Awardと続けて国際的な賞を受賞された．
大栗さんは東大IPMUの主任研究員でもある．IPMUの建物は柏キャンパスの物性研と宇宙線研の間に現在建設中である．
710:現代数学の系譜11 ガロア理論を読む
16/12/03 18:11:15.03 6Rgz8i9T.net
>>645
おっちゃん、ありがとうよ（＾＾；
お疲れです
追伸
おっちゃんも、分かっていると思うが
可算無限の数列のしっぽなんて、「同値から推移律確認！ はいおわり」
それですむ話じゃないだろうと
711:現代数学の系譜11 ガロア理論を読む
16/12/03 18:18:01.13 6Rgz8i9T.net
大栗先生からみ
URLﾘﾝｸ(research.kek.jp)
瀬戸秀紀（せと・ひでき） �
712:ｃGネルギー加速器研究機構 物質構造科学研究 中性子科学研究系教授・工学博士 http://research.kek.jp/people/seto/road2res1.html 研究者への道 表紙へ 1. 学部生まで (抜粋) 私が物理学者を志したのは高校生の時だったと思うのだが、きっかけは中学3年生の時だった。同級生から紹介されて読んだ相対性理論に関するブルーバックス。たぶん都筑卓司さんか佐藤文隆さんの本だったのではないだろうか。 もう一つ印象に残っているのが、3回生の時のシッフの「量子力学」を原書で読んだゼミ。同級生同士でやったのだがその中の１人がめちゃくちゃできるやつで、何だかひどい劣等感に呵まれた記憶がある。 その１人、と言うのは大栗博司君で、その後京大の修士課程を出た途端に東大の助手になり、超弦理論の有名人となり若くしてカリフォルニア工科大の教授になった、とのこと。さもありなん、である。 つづく
713:現代数学の系譜11 ガロア理論を読む
16/12/03 18:19:20.10 6Rgz8i9T.net
>>648 つづき
また当時遠藤研の助手だった田村剛三郎先生には、物性実験とはどういうものか、その神髄を教えてもらったような気がする。
この課題演習での実験は泥臭く、高校生の頃に想像していたような華々しい「物理学」とは印象を異にするものだったのだが、しかしむしろ私の進路に対する影響は大きかった。
なんせそれまで同級生や先輩と接してきて自分より優秀な人が多いものだなー、と感じていて、当初の志望だった素粒子論や宇宙論なんて無理かも、と思っていた矢先である。自分に向いているのは理論よりも物性実験かも知れない。そんな方向性を決定づけてくれたのが、このＢ１での半年間の経験だった。
そして十分に準備して大学院入試に臨んだものの残念ながら面接で落とされ（今でも覚えているのだが、物一の面接に進んだ19人の中で落とされたのは3人だけだった）、たまたま受けた（確か友達が受ける、と言ったからつきあいで受けたのだったと思う）阪大基礎工への進学、と言う道を選択せざるをえなくなる。
しかし後から考えると、この転換点は私の「研究者への道」にとっては非常に大きなものだったようだ。
阪大基礎工の大学院に進学した理由は、もちろん京大に落ちてそこしか行くところがなかったからなのだが、それよりも院試に落ちた直後に浅井先生に相談に行った時に「あなたは阪大に行きなさい」と言われたのが決定的だった。
浅井先生と他に話をした記憶はほとんど残っていないのだが、この冷たい宣告（と、当時は思った）は非常に印象的で、これを聞いて私は「いずれ京大を見返してやるぞ」と思ったものだった。とは言え「相転移」をメインテーマにしたいと思っていた私にとっては、実は京大理よりも阪大基礎工の方が適していた、と言うのは後から分かったこと。
そう言う意味では、浅井先生の忠告は極めて適切だった、と言わざるをえない。
因みにその浅井研での課題研究でやったこと、と言えば、同級生の川口昭夫君と一緒にエイコサンの結晶を走査電子顕微鏡で見て、その写真を撮っただけだった。
京大理学部の伝統のおかげで卒論を書くこともなく（つまり「研究」の名には値しない）課題研究の単位をもらい、高校の理科教員の資格ももらって、学ぶことの多かった京都の4年間を無事終えて大阪に移ることになった。
(引用終り)
714:１３２人目の素数さん
16/12/03 18:38:26.96 a5s7rEiu.net
お前が言ってるのは
類別可能か不可能かわからない
ってだけだ。俺が言ったのは
類別不可能であることを証明せよ
だ。何故ならお前が
類別可能であるとの仮定は現実離れしている
と言ったからだ
自分の発言に責任を持ちなさい、持てないならお前はただのホラ吹き小僧だ