23/12/29 18:03:31.94 fit3YXdt.net
>>825
生命は宇宙と太陽からネゲントロピーを受けて
自己を実現してゆくのみならず、
エントロピーを増大させる。
これは一見自己矛盾である。
しかしながら、生命には遺伝子による自己実現の永続がある。
これは、宇宙の法則と同型である。
宇宙の星々も生成消滅しながら自己実現をしているのである。
日本のルーツである天皇を大切にすべき大義はここにある。
しかしながら、それは物質的なことには限らない。
遺伝子による記憶の伝達だけではなく、
日本精神の伝達ということである。
両方が成立できることが古今東西（南北）求められている。
適応は宇宙における調和の生活による表現である。
（つづき）
851:１３２人目の素数さん
23/12/29 18:05:47.17 fit3YXdt.net
>>826
局所的な偽は大局的にも真理ではない。
人権と世界平和という大局的な真理において、
局所的な争いをどう捉えるか。
物理学においては、
一般相対性理論と量子力学のような、
大局性と局所性の解離の問題がある。
量子力学で熱力学第二法則を証明できるという研究がある。
局所的真理によって大局的真理に到達できるということである。
局所的な国々はお互いに大局的な人権と世界平和に向けて
努力を重ねることが真理の探究であり、大義である。
（つづく）
852:１３２人目の素数さん
23/12/29 18:08:15.95 fit3YXdt.net
>>827
宇宙の摂理は、生成消滅。
エントロピーとネゲントロピー。
シバとヴィシュヌ。
生命は宇宙と等価である。
生成と消滅を繰り返している。
精神と身体の合一である人間において、
身体のアポプトーシスを精神が発現するのは
他の生命にはないことかもしれない。
しかし、人間が他の生命と異なるのは、
自然の一部である個人（＝「自我」）が
「自己」（＝宇宙の摂理）を
論理的にコントロールできる可能性
を理解できることである。
それが「人間」ということである。
しかしながら。人間は自然の一部である。
自我の死は自然が決めることであるが、
自己は永遠である。
（つづく）
853:１３２人目の素数さん
23/12/29 18:09:31.01 fit3YXdt.net
>>828
物理学において、
「時空と力及び物質」の統一理論は
真理の「理念」である。
古典物理学において、質点は理念であり現実ではない。
数学において、集合は大きさのない点の集まりである。
このことは健常人にも精神病者にも理解できない。
物理学者と数学者にのみ理解できることである。
「時空と力及び物質」の統一理論は
現実世界の理論ではなく「理念」である。
「質点」で説明できなければ、
拡がりをもつ「弦」や「ループ」で説明することになるが、
この段階においても、
究極の理論は真理における「理念」である。
数学において、
単なる点の集合に位相を導入することにより「形」が現れ始め、
さらに「距離」を導入することにより「大きさ」が現れる。
物理学において、時空にメトリックを導入することにより
歪みが生じ、重力となる。
光速度が一定なのは、光の伝搬は時空の性質に過ぎないからである。
これら全ては理念であり、現実ではない。
理念に「現実という位相」を導入することにより、
様々な現実的物質や生物が生じる。
したがって、物理学と数学には理念と現実という側面がある。
（つづく）
854:１３２人目の素数さん
23/12/29 18:11:34.31 fit3YXdt.net
>>829
憲法もおなじことである。
「人権と世界平和」＝「自己実現と適応」という理念に
「現実という位相」を導入することで自衛隊が生じる。
したがって、日本国憲法という理念に
自衛隊を入れることは本末転倒である。
日本国憲法という理念に
現実的位相を導入することにより
自衛隊が生じる。
エリクソンのライフサイクルが平均とすれば、
平均ではない、真の自己実現がある。
人権と世界平和、真理の探究のために生きることが本質である。
仏教の修行もそうである。
私の言い方がわからない人は自己中心。
一昔前には時空の性質よりも常識を要求された。
しかし、今や、重力波も常識である。
時空は均一ではない。
同様に、生命の時空、つまり自己実現も多様体である。
各々の時空を共有して世界を広げてゆくことが大義。
自己実現と世界平和。
宇宙は膨張しており開かれた世界。
ブラックホールは吸い込み吹き出し領域。
マルチバースは星々の生成消滅による時空の創生。
宇宙は生命と等価。
（完）
855:１３２人目の素数さん
23/12/29 18:12:59.93 mPJha3V6.net
松本先生が「4次元のトポロジー」初版を書かれた
1979年（多分原稿はその1年くらい前）は
4次元のトポロジーは、何も分かっていない状態だった
1979年版では、ロホリンの定理の不思議さだけが、えらく強調されていた印象がある
手元の2009年版では、付録で
フリードマンの4次元ポアンカレを解決（1981年）
ドナルドソンの４次元ユークリッド空間のエキゾチックな微分構造（1982年）
「12年後のあとがき」（1991年）
「30年を経て」（サイバーグ-ウィッテン理論とトム予想解決、古田幹雄の定理、11/8予想、レフシェツ・ファイバー空間とシンプレクティック多様体、ペレルマンのリッチフローにも触れている）
確かに
『すべての有限表示群を分類することは不可能なことが知られている（ノビコフ）
したがって、すべての４次元多様体の分類も不可能なのである』
について、1979年時点では
松本先生は４次元多様体が複雑怪奇でどこから手をつけたら良いのか？ ということだったろう
しかし、その後の４次元多様体の研究の進展は、ご自身で書いているように
４次元多様体は非常に豊富な内容を持つ数学的対象であって
物理学の面からも重要で、その方面からの刺激もある数学として重要な研究対象だってことでしょう
『すべての４次元多様体の分類も不可能なのである』
”はい終わり” とはならないのです
よって>>713-715の通り
2022年版 「4次元多様体 I&II」 上正明・松本 幸夫(著) 2022年02月
では、「すべての４次元多様体の分類も不可能なのである」の記述無し
つまり、「不採用」にしたってことなのでしょうね
本当のことは
著者に聞いてみないとわかりませんが
856:１３２人目の素数さん
23/12/29 18:26:26.24 fit3YXdt.net
>>831
＞『すべての４次元多様体の分類も不可能なのである』
＞”はい終わり” とはならないのです
”はい終わり”は、君の幻聴であって、他の誰の発言でもない
●違いは自分の声を他人の声だと言い張るので困る
君の敵は君自身 自分を倒せ 他人は一切巻き込むな 迷惑
857:１３２人目の素数さん
23/12/29 18:31:36.81 fit3YXdt.net
>>832
＞４次元多様体は非常に豊富な内容を持つ数学的対象であって
だからこそ松本幸夫氏は「４次元のトポロジー」を書いたわけだが
＞物理学の面からも重要で、
そこは正直どうでもいい
物理のために数学があるわけではない
別スレで、「相対性理論のローレンツ変換」とかいたら
「相対性理論の」は間違いだと●違った数学原理主義者の耄碌爺がいたが
「相対性理論とは無関係に、ローレンツ変換を数学として利用できる」
という（いわずもがなの自明な）考えについてだけは認めてやる
ただ言い方が明らかに●違いなのは人格障害の典型的症状なんだろうが
858:１３２人目の素数さん
23/12/29 18:39:19.01 fit3YXdt.net
量子的世界においてトポロジー的現象が見られることは実に興味深いが
別にトポロジーは物理のために出来上がった理論ではないし
逆に物理学で考えた理論を数学が使ったからといって、
物理学を研究していることにもならない
（物理的に対応する現象が見つかるかもしれんがそれは偶然である）
URLﾘﾝｸ(oshikawa.issp.u-tokyo.ac.jp)
859:１３２人目の素数さん
23/12/29 20:59:06.11 2VId9b52.net
左巻きが自衛隊を嫌うのは、革命起こすときに
軍事力が邪魔になるから。
860:１３２人目の素数さん
23/12/29 21:06:20.36 2VId9b52.net
Takuo Yasuoka の文章は無意味だね。
結論が先にあって、それを無意味な文章で
もっともらしく装飾しているだけ。
「人間はこういうものである」というのは
理屈で決まるものじゃない。
861:１３２人目の素数さん
23/12/29 21:31:00.74 mPJha3V6.net
>>834
>（物理的に対応する現象が見つかるかもしれんがそれは偶然である）
中島とかいう先生（下記）は、君とは違う意見みたいだねｗ
”偶然”で片付けるには、あまりにも”できすぎている”話は、下記に限らず多数ある
「•新しい理論・定理を見付けるのには,論理だけでは不十分.直観が必要.
物理的な直観が新しいことを見付けるのにしばしば役に立つ. (歴史的にもそうである.)特に現在では
•数学的に厳密な裏付けのない場の量子論
に基づいて,豊かな数学が生み出されてきた...」（下記）
なお、河東氏のご専門のノイマン環は
ノイマンの量子力学の研究から生じたことは有名
(参考)
URLﾘﾝｸ(member.ipmu.jp)
こんにちは！ 中島です！
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
数学と物理学の絡み合い
中島啓 京都大学大学院理学研究科 大阪大学理学部「理学への招待」2006年7月7日
P3
歴史
•ニュートン力学←→微分積分学(17世紀)
•アインシュタインの一般相対性理論←→リーマン幾何学(20世紀)
現在
•弦理論,特に位相的場の理論←→モジュライ空間の幾何学
どちらも最先端の分野でつながっている.
なぜ,そのようなことがおきているのだろうか?
P5
•論理だけでは,意味があることができない.面白いことが見付けられない.
•新しい理論・定理を見付けるのには,論理だけでは不十分.直観が必要.
物理的な直観が新しいことを見付けるのにしばしば役に立つ. (歴史的にもそうである.)特に現在では
•数学的に厳密な裏付けのない場の量子論
に基づいて,豊かな数学が生み出されてきた...
P22
Jonesはもともとは,作用素環とよばれる結び目理論とは違うものの専門家であった.
Jones以降,結び目理論と他の分野との関連が次々と見付けられた.統計力学,表現論, ...
物理学者Wittenは,Chern-Simons理論という,ゲージ理論の分配関数としてJones多項式を定式化しなおし,同時に3次元多様体の不変量へと拡張した.
それ以降,弦理論との関係,など次々と発展があり,現在も活発に研究されている.
P25
自分の専門にこだわらず,いろいろなことに興味を持とう!
御静聴ありがとうございました.
862:１３２人目の素数さん
23/12/29 21:32:24.83 2VId9b52.net
要するに、一人一人の人間は生きたいように生きてるだけ。
時に、「協力を好む」とか「平和を好む」という面が
あらわれたとしても、皆がそうなるように強制する
ことは不可能。それで、自分の理念に合わない人間を
サルだとか
863:精神異常であるとか言い始めることこそ 異常。自分が世界のすべてを理解できるかのように 振舞うのは病気。
864:１３２人目の素数さん
23/12/29 21:40:38.42 2VId9b52.net
ところで、日本人は死刑制度に賛成するひとが多数だが
死刑の廃止というのは理解できなくもない。
たとえば、犯罪者や殺人鬼が発生するのはランダムであり
その発生を禁止することはできない。これこそ
「自然の法則」とも言える。日本人は、その存在を
「禁止」しようとしているように見えるが、それで
問題の解決になるのだろうか？ かなり狭い考え方で
あるように思える。
865:１３２人目の素数さん
23/12/29 22:48:55.04 mPJha3V6.net
>”偶然”で片付けるには、あまりにも”できすぎている”話は、下記に限らず多数ある
自分の中で、一番不思議なのは、ボーチャーズのムンシャイン（下記）
当時、有限単純群の分類で発見されたばかりのモンスター群が、楕円曲線と関連するj-不変量とつながりがあり
そのつながりは、物理の弦理論や頂点作用素代数（英語版）と関係していたこと
二番目は、リーマンζゼロ点のモンゴメリー・オドリズコの研究
”ランダム行列の固有値の間隔の分布と統計的に同一であるとする予想”
ランダム行列の固有値は、物理のフリーマン・ダイソンが原子核の崩壊の研究として調べていたらしい
そもそも、リーマンζゼロ点分布になにか規則があることが不思議だし、それが物理のランダム行列の固有値と関係している？
物理と数学は、コインの裏と表のような存在かも
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
モンストラス・ムーンシャイン（monstrous moonshine）もしくはムーンシャイン理論とは、モンスター群とモジュラー函数、特に j-不変量との間の予期せぬ関係を指し示す用語、およびそれを記述する理論である。1979年にジョン・コンウェイとサイモン・ノートン（英語版）(Simon Norton)により命名された。今ではその背景として、モンスター群を対称性として持つある共形場理論があることが知られている。コンウェイとノートンによって考案されたムーンシャイン予想は1992年、リチャード・ボーチャーズにより、弦理論や頂点作用素代数（英語版）(vertex operator algebra; VOA)、一般カッツ・ムーディ代数を用いて証明された
URLﾘﾝｸ(ja.wikipedia.org)
複素変数 τ の函数であるフェリックス・クラインの j-不変量 (j-invariant)（もしくはj-函数）とは、複素数の上半平面上に定義された SL(2, Z) のウェイト 0 のモジュラー函数である。
古典的には、j-不変量は C 上の楕円曲線のパラメータ化として研究されていたが、驚くべきことに、モンスター群の対称性との関係を持っている（この関係はモンストラス・ムーンシャインと呼ばれる）
URLﾘﾝｸ(ja.wikipedia.org)
モンゴメリー・オドリズコ予想(Montgomery-Odlyzko law)とは、リーマンゼータ関数の自明でない零点の間隔の分布は、ガウス型ユニタリ・アンサンブル（GUE）にしたがうランダム行列の固有値の間隔の分布と統計的に同一であるとする予想
URLﾘﾝｸ(maxima.)はてなブログ.jp/entry/2015/08/23/000402
Maxima で綴る数学の旅
2015-08-23
- ゼータ関数の非自明零点と行列の固有値（その３）物語
1971年、ランダム行列（特にガウスユニタリアンサンブルと呼ばれるモデル）を研究していた物理学者のフリーマン・ダイソンとゼータ関数の零点を研究していたヒューモンゴメリが、プリンストン高等研究所のお茶の席でお互いの研究の話をしました。その会話からダイソンは、「ガウスユニタリアンサンブルの固有値の対相関関数は、ゼータの非自明零点の対相関関数と同じである」ことに気がついたそうです
866:１３２人目の素数さん
23/12/29 22:51:13.55 mPJha3V6.net
>>840
そもそも、リーマンζゼロ点分布になにか規則があることが不思議だし、それが物理のランダム行列の固有値と関係している？
↓
そもそも、リーマンζゼロ点分布間隔になにか規則があることが不思議だし、それが物理のランダム行列の固有値と関係している？
867:１３２人目の素数さん
23/12/29 23:15:40.53 mPJha3V6.net
>>838-839
・君は、アナーキストだったねｗ
・「人は社会的動物」（下記）と言ったのは、アリストテレスだったね
・「犯罪者や殺人鬼が発生するのはランダムであり その発生を禁止することはできない」？
・これ、石川五右衛門「浜の真砂は 尽きるとも 世に盗人の 種は尽きまじ」類似かな？
しかし、名探偵コナンはランダムとは考えないだろう。犯罪は推理ネタだよ
・確率論も弱かったね、君は。犯罪の統計はゼロにはできずとも、その頻度を減少させることはできるだろう
実際、諸外国にくらべ、日本は治安が良いと言われている
(参考)
URLﾘﾝｸ(kotobank.jp)
ブリタニカ国際大百科事典 小項目事典 「社会的動物」の意味・わかりやすい解説
社会的動物
人間が個人として存在していても，その個人が唯一的に存在し，生活しているのではなく，絶えず他者との関係において存在している。つまり個人が社会のうちにおいて生活し生存しているのであって，社会なくしては個人が存在しないことを意味する言葉。元来アリストテレスのゾーオン・ポリティコン (ポリス的動物) に示されているように，人間は社会の子であり，人間がポリス的形成者としてとらえられることを意味する。
マルクスの言葉を用いれば，社会をなして生産する諸個人ということになる。このような意味で，社会的動物とは社会的個人にほかならない
URLﾘﾝｸ(ja.wikipedia.org)
石川五右衛門
「石川や 浜の真砂は 尽きるとも 世に盗人の 種は尽きまじ」
868:１３２人目の素数さん
23/12/29 23:42:31.57 2VId9b52.net
>>842
道徳性のカケラもないコピペ盗人=ID:mPJha3V6
おべっか使いまくっても、数学板でまったく相手にされず
バカにしかされてないひとが社会性とか言ってもね。
もっとも社会性がないのが貴方。
869:East Enders
23/12/30 08:19:44.65 3CXK7Rfd.net
＞君は、アナーキストだったね
「アナーキスト」は、彼ではないよ
＞「人は社会的動物」と言ったのは、アリストテレスだったね
アリストテレスはありとあらゆるヨタ話を飛ばしてきたので
いまさら何をいっても驚かない
＞「犯罪者や殺人鬼が発生するのはランダムであり その発生を禁止することはできない」？
まあ、そういう考え方もあるだろう
個人的には、それこそ共同体のあり方次第で減少させられる可能性もあると思うが
これはあくまで期待であって何か確たる根拠があっていってるわけではない
＞確率論も弱かったね、君は。
それも彼ではないよ むしろ君だと思うが
まあ、君が自分の誤りを認めたことは一度もなかったし、これからもないだろう
君は自分が神だとウソをつきつづけることでしか生きられない惨めな存在だからね
大阪・西成の生活がそんなに屈辱だったのかい？
870:East Enders
23/12/30 08:21:04.34 3CXK7Rfd.net
>>835 革命に暴力は必要ないよ というより、暴力では革命は起こせないだろう
871:East Enders
23/12/30 08:24:10.51 3CXK7Rfd.net
Takuo Yasuoka の文章は、トンチンカンだと私も思うね
別に世界平和なんて、数学や物理学で証明・説明することじゃない
彼は口では多様性というけれども、
実際には論理による「ファシズム」を求めている
数学や物理学を異様に崇拝するのはファシスト
実際の数学や物理学はそんなものではない
872:East Enders
23/12/30 08:27:47.01 3CXK7Rfd.net
>>838
まったくごもっともだ 他人への強制など不可能
しかし人のいうことが理解できないサルは
実際に存在するからサルと呼ぶしかない
精神異常はサルよりマシかもしれん
精神異常は治るがサルは人にはなるまい
サルは駆除の対象
873:East Enders
23/12/30 08:32:02.93 3CXK7Rfd.net
>>839
死刑は必要ない 復讐は人を狂わせる
一方で害獣の駆除は必要だ 何の感情もなく淡々と実行すればいい
自分が生きるために、牛や豚や鶏を屠って食べるのと同じ
たらふく肉を食ってる連中が、食肉業者を侮蔑するのは実に愚かしい
ヴィーガンになればいいのか？ これまた自己本位な言い訳だ
生物の自然な行動に、善悪とかいう狂った判断を持ち込むことは
人類の究極の精神異常である 宗教はそのような狂気の産物
874:East Enders
23/12/30 08:36:29.50 3CXK7Rfd.net
誰も仲間を屠って喰ったりしない
逆に仲間でもなんでもなければ屠って喰うのは当然のこと
さすがに生物すべてを仲間とすることは不可能だ
そんなことを実施したら生物はすべて滅ぶ
そもそも生が尊く死が卑しいというのも妄想
しょせんただの物理現象にすぎない
だったらすべての生物が滅んでもいいだろうって？
それはそうだが、そういうことをいうなら、
生物が今のように生き続けてもいいだろうってことになる
まあ、好きにすればいい 所詮この世は夢
875:East Enders
23/12/30 08:42:13.59 3CXK7Rfd.net
WWはただただ哀れだと思う
高校生で相対論の本を読むも理解できず
浪人でガロア理論の本を読むも理解できず
結局数学書は何を読んでも理解できず
ただその現実がどうしてもうけいれられず
自分は分かってるといいたくてサーチ＆コピペに耽溺
しかしいくらつづけても心の穴は埋められない
それはそうだ 理解には全くつながらないのだから
WWはまず文章の読み方からはじめるべきだが
なんでもかんでも馬鹿にする不健全な態度が
身に染み付いてしまったのでもうむりだろう
このまま何もわからないまま死ぬとは惨めなもんだ
なんでもかんでもまず馬鹿にする態度が自分を馬鹿にしてしまった
恨むならまず自分のその態度を恨むんだな
ただ、自分が生まれ育った大阪・西成のせいにはするなよ
876:１３２人目の素数さん
23/12/30 08:58:41.18 RkfLap+Q.net
>>843
>道徳性のカケラもないコピペ盗人=ID:mPJha3V6
>おべっか使いまくっても、数学板でまったく相手にされず
>バカにしかされてないひとが社会性とか言ってもね。
>もっとも社会性がないのが貴方。
なんだかなぁー
えーと >>838「要するに、一人一人の人間は生きたいように生きてるだけ。
自分の理念に合わない人間を
サルだとか精神異常であるとか言い始めることこそ異常」
と言ったのはあなたですよ
つまりは、社会性を否定していた人が、なんか言っていること 倒錯してない？
もどるけど、>>822 「どうせなら Takuo Yasuoka の自己紹介の文章をコピペしたら？」
と延々とコピ貼り付けしたでしょ？
Takuo Yasuoka氏の書評 松本 幸夫 (著) 新版 4次元のトポロジー 2016年版は
主に著書の内容紹介なので、彼の主張とはほとんど無関係だよね
あなたは、数学に向いていない性格だと思う
自分の主張の論理的一貫性が無くなっているのに、気にしない性格なんだｗ
政治家向きかな
877:１３２人目の素数さん
23/12/30 09:27:10.83 RkfLap+Q.net
>>840
>”偶然”で片付けるには、あまりにも”できすぎている”話は、下記に限らず多数ある
これで追加しておくと
・ディラックが、量子力学のシュレジンガー方程式を相対論化したのだが
その過程で、電子のスピンと陽電子が出てきた
つまり、量子力学＋相対論の数学的帰結として、電子のスピンと陽電子が出現した
・ディラックは、有名なδ関数を彼の物理理論に導入した
これを知ったシュワルツが、シュワルツ超関数を考えた
佐藤幹夫は、佐藤超関数を考えた（いまのD加群理論につながる）
物理と数学の相互作用の一例
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
ディラック方程式
歴史
ポール・ディラックは1928年にディラック方程式を基礎方程式とする（特殊）相対論的量子力学を見出した。ディラック方程式からは負の確率密度は生じず、スピンの概念が自然に現れる
しかしディラック方程式からは、自然界には存在しないような負のエネルギーの状態が現れるという問題があった
1930年にディラックは「真空とは、負エネルギーの電子が完全に満たされた状態である」とするディラックの海の概念（空孔理論、hole theory）を考案した。ディラックの海では負エネルギーの電子が取り除かれた「空孔」が生じることがあるが、ディラックは当初この空孔による粒子を陽子であると考えた。後に空孔は陽電子であることが指摘された
URLﾘﾝｸ(ja.wikipedia.org)
ディラックのデルタ関数
デルタ関数は古典的な意味での関数ではないシュワルツ超関数（英: distribution）の最初の例になっている。
佐藤超関数としての定義
佐藤超関数の流儀では、ディラックのデルタ関数は複素領域から実軸への抽象的境界値
略
と定義される
878:East Enders
23/12/30 09:57:23.51 3CXK7Rfd.net
数学と物理の蜜月、とか語りだす人は
大体数学も物理もおちこぼれた素人
879:East Enders
23/12/30 10:01:09.91 3CXK7Rfd.net
＞「どうせなら Takuo Yasuoka の自己紹介の文章をコピペしたら？」
＞と延々とコピ貼り付けしたでしょ？
それも、843＝ID:2VId9b52 とは別人
ことごとく間違ってるね
それ統合失調症かも 薬のんだら？WW君
880:１３２人目の素数さん
23/12/30 10:27:43.80 l7IxeUCF.net
シュワルツは人工的にシュワルツ超関数を考え出した
881:１３２人目の素数さん
23/12/30 10:29:48.18 8kQ2u2hb.net
>>851
>つまりは、社会性を否定していた人が、なんか言っていること 倒錯してない？
まったく社会性を否定してませんが。
社会性だってそんな高尚なものではなく、進化の過程で
生存に有利だったから、そういう個体が多く生き残ったという考え。
社会性のないひと、社会のはみ出し者がいることを否定していないだけ。
それもまた一つの現象だろうと言っている。
また、誰だって何らかの意味ではそれに該当している。
まして数学をやるということは、半分は世捨て人のようなもの。
貴方が反社会的であるのは、数学板で好き勝手にコピペを
貼り散らかしていること、それが誰からも喜ばれていないこと。
かつ、自分が理解してもいないことを貼り散らかすのは
学問的に誠実ではないこと。
>>822はわたしじゃないよ。自分に反対する者が同一人物だと
思いたがるのは貴方の悪い癖だが、これまでだって
散々バカにされてきて、その相手も「ほぼ一人か二人」
という認識なんですかね。
882:１３２人目の素数さん
23/12/30 12:18:33.12 3MBxqzrM.net
>>853
悪かったなｗ
883:１３２人目の素数さん
23/12/30 14:26:06.05 RkfLap+Q.net
>”偶然”で片付けるには、あまりにも”できすぎている”話は、下記に限らず多数ある
さらに追加しておくと
ソリトン→佐藤理論→可積分系
物理のフェルミ・パスタ・ウラムの問題から始まり
（フェルミは、ノーベル物理学賞）
1965年米国の N. Zabusky と M. KruskalのKdV方程式の研究へ
そして、数学ソリトン理論の大発展に繋がったのです
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
フェルミ・パスタ・ウラムの問題
1950年代に、ロスアラモス研究所で電子計算機を用いてこの問題に取り組んだ 3 人の数理物理学者エンリコ・フェルミ、ジョン・パスタ（英語版）、スタニスワフ・ウラムに名に因む。当初の予想では相互作用が非線形な系ではエルゴード性によって、長時間経過後に各モードにエネルギーが等分配された熱力学的平衡状態に達するはずであったが、計算機実験の結果はそれに反し、初期状態のモードに戻る再帰現象が観測された。後に、この再帰現象はKdV方程式の研究から可積分系におけるソリトンと関連した現象であることが明らかにされた。なお、電子計算機が物理学の研究に活用された初期の事例としても有名である。
FPUの数値実験
フェルミは、現実の系にエルゴード性を与えるものが格子間の相互作用の非線形性にあると考えた。1950年代、当時の発達してきた電子計算機では、こうした解析の難しい非線形の問題を検証できる可能性があった。そこで、フェルミはパスタ並びにウラムとともに、ロスアラモス研究所の電子計算機 MANIAC I（英語版） で、非線形格子系の計算機実験を行った。
ソリトン現象との関係
後に、ザブスキーとクルースカルは非線形波動の研究において、この再帰現象はソリトンの性質によるものであることを示した。1965年に彼らは連続体近似を行ったモデルであるKdV方程式で数値計算を行い、ソリトンと呼ばれる孤立波解が存在し、複数個のソリトン同士が衝突する場合にも、波形が崩れず伝播することを示した。初期条件に余弦波を与えた場合には、複数の孤立波が出現し、衝突を繰り返すも、その性質を保ちつつ伝播し、一定時間経過後に初期状態に戻る現象が観測された。上記のフェルミらが観測した再帰現象は、非線形性がある場合にも、KdV方程式のような可積分系に近い系の性質によって、再帰が起きたと理解される
つづく
884:１３２人目の素数さん
23/12/30 14:26:21.60 RkfLap+Q.net
つづく
URLﾘﾝｸ(en.wikipedia.org)
Fermi–Pasta–Ulam–Tsingou problem
URLﾘﾝｸ(ja.wikipedia.org)
ソリトン（英: soliton）は、おおまかにいって非線形方程式に従う孤立波
この呼び名の由来は、1965年米国の N. Zabusky と M. Kruskal が、KdV方程式 [注 1] の数値解析から、上の2条件を満たす孤立波を発見し、粒子性をあらわす接尾語-onを使ってそれをソリトンと名付けたことによる
理論の発展
1981年の佐藤理論の完成により、ソリトン方程式は無限に存在することが示された
URLﾘﾝｸ(en.wikipedia.org)
Soliton
URLﾘﾝｸ(ja.wikipedia.org)
可積分系
(引用終り)
以上
885:１３２人目の素数さん
23/12/30 14:28:00.35 RkfLap+Q.net
>>856
>>>822はわたしじゃないよ。
ああ、そうだったのか
悪かった
謝るよ
886:１３２人目の素数さん
23/12/30 14:50:05.39 RkfLap+Q.net
>>858 追加
URLﾘﾝｸ(www.math.nagoya-u.ac.jp)
浜中 真志
URLﾘﾝｸ(ocw.nagoya-u.jp)
2015年度数学アゴラ＆数学公開講座講義Ｃ
「素粒子論と現代数学」
名古屋大学大学院多元数理科学研究科
浜中真志(はまなかまさし)
この資料の目次
1. イントロダクション(数学と物理学)
3.2 弦理論と現代数学
ADHM(Atiyah-Drinfeld-Hitchin-Manin)構成法
ゲージ理論の数学(ベクトル束)の最高峰の成果
ポリヤコフ曰く「現代数学が役に立つ瞬間を初めてみた」半分冗談
URLﾘﾝｸ(www2.yukawa.kyoto-u.ac.jp)
非可換インスタントンのADHM構成法, 研究会報告 25AO-S2 (2014) 21-28.
※2013年10月の九大応力研研究会 「非線形波動研究の拡がり」のプロシーディング
887:East Enders
23/12/30 14:52:16.01 3CXK7Rfd.net
>>860
数学板への書き込み やめたら？
中卒の君には無理だよ
相対論すら理解できなかったんだろう？ 無理だよ
888:East Enders
23/12/30 14:53:09.92 3CXK7Rfd.net
相対論も理解できないWWが、
ゲージ理論がーとかいくらコピペしても
恥ずかしいだけだよ
889:East Enders
23/12/30 14:54:00.04 3CXK7Rfd.net
大阪の同業者 WW君は
家業の●●業に戻ったほうがいい
他にできることなんてないんだから
890:１３２人目の素数さん
23/12/30 16:03:02.18 RkfLap+Q.net
>>861
> 3.2 弦理論と現代数学
追加参考
URLﾘﾝｸ(ja.wikipedia.org)
S-双対
場の量子論で最も早く知られたS-双対の例の一つは、モントネン・オリーブの双対性（英語版）(Montonen-Olive duality)で、N=4 超対称ヤン・ミルズ理論と呼ばれる場の量子論の 2つのバージョンを関係付けている。アントン・カプスティン（英語版）(Anton Kapustin)とエドワード・ウィッテン(Edward Witten)の最近の仕事は、モントネン・オリーブの双対性が幾何学的ラングランズ対応と呼ばれる数学の研究プログラムと密接に関係していることを示している。[2]
モントネン・オリーブ双対性
ラングランズプログラムとの関係
詳細は「ラングランズ・プログラム」を参照
数論ではラングランズ対応は重要であるにもかかわらず、数論の脈絡でのラングランズ対応の確立は非常に困難である。[13] 結果として、幾何学的ラングランズ対応として知られていることに関連する予想で仕事をしている数学者もいる。これは、元来のバージョンに現れる数体を函数体に置き換えることで、代数幾何学のテクニックを適用して、古典的なラングランズ対応を幾何学的に再定式化することである。[14]
2007年からのアントン・カプスティン（英語版）(Anton Kapustin)とエドワード・ウィッテン(Edward Witten)は、幾何学的ラングランズ対応がモントネン・オリーブ双対性の数学的記述と見なすことができることを示した。[15] S-双対で関連付けられた 2つのヤン＝ミルズ理論から始めて、カプスティンとウィッテンは、2次元時空内の場の量子論のペアを構成することが可能であることを示した。何がこの次元簡約（英語版）(dimensional reduction)がD-ブレーン(en:D-branes)と呼ばれる物理的対象となるのかを分析することにより、彼らは幾何学的ラングランズ対応の数学的な要素を再現できることを示した。[16] かれらの仕事は、ラングランズ対応が場の量子論のS-双対に密接に関連していて、双方の対象に有効に適用できることを示した。[13]
891:１３２人目の素数さん
23/12/30 16:28:52.39 RkfLap+Q.net
小田実氏が、「虫瞰図」を提唱したという（下記）
現代数学虎の穴 河東ゼミの教え：「虫瞰図」の視点を持て
>>11-12より
>どうきかれてもすぐに答えられるように準備をしておく必要があります．
>また自分の知らない定理や定義を使っているところがあれば当然，調べたり聞いたりしなくてはいけません．
>定義や定理を知らなければそこの部分が理解できないに決まっているんですから，
>そういうところを素通りするのは数学の本の読み方として根本的に誤っています．
>そして「全部完全にわかった」という状態になるまで，考えたり，調べたり，人に聞いたりするのをやめてはいけません．
>「自分は本当にわかっているのか」と言うことを徹底的に自問して「絶対にこれで大丈夫だ」と思えるようになる必要があります．
(引用終り)
・これ（「虫瞰図」）は、数学ゼミとしては大事だと思うよ
・しかし、普段の数学勉強法としては、鳥瞰図の視点も忘れてはいけないと思う
・目の前にある本は、いったい何を書いてあるのか？（書いてあったのか？）
それを短く、自分なりに要約し納得できるか？
・両方いると思うんだ
なになに？ どちらも中途半端で、数学科で落ちこぼれた人がいる？
まあ、そういう人は いるでしょうねｗ
(参考)
URLﾘﾝｸ(www.chosakai.co.jp)
労働調査会
労働あ・ら・かると
今月のテーマ（2013年７月 その３）就活に必要な鳥瞰と虫瞰そして花瞰の視点、友観の視点
【岸健二 一般社団法人 日本人材紹介事業協会相談室長】
2013.07.01
鳥瞰図の視点ばかりでなく「虫瞰図」の視点が必要だという話を聞いたのは、40年以上前、今は亡き小田実氏の講 演の席だったと記憶しています。当時の時代背景として脳裏に浮かんだのは、ベトナム戦争での爆撃機と爆弾を落とされるベトナムの人びとの姿であったりした わけですが、その時講演会後に「虫が好きな花の視点や、虫と共に野を視る虫ではない花の視点も大事だ。」「国と国との関係、人と人との関係は別の視点が必 要だし、その人それぞれの多様性を尊重することが大事だ。」と語っていたのが印象的でした。
892:East Enders
23/12/30 16:29:49.19 3CXK7Rfd.net
正則行列も知らないWWが何を言っても無意味だよ
もう数学は諦めて家業に専念しな
893:East Enders
23/12/30 16:33:03.49 3CXK7Rfd.net
＞どちらも中途半端で、数学科で落ちこぼれた人がいる？
＞まあ、そういう人は いるでしょうね
そもそも文章の論理が読み取れないので、
大学数学の基礎である微分積分学と線形代数も理解できず
完全に落ちこぼれた君もまったく同類だよ
数学は諦めて家業に専念しな
894:East Enders
23/12/30 16:40:28.59 3CXK7Rfd.net
>>866
＞鳥瞰図の視点も忘れてはいけない
WWに、鳥瞰図の視点があるなら、
ガロア理論よりガウスの「代数学の基本定理」
って思う筈だけどね
代数方程式の解を求める場合、ガロア理論は大して役に立たない
可解な場合は、ラグランジュの分解式で解けるし
可解でない場合、ガロア群がわかったからといってそれで解けるわけでもない
ガウスの代数学の基本定理の証明を理解したなら、
単に解が存在するだけでなく、その場所を解析的に求める方法もわかる
代数方程式の解を求める方法を知るためにガロア理論にとびつくのは
明らかに視野狭窄だし、しかも実は見当違い
WW君に数学は無理だから諦めて家業に専念しな
895:East Enders
23/12/30 16:52:22.06 3CXK7Rfd.net
「１次元準周期系の研究を一段落させて、
量子ホール効果について再び考え始めました。
まず波動関数のk微分で与えられるベクトル場Aを考えます。
これは現在ではしばしば「ベリー接続」と呼ばれます。
線形応答理論によるホール伝導度は、
Aの回転をk-空間、磁気ブリルアンゾーン上で積分したもの
として与えられます。
これは直接、線形応答理論では見えなく、多少の解析が必要です。
磁気ブリルアンゾーンは実空間の単位格子が仮に正方形でも、
それを複数並べたものが実質的な単位格子になるために逆空間で長方形になります。
TKNNではAの回転の積分をStoke’sの定理を使い長方形周辺の線積分にします。
これは長方形を１周する積分で、それが整数になるということを使いました。
この議論は便宜的に正しい量子ホール伝導度を与え、これをTKNN整数とよびます。
しかしこの議論には重大な欠陥があります。
というのは長方形の左辺と右辺、下辺と上辺はそれぞれ同一なので、
磁気ブリルアンゾーンはドーナツの表面、つまり２次元のトーラスになるからです。
これはトポロジーとして非自明です。
この事実が電子状態のトポロジーを考える第一歩です。
もしトーラス全域でStoke’sの定理が適用できるとすると、
トーラスには境界が無いのでホール効果は無いということになります。
これは磁場の無い時には全く正しい結果です。
しかしながら磁場がある時には電子状態がねじれ、
非自明なトポロジーがあることがあります。
ですからStoke’sの定理はトーラス全面で使うことができません。
この状況は位相幾何学（トポロジー）という数学の分野を使うことにより理解できます。
磁気ブリルアンゾーンを底空間、波動関数の位相をファイバーとするU(1) ファイバー束を考えます。
TKNN整数はトポロジカル不変量のChern数になります。
これらのことを詳しく記述したのが１９８５年のAnn. of Phys. 論文です。
この結果は、Hofstdterという一つのモデルにとどまらず、
それが新しいトポロジカル量子物性のパラダイムの基礎に
つながったようにも思えます。」
896:East Enders
23/12/30 16:54:44.48 3CXK7Rfd.net
「その当時私は、電子状態にねじれがあり
それがトポロジー非自明であるというような考え方は、
興味深いことではあることではあるが、
それほど重要だと思っていませんでした。
その原稿をTKNN論文の解説ぐらいに思って、
SMJ論文の時と同じように、Ann. of Phys.に投稿しました。
その原稿がEditor から漏れたようで、
著名な素粒子論の研究者たちが論文を送ってきました。
それでは少しは面白いのかという感想を持ちました。
実はこの原稿を事前にThoulessへ送りました。
もし彼がトポロジーの観点から量子ホール効果を見るということに同意して、
それに何か付け加えることがあれば、共著にしても良いと思ったからです。
彼のコメントは、液晶のtexureにアナロジーがあるとのことでしたが、
私にはよく解りませんでした。
その後１０年ぐらい経ってThouless の退職記念の会議がSeattleで盛大に行われました。
そこでThoulessの講演を聞きました。
主にTKNNに関してでしたが、トポロジーに言及することはなく、
Nightingaleとden Nijsの貢献を強調していました。」
897:East Enders
23/12/30 16:57:48.56 3CXK7Rfd.net
URLﾘﾝｸ(www.gakushuin.ac.jp)
「TKNN の二人目のKは東大物性研を約 2 年前に定年退職した甲元眞人（こうもとまひと）さんだ。
私にとっては、敬愛する先輩の理論物理学者であり、年来の友人でもある。
甲元さんは TKNN 論文の第二著者だが、ご本人の話を聞くと、
単にサウレスの共同研究者という以上の貢献をされたようだ。
さらに、TKNN 理論に登場する整数がトポロジーにおけるチャーン数であることを
初めて明確に指摘したのは少し後の甲元さんの単著論文なのだ。
TKNN 理論の現代的な位置づけにとってこの論文の意義は大きい。
ノーベル賞受賞者が 3 人出そろうと
「ここに入り損なった 4 人目は誰か？」
ということがよく話題になる。
今回、私の答えは決まっている。
受賞理由に最も近い「4 人目」は迷うことなく甲元眞人さんである。」
898:East Enders
23/12/30 17:04:06.56 3CXK7Rfd.net
「TKNN 理論は量子ホール効果をトポロジーという数学の分野の言葉で理解する道を開いた。
ホール抵抗に現れる「整数」が
「波動関数の位相の（ほどけない）ねじれ具合」を表す「チャーン数」
と解釈できることを示したのである。
「ねじれ具合」は必ず整数なので電気抵抗が「とびとび」になる謎が自然に理解される。
TKNN 理論は、量子ホール効果の（一つの）説明という以上に、
物性物理学の研究に新しい視点をもちこんだという点で重要な意義をもっている。
科学が新しい世界に進むための扉を開けた理論なのだ。
これを契機に多くの物理学者や数学者が新しい視点にもとづいた研究を推し進めた。
特に、近年になって爆発的に研究が進んでいる「トポロジカル絶縁体」は、
まさに開いた扉の先に（ハルデーンの別の重要な業績を介して）みつかった
新しいタイプの物質なのである。」
数学的には最先端ってほどでもないが、
他の学科の人にとってはトポロジーは先端だろう
こういう「工学的にも有意義なネタ」をまったく拾わずに
なんかいかにも数セミを愛読者が好みそうなネタばかり拾う
WWは数学や物理はもちろん、工学もダメダメな素人だと思う
もう理系全般諦めて、家業の●●業に専念しなさい
899:１３２人目の素数さん
23/12/30 17:36:15.99 RkfLap+Q.net
>>865
>モントネン・オリーブ双対性
>ラングランズプログラムとの関係
>詳細は「ラングランズ・プログラム」を参照
>2007年からのアントン・カプスティン（英語版）(Anton Kapustin)とエドワード・ウィッテン(Edward Witten)は、幾何学的ラングランズ対応がモントネン・オリーブ双対性の数学的記述と見なすことができることを示した。[15] S-双対で関連付けられた 2つのヤン＝ミルズ理論から始めて、カプスティンとウィッテンは、2次元時空内の場の量子論のペアを構成することが可能であることを示した。何がこの次元簡約（英語版）(dimensional reduction)がD-ブレーン(en:D-branes)と呼ばれる物理的対象となるのかを分析することにより、彼らは幾何学的ラングランズ対応の数学的な要素を再現できることを示した。[16] かれらの仕事は、ラングランズ対応が場の量子論のS-双対に密接に関連していて、双方の対象に有効に適用できることを示した。[13]
これも
”偶然”で片付けるには、あまりにも”できすぎている”話
の一例ですね
900:１３２人目の素数さん
23/12/30 17:58:23.28 RkfLap+Q.net
>>873
>数学的には最先端ってほどでもないが、
>他の学科の人にとってはトポロジーは先端だろう
>こういう「工学的にも有意義なネタ」をまったく拾わずに
ご苦労さまです
１）”トポロジーが先端”というほどのこともないが
２）大学の教程で教えられたことだけで止まってはダメってことだね
３）必要な事は自分で勉強しろってことだ
901:East Enders
23/12/30 18:07:03.99 3CXK7Rfd.net
>>875
大学の教程は大事だよ
WW君 ストークスの定理知ってる？
これ知らん人がコホモロジーとかいっても笑われるから
902:１３２人目の素数さん
23/12/30 19:26:24.03 RkfLap+Q.net
自分に自信の無い人は、他人が気になって仕方が無いのです
大学・院を卒業したら、他人との比較ではなく、自分がどうかだよ。数学はね
（自分が何を理解して、自分が何ができるか
903:だ！ ところが、哀れにも 君は ５ｃｈのどこの誰とも知れない名無しさんのことが、気になって仕方ないんだね・・、あわれだな）
904:１３２人目の素数さん
23/12/30 22:38:59.92 PYFFoZXG.net
>>877
他人が気になりすぎてレッテル貼りまくるクズが言ってるwww
何書いてるのかすら理解できないんだろうなwww
905:East Enders
23/12/31 06:17:16.09 MmlJzLjL.net
>>877
>自分に自信の無い人は、他人が気になって仕方が無いのです
WW君、自分のことがよくわかってるじゃないか
>大学・院を卒業したら、他人との比較ではなく、自分がどうかだよ。数学はね
>自分が何を理解して、自分が何ができるかだ！
WW君、よくわかってるじゃないか
だったらコピペやめて早速大学１年の微積分と線形代数の教科書を読み給え
君は微積分も線形代数も全然分かってない 計算もできない どうだ？図星だろ
>哀れにも ５ｃｈのどこの誰とも知れない名無しさんのことが、気になって仕方ないんだね
WW君、自分のことがよくわかってるじゃないか
君は、自分が大学１年の数学も分かってないことを棚に上げて
他人がどれだけ数学を理解してるのかばかり気にしている
だから、コピペで偽装してるわけだ
A宮家の●仁クンみたいなもん まああれは本人じゃなく母親がやらせてるんだが
そういうみっともない行為に対して、みんながやめなというのは
君への愛情だと理解してほしい
906:East Enders
23/12/31 06:23:22.64 MmlJzLjL.net
>>878
まあまあ、そういいなさんな
トポロジカル量子の件でいえば、必要な数学は
実質的には大学２年のベクトル解析レベルまで
だと思っている
逆に言えば微積分も線形代数も分からん人が
複素解析とかベクトル解析とか分かるわけないし
そんなのも分からん人がやれコホモロジーだと
いったところで分かるわけもない
多様体やファイバー束の定義知らん人が
層とかいっても無意味っていうのと同じか
貼り合わせも切断も意味わからんだろう
907:１３２人目の素数さん
23/12/31 08:01:49.64 ylamucg6.net
多様体とファイバー束が無定義な時代に
層の概念の原型はあったし
アールフォルスの「複素解析」では
第８章でワイエルシュトラス理論を
層の言葉で解説している。
908:East Enders
23/12/31 09:09:37.46 MmlJzLjL.net
>>881
でも貼り合わせは使っていたしねじれの意識はあったでしょう？
あなたは肝心なところで不誠実ですね
909:１３２人目の素数さん
23/12/31 12:46:27.83 t9gHZSVa.net
ハハハ
ほんとうは
自分が分かってないって
バレれているよねｗｗｗ
910:East Enders
23/12/31 14:47:30.83 MmlJzLjL.net
>>883 自嘲はしなくていいよ
911:１３２人目の素数さん
23/12/31 15:50:49.09 xhhv+g7J.net
m/n=log(π) m、nは互いに素な正の整数
↔ e^{m/n}=π ↔ e^m=π^n
e<π＜e^2 から e<n<2e
∴∃i=1,…,m-1 m=n+i
∴e^i=(π/e)^n<(1+(π-e)/e)^n
<(1+(3.2-2.7)/(2.7))^n=(1+(32-27)/(27))^n=(1+1/(27/5))^n
<(1+1/5)^n
<(1+1/π)^π
<lim_{x→+∞}(1+1/x)^x＝e
∴矛盾
∴log(π) は無理数
912:１３２人目の素数さん
23/12/31 15:58:44.87 xhhv+g7J.net
e<π＜e^2 から 不要
913:１３２人目の素数さん
23/12/31 21:23:47.56 syKLy21c.net
どこがおかしいか指摘はできないけどおかしくない？
πやeのざっくりした近似値しかつかってない
これがただしいなら3.1415926535..付近の任意の実数pに対してlog(p)は無理数になってしまうけどそんなはずないもん
914:１３２人目の素数さん
24/01/01 15:20:00.11 kD74UmIv.net
>>887
[第１段]：log(π)が有理数であるとする。
A＝(π-e)/e とおく。4＞π＞3＞e＞2 だから、
e＜π＜e^2 から 1＜log(π)＜2 であって、
或る互いに素な両方共に正の整数m、nが存在して log(π)＝m/n だから、
1＜m/n＜2 から n＜m＜2n。
m、nはどちらも正の整数だから、
mに対して或る i＝1,…,m-1 が存在して m＝n+i。
また、π＝e^{m/n}。よって、π＝e^{(n+i)/n} とAの定義から
e^i＝(π/e)^n＝(1＋A)^n。
[第２段]:4e＝4Σ_{k=0,1,…,+∞}1/k!
＞4(1+1+1/2!)
＝4×5/2
＝10、
また、3π＜3×3.2＝9.6、
よって、4e＞3π であって、π＞e＞1 から Aの定義に注意すれば 1/A＜1/3。
[第３段]：7/2＞π＞3＞e＞5/2 からAの定義に注意すれば A＜1/e＜1 だから、A＜1/A。
よって、(1＋A)^n＜(1＋1/A)^n であって e^i＜(1＋1/A)^n。
915:１３２人目の素数さん
24/01/01 15:22:46.75 kD74UmIv.net
>>887
(>>888の続き)
[第４段]：Case1)、n＜A のとき。このとき 1/A＜1/n だから、
e^i＜(1＋1/n)^n＜lim_{x→+∞}(1＋1/x)^x＝e
であって、矛盾する。
Case2)、n＞A のとき。
eの定義から e＜2.72 だから 8e＜8×2.72＝21.76。
また、πの定義から π＞3,14 だから 7π＞7×3.14＝21.98。
よって、 8e＜7π であって、π＞e＞1 から Aの定義に注意すれば 1/A＞1/7。
故に、3＜A＜7 であって、正の整数nについて n≧7。1/7＜1/A＜1/3 だから、
e^i＜(1＋1/A)^n＜(1＋1/3)^n＝(1＋1/3)^3×(1＋1/3)^{n-3}＜e×(1＋1/3)^{n-3}、
よって、e^{i+3}＜e×(1＋1/3)^n、
kを正の整数とする。
e^{i+3k)}＜(1＋1/3)^n＝(1＋1/3)^3×(1＋1/3)^{n-3k})＜e×(1＋1/3)^{n-3k}
とすれば、e^{i+6k}＜e×(1＋1/3)^n＜e×(1＋1/3)^{n-3k}＜(1＋1/3)^n。
故に、kについて小さい方から帰納的に同様な評価を有限回繰り返せば、
或る正の整数kが存在して、j≧k のとき e^{i+3j}＜(1＋1/3)^n。
しかし、これは、或る j≧k なる整数jが存在して e^{i+3j}＞(1＋1/3)^n なることに反し矛盾する。
Case3)、n＝A のとき。このときCase2)の議論に n＝A を適用して同様に考えれば、
e^i＜(1＋1/n)^n＜lim_{x→+∞}(1＋1/x)^x＝e
であって、矛盾が生じる。
[第５段]：Case1)、Case2)、Case3)から起こり得るすべての場合で矛盾する。
故に、背理法によりlog(π)は無理数である。
916:１３２人目の素数さん
24/01/02 09:16:41.35 TDDhaauD.net
>>881
多様体の具体例はあった時代だろ
今どき多様体勉強するなんてすぐ終わる話なんだから、無理して後回しにしないでちゃっちゃと片付ければ良い
917:１３２人目の素数さん
24/01/02 15:44:42.26 /8ka5FH/.net
>>890 それ、西成のあいつにいいなよ
918:１３２人目の素数さん
24/01/02 15:48:37.14 /8ka5FH/.net
ストークスの定理も知らん奴に、コホモロジーなんて無理
一変数複素解析のコーシーの積分公式も分からん奴に、多変数複素解析なんて無理
919:１３２人目の素数さん
24/01/02 15:49:38.24 /8ka5FH/.net
理工系の大学１、２年の数学分からん奴に、数学科の大学３年の数学なんて無理
920:１３２人目の素数さん
24/01/02 16:50:51.66 McotGqRD.net
>>890
多様体の具体例なら
アルキメデスの時代にもあったのでは？
921:１３２人目の素数さん
24/01/02 17:16:39.70 /8ka5FH/.net
>>894
なんか回りくどいね 円とか球面のことだろ？
確かに円は直線以外の１次元多様体の典型例だね
922:１３２人目の素数さん
24/01/02 17:26:55.13 jfYdFAdW.net
>>888
ひとつもπの性質つかってないやん
923:１３２人目の素数さん
24/01/02 18:06:24.76 5DoSTUje.net
>>896
視認上nの文字とπの文字は紛らわしい
924:１３２人目の素数さん
24/01/02 18:30:21.50 jfYdFAdW.net
πのざっくりした値しかつかってない
そんな証明が通用するなら
p = log(1.1447298858494)
= 3.14159265358979269...
とおくときexp(p)=1.1447298858494は無理数になってしまう
925:１３２人目の素数さん
24/01/02 18:45:11.22 5DoSTUje.net
>>898
実数 log(π)が無理数か？ という問題と、両方共に或る互いに素な正の整数m、nが存在して m/n＝log(π) となるか？
という問題は、数学的に同じ問題
926:１３２人目の素数さん
24/01/02 21:10:27.70 jfYdFAdW.net
こりゃだめだ
話にならん
927:１３２人目の素数さん
24/01/03 04:55:29.45 M3HFf1K3.net
>>900
当人は何かの定理に基づいてるから正しいと思い込んでるが
実際は根本的に誤解してるから間違った推論をしている
そしてそのことに気づこうともしない
暴走自動車だね 止めようと思って前に立ちはだかると轢かれる
走らせとけばいい ガソリンなくなったら勝手に止まる
928:１３２人目の素数さん
24/01/03 08:38:26.69 RmVqCZsn.net
>>900
いうまでもないだろうが、有理数の定義から、実数 log(π) が有理数か？ という問題と、
両方共に或る互いに素な正の整数m、nが存在して m/n＝log(π) となるか？
という問題は、数学的に同じ問題
xを実変数とすると指数関数 f(x)＝e^x と対数関数 g(x)＝log(x) x＞0 は互いに逆関数の関係にあって、
log(p) が無理数となる無理数pは正の実数でpに対して或る無理数aを用いて p＝e^a と書けるから、
log(p) が無理数となる無理数pの空間は正の無理数全体上におけるルベーグ測度が+∞の非可算な可測集合である
だから、そもそも、>>887の
>これがただしいなら3.1415926535..付近の任意の実数pに対してlog(p)は無理数になってしまうけどそんなはずないもん
という指摘は間違っていて、正確には「π付近の任意の実数pに対して」ではなくて、
>これが正しいなら、実数体R上で任意のπ付近の殆ど至るところ
>すべての点pに対して log(p) は無理数になってしまうけどそんなはずないもん
という指摘でないといけない。それで、πは無理数で、実数体Rから零集合Qを除いた下で、
普通の方法で log(π) を有理数と仮定して、eとπの定義に従って定量的評価をして矛盾が導けたから、
背理法を適用して log(π) が無理数なることを示しただけ
929:１３２人目の素数さん
24/01/03 12:44:01.57 N/Ba1Ddx.net
もうほっとこう
センスない
930:１３２人目の素数さん
24/01/03 14:37:19.45 M3HFf1K3.net
>>903
●人が証明したのは、
log(π) の”近傍”に、無理数がいくらでも存在する
という、当たり前のことかと思われ
931:１３２人目の素数さん
24/01/03 16:36:46.78 S35udPw8.net
チャットGPTだけどなにか質問ある？
ｽﾚﾘﾝｸ(philo板)
932:１３２人目の素数さん
24/01/03 17:06:10.54 RmVqCZsn.net
>>903-904
いっとくけど、実数体R上の零集合 A＝{log(p)| p∈Q、p＞0 } に log(π) は属さないよ
で、πは周期環Pの超越数で log(π)＝∫_{1、π}(1/x)dx だから、log(π) は周期環Pの実数である
また、有理数体Qは周期環Pの部分集合だから、零集合Aは周期環Pの部分集合である
よって、log(π)∈(R∩P)-A である
同様に、p＞e のときは log(log(p))∈(R∩P)-A だから、log(log(π))∈(R∩P)-A である
ここで、log(π)∈Q とすれば、log(π) は周期環Pに属する実数で、log(π)＞1 だから、
零集合Aの定義から、 log(π)∈A であって、log(π)∈(R∩P)-A に反するから、矛盾する
だから、log(π) は周期環Pに属する無理数である
933:１３２人目の素数さん
24/01/03 17:59:10.56 RmVqCZsn.net
周期環Pを使えば、大雑把に大体>>906と同じ方針で log(π) が周期環Pに属する無理数であることは示せる
934:１３２人目の素数さん
24/01/03 18:01:44.52 RmVqCZsn.net
>>907の訂正：log(π) が周期環Pに属する無理数であること → log(π) が周期環Pに属する実数の超越数であること
935:１３２人目の素数さん
24/01/03 20:39:27.14 S35udPw8.net
どんなもんでしょう
例えば単純群の判定アルゴリズム
936:１３２人目の素数さん
24/01/03 20:41:30.26 M3HFf1K3.net
＞＞909 ●違い？
937:１３２人目の素数さん
24/01/03 21:18:17.49 S35udPw8.net
>>910
遊びに来ただけですが
938:１３２人目の素数さん
24/01/03 21:32:48.12 S35udPw8.net
箸にも棒にも掛からない手土産を持ってきた自覚はないのでよろしくお願いしたいんですが
939:１３２人目の素数さん
24/01/05 11:49:49.54 gGi+PqI8.net
よく考えたら、>>906で周期環Pはいらないか
Fを実数の代数的数全体の集合とする
log(π)∈F とする
実数体R上の零集合Aを A＝{log(p)| p∈A、p＞0 } とする
リンデマン・ワイエルシュトラスの定理とAの定義から、
log(π) はAに属さない実数だから、log(π)∈R-A である
同様に、任意の p＞e なる正の代数的数pに対して log(log(p))∈R-A だから、π＞e から log(log(π))∈R-A である
しかし同様に、π＞e から log(π)＞1 だから、零集合Aの定義から、
log(π)∈A であって、log(π)∈(R∩P)-A に反し、矛盾する
故に背理法により、log(π) はFに属さず超越数である
大学1年でする筈のことだが、
一般に、a、b、c を実数としたとき、a＜b＜c つまり a＜c は a＜b と b＜c が
両方共に成り立つときに成り立つのであって、a＜b＜c が表すこと
つまり a＜c と、b＜c との間に微妙な違いがある
940:１３２人目の素数さん
24/01/05 11:54:16.53 gGi+PqI8.net
>>913の中程の下から2行目の訂正：log(π)∈(R∩P)-A に反し、矛盾する → log(π)∈R-A に反し、矛盾する
941:１３２人目の素数さん
24/01/05 12:09:33.77 gGi+PqI8.net
色々訂正箇所が見つかったから、>>913の中程書き直し
Fを実数の代数的数全体の集合とする
log(π)∈F とする
実数体R上の零集合Aを A＝{log(p)| p∈F、p＞0 } とする
リンデマン・ワイエルシュトラスの定理とAの定義から、
log(π) はAに属さない実数だから、log(π)∈R-A である
同様に、任意の p＞e なる正の代数的数pに対して log(log(p))∈R-A だから、π＞e から log(log(π))∈R-A である
しかし同様に、π＞e から log(π)＞1 だから、記号Fの定義と
log(π)∈F と仮定したこと、及び零集合Aの定義とから、
log(π)∈A であって、log(π)∈R-A に反し、矛盾する
故に背理法により、log(π) はFに属さず超越数である
942:１３２人目の素数さん
24/01/11 10:53:23.62 91XlFR8b.net
メモ
URLﾘﾝｸ(www.math.titech.ac.jp)
セミナー準備及び勉強に関する注意 落合 理 の ホームページ Status: 教授 ( 東京工業大学 理学院 数学系 所属)
発表者の注意点
予習と準備の段階
(1) 本においてしばしば証明が飛ばしてあったり「自明である」と書いてあるこ とがあります。それでも自分で納得ができていない場合は、自分自身が理解 していない状態をごまかさずに、全ての細部が説明できるようになるまで考 え続けて詰めましょう。 理解しないまま話しているときは、教員の側も察 知できます。そういうときは「何故そうなるのですか？」と突っ込むと思い ます。そういう状態にならないように 予習の段階でしっかり証明の細部を詰めてき て欲�しいと思います。
セミナー発表本番
(1) いきなり(前置きもなく)細かい定義や計算をはじめるのでなく, 2,3分から 数分程度の「イ ントロ」 やその日のセミナーの内容を予告する「メニュー」からはじめましょ う 。全く何をやるのかわか らないままいきなり細かい設定に突入して 聴かされるのは、教員や聴衆にとっても不安でストレスがたまります。
(2) セミナー本番はノートは一切見ないで発表して下さい(進行メモ程度の 小さい紙切れ1枚程度まではOKです)。 これは、一字一句を暗記して欲しいという意図ではなく、むしろ 徹底的に読み込んで準備をすれば(結果的に)ノートとにらめっこをせずとも 発表できるはずだということでもあります。ノートを見ないでやるためには、核とな るアイデアやい�くつかの話題同士の有機的な繋がりを把握していないといけ ません。
復習の段階
(1) 発表を終えたら解放されて忘れてしまうのは残念です。しばしば、発表中に 出た質問やアドバイスを通じて理解が進んだり整理されて、セミナーの後で考え 直すと急に理解が進むことがあります。また、セミナー中に答えられなかった指 摘や問題点は、そのまま放っておかずにすぐに復習して解決することが大事です。 たまにすぐに解決できない問題点が残ることもあります。そういうときは 頭の片隅に残しておいてときどき考え直すとよいでしょう。 たまに、半年後に突然ひらめいて解決するということもあるでしょう。 粘り強く考え続ける習慣をつけましょう。
聴講者の注意点
943:１３２人目の素数さん
24/01/11 18:13:02.07 b6kSf205.net
>>916 コピペじゃない何か書けるまで、ROMでお願いします
944:１３２人目の素数さん
24/01/11 19:29:59.10 2PN81RjV.net
任期のないアカポスが豊富な時代だったら
セミナー準備に多大な要求をするのも妥当だったが、
今のようなアカデミアで生きるのに不安しかない時代に
そんな学生に厳しいばかりの姿勢じゃ
人材は集まらないし、道徳的にも誤っている
945:１３２人目の素数さん
24/01/12 12:57:32.10 qILDkAzK.net
>>918
>道徳的にも誤っている
なんか怠惰な🐎🦌がわめいてるな
自分の無能を恨め
946:１３２人目の素数さん
24/01/12 19:13:46.44 YrWpu5Wl.net
>>918
こんなん出来て当然だろ
研究発表でも論文書くのでも当然要求されるの最低限の技術なんだから。
947:１３２人目の素数さん
24/01/15 16:00:40.49 WXAY+tyK.net
>>918
＞アカデミアで生きるのに不安しかない時代
無能な馬鹿が学者になろうと思うのが間違い
948:１３２人目の素数さん
24/01/17 06:15:29.76 1LBM7xkH.net
どこぞの高卒が、セミナーの勉強法は厳しすぎる
もっと甘々でもOKとか、弁解しまくってるが
正方行列と正則行列の違いも分からん馬鹿が
なにをほざいとるか（嘲）
949:１３２人目の素数さん
24/01/17 09:56:07.44 a5Dtp4P/.net
>>918
ゴミみたいな人材なら集まらない方がよっぽど有難い
950:１３２人目の素数さん
24/01/17 10:00:08.48 k4LBiwbx.net
モチベーションの総量も問題
951:１３２人目の素数さん
24/01/17 11:52:30.90 5Sjt1FFx.net
>>922
>どこぞの高卒が、セミナーの勉強法は厳しすぎる
>もっと甘々でもOKとか、弁解しまくってるが
ご苦労様です
見てると、あんたホントに、論点ずらしと ストローマン論法多いね
無意識に出るのかな？ その性格は数学には向かないな
１）>>916を貼ったのは、私だよ。別件で検索してヒットしたので貼った
２）ところで、「普段の勉強とゼミの訓練は分けろ」が、言いたいことだよ
当の河東氏：麻布中学 『このころは，数学の本はわかってもわからなくても手当たり次第に読んだ． 今に影響してるのは，Rudin "Functional Analysis", Arveson "An invitation to C*-Algebras", 斎藤正彦「超積と超準解析」，シュヴァルツ「位相と関数解析」など． 岩波「基礎数学」，ブルバキ「数学原論」(日本語訳)も当時出はじめたので買って読んだ． 数学セミナーも1年生の時から熱心に読んで，「エレガントな解答を求む」などをやっていた． このころ一番難しくてわからないと思った本は，ヘルマンダー「多変数複素解析学入門」だった』
と記す URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
別に、高木貞治「回顧と展望」：『結局四年大学におったが，その間にいろいろな本を読んだのであるが，指導者なしの乱読で，本当に読んだと謂うよりは，図書室にあるだけの本を見境いもなく片っ端からひっ繰り返して見たという程のことであった．
それからまあそんな風にいうと，いかにも不完全なようであり，事実不完全に相違ないけれども
・・私はアーベル方程式を読めと言われ，そこで謂わゆる高等代数の洗礼を受けたわけである．しかし，その当時，已すでに書棚の隅っこに，ウェーバーの「代数学」の第１巻が来ていたので，それを探し出して，ガロアの理論に接したのだが，それが本当に分ったのだかどうだか．その後，段々いろいろ新しいものが来るようになって，ウェーバー第２巻も軈やがて来た』
URLﾘﾝｸ(www.aozora.gr.jp)
３）別スレにも書いたが、かくいう私も学部１年から、河東氏が麻布中学１年でやったことの低レベル版をしたのです
和書中心で、分かりそうな本を手当たり次第に読んだ。”見境いもなく片っ端からひっ繰り返して見たという程のことであった”ように思う
しかし、おかげで、学部の数学の講義は復習みたいなことで、苦労したことはない
数学セミナー誌は、当時図書にあったバンクナンバーを１０年くらい読んだ。「エレガントな解答を求む」は難しすぎでパス
河東氏や高木先生とは頭の出来が違うが、この乱読は役に立ったと思う
４）しかし、訓練としてのゼミの徹底した精読は、間違っていないと思うし、普段の勉強とは両立すると思う
つづく
952:１３２人目の素数さん
24/01/17 11:54:13.70 5Sjt1FFx.net
つづき
さて
みていると、お主は数学の勉強不足だな。数学知識の絶対量が不足している気がする
「お前はこんなこと知らないだろう？」と出してくる話題が、”そんなの昔から知ってますがなｗ”なんだよね
まあ、数学の普段の勉強法でも、河東ゼミのやり方で教科書読める人がいることは否定しないし、それが合う人もいるのだろう（天才だろうね）
しかし、教科書にもしばしば、のちに正誤表が出るごとく、誤植などがあるし
たまに練習問題に「オープン問題」があるという話も聞く
その点、私は本は分からないところがあると、「別の本ではどうだ？」と見るようにしているので、誤植では悩まないのです
おっと脱線したが、河東ゼミ方針は賛成だよ
ただ普段の勉強法は、各人自分に合う方法を見つけろってこと（上記の河東麻布中とか、高木 指導者なしの乱読とか、ありと思うよ。いずれ、どこかで専門を絞ることになると思うが）
以上
953:１３２人目の素数さん
24/01/17 12:16:58.81 3o4sNecm.net
こいつわかるのは受験勉強レベルｗ
954:１３２人目の素数さん
24/01/17 12:53:27.72 5Sjt1FFx.net
ありがと
しかし、その命題には証明がないｗ
955:１３２人目の素数さん
24/01/17 13:37:17.90 3o4sNecm.net
想像してご覧、ガロア理論が河東ゼミで発表する姿を（爆笑）
956:１３２人目の素数さん
24/01/17 13:55:08.30 szgWoPPn.net
>>929
Degenerate!
957:１３２人目の素数さん
24/01/17 15:09:00.00 3o4sNecm.net
>>930
不要教授のゼミのスタイルは？
958:１３２人目の素数さん
24/01/17 15:13:44.56 5Sjt1FFx.net
>>929
>想像してご覧、ガロア理論が河東ゼミで発表する姿を（爆笑）
別にーｗ
河東ゼミっても、例えば300ページのテキストを半年15回のゼミとして、1回20ページだろ？
自分が回ってくる番まで一月あれば、それでテキスト20ページ分をつぶすだけじゃん
おっと、あくまで下記の「代数方程式の冪根による可解性」の範囲のガロア理論な
「グロタンディークによるガロア理論の圏論的定式化」は、自信ない
（20ページの準備に３年以上かもｗ）
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
ガロア理論（ガロアりろん、Galois theory）は、代数方程式や体の構造を "ガロア群" と呼ばれる群を用いて記述する理論。1830年代のエヴァリスト・ガロアによる代数方程式の冪根による可解性などの研究が由来。ガロアは当時、まだ確立されていなかった群や体の考えを方程式の研究に用いていた。
ガロア理論によれば、“ガロア拡大”と呼ばれる体の代数拡大について、拡大の自己同型群の閉部分群と、拡大の中間体との対応関係を記述することができる。
より発展的な定式化
抽象代数学においては、方程式とその分解体という具体的な対象を一旦放棄して、抽象的に定義された体の代数的拡大を取り扱うことになる。上と同様に拡大体の自己同型と部分群の間の対応がうまくいくように、分離性と正規性とよばれる二つの条件が要求される。この二つを満たすような拡大は ガロア拡大 (Galois extension) と呼ばれる。
体 K に対しその絶対ガロア群 GK = Gal(K sep/K) が推移的かつ連続に作用する有限離散空間 X が与えられたとする。このとき X から K sep への写像の空間 (Ksep)X に対する GK の作用
(g,f)[x]=f(g^{{-1}}x)
が考えられる。この作用の下で固定されている写像たちのなす部分代数は、X の任意の一点の固定部分群に関する K sep の不変部分体と同型になる（X の点の取り替えは K sep の中での共役な部分体の取り替えに対応する）。X への作用の推移性を外すことは K の有限次分離拡大体の代わりに K 上の有限エタール代数を考えることに対応し、こうして K 上の有限エタール代数のなす圏と GK が連続に作用する離散有限空間のなす圏との間の反変圏同値が得られる。これを出発点としてアレクサンドル・グロタンディークによるガロア理論の圏論的定式化が得られる。
グロタンディークのガロア理論において古典的なガロア理論は次のように理解される。K上のエタール代数はアフィンスキーム Spec(K) の上のエタール層を表しており、埋め込みK → K sep に対応する射 Spec(K sep) → Spec(K) が表す「点」でのファイバーをとることに対応する関手 FK sep: A → HomK(A, K sep) が、圏同値 : Spec(K) 上のエタール層の圏 EtK ≡ G が連続的に作用する集合の圏 BG をひき起こしている。
959:１３２人目の素数さん
24/01/17 15:16:13.87 3o4sNecm.net
微積分、線形代数も勉強したことないコピペガおっさんがゼミの勉強の仕方を語るｗ
960:１３２人目の素数さん
24/01/17 15:55:03.76 5Sjt1FFx.net
ご苦労様
だが、その命題には証明がない
というか、妄想でまくりと思う
統合失調症のお薬をしっかり飲んでね
961:１３２人目の素数さん
24/01/17 16:20:24.75 5Sjt1FFx.net
余談ですが、下記に 森重文ー藤野修の共著論文の仕事の話がある
共著論文は、これから増えると思うが（例えば BCHMやIUT５人論文）
相手が基礎的な訓練ができてないと、足手まといで頼りにならないでしょ
なので、ゼミでの基礎訓練いると思うよ。共同執筆論文の仲間に入れてもらうためにもね
(参考)
URLﾘﾝｸ(www.jstage.jst.go.jp)
対談：森理論について
J-Stage
森重文 著 · 2017
P309
4 最近の発展
(ここに 森重文ー藤野修の共著論文の仕事の話がある。面白い)
962:１３２人目の素数さん
24/01/17 16:38:04.31 5Sjt1FFx.net
BCHMの補足
URLﾘﾝｸ(kaken.nii.ac.jp)
高次元代数多様体の双有理幾何学
研究課題
研究代表者
藤野 修 京都大学, 理学研究科, 教授 (60324711)
研究期間 (年度) 2021-04-01 – 2026-03-31
研究実績の概要
私はすでにBCHMを複素解析空間の間の射影射に一般化することに成功している。この一般化は2021年度の後半に研究し、プレプリントは公表済みである。極小モデル理論の基本定理たちは非常に悪い特異点を持った対象にまで一般化されている。これは私が長い年月をかけて確立した話である。2022年度はこの私の過去の一連の仕事を複素解析空間の間の射影射に一般化することに全エネルギーを注ぎ込んだ。概ね満足できる結果を得ることができ、結果は複数のプレプリントとして公表済みである。また、この研究のために必要となった消滅定理を理解するために藤澤太郎氏（東京電機大学）と混合ホッジ構造の変動の理論も研究した。いずれにせよ、非常に成果の上がった一年であった。ただ、世界の流行と無関係に他の人が避けるようなハードな部分を扱った仕事であり、Top10%論文には絶対にならないプレプリントばかりだと思う。さらにコロナ禍で引きこもり生活での研究であり、ほぼ全て単著論文である。国際共著論文や国際共同研究はないので、やはり高く評価されないのではないか？と思う。
現在までの達成度 (区分)
1: 当初の計画以上に進展している
理由
本科研費を申請していた時の想定をはるかに超えた成果が上がっている。申請段階では極小モデル理論の解析化やそれに必要となる消滅定理の確立などは、問題として考えられるが、数年以内に実現可能な目標とは考えていなかった。研究者を引退するまでに実現できたらいいかな？とぼんやりと考えるぐらいの夢のような話だった。ところが、コロナ禍での引きこもり生活で真剣に問題を考える時間ができ、流行の話題に振り回されるようなこともなく、集中して考えたらあっさりと壁を突破し、今までわからなかったことがドミノ倒し式にどんどんと解決した感じである。このような感じで、もう本科研費の申請書を書いた当時には考えもしなかったレベルで研究成果は上がっている
URLﾘﾝｸ(osaka-prize.ostec.or.jp)
第４１回（令和５年度）
大阪科学賞（OSAKA SCIENCE PRIZE）受賞者の横顔
藤野 修
現職： 京都大学大学院理学研究科 教授
研究業績：小平消滅定理の一般化と代数幾何学への応用
963:１３２人目の素数さん
24/01/17 16:42:43.82 3o4sNecm.net
効いてるな
964:１３２人目の素数さん
24/01/17 16:47:14.43 1LBM7xkH.net
>>925
>その性格は数学には向かないな
読まずにコピペでドヤる人は
数学だけでなくいかなる学問にも向かないな
>「普段の勉強とゼミの訓練は分けろ」が、言いたいことだよ
君の「コピペカンニング勉強法」では
数学は全くわかりっこない、が言いたいことだよ
>かくいう私も学部１年から、
>河東氏が麻布中学１年でやったことの
>低レベル版をしたのです
つまり中学生レベルってことか
♪盗んだバイクで走り出す～
「１５の夜」だな
はやく２０になれよな
>和書中心で、分かりそうな本を手当たり次第に読んだ。
英語読めないもんな、君
>”見境いもなく片っ端からひっ繰り返して見たという程のことであった”ように思う
長文読めないもんな、君
>しかし、おかげで、学部の数学の講義は復習みたいなことで、苦労したことはない
自分に嘘ついてはいけないよ、君
正則行列は知らない、無限乗積の収束で対数の和の収束に置き換えることすら思いつかない
そんなテイタラクで苦労したことないわけないだろ
ああ、そうか、大学行ってないから単位なんて関係ないし苦労ないのか
それなら納得 納豆喰う
>数学セミナー誌は、当時図書にあったバンクナンバーを１０年くらい読んだ。
バックナンバーな 数学以前に、英語がそんなんじゃ、大学受からんわ
>「エレガントな解答を求む」は難しすぎでパス
>この乱読は役に立ったと思う
まったく無駄だね（バッサリ）
どうしても大学１～２年の数学を理解したいんなら
マセマの数学書をかたっぱしから読むんだね
高校の教科書のような書きぶりだから
万年浪人の君でも読めるだろ
まあ、そのあたりで数学はやめとけ
君に、大学の数学の教科書なんか読めない
論理がわからんで公式暗記するしか能がない
お受験馬鹿には大学の学問は無理だから
965:１３２人目の素数さん
24/01/17 16:55:26.63 1LBM7xkH.net
>>926
>お主は数学の勉強不足だな。
>数学知識の絶対量が不足している気がする
>「お前はこんなこと知らないだろう？」
>と出してくる話題が、
>”そんなの昔から知ってますがなｗ”
>なんだよね
そんな嘘は通用しないよ
正則行列も知らん馬鹿が何をいうやら
回転数を使った代数学の基本定理の証明とか知ってるなら
それで代数方程式の根を求める（解析的）方法もわかるんだから
ガロア理論に固執したりせんわけだ
地道な方法すら知らんから「魔法」を求める
でもガロア理論は君が望むような魔法じゃないんだな 残念だったな
>普段の勉強法は、各人自分に合う方法を見つけろってこと
>指導者なしの乱読とか、ありと思うよ。
残念ながら、正則行列すら知らんようでは、君の乱読は大失敗
まあ、大学行ったことない万年浪人じゃしゃあないか
大学行ってたら正則行列の定義とその判定方法なんてイヤでも分かってしまう
これ知らんなら大卒じゃない、というくらい基本的なこと
要するに、君は大卒の資格がない
線形代数ダメ 微積分ダメ 要するに全然�
966:_メ １変数の複素解析も分からん奴が多変数複素解析とか笑わすなよ
967:１３２人目の素数さん
24/01/17 17:04:17.45 1LBM7xkH.net
>>929
>想像してご覧、ガロア理論が河東ゼミで発表する姿を
ガロチュー「円分方程式はベキ根で解けます」
カワヒガシ「なぜ？」
ガロチュー「●●の●頁にそう書いてあります」（ドヤぁ）
カワヒガシ「うん、だからそれを今ここで説明して」
ガロチュー「僕が説明するより本を読んだほうが・・・」
カワヒガシ「本はいいから、君がそれを読んで理解したことを
ここで説明してごらん さあ、どうぞ」
ガロチュー「・・・」
カワヒガシ「ん？どうした固まったまま動かないが」
別の学生A「センセイ！ガロチュー君白目剥いて失神してます！」
カワヒガシ「え？」
別の学生B「しかも小刻みに痙攣してます！あ、失禁した」
カワヒガシ「仕方ない、ここから連れ出して。
あと、彼はこのゼミにいなかったということにするから
みんないいね？」
学生全員 「はい！」
URLﾘﾝｸ(www.youtube.com)
968:１３２人目の素数さん
24/01/17 17:06:56.04 1LBM7xkH.net
>>932
>例えば300ページのテキストを半年15回のゼミとして、1回20ページだろ？
>自分が回ってくる番まで一月あれば、それでテキスト20ページ分をつぶすだけじゃん
こいつ、勉強嫌いだろ？
そりゃ大学受からねえわｗ
969:１３２人目の素数さん
24/01/17 17:10:48.61 1LBM7xkH.net
>>933
>微積分、線形代数も勉強したことないコピペガおっさん
仮に、微積分、線形代数の教科書でゼミやったとして
ガロチュー君はやっぱり失神・失禁だろうなあ
数学書の読み方が出来てない
定義読まない、定理読まない、証明読まない
とにかく「公式」だけ「カンニング」する
そういう一夜漬けの読み方しかできない人には
数学書なんか読めないよ
970:１３２人目の素数さん
24/01/17 17:14:47.93 1LBM7xkH.net
>>937
>効いてるな
ガロチュー君は、政治板で
「ニッポンバンザイ！テンノーヘーカバンザイ！」
ってわめいてるのが幸せってもんだよ
８／１５に靖国神社で兵隊コスプレでもしてなってことよｗ
まあ、真っ当な東京人は、あんな●違いが集まる場所なんかいかないよ
971:１３２人目の素数さん
24/01/17 17:35:56.92 1LBM7xkH.net
今度から、ガロチューがコピペしたら
♪ガガガロ ガガガロ ガロチュー
ガガガロ ガガガガロチュー
って歌ってやるか
俺、BABYMETALが好きなんだけどな
♪偽善者なんて Kill 捨てちまえよ
URLﾘﾝｸ(www.youtube.com)
972:１３２人目の素数さん
24/01/17 19:40:58.48 1LBM7xkH.net
ガロチュー君にマセマをオススメする理由
URLﾘﾝｸ(marinsblog.com)
理論なんかどうだっていい
計算できれば万事OK
みたいな工学●●に最も向いてる
まあ書いてるの数学者じゃなくて工学屋だしｗ
973:１３２人目の素数さん
24/01/17 21:31:07.88 mZ7li0wf.net
>>940
ご苦労様です
”はい鏡ｗ”だな
自分の体験書いているんだねｗｗ
自分の割り当ての20ページについて
定義→補題→定理
これの証明と説明をきちんと省略なしで、書けて言えるにする
それで終わりじゃないの
例えば
Q「なぜですか？」
A「この場合、定義はこうです。定理の命題は、こうです。それで証明はこうです」
Q「その証明で、この部分なぜですか？」
A「この場合、定義はこうです。その部分の命題は、こうです。それで証明はこうなります」
あとは、この繰り返しだよ
深く突っ込まれたら
最後は公理まで行きつく
Q「なぜその公理ですか？」
の答えも用意しておく
それだけのこと
974:１３２人目の素数さん
24/01/17 21:32:44.64 mZ7li0wf.net
>>946 タイポ訂正
これの証明と説明をきちんと省略なしで、書けて言えるにする
↓
これの証明と説明をきちんと省略なしで、書けて言えるようにする
975:１３２人目の素数さん
24/01/17 21:37:02.02 1LBM7xkH.net
>>946
>自分の割り当ての20ページについて
>定義→補題→定理
>これの証明と説明をきちんと省略なしで、書けて言えるようにする
>それで終わりじゃないの
それが君にはできない
論理がわからないから
論理がわからない「お経」を記憶すればいいとうそぶく馬鹿は
教授の質問に答えられない 「お経」の論理がわかってないから
セミナーは暗記でごまかせるような生易しいものではない
さすが大学行ったことない馬鹿は大学を舐め腐ってるね
976:１３２人目の素数さん
24/01/17 21:38:54.53 1LBM7xkH.net
>>946
＞Q「なぜその公理ですか？」の答えも用意しておく
馬鹿ｗ
そんな質問が出ると思うのが馬鹿だし
そんな質問に唯一無二の完璧な答えがあると思うのが大馬鹿
数学が分からん馬鹿には困ったもんだ
977:１３２人目の素数さん
24/01/17 21:39:56.60 mZ7li0wf.net
ああ、老婆心ながら、略証（あらすじ）と、省略無しのガチの証明
二つ用意しておけばいいね
時間が限られている場合が多いだろうから、まずあらすじを言って
ツッコミがあれば、細かい証明を展開する
それを自由自在に組み合わせれば
細かい証明をあたかも丸暗記のように吐き出すより
好印象だろうね
978:１３２人目の素数さん
24/01/17 21:40:43.50 1LBM7xkH.net
ガロチュー君に質問
Q.整数の積が交換法則を満たすのはなぜ？
979:１３２人目の素数さん
24/01/17 21:44:42.06 1LBM7xkH.net
>>950
＞略証（あらすじ）と、省略無しのガチの証明 二つ用意しておけばいいね
馬鹿だねえ
省略なしの完全な証明があれば略証なんていくらでもできるだろ
何が要か分かっていなければ、証明なんか覚えられるわけがない
何が要か分かっていれば、それをまっさきに述べる
印象とか言う些末なことではない それが本質だ
980:１３２人目の素数さん
24/01/17 21:44:48.91 mZ7li0wf.net
>>949
"唯一無二の完璧な答えがある"とか
妄想でまくりだな
別にZFCが唯一の回答ではない
素朴集合論で流してもいいだろう
例えば、実数の存在とその性質は認めるでも可
しかし、自分なりの説明はできるようにしておくべきだろう
981:１３２人目の素数さん
24/01/17 21:46:48.63 mZ7li0wf.net
>>952
＞ 省略なしの完全な証明があれば略証なんていくらでもできるだろ
同じことを言っていることに気付け
そういう準備をしろってこと
丸暗記じゃなくね
982:１３２人目の素数さん
24/01/17 21:47:33.25 1LBM7xkH.net
「細かい証明」とかいう馬鹿語は
「僕は証明の何が要か全然わかりません」
といってるのと同じ
分かってないから「細かい」と馬鹿語を吐く
分かっていれば細かいなんて云わない
正則行列が分からん馬鹿が
正則行列なんて「細かい」とかいって
正方行列でいい、と大馬鹿発言する
983:１３２人目の素数さん
24/01/17 21:49:29.08 1LBM7xkH.net
＞別にZFCが唯一の回答ではない素朴集合論で流してもいいだろう
こんなトンチンカンなこというのは、論理がわからん馬鹿
＞例えば、実数の存在とその性質は認めるでも可
＞しかし、自分なりの説明はできるようにしておくべきだろう
自分なりの説明ってなんだよ
実数の定義も知らん馬鹿か？
984:１３２人目の素数さん
24/01/17 21:50:36.99 1LBM7xkH.net
＞同じことを言っていることに気付け
＞そういう準備をしろってこと丸暗記じゃなくね
全然違うことをいってる
論理を理解できず暗記で誤魔化そうとする貴様が大馬鹿
985:１３２人目の素数さん
24/01/17 21:53:07.78 1LBM7xkH.net
ガロチューは言えば言うほど
「僕には論理なんて全然わかりませーん」
というのが露見する
中学高校の数学を公式の暗記だけで乗り切ると
大学の数学で確実に挫折する
そういう学生は実に沢山いる
日本の数学教育の最大の欠陥というべきか
986:１３２人目の素数さん
24/01/17 21:57:06.42 1LBM7xkH.net
ガロチューみたいに学問を心底馬鹿にしてるやつは大学行ったらダメ
確実に落ちこぼれる 論理が分からんやつに学問なんか分かるわけない
987:弥勒菩薩
24/01/17 22:13:06.51 3o4sNecm.net
ガロア理論と基礎論ストーカー婆
988:弥勒菩薩
24/01/17 22:17:02.73 3o4sNecm.net
ガロア理論が巣から出てくるから基礎論婆も付いてくろ
989:１３２人目の素数さん
24/01/18 05:51:52.58 NuU/BP7/.net
>>960-961
アホコテハン湧く
仏教クソだな
990:１３２人目の素数さん
24/01/18 06:05:34.66 NuU/BP7/.net
一神教であるユダヤ教・キリスト教・イスラム教がみなクソなのはいうまでもないが
無神教である仏教や儒教が一神教よりマシかというとそんなことはない
老子や荘子の思想は結構だが、その堕落物である道教はただのクソ宗教
991:１３２人目の素数さん
24/01/18 06:54:52.00 mypCeYv4.net
大要と詳細
992:１３２人目の素数さん
24/01/18 10:21:32.80 s7V4F/gO.net
>>945
プロフィールによると筆者は
「数学のあらゆる分野に通じている。」
らしいけどなw
993:１３２人目の素数さん
24/01/18 10:26:44.52 e1g1FGEg.net
>>965
「大学１～２年の数学の」という意味なら、正しいんだろうな
マセマの射程範囲はそのあたりだから
994:１３２人目の素数さん
24/01/18 21:57:04.62 qiQfmbso.net
>>932
毎週発表程度の勉強すら出来ないのかよwww
馬鹿すぎるwww
995:１３２人目の素数さん
24/01/19 13:37:47.47 cbeVFClI.net
>>967
同意です
毎週発表でも、４人か５人かいれば、自分の出番は月１回くらいでしょ
下記を、ネタに貼っておきます
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
chiebukuro.yahoo
ID非公開さん 2023/7/13 1:01
8回答
大学の数学化の学部四年生です。
今卒業研究の代わりに輪講をしていて、大学院生向けの本を輪読しているのですが、発表の準備に毎回かなり苦しんでます。
自分は院進を考えていて院試を控えている身ですが、今更になって大学院に行くことに強い不安を感じています。
もしかしたら大学院ではもうずっと数学を勉強しないとついていけないのではないか、そんなに数学を勉強したところで一体何になるのか、とにかく不安です。
でも今から就活はキツイだろうし（院試落ちたら仕方ないですが…）ということで院を結局目指していますが、そんな消極的な理由で目指す自分に自己嫌悪してます。
数学が好きな人はずっと数学だけやって楽しいでしょうけど、僕は数学がそこまで好きではありません、ですが最近は院試の勉強も重なっているのでずっと数学をしていてやや鬱になり気味です。
そこで質問ですが、数学科の修士の人達は就活や、趣味などの時間が取れているのでしょうか？数学めちゃくちゃ好きですか？回答してくださるとありがたいです
その他の回答（7件）
yaj********さん
2023/7/17 21:55
数学科の卒業生で、大学院は修士までいきましたが、普通に就職しました・
20年以上まえです
４年のゼミで苦労するのも
同じです. 院のゼミの方がかなり厳しいです。学部の時は先生もめんどうを
みてくれるが、院だと自分で考えろという方がかなり多くなる感じです・
わたしは整数論で分野ちがいの論文を急に読む必要にありしんどかった思い出
があります。就職テストの準備や専門の勉強以外の時間はあまりない印象です・
yam********さん
2023/7/13 8:30
数学科ではないので該当しないのですが少々。
数学科の院に行った友人は、趣味が数学でした。そうでもないとやっていられないところのように、傍目には感じました。飲んだ帰りに、「いい気分だから論文を読んで寝るわ」と言っていたのを未だに思い出します。
996:１３２人目の素数さん
24/01/19 13:38:46.31 cbeVFClI.net
河東 御大の記事”私はどうして数学者になったか”
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
特集／
河東泰之， 私はどうして数学者になったか，「数理科学」 Vol.46-10, pp.78-83, サイエンス社，2008．（『数学の道しるべ』，pp.170-179, サイエンス社，2011に再録）
麻布中学に入ることになった．
数学は論理の積み重ねだから順番にきちんと一
歩ずつ学んでいかなくてはいけない，などとよく
言われるが，この頃は順番などまったく無視して
いた．「大学への数学」で受験問題を解いたり，「数
学セミナー」を読んで「エレガントな解答を求む」
をやったり，「解析概論」を読んだり，みな平行し
てやっていた．(「解析概論」が重要な本であると
いうことは「数学セミナー」で知った．すぐに買っ
てきて読み始めた．) さらに群論でも線形代数で
も手当たり次第に読んだ．
現在京都大学にいる中島啓氏と
同級生で，しょっちゅう休み時間にトランプをし
ていたのもこの頃である．
順番など気にせず，かたっぱしから読んだ．
よくわかったものも，まったくわからないものも
あったが，あまり気にしていなかった．数学書を
読むことがとにかく好きだった．ブルバキの日本
語訳や，岩波講座の「基礎数学」もこのころ買っ
たものである．
高校時代の最後になるが，広中先生が始めた高
校生対象の夏の合宿セミナー「数理の翼」という
ものが，私が高校 3 年生のときに始まった．このと
き 40 人くらい高校生が来ていたと思うが，4 人が
数学者になった．
3. 東大の頃
また少し時代が戻るが，大学では数学科に行く
ことに決めていたので東大理 I に入学した．(コン
ピュータは好きだったがそれを専門や仕事にする
気はまったくなかった．) 入学直後に，数学の勉強
会のサークル，物理学研究会数学パートに入った．
1 年上に現在北海道大学の小野薫氏がいて，同学
年に現在東京大学の小林俊行氏がいた．そこでい
ろいろな本の輪講をした．よいサークルだったと
思う．アールフォースの複素関数論や，ルーディ
ンの解析の本など，標準的な本から，もっとマニ
アックなものまでいろいろやった．このサークル
は今でもあるようである．
997:１３２人目の素数さん
24/01/19 13:47:59.61 YnoBl9sN.net
提供されたテキストに対する推敲は、以下の点に注意してみてみます：
文の流れの改善:
「また少し時代が戻るが」から始まる表現は少し冗長で、文の流れが途切れてしまっています。文をつなげて自然な流れに修正できます。
文末の効果的な結びつけ:
最後の文が少し突然終わっているように感じられます。もう少し、サークルの経験について締めくくるか、次につなげるような結びつけを加えることができます。
具体的なエピソードの追加:
具体的な数学や物理学の輪講のエピソードを追加することで、読者により具体的なイメージを提供できます。どのような問題やトピックが取り上げられたのか、それに対する感想や学びなどを具体的に挙げると良いでしょう。
998:１３２人目の素数さん
24/01/19 13:48:51.84 fKXwTfDI.net
>>932
>ゼミっても、例えば300ページのテキストを半年15回のゼミとして、1回20ページだろ？
>自分が回ってくる番まで一月あれば、それでテキスト20ページ分をつぶすだけじゃん
>>967
>毎週発表程度の勉強すら出来ないのかよ
>>968
>同意です
>毎週発表でも、４人か５人かいれば、自分の出番は月１回くらいでしょ
たった1行の書き込みすら、読み違ってる
自分一人が毎週発表する勉強ができないのか？と>>967は言ってる
要するにID:cbeVFClIは、そんな「過酷」な勉強は到底できない、と認めたわけだね
もう君は、数学板に書き込まなくていいよ
君には大学数学なんて到底無理だから
999:１３２人目の素数さん
24/01/21 21:49:36.94 SK2diD9F.net
>>971
馬鹿すぎるwww
四年からM1は毎週発表してたよ。
四年のゼミは二人で二人共毎週発表だったな。
二人共別の本読んでたしな。
ゼミのやり方なんて先生によっていろいろだよ。
やり方が決まっているとか勝手に決めつけるなよwww
1000:１３２人目の素数さん
24/01/21 21:50:46.25 F4cQYtdZ.net
毎週発表が過酷ってwwww
1001:１３２人目の素数さん
24/01/21 21:55:55.33 cJolHC01.net
大学数学無理とかwwww
大学数学無理でも査読論文くらい書けるって事だな
得意の思い込み決めつけwww
予想外れすぎてるぞ、数学板から消えたら？
1002:１３２人目の素数さん
24/01/21 22:26:06.77 abdH2Sx0.net
加藤和也が出てるマネーの虎並みに圧迫ゼミの映像ソースでおカネがとれそう
1003:１３２人目の素数さん
24/01/26 10:49:34.18 qj4py6g1.net
>>972
馬鹿すぎるね コピペしか能がないシキタカK君は
もちろん、セミナーで毎週発表なんてザラにある
それでも本を理解して説明するのは最低限の常識
「書いてあるとおりですから皆さん読んどいてください」
だったらセミナーやんなくていい
>>974
>大学数学無理でも査読論文くらい書けるって事だな
数学使わない分野なんですね よかったですね
数学板から消えるのは、あなた
1004:１３２人目の素数さん
24/01/26 11:01:37.38 /vMwx9gW.net
見返りも乏しいのに要求水準だけ厳しくして
組織を健全に発展維持できるわけがない
システム作りのできない日本の無能な大人（教員、大学関係者、文科省）たちのせいで
大学のオワコン化が止まらない
1005:１３２人目の素数さん
24/01/26 12:49:48.76 tFJpy8h1.net
>>976
Mathscinetに載ってる論文少なくとも10本以上は書いてるよ
どうやら大学数学じゃないって根拠なく決めつけられてるけどな
数学使わないって決めつけもされたな
1006:１３２人目の素数さん
24/01/26 16:37:46.23 Jw+8rZQZ.net
>>977 数学わからない人は数学科に行かなくていいよ システム以前の基本
>>978 ホラフキ乙
1007:１３２人目の素数さん
24/01/26 17:25:32.84 Jw+8rZQZ.net
ま、>>978がここで「俺は＊＊＊＊だ」と実名を名乗り
自分が書いた数学の論文の全タイトルをここに書く
という「自爆行為」はできないとわかってるから安心安全
1008:１３２人目の素数さん
24/01/31 08:41:54.55 PITVxeMx.net
今日はM1のゼミ
学生一人に教員が二名
1009:１３２人目の素数さん
24/01/31 11:06:14.75 eYLifywm.net
日本全体から見れば研究者志望は多いほうが科学力が上がるので正しいが、
個々のゼミにやり方を強制するのも良くない
他の選択肢があれば良い
1010:１３２人目の素数さん
24/01/31 11:06:29.06 GVKKHSbZ.net
萎縮しないか心配な様相
1011:１３２人目の素数さん
24/01/31 11:17:44.47 95V4zpsw.net
いい選択肢を示せよ
>他の選択肢があれば良い
1012:１３２人目の素数さん
24/01/31 11:20:24.53 95V4zpsw.net
のびのびとセミナーをやるというのはこういうことか？
URLﾘﾝｸ(news.yahoo.co.jp)
1013:１３２人目の素数さん
24/01/31 11:21:57.89 ACeeu+b2.net
>>982
純粋数学の研究で「科学力」って上がるのか？
たとえば、ガウスの円分体の研究で科学力って上がったのか？
まあ、私が知らんだけかと思うんで反論カモン
1014:１３２人目の素数さん
24/01/31 11:46:41.95 SquBJASp.net
>>986
数学は科学なので勿論上がると思うが
実利的には、短期的には国際賞を取れば地元が盛り上がり本が売れ、海外からも人が来てインバウンドが見込めるし、
長期的にも、森重文までの世代のお陰で、まだギリギリ日本は数学で一定の水準があると思われてるから今も仕事が舞い込んでくるだろ
1015:１３２人目の素数さん
24/01/31 12:32:32.48 95V4zpsw.net
代替え案なしでダメだと言ってるのはミンス党と同じレベルｗ
1016:１３２人目の素数さん
24/01/31 12:40:05.76 MCB2ti7K.net
>>987
>数学は科学なので
数学は（自然）科学じゃないけど
そんな初歩も知らん○○がいるのか
>勿論上がると思うが
全然根拠ないので却下
科学の定義から見直せ