23/03/14 11:19:04.30 O8Fgompo.net
>>373
>多元数理には多元数の大家がいたのだが
ありがとう
多元数理は、下記の名古屋大かな？ 多元数の大家か・・、すぐ浮かばないのが残念です
URLﾘﾝｸ(www.math.nagoya-u.ac.jp)
名古屋大学 大学院多元数理科学研究科・理学部数理学科
在学生の方へ
多元数理科学研究科の学習については大学院多元数理科学研究科での学び方，学位など大学院後期課程のことについては大学院後期課程についてを参照ください．
(引用終り)
ところで、話が違うけど、プロのご意見を聞いてみたいのが、下記の話題のIUTです
スレ違いですが、ご容赦
（IUTの成否は別におくとして、下記の一般論としてで結構です）
１）RIMSの査読と出版は適正だったか？
私の意見は、神の目からはともかく、人としてベストを尽くしたと思っています
（いい加減な瑕疵ある論文を通しても、本人のためにならなし、だれのためにもならない）
２）ショルツェ氏の批判の下記手法の”radical simplifications”は、普通数学では使用されないのでは？
（数学以外の特に文系の議論では常用手法ですが）
つまり、極論すると数学の定義を書き換えてしまうわけで、定義を書き換えたら数学として基本は別ものでしょ
私らは、外野の応援席から眺めていますが、プロのご意見を伺ってみたかったので
簡単で結構ですので、ご意見を書いて頂ければ幸甚です
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Why abc is still a conjecture
PETER SCHOLZE AND JAKOB STIX Date: August 23, 2018.
P4
2.1.節
To facilitate the discussion, we will describe
(only) the notions that are strictly relevant to explain what we regard as the error. This will
involve certain radical simplifications, and it might be argued that such simplifications strip
away all the interesting mathematics that forms the core of Mochizuki’s proof.
376:１３２人目の素数さん
23/03/14 11:37:12.80 O8Fgompo.net
>>374
ありがとう
中山 正先生か
URLﾘﾝｸ(ja.wikipedia.org)
中山 正（なかやま ただし、1912年7月26日 - 1964年6月5日[1]）は、日本の数学者（環論・表現論）。
略歴
東京生まれ[1]。1935年、東京帝国大学を卒業[1]。1937年から2年間、プリンストン高等数学研究所に滞在。1941年、大阪帝国大学より博士号を取得[2]。1944年、名古屋大学教授。1954年に日本学士院賞を受賞[3] [4] [5]。代数学における中山の補題で有名。1964年に結核のため死去。
主な著作
学位論文
博士号（理学） 中山正 『On frobeniusean algebras』大阪帝国大学、1941年。 NAID 500000315242。 [報告番号不明]
書籍
『局所類体論』、岩波書店〈岩波講座数学9 別項〉、1935年。NCID BN14766638。
『束の代数的理論』、岩波書店〈現代数学叢書 束論; I〉、1944年。NCID BN1058006X。
『代数系と微分 : 代数学よりの二三の話題』、河出書房〈数学集書4〉、1948年。NCID BN04295422。
『集合・位相・代数系』改版、至文堂、1965年。NCID BN13519043。
共著
東屋五郎『環論』、岩波書店〈現代数学5 代数学 2〉、1954年。 NCID BN02068361。
松島与三、秋月康夫、永田雅宜『リー環論 . 近代代数学 . ホモロジー代数学』、服部昭（編）、共立出版〈現代数学講座[6]〉、1956年。 NCID BN04204212。復刊、2010年。
377:１３２人目の素数さん
23/03/14 12:39:58.44 PzzRlrSe.net
おサルの無様な詰み、確と見届けたw
378:１３２人目の素数さん
23/03/14 12:40:45.52 PzzRlrSe.net
by おっちゃん
379:１３２人目の素数さん
23/03/14 13:38:14.42 O8Fgompo.net
>>377-378
>おサルの無様な詰み、確と見届けたw
>by おっちゃん
おっちゃん、ありがとう
スレ主です
・おサルさん >>ｽﾚﾘﾝｸ(math板:5番)
彼は、結局数学科で落ちこぼれて35年
数学科以外で自分より上がいると、落ちこぼれた自分がみじめで許せないんだ
だから、結局ヤクザの因縁と同じ
・数学の議論をする気など、まるでない
自分が答を知っているテキストの演習問題みたいなのを出して、得意顔なのだ
答えると、間違えたら喰いつくつもりだし、合っていたら次の出題になるのが、見えている
・そして>>351に書いた通りだが、自分で
”肝心だと思う事を2048バイト以内で書くことが重要”>>338とか
ハードル上げて、しかし、自分がそのハードルを越えられなくなってしまった
・で、>>341が巧まずして絶妙なのは、完全解ではなく、
出題者への補完を促しているのだが
”肝心だと思う事を2048バイト以内で書くことが重要”とか
自分でハードル上げてしまったから、補完できず沈没してしまったんだね
つまり”たくまずして、絶妙に詰んでいる”ってことだｗ>>348
やれやれｗｗｗ
380:１３２人目の素数さん
23/03/14 19:20:35.32 +voewM+r.net
>>375
全く個人の感想の範囲を出ないけど
自分の専門分野で難問が解かれたときの経験を一つ。
その論文が出たとき、これを理解できなければ自分は終わりだと思い
懸命に読んで、自分流の解釈を見つけ出して
別証明を論文にして発表した。
望月論文に対してそういうことができる専門家が
一人もいないようなのは腑に落ちない。
381:１３２人目の素数さん
23/03/14 20:13:06.85 bQV51cAg.net
>>377-379
東京●●大と大阪●●大
落ちこぼれ同士の共鳴
> 数学科以外で自分より上がいると、
> 落ちこぼれた自分がみじめで許せないんだ
誰が上？貴様が？
正則行列も知らず
任意の正方行列に逆行列があると
大嘘ぶっこいた馬鹿野郎の貴様が？
悪いが貴様より下なんかいねえよｗ
で、>>357-360のコピペの要約もできんのか？
こんなもんハードル下げまくってるぞ
それでも答えられんのか？
じゃ解答で二匹の落ちこぼれのゴキブリを焼き尽くすかｗ
まず358はR上の多元体で1以外の基底は
みな2乗すると-1になるといってる
この証明には代数学の基本定理とケイリー・ハミルトンの定理を使ってる
ま、どっちの定理の証明も1には生涯理解できまいから全部省略するｗ
次に359は多元体をR上の線形空間とみなした場合の生成元の基底を取ったとき
生成元の数が1つなら複素数C (e1^2=-1）
生成元の数が2つなら四元数H （e1^2=e2^2=-1、e1e2=-e2e1 ゆえに(e1e2)^2=-e1^2e2^2=-1）
最後に360は生成元の数が3以上だとe1e2en=1となるから、
358に述べた定理によって多元体にならないと言ってる
たったこんだけだぞ、なんで書けないんだ？
正真正銘のパクチー野郎か？１と乙は？（嘲）
382:１３２人目の素数さん
23/03/14 20:20:03.11 bQV51cAg.net
>>375
> １）RIMSの査読と出版は適正だったか？
答えは否
そもそも誰が査読者か知らんが
理解できないのだから査読を引き受けるべきではなかった
> ２）ショルツェ氏の批判の下記手法の”radical simplifications”は、
> 普通数学では使用されないのでは？
馬鹿の一つ覚えで”radical simplifications”といってるが
そもそも望月がまったく中身を書けていない箇所していないから
その中身として”radical simplifications”を想定したら矛盾する
といったまでのこと
矛盾しない中身を示すのは望月新一の義務だが
彼はとうとうできなかった
> 私らは、外野の応援席から眺めていますが、
そもそも応援が馬鹿
数学にナショナリズムを持ち込むb●違いは死ねよ
383:１３２人目の素数さん
23/03/14 20:23:31.43 bQV51cAg.net
ところでなんでRとCとHの話をしたかといえば
↓これを理解しようと学習を始めたから
Bott periodicity theorem
URLﾘﾝｸ(en.wikipedia.org)
ま、1には生涯無理だから決して関心持つなよ
下痢コピペ垂れ流すのがオチだからな
384:１３２人目の素数さん
23/03/14 20:52:50.12 5bTCTU61.net
>>380
ありがとう
なるほど
それは一つの見解ではあるね
で、正しいかどうか分からないが
Inter-universal geometry と ABC予想 (応援スレ) 68
ｽﾚﾘﾝｸ(math板:281番)
281 2023/03/14(火) 02:38:22.45 ID:EzJL6k5J
>>12
Joshi は自分の論文のパートIIIでABC予想解けるって言ってたけど
先だって出したのはパートIIの書き直しだな早よしろ
ショルツェは女子と話してて自分が文句があるのは望月の書き方みたいな事言ってたみたいだし
早よ決着つけて
(引用終り)
これ下記かな？ JoshiのパートIIIでABC予想解けて、認められたら
IUTにも春が来るかな？ｗ
URLﾘﾝｸ(arxiv.org)
[Submitted on 3 Mar 2023]
Construction of Arithmetic Teichmuller spaces II: Proof of a local prototype of Mochizuki's Corollary~3.12
Kirti Joshi
This paper deals with consequences of the existence of Arithmetic Teichmuller spaces established arXiv:2106.11452 and arXiv:2010.05748. Theorem~9.2.1 provides a proof of a local version of Mochizuki's Corollary~3.12. Local means for a fixed p-adic field. There are several new innovations in this paper. Some of the main results are as follows. Theorem~3.5.1 shows that one can view the Tate parameter of Tate elliptic curve as a function on the arithmetic Teichmuller space of [Joshi, 2021a], [Joshi, 2022b]. The next important point is the construction of Mochizuki's Θgau-links and the set of such links, called Mochizuki's Ansatz in \S6. Theorem~6.9.1 establishes valuation scaling property satisfied by points of Mochizuki's Ansatz (i.e. by my version of Θgau-links). These results lead to the construction of a theta-values set (\S8) which is similar to Mochizuki's Theta-values set (differences between the two are in \S8.7.1). Finally Theorem~9.2.1 is established. For completeness, I provide an intrinsic proof of the existence of Mochizuki's log-links (Theorem 10.9.1), log-links (Theorem~10.14.1) and Mochizuki's log-Kummer Indeterminacy (Theorem~10.19.1) in my theory.
385:１３２人目の素数さん
23/03/14 21:33:54.30 ORaQ6xIQ.net
>>これ下記かな？ JoshiのパートIIIでABC予想解けて、認められたら
>>IUTにも春が来るかな？ｗ
arXivを検索して眺めてみた。
この論文で引用されているJoshiさんの論文が
一つも専門誌に掲載されたことがないのが気になった。
自分の専門にもこの手の人はいるなあと思った。
386:１３２人目の素数さん
23/03/14 21:38:02.15 5bTCTU61.net
>>381
あららのら！ｗｗｗ
>>330
"1には解けぬ問題
Q1.実数体R上の有限次元線型空間である可換体はRと複素数体Cのみであることを示せ
Q2.実数体R上の有限次元線型空間である斜体はR,Cと四元数体Hのみであることを示せ"
だったよね（特に、”1には解けぬ問題”）
でもな >>341で の東大数学科出身のプロ数学者が、
「小野孝先生の有名な本のp.192-193」>>336と言って
彼は>>341の最後で「小難しい技術的なところがあるので覚えられない」として、
小野本を見ながらであることを示唆している
要するに、ここは試験場でも教室でもない
本を見るのもありだし、web検索もありのオープンな空間だ
だから、私がweb検索をするのも、上記東大数学科出身のプロ数学者が小野本を見るのも似たようなもの
（理解の深さは違うとしてもだｗ）
で、お主がやったことは、
おいらがweb検索した Frobenius theorem (real division algebras) URLﾘﾝｸ(en.wikipedia.org)(real_division_algebras)
に、乗っかって、コメント付けただけじゃん
いや、それは良いよ
悪いとは言わないが
”1には解けぬ問題”ではないだろう
残念だったろうがね
四元数の話を聞いたのは、いつだったか思い出せない
高校で教師が複素数のついでに話したような気もするし
大学1年の代数学に、話だけはあったような気もする
そして、多元数、多元体というキーワードも当然知っていた
小野本は持ってないけど、代わりのweb検索は容易にできる
なお、昔は岩波数学辞典（第二版）はよく見ていた（web検索がなかったから）
もしweb検索ができなければ、岩波数学辞典は見たろうね（それだけでは解けないだろうが、ヒントはつかめる）
ああ、そうそう
おサルさん、がんばったね
えらい、えらいね～！
387:１３２人目の素数さん
23/03/14 21:46:29.83 5bTCTU61.net
>>385
>この論文で引用されているJoshiさんの論文が
>一つも専門誌に掲載されたことがないのが気になった。
>自分の専門にもこの手の人はいるなあと思った。
なるほど
それは、かなり専門的な鋭い分析だね
今しばし、白か黒かの決着はかかりそうかも
Joshiさんの論文がどうなるかは知らないが
arXivで、日付だけは先付けできているんだ
IUTが認められれば、どっかに掲載される可能性あるだろうし
逆なら、一緒に沈むだろう
388:１３２人目の素数さん
23/03/14 22:02:19.14 bQV51cAg.net
>>386
> ”1には解けぬ問題”ではないだろう
解けなかったけどな
1は答えを見ても理解できなかったから
> 残念だったろうがね
悔しいだろう？1
英語も数式も読めなくて
> 小野本は持ってないけど、代わりのweb検索は容易にできる
でもそこまで
英語も読めず、数式も読めない
正真正銘のパクチー
>>381で馬鹿の貴様にもわかっただろ？ｗ
1は1コメントで簡単にいえることがいえずに
漫然と英語のままワケワカコピペで負けたんだよｗ
えらくもなんともねえ
検索なんかサルでもできる（嘲）
389:１３２人目の素数さん
23/03/14 22:05:55.58 bQV51cAg.net
1はとにかく検索結果が読めない
だから馬鹿のごとく丸コピペするしかできない
文章が読めるなら要約なんか簡単にできる
できないのはそもそも文章が読めないから
シンコス コスシンとか馬鹿暗記するだけで
やっとこすっとこ大阪●●大学に潜り込んだ
最底辺野郎には大学数学は全然無理でしたぁｗ
390:１３２人目の素数さん
23/03/14 22:10:15.29 bQV51cAg.net
簡単に書けることが書けない
それだけで知的障害だと断じていい
391:１３２人目の素数さん
23/03/14 23:36:10.21 5bTCTU61.net
>>388-390
アホが必死だなｗ
確かに、Frobenius theorem (real division algebras) URLﾘﾝｸ(en.wikipedia.org)(real_division_algebras)
は、斜め読みだよ
おれも、いわば>>339同様
”ちょっと時間をかければ要点をまとめて
書くのは難しくないが
そこまで暇じゃない”ってことだｗ
それはともかく、
普通は、出題者なら
「なんだ、同じ種本見つけたか」とか言ってから
コメントを書きそうなものだが
あんたは、何を種本にしていたの？ｗｗ
でもって、ウェブからの引用を否定しておきながら
おれの引用に乗ってくるところがね～
サイコパス丸出しだね ｽﾚﾘﾝｸ(math板:5番)
（煮ても焼いても食えないｗ）
ケイリー・ハミルトンの定理>>381は、高校数学に行列が入っていたときに
チラ見したチャート式に書いてあったね 2ｘ2だけど(下記)
別に難しくないだろ？ｗ
URLﾘﾝｸ(www.geisya.or.jp)
※旧教育課程の高校数学Cに含まれていた「行列」について，このサイトには次の教材があります．
== ケーリー・ハミルトンの定理 ==
代数学の基本定理>>381は、複素数の範囲で多項式が1次式に因数分解できることの言い換えにすぎないし
（今の場合、そういう使い方だろ）
それより ”The rank?nullity theorem”URLﾘﾝｸ(en.wikipedia.org)
という重要キーワード抜かしている気がするけどｗｗ
Frobenius theorem (real division algebras)の証明の中で、
ｎ＝2としておいて、四元数 の4次元にもって来るところが、ちょっと技巧的と思った
（そこが、証明のキモじゃないかと思ったよ）
十分フォロー出来なかったけど、時間できたら考えてみるわｗ
392:１３２人目の素数さん
23/03/15 06:06:56.54 48V6prLW.net
>>391
> アホが必死だな
自嘲か？
> 確かに、・・・は、斜め読みだよ
斜めといってるのは
理解できなかったが
ほうっておいたってことだろ
理解する気ないなら諦めろよ
> おれも、
> ”ちょっと時間をかければ要点をまとめて
> 書くのは難しくないが
> そこまで暇じゃない”ってことだ
忙しいんなら検索もやめたら？
時間無駄にしてるじゃん
すべての時間を楽しい仕事に費やしなよ
どうせ数学なんか理解できないんだから
その分仕事して金稼ぎなよ
そもそも暇以前に読んでもわからないんだろ
だから要点をまとめられない
難しいんじゃない あんたにはできないんだ
できるなら、速攻でやってる
検索しても全然無駄なんだから諦めてやめな
393:１３２人目の素数さん
23/03/15 06:10:38.88 48V6prLW.net
>>391
> それはともかく、
> 普通は、出題者なら
> 「なんだ、同じ種本見つけたか」とか言ってから
> コメントを書きそうなものだが
> あんたは、何を種本にしていたの？
種本なんかないよ
興味ある問題だから出題した
> でもって、ウェブからの引用を否定しておきながら
> おれの引用に乗ってくるところがね
丸写し引用の愚昧っぷりを笑っただけ
要点だけ書けっていってるじゃん
貴様は理解できてないから要点が抜き出せないんだよ
さすが丸暗記でごまかして大学入った落ちこぼれだなｗ
394:１３２人目の素数さん
23/03/15 06:14:09.92 48V6prLW.net
>>391
> ケイリー・ハミルトンの定理>>381は、
> 高校数学に行列が入っていたときにチラ見した
> チャート式に書いてあったね 2ｘ2だけど
> 別に難しくないだろ？
理解できてなかっただろ？
君今度から「チラ見した」とウソ言わずに
「ガッツリ読んだが全く理解できず記憶に全く残らなかった」
と白状してくれ
あれもチラ見、これもチラ見、といってるが
要するにどれもこれも理解できずに諦めた そういうことだろ
まず、自分が全然理解できてなかった、と認めるところがはじまり
できないなら、意味ないからやめな
395:１３２人目の素数さん
23/03/15 06:22:09.57 48V6prLW.net
>>391
> 代数学の基本定理は、複素数の範囲で
> 多項式が1次式に因数分解できることの言い換えにすぎないし
> （今の場合、そういう使い方だろ）
君はガウスだろうが誰だろうが
他人を馬鹿にしないと生きていけないんだね
どんだけ自分が偉いとうぬぼれてんの
> それより ”The rank nullity theorem"
>URLﾘﾝｸ(en.wikipedia.org)
> という重要キーワード抜かしている気がするけど
やっぱり、君、線形代数の肝心なことが全く理解できてなかったんだね
これが君にとっては「全く理解できない最難関定理」だったとは（呆）
階数・退化次数の定理
URLﾘﾝｸ(ja.wikipedia.org)
－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－
数学の線型代数学の分野における
階数・退化次数の定理（かいすう・たいかじすうのていり、英: rank?nullity theorem）とは、
最も簡単な場合、ある行列の階数（rank）と退化次数（nullity）の和は、
その行列の列の数に等しいということを述べた定理である。
次元定理とも呼ばれる。
－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－
こんな基本的なことが難しいとか
やっぱ大学１年で落ちこぼれた奴は最底辺だな
396:１３２人目の素数さん
23/03/15 06:29:20.70 48V6prLW.net
>>391
>Frobenius theorem (real division algebras)の証明の中で、
>ｎ＝2としておいて、四元数 の4次元にもって来るところが、
>ちょっと技巧的と思った
>（そこが、証明のキモじゃないかと思ったよ）
ギャハハハハハハ！！！
2^2=4ってだけじゃん
生成元がe1,e2の2つの場合の基底の全体は
1,e1,e2,e1e2
の4つ
２回掛けたら1か-1になっちゃうし
これ以上除いたら生成できない最小のものなら
eiが他のejで表されることもない
したがって生成元がｎなら基底の数は2^n
こんな基本が技巧？
いやいや、あんたにとっては算数の筆算も技巧なのか？
さすがに小学生レベルのド素人はいうことが違いますな
> 十分フォロー出来なかったけど、時間できたら考えてみるわ
2進数から勉強したほうがいい
あんたそこからわかってない
397:１３２人目の素数さん
23/03/15 06:49:45.02 48V6prLW.net
「技巧」といえば
生成元3つの積の2乗が1
というのはそれに当たるかもしてない
ここで軽率なウマシカは
「ああ、３つ”以上”なら”必ず”2乗は1になるのね」
と早合点するだろうが、それはもちろん誤りｗ
4つの積の2乗は1になる
しかし
5つの積の2乗は-1になる
ここで質問
ei＾2=-1 eiej=-ejei
という等式を満たすn個の元e1～enについて
異なるm個の元の積の2乗の符号を表す式を記せ
そして、1、-1それぞれの値を示す場合を具体的に記せ
これ検索しても答え見つかんないんじゃないかな
もちろん考えれば答えはすぐ出るよ
こんなもん高校生レベルだからさ
1みたいなアホを叩き落とす入試には最適かもｗ
398:１３２人目の素数さん
23/03/15 06:59:58.30 48V6prLW.net
1は検索結果をコピペすれば
バトルに勝てると盲信してるから
「自分が検索した結果もわかってない」
という返し技で1を何遍でも負かせられる
と教えてあげてみせた
それにしても
「階数・退化次数の定理」
も知らないってひどいなｗ
それって
「陰関数定理も分かんない」
ってことじゃんｗ
陰関数定理は階数・退化次数の定理を使ってるから
399:１３２人目の素数さん
23/03/15 07:03:07.24 48V6prLW.net
1は頑張って、以下の問題解いてな
－－－－－－－－－－－－－－－－－－－－－－－
ei＾2=-1 eiej=-ejei
という等式を満たすn個の元e1,・・・,enについて
１．異なるm個の元の積の2乗の符号を表す式を記せ
２．1、-1それぞれの値を示す場合を具体的に記せ
－－－－－－－－－－－－－－－－－－－－－－－
400:１３２人目の素数さん
23/03/15 08:26:00.80 X86N+dMk.net
>>396
>>Frobenius theorem (real division algebras)の証明の中で、
>>ｎ＝2としておいて、四元数 の4次元にもって来るところが、
>>ちょっと技巧的と思った
>>（そこが、証明のキモじゃないかと思ったよ）
>生成元がe1,e2の2つの場合の基底の全体は
> 1,e1,e2,e1e2
>の4つ
上記で
あんたの下段のカキコと
おれの上段にカキコと同じ意味だよ
ｎ＝2 e1,e2
そこから、四元数 の4次元にもって来るって
401:１３２人目の素数さん
23/03/15 08:29:26.11 X86N+dMk.net
>>399
あんた、おっちゃんに おサルと呼ばれて嬉しいだろう？ｗ
一人でサル踊りを踊ってろ！ｗｗｗ
(引用開始)
>>377 名前：１３２人目の素数さん[sage] 投稿日：2023/03/14(火) 12:39:58.44 ID:PzzRlrSe [1/2]
おサルの無様な詰み、確と見届けたw
>>378 名前：１３２人目の素数さん[sage] 投稿日：2023/03/14(火) 12:40:45.52 ID:PzzRlrSe [2/2]
by おっちゃん
(引用終り)
402:１３２人目の素数さん
23/03/15 08:57:19.84 ixAD4q3z.net
>>401
吠える暇あったら399の答え書きなよ
まさか、できないの？
403:１３２人目の素数さん
23/03/15 10:00:25.95 ybn0ex6J.net
>>401
障〇者を味方に付けて嬉しいかい？
404:１３２人目の素数さん
23/03/15 10:44:43.98 fkBror8j.net
>>403
ただの雑学だが、歴史に名を残した人には、意外に障〇者が少なくない
405:１３２人目の素数さん
23/03/15 11:18:54.13 eYGN6GRo.net
>>404
ありがとう
へー
方程式論で有名なタルタリア氏 下記”「タルタリア（どもり）」というニックネーム”を連想したけど
「ニコロの顎と口蓋もフランス軍によって切り落とされた。これによって、ニコロは普通には話せなくなり、「タルタリア（どもり）」というニックネームが付けられた」か
良く生き延びたね
ハンディを負って、一層努力したに違いないね
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
ニコロ・フォンタナ・”タルタリア”（Niccolo Fontana "Tartaglia"、1499年または1500年-1557年12月13日）はイタリアの数学者、工学者、測量士。ヴェネツィア共和国の簿記係でもあった。アルキメデスやユークリッドの初めてのイタリア語訳を含む多くの著書を著し、数学関係の編集の分野で高く評価された。タルタリアは、史上初めて数学による大砲の弾道計算を行ったので弾道学の祖とされる。彼の導いた弾道は現代の理論からすれば誤りだが、45°の角度で射出した際に最も遠くに到達することは正しく導いた。
ガリレオ・ガリレイは彼の孫弟子である。タルターリアとも。なお後述するように「タルタリア」は生後につけられた渾名である。
生涯
1512年にはカンブレー同盟戦争でフランス軍がブレシアに侵攻し、さらなる悲劇を経験した。ブレシア軍は7日間に渡って街を守ったが、フランス軍がついに侵攻に成功すると、街の人達は虐殺された。戦争の終わりには、45000人を超える住民が殺されていた。
ニコロの顎と口蓋もフランス軍によって切り落とされた。これによって、ニコロは普通には話せなくなり、「タルタリア（どもり）」というニックネームが付けられた。
タルタリアは、資金が尽きる前に家庭教師からアルファベットをKまで習っただけであり、残りのLから先の文字は、墓石に刻まれた文字を手本に学んだという逸話がある。いずれにしても、彼は本質的に独学だった。
つづく
406:１３２人目の素数さん
23/03/15 11:19:19.26 eYGN6GRo.net
>>405
つづき
1535年の初めごろ、アントニオ・マリア・フィオールに数学の公開論戦を申し込まれ、これを受諾した。三次方程式の問題を互いに30問出し合い、30日後に多く解けた方が勝ちとした。タルタリアはこれに勝利し、名声を高めた。
彼が1543年に編集したユークリッド原論の初めての近代ヨーロッパ語訳となった本はとても重大なものであった。
彼はまたその理論に初めて近代的なコメントを付けた。この理論はタルタリアの弟子だったオスティリオ・リッチ（英語版）によって天文学の父として知られるガリレオに教えられ、ガリレオの研究に不可欠な道具となった。
タルタリアの公式
タルタリアは、4つの頂点の間の距離を用いて三角錐の体積を表すタルタリアの公式を考案したことでも知られる。
略
ここで d_{{ij}}は頂点 iと jとの間の距離を表す。これは三角形におけるヘロンの公式を一般化したものである。
(引用終り)
以上
407:１３２人目の素数さん
23/03/15 11:57:09.05 Mv9exFAa.net
>>405-406
399に回答できず話逸らしてごまかすサル1
408:１３２人目の素数さん
23/03/15 11:59:04.21 Mv9exFAa.net
>>407
出題者が回答書く前に
正解出せなきゃ1の完敗
409:１３２人目の素数さん
23/03/15 17:28:10.00 eYGN6GRo.net
>>405
追加
ポントリャーギン 失明して 数学者となった彼の専門分野は、幾何学
というのが、若いころは意味が取れなかった
抽象的な現代数学の幾何学だったんだね
URLﾘﾝｸ(ja.wikipedia.org)
レフ・セミョーノヴィッチ・ポントリャーギン（Лев Семёнович Понтрягин、1908年9月3日 - 1988年5月3日）は、ロシアの数学者。
略歴
ロシア革命前のモスクワに生まれ、ソビエト連邦崩壊直前にこの世を去った。彼の家庭はとても貧しく月謝の安い実験学校さえ行けず、4年制の小学校で最初の教育を受けた。14歳の時にプリムス・ストーブの爆発事故により失明した。そんな彼が数学者となれたのは母親の献身的な努力があったからだと言われている。 農家の主婦だった彼の母親タチヤーナ・アンドリェーエヴナ・ポントリャーギナは、彼が身を立てるための一切の世話を引き受けた。文献を読んで聞かせたり、論文に式を書き込んだり、さらに彼女自身外国語を習得して彼の完全な「秘書」を勤めた。数学者となった彼の専門分野は、幾何学（微分幾何学）だった。
1929年にモスクワ大学卒、1935年には物理・数学博士、教授、1938年には位相群論、連続群論を発表した。数々の数学的業績に対してレーニン賞、スターリン賞、ロバチェフスキー賞、ソビエト連邦国家賞、社会主義労働の英雄という称号などを授かった。
410:１３２人目の素数さん
23/03/15 18:00:17.50 eYGN6GRo.net
>>400 補足
>ｎ＝2 e1,e2
>そこから、四元数 の4次元にもって来るって
これ、数学ではよくある筋ですね
元々のハミルトンもこれだったような（下記）
要するに、普通は a + bi + cj の3次元から出発する
つまり、e1＝i,e2＝j を導入するのが普通の思考
だが、これでは下記 乗法と除法 の扱いがむずい
”4次元にもって来る”が、筋なんだ
URLﾘﾝｸ(ja.wikipedia.org)(%E5%9B%B2%E7%A2%81)
手筋 (囲碁)
手筋（てすじ）とは囲碁用語の一つで、通常より大きな効果を挙げることのできる着手のことである。多くの場合、平凡な発想では達し得ない、やや意外性を含んだ効果的な手を指すことが多い。単に「筋」（すじ）と呼ぶこともある。将棋やチェスなどにおいても同様の意味で使われる。
正しい手筋を身につけることは、囲碁上達の大きな要諦である。このため様々なレベルの手筋だけを反復練習する本が多数出版されている。
URLﾘﾝｸ(ja.wikipedia.org)
四元数（英: quaternion）とは、複素数を拡張した数体系であり、虚数単位 i, j, k を用いて
a + bi + cj + dk
と表せる数のことである。ここで、a, b, c, d は実数であり、虚数単位 i, j, k は以下の関係を満たす。
i^2=j^2=k^2=ijk=-1
このとき 1, i, j, k は実数体上線型独立である。
歴史
四元数の成す代数系は、1843年にウィリアム・ローワン・ハミルトンによって導入された[6]。これにはオイラーの四平方恒等式（1748年）やオリンデ・ロドリゲス（英語版）の四つの径数を用いた一般の回転のパラメータ付け（英語版）（1840年）などを含む重要な先駆的研究があったが、何れもその四径数回転を代数として扱ったものではなかった[7][8]。ガウスもまた1819年に四元数を発見していたのだが、そのことが公表されるのは1900年になってからのことである[9]。
つづく
411:１３２人目の素数さん
23/03/15 18:00:51.92 eYGN6GRo.net
>>410
つづき
ハミルトンは複素数が座標平面における点として解釈できることを知っていて、三次元空間の点に対して同じことができる方法を探していた。空間の点はそれらの座標としての数の三つ組によって表すことができ、ハミルトンはそれらの三つ組に対して加法や減法をどのようにすべきかはずっと前から分かっていたのだが、乗法と除法をどう定めるかという問題については長く行き詰ったままであった。ハミルトンは、空間における二点の座標の商をどのように計算すべきかを形にすることができなかったのである。
四元数についての大きな転換点がついに訪れたのは、1843年10月16日の月曜日、ダブリンにおいてハミルトンが理事会の長を務めることになるアイルランド王立アカデミー（英語版）への道すがら、妻とともにロイヤル運河（英語版）の引き船道に沿って歩いているときであった。四元数の背景となる概念が頭の中で形になり、答えが明らかになったとき、ハミルトンは衝動を抑えられずに、四元数の基本公式
i^2 = j^2 = k^2 = ijk = -1
を、渡っていたブルーム橋（英語版）の石に刻みつけた。
(引用終り)
以上
412:１３２人目の素数さん
23/03/15 19:15:19.21 48V6prLW.net
>>409-411
負け犬1 全然無関係のトンチンカンカキコでお茶濁しまくりの醜態
じゃ、>>399の答え、発表！
>ei＾2=-1 eiej=-ejei
>という等式を満たすn個の元e1,・・・,enについて
>１．異なるm個の元の積の2乗の符号を表す式を記せ
答え：(-1)^(m(m+1)/2)
>２．1、-1それぞれの値を示す場合を具体的に記せ
答え：以下の通り
mod4で1,2のとき、-1
mod4で3,0のとき、1
この瞬間、ギロチンの刃で1の首は切り落とされたｗ
413:１３２人目の素数さん
23/03/15 19:15:34.78 48V6prLW.net
＿＿
|＿＿|'' - ._
| | l' - ._|
| | |｀:| |′
,=| | | | |
/ :|_,, | | | |
l | |. | | | |
| | |:::| | | l|. ／￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
/ | l | | | || | 数学板はクソコピペを必要としない！
/ | | | | | |:! ＼＿ ＿＿＿＿＿＿＿＿＿＿＿＿＿＿
∧＿∧ / .l l. | |‐'| |:| ∨
（ ´∀｀） ／ | |. | | | ll:| ∧＿∧
（ つ | | | | | ||:| （ ・∀・） ∧＿∧
| | | ⊂⌒| l: | |‐'| l:|:| ⊂ つ（ ﾞ∀｡ ）←>>1
― ∧∧ ____,）__）ｰl二二二l_,.. ┐| |'二二⊃ / /〉 〉―；;~∴ー―
( ,,ﾟ) 厂⌒厂⌒厂⌒i´__,,. |..| |〉 〈(＿) (＿_) ；' _,.. - ''"!∧ ∧＿∧
/ つノﾉ ﾉ / ,ﾉ| |,,|..!､＿___,ﾉ _,.. - ''" _,.. ┘∧ ∧＿∧
(,, ))'～ー～ー～一'"┴'''" _,.. - ''" _,.. - ''"l:| ∧＿∧ ∧＿∧
￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣! _,.. - ''" ＼;| |:!（・∀・ ）（・∀・ ）
―┬―┬―─―――‐┬―┬┬┴''"／ :|∧＿∧ ∧＿∧ .∧＿∧
│ │ ｜ ｜｜ ／ .（∀・ ）（∀・ ）（∀・ ）
. ∧＿∧ ∧＿∧ ∧＿∧ ∧＿∧. ∧＿∧ ∧＿∧. ∧＿∧ ∧＿∧ ∧＿∧
（ ）（ ）（ ）（ ）（ ）（ ）（ ）（ ）（ ）
414:１３２人目の素数さん
23/03/15 20:26:52.34 5+C4nICl.net
>>404
要するに雑学者は痴的生涯者って言いたいの？。
415:１３２人目の素数さん
23/03/15 21:08:41.28 X86N+dMk.net
>>414
東大クイズ王？
416:１３２人目の素数さん
23/03/15 23:25:28.18 X86N+dMk.net
>>409
障害者ではないが、異色の数学者 レイモンド・スマリヤン
むかし、おサルさんが言っていたのを思い出したよ
URLﾘﾝｸ(ja.wikipedia.org)
レイモンド・スマリヤン
レイモンド・メリル・スマリヤン（Raymond Merrill Smullyan、1919年5月25日 - 2017年2月6日）は、アメリカ合衆国の数学者、ピアニスト、論理学者、老荘哲学者、奇術師。
ニューヨーク市のFar Rockawayに生れる。最初は奇術師をしていた。1955年にシカゴ大学から学士を得る。1959年にプリンストン大学から博士号を得る。アロンゾ・チャーチのもとで学んだ数多くの傑出した論理学者の一人。
経歴
スマリヤンは博士課程にいるときの1957年に“Journal of Symbolic Logic”に論文を発表し、ゲーデルの不完全性定理が1931年にゲーデルが発表した論文よりも初等的な形で形式系を考察できることを示した。ゲーデルの不完全性定理に関する現代的な解釈はこの論文から始まっている。その後、スマリヤンはゲーデルの不完全性定理における魅力的な部分がタルスキの定義不能性定理から必然的に導かれることを示した。タルスキの定理は不完全性定理よりも容易に証明できて、哲学的に不完全性定理と同じような不安を与えるものである。
スマリヤンは数学パズルや論理パズルに関して多くの書物を著している。最も有名な本は『この本の名は? 楽しい論理パズル』である。
スマリヤンの論理学の問題は多くは古典的なパズルを拡張したものである。
さらに複雑なパズルにおいて、スマリヤンは“ノーマルズ”というキャラクター（嘘を吐くか、または真実を話す）を創造した。さらに“はい”または“いいえ”と答える代わりに“はい”または“いいえ”を意味する単語で読者がどの単語がどの意味を表すのか分らないパズルを作った。このパズルは「最難論理パズル」として知られていて、上記のようなキャラクターとパズルに基づいている。トランシルヴァニア・パズルにおいては、住民の半数は狂気であり、偽の事実を信じていて、他の半分の住人は正気であり、真の事実のみを信じている。
417:１３２人目の素数さん
23/03/15 23:34:08.20 X86N+dMk.net
>>416
1959年から統合失調症を患うようになり、1960年代には精神病院に通いながら研究を続け
ノーベル経済学賞、アーベル賞を受賞した 『ビューティフル・マインド』のジョン・ナッシュ
URLﾘﾝｸ(ja.wikipedia.org)
ジョン・ナッシュ
ジョン・フォーブス・ナッシュ・ジュニア（John Forbes Nash Jr. 1928年6月13日 - 2015年5月23日[1]）は、アメリカ人の数学者。ゲーム理論、微分幾何学、偏微分方程式で著名な業績を残す。1994年にゲーム理論の経済学への応用に関する貢献によりラインハルト・ゼルテン、ジョン・ハーサニと共にノーベル経済学賞を、2015年に非線形偏微分方程式論とその幾何解析への応用に関する貢献によりルイス・ニーレンバーグと共にアーベル賞を受賞した。 微分幾何学では、リーマン多様体の研究に関して大きな功績を残す。
1959年から統合失調症を患うようになり、1960年代には精神病院に通いながら研究を続ける。1970年ごろから寛解に向かい、1990年代には症状が出なくなったとされる。彼の半生を描いた映画『ビューティフル・マインド』は、天才数学者としての偉業と成功、及び後の統合失調症に苦しむ人生を描いた作品である。
高校は地元のブルーフィールド・カレッジに進学。この頃、E.T. Bellの著書 "Men of Mathematics"（邦題『数学をつくった人びと』ハヤカワ文庫）を読み、後の専門分野となる数学に興味を持つが、電気技術者の父の影響で化学や電気工学を専攻する[3]。
大学入学 - 博士号取得
17歳の時、カーネギー工科大学にジョージ・ウェスティングハウス奨学生として進学。入学当初は専攻が化学工学であったが化学に変更、その後教員の勧めで数学に変更。選択科目で国際経済学を学び、経済学に対する興味を持つ。この大学で1948年に、学士号と修士号を同時に取得。
ナッシュは博士課程をプリンストン大学で過ごすことになるが、カーネギー工科大学での指導教官であるリチャード・ダフィン（英語版）がプリンストン大学へ送った推薦状には「He is a mathematical genius.(この男は数学の天才である。)」と書かれていた[4] 。
418:１３２人目の素数さん
23/03/15 23:55:54.43 X86N+dMk.net
>>410 ベクトル解析
URLﾘﾝｸ(ja.wikipedia.org)
四元数（英: quaternion）
1880年代の半ばごろから、ギブス、ヘヴィサイド、ヘルムホルツらの創始したベクトル解析によって四元数は取って代わられるようになる。ベクトル解析は四元数と同じ現象を記述するために、四元数に関する文献から自由に用語法や考え方を拝借していたが、ベクトル解析の方が概念的に簡単で、記法もすっきりしていたので、遂には数学と物理学における四元数の役割は小さく追いやられることとなった。このような変遷の副作用で、現代的な読者にはハミルトンの仕事は難しく複雑なものと化してしまった。ハミルトンのオリジナルの定義は馴染みがなく、その書き振りは冗長で不明瞭である。
URLﾘﾝｸ(ja.wikipedia.org)
ウィラード・ギブズ
ジョサイア・ウィラード・ギブズ（Josiah Willard Gibbs, 1839年2月11日 - 1903年4月28日）は、アメリカコネチカット州ニューヘイブン出身の数学者・物理学者・物理化学者で、エール大学（イェール大学）教授。
熱力学分野で熱力学ポテンシャル、化学ポテンシャル概念を導入し、相平衡理論の確立、相律の発見など、今日の化学熱力学の基礎を築いた。統計力学の確立にも大きく貢献した。ギブズ自由エネルギーやギブズ-デュエムの式、ギブズ-ヘルムホルツの式等にその名を残している。 ベクトル解析の創始者の一人として数学にも寄与している。
ギブズの科学者としての経歴は、4つの時期に分けられる。1879年まで、ギブズは、熱力学理論を研究した。1880年から1884年までは、ベクトル解析分野の研究を行った。
1880年から1884年まで、ギブズは、アイルランドの数学者ウィリアム・ローワン・ハミルトン が考案した四元数 の考え方と、ドイツの数学者ヘルマン・ギュンター・グラスマンの「広延論（Ausdehnungslehre)」の考え方を組み合わせて、ベクトル解析という数学分野を産み出した(ギブズとは独立して、オリヴァー・ヘヴィサイドも、この分野の開拓した）。ギブズは、このベクトル解析を数理物理学の目的に沿うようにしている。
つづく
419:１３２人目の素数さん
23/03/15 23:56:16.12 X86N+dMk.net
>>418
つづき
URLﾘﾝｸ(ja.wikipedia.org)
ベクトル解析
歴史
現代の学校教育では古典力学の導入からベクトルを用いた物理教育が行われ、数学でも幾何ベクトル・線型代数学・ベクトル解析といったベクトルの概念が普通に教えられている。しかし古典力学の登場と同時にベクトルも誕生したのではなく、物理法則などを表記するために19世紀に生まれ[1]、20世紀になり高次元ベクトル場にまで一般化された。
ベクトルが誕生するまでは直交座標系を用いた解析幾何学やウィリアム・ローワン・ハミルトンが考案した四元数を用いた記法が主流であり、力学・電磁気学の教育・研究でも解析幾何学的な多変数微積分学を用いた力学や四元数表記の電磁気学が普通であった[1]。余談だが、同じようにベクトルを扱う数学理論である線型代数も登場時期はほぼ同じであり、こちらは完成が遅れたため教育に本格的に導入されるのは20世紀後半、数学教育の現代化が言われ出した頃である。20世紀前半は教えられている物理数学が現代とは違っていたのであり、ベクトルは数学ではなく物理学の授業で導入され行列式が先に教えられていたし[2]、行列を用いて量子力学を定式化したヴェルナー・ハイゼンベルクも線型代数を習っていなかった。日本でも明治初期の物理教育では、四元数に基づく電磁気学が教えられていたことは有名である。
ベクトルを初めて教育に導入したのはウィラード・ギブスとされ、1880年代のイェール大学の講義で記号こそ現代とは違うものの、外積・内積やベクトル解析の概念などが当時使われていたが、イギリスの四元数の著書もある物理学者ピーター・ガスリー・テイトの評判も大変不評であったという[1]。
日用いられている記号や専門用語の大半は1901年に出版されたギブスとエドウィン・ウィルソン（英語版）の共著、ベクトル解析によって確立された。
しかし、ギブス以降の物理学の教育ではベクトルは四元数を推進していたハミルトンやテイトのいたイギリスにおいて寧ろ盛んに用いられるようになり、物理学における常識的な概念となった[1]。しかしながら20世紀に入ってからはむしろスピン角運動量などの概念も四元数に非常に類似しており、ハミルトンには先見性があったのではないかとされる[1]。
(引用終り)
以上
420:１３２人目の素数さん
23/03/16 03:55:13.13 RTl2Ny6m.net
>>414
>>404は>>403へのレスであることを肝に命じよう
421:１３２人目の素数さん
23/03/16 04:00:20.11 RTl2Ny6m.net
>>1が挙げたのに限らず、アインシュタインやゴッホ、ナポレオン、ソクラレテスなどは癲癇という病を患っていた
422:１３２人目の素数さん
23/03/16 08:17:20.03 viNWkpRf.net
>>420-421
ありがとうございます
423:１３２人目の素数さん
23/03/16 08:37:55.09 UlO9use4.net
>>416-417
スマリヤンは別に狂ってはいない
ナッシュは完全に精神を患っていた
424:１３２人目の素数さん
23/03/16 08:44:57.81 UlO9use4.net
>>418-419
ベクトル解析は四元数∩グラスマン代数
クリフォード代数は四元数もグラスマン代数も包含する
ついでに言うとスピノールも包含する
425:１３２人目の素数さん
23/03/16 08:55:34.36 UlO9use4.net
412に対して何の反論もないので
処刑は執行されたと認める
426:１３２人目の素数さん
23/03/16 14:56:07.67 BEgNOLhF.net
>>424
>ベクトル解析は四元数∩グラスマン代数
>クリフォード代数は四元数もグラスマン代数も包含する
>ついでに言うとスピノールも包含する
うん、工学では、3次元ベクトル解析は講義があった（市販テキスト使用。一般ｎ次元ではなかったが）
下記テンソル場は、特別の講義はなかったが
弾性力学で、応力テンソルとして、導入された
これが、有名なコーシーの理論だということは、最近知った（下記）
多分、当時適当なテンソルの市販テキストもなく、
応力テンソルだけ特別に（半期の）講義をするだけの数学的内容も無かったのだろうと、いま思う
今2023年の平均的な数学科では、3次元ベクトル解析やテンソル解析の講義は無いのかもね
しかし、講義はなくとも、いろんなところで、さりげなく顔を出してくるだろう
また、テンソルは、物理の一般相対性理論で使われる（アインシュタイン計量？）
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
ベクトル解析
曖昧さ回避 この項目では、数学理論としてのベクトル解析について説明しています。1901年にエドウィン・ビッドウェル・ウィルソンとウィラード・ギブスによって出版されたにベクトル解析に関する著作『Vector Analysis』については「ベクトル解析 (著書)」をご覧ください。
ベクトル解析（ベクトルかいせき、英語：vector calculus）は空間上のベクトル場やテンソル場に関する微積分に関する数学の分野である。
多くの物理現象はベクトル場やテンソル場として記述されるため、ベクトル解析は物理学の様々な分野に応用を持つ。
物理学では3次元ユークリッド空間上のベクトル解析が特によく用いられるが、ベクトル解析は一般のn次元多様体上で展開できる。
つづく
427:１３２人目の素数さん
23/03/16 14:56:37.19 BEgNOLhF.net
>>426
つづき
関連概念
場の微分
曲率
ナブラ
勾配・発散・回転
偏微分
線積分・面積分（微分形式の積分）
グリーンの定理
発散定理（ジョージ・グリーン、カール・フリードリヒ・ガウス）
URLﾘﾝｸ(ja.wikipedia.org)
テンソル場
数学、物理学および工学におけるテンソル場（テンソルば、英: tensor field）は、数学的な空間（典型的にはユークリッド空間や多様体）の各点にテンソルを割り当てるものである。テンソル場は微分幾何学、代数幾何学、一般相対論において用いられ、物質の応力および歪みの解析やその他物理科学および工学における様々な応用に供される。テンソルがスカラー（長さのような値を表す数値）やベクトル（空間内の幾何学的な矢印）の一般化であるのと同様に、テンソル場はスカラー場およびベクトル場（それぞれ空間の各点にスカラーおよびベクトルを割り当てる）の一般化になっている。
一口に「テンソル」と呼ばれている概念でも、実際の数学的構造は「テンソル場」であるという場合も多い。例えばリーマン曲率テンソルなど。
つづく
428:１３２人目の素数さん
23/03/16 14:56:58.92 BEgNOLhF.net
>>427
つづき
URLﾘﾝｸ(en.wikipedia.org)(mechanics)
Stress (mechanics)
History
Galileo Galilei's rigorous experimental method, Rene Descartes's coordinates and analytic geometry, and Newton's laws of motion and equilibrium and calculus of infinitesimals.[5] With those tools, Augustin-Louis Cauchy was able to give the first rigorous and general mathematical model of a deformed elastic body by introducing the notions of stress and strain.[6]
Overview
Definition
Moreover, the direction and magnitude generally depend on the orientation of S. Thus the stress state of the material must be described by a tensor, called the (Cauchy) stress tensor; which is a linear function that relates the normal vector n of a surface S to the traction vector T across S. With respect to any chosen coordinate system, the Cauchy stress tensor can be represented as a symmetric matrix of 3×3 real numbers. Even within a homogeneous body, the stress tensor may vary from place to place, and may change over time; therefore, the stress within a material is, in general, a time-varying tensor field.
つづく
429:１３２人目の素数さん
23/03/16 14:57:22.04 BEgNOLhF.net
>>428
つづき
The Cauchy stress tensor
Main article: Cauchy stress tensor
URLﾘﾝｸ(en.wikipedia.org)
Cauchy stress tensor
URLﾘﾝｸ(ja.wikipedia.org)
ケーラー・アインシュタイン計量
微分幾何学において、複素多様体上のケーラー・アインシュタイン計量 (Kahler?Einstein metric) は、ケーラー計量かつアインシュタイン計量であるようなリーマン計量である。多様体がケーラー・アインシュタインであるとは、ケーラー・アインシュタイン計量を持つ場合を言う。これらの中で最も重要なものは、カラビ・ヤウ多様体であり、これは、ケーラーかつリッチ平坦なものである。
この分野の最も重要な問題は、コンパクトケーラー多様体にケーラー・アインシュタイン計量が存在することである。
つづく
430:１３２人目の素数さん
23/03/16 14:57:41.41 BEgNOLhF.net
つづき
ケーラー計量がある場合には、リッチ曲率はケーラー計量に比例するので、第一チャーン類は、負か、0か、または、正のいずれかである。
第一チャーン類が負の場合は、オーバン(Aubin)とヤウ(Shing-Tung Yau)が常にケーラー・アインシュタイン計量が存在することを証明した。
第一チャーン類が 0 の場合は、ヤウは常にケーラー・アインシュタイン計量が存在するというカラビ予想を証明した。ヤウはこの仕事でフィールズ賞を受賞した。これがカラビ・ヤウ多様体の名称の由来である。
残りの、第一チャーン類が正の場合（ファノ多様体と言う）が最も困難である。この場合は、存在に非自明な障害が存在する。2012年、チェン(Chen)、ドナルドソン(Donaldson)、スン(Sun)は、この場合の存在性は K-安定性と呼ばれる代数幾何学的な条件に同値であることを証明した。彼らの証明は、アメリカ数学会誌 (the Journal of the American Mathematical Society) の一連の論文に発表された[1][2][3]。
URLﾘﾝｸ(ja.wikipedia.org)
アインシュタイン多様体
（アインシュタイン計量から転送）
微分幾何と数理物理において、アインシュタイン多様体(Einstein manifold)は、リッチテンソルが計量テンソルに比例するリーマン多様体もしくは、擬リーマン多様体である。通常、一般相対論で研究する 4次元のローレンツ多様体とは違い、この条件は、符合と同様に計量の次元も任意であることが可能であるにもかかわらず、この条件と計量が（宇宙定数を持つ）真空のアインシュタイン方程式の解であることとが同値であるとの理由から、アインシュタイン多様体はアルベルト・アインシュタイン(Albert Einstein)の名前に由来している。
つづく
431:１３２人目の素数さん
23/03/16 14:58:06.63 BEgNOLhF.net
>>430
つづき
応用
4次元リーマンアインシュタイン多様体は、重力の量子論の重力インスタントンとして数理物理学でも重要である。重力インスタントンという言葉は、普通、ワイルテンソル（英語版）(Weyl tensor)が自己双対となっているアインシュタイン 4-次元多様体に限定して使われ、計量が 4次元ユークリッド空間の標準計量に漸近近似している（従って、完全計量（英語版）(complete metric)であるが非コンパクトである）。微分幾何学では、4-次元の自己双対アインシュタイ多様体は、リッチ平坦な場合は超ケーラー多様体としも知られ、そうでない場合は四元数ケーラー多様体（英語版）(quaternion Kahler manifold)として知られている。
高次元のローレンツアインシュタイン多様体は、弦理論、M-理論や超重力理論のような現代の重力理論で使われる。（アインシュタイン多様体の特別な種類である）超ケーラー多様体や四元数ケーラー多様体も、超対称性をもつ非線型シグマモデルのような対象空間での物理学で応用を持つ。
コンパクトなアインシュタイン多様体は、微分幾何学で研究されており、多くの例が知られているが、それらを構成することはチャレンジングなことである。コンパクトリッチ平坦多様体は、特に見つけることが困難で、ペンネームのアーサー・ベッセ（英語版）(Arthur Besse)のこの主題の単行本には、新しい例を発見すると読者にはミシュランの星（英語版）(Michelin star)での食事が提供されます。
URLﾘﾝｸ(ja.wikipedia.org)
ケーラー多様体
微分幾何学において、ケーラー多様体（ケーラーたようたい、英: Kahler manifold）とは、複素構造、リーマン構造、シンプレクティック構造という３つが互いに整合性を持つ多様体である。ケーラー多様体 X 上には、ケーラーポテンシャルが存在し、X の計量に対応するレヴィ・チヴィタ接続が、標準直線束上の接続を引き起こす。
つづく
432:１３２人目の素数さん
23/03/16 14:58:27.20 BEgNOLhF.net
>>431
つづき
滑らかな射影代数多様体はケーラー多様体の重要な例である。小平埋め込み定理により、正の直線束を持つケーラー多様体は、常に射影空間の中へ双正則に埋め込むことができる。
ケーラー多様体の名前はドイツ人数学者エーリッヒ・ケーラー (Erich Kahler) にちなんでいる。
定義
ケーラー多様体は互いに整合性のある複数の構造を持つため，下記のような複数の観点からの定義方法がある。
応用
ケーラー多様体は、リッチテンソルが計量テンソルに比例する、つまりある定数 λ に対し
R=λ g である場合に、この計量を ケーラー・アインシュタイン （あるいはアインシュタイン・ケーラー）計量と呼ぶ。この命名はアインシュタインの宇宙定数について考えたことにちなむ。さらに詳しくはアインシュタイン多様体の項目を参照のこと。
オーバン(Thierry Aubin)とヤウ(Shing-Tung Yau)は、チャーン類が c1 = 0 であるコンパクトなケーラー多様体は唯一のリッチ平坦な計量が各々のケーラー類にあることを使いカラビ予想を証明した。しかし、ケーラー多様体が非コンパクトの場合は、さらに状況が複雑になり、いくつかの研究はあるものの最終的な結果はえられていない。
(引用終り)
以上
433:１３２人目の素数さん
23/03/16 15:29:03.36 Rr0csJuT.net
>>426-427
昔も今も、数学科ではベクトル解析なんてやらない
gradもdivもrotも外微分dだから
grad 0次微分形式の外微分
rot 1次微分形式の外微分
div 2次微分形式の外微分
434:１３２人目の素数さん
23/03/16 15:35:58.29 Rr0csJuT.net
>>429-432
質問
・計量の定義は？
・曲率の定義は？
・チャーン類の定義は？
435:１３２人目の素数さん
23/03/16 16:28:20.12 hTyCWAwD.net
>>381
>330の(2)はどっかで見た結果だと思ってポントリャーギンの連続群論を確認したら、
証明には合計18ページ近くを費やしていて、かなり入り組んだ証明になってる
436:１３２人目の素数さん
23/03/16 16:33:29.70 hTyCWAwD.net
>>381
>330のQ1がいわゆるフロベニウスの定理
437:１３２人目の素数さん
23/03/16 16:54:31.50 7ww+4zHh.net
>>435
330のQ2は上巻p169のフロベニウスの定理Ｂ
p181の定理21はより一般的で
この証明のために上記の定理Ｂの他に
定理22を証明しており、これが長いが
330の問の答えとしては全く必要ない
>>436
Ｑ2もフロベニウスの定理Ｂ
438:１３２人目の素数さん
23/03/16 17:02:03.67 7ww+4zHh.net
文章が正しく読めないと
問題であらかじめ前提していることまで
より弱い前提から証明するより一般的な定理
と取り違えて、証明が面倒だと
見当違いなクレームをつけたりする
みっともないことになる
数学を学ぶにはまず国語を学ぶ必要がある
439:１３２人目の素数さん
23/03/16 17:10:21.38 7ww+4zHh.net
連結である位相体で
実数体及びその上の多元体
とは異なるものがない
というのは証明が面倒だが
330では
「実数上の有限次元線形空間」
と断っているのだから
そんなことまで証明しなくて良いことは
日本語の文章が正しく読める人なら
即座に分かるのは言うまでもない
440:１３２人目の素数さん
23/03/16 17:15:13.70 7ww+4zHh.net
乙とか言う人は
数学板に書くより
国語を一から学んだ方が良い
でないと人生が全く無意味になる
441:１３２人目の素数さん
23/03/16 17:24:44.13 hTyCWAwD.net
>>437
Q2はKowalskyによる定理と書いてある
442:１３２人目の素数さん
23/03/16 19:20:08.43 c55R0Rta.net
>>441
Kowalskyって誰だよ
443:１３２人目の素数さん
23/03/16 23:26:33.22 viNWkpRf.net
>>442
＞Kowalskyって誰だよ
検索すると下記だが、合っているかどうか不明（論文本数がすごく多いね）
チェコの人かな
なお、余談ですが、ソ連系（今ロシア）の本を読むと、やたら普通の西洋人の名前の定理のところに
ロシア人の名前が出てきた記憶ある（ロシアでも独自研究で同じことやってたみたいな風に）
（なお「ポントリャーギンの連続群論」本は、外観だけで中身は見てない。岩波でしたかね？ 独特の茶色いケースが被っていたかな？ （いまどきの数学書ではケース入り見ないけど））
URLﾘﾝｸ(www2.karlin.mff.cuni.cz)
Old?ich Kowalski
Adress:
Prof. RNDr. Old?ich Kowalski, DrSc.
Matematicky ustav UK
Sokolovska 83
186 75 Praha 8
Professional profile:
Differential Geometry, especially Riemannian and affine geometry.
Curriculum Vitae: Born in Brno, June 19, 1936. Graduated at Masaryk University in Brno 1959. PhD (CSc.) 1963. Habilitation 1967. DrSc. degree 1983. Full Professor since 1991. Now, Professor Emeritus of the Charles University. Honorary member of the Scientific Board of the Faculty of Mathematics and Physics (since 2001). Elected member of the Czech Learned Society (since 1998).
Member of the Editorial Boards:
1) Annals of Global .Analysis and Geometry (Springer) - since 1983 2) Archivum Math. (MU Brno) - since 1991 3) Comment. Math. Univ. Carolinae - 1976-2007 4) Differential Geometry and its Applications (Elsevier) - since 1983; Editor-in-chief 2002-2007 5) Note di Matematica ( Lecce) - since 1997 6) Pokroky matematiky, fyziky a Astronomie (Advances of Mathematics, Physics and Astronomy) - since 1972, Editor-in-chief 1972-2001.
List of publications
URLﾘﾝｸ(www2.karlin.mff.cuni.cz)
（論文172、数学教科書 5、ポピュラー文 20 ）
つづく
444:１３２人目の素数さん
23/03/16 23:27:19.35 viNWkpRf.net
>>443
つづき
アマゾンより
Generalized Symmetric Spaces (Lecture Notes in Mathematics, 805) Paperback ? February 22, 2009
English Edition by Oldrich Kowalski (著)
ここの by Oldrich Kowalski (著)のリンクから
Differential Geometry And Its Applications - Proceedings Of The 10Th International Conference On Dga2007
English Edition | by Oldrich Kowalski, Demeter Krupka, et al. | Jul 14, 2008
Complex, Contact and Symmetric Manifolds: In Honor of L. Vanhecke (Progress in Mathematics Book 234) (English Edition)
English Edition | Part of: Progress in Mathematics (161 books) | by Oldrich Kowalski, Emilio E. Musso, et al.
Riemannian Manifolds of Conullity Two
English Edition | by Eric Boeckx, Oldrich Kowalski, et al. | Dec 1, 1996
URLﾘﾝｸ(ja.wikipedia.org)
ブルノ（チェコ語: Brno [?br?no] ( 音声ファイル)、ドイツ語: Brunn [b??n] ( 音声ファイル)）は、チェコ共和国第2の都市。モラヴィア地方の中心都市であり、スヴィタヴァ川とスヴラトゥカ川の合流点に位置する。チェコの司法制度の中枢である憲法裁判所や最高裁判所が置かれている他、幾つかの政府機関もブルノに所在している。ドイツ語名はブリュン。
(引用終り)
以上
445:１３２人目の素数さん
23/03/17 07:02:03.37 8CSELx7S.net
馬鹿が聞かれてもいないのに答えてるな
妻にも子供にも見捨てられて淋しいのか？
446:１３２人目の素数さん
23/03/17 07:07:27.54 8CSELx7S.net
馬鹿は定理の言明の結論だけで脊髄反射し前提は全く読まない
P1とP2は異なる条件だとする
P1ならばQ と P2ならばQ は
結論Qが同じでも別の定理である
P1からP2が導かれるとしても
「P2ならばQ であることを示せ」
という問いに対して
P1からP2を導くことは求められない
これ常識
わからんやつは論理を知らぬエテ公
447:１３２人目の素数さん
23/03/17 07:42:39.96 eLmg40vA.net
>>435
>>>381
>>330の(2)はどっかで見た結果だと思ってポントリャーギンの連続群論を確認したら、
>証明には合計18ページ近くを費やしていて、かなり入り組んだ証明になってる
おっちゃんだったか
ありがとう
まあ、>>330なんて いままで何度も見てきたし
そこらじゅう、類似のことは書いてあるよね
ポントリャーギンにも、類似の記述があるとは知らなかったけどね
おサルさん ｽﾚﾘﾝｸ(math板:5番)
「種本なんかないよ」>>393
と宣うが、単に忘れているだけだな
実際、東大数学科出身氏は >>336
”例えば330のQ2なら
「小野孝先生の有名な本のp.192-193」で十分なのだが”
という
おサルは無様に詰んだｗ（下記）
この後は、適当にあしらって相手せず、極力得点は与えないようにしよう
おサルは、悔しいだろうが、おれに取ってはそれが最善の策だよ
(参考)「おっちゃんのカキコ」より
(引用開始)
>>377 名前：１３２人目の素数さん[sage] 投稿日：2023/03/14(火) 12:39:58.44 ID:PzzRlrSe [1/2]
おサルの無様な詰み、確と見届けたw
>>378 名前：１３２人目の素数さん[sage] 投稿日：2023/03/14(火) 12:40:45.52 ID:PzzRlrSe [2/2]
by おっちゃん
(引用終り)
448:１３２人目の素数さん
23/03/17 08:47:57.38 8CSELx7S.net
>>447
> 「小野孝先生の有名な本のp.192-193」
そろそろ書名書いたら？
「オイラーの主題による変奏曲―二次形式,楕円曲線,ホップ写像」
第0章 ピタゴラスの方程式の自然数解を求める五つの方法の紹介。ディオファントス方程式
第1章 二次形式、直交基底、ウイットの定理
第2章 代数多様体、アファィン代数多様体、射影代数多様体
第3章 平面代数曲線、アファィン平面曲線、重複度と局所環、射影平面曲線、ベズー＆ネータの定理
第4章 空間楕円曲線、テータ関数
第5章 二次球写像、ポップ写像
第6章 フルウィツの問題、多元環、クリフォード環
付録 オイラーの「代数入門」の書かれたいきさつ
当該箇所は第6章
こんな本をわざわざ上げるのは数論屋だな
他に同じようなこと書いてる本はいくらでもある
449:１３２人目の素数さん
23/03/17 08:53:58.00 8CSELx7S.net
>>447
> 東大数学科出身氏
東大入れなかった奴に限って
東大ありがたがる
東大なんてただの東京の大学だけどな
将棋の駒の動かし方も知らん奴は詰みようがないわな
450:１３２人目の素数さん
23/03/17 08:59:52.37 8CSELx7S.net
>>447
> 適当にあしらって相手せず、極力得点は与えないようにしよう
数学にかかわることは何一つ書かず 極力失点しないようにしよう、か
> おれに取ってはそれが最善の策だよ
最善とか次善とかじゃなく、
それが数学わからん馬鹿の唯一取り得る策だろ
数学でなにか書けば必ず間違うからつっこまれる
数学に関してなにも書かなきゃ間違わないからつっこまれない
ただ数学と無関係な戯言を書いてる時点で数学に完敗だけどな
ここで貴様が負けない方法は唯一つ
ここになにも書かないことだよ
451:１３２人目の素数さん
23/03/17 10:22:52.71 HwY7aPbX.net
>>448
>>>447
>> 「小野孝先生の有名な本のp.192-193」
おれはこっちかと思った（下記）
URLﾘﾝｸ(www.shokabo.co.jp)
数論序説
In Introduction to Algebraic Number Theory
ジョンズ・ホプキンス大学名誉教授 理博 小野 孝 著
1987年1月発行，復刊 2001年8月発行
整数論の入門から研究論文までのかけ橋を望む読者のために，「序説」の立場で解説したものである．
第１章は，初等整数論に相当するところで，いたるところに群の方法を用い，従来の書にない特色ある内容となっている．また，第３章では，広い意味での整数論における幾何学的ないし解析的方法を解説した興味ある話題になっている．
URLﾘﾝｸ(www.nippyo.co.jp)
小野 孝
おの たかし
プロフィール
1928年兵庫県西宮市生まれ。1952年東京大学理学部数学科卒業。名古屋大学、大阪市立大学、ペンシルヴェニア大学などを経て、現在、ジョンズ・ホプキンス大学教授。専攻／数論。理学博士（08年4月現在）
452:１３２人目の素数さん
23/03/17 11:16:12.34 Cw8uz4xM.net
>>451
目次を見れば違うとわかる
453:１３２人目の素数さん
23/03/17 13:07:02.68 HwY7aPbX.net
>>452
ありがとう
ちょっとそういう気もしながら
書いたんだ
p.192-193 が、目次と不整合だから ；ｐ）
454:１３２人目の素数さん
23/03/17 14:40:40.46 GMYU2fon.net
>>453
そもそも書名を伏せるのが
いかにも人を馬鹿にしていて不快
馬鹿が利口ぶるな
455:１３２人目の素数さん
23/03/17 16:11:20.38 HwY7aPbX.net
>>454
>そもそも書名を伏せるのが
>いかにも人を馬鹿にしていて不快
>馬鹿が利口ぶるな
・下記ことわざ「君子は諸を己に求め、小人は諸を人に求む」
・”人を馬鹿にしていて不快”と感じるのは、君が”小人”だからじゃないの？
・みんな忙しい中で、情報を書いてくれているんだよ
・”有名な小野孝先生の本”だけでも、ありがたい思わないと
・おサルさん ｽﾚﾘﾝｸ(math板:5番)
・あんたの主張は、自己チュウで、自分勝手な主張でしかないんだよ
分かってないね
おサルさんは ｽﾚﾘﾝｸ(math板:5番)
URLﾘﾝｸ(proverb-encyclopedia.com)
ことわざ・慣用句の百科事典
【君子は諸を己に求め、小人は諸を人に求む】
【ことわざ】
君子は諸を己に求め、小人は諸を人に求む
【読み方】
くんしはこれをおのれにもとめ、しょうじんはこれをひとにもとむ
【意味】
君子は自分の身に起きた全ての出来事に対して謙虚に受け止め自分自身に責任を求め反省をする。しかし、小人は他人の命によって行動し、失敗すれば他人のせいにして反省をしない。
「諸（これ）」はすべてのことがら。
【語源・由来】
「論語」衛霊公より。子曰く、「君子は諸（これ）を己に求め、小人は諸を人に求む」と。
456:１３２人目の素数さん
23/03/17 16:51:52.09 XlthXDqP.net
>>455
> みんな忙しい中で、情報を書いてくれているんだよ
なんだコイツ、偉そうに
誰彼なくサル呼ばわりすんな妄想野郎
ページ指定できるならタイトル書けるだろ
忙しいならそもそも書き込みすんな
457:１３２人目の素数さん
23/03/17 17:21:41.53 HwY7aPbX.net
>>456
それは、すまんかった
おサルじゃないのか
だが、書名の話ならば
知りたいと思う人が
「書名を書いてくれ」と言えば良いんじゃないの？
それで、書名を隠すならば、あんたの論もある程度正当だと思うけどね
458:１３２人目の素数さん
23/03/17 18:00:10.55 8CSELx7S.net
>>457
そもそも尋ねられてたのは
書名じゃなく書かれてる中身な
>>340の「おかしな大学院生」みたいな
●違い対応は恥ずかしいだけだって気づけよ
459:１３２人目の素数さん
23/03/17 18:49:08.50 6QOcGYV7.net
オイラーの主題による変奏曲
460:１３２人目の素数さん
23/03/17 20:57:22.88 eLmg40vA.net
>>458
>>340は、おそらくは、都市伝説か
ガセネタだろ？
口頭試問→退学処分
は、無理ゲーでしょ
つまり、口頭試問は、なにかの試験であって
その試験の合不合格は、ありだろうが
退学は、越権で
無理
461:１３２人目の素数さん
23/03/17 21:27:53.45 8CSELx7S.net
>>460
340の話は小平邦彦の
「ボクは算数しか出来なかった」
の「入試委員」のところに
書いてあったもの
1962年の9月から3年間勤めた
ジョーンズ・ホプキンス大学の
大学院の入学者選考委員を
つとめたときの話
実は大学院には入学試験はなく
入学してから２～３年の間に
資格試験を行うらしい
試験は口頭試問で
学生一人に対して
試験委員五人で
二、三時間にわたって
数学全般について
試問するとのこと
日本とは全然違うので
日本のみの常識で語ると誤る
462:１３２人目の素数さん
23/03/17 22:41:43.81 eLmg40vA.net
>>461
だから
1）試験委員は、合格不合格を決める権限があるだけで
退学かどうかは別問題
2）その逸話は、「米国にアホな数学科の学生が居ましたよｗｗ」ってこと（笑い話）でしかない
つまり、口頭試問の採点基準に対して、アホ学生が本の書名とページを答えたのみで、合格できなかったという
それって、然の結果でしかない！
3）そして、その口頭試問の採点基準は、この5ｃｈでは適用できないぞ！
おサルは、採点官の資格のない パーチクリンでしょ
さらに、応答する相手は、いろいろ経緯があって東大数学科出身で、数学のプロ研究者で、大学で数学を教えていた人なんだ
そういうことが分かっている例外事項の問答だったよね
4）一般の場合、どこの馬の骨だ？同士で、アホバカの数学問答しても、完全に無意味だろう
それより、>>456の「どの本の何ページ？」の方が筋が通っているぞ！ｗ
おサルは何が言いたいの？ｗｗ ｽﾚﾘﾝｸ(math板:5番)
さっぱり分からんな
アホのいうことはｗ
463:１３２人目の素数さん
23/03/17 22:43:40.39 eLmg40vA.net
>>462 タイポ訂正
それって、然の結果でしかない！
↓
それって、当然の結果でしかない！
464:１３２人目の素数さん
23/03/17 22:57:11.96 6QOcGYV7.net
オイラーの主題による変奏曲
465:１３２人目の素数さん
23/03/17 23:53:21.09 eLmg40vA.net
>>462 補足
バカな問答も、絶対ダメとは言わない（意味があることは認める）
が、それはほどほどにして、下記なども読んだ方がためになるぞ
例えば、東大 「複素数を超えて?四元数と八元数?」
高校生のための現代数学講座だが、これは普通の高校生なら半分理解できたら立派だろうね
100％理解するためには「東大に来い」ってことでしょう
だが、理解はともかく、私は大学では類似のこと読んでいたよ
ついでに、八元数と十六元数とを貼っておくよ
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
高校生のための現代数学講座 東京大学
「複素数」 玉原国際セミナーハウス
講義 (6) 植田 一石 2018 年 7 月 21 日
「複素数を超えて?四元数と八元数?」
URLﾘﾝｸ(ja.wikipedia.org)
八元数（英: octonion; オクトニオン）の全体は実数体上のノルム多元体で、ふつう大文字アルファベットの O を使って、太字の O（あるいは黒板太字の ??）で表される。実数体上のノルム多元体はたった四種類であり、O のほかは、実数の全体 R, 複素数の全体 C, 四元数の全体 H しかない。O はこれらノルム多元体の中で最大のもので、実八次元、これは H の次元の二倍である（O は H を拡大して得られる）。八元数の全体 O における乗法は非可換かつ非結合的だが、弱い形の結合性である冪結合律は満足する。
乗法的な絶対値 (modulus) を持つより広い数体系も存在する（例えば 16-次元である錐十六元数全体）が、それらの絶対値はノルムとは別に定義されるもので、その体系は零因子をも含む。
実数体上のノルム多元体が R, C, H および O に限られることが証明できる。これら四種類の多元環は、（同型を除き）実数体上の有限次元交代可除代数に他ならない。
積が結合的ではないから、O の非零元全体は群にはならない。しかしそれはループであり、実際はムーファンループを成す。
つづく
466:１３２人目の素数さん
23/03/17 23:53:56.98 eLmg40vA.net
>>465
つづき
URLﾘﾝｸ(ja.wikipedia.org)
十六元数（英: sedenion）は、全体として実数体 R 上16次元の（双線型な乗法を持つベクトル空間という意味での）非結合的分配多元環を成す代数的な対象で、その全体はしばしば S で表される。八元数にケーリー＝ディクソンの構成法を使って得られる対合的二次代数である。
「十六元数」という用語は、他の十六次元代数構造、例えば四元数の複製二つのテンソル積や実数体上の四次正方行列環などに対しても用いられ、Smith (1995) で調べられている。
算術
ケーリーの八元数と同様に十六元数の乗法は可換でも結合的でもない。そして、ケーリーの八元数環 O と明確に違うことに、十六元数の全体 S は交代代数にもならない。十六元数についていえることは冪結合性（英語版）を持っているということである。これは S の元 x に対して、冪 xn は矛盾なく定義可能で、それらが柔軟（英語版）であることを意味する。
任意の十六元数は、R-ベクトル空間としての S の基底を成す16個の単位十六元数 e0 = 1, e1, e2, e3, …, e15 の実係数線型結合になっている。
十六元数は乗法に関する単位元を持ち、多くの元がその逆元を持つが、多元体とはならない。これは零因子の存在による。
URLﾘﾝｸ(en.wikipedia.org)
Sedenion
(引用終り)
以上
467:１３２人目の素数さん
23/03/18 06:59:43.72 OT2XfDmG.net
オイラーの主題による変奏曲
468:１３２人目の素数さん
23/03/18 07:34:53.47 0AgVS/Gm.net
>>462
> 「米国にアホな数学科の学生が居ましたよ」
> アホ学生が本の書名とページを答えたのみで、
> 合格できなかった
そして日本にも同類のアホが居た
1、おまえのことだぞ
質問に対して検索結果をコピペしただけ
それじゃ不合格ってこと
> 一般の場合、どこの馬の骨だ？同士で、
> アホバカの数学問答しても、完全に無意味だろう
> それより、「どの本の何ページ？」の方が筋が通っているぞ！
それがウソ
書いてある中身が理解できてないんだから
筋が通ってるわけがない
そんなこともわからないのが中卒馬鹿１
> 何が言いたいの？
> さっぱり分からんな
それは１、貴様がアホザルだからだよ
アホザルが数学板にいくら検索結果をコピペしても
無意味だからやめとけ
サルに数学は理解不能
469:１３２人目の素数さん
23/03/18 07:39:05.76 0AgVS/Gm.net
>>462
>相手は、いろいろ経緯があって
>東大数学科出身で、
>数学のプロ研究者で、
>大学で数学を教えていた人なんだ
それ全部アホサルの妄想な
・駅弁大の数学科卒
・大学院にはいったが学位はとれず
・今は予備校教師
その程度でも書ける内容だけどな
ま、大阪●●大学とかいう
三流私大の工学部卒にはわかんないか
470:１３２人目の素数さん
23/03/18 07:43:36.14 0AgVS/Gm.net
>>465-466
> ・・・なども読んだ方がためになるぞ
正則行列の条件も理解できない1が読んでも
一字も理解できないから時間の無駄だけどな
> 私は大学では類似のこと読んでいたよ
誤 読んでいたよ
正 目を通したが一字も理解できなかったよ
文章は正確に書こう
1は自分が理解できなかったという事実を受け止めないから
いつまでたっても馬鹿のままなんだ わかるか？
利口になるには、馬鹿を受け止める必要がある
471:１３２人目の素数さん
23/03/18 07:44:52.86 0AgVS/Gm.net
大体学歴をありがたがるのは馬鹿
利口な人はそんなもの無意味だとわかる
理解しているか否か それだけが意味がある
472:１３２人目の素数さん
23/03/18 07:47:18.60 0AgVS/Gm.net
アホザルが
「八元数がー、十六元数がー」
と下痢コピペしてるが
そもそも、八元数も、十六元数もクリフォード代数ではない
ま、線形代数もグラスマン代数もわからんアホザルには
クリフォード代数もわからんだろう
473:１３２人目の素数さん
23/03/18 07:53:24.35 0AgVS/Gm.net
アホザルは
正則行列の条件も知らんし
階数・退化次数の定理も知らん
線形代数が全然わかっとらん
大学１年の壁が乗り越えられなかったアホ
数学者
－－（論文の壁）－－
数学科
－－（抽象理論の大１の壁）－－
理系
－－（sin,cosの高２の壁）－－
文系
474:１３２人目の素数さん
23/03/18 07:57:07.96 0AgVS/Gm.net
アホザルは
「ガロア理論がー」
と吠える前に
まず線形代数を理解しとけ
線形代数こそ数学の基本だぞ
基本ができてない奴がいくら
「コホモロジーがー」
とかいっても無意味
475:１３２人目の素数さん
23/03/18 08:08:29.49 OT2XfDmG.net
>>469
>>相手は、いろいろ経緯があって
>>東大数学科出身で、
>>数学のプロ研究者で、
>>大学で数学を教えていた人なんだ
>それ全部アホサルの妄想な
「東大数学科出身で」というのは妄想だが
「数学のプロ研究者で」と「大学で数学を教えていた」はおおむね正しい
>>・駅弁大の数学科卒
東大の数学科卒でないのでそういわれても仕方がないわけだが
>>・大学院にはいったが学位はとれず
学位を取る前に助手になった。昔はそういうのが普通。
>>・今は予備校教師
今は無職
476:１３２人目の素数さん
23/03/18 08:18:02.10 0AgVS/Gm.net
>>475
どちら様か存じませんが
> 「数学のプロ研究者で」と
> 「大学で数学を教えていた」はおおむね正しい
そうでしたか
ただそれは偶然ですね
今ここで示された情報だけでは
そうであると断言する証拠がなかったですから
注）あなたの発言を疑うという意味ではありませんよ
>>・駅弁大の数学科卒
> 東大の数学科卒でないのでそういわれても仕方がないわけだが
別に大学はどこでもいいと思いますよ
東大の数学科でても全員が数学者になるわけじゃないですから
>>・大学院にはいったが学位はとれず
> 学位を取る前に助手になった。昔はそういうのが普通。
別に学位の有無もどうでもいいと思いますよ
論文をいくつも出しているなら同じことですから
> 今は無職
おいくつでしょうか？
専攻は何でしょうか？
著書はありますか？
477:１３２人目の素数さん
23/03/18 08:20:53.90 0AgVS/Gm.net
1は、世界が１次元的というか実数的である
つまり、すべての人は、自分より上か下かのどちらかだと思ってる
だから下はやたら侮蔑し 上にはやたら迎合する
実際の世界は多次元的というか複素数的、四元数的である
478:１３２人目の素数さん
23/03/18 08:49:40.27 M09HE8oG.net
>>475
>「東大数学科出身で」というのは妄想だが
>「数学のプロ研究者で」と「大学で数学を教えていた」はおおむね正しい
ありがとうございます
ぶしつけな質問で恐縮だが
・あなたは、下記の東大の一年生向けのセミナーで 『空間・時間・物質』(Raum, Zeit, Materie)の原書講読をやった人と同一人物ですか？
・あなたは、>>269で乗数イデアルについて、引用した人と同一人物ですか？
如何でしょうか？
(参考)前スレより
ガロア第一論文及びその関連の資料スレ
ｽﾚﾘﾝｸ(math板:653番)
653 名前：１３２人目の素数さん[] 投稿日：2023/02/19(日) 20:44:45.12 ID:wMMN+4ky [5/5]
彼は一般相対性理論の発展を追った著書『空間・時間・物質』(Raum, Zeit, Materie) を1918年に発表したが、これは広く読まれ、1922年には第4版が出版された。
東大の一年生向けのセミナーの教材がこれだったが
いきなり原書講読だったのでたまげた。
479:１３２人目の素数さん
23/03/18 08:54:21.83 M09HE8oG.net
>>477
>つまり、すべての人は、自分より上か下かのどちらかだと思ってる
違うな
それあんた
そして、あんたは、オレより下だよ
アホざるくんｗ >>ｽﾚﾘﾝｸ(math板:5番)
あんたは、オレの知っていることしか書かない(書けないｗ)
そして、>>475の元大学教員氏は、本物だよ、私の知らないことを沢山書く！
480:１３２人目の素数さん
23/03/18 09:05:51.16 0AgVS/Gm.net
>>479
>>つまり、すべての人は、自分より上か下かのどちらかだと思ってる
> 違うな それあんた
> そして、あんたは、オレより下だよ
そのコメントで、全然違ってないと証明されました
> あんたは、オレの知っていることしか書かない(書けない)
ボクは、君が知ってると思い込んでるだけで
実はわかってないと思われることを狙って書いてる
君がドヤ顔で書き込むのを待って
その初歩的誤りをぶっ叩く
もう七回くらい成功してる
ダボハゼみたいによく釣れるよ 君は
> 元大学教員氏は、本物だよ、私の知らないことを沢山書く！
君が明らかに知らなそうなこと書いても
「知りませんでした」というだけだから意味ない
「それ知ってる！」と食いつかせるのが目的だから
意地悪？ そんなことないよ
だって君は自分の誤解に気づけて
しかも正解も学べるんだぜ
まあ、別にこっちも娯楽でやってるから
感謝しろよななんていわないよ
ああ、ボクってなんていいやつなんだｗ
481:１３２人目の素数さん
23/03/18 09:12:21.00 0AgVS/Gm.net
ダボハゼの1を空振りさせるには
高めのストレートを投げればいい
1は絶好球と思って振ってくるけど
いかんせんスイングがおっそいから
絶対に当たらない
任意の正方行列が正則行列とかいったり
行列の核の次元が行列のサイズからランクを引いたものになる
ってことすら知らなかったするような
ド素人の１なんて１００キロ程度の球で十分よｗ
482:１３２人目の素数さん
23/03/18 09:20:12.51 M09HE8oG.net
>>387
数学プロのいるうちに、ちょっと
IUTを蒸し返しておきたいのだが
1）私は、いわば野球のWBCやサッカーワールドカップの応援のミーハー同様でして
2）IUTは、数学史上まれに見る珍事だと思っています
3）普通よくあるのは、
大予想証明論文発表→ギャップ発見→論文取り下げ再検討
というサイクルだ
4）ところが、IUTは
ABC予想証明論文発表→ギャップ未発見→単純化論法のSS文書→無視して論文査読完了(出版)
という流れ
5）これの類似トラブル事例は
a)カントールの無限集合論
b)選択公理？
くらいかな、数学では？（天文学では地動説が有名ですが）
ということで
野球やサッカー同様、望月選手の活躍を期待しながら見守っているのが、私の現状です
483:１３２人目の素数さん
23/03/18 09:33:35.10 QmDuSyxi.net
>>269
乗数イデアルでググったが、>>269の内容は多変数関数論ではなく複素幾何学になるとは思う
>>442
Kowalskyは局所コンパクトかつ離散的でない位相体が同型になり得る位相体の構造を
初等的な手法で浮き彫りにした人物で、Kowalskyが示した結果の証明には11、12ページを要する
Kowalskyの結果とフロベニウスの定理により、
任意の局所コンパクトな位相体は実数体か複素数体か四元数体のどれか1つに同型であることが示された
484:１３２人目の素数さん
23/03/18 09:40:48.63 QmDuSyxi.net
>>442
Kowalskyが示した結果を書くだけでも0.5ページ近くを要しているので、
悪いがKowalskyが示した結果の詳細を知りたいなら、
ポントリャーギンの連続群論を見てほしい
485:１３２人目の素数さん
23/03/18 10:26:32.62 YkNVrV7m.net
>>478
↓これの補足だけしておきます。
JohnssonとMustataはこれを代数的な定式化により二次元で解いた。
Valuations and asymptotic invariants for sequences
of ideals Ann. Inst. Fourier (2012)
そのあと一般次元でGuanとZhouが解析的方法で解いた。
A proof of Demailly's strong openness conjecture
Ann. of Math. (2015)
XuはJ-M方式を完遂した。
Xu : A minimizing valuation is quasi-monomial, Ann. of Math. (2020)
GuanとZhouの仕事は、その後"effective strong openness"へ、さらに
"sharp effective strong openness"へと複素解析の理論として展開を見せ、
斎藤三郎氏が300年は解けないだろうと言っていた予想の解決にまで至った。
これの複素幾何的な意味づけは不明であるが。
486:１３２人目の素数さん
23/03/18 12:43:06.63 M09HE8oG.net
>>485
ありがとうございます
よく分かりました
さて
>"sharp effective strong openness"へと複素解析の理論として展開を見せ、
>斎藤三郎氏が300年は解けないだろうと言っていた予想の解決にまで至った。
キーワード で
math sharp effective strong openness conjecture
の検索で、60万件ヒットで、下記上位3つ
Q1）その予想解決は、下記3つのどれかに含まれていますか
Q2）その予想には、名前がついていますか？
つづく
487:１３２人目の素数さん
23/03/18 12:45:15.42 M09HE8oG.net
>>486
つづき
(参考)
A sharp effectiveness result of Demailly's strong openness ...
arXiv
https://アーカイブ ? math
このページを訳す
Q Guan 著 ・ 2017 ・ 被引用数: 27 ? Title:A sharp effectiveness result of Demailly's strong openness conjecture ; Subjects: Complex Variables (math.CV); Algebraic Geometry
つづく
488:１３２人目の素数さん
23/03/18 12:47:15.68 M09HE8oG.net
>>487
つづき
An optimal support function related to the strong openness ...
国立研究開発法人 科学技術振興機構
URLﾘﾝｸ(www.j)<)スプリンガーcom ? article
このページを訳す
SJ Bao 著 ・ 2022 ・ 被引用数: 4 ? Guan, Q. A.: A sharp effectiveness result of Demailly's strong openness conjecture. Adv. Math., 348, 51?80 (2019).
(引用終り)
以上
489:１３２人目の素数さん
23/03/18 12:53:58.30 M09HE8oG.net
>>487-488
妙にリンクが通らない
なので、リンクに日本語を入れた
490:１３２人目の素数さん
23/03/18 15:04:30.04 M09HE8oG.net
>>483-484
おっちゃん、ありがとう
よく分かりました
491:１３２人目の素数さん
23/03/18 15:07:14.24 M09HE8oG.net
>>465
Yuji Tachikawaの講義ノートがあったので貼る
URLﾘﾝｸ(member.ipmu.jp)
Yuji Tachikawa
URLﾘﾝｸ(member.ipmu.jp)
List of lectures
URLﾘﾝｸ(member.ipmu.jp)
物理数学III (2017)
URLﾘﾝｸ(member.ipmu.jp)
物理数学III 講義ノート
P34
2.6.2 四元数
死の床についたハミルトンが昔を回想して息子にあてた手紙が残っている41
注）
41 URLﾘﾝｸ(books.google.co.jp)を参照。もうちょっと文献を探すと、
この会話をしたのは息子が9歳だかのときということがわかる。
P35
現在では、長さの積が積の長さになるような積を入れられる実ベクトル空間の次元は
1,2,4,8 に限ることが知られている42
注）
42エビングハウス他著、成木訳「数」(上下) シュプリンガー数学リーディングス6、丸善、2004 など参照。
また、単純超対称ゲージ理論が存在する次元は d = 2 + 1, 2 + 2, 2 + 4, 2 + 8 であって、超弦理論が 10 次
元であるというのにも関係がある。Kugo, Townsend “Supersymmetry and the Division Algebras” Nuclear
Physics B221 (1983) 357Evans, “Supersymmetric Yang-Mills theory and Division Algebras”, Nuclear Physics
B298 (1988) 92
492:１３２人目の素数さん
23/03/18 15:30:23.86 0AgVS/Gm.net
>>483
> Kowalskyは
> 局所コンパクトかつ離散的でない位相体が
> 同型になり得る位相体の構造を
> 初等的な手法で浮き彫りにした人物で、
「・・・が同型になり得る位相体」とはおかしな文章だ
「局所コンパクトかつ離散的でない位相体の構造」
ではなぜいかんのか？
それはさておき、上記の通りなら
それは>>330のQ2ではない
なぜならこう書かれているから
Q2.実数体R上の有限次元線型空間である斜体はR,Cと四元数体Hのみであることを示せ
どこにも
「局所コンパクトかつ離散的でない位相体」
なんて書かれていない
「実数体R上の有限次元線型空間である斜体」
と書かれている
> Kowalskyが示した結果の証明には11、12ページを要する
> Kowalskyの結果とフロベニウスの定理により、
> 任意の局所コンパクトな位相体は
> 実数体か複素数体か四元数体のどれか1つに同型であること
> が示された
フロベニウスの定理は以下の通りだが？
URLﾘﾝｸ(ja.wikipedia.org)(%E4%BB%A3%E6%95%B0%E5%AD%A6)
「D が実数体 R 上の有限次元多元体であれば、以下の何れかが成り立つ。
D = R
D = C（複素数体）
D = H（四元数体）」
330のQ2の通りだろう
当然だ これを見て出題したのだから
つまり、誤解したのは、QmDuSyxi こと乙 君だ
>>484
Kowalskyのいうのは
「局所コンパクトかつ離散的でない位相体は
実数体かその上の有限次元多元体である」
ということだろう
330ではそんなことは尋ねていない
君はそんな初歩的なことが読み取れない
数学以前に国語ができていない
それでは数学は全く理解できない