23/02/17 05:43:09.52 mzuvPIKn.net
>>501
この🤪っぽい文章…乙だな
551:１３２人目の素数さん
23/02/17 05:44:59.43 mzuvPIKn.net
>>502
この😤な文章…乙だな
552:１３２人目の素数さん
23/02/17 05:46:47.52 mzuvPIKn.net
乙って…トンデモやん😒
553:１３２人目の素数さん
23/02/17 08:02:33.36 DbDlGuJw.net
>>503-505
ここ最近文章の解釈法がほぼ一意に決まってしまうレスがチラホラ見られるようで、
しょうがなくレスするが、ここ1ヶ月近く5チャンにはレスしていなかった
偏微分方程式の一般論として、原理的には一変数複素解析のときも多変数のときと同様に、
ヘルマンダーの手法で層を導入して複素解析を理論展開出来るところまでは読めた
ここから先は一変数と多変数のときとで解析接続やリーマン面の理論展開などの点で理論展開は異なる
一変数と多変数でヘルマンダリズムの手法に合っているのはどっちなのかを探ることで
やる気が起きなかったリーマン面の理論を学習する動機付けにはなるとは思った
ヘルマンダーの手法も一変数複素解析と多変数複素解析で理論展開が違う点があって面白いですな
554:１３２人目の素数さん
23/02/17 08:20:46.39 DbDlGuJw.net
>>503-505
ついでに、物理の理論は代数や数論だけで語れる程単純な代物ではないから、
恐らく物理の理論を疑って代数や数論の話一辺倒になる人物はほぼ代数オタクか数論オタク
確率的には、単なる代数オタクより数論オタクの方が当てはまる可能性は高い
555:１３２人目の素数さん
23/02/17 08:33:45.76 mzuvPIKn.net
>>506-507
お薬
増やしておきますねー
(´･ω･`)
／ ヽ
__/ ┃))＿_i |
／ ＼⌒)＿_(_ノ＼
(´･ω･) ﾁﾗｯ
／ ヽ
__/ ┃))＿_i |
／ ＼⌒)＿_(_ノ＼
今度ｶｳﾝｾﾘﾝｸﾞも
受けましょうねー
(´･ω･`)
／ ヽ
__/ ┃))＿_i |
／ ＼⌒)＿_(_ノ＼
556:１３２人目の素数さん
23/02/17 08:37:54.34 lyeAo2za.net
>>506
S.Bellは30年前から一貫して
多変数複素解析の手法で一変数複素解析をやっている
557:１３２人目の素数さん
23/02/17 08:40:25.49 mzuvPIKn.net
こんな書き込みをみたら乙
・やたら他人を下にみる
・なにかというとタヘンスーカンスーロンとかいう
・そのくせ中身の話は一切しない
・数学の基本的な初歩から間違ったことをいう
誰かさんのチョーゲンリロンを
タヘンスーカンスーロンに置き換えるだけ
頭の悪い人に限って頭の悪さを認めたがらない
だから頭が悪いままなんですが
558:１３２人目の素数さん
23/02/17 08:44:20.90 lyeAo2za.net
>>510
>>・数学の基本的な初歩から間違ったことをいう
具体的には？
559:１３２人目の素数さん
23/02/17 08:49:57.24 DbDlGuJw.net
>>508
そもそも、お前さんが根拠に欠ける勝手な妄想による思い込みで
事実とは異なった結論を出したのが始まりではないか
このような結論の出し方は科学的手法とはいえない
こういうときは、大体実験や観測などによる結果に対して
確率論や或いは統計を応用して帰納的に結論を出すのが正しい手法
560:１３２人目の素数さん
23/02/17 08:59:48.93 mzuvPIKn.net
>>511
誰かさんのような
分かり易いいい例は
今思いつかないが
どうせやらかしてくれるので
その時指摘してあげる
561:１３２人目の素数さん
23/02/17 11:13:08.76 DbDlGuJw.net
>>510
>誰かさんのチョーゲンリロンを
>タヘンスーカンスーロンに置き換えるだけ
>>504の文脈上、素直に解釈したときのお前さんの趣旨に従って>>502で行うと
>多変数複素解析、多変数複素解析って言うけど、
>多変数複素解析というのは本当に物理なのだろうか？
562:>多変数複素解析というのは、「超対称性」というある種の対称性を >仮定しているが、これは本当に物理の対称性なのだろうか？ >という疑問。少なくとも実験では確認されていない。 >（成立するなら存在するはずの超対称性粒子は全く見つかっていない。） > >数学の良さは、そんなものと心中しなくてもいい点ｗ となって、上から2行目の >多変数複素解析というのは本当に物理なのだろうか？ の部分について日本語として意味を通すには、多変数複素解析に 数学ではなくむしろ物理的な由来が発端で発見された楔の刃の定理を含めない必要があるが、 多変数複素解析には楔の刃の定理が含まれないと思っている？ このスレでそういう間違いをする人物はほぼ1人に限られる
563:１３２人目の素数さん
23/02/17 11:29:02.61 oqk6Ud2w.net
>>514
>>508
564:１３２人目の素数さん
23/02/17 11:31:15.74 oqk6Ud2w.net
根本的に
数学と物理の区別ができない奴は
数学も物理も分かってない
565:１３２人目の素数さん
23/02/17 11:40:18.86 DbDlGuJw.net
>>515
多変数複素解析を用いる佐藤超関数で楔の刃の定理は出て来るし、
最初は確かロシアの人によって場の量子論への物理的応用が由来で楔の刃の定理は発見された
566:１３２人目の素数さん
23/02/17 11:46:42.51 DbDlGuJw.net
>>515-516
あっ、ロシア語の発音が正しければウラジミーノフとかいう名前の人だな
567:１３２人目の素数さん
23/02/17 11:54:21.68 oqk6Ud2w.net
なんかワカランチンがギャアギャア騒いでるが
数学として証明された定理なら
物理なんか関係ない
勝手に物理屋が使えばいい
568:１３２人目の素数さん
23/02/17 11:57:47.99 oqk6Ud2w.net
どうせここに書くなら
楔の数学的意味とか書けば？
ま、何にも分かってないから
書けないだろうけど
569:１３２人目の素数さん
23/02/17 12:00:48.03 DbDlGuJw.net
ウラジミーロフだったか
まあ、吉田耕作も紹介していたことがあるから、数学ではある
570:１３２人目の素数さん
23/02/17 12:24:33.07 DbDlGuJw.net
>>519
函数解析と微分方程式の前半の参考書に何故か多変数複素解析の物理への応用の本が挙げられている
だから、数学にはなるであろう
571:１３２人目の素数さん
23/02/17 12:55:19.23 GT7RbuhF.net
🌳違いさんは心が騒いで黙れないみたい
572:１３２人目の素数さん
23/02/17 14:07:19.10 a7Ha8aT0.net
今 か ら約15年 前,場 の量 子 論 を研 究 し て いた
理 論 物 理 学 者 が,‘ く さび の 刃 の 定 理'(the Edge
of the Wedge Theorem)と よば れ る 多 変 数 様複
素 函 数 論 の定 理 を 発 見 し た(Bogolyubdv 1956,
Vladimirov［1］p.825を 見 よ.).そ の後,こ の 定
理 の 記述 す る数 学 的 現 象 は多 くの人 々 の興 味 をひ
いうた(Bremermann-Oehme-Taylor【 ［1］, Dyson
〔1］,Epstein［1］, Browder［1］ な ど).中 で も,
Martineau［3］,［4］,［5］に よ る この定 理 の新 しい解
釈 と拡 張 は,超 函 数 論 に と っ て非 常 に重 要 で あ る.
実 際,1969年 佐 藤 幹 夫 は,マ イ ク ロ函数 という 新
しい 概 念 に よ っ て超 函 数 の特 異 性 を分 解 して研 究
す る こ とに成 功 した(Sato［6］,［7］,［8］,［9])この と
き,Martineauの くさび の 刃 の理 論 は,こ の佐 藤
の 理 論 の基 礎 づ け を与 え た の で あ る。
森本光生 「数学」の論説
573:１３２人目の素数さん
23/02/17 15:04:35.17 7zX4cm9t.net
>>524
>>523
574:１３２人目の素数さん
23/02/17 16:03:57.80 PDN8ps3Q.net
>>489
>ちなみに、相互法則の重要性は単に整数論だけに閉じたものではないようで、ある種の
>相反性あるいは双対性を表しているものとして捉えられているもののようです。
関連追加
URLﾘﾝｸ(en.wikipedia.org)
Quadratic reciprocity
より
References
・Hilbert, David (1897), "Die Theorie der algebraischen
575:Zahlkorper", Jahresbericht der Deutschen Mathematiker-Vereinigung (in German), 4: 175?546, ISSN 0012-0456 （(どうも上記の英訳らしい） Hilbert, David (1998), The theory of algebraic number fields, Berlin, New York: Springer-Verlag, ISBN 978-3-540-62779-1, MR 1646901） (独語) https://gdz.sub.uni-goettingen.de/download/pdf/PPN37721857X_0004/PPN37721857X_0004.pdf Werk Titel: Jahresbericht der Deutschen Mathematiker-Vereinigung Verlag: Georg Reimer Jahr: 1894/95 Kollektion: Mathematica Digitalisiert: Niedersachsische Staats- und Universitatsbibliothek Gottingen Werk Id: PPN37721857X_0004 PURL: http://resolver.sub.uni-goettingen.de/purl?PPN37721857X_0004 (PDFのP182) Die Theorie der algebraischen Zahlkorper David Hilbert. 目次 (以下のページは目次の通り) Cap. XXVII §122. Das Reciprocitatsgesets fur quqdratsche Reste ・・・384 Cap. XXVIII Das Reciprocitatsgesetz fur Ιte Potenzreste im regularen Kreiskorper. §154. Das Reciprocitatsgesetz fur Ιte Potenzreste und die Erganzungssatze ・・・470 §157. Ein besonderer Fall des Reciprocitatsgesetz fur zwei Primideale ・・・479 §158. Das Vorhandensein gewisser Hulfsprimideal, fur weiche Reciprocitatsgesetz gilt ・・・482 §159. Beweis des ersten Erganzungsatzes zum Reciprocitatsgesetz ・・・484 §160. Beweis des Reciprocitatsgesetzes zweishen zwei beliebigen Primidealen ・・・485 §161. Beweis des zweishen Erganzungsatzes zum Reciprocitatsgesetz ・・・488 (引用終り) 以上
576:１３２人目の素数さん
23/02/17 16:06:18.63 of/PGSl0.net
>>523
数学と物理を分離して考える人は数学と物理を同時に学ぶ
ロシア式の数学にはついて行けないと思うよ
577:１３２人目の素数さん
23/02/17 16:13:11.71 of/PGSl0.net
>>524
最初に楔の刃の定理を発見したのはBogolyubdvって人だったか
578:１３２人目の素数さん
23/02/17 16:32:18.19 PDN8ps3Q.net
>>526 追加
>URLﾘﾝｸ(en.wikipedia.org)
>Quadratic reciprocity
＜関連追加引用＞
History and alternative statements
The theorem was formulated in many ways before its modern form: Euler and Legendre did not have Gauss's congruence notation, nor did Gauss have the Legendre symbol.
In this article p and q always refer to distinct positive odd primes, and x and y to unspecified integers.
There is no kind of reciprocity in the Hilbert reciprocity law; its name simply indicates the historical source of the result in quadratic reciprocity. Unlike quadratic reciprocity, which requires sign conditions (namely positivity of the primes involved) and a special treatment of the prime 2, the Hilbert reciprocity law treats all absolute values of the rationals on an equal footing. Therefore, it is a more natural way of expressing quadratic reciprocity with a view towards generalization: the Hilbert reciprocity law extends with very few changes to all global fields and this extension can rightly be considered a generalization of quadratic reciprocity to all global fields.
つづく
579:１３２人目の素数さん
23/02/17 16:33:02.23 PDN8ps3Q.net
>>529
つづき
Connection with cyclotomic fields
The early p
580:roofs of quadratic reciprocity are relatively unilluminating. The situation changed when Gauss used Gauss sums to show that quadratic fields are subfields of cyclotomic fields, and implicitly deduced quadratic reciprocity from a reciprocity theorem for cyclotomic fields. His proof was cast in modern form by later algebraic number theorists. This proof served as a template for class field theory, which can be viewed as a vast generalization of quadratic reciprocity. Robert Langlands formulated the Langlands program, which gives a conjectural vast generalization of class field theory. He wrote:[27] I confess that, as a student unaware of the history of the subject and unaware of the connection with cyclotomy, I did not find the law or its so-called elementary proofs appealing. I suppose, although I would not have (and could not have) expressed myself in this way that I saw it as little more than a mathematical curiosity, fit more for amateurs than for the attention of the serious mathematician that I then hoped to become. It was only in Hermann Weyl's book on the algebraic theory of numbers[28] that I appreciated it as anything more. (引用終り) 以上
581:１３２人目の素数さん
23/02/17 16:46:43.65 PDN8ps3Q.net
>>501
>相互法則
ああ、これおっちゃんか！
お元気そうで、なによりです
相互法則関連は
>>526以下>>530までね
582:１３２人目の素数さん
23/02/17 17:05:02.42 of/PGSl0.net
>>531
自己言及していて自らの主張を自分で証明することは出来ないが、
>>506にレスしたようにここ1ヶ月は全然レスしていない
保型関数の話は全くしていない
そういう話が大好きで、私より生真面目な方はいるだろうから、そのお方と話をしてほしい
幾らでも保型関数の話に付き合ってはくれるとは思う
583:１３２人目の素数さん
23/02/17 17:30:16.28 vkLofxUS.net
>>527
物理やりたきゃ物理板逝け
584:１３２人目の素数さん
23/02/17 17:32:12.91 vkLofxUS.net
🌳違い乙に🐎🦌耄碌爺が呼応
ここは癲狂院か
585:１３２人目の素数さん
23/02/17 17:37:06.90 vkLofxUS.net
三角関数も扱えん奴には
楕円関数もΘ関数も
アイゼンシュタイン級数もＪ不変量も無理
586:１３２人目の素数さん
23/02/17 17:46:20.22 of/PGSl0.net
>>533
実際にそうなっている
ロシア式の数学は数学と物理を一緒に学ぶ
そのような事情があって、統計力学の確率論的研究はロシアで発達した
ウソだと思うなら、お前さんがよく話に出す佐々田氏にメールか何かで聞いて見るといい
佐々田氏の研究内容は、統計力学に関する数学的なモデルへの確率論の応用の一種だよ
587:１３２人目の素数さん
23/02/17 18:22:40.85 vkLofxUS.net
>>536 ロシアに逝け
588:１３２人目の素数さん
23/02/17 18:25:10.95 vkLofxUS.net
>>537
乙は統合失調症であることは間違いない
会話が成立せず論理に基づく推論ができないから
589:１３２人目の素数さん
23/02/17 22:59:57.75 lyeAo2za.net
>>538
議論の目的は？
590:１３２人目の素数さん
23/02/18 00:03:17.96 dtkuCIRJ.net
>>482-483
>いずれにしてもガウスの初期の仕事だと思ってます
> １からそのことを見つけたのはスゴイと思います
いま、ガウスのＤＡ（高瀬正仁訳）などを見ているが
ガウスは、明らかにオイラーやラグランジュを引用しているよ
（高瀬氏は、ガウスはオイラーを見ずに全てを考えたが如く書くが、バイアスあると思うぜ）
（例えば、ガウスが一人で、ニュートンやライプニッツ、オイラーなど先人の数学を全く見ずに、
一人で微積から複素数を考えて、複素関数を考えて、余興にＤＡ書いたみたいに高瀬氏は言うけどねぇ。ちょっとね）
まあ
あんたのいうこと
ほんと不正確だな
591:１３２人目の素数さん
23/02/18 00:12:44.35 dtkuCIRJ.net
>>540
ついでに書いておくが、
下記のen.wikipedia
URLﾘﾝｸ(en.wikipedia.org)
Quadratic reciprocity
にも記載があるけど
reciprocity：相互律（相互法則）
という用語は、ガウスは使っていない
reciprocityは、現代風のルジャンドルの記号で書いたときに
pとqとの入れ替えで不変になっていることから来る
ガウスがＤＡ中で言い訳書いているけど
のルジャンドルの出版物を見たのは
自分が原稿を書き上げた後、ずっと後で
（だから、ルジャンドルの記号は使っていない）
但し、ルジャンドルの証明にはダメだししている
ガウスは、相互法則の部分を、「基本定理」（高瀬訳）と称している
592:１３２人目の素数さん
23/02/18 00:14:17.04 dtkuCIRJ.net
>>541 タイポ訂正
のルジャンドルの出版物を見たのは
↓
ルジャンドルの出版物を見たのは
593:１３２人目の素数さん
23/02/18 00:58:30.25 LaZ2oQR1.net
それで>>501は理解できましたか？
モジュラー群が
1 1
0 1
と
0 -1
1 0
で生成されることは証明できますかね？
最初の作用で保型性があることは多くの場合自明であり
後者の作用で保型性があることは自明ではない
それが相互法則だと言ってるわけですが。
594:１３２人目の素数さん
23/02/18 01:01:12.81 LaZ2oQR1.net
何でルジャンドル記号またはヤコビ記号の中身は
有理数（既約分数）なのか？
それは実は「尖点における値」という意味があるからである。
つまりこの記号は自然であり、非常に優れている。
595:１３２人目の素数さん
23/02/18 01:15:52.59 LaZ2oQR1.net
"reciprocal"という言葉で想起されるのはオイラーの論文
Remarques sur un beau rapport entre les series des puissances tant directes que reciproques
(Remarks on a beautiful relation between direct as well as reciprocal power series)
これはゼータ函数の函数等式を予想した論文であり
それは相互法則にも類似しており、ある種の対称性を示している。
実はこれらを共通の源から証明することも可能。
佐藤幹夫の話が出ていたので言うけど、氏が概均質ベクトル空間
の理論を作ったのは、この函数等式のような対称性の成立を
より多くの場合に証明する目的であり、これはラングランズプログラム
にも共通する、現代数学の主題の一つである。
596:１３２人目の素数さん
23/02/18 02:48:55.08 ez0Jx4OU.net
ガウスのDAの出版が遅れたのは印刷所の事情でウンヌンということになっている
らしいが、本当はルジャンドルの数論の本を入手してそれを読んだ結果として、
構成や内容を変更してアップグレードしたからなのじゃないのかなぁ？
残念なことは、DAの中には取り込めなかったとされるガウスのそれ以外の
発見部分。もっとも自分で云っていることだからどれだけ信用して良いかは不明。
日記だってノストラダムスの予言の書のように後で日付を入れるなどすれば、
発見・記述の年月日時をごまかせるわけだし。必ず第三者が内容を閲覧したり、
署名を日付入りで書かなければ、書かれた記録の日時は信用出来ない。
アメリカでかつて先発明主義に基づいて実験ノートによって自分が先に発見して
いたと主張をするためには、弁護士などにときどき署名を書き込んで貰う必要が
あったりしたんだという。
597:１３２人目の素数さん
23/02/18 07:23:59.50 StGGvAtO.net
>>日記だってノストラダムスの予言の書のように後で日付を入れるなどすれば、
>>発見・記述の年月日時をごまかせるわけだし。
ガウスがそこまで暇だったとは思えない
598:１３２人目の素数さん
23/02/18 08:20:42.98 RurR48Ue.net
>>539
乙> 議論の目的は？
議論してないんじゃないかな？ そもそも
>>543
乙> それが相互法則だと言ってるわけですが。
なんか根本的に誤解してない？
>>544
乙> 何でルジャンドル記号またはヤコビ記号の中身は有理数（既約分数）なのか？
やっぱそこから誤解したか素人乙
ルジャンドル記号、ヤコビ記号の中身は「既約分数」ではないよ
見た目が同じだから、同じと思ったらダメ
ということで>>501は全くの誤りね
あれ見た瞬間○違い乙だなってわかったよ
正常な人間なら決してしない間違いだから
>>545
ということで素人の初歩的誤りの後では
何をいっても妄想扱い
乙はまず統合失調症を治せ
599:１３２人目の素数さん
23/02/18 08:26:41.47 StGGvAtO.net
>>548
なら訂正
議論--->言い合い
600:１３２人目の素数さん
23/02/18 08:30:24.09 RurR48Ue.net
>>540 淋しい耄碌爺曰く
> いま、ガウスのＤＡ（高瀬正仁訳）などを見ているが
> ガウスは、明らかにオイラーやラグランジュを引用しているよ
「０から」ではなく「１から」なので問題ない
０に何を掛けても０だが
１に何かを掛ければ大きくなり得ることもある
> あんたのいうこと ほんと不正確だな
だれかさんの大学１年レベルの誤りより全然マシ
>>541
ということで素人の初歩的誤りの後では
何をいっても法螺扱い
乙は統合失調症患者
耄碌爺は認知症もしくは知的障害
前者は治るかもしらんが
後者は今の医学では無理だな
601:１３２人目の素数さん
23/02/18 08:35:27.25 StGGvAtO.net
>>544
ここを具体例を挙げて詳しく説明すれば
誤解が解けるかもしれない
602:１３２人目の素数さん
23/02/18 08:40:08.76 RurR48Ue.net
>>551
そもそも何故分数だとおもったか述べてごらん
見た目で脊髄反射したんだろ？
サルだな
サルに、ヒトの数学は分からんよ
603:１３２人目の素数さん
23/02/18 08:45:40.29 StGGvAtO.net
>>ここを具体例を挙げて詳しく説明すれば
>>誤解が解けるかもしれない
このレスに対して
>>そもそも何故分数だとおもったか述べてごらん
こう返すのが、いわゆる脊髄反射の好例であろう。
604:１３２人目の素数さん
23/02/18 08:52:59.57 RurR48Ue.net
>>553
いや、そもそも、見た目だけで分数と思い込んだ
君が数学を全く知らん正真正銘の素人というだけのこと
いくら気取っても無駄なんだよ 高卒乙
605:１３２人目の素数さん
23/02/18 08:53:55.52 RurR48Ue.net
耄碌爺も○違い乙も大学中退の高卒とは
大学一年の数学ってそんなに難しいか？
606:１３２人目の素数さん
23/02/18 08:59:59.20 StGGvAtO.net
>>555
551と553の
どこを見て同一人物だと分かった？
607:１３２人目の素数さん
23/02/18 09:02:23.96 RurR48Ue.net
>>556
それは数学とは違う
やっぱり統合失調症か
608:１３２人目の素数さん
23/02/18 09:04:38.27 StGGvAtO.net
>>557
>>それは数学とは違う
一つの信念というわけだね
それこそがアスペ
609:１３２人目の素数さん
23/02/18 09:29:07.96 StGGvAtO.net
>>554
断っておくが
カスプとは何かを知らずにコメントしているわけではない
610:１３２人目の素数さん
23/02/18 09:41:33.26 dtkuCIRJ.net
>>546
コメントありがとう
>ガウスのDAの出版が遅れたのは印刷所の事情でウンヌンということになっている
うん
ＤＡ序文には、そのようなことが書いてあるが
当時、フランス革命戦争とかもあったから、影響したかも
URLﾘﾝｸ(ja.wikipedia.org)
フランス革命戦争
1792年から1802年にかけて、フランス革命を巡ってフランスとヨーロッパ諸国[注釈 1]との間で行われた戦争の総称[1][2]。
>日記だってノストラダムスの予言の書のように後で日付を入れるなどすれば、
確かに
しかし、ガウス自身は、日記を公開する気はなかったろうし
ＤＡも、出版後十分高い評価を得たから、ガウス自身も満足したと思う
>アメリカでかつて先発明主義に基づいて実験ノートによって自分が先に発見して
>いたと主張をするためには、弁護士などにときどき署名を書き込んで貰う必要が
ああ、そうなんだ
それはともかく
ガウスはＤＡ序文で、”ほとんど独力”と書いてあるけど
主観的にはそうでも
客観的には、ＤＡの式とかいろんな記述の流儀が、明らかに
オイラーやラグランジュの影響があると思われる
直接見ていなくても、間接的に影響されている可能性もあるし
なので、”ほとんど独力”は、客観的には割り引く必要ありと思うよ
611:１３２人目の素数さん
23/02/18 09:50:57.50 dtkuCIRJ.net
>>557
>やっぱり統合失調症か
自分が統合失調症を飲んでいるからと、それを他人に投影するサル >>ｽﾚﾘﾝｸ(math板:5番)
>>558
おっちゃん、ありがとう
>それこそがアスペ
多分、それサイコパスのサルだなｗ >>ｽﾚﾘﾝｸ(math板:5番)
612:１３２人目の素数さん
23/02/18 09:50:57.67 RurR48Ue.net
>>559
断っておくが
カスプ以前の問題
そもそも分数ではない
見た目で分数だと脊髄反射したのは誤り
数学の前に統合失調症の治療に専念すべし
治療が成功すれば今までの行為が
みな馬鹿馬鹿しいことだったと気付ける
じゃ 頑張って
613:１３２人目の素数さん
23/02/18 09:54:01.04 RurR48Ue.net
>>560-561
知的障害＆人格障害の淋しい耄碌爺がなんかいっとる
614:１３２人目の素数さん
23/02/18 10:16:22.07 dtkuCIRJ.net
>>545
おっちゃん、ありがとう
>佐藤幹夫の話が出ていたので言うけど、氏が概均質ベクトル空間
>の理論を作ったのは、この函数等式のような対称性の成立を
>より多くの場合に証明する目的であり、これはラングランズプログラム
いまや古典だが
貼っておくね
１）
URLﾘﾝｸ(www.math.kobe-u.ac.jp)
URLﾘﾝｸ(www.math.kobe-u.ac.jp)
報告集など
[PDF]2元3次形式の空間に付随するゼータ関数の双対恒等式,第54回代数学シンポジウム,報告集,2010年．
URLﾘﾝｸ(www.math.kobe-u.ac.jp)
2元3次形式の空間に付随するゼータ関数の双対恒等式2010年
神戸大学大学院理学研究科谷口隆
概要
本稿では，概均質ベクトル空間とそのゼータ関数について簡単に復習し，その
後，新谷卓郎氏によって導入された2元3次形式の空間に付随するゼータ関数につ
いての著者と大野泰生氏，若槻聡氏の最近の共同研究について概説する．関連する
話題についても触れる．
２）
URLﾘﾝｸ(www.jstage.jst.go.jp)
総合講演・企画特別講演アブストラクト 2000 年 2000 巻 Autumn-Meeting1 号 p. 39-49 日本数学会
URLﾘﾝｸ(www.jstage.jst.go.jp)
2000 巻, Autumn-Meeting1 号
URLﾘﾝｸ(www.jstage.jst.go.jp)
概均質ベクトル空間入門一11世紀から現代まで
雪江明彦東北大学大学院理学研究科
この講演では概均質ベクトル空間の古典的な例を中心にその定義と表現論との関係及びゼータ
関数の理論について解説するのが目的である.
Gaussが[6]で2元2次形式の理論を作り上げ,いわゆるGauss予想を含め,2次体の類数に関
する深い仕事をしたのは有名である.これはその後Siegelの2次形式論に発展し現在の保型形式
の理論の一つの原型になった.この2元2次形式の空間が実は概均質ベクトル空間の一つの重要
な例であるので先ずGaussの2元2次形式に関する仕事について述べる.
(引用終り)
以上
615:１３２人目の素数さん
23/02/18 11:06:39.89 LaZ2oQR1.net
おっちゃんて誰？
>いまや古典だが
古典でもあなたが理解しているとは到底思えないんだが。
>貼っておくね
貼って分かった気になるのが、あなたの悪い癖。
616:１３２人目の素数さん
23/02/18 11:09:03.62 VVLbW8gq.net
>>548
>乙はまず統合失調症を治せ
あのね～、私(おっちゃん)は>>536以降書いていなく、>>536以降このレスまでの人物は他人である
統合失調症ではない他の疾患にかかっている
お前さんのように研修医の訓練を受けたことがなく
医師免許を
617:持っていない人間が病名を診断すると、誤診を起こす可能性が高い
618:１３２人目の素数さん
23/02/18 11:11:49.23 dtkuCIRJ.net
>>541
>reciprocity：相互律（相互法則）
>という用語は、ガウスは使っていない
>reciprocityは、現代風のルジャンドルの記号で書いたときに
>pとqとの入れ替えで不変になっていることから来る
reciprocity：相互律（相互法則）について
URLﾘﾝｸ(ja.wikipedia.org)
アドリアン＝マリ・ルジャンドル（仏: Adrien-Marie Legendre、1752年9月18日 - 1833年1月10日）
1798年の著書『数の理論に関する試作（Essai sur la Theorie des Nombres）』は、ドイツの天文学者、数学者、物理学者であるカール・フリードリヒ・ガウスの1801年の著書『整数論（Disquisitiones Arithmeticae）』の登場により、影に埋もれることとなった[2]。
(引用終り)
これ、下記PDFで
ルジャンドル記号の導入があって
”§VI Theoreme contenant une loi reciprocite qui exite entre deux nombres premiers quelconques”
とあるから
”reciprocite”（相互律）の用語は、ルジャンドルからだね
(参考)
URLﾘﾝｸ(archive.org)
Essai sur la theorie des nombres
by Legendre, A. M. (Adrien Marie), 1752-1833
Publication date 1798
Topics Number theory
Publisher Paris, Duprat
URLﾘﾝｸ(ia804700.us.archive.org)
ここの
§VI Theoreme contenant une loi reciprocite qui exite entre deux nombres premiers quelconques ・・・214
(引用終り)
以上
619:１３２人目の素数さん
23/02/18 11:12:33.27 LaZ2oQR1.net
新谷卓郎というひとは将来を嘱望されたひとだったらしい。
自分の先生が、氏が若くして亡くなったことを「残念でならないんです」
と言っていたのが印象に残っている。
代数解析における超局所計算法は、新谷が佐藤幹夫に
ぶつけた疑問から、佐藤が計算原理を柏原氏に説明して
生まれたという。
620:１３２人目の素数さん
23/02/18 11:16:50.23 VVLbW8gq.net
>>548
最近数学で手を動かし過ぎて手は痺れたし、その疾患でここ最近救急車に乗っちゃったよw
このとき知ったけど手の痺れや頭痛を起こすとき血管内では拡散現象を起こしていて、
頭痛を起こすときの脳の中の血管の収縮や拡張の現象から線形の熱方程式の初期値問題が作れる
その線形の熱方程式の初期値問題の時刻0での初期値は爆発せず定数だから、
時刻と共にその線形熱方程式の初期値問題の解は漸近的に一定の値を取るようになる
621:１３２人目の素数さん
23/02/18 11:17:41.96 dtkuCIRJ.net
>>565
>おっちゃんて誰？
あなたでしょ？ ”>>543「それで>>501は理解できましたか？」”って501の本人
>貼って分かった気になるのが、あなたの悪い癖。
自分が理解できない文献貼られて
嫉妬するのは、悪いクセと思うよ
622:１３２人目の素数さん
23/02/18 11:26:36.86 LaZ2oQR1.net
>>570
「彼（アスペのサイコ氏）」と同じく、あなたも確信犯なわけね。
彼は別スレで、確信犯的に「おまえセタだろう」と他者に言っていた。
それと同じ。似た者同士だね。
要するに、「おっちゃん」という言葉を罵倒として使ってるわけ。
仮にも、それが「おっちゃん」とかを、友達のように
扱ってる人間のやることかい？
あなたもサイコパスだね。
623:１３２人目の素数さん
23/02/18 11:27:45.10 VVLbW8gq.net
>>570
私は相互法則とかガウスの数論の話はしていない
624:１３２人目の素数さん
23/02/18 11:29:38.60 LaZ2oQR1.net
>自分が理解できない文献貼られて
>嫉妬するのは、悪いクセと思うよ
文献貼られて嫉妬するってどゆこと？
誰でもできることで、しかもあなたが
何一つ理解せずに貼ってることは
分かってるの�
625:ﾉ、どこに嫉妬する要素があるの？ 頭おかしいね。
626:１３２人目の素数さん
23/02/18 11:30:02.76 RurR48Ue.net
>>570
> 自分が理解できない文献貼られて嫉妬するのは、悪いクセと思うよ
自分が理解できない文章貼って悦にいるのこそ、悪いクセだよ 耄碌爺ちゃん
627:１３２人目の素数さん
23/02/18 11:32:50.71 RurR48Ue.net
>>571
軽い調子でわかりもせんことコピペすると、セタ呼ばわりされる
無駄に真剣な調子で意味不明な連想ゲームすると、乙呼ばわりされる
同一人物か別人かは大した問題じゃない
同じ症状か否かかが問題なんだよ 分かる？
628:１３２人目の素数さん
23/02/18 11:38:32.96 RurR48Ue.net
セタはいわばひろゆき
乙は no art, no lifeとかいう番組で謎の作品を描いてる人
artの場合は、別に論理なんて求められないから
思うままに描いても全然問題ないし
むしろなんかいい感じなら評価される
mathの場合は、論理が命だから
連想ゲームに論理がなければ
気持ち悪がられる
屁理屈とわかっていていうひろゆきは悪党
論理が分からずに謎の作品描いちゃう人は
論理が求められる場では困った人になってしまう
でも、後者は温かく見守る必要がある
前者にはその必要はない 全く
629:１３２人目の素数さん
23/02/18 11:46:58.45 dtkuCIRJ.net
>>567 補足
円分体との関係は、下記です
URLﾘﾝｸ(ja.wikipedia.org)
円分体
平方剰余の相互法則
ガウス (C. F. Gauss)は、今日、ガウス和と呼ばれる1のベキ根の指数和を考察することにより、平方剰余の相互法則、第1補充法則、第2補充法則を示した[注釈 3]。
さらに、
Q (ζ _3), Q (ζ _4)上のガウス和を考察することで、3次、4次剰余の相互法則を得ることができる。
クンマーは、円分体に対する深い考察により、高次のベキの剰余に関する相互法則を与えた。
高次ベキの剰余の相互法則は、その後、フルトヴェングラー (P. Furtwangler)により全ての素数に対して与えられ、
さらに、類体論の結果を用いて、高木、アルティン (E. Artin)、ハッセ (H. Hasse)らにより、より一般の形での相互法則が得られた。
[注釈 3] この証明は、ガウスによる4番目の証明である。(1805年8月30日に証明)[1]
630:１３２人目の素数さん
23/02/18 11:58:21.53 VVLbW8gq.net
>>576
>論理が分からずに謎の作品描いちゃう人は
>論理が求められる場では困った人になってしまう
数学に対して論理を追求する発端となった実フーリエ係数を使って書かれた
フーリエ級数の論文を書いたフーリエは困った人扱いになるな
ま、実フーリエ係数を使って書かれたフーリエ級数の収束性の問題だけでも膨大な量になるけどな
631:１３２人目の素数さん
23/02/18 12:55:43.48 eMB0tEx+.net
フーリエに対して失礼ではないか
原論文を読んだことはありますか？
632:１３２人目の素数さん
23/02/18 13:31:46.92 dtkuCIRJ.net
>>571
>「彼（アスペのサイコ氏）」と同じく、あなたも確信犯なわけね。
意味わからん
では聞く
>>543より再録
"それで>>501は理解できましたか？
モジュラー群が
1 1
0 1
と
0 -1
1 0
で生成されることは証明できますかね？
最初の作用で保型性があることは多くの場合自明であり
後者の作用で保型性があることは自明ではない
それが相互法則だと言ってるわけですが。"
これを書いた>>543と>>501とが同一人物であると判断した
これは同一人物だとする以外に、解釈しようがないだろ？
>要するに、「おっちゃん」という言葉を罵倒として使ってるわけ。
「おっちゃん」は、愛称だよ
「おっさん」は、罵倒ですｗ
>仮にも、それが「おっちゃん」とかを、友達のように
「おっちゃん」とは、かれこれ10年くらいのつきあいかな？
愛すべきガロアすれのキャラですよ
633:１３２人目の素数さん
23/02/18 13:33:43.00 dtkuCIRJ.net
>>572
＞私は相互法則とかガウスの数論の話はしていない
ああ、こっちが本物のおっちゃんか
了解
まあ、よろしくね
634:１３２人目の素数さん
23/02/18 13:40:08.17 dtkuCIRJ.net
>>573
ひょっとして、時枝記事不成立を理解できない (ｽﾚﾘﾝｸ(math板) )
おサルの連れかい？ｗ
>文献貼られて嫉妬するってどゆこと？
それ
635:>>570に書いた通り ”>貼って分かった気になるのが、あなたの悪い癖。 自分が理解できない文献貼られて 嫉妬するのは、悪いクセと思うよ” これに反論したければ 自分が理解できてから どうぞｗｗ
636:１３２人目の素数さん
23/02/18 13:47:03.26 dtkuCIRJ.net
>>575-576
昭和の末期に、どこかの大学の数学科で落ちこぼれて ｽﾚﾘﾝｸ(math板:5番)
それから35年も経って、令和4年になってようやく
ラグランジュ分解式が分かったと自白するおサルさん>>478
そりゃ
あんたに分かる数学の文献など
皆無！
じゃねｗｗｗ
637:１３２人目の素数さん
23/02/18 13:50:27.16 eMB0tEx+.net
Shintani, Takuro (1976), “On evaluation of zeta functions of totally real
algebraic number fields at non-positive integers”,
Journal of the Faculty of Science.
University of Tokyo. Section IA. Mathematics 23 (2): 393–417
638:１３２人目の素数さん
23/02/18 14:17:09.31 dtkuCIRJ.net
>>579
>フーリエに対して失礼ではないか
>原論文を読んだことはありますか？
読んでないけど、検索すると下記か
URLﾘﾝｸ(www2.tsuda.ac.jp)
URLﾘﾝｸ(www2.tsuda.ac.jp)
第20回数学史シンポジウム(2009.10.17?18) 2010
URLﾘﾝｸ(www2.tsuda.ac.jp)
フーリエとコーシー 初期の実解析の諸相高瀬正仁(九州大学, 日本オイラー研究所)2009
目次
1. はじめに
2. 解析概論の系譜
3. コーシー以後のフーリエ解析
4. 解析学の厳密化をめぐって
5. 関数の連続性
6. 微積分のテキストについて
1. はじめに
西村重人さんの長年にわたる努力が実り,フーリエの著作『熱の解析的理論』とコーシーの著作 『解析教程』 の翻訳が完成した.
現在 (平成22年1月)、出版の準備も整い、刊行の日を待っているところである.
URLﾘﾝｸ(www.kinokuniya.co.jp)
フーリエ熱の解析的理論
西村重人/高瀬正仁
朝倉書店（2020/01発売）紀伊国屋書店
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
数理解析研究所講究録 第 1546 巻 2007 年 41-54
フーリエの熱の解析的理論に見る微積分の基本定理
九州大学大学院数理学研究院 高瀬正仁
URLﾘﾝｸ(seisan.server-shared.com)
大阪大学生産技術研究会
URLﾘﾝｸ(seisan.server-shared.com)
生産と技術 第62巻 第２号（2010）
フーリエ級数研究の系譜をたどって
佐藤俊輔（東京大学大学院 工学系研究科 応用物
理学専攻修了（1943年）
現在、学校法人 藍野学院 藍野大学 医療保健学部 教授）
【はじめに】
フーリエ級数の歴史は周期的な現象の三角関数による表現から出発した。フーリエ（1768 － 1830）
が原点とされる。
彼は 1804 年，熱伝導の問題に着手し，フーリエの法則を見出した。それをもとに有限長の熱伝導体での熱の分布を表わす熱伝導
方程式と呼ばれる拡散型の偏微分方程式を導き，導体内の熱の振る舞いについて論文を書いた。
639:１３２人目の素数さん
23/02/18 14:18:14.21 dtkuCIRJ.net
>>584 ありがとう
641:１３２人目の素数さん
23/02/18 14:25:17.00 dtkuCIRJ.net
>>583 追加
まあ、マジレスすれば
ここには、真正の東大数学科出身者も来ていたわけです
我々が和kらずとも、彼には分かるかもしれないし
また、すぐには分からなくとも
貼っておけば
分からないところを、検索で補強して理解するとか
何度か繰り返すうちに、理解できることもあるかもね
ともかく
貼るところからスタートです
642:１３２人目の素数さん
23/02/18 14:34:03.50 dtkuCIRJ.net
>>564
ついでにマジレスすれば
概均質ベクトル空間の話は
昔、佐藤幹夫先生自身が書いた記事を読んだことがあって
そのときのおぼろげな記憶では
ゼータ関数が構成できて、関数等式（リーマンζ類似）が成り立つ対象として
概均質ベクトル空間を考えたらしい
米国留学中か、帰ってきてからの時期だったらしい
それ読んで、佐藤幹夫先生も、ちょっとリーマンを狙っていた気もした
かなりいい加減な記憶ですがｗ
643:１３２人目の素数さん
23/02/18 15:31:34.34 RurR48Ue.net
>>580
そもそも
>>501 >ヤコビ記号(a/b) ・・・ (a/b+1)=(a/b)
はトンデモだけどな
それに気づかない耄碌爺も同じくトンデモ
爺は肝心なときに検索しないんだな
検索しても数式が全く読めない「式盲」か
ヤコビ記号
URLﾘﾝｸ(ja.wikipedia.org)
>>582
もう「箱入り無数目」の話はやめなよ
記事が正しいことが理解できない耄碌爺の完全敗北だから
>>587
> ここには、真正の東大数学科出身者も来ていたわけです
ついに耄碌爺も妄想か
> 我々が和kらずとも、彼には分かるかもしれないし
なにが？耄碌爺のコピペが？
誰であれ貴様のコピペを他人が分かったところで
肝心の貴様が理解できないことに変わりないだろ
> また、(自分が)すぐには分からなくとも、(ここに)貼っておけば
> 分からないところを、検索で補強して理解するとか
> 何度か繰り返すうちに、理解できることもあるかもね
はっきりいってそんなことでは決して理解に至らない
実際ラグランジュ分解式ですら
そのやり方で１０年経っても全く理解できず
「ガロア理論のガの字も分からんかった」とほざく
某私大数学科卒を称する正真正銘の大○○野郎
に先に理解されるという大失態を演じたわけだろ？
貴様は大○○野郎にも負けた超大○○野郎ってことだよ
> ともかく 貼るところからスタートです
ともかく貼る前に読めよ
なんで理解もせずに5chに張り付けて
他人の反応を得ようとするんだよ
貴様は レス乞食か？
644:１３２人目の素数さん
23/02/18 15:36:35.66 RurR48Ue.net
>>578
> 数学に対して論理を追求する発端となった
> 実フーリエ係数を使って書かれたフーリエ級数
> の論文を書いたフーリエは困った人扱いになるな
フーリエと乙は全然違うよ
フーリエには論理はあったんだよ
乙は自分の連想ゲームが論理だと誤解してるだけで
間違ったこと(>>501)を正しいと絶叫発狂してたんだよ
>>579
まあ、乙は統合失調症だから
病気による誇大妄想なんだろう
生暖かく見守ってやってな
645:１３２人目の素数さん
23/02/18 15:40:24.16 t2I4w+wE.net
>>579
実フーリエ級数の収束性を十分把握するには、Zygmundが書いた
三角級数の収束性の文献などを読む必要があって、本当に膨大な量になる
646:１３２人目の素数さん
23/02/18 15:51:43.76 t2I4w+wE.net
>>590
>フーリエには論理はあったんだよ
すべての一変数の実関数は三角級数で表されるという
フーリエの主張は正しいかというと答えはノーで、
そこから実フーリエ級数の収束性の研究は始まった
1900年代半ばのカールソン・フントの定理によって
一変数の実フーリエ級数のときの解決はなされた
それと共に、徐々に数学に対して論理の厳密化がなされていった
647:１３２人目の素数さん
23/02/18 15:56:33.94 t2I4w+wE.net
>>590
>乙は自分の連想ゲームが論理だと誤解してるだけで
>間違ったこと(>>501)を正しいと絶叫発狂してたんだよ
お前さんは、>>501が私ではないと何回いわせれば分かるんだ
お前さんも困ったちゃんだな
648:１３２人目の素数さん
23/02/18 16
649::05:46.37 ID:dtkuCIRJ.net
650:１３２人目の素数さん
23/02/18 16:24:35.17 eMB0tEx+.net
>>592
1900年代半ばとは？
ふつうは1960年代半ばという
Carleson's theorem is a fundamental result in mathematical analysis establishing the pointwise (Lebesgue) almost everywhere convergence of Fourier series of L functions, proved by Lennart Carleson (1966). The name is also often used to refer to the extension of the result by Richard Hunt (1968) to L functions f
651:１３２人目の素数さん
23/02/18 16:27:21.97 t2I4w+wE.net
>>594
>しかし、もう古くない？
全然。一変数の実フーリエ級数の収束性の問題と多変数の実フーリエ級数の収束性の問題とでは全く様相が違う
一変数フーリエ級数は少なくとも線形の pde には応用されるし、
多変数フーリエ解析だと線形だけでなく非線形の pde にも応用される
>そもそもが、フーリエがフーリエ級数を考えたとき、関数の収束の基礎付けはまだ不十分だったといわれる
それいうなら、一価の関数の基礎付け自体な
>そもそも、カントールが無限集合論を考えたのは、フーリエ級数の収束を考えるのに
>「”実数”の定義があいまいじゃね？」みたいな疑問からだったという
実数の定義の疑問はアーベルやライプニッツの時代まで遡れる
652:１３２人目の素数さん
23/02/18 16:28:50.85 ez0Jx4OU.net
＞クンマーは、円分体に対する深い考察により、
＞高次のベキの剰余に関する相互法則を与えた。
＞高次ベキの剰余の相互法則は、その後、
＞フルトヴェングラー (P. Furtwangler)により
＞全ての素数に対して与えられ、。。。
この記述だと、クンマーによる高次冪剰余の相互法則は、
全ての素数に対するものではなかったと読めるが、
フルトベングラーはクンマーのどの部分が不完全で
それを補って完全にしたというのだろうか？
653:１３２人目の素数さん
23/02/18 16:30:48.36 t2I4w+wE.net
>>595
何十年代だったかまでは正確に覚えてなく、すぐに思い出せなかった
654:１３２人目の素数さん
23/02/18 16:37:17.13 eMB0tEx+.net
定理
G≃K^{×}/K^{×}n
高次冪剰余の相互法則のためにはこの程度で十分らしい
655:１３２人目の素数さん
23/02/18 17:01:07.79 RurR48Ue.net
>>593
間違ったら自分ではないと切り捨てる
匿名の都合の良さはそこだが
そのよさを最大限に利用したいなら
くどくど言い訳しないことだ
656:１３２人目の素数さん
23/02/18 17:10:03.09 RurR48Ue.net
>>592
>>フーリエには論理はあったんだよ
>すべての一変数の実関数は三角級数で表される
>というフーリエの主張は正しいかというと
>答えはノーで、
この点に関しては完全な厳密性以前に
そのアイデアの妥当性がまず問題になる
フーリエの三角級数のアイデアは妥当だが
ルジャンドル記号もしくはヤコビ記号を
分数だと思い込むアイデアは妥当でない
657:１３２人目の素数さん
23/02/18 17:12:22.07 RurR48Ue.net
さらに477の「相互の積」の相互から
相互法則に脊髄反射するのも
同様に全く妥当でない
結論：記号や用語で脊髄反射するのは畜生
658:１３２人目の素数さん
23/02/18 17:12:45.93 eMB0tEx+.net
>>600
ミスはお互い様だよね
659:１３２人目の素数さん
23/02/18 17:12:56.65 t2I4w+wE.net
>>600
高次冪剰余の相互法則には関心がないし、
>>593に書いたようにそのことについて
書いたことがないといっているだろう
幾ら匿名とはいえ、調査すればどこのコンピュータで
誰がレスをしたか特定出来ることは常識
660:１３２人目の素数さん
23/02/18 17:18:18.73 RurR48Ue.net
ところで、「環」という言葉は
巡回群もしくは円周群S^1を示すもの
として用いたほうが良かった
と個人的には思う
661:１３２人目の素数さん
23/02/18 17:21:31.39 eMB0tEx+.net
>>602
>>さらに477の「相互の積」の相互から
>>相互法則に脊髄反射するのも
>>同様に全く妥当でない
ガウスの10代の発見として
淡中先生が1795年の相互法則を上げておられたが
その文献が挙げてなかったので
事実関係が確認できる機会かもしれないと思い利用したかった
662:１３２人目の素数さん
23/02/18 17:23:41.05 eMB0tEx+.net
>>605
体については何かありますか？
663:１３２人目の素数さん
23/02/18 17:24:55.99 RurR48Ue.net
>>605
では環は何と呼べばよかったかといえば
域(domein)で良かったのではないかと思う
ついでにいえば体もfieldの意味に沿えば「場」である
664:１３２人目の素数さん
23/02/18 17:26:42.05 RurR48Ue.net
>>603
そもそもミスが悪とか恥とか全く思わない
そう思う人は狂っているから
まず精神から治療したほうがいい
そうしなければ数学であれなんであれ
学ぶことはできないだろう
間違うことでしか正しさを理解できないのだから
665:１３２人目の素数さん
23/02/18 17:29:20.74 eMB0tEx+.net
体は最初「有理域」と呼ばれたが
デデキントが「感じがよくない」というので
「体(Ko"rper)」にした
これを英語でそのままいうとbodyだが
これには「死体」という意味があり
感じがよくないというのでfieldになったと
むかし教わったことがあります。
666:１３２人目の素数さん
23/02/18 17:34:25.50 RurR48Ue.net
>>610
Ko"rperも団体の意味がある
例えば軍隊の編成の単位である軍団とか
そういう意味では「団」でもいい
まあ「体」も「共同体」の意味なんだろう
有理共同体、実共同体、複素共同体
・・・まあ共同組合よりマシか
667:１３２人目の素数さん
23/02/18 20:12:45.10 dtkuCIRJ.net
>>610
668:それ面白いね なお 下記、独wikipediaをたどると Wulf-Dieter Geyerの文献にぶち当たるのです これ英語だから、そこそこ読めたよ （PDFの特性から、どうもコピーが効かないのが、残念ですが） https://de.wikipedia.org/wiki/K%C3%B6rper_(Algebra) Korper (Algebra) 6.Geschichte Wesentliche Ergebnisse der Korpertheorie sind Evariste Galois und Ernst Steinitz zu verdanken. Weitere Einzelheiten zur Genese des Begriffes liefert Wulf-Dieter Geyer in Kapitel Kapitel 2 seines Beitrages, in dem er u. a. auch die Rolle Richard Dedekinds hinweist (siehe Literatur). 6.歴史 体理論の重要な結果は、エヴァリスト ガロアとエルンスト シュタイニッツによるものです。Wulf-Dieter Geyer は、彼の寄稿の第 2 章で用語の起源に関する詳細を提供しています。また、 Richard Dedekindの役割も指摘しています(文献を参照)。 Literatur ・Wulf-Dieter Geyer: Field Theory. In: Volume I of the Proceedings of the Qinter School on Galois Theory, 15-24 February 2012, Universite du Luxembourg, Luxembourg. Juli 2013, abgerufen am 9. November 2022. siehe insbesondere Kapitel 2 (?Historical remarks about the concept of field“), Seite 29. https://wwwfr.uni.lu/content/download/75426/940966/file/ （PDFダウンロード）
669:１３２人目の素数さん
23/02/18 20:28:07.21 dtkuCIRJ.net
>>590
>>まあ、乙は統合失調症だから
統合失調症は、あなたですｗ ｽﾚﾘﾝｸ(math板:5番)
昭和の終わりに
某数学科で落ちこぼれて
35年
修士は情報工学へ進学したんだ
その後、おそらくはプログラム系へ就職かな？
プログラム系の仕事は、期限に追われる激務と言われる
まあ、精神に影響してしまったか？
だから、あんたの数学の時計の針は
35年前の学部レベルで止まってしまって
新しい数学の話題についてこれないんだね
だから、他人に「あきらめろ」とか叫ぶのでしょうね？
あんた、芸能板で
”なんとか坂道”の話だけ
してればいいじゃないの？
670:１３２人目の素数さん
23/02/18 21:17:42.64 StGGvAtO.net
>>612
ドイツ語が読めるんだったら
ディリクレ・デデキントの「整数論講義」を読んだらいいのに。
「有理域」がどれだけ長ったらしいか確認できる。
671:１３２人目の素数さん
23/02/18 21:47:30.52 RurR48Ue.net
>>613
> 統合失調症は、あなたです
別に偏見なしに
事実として述べるだけだが
統合失調症ではない
（アスペルガー症候群もしくは
シゾイドパーソナリティ障害の
可能性は濃厚だが
どちらも診断を受けたことはない
でもそんな感じの人は
数学科には珍しくないけど）
> 修士は情報工学へ進学したんだ
名目上は数学
でもその中に情報科学専攻があった
ほんの一時期だけどね
まあ、代数専攻とかトポロジー専攻とかいっても
実際はCAIだのなんだのと
全然別の事やってる学生は多々いたので
そういう意味では特別ではない
> その後、おそらくはプログラム系へ就職かな？
学部のころ就職活動とかいって
その手の会社の見学もいったが
いかにもしんどそうなのでやめたｗ
某教授の息子さん（大学の先輩）が勤
672:めていて しゃぶしゃぶを御馳走になったことだけ覚えてる > まあ、精神に影響してしまったか？ 仕事は別に忙しくないよ 数年前に突発性難聴になって 耳鳴りのせいで不眠症になったので 睡眠薬を処方してもらったが そのせいでかえって不調になったくらいか ただ睡眠薬は半年くらいでやめてしまい そこからウソみたいに回復したけどな 睡眠薬はやめといたほうがいいよ マジで
673:１３２人目の素数さん
23/02/18 21:55:50.36 RurR48Ue.net
>>613
> 新しい数学の話題についてこれないんだね
新しくなくてもついていけないｗ
ついていけるなら学部でも大学院でも
純粋数学の研究室に入ってる
> だから、他人に「あきらめろ」とか叫ぶのでしょうね？
誰彼なくいったりはしないよ
大学一年の線型代数も分からん奴が
なんかええかっこしてわかりもせんことを
延々とコピペしてるからやめとけといったまで
だって時間の無駄じゃん
実際１０年ドブに捨てたじゃん
そんなに難しいかとおもったけど
１のベキ根のベキ根表現なんて
１０日でわかっちゃったよ
これでわかっただろ？ あんた数学無理だよ
なんか自分に向いてることみつけたほうがいいって
> あんた、芸能板で”なんとか坂道”の話だけ
> してればいいじゃないの？
そっちのほうは御心配なく
君も政治関係の板でニッポン万歳！って
絶叫してればいいんじゃないの？
どうせJサポなんだろ？
もしかして新興宗教の信徒？
674:１３２人目の素数さん
23/02/18 23:49:39.77 dtkuCIRJ.net
>>615-616
一見えらく素直に見えるが
私の診断は、サイコパスだから ｽﾚﾘﾝｸ(math板:5番)
割り引かせてもらうけどねｗ
> 統合失調症ではない
にしては
統合失調症の薬（の会話）で、その手の薬に えらく詳しかったねｗｗ
> でもその中に情報科学専攻があった
ああ、なら実質情報科学と同じかな
逆に情報科学科に、情報系の数学を扱う研究室があったり。まあその逆だな
>実際はCAIだのなんだのと
CIA Computer Assisted Instructionの略か
> 睡眠薬を処方してもらったが
> そのせいでかえって不調になったくらいか
> ただ睡眠薬は半年くらいでやめてしまい
> そこからウソみたいに回復したけどな
話半分だな
で、あんた不遇なんだろ？ｗ
つづく
675:１３２人目の素数さん
23/02/18 23:51:46.81 dtkuCIRJ.net
>>617
つづき
> ついていけるなら学部でも大学院でも
> 純粋数学の研究室に入ってる
学部から
ずっと情報系の研究室ってことかい
>> だから、他人に「あきらめろ」とか叫ぶのでしょうね？
> 誰彼なくいったりはしないよ
> 大学一年の線型代数も分からん奴が
何をもって、他人に「線型代数分からん」と決めつけているかしらんけど
確かに、いまどき高校では行列を教えないというから
あえて”正方行列の逆元”と表現したけど
それを曲解したアホがいたな
行列と行列式＝線型代数 とは言わないけど
昔は、中学で３元連立方程式まで範囲でね
で、数学教師が３ｘ３マトリックスとクラメールの公式を裏技で教えてくれた（入試の検算用に使えと）
そのときに、３ｘ３を超えると計算量が増えて実用的ではないともね（下記 高校数学の美しい物語だね、今大学数学か？）
だから大学の線型代数など、中３の延長でしかない
（参考）
URLﾘﾝｸ(manabitimes.jp)
高校数学の美しい物語
クラメルの公式の具体例と証明 2021/03/07
レベル:◎大学数学 線形代数
目次
2変数の場合のクラメルの公式
一般の場合のクラメルの公式
3変数の場合の具体例
証明
クラメルの公式の計算量
(引用終り)
つづく
676:１３２人目の素数さん
23/02/18 23:58:01.95 dtkuCIRJ.net
>>618
つづき
> 延々とコピペしてるからやめとけといったまで
> だって時間の無駄じゃん
順番に行こうか・・
１）理解とは？
例えば、憲法とか法律（六法）がある。日本で生活する以上、「知らない」では不利益だろ？
だが、憲法学者や法律家ほど、深く理解し勉強する必要はない
ただ
677:、ある部分が自分の日常で問題になり、憲法や法律の一部に直面するときもあるだろう 同様に数学でもさ 専門家に相談することも必要だろうし、ある程度自分が理解しておくのが吉だよ（専門家と会話できる程度に） ２）何が必要になるか？ 事前には分からない： 効率が良いのは、自分に必要なことだけ勉強すればいいけどね。現実には、それは無理 数学も同じだろう。自分の人生や仕事で直面する部分だけを、選んで学習することはできない！ ３）いろんなレベルの人が居て良い： 昔言われたが、社会人は自分の深い専門分野と広い知識と両方必要だって 社会では、専門の違う人とも仕事をする。数学以外にも、物理の人も化学の人もいるよ。何にも知らないと、会話にならんぞ！ 数学屋でも、物理や化学に詳しい人いるよ。世の中そういうものよ あと、アインシュタインが一般相対性理論を作るとき、数学部分をグロスマンという友人にご教示してもらったらしい それで良いんじゃない？ 教えてもらったら。理解できる準備はいるよね ああ、あと答えのある試験問題を2時間で100点より、未知の問題を時間掛かっても60点とか、社会ではこっちじゃね？ そもそも、数学の学部試験で100点取らないとダメか？（100点は少ないだろうし） つまりそんな必要ないでしょ？ 短時間の限られた範囲の試験の100点満点で社会人の数学を計量しようというのは、計り方が必ずしも適切でないよね！ （院試は別ね） 分かったら、芸能板へ行きな 数学的内容が、コピペも含めて*書けないなら、このスレには不要だよ、あんた （* そもそも、どこの馬の骨か分からんやつの落書きみたいなカキコを、真に受けるかね？ 裏付けの無いカキコは、価値低いぜｗｗ） 以上
678:１３２人目の素数さん
23/02/19 07:00:03.71 wMMN+4ky.net
アインシュタインが一般相対性理論を作るとき必要になった数学は
リーマンが創始した多様体上の微分幾何(ガウスの曲面論の一般化)
これを踏まえて書き上げられた方程式は
現在も微分幾何学の重要な研究テーマである。
679:１３２人目の素数さん
23/02/19 07:14:17.83 11cGKNYx.net
>>617
> 一見えらく素直に見えるが
僕はもともと素直だが・・・君と違って
> 私の診断は、サイコパスだから
それは君に対する僕の診断
>>統合失調症ではない
>にしては統合失調症の薬に えらく詳しかったね
そんなん調べればわかるよ
> あんた不遇なんだろ？
数学の理解に関しては、ね
でもそんなん人生の中では実にちっぽけなことだろ？違うかい？
>>(大学院のその中に情報科学専攻があった
> ああ、なら実質情報科学と同じかな
だからそういってるけどｗ
東大のような古臭い大学だと
そもそも数理論理（＝数学基礎論）は
講座の中に入ってないし
>>618
> 学部からずっと情報系の研究室ってことかい
うむ、そこでプログラムと論理の関係について学んだ それが何か？
>何をもって、他人に「線型代数分からん」と
>決めつけているかしらんけど
>確かに、いまどき高校では行列を教えないというから
>あえて”正方行列の逆元”と表現したけど
その粗雑さが数学分かってない証拠
任意の正方行列に逆元が存在するわけではないから
「正方行列の逆元」と書いたら誤り
大学１年の線形代数が分かっていたら決して犯さないよ
だってそれこそ重要なポイントだから
では、どう書けばいいか
「行列式が０でない行列の逆元」
「ランクがサイズと等しい正方行列の逆元」
普通はどっちかを書くね 同値だけど
それ書かないのは・・・アホ
> 行列と行列式＝線型代数 とは言わないけど
別に言っていいよ 実際大学１年の線型代数のカリキュラムはそうじゃん
ジョルダン標準形とかやらなかったりする
テン�
680:\ルなんてまあやらない いったんここで切る
681:１３２人目の素数さん
23/02/19 07:26:41.92 11cGKNYx.net
>>618
> 昔は、中学で３元連立方程式まで範囲でね
いつの話だい？ｗ
> で、数学教師が３ｘ３マトリックスと
> クラメールの公式を裏技で教えてくれた
> （入試の検算用に使えと）
３×３ matrixのdeterminantを求める
サラスの方法は教えなかったのかい？
もちろん、教えてもらったんだろ？
で、そこから頭が書き変わってない、と
僕は遠山啓の「数学入門（上)」の
グラスマン代数を使った方法で知ったけど
ま、今風に言えば「グラスマン、やっべーな」と思ったよ
回転をクリフォード代数使って
スピノールで定義してたら、きっとこう言ってたよ
「クリフォード、マジ、やっぺーな」
> そのときに、３ｘ３を超えると
> 計算量が増えて実用的ではないともね
もともと、通常のdeterminantの定義では実用的でない
ただグラスマン代数の定義から、実は
行列の階段化で行列式も計算できちゃう
と分かるけどな
大学の線型代数の本は
なぜかグラスマン代数を表に出さずに
その証明をするけど、あんまり意味ないね
> だから大学の線型代数など、中３の延長でしかない
だから大学の線型代数が全く理解できなかった、と
determinantの定義も、その実効的な計算法も
そりゃ致命的だね
数学科じゃなく、工学部の学生としてもね
だってそんなもん、工学の常識でしょ
九九知らなかったら、掛け算を素早くできないじゃん
いちいち足し算を反復するかい？ｗ
682:１３２人目の素数さん
23/02/19 07:38:51.77 11cGKNYx.net
>>619
>>延々とコピペしてるからやめとけといったまで
>>だって時間の無駄じゃん
> 順番に行こうか・・
どうぞ
> 理解とは？
君はソクラテスかい？
> 例えば、憲法とか法律（六法）がある。
あるね
> 日本で生活する以上、「知らない」では不利益だろ？
別にｗ
> だが、憲法学者や法律家ほど、深く理解し勉強する必要はない
そもそも法律のような下らないものは要らない
法律はそれを強制する国家権力によって意味を持つ
なぜ、国家は権力によって法律を強制するのか？
それは国民の利益ではなく支配者の利益のためである
本当の意味での国民国家であるなら法律の強制は必要ない
国民同士の相互理解によって調整できるから
> ただ、ある部分が自分の日常で問題になり、
> 憲法や法律の一部に直面するときもあるだろう
国家の支配（ぶっちゃけていえば税金等）に関わる場合ね
実にくだらんことだ
> 同様に数学でもさ
数学を法律のようなものと思ってる時点でダメダメだな
ま、その不快な喩えは忘れようｗ
> 専門家に相談することも必要だろうし、
> ある程度自分が理解しておくのが吉だよ
>（専門家と会話できる程度に）
要するに
「全てを理解しなくていい
専門家と会話できる程度に分かっていれば十分」
といいたいらしい
で、その主張に対する僕のコメントは以下
「でも、君、専門家と会話できてないじゃん」
683:１３２人目の素数さん
23/02/19 07:44:24.86 wMMN+4ky.net
>>「正方行列の逆元」と書いたら誤り
分脈によるのでは？
フーリエは「任意の関数は三角級数に展開できる」と書いたのを
とがめられたが、だからと言って
フーリエがフーリエ級数を知らないことには」ならない。
684:１３２人目の素数さん
23/02/19 07:47:21.82 11cGKNYx.net
>>623
> 何が(専門家との会話に)必要になるか？
> 事前には分からない：
最低限必要になるのは
「用語の定義と、述語論理」
つまり言葉
単語の意味と文法は必要だろう？
> 効率が良いのは、自分に必要なことだけ勉強すればいいけどね。現実には、それは無理
> 数学も同じだろう。自分の人生や仕事で直面する部分だけを、選んで学習することはできない！
君の学習効率が悪いのは
「言葉を正しく覚えずに中身を理解しようとするから」
線型代数の件がいい例
中学時代に塾の講師からコッソリ聞いたとかいう
３×３行列までしかつかえない裏技で終わってる
任意のｎ×ｎ行列で使える方法（グラスマン代数）はある
しかも掃き出し法で計算してもＯＫということまで論理で推論できる
こんな美味しい結果はない
君はそれを理解せずにドブに捨てたまま今日まで来ちゃったわけだ
実にもったいない！！！
同じ過ちを繰り返さない方法は何か？
言葉を覚えることだよ
ああ、僕、今、とってもいいこといったな（ドヤ顔）
685:１３２人目の素数さん
23/02/19 08:00:30.44 11cGKNYx.net
>>625
> いろんなレベルの人が居て良い：
そこは一度も否定してない
君が勝手にバカな自分を否定してるだけ
僕は君がバカなこと自体は否定してない
バカであることを隠蔽してリコウぶるウソを否定してる
> 昔言われたが、社会人は自分の深い専門分野と広い知識と両方必要だって
> 社会では、専門の違う人とも仕事をする。
> 数学以外にも、物理の人も化学の人もいるよ。
> 何にも知らないと、会話にならんぞ！
> 数学屋でも、物理や化学に詳しい人いるよ。
> 世の中そういうものよ
で、君は今数学の人を会話できる能力があるか、といえばない
知識とかいう以前に言葉が分かってない
用語の定義と述語論理の最低限の使い方、それすら分かってない
それじゃ、言葉が通じないのよ
> 分かったら、芸能板へ行きな
> 数学的内容が、コピペも含めて書けないなら、
> このスレには不要だよ、あんた
君こそ、他所の板に逝きなよ
コピペの「数学言語による文章」が読めないなら
この数学板に居ても無意味だよ
１０年居ても、ラグランジュ分解式も使えなかったじゃん
３６５０日、無駄に過ごしたわけだ
僕は１ケ月（３０日）で結果出したよ
君の１００倍、いいパフォーマンスをしたよね
ま、灘とか筑駒とか麻布とかの高校生でもわかる
ハナクソみたいな結果で自慢するつもりないけどさ
（ドヤ顔）
> そもそも、どこの馬の骨か分からんやつの落書きみたいなカキコを、真に受けるかね？
> 裏付けの無いカキコは、価値低いぜ
どこの誰が書いたかなんてどうでもいい
筋が通っていれば、価値がある
ここにいた数論好きの落ちこぼれ２号君が何者かはしらない
数学科出身だと思うが、大学の教師とかではないらしい
でも僕は彼から聞いた話で、円分多項式の根のベキ根表示を理解した
君は彼から話を聞いても、やっぱり理解しなかった
これは白と黒ほど明確な違いがあるけどね
だからいってるじゃん まず言葉を理解しろって
686:１３２人目の素数さん
23/02/19 08:08:52.69 11cGKNYx.net
>>624
>>「正方行列の逆元」と書いたら誤り
> 文脈によるのでは？
> フーリエは
>「任意の関数は三角級数に展開できる」
>と書いたのをとがめられたが、
>だからと言って
>フーリエがフーリエ級数を知らない
>ことにはならない。
もちろん文脈は大事だ
僕は
「任意の正方行列は逆行列をもつ」
と迂闊な発言をした御仁に対して
「掃き出し法を知らない」
とはいってない
殆ど全ての正方行列は逆行列を持つ
そして逆行列は実は掃き出し法でも求まる
「三角級数への変換」も同等だろう
工学屋の粗雑な数学使用法では
そんなことは例外として処理されるだけ
しかしそういう粗雑な精神では現代数学は理解できない
群の話をしようとしているのに
「任意の正方行列は逆行列をもつ」
といったらダメ
関数空間の話をしようとしているときに
「任意の関数は三角級数に展開できる」
といったらダメ
そういう文脈よ
工学屋の粗雑な数学利用という
野蛮極まりない文脈ではない
687:１３２人目の素数さん
23/02/19 08:24:04.59 11cGKNYx.net
工学屋の
「問題解けりゃいい」
という野蛮な「文脈」で考えると
一般線型群GL(ｎ)とかいうもの
は全く意味がないことになる
（そもそも群が意味がない？）
そして同様の野蛮な文脈では
「代数方程式のガロア群」
もまた全く意味がない
任意のｎ次代数方程式は
重解も込めてちょうどｎ個の根を持つ
そしてその根は
ガロア理論とは全く無縁の方法
（線形方程式系における掃き出し法のような野蛮な方法）
で求めることができる
688:１３２人目の素数さん
23/02/19 08:40:45.78 11cGKNYx.net
述語論理の基本
∀ｘＰ（ｘ）とは 宇宙全体の中の対象ｏ全てについてのＰ（ｏ）の論理積（∧）
∃ｘＰ（ｘ）とは 宇宙全体の中の対象ｏ全てについてのＰ（ｏ）の論理和（∨）
689:１３２人目の素数さん
23/02/19 09:02:56.15 wMMN+4ky.net
∀と∃はいちいち書いていると文章が汚くなるので
改まってきちんと述べるときでないと使いたくない
690:１３２人目の素数さん
23/02/19 11:17:01.22 ynjTT/Eh.net
>>614
>ドイツ語が読めるんだったら
>ディリクレ・デデキントの「整数論講義」を読んだらいいのに。
>「有理域」がどれだけ長ったらしいか確認できる。
ありがとう
ドイツ語は、独アルファベット程度は読めるが、検索すると
下記ですね
ディリクレデデキント整数論講義 11. 代数的整数の理論で
下記独語版での §.160. Zahlenkorper ,452で
注**
691:in meinen Gottinger Vorlesungen (1857 bis 1858), hatte ich denselben Begriff mit dem Namen eines rationalen Gebietes belegt, der aber weniger bequem ist. ↓（google訳 独→英） in my Gottingen lectures (1857-1858), I gave the same term the name of a rational domain, but this is less convenient. つまり 以前は、rationalen Gebietes＝rational domain＝「有理域」だった。（Korperにしたことへの注） まあ、一言でいえば、”長ったらしい”（上記）。つまり、繰り返し書く用語は、短く簡潔であるべしってことですよねｗ 良く分かりました！ （参考） https://www.kyoritsu-pub.co.jp/book/b10011304.html 共立出版 ディリクレデデキント整数論講義 著者 P.G.L.DIRICHLET 著・ J.W.R.DEDEKIND 著・ 酒井 孝一 訳・解説・ 正田 建次郎 監修・ 吉田 洋一 監修 目次 補遺 11. 代数的整数の理論 https://en.wikipedia.org/wiki/Peter_Gustav_Lejeune_Dirichlet Johann Peter Gustav Lejeune Dirichlet (German: [l????n di?i?kle?];[1] 13 February 1805 ? 5 May 1859) Gottingen (1855?1859) Dedekind, who felt that there were gaps in his mathematics education, considered that the occasion to study with Dirichlet made him "a new human being".[2] He later edited and published Dirichlet's lectures and other results in number theory under the title Vorlesungen uber Zahlentheorie (Lectures on Number Theory). つづく
692:１３２人目の素数さん
23/02/19 11:17:26.11 ynjTT/Eh.net
>>631
つづき
URLﾘﾝｸ(en.wikipedia.org)
Vorlesungen uber Zahlentheorie (German for Lectures on Number Theory) is the name of several different textbooks of number theory. The best known was written by Peter Gustav Lejeune Dirichlet and Richard Dedekind, and published in 1863.
Dirichlet and Dedekind's book
This translation does not include Dedekind's Supplements X and XI in which he begins to develop the theory of ideals.
The German titles of supplements X and XI are:
Supplement X: Uber die Composition der binaren quadratische Formen (On the composition of binary quadratic forms)
Supplement XI: Uber die Theorie der ganzen algebraischen Zahlen (On the theory of algebraic integers)
URLﾘﾝｸ(archive.org)
textsVorlesungen uber Zahlentheorie. Hrsg. und mit Zusatzen versehen
by Lejeune-Dirichlet, Peter Gustav, 1805-1859; Dedekind, Richard, 1831-1916
Publication date 1894
Topics Number theory
Publisher Braunschweig F. Vieweg
Collection gerstein; toronto
Digitizing sponsor University of Toronto
Contributor Gerstein - University of Toronto
Language German
(DOWNLOAD OPTIONS PDFより)
つづく
693:１３２人目の素数さん
23/02/19 11:17:48.22 ynjTT/Eh.net
>>632
つづき
目次
XI. Ueber die Theorie der ganzen algebraischen Zahlen.
§.160. Zahlenkorper ,452
Ein System A von reellen oder complexen Zahlen a soll ein Korper**) heissen,
**) Vergl. §. 159 der zweiten Auflage dieses Werkes (1871).
Dieser Name soll, ahnlich wie in de
694:n Naturwissenschaften, in der Geometrie und im Leben der menschlichen Gesellschaft, auch hier ein System bezeichnen,das eine gewisse Vollstandigkeit, Vollkommenheit, Abgeschlossenheit besitzt,wodurch es als ein organisches Ganzes, als eine naturliche Einheit erscheint. Anfangs, in meinen Gottinger Vorlesungen (1857 bis 1858), hatte ich denselben Begriff mit dem Namen eines rationalen Gebietes belegt, der aber weniger bequem ist. Der Begriff fallt im Wesentlichen zusammen mit Dem, was Kronecker einen Bationalitatsbereich genannt hat ( Grundzuge einer arithmetischen Theorie der algebraischen Grossen. 1882). Vergl. auch die von H. Weber und mir verfasste Theorie der algebraischen Functionen einer Veranderlichen. (Crelle's Journal, Bd. 92, 1882). （google訳 独→英） A system A of real or complex numbers a shall be called a field**), **) cf. §. 159 of the second edition of this work (1871). As in the natural sciences, in geometry and in the life of human society, this name is also intended here to denote a system that has a certain completeness, perfection, closure, which makes it appear as an organic whole, as a natural unit. At first, in my Gottingen lectures (1857-1858), I gave the same term the name of a rational domain, but this is less convenient. The term essentially coincides with what Kronecker called a domain of batation (Basics of an arithmetic theory of algebraic magnitudes. 1882). compare also the theory of the algebraic functions of a variable written by H. Weber and myself. (Crelle's Journal, Vol. 92, 1882). (引用終り) 以上
695:１３２人目の素数さん
23/02/19 15:09:25.06 11cGKNYx.net
>>631-633
耄碌爺
今日もコピペで
レスを乞う
696:１３２人目の素数さん
23/02/19 16:30:44.55 ynjTT/Eh.net
>>622
> グラスマン代数を使った方法で知ったけど
> ま、今風に言えば「グラスマン、やっべーな」と思ったよ
グラスマン代数ね
下記の外積代数かい？
URLﾘﾝｸ(ja.wikipedia.org)
外積代数（がいせきだいすう、独: ausere Algebra、英: exterior algebra）は、ヘルマン・グラスマンによって導入された代数。グラスマンに因みグラスマン代数（独: Grasmann-Algebra、英: Grassmann algebra）[注 1]とも呼ばれる。
注釈
1^ Grassmann (1844) では拡大された代数 (extended algebra) として導入されている (cf. Clifford 1878)。おそらく現代的な線型代数学において定義されるところの outer product との区別のために、グラスマンは彼の定義した（今日では便利に外積 (exterior product) と呼ばれる）積 (produkt) を指し示すだけのために ausere（逐語訳すれば外の (outer) あるいは外部の(exterior)）という言葉を用いた。
URLﾘﾝｸ(en.wikipedia.org)
Exterior algebra
URLﾘﾝｸ(hooktail.sub.jp)
外積代数
これから，今まで知っていた代数と少し異なる新しい代数を勉強します．代数とは，乗法の定義されたベクトル空間のことでしたが，これから考える乗法は，既にご存知のベクトルの外積に少し似た乗法です．これを 外積代数 と呼びます．しかし，これから考える乗法はベクトルの外積よりも，もっと一般的なものですので，ひとまずベクトルのことは忘れておくと良いと思います．外積代数はそれ自体でも面白いのですが，微分形式もしくは外微分形式と呼ばれる強力なツールを勉強するための土台になります．（微分形式は，物理や工学などに幅広く応用できる強力な理論です．外積代数だけでは，少し数学的すぎて無味乾燥に感じるかも知れません．）
697:どうしても微分形式を早く勉強したい人は，外積代数カテゴリーの後半の記事は飛ばして先に行っても大丈夫ですが，最低 ホッジ作用素 の記事の内容は押さえておいた方が良いと思います． (引用終り) 以上
698:１３２人目の素数さん
23/02/19 16:44:01.65 ynjTT/Eh.net
>>622
> 僕は遠山啓の「数学入門（上)」の
> グラスマン代数を使った方法で知ったけど
多分、これ勘違いだな
下記、岩波の遠山啓の「数学入門（上)（下）」
の目次と試し読み（上)（下）見る限り
グラスマン代数は、無いだろう
グラスマン代数を入れるためには、ベクトルをやっておかないといけないからね
（揉めるなら、図書館で確認しても良いがねｗ）
遠山啓の「数学入門」は、チラ見した気もするんだよ、はっきり覚えてないが
微積やって終りだったような。いま見ると、微分方程式が最後か
高校数学IIIの範囲だね
（参考）
URLﾘﾝｸ(www.iwanami.co.jp)
数学入門 （上）
著者 遠山 啓 著
刊行日 1959/11/17
試し読み （冒頭からP14まで） URLﾘﾝｸ(www.iwanami.co.jp)
目次
はしがき
I 数の幼年期
II 分離量と連続量
III 数の反意語
IV 代入─ずるい算数
V 図形の科学
VI 円の世界
VII 複素数─最後の楽章
URLﾘﾝｸ(www.iwanami.co.jp)
数学入門 （下）
著者 遠山 啓 著
刊行日 1960/10/20
試し読み （冒頭からP16まで） URLﾘﾝｸ(www.iwanami.co.jp)
目次
VIII 数の魔術と科学
IX 変化の言語─関数
X 無限の算術─極限
XI 伸縮と回転
XII 分析の方法─微分
XIII 総合の方法─積分
XIV 微視の世界─微分方程式
あとがき
(引用終り)
以上
699:１３２人目の素数さん
23/02/19 16:58:16.72 ynjTT/Eh.net
>>622
> 回転をクリフォード代数使って
> スピノールで定義してたら、きっとこう言ってたよ
> 「クリフォード、マジ、やっぺーな」
言葉のサラダ？
なんか、昔見たね（物理の本だったような）
下記だね
（遠山には、無いな）
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
クリフォード代数は結合多元環の一種である。K-代数として、それらは実数、複素数、四元数、そしていくつかの他の超複素数系を一般化する
クリフォード代数の理論は二次形式と直交変換の理論と密接な関係がある。クリフォード代数は幾何学、理論物理学、デジタル画像処理を含む種々の分野において重要な応用を持つ。イギリス人幾何学者ウィリアム・キングドン・クリフォードにちなんだ名称である
外積代数の量子化として
クリフォード代数は外積代数と近い関係にある。実は、Q = 0 であればクリフォード代数 C?(V, Q) はちょうど外積代数 ?(V) になる。零ではない Q に対して基礎体 K の標数が 2 でないときにはいつでも ?(V) と Cl(V, Q) の間の自然な「線型」同型が存在する。つまり、それらはベクトル空間として自然に同型であるが、異なる乗法を与える（標数 2 の場合にはそれらはなおベクトル空間として同型であるが、自然にではない）。指定された部分空間とクリフォード乗法を合わせたものはその内容が外積代数にくらべるて真により豊かである、なぜならば Q がもたらす追加の情報を使うからである
より正確には、ワイル代数が対称代数の量子化であるのと同じ方法で、クリフォード代数は外積代数の量子化（cf. 量子群）であると考えることができる
ワイル代数とクリフォード代数ではさらに *-環という構造を持ち、CCR and CAR algebras において議論されているように、超代数（英語版）の偶項と奇項として統一できる
スピノルノルム
詳細は「en:Spinor_norm」を参照
スピン群とピン群
詳細は「スピン群」、「ピン群」、および「スピノル」を参照
実スピノル
詳細は「スピノール」を参照
コンピュータビジョン
最近、クリフォード代数はコンピュータビジョンにおける action recognition と分類の問題において応用されている
(引用終り)
以上
700:１３２人目の素数さん
23/02/19 17:19:14.89 ynjTT/Eh.net
>>622
> ３×３ matrixのdeterminantを求める
> サラスの方法は教えなかったのかい？
ご苦労さん
サラスの方法というのか？ 検索した？
下記の”高校数学(←Top) > 高卒～大学数学 == クラメルの公式 ==”
だね（図があるよ）
昔は、”たすき掛け”といってね
下記の2行2列と3行3列の行列式の両方に使えるよ
（図がある。但し、高卒～大学数学 == クラメルの公式 ==の図解の方が分かり易いね）
（参考）
URLﾘﾝｸ(www.geisya.or.jp)
高校数学(←Top) > 高卒～大学数学
== クラメルの公式 ==
［3次の行列式の求め方：簡単に復習］
(A) 3次正方行列の行列式の値を求める「サラスの方法」と呼ばれる覚え方がある（sarrus［フランス人，人名］）．
(B) ただし，サラスの方法は４次以上の場合には適用できないので，ここでは余因子展開によって行列式の値を求める方法も解説する．
(A) サラスの方法
URLﾘﾝｸ(www.iwata-system-support.com)
【CAEのための数学入門】
１．ベクトルと行列
URLﾘﾝｸ(www.iwata-system-support.com)
＜1.18 2行2列と3行3列の行列式＞
701:１３２人目の素数さん
23/02/19 17:36:55.15 ynjTT/Eh.net
>>621
> ジョルダン標準形とかやらなかったりする
ジョルダン標準形は、講義では無かった気がするが
別の本で知っていた（常識でしょ？ 自慢するほどのことか？）
> テンソルなんてまあやらない
テンソルは、物理の一般相対性理論で自分で勉強したし
力学で、応力テンソルなどと出てくる
テンソルごときで、自慢されても・・ねｗ
URLﾘﾝｸ(ja.wikipedia.org)
応力
この物理量には応力ベクトル (stress vector) と応力テンソル (stress tensor) の2つがあり、単に「応力」といえば応力テンソルのことを指すことが多い。
URLﾘﾝｸ(ja.wikipedia.org)
連続体力学
概要
主な連続体として弾性体と流体がある[1]。
行列 (σxij)i,jを連続体の応力テンソルという。
702:１３２人目の素数さん
23/02/19 17:49:28.97 ynjTT/Eh.net
>>620
>アインシュタインが一般相対性理論を作るとき必要になった数学は
>リーマンが創始した多様体上の微分幾何(ガウスの曲面論の一般化)
>これを踏まえて書き上げられた方程式は
>現在も微分幾何学の重要な研究テーマである
へー
そうなのか
下記だね
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
一般相対性理論におけるアインシュタイン方程式（英: Einstein's equations, Einstein Field Equations）[注 1]は、万有引力・重力場を記述する場の方程式である。アルベルト・アインシュタインによって導入された。
URLﾘﾝｸ(ja.wikipedia.org)
微分幾何と数理物理において、アインシュタイン多様体(Einstein manifold)は、リッチテンソルが計量テンソルに比例するリーマン多様体もしくは、擬リーマン多様体である。通常、一般相対論で研究する 4次元のローレンツ多様体とは違い、この条件は、符合と同様に計量の次元も任意であることが可能であるにもかかわらず、この条件と計量が（宇宙定数を持つ）真空のアインシュタイン方程式の解であることとが同値であるとの理由から、アインシュタイン多様体はアルベルト・アインシュタイン(Albert Einstein)の名前に由来している。
アインシュタインの条件とアインシュタイン方程式
例
アインシュタイン多様体の例を挙げる。
応用
4次元リーマンアインシュタイン多様体は、重力の量子論の重力インスタントンとして数理物理学でも重要である。
つづく