ガロア第一論文と乗数イデアル他関連資料スレ6at MATH
ガロア第一論文と乗数イデアル他関連資料スレ6 - 暇つぶし2ch858:132人目の素数さん
24/05/12 07:43:21.28 kLL3MH+1.net
>>822
>ガロア第一論文でも読みなさい!!
精神論?
学生「ガロアの第一論文、読みました」
教授「じゃ、その中のもっとも重要な定理とその証明は?」
学生「・・・」
教授「論文、読んだんだよね?」

859:132人目の素数さん
24/05/12 07:50:12.56 kLL3MH+1.net
>>825
>”中身が無いと正直に認める一般人のほうがはるかにすばらしい”
>と、自己弁護
ええんちゃう?
他人からどう見えるかだけ意識して、本当は全く興味ないのに
「ガロア理論の本何冊も読みました!」(全然理解できてないけど)
と偉そうに語るより、自分の興味を第一に考えて
「ガロア理論?知らんわ 代数方程式の根求めるだけなら全然要らんし」
というほうが人として真っ当かと
誰であれ、何を学び何を捨てるかは自分で決めること
他人の目ばかり気にして「勉強してます!」と口だけ言っても
ただのエエカッコシイと見透かされる 意味ないよ

860:132人目の素数さん
24/05/12 07:54:50.14 kLL3MH+1.net
工学でも数学は大事、と綺麗事をいい、ガロア理論がーとほざく人物に
自分の専門に近い数学のネタを振ってみたら、実は全く知らなくて
「全然関係ない!」と全力否定するのを見ると
「この人にとって、大人になるって、見え透いたウソをつき続けることなんだなあ」
と思ってしまう

861:132人目の素数さん
24/05/12 07:57:19.12 kLL3MH+1.net
>投稿中、ほとんど数学的な中身ないよね
ある御仁の投稿もコピペを除くと、全くといっていいほど数学的中身はない
数学に関する箇所はことごとく間違ってるから、むしろマイナス
読まずにコピペしてるんだなあって丸わかり 
それで「読んでます!勉強してます!」って
誰に対して何をアピールしてるんだか

862:132人目の素数さん
24/05/12 08:31:16.08 6r7ZW8gH.net
>他人の目ばかり気にして「勉強してます!」と口だけ言っても
>ただのエエカッコシイと見透かされる
PDEの大家であった溝畑先生が
インタビューされたとき
「私の理想は木枯らし紋次郎です」と言ったところ
「先生はええかっこしいですね」と
返されたそうだ。

863:132人目の素数さん
24/05/12 08:40:37.15 kLL3MH+1.net
>>831 それは全然関係ないかと

864:132人目の素数さん
24/05/12 08:41:49.84 kLL3MH+1.net
数学に興味ないのに数学勉強してますアピールする
ウソつきパフォーマンスがエエカッコシイの詐欺
だといってるわけで

865:132人目の素数さん
24/05/12 09:00:57.40 qeZkOp9E.net



866:>>764 戻る 1)再録>>754より  ”そもそもは、>>698”志村五郎は、著書で 「(数論志望以外の)大学生にガロア理論を教えても仕方ない 表現論教えたほうがいい」  と書いてました”だった  では、志村五郎のいう ガロア理論の代わりに教える「表現論」はどんなものなのか?  それは、当然”ピーター・ワイルの定理”>>748ではないよねww  もっと一般のいわゆる「表現論」です(下記 wikipedeiaのような)  要するに、抽象的代数理論の群や環を、具体的なベクトル空間の線型変換、つまりは行列によって表現するものだ(下記)  (志村氏は、それが(数論志望以外の)大学生にも、役立つ理論と考えたのだろう)”  同様のことを、中島 啓氏も書いている  名古屋大 柳田伸太郎先生が、数理科学展望I で、下記”量子力学の話題を動機とした Lie群とLie環の表現論の入門的説明”をしているので参考になるだろう 2)では、名古屋大では上記志村氏の通り、「(数論志望以外の)大学生にガロア理論を教えても仕方ない 表現論教えたほうがいい」  を実行しているのか? そうではないよね  では、”数論志望以外の)大学生にガロア理論を教え”る効用とは何か?  それはいろいろあるのでしょうね  詳しくは無いが、一例は下記「ソリトン方程式とKac-Moodyリー環」柏原他  冒頭、”Galoisの視点を,微分方程式に適用する試みの中から,リー群,リー環の概念は生まれた.線型微分方程式を,この立場で研究するものとして,Picard-Vessiot理論があり,そこに現われる群は,有限次元Lie群である”  と始る(このソリトン方程式の理論は、微分方程式のGalois理論でもあり、リー群,リー環の表現論でもあると言えるかも)  また、「ガロア理論とその発展」玉川安騎男(下記)では、グロタンディークの  ”現在の代数幾何学・数論幾何学”、”遠アーベル幾何”の話があり  ”19世紀前半に生まれたガロア理論は、現代もなお強い生命力を持って進化しています”と結ばれる 結論として、a)ガロア理論、b)表現論、 a) or b)の二択問題 という 志村五郎氏の問題設定が時代遅れってことでしょうね なお、余録で 中村 幸四郎先生の「ガロア理論の推移史について」がヒットしたので、貼っておきます (デデキントのガロア理論講義の話が興味深い)   (参考) https://ja.wikipedia.org/wiki/%E8%A1%A8%E7%8F%BE%E8%AB%96 表現論(英: representation theory)とは、ベクトル空間の線型変換として代数構造を表現することで代数構造上の加群を研究する数学の一分野である[1]。 https://www.ipmu.jp/sites/default/files/2024-03/monoshiri-17.pdf 中島 啓 - Kavli IPMU 2024/03/30 — 理論物. 理学に起源を持つゲージ理論の数学的なアプローチと、その表現論への ... ヤング図形. です。 ヤコビの. 三重積公式。 この ... ゲージ理論. クォーク. 表現論 数学では、あるものを行列で表すことを「表現」と呼ぶ。表現論は、あるものを行列 でどのように表すことができるのか考えたり、複数の表し方があったときにその間 にどのような関係があるのかを調べたりする数学の分野だ。 つづく



867:132人目の素数さん
24/05/12 09:01:52.55 qeZkOp9E.net
つづき
URLリンク(www.math.nagoya-u.ac.jp)
2020年度秋学期 数理科学展望I (柳田担当分)
講義ノートのpdf (ver. 2020.12.21)
URLリンク(www.math.nagoya-u.ac.jp)
内容
この講義では, 量子力学の話題を動機とした Lie群とLie環の表現論の入門的説明を行います.
URLリンク(www.jstage.jst.go.jp)
論説 数学 (1981年9月14日提出)*1981年4月5日京都大学における第9回日本数学会彌永賞受賞講演
ソリトン方程式とKac-Moodyリー環 柏原 正樹*神保 道夫 伊達 悦朗 三輪 哲二
§1.序
代数方程式の研究に,解の変換群の概念を導入し,その有効性を示したのはGaloisである.こ
のGaloisの視点を,微分方程式に適用する試みの中から,リー群,リー環の概念は生まれた.線
型微分方程式を,この立場で研究するものとして,Picard-Vessiot理論があり,そこに現われる群
は,有限次元Lie群である.有限次元半単純リー環の研究における, Cartan行列を基礎におく理
論構成を一般化して,Kac-Moobyリー環と呼ばれる,無限次元リー環の概念が生まれた([IY 38],
[IY 68],[40])1).ほぼ同じ頃,ソリトン理論が,その姿を現わしつつあった.ソリトン理論にあら
われる非線型方程式(以下,ソリトン方程式と呼ぶ)は,線型方程式系の可積分条件として表わされ
るという側面をもつ.本稿では,ソリトン方程式の解の変換群を考察し,ある種のソリトン方程式
の変換群のリー環として,Euclid型リー環と呼ばれるKac-Moodyリー環が現われることを示す.
URLリンク(www.kurims.kyoto-u.ac.jp)
数学入門公開講座テキスト(京都大学数理解析研究所,平成18年)
ガロア理論とその発展 玉川安騎男
環の典型的な現れ方として、与えられた空間Xの上の(適当な条件を満たす)関数全体のなす環があります。この場合、関数の値の和、差、積を考えることにより、関数の和、差、積を定義します。(1,0は、それぞれ恒等的に値1,0を取る関数として定義します。)
実は、任意の環はこのようにして得られることが知られています。
より正確に言うと、与えられた環Rに対し、アフィンスキームと呼ばれるある種の空間Spec(R)が定まり、Rは空間Spec(R) 上の正則関数全体のなす環と自然に同一視されます。更に、環を考えることとアフィンスキームを考えることは本質的に同等であることが知られています。一般のスキームは、アフィンスキームをはり合わせることにより定義されます。
1950年代後半にグロタンディークによって定義されたこのスキームは、代数多様体(≈多項式で定義される図形)の概念を大きく一般化するもので、現在の代数幾何学・数論幾何学の基礎をなす概念です。
つづく

868:132人目の素数さん
24/05/12 09:02:13.37 qeZkOp9E.net
つづき
グロタンディークの提唱した形での遠アーベル幾何は、遠アーベルスキームの一般的な定義が見つかっていないなど、理論的にはまだまだ発展途上の状態ですが、既にいくつもの重要な結果が得られています。例えば、ノイキルヒ・内田の定理は、(グロタンディークが遠アーベル幾何を提唱する以前の結果ですが)遠アーベル幾何における一つの基本的な結果となっています。また、近年では、代数曲線やそのモジュライ空間の遠アーベル幾何の研究が、(本研究所を中心に)さまざまな角度から進められ、興味深い結果がいくつも得られています。このように、19世紀前半に生まれたガロア理論は、現代もなお強い生命力を持って進化しています。
(余録)
URLリンク(www.jstage.jst.go.jp)
ガロア理論の推移史について 中村 幸四郎 科学基礎論研究 Vol.15 No.4 1982
URLリンク(ja.wikipedia.org)
中村 幸四郎(1901年6月6日 - 1986年9月28日)は、日本の数学者(数学基礎論・数学史)。大阪大学名誉教授、関西学院大学名誉教授、兵庫医科大学名誉教授、文学博士。従四位勲三等旭日中綬章
(引用終り)
以上

869:132人目の素数さん
24/05/12 09:17:21.56 q8J7C2FH.net
「表現」が分かってませんね、セタさんは。
ちなみにガロア第一論文にも群の表現が出てきますが
どれがそれに該当するか分かりますかね?

870:132人目の素数さん
24/05/12 09:39:20.03 kCkMblnd.net
ガロア理論と表現論
ゼータ関数への出発
黒川 信重 著

871:132人目の素数さん
24/05/12 10:08:50.15 qeZkOp9E.net
>>837-838
>「表現」が分かってませんね
・「表現」と「表現論」とを分けましょう
 「表現論」は、一般には 中島 啓 ”表現論
 数学では、あるものを行列で表すことを「表現」と呼ぶ。表現論は、あるものを行列
 でどのように表すことができるのか考えたり、複数の表し方があったときにその間
 にどのような関係があるのかを調べたりする数学の分野だ。”
 「表現論」とは、一般には 行列による表現をいい、20世紀後半に発展した分野
・しかし、「表現」が何を意味するかは多義です
 例えば、下記の有限群の表現 永尾汎・津島行男
>ガロア理論と表現論 ゼータ関数への出発 黒川 信重 著
その本は、題名くらいしか存じませんが
ガロア理論 vs 表現論 という対立構造ではなく、ガロア理論 and 表現論 ということと思います
URLリンク(www.shokabo.co.jp)
裳華房
復刊書籍一覧へ数学選書8 
有限群の表現 永尾汎・津島行男 共著
1987年8月発行,復刊 2001年9月発行
 通常表現とモジュラー表現に関する基礎的な事柄をまとめたもので、


872:近年の話題や他書と異なる着想による証明等を含めて、この分野への魅力ある入門書である。  群の表現の研究には、いくつかの方法があるが、本書では一つの方法に固執することは避けた。読者が一層理解が深められるように、計算によって確かめられることを考慮した。 詳細目次 まえがき 読者への案内 1.環と加群  略 2.多元環とその表現  §1 表現の基礎概念  §2 体上の多元環  §3 絶対既約表現  §4 単純多元環  §5 分離多元環  §6 Schur指数  §7 接合積  §8 Frobenius多元環と対象多元環 3.群の表現  §1 群の表現と群環  §2 通常表現  §3 Clifford理論  §4 Brauerの諸定理  §5 射影表現  §6 モジュラー表現序論 4.直既約加群  略 5.ブロックの理論  §1 ブロックの不足群  §2 Brauer準同型と第1主定理  §3 Brauer対応  §4 一般分解定数と第2主定理  §5 ブロックと正規部分群  §6 第3主定理  §7 正規 p′-部分群に関する被覆  §8 ブロックと剰余群  §9 部分対と部分節  §10 R [G×G]-加群としてのRG  §11 下位不足群  §12 Glauberman対応 ://www.あまぞん 有限群の表現 (数学選書 8) 1987/8/20 裳華房 永尾 汎 (著), 津島 行男 (著) レビュー ステッキジジイ 5つ星のうち5.0 エクセレントブック📚。 2019年6月30日に日本でレビュー済み エクセレントブック。現在、この分野の唯一の和書であり、碩学の手による良書。色々な予想や、圏論の扱いなどこの後の発展はその他洋書や論文によるしか無いが、日本語で読める本がある事に感謝いたします。有限群の表現、広く多元環の表現の研究が発展することをお祈り致します。



873:132人目の素数さん
24/05/12 10:51:17.65 VBfNqEJ3.net
今日も行列が理解できないsetaに表現は無理、を確認。

874:132人目の素数さん
24/05/12 11:01:13.21 kCkMblnd.net
>>840
小さいやつだな

875:132人目の素数さん
24/05/12 11:08:11.40 VBfNqEJ3.net
>>841
数学はホラ話じゃない

876:132人目の素数さん
24/05/12 11:10:40.51 kCkMblnd.net
数学上のアイディアの大半はホラ話

877:132人目の素数さん
24/05/12 11:14:29.78 VBfNqEJ3.net
>>843
それ妄想癖だよ コピペ癖もそう

878:132人目の素数さん
24/05/12 12:03:35.50 q1BY6fYe.net
>>844
アイディアの何たるかが分かるのは
その一つが実った経験を持つものだけかもしれない

879:132人目の素数さん
24/05/12 12:22:01.42 VBfNqEJ3.net
自己中の843も1932年発刊のワイル本(>>746)を理解できないだろう

880:132人目の素数さん
24/05/12 13:07:37.94 qeZkOp9E.net
東大入学初年度のゼミで
Hermann Weylの原書をやったそうですが
それは、英語の”Space, Time, Matter”?
それとも、独語の”Raum - Zeit - Materie”?
どちらだったのですか?
URLリンク(en.wikipedia.org)
Hermann Weyl
Space, Time, Matter (English, 1922: translated from German from Henry L. Brose)
Raum - Zeit - Materie (German, 1918)
『空間・時間・物質 上』内山龍雄訳、筑摩書房〈ちくま学芸文庫〉、2007年4月。ISBN 978-4-480-09061-4。

881:132人目の素数さん
24/05/12 13:09:03.06 q1BY6fYe.net
>>846
群論と量子力学といえば最近はこれだろう
群論と量子力学 POD版 Tankobon Hardcover – March 1, 2000
by ウイグナー (著), 森田 正人 (翻訳), 森田 玲子 (翻訳)

882:132人目の素数さん
24/05/12 13:09:57.99 q1BY6fYe.net
>>847
ドイツ語だったので一回目で脱落

883:132人目の素数さん
24/05/12 14:00:42.91 vvd9FkuO.net
>>848
はあ、昔からウィグナー本は量子力学の基本文献で図書館にあるだろ。
ウィグナーの定理、ウィグナーエカットの定理、
ワイルの表現論は深い、

884:132人目の素数さん
24/05/12 14:33:56.87 qeZkOp9E.net
>>839 補足

・有限群論に、”Cayley's theorem”というのがあって
 置換表現がある(任意有限群は、ある対称群の部分群)
・下記の西山享にあるように、行列による表現は強力だが
 置換表現やいろんな表現があり、それぞれ特色があるのです

(参考)
www.よーつべ.com/
群論:有限群の置換表現
龍孫江の数学日誌 in YouTube
2023/01/12 群論演習
位数nの群の,n点集合への可移かつ忠実な作用について観察します.

en.wikipedia.org/wiki/Cayley%27s_theorem
Cayley's theorem
In group theory, Cayley's theorem, named in honour of Arthur Cayley, states that every group G is isomorphic to a subgroup of a symmetric group.[1] More specifically, G is isomorphic to a subgroup of the symmetric group
Sym(G) whose elements are the permutations of the underlying set of G.

つづく

885:132人目の素数さん
24/05/12 14:36:50.04 qeZkOp9E.net
つづき

//rtweb.math.kyoto-u.ac.jp/preprint/nagoya.pdf
表現論の方法と考え方2000年度
名古屋大学集中講義(自然数理特論1)
西山享(京大総合人間学部) 2000/11/20 { 11/24 Ver. 1.0 ]
Abstract
表現論は数学・物理学のさまざまな分野で道具として開発され、かつ有効に使われてきた。特に量子力学への応用、超対称性など素粒子論の分野や、あるいは整数論(保型形式の理論)、組み合わせ論、不変式論や特殊函数論などに大きな影響を与えている。
この講義では、そのような分野に表現論がどのように応用されているかは解説しない。
さまざまな分野で表現論が使われてきて、表現論独特の(数学的)世界の見方や考え方がある。
それを基本的な有限群の場合から解説を始めて、具体的な行列群の場合に解説してみたいと思う。
具体的なプランは以下の通りである。まず有限群の場合に、群の作用、群環の表現、誘導表現、intertwining作用素の作り方、フロベニウスの相互律などを解説する。
これらはすべて(コンパクト)リー群の場合にも意味を持ち、かつその設定の下でより強力な道具となりうる。
しかし有限群の場合に解説することで、あまり本質的でない証明の細部に立ち入ることなく、本質的な考え方のみを伝えたい。
これらの概念は3年次に既習であると思うが、たぶんその時とはまったく異る導入と証明が行なわれる。次に行列群として、一般線型群(代数群の代表選手として)と、直交群(実 Lie 群の代表選手として)の表現論を扱う。もちろんこの二つの群を同列に扱うことも可能だが、敢えて二つの異るアプローチを行なう。
P11
置換表現にせよ、正則表現にせよ、ある空間への群の作用があれば、それを線型化して表現が構成できることを示している。
この方法は非常に強力で、表現論では基本的なものである。
特に左正則表現は、Gが連続群で、空間Xに位相構造や可微分構造、あるいは代数幾何的な構造などが入っているとき、それに対応する関数空間を考えることでさまざまなヴァリエーションを持つ。
後ですべての既約表現は正則表現を経由して得られることを示す。
(引用終り)
以上

886:132人目の素数さん
24/05/12 14:39:01.53 kLL3MH+1.net
>>834
>「表現論」はどんなものなのか?
>それは、当然”ピーター・ワイルの定理”ではないよね
(以下略)

知ったかぶりのウソがバレたからって
そんなに取り乱すなよ みっともないなぁ

だから最初からウソつくなって
なんでウソついてまで知ったかぶるの?
そろそろ自分の心の闇と向き合ったほうがいいよ 君

887:132人目の素数さん
24/05/12 14:45:17.39 kLL3MH+1.net
>>834
>”数論志望以外の)大学生にガロア理論を教え”る効用とは何か?
>詳しくは無いが、一例は「ソリトン方程式とKac-Moodyリー環」柏原他 冒頭>”Galoisの視点を,微分方程式に適用する試みの中から,リー群,リー環の概念は生まれた.
>線型微分方程式を,この立場で研究するものとして,Picard-Vessiot理論があり,>そこに現われる群は,有限次元Lie群である”
>(このソリトン方程式の理論は、微分方程式のGalois理論でもあり、
>リー群,リー環の表現論でもあると言えるかも)

あのさ、君、微分方程式解きたいの?

だったら、ガロア理論とかいってないで
最初からピカール・ヴェシオでも
ソリトンでも勉強すりゃいい
リー群、リー環が必要になったら
それも勉強すりゃいい

でも、君そうしてないよね?
微分方程式なんてどうでもいいんでしょ
仕事で一切使わなかったみたいだし

要するに
「俺、ガロア理論勉強したんだぜ」(まったく理解できんかったけど)
っていいたいだけなんでしょ?

それさ、ただ他人にマウントしたいだけじゃない?
みっともないよ

888:132人目の素数さん
24/05/12 14:47:53.39 kLL3MH+1.net
>>834-836
君って、なんか弁解できなくなると、
ムキになって、手当たりしだいリンク貼りまくり
コピペしまくりで、荒れまくるけど どういうつもり?

おりこうだね、って褒めてもらいたいの?

やってることが、三歳児だね

889:132人目の素数さん
24/05/12 14:53:31.11 kLL3MH+1.net
>>837
>「表現」が分かってませんね、セタさんは。
まあ、そもそも線型代数がわかってませんから 彼は

>>839
>「表現」と「表現論」とを分けましょう
>「表現論」とは、一般には 行列による表現をいい、
>20世紀後半に発展した分野
>しかし、「表現」が何を意味するかは多義です

ぐだぐだ言い訳してるけど
ガロアの第一論文は眺めただけで理解できてないから
どこでガロア群を線型表現してるかなんてわかりようがない
だから言ってるじゃん、
見栄張ってウソついてもバレるし
みっともないだけだって

また無駄にリンク張りコピペしまくってるし
どんだけ心の闇深いんだ

890:132人目の素数さん
24/05/12 14:55:38.27 kLL3MH+1.net
>>840 >行列が理解できないsetaに表現は無理

だからマセマの線型代数からはじめなって
アドバイスしてるんだけど 
なんか嫌がってるんだよな

やっぱり数学に全然興味ないんだろうな

891:132人目の素数さん
24/05/12 14:58:29.92 qeZkOp9E.net
>>849
>ドイツ語だったので一回目で脱落

・なるほど。東大式スパルタ!
 「獅子の子落とし」:[解説] 獅子は、生まれた子を深い谷へ投げ落とし、生き残ってはい上がってきたものだけを育てるという言い伝え
・いまなら、ネット検索して英訳本みつけて(1970年だとまだ和訳がない?のが残念ですね)
 アマゾンで購入したりw
 ドイツ語原本は手分けして、PDFからOCRかけて、機械翻訳かけたりですかねw ;p)

(参考)
URLリンク(kotobank.jp)
コトバンク
ことわざを知る辞典 「獅子の子落とし」の解説
獅子の子落とし
わが子に厳しい試練を与えて才能をためし、りっぱな人間に育てあげることのたとえ。

[使用例] 獅子の児落しというわけであろうが、落とさるる僕らは実に駒井先生を恨めしく思ったのである[徳富蘆花*思出の記|1900~01]
[解説] 獅子は、生まれた子を深い谷へ投げ落とし、生き残ってはい上がってきたものだけを育てるという言い伝えによることば。中国から伝わったもので、日本では、歌舞伎舞踊「連獅子」で知られますが、中世にはすでに広まっていました。
出典 ことわざを知る辞典

URLリンク(ja.wikipedia.org)
ヘルマン・クラウス・フーゴー・ワイル(Hermann Klaus Hugo Weyl, 1885年11月9日 - 1955年12月8日)
翻訳
『空間・時間・物質』内山龍雄訳(5版)、講談社、1973年

892:132人目の素数さん
24/05/12 15:01:56.98 kLL3MH+1.net
>>841 >小さいやつだな

まあ、いっちゃんことSET A君のシッタカのあら捜しは
くだらないといえばくだらないね

でもさ、彼、もう何年もその病気から抜け出せないんだよ
あなたはほっとけばいいとおもってるんだろうけど
ボクはおせっかいだから、そんなことしても苦しいだけだよ
って教えてあげたいんだよ 彼のためになるかどうかはわからんけど

べつにさぁ、数学なんか分かんなくても死にやしないじゃん
そんなことでシッタカしてマウントなんかとれるわけないじゃん
でも彼は数学がわかることが偉いわかってると思わせれば勝ち
みたいな●ったゲームをやりつづけてるわけじゃん

そんなゲームから抜け出したほうがいいじゃん

893:132人目の素数さん
24/05/12 15:05:25.54 kLL3MH+1.net
>>851-852
あああ、またシッタカコピペ病をこじらせちゃった

なんか大学1年の数学で挫折したことがよっぽど悔しいみたい

でもどこがわからなかったのか
わかるためにはどこからはじめたらいいのか
冷静になって反省しないと 
ただやみくもにコピペしたって
線形代数の山は乗り越えらんないよ

894:132人目の素数さん
24/05/12 15:08:05.68 kLL3MH+1.net
>>858
いっちゃんがやめたほうがいい癖

1.まず(参考)と書くのをやめる
2.そしてリンクを貼るのをやめる
3.最後に読みもしないで長文コピペするのは絶対やめる

895:132人目の素数さん
24/05/12 15:09:18.65 kLL3MH+1.net
たとえば858は(参考)とリンクとコピペを除くとたったこれだけ
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
>>849
>ドイツ語だったので一回目で脱落

・なるほど。東大式スパルタ!
 「獅子の子落とし」:[解説] 獅子は、生まれた子を深い谷へ投げ落とし、生き残ってはい上がってきたものだけを育てるという言い伝え
・いまなら、ネット検索して英訳本みつけて(1970年だとまだ和訳がない?のが残念ですね)
 アマゾンで購入したりw
 ドイツ語原本は手分けして、PDFからOCRかけて、機械翻訳かけたりですかねw ;p)

896:132人目の素数さん
24/05/12 15:12:24.78 kLL3MH+1.net
いっちゃんはシッタカ書き込みはやめて
むしろ自分が分からなかったことを
質問する書き込みをしたほうがいい

そんなことも知らんのかっていわれるかもしれんけど
そこでキレたら終わりですよ 決してキレではいけません
自分が神だと思ったら負け 自分はサルだとおもいましょう

897:132人目の素数さん
24/05/12 15:35:56.40 kLL3MH+1.net
いっちゃんがシッタカコピペ病を治したら
多分この板にはもう書き込まなくなるだろうね
まあでもいいよ それで本当にしあわせになるなら
かつてシッタカコピペするウザい奴がいたけど
立ち直って真人間になったってみんなに伝えてあげるから

898:132人目の素数さん
24/05/12 15:38:06.50 qeZkOp9E.net
>>854
>あのさ、君、微分方程式解きたいの?
>だったら、ガロア理論とかいってないで
>最初からピカール・ヴェシオでも
>ソリトンでも勉強すりゃいい
>リー群、リー環が必要になったら
>それも勉強すりゃいい

・ちょっとギア上げたら
 付いてこれないの?
 でイライラしているの?
 下記の 最終講義 射影極限と帰納極限 梅村浩 2008でも読みなよ
・ソリトンで覚えているのは、この研究で
 佐藤幹夫先生が、指導していた女性数学者(泰子さん?)と結婚したエピソード(下記)

(参考)
URLリンク(ocw.nagoya-u.jp)
最終講義 射影極限と帰納極限 梅村浩 2008年3月14日 名古屋大

1984年秋 〜 1985年秋
Cremona 群の研究が一段落したとき,次になに を研究しようか考えた.
ストラスブールに滞在した.
(1) 所謂代数幾何学.
(2) 代数幾何学を使って何かをやる.
R. Gérard (Strasbourg) Painlevé 全集の編集者 岡本和夫氏 Gérard の研究室にあったPainlevé全集を読み始めた.

Stockholm 講義録 1895年
600ページにせまる大作 が読めないと皆が言っていた.
東大で60年代に代数幾何学のセミナーで読もう とした. 忙しい!!
楕円関数、超幾何関数を超える特殊関数の追求. 関数の生成.最初の問題と類似

最初の印象 でたらめの論文に思えた.
クリスマスが終わる頃には少しづつ分かり始めた
年が明けると Painlevé 自身がよくっ分かっていることが理解できるようになった.

ただ自分の発見を表現する言語を持っていないだけであると.
夏までにPainlevéのアイディアを現代 代数幾何学の言葉で表現することに成功した.
その夏にストラスブールで微分方程式の 日仏シンポジュウムがあり,そこで発表した.

Painlevé 方程式の還元不能性は極めて近い将来 証明されるであろう.
今から思えばあまり相手にされなかったのかもしれい.
一体Kolchin は何をしているのかと思った.
Kolchin の本を開いた瞬間 Painlevé のアイディア= Kolchin のガロア理論

URLリンク(twitter.com)
Paul Painlevé
ソリトンに対する佐藤理論を1980年の秋ごろに、佐藤幹夫・泰子夫妻が研究した時、ポケコンを使って双線型方程式を計算した話は有名だが、そういえば機種を聞いたことがなかった。本人たちも忘れているだろう。案外、広田さんのほうが直接聞いて覚えているかもしれない。
(deleted an unsolicited ad)

899:132人目の素数さん
24/05/12 15:56:03.96 kLL3MH+1.net
>>865
>ちょっとギア上げたら付いてこれないの?
>でイライラしているの?

煽っても無駄
都合が悪くなるともっと難しいこと持ち出して煙幕はるのが君の常套手段
ま、マウント失敗したからってイライラしなさんな

>・・・でも読みなよ

君、理解できなかったんだろ?
ああ、だから誰かに読ませて解説してもらいたいのか
だったら最初からそう頼みなよ 
君 土下座の仕方知らないのか
地面に額をこすりつけるんだぞ

>ソリトンで覚えているのは、・・・

君が理解できるのは、所詮ゴシップだけなんだね

900:132人目の素数さん
24/05/12 15:57:36.15 kLL3MH+1.net
で、いっちゃん恒例の
(参考)、リンク、読まずに長文コピペ
ですか

もういい加減その芸は通用しないって気づこうね

901:132人目の素数さん
24/05/12 16:02:41.12 kLL3MH+1.net
試しに
(参考)、リンク、長文コピペ
をやってみたら、規制に引っかかったよ やれやれ

902:132人目の素数さん
24/05/12 16:04:42.26 kLL3MH+1.net
いっちゃんはいつになったら
自分は数学を全く理解できていない
という事実を受け入れるんでしょうねえ

903:132人目の素数さん
24/05/12 16:06:22.85 kLL3MH+1.net
そしていつになったら
実は自分は数学に全く興味がない
ということに気づくんでしょうねえ

興味がないなら理解してなくても別に痛くも痒くもない
幸せだねえ

904:132人目の素数さん
24/05/12 16:08:45.95 kLL3MH+1.net
全然興味ないけど、興味があり理解しているということでないと
人間として認められないから、理解しているとウソをつくということなら
不健全というか●ってるよね

どうしてそういう不健全な考えを持つに至ったのか興味はあるけど
なすべきはその不健全な考えを真っ先に捨てることだね

905:132人目の素数さん
24/05/12 16:10:40.73 kLL3MH+1.net
>>822
>子供じゃないんだ。大人なんだから、「中身があるように努力しなさい」

この文章読んだとき、「ああこの人毒親に虐待されつづけたのかな」と思ったよ

906:132人目の素数さん
24/05/12 16:15:29.00 kLL3MH+1.net
毒親という言葉でまっさきに思い浮かぶのはキ子さんね
彼女のせいで、息子のH仁くんは大変残念なことになってる
作文コピペ事件とか
あれも母親がとにかく息子を某国立大学付属高に入れたくて
その実績をつくるためにやったことでしょ
でもウソついてまで賢いとアピールするとか異常だし
息子はそれで面目なくなるんだから悲劇だよね

いっちゃんの場合は自分で自分を偽装してるんで
まあ、自分が損するだけなんですがね
でもそういうおかしな価値観が毒親によって植え付けられたのなら悲劇だね

907:132人目の素数さん
24/05/12 16:17:15.99 kLL3MH+1.net
H仁君のトンボ論文もまあ同じことだよね
別になんもしなくても天●になれるのに
あの母親はいったい何をしたいのかね?

908:132人目の素数さん
24/05/12 16:34:11.12 kLL3MH+1.net
いっちゃんの長文コピペ=H仁君の作文&論文

まあそういうことですよ

909:132人目の素数さん
24/05/12 16:37:04.00 qeZkOp9E.net
>>865
イライラしている?
イライラマンを、もっとイラつかせる方法
おっと、1990年当時 梅村 浩先生は、熊本大学だったんだね

(参考)
URLリンク(kaken.nii.ac.jp)
kaken
Galois理論の一般化とその解析学への応用 1990
研究代表者
梅村 浩 熊本大学, 理学部, 教授 (40022678)

キーワード 微分ガロア理論 / 代数微分方程式
研究概要
前世紀S,Lie以来懸案となっている微分方程式のGalois理論の確立が目標であった。Galois理論の一般化の問題と呼ぶ。
これは本質的に無限次元の理論である。有限次元性の条件のもとでの微分Galois理論は,前世紀末よりE.Picard等によって試みられ,E.Kolchimにより完成した。しかし彼の微分Galois理論は不都合な要素も含んでいる。特に彼は代数方程式の場合のGalois拡大の概念を,微分体の強正規拡大の概念によって一般化しようとする。残念なことに,これが実は一般化になっておらず両者は微妙に食い違う。このような奇妙な現象の生じる理由を追求し,これを除去することも我々は問題とした。
即ち微分体の,抽象体として有限生成な拡大がautomorphicであるという正しい定義をし次が成立するようにする:抽象体の有限次代数拡大がautomorphicである必要十分条件は,その拡大体がautomorphicであることである。これを統一の問題と呼ぶ。
これら2つの問題(一般化の問題と統一の問題)は別々に導入されたが,我々は2つの問題を同様の枠組の内で解決した。Kolchin理論はWeilの代数幾何学の言語の上に建設されている。統一性が失われるのは,ここに原因がある。
我々は関手的な手法により,つまりbase changeを使うことにより統一の問題を解決した。
一般化の問題は拡大体L/Kから出発して,初期条件についての微分を考えることにより,別の偏微分体L/Kを構成しこの無限小変形を使ってinfinitesimally automorphicの概念を導入することによって解決した。
我々の無限次元微分Galois理論には多くの応用があるものと期待される。

文献書誌 (6件)
[文献書誌] Hiroshi Umemura: "Second proof of the irreducibility of the first differential equation of Painleve^^´" Nagoya Math.J.117. 125-171 (1990)
[文献書誌] Hiroshi Umemura: "Birational automorphism groups and differential equations" Nagoya Math.J.119. 1-80 (1990)
[文献書誌] Yoshishige Haraoka: "Numler Theoretic study of Pochhammer equation 発表予定" Pub.Math.de L' Universite^^´ Pierre et Marie Curie. 91. (1990)
[文献書誌] Yukimasa Oka: "A note on ergodic states on C^*ーdynamics" Kumamoto J.Math.4. 1-4 (1991)
[文献書誌] Yoshinobu Kamishima: "Conformal automorphisms and anformally flat manit olds 発表予定" Trans.Amer.Math.Soc.
[文献書誌] Mitsuhiko Kohno: "Reduction problems in the theory of Differential equations" Proc.international symp.on Symbolic and Algebraie computation. 244-249 (1990)

910:132人目の素数さん
24/05/12 16:55:41.59 qeZkOp9E.net
>>876 追加

URLリンク(tetobourbaki.)はてなブログ.com/entry/2017/05/25/225620
記号の世界ゟ
20170525
微分ガロア理論の文献
微分ガロア理論に関する文献をまとめます. 微分ガロアに限らず, それを勉強するために必要な知識や, 関連する分野の文献もまとめます.

・微分ガロア理論の教科書
・入門的な文献
・無限次元ガロア理論
・Parametrized Picard-Vessiot 理論
・物理への応用
・Painleve方程式
・正標数・p進数・実数体
・常微分方程式
・代数幾何
・代数群

微分ガロア理論の教科書
西岡久美子, 微分体の理論
日本語の唯一の微分ガロア理論の本. Kolchin-Rittの理論に沿って書かれている. 応用の章ではPainleve方程式の既約性を扱っており, そのためにはKolchin-Rittの理論が必要なのである. 洋書と比べても非常に優れた本だと思うが, 最近のPicard-Vessiot理論を扱った本とはずいぶん違うので, 注意も必要

入門的な文献
微分ガロア理論を知りたいなら教科書よりも簡単な文献で全体像をつかむと良い. そのために役立つ文献を挙げる.

D. BertrandによるMagid, Lectures on differential Galois theoryのreview, BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY.
Magid本のレビューであるが, 微分ガロア理論の発展が解説されている.

無限次元ガロア理論
無限次元微分ガロア理論は Malgrange と梅村先生の二つの理論がある. これら二つの理論の能力が等しいことは梅村先生によって示されている. (フランス語の論文でしかも入手方法が分からないので読めない.) それぞれの理論の文献を挙げる.

Painleve方程式
Painleve方程式は既約性が長年の問題であり, その問題に対するアプローチとして微分ガロア理論が現れる. 既約の意味が論文によって違うので少し注意が必要.

パンルヴェ方程式の基本的な教科書として以下の二冊を挙げておく.
・岡本和夫, パンルヴェ方程式
・K. Iwasaki, H. Kimora, S. Shimomura, M. Yoshida, From Gauss to Painleve

無限次元微分ガロア理論の準備としても以下の3つの文献は役に立つ.
・梅村 浩, Painleve 方程式の既約性について, 1987.
・梅村 浩, Painleve 方程式と古典関数, 1995.
・梅村 浩, Painleve 方程式の100年, 1999.

正標数・p進数・実数体
・M. van der Put, Differential equations in characteristic p, 1995.
グロタンディーク予想をモチベーションとして正標数の微分体上の微分ガロア理論を考察している. この段階でPicard-Vessiot拡大の一意性まで言えていないようであるが, 淡中圏を用いて様々な結果を得ている.

代数幾何
微分ガロア理論を勉強する上で代数幾何が必要となるのには二つの理由がある. 一つは微分代数は微分多項式の零点を研究する分野と見ることができ, その意味で代数幾何の一般化であること. Ritt-Kolchinの理論はそのような問題意識があり, Picard-Vessiot理論では代数幾何の定理が必要となることが時々ある. 二つ目は, 微分ガロア群は代数群であり, 代数群を理解するには代数幾何が必須であることである. あと, 梅村先生の微分ガロア理論を理解するには代数幾何は前提である

911:132人目の素数さん
24/05/12 16:58:24.61 kLL3MH+1.net
>>875
>イライラしている?
いいえ
>イライラマンを、もっとイラつかせる方法
もうやめときなよ
>おっと、1990年当時 梅村 浩先生は、熊本大学だったんだね
無闇に人を「センセイ」と呼ぶ癖 やめようね 権威主義は学問の敵だよ

912:132人目の素数さん
24/05/12 17:00:38.04 kLL3MH+1.net
>>876-877
いっちゃんは、なんかコピペしただけで自分が賢くなった気になるみたいだけど
実際には何も分かってないから そういう麻薬に耽溺するのはやめたほうがいいね

913:132人目の素数さん
24/05/12 17:02:39.74 kLL3MH+1.net
いっちゃんは自分が数学を理解できないことに苛立ってるけど
なぜ理解できないのか反省しないので、ただただ検索してコピペすれば
いつかきっとわかると思ってるみたい

でもいくらそんな無駄なことしても数学が分かる日は来ないよ
だって全然考えてないじゃん

914:132人目の素数さん
24/05/12 17:09:13.50 kLL3MH+1.net
いっちゃんはキ子さんと同じなのよ
わかりたいんじゃなくて他人に賢いと思われたいだけ
だから勉強せずに検索コピペで誤魔化すわけ
それが一番手っ取り早いから

で、それを指摘されても他に何もできないから
ますますムキになって検索コピペする
薬物中毒患者が耐性のせいで使用量をどんどん増やすみたいなもん
もう完全にヤバい状態に陥ってる 当人も訳解んない状態になってるんだろうね

915:132人目の素数さん
24/05/12 17:16:35.16 kLL3MH+1.net
いっちゃんはもうだいぶ前から滑稽とかいうより哀れな状態に陥ってる

当人はずっと自分は賢いという思い込みがあるみたいだけど
他人には大学1年レベルの微積分も線形代数も分かってないってバレてる
(まあ、理系でもそんな人は実はザラにいるのは確かなんですけどね)

で、当人もそう思われてることに気づいてるのでますますムキになってコピペする
勉強して理解するだけの忍耐力はないって自覚してるんでしょう
一方で賢いと思われたい欲求はどうしても抑えられない
自分のアイデンティティは賢いことだけだと思ってるのかもしれない
(まあ当人がそう思ってるだけですが)
他人から見れば過去の傷を必死になって挽回したいだけの痛々しい人でしかないですが

で、そもそも「傷」は自己認識の誤り(=自分は賢い)によるので
「ああ、俺ってアホだったんだ」と自覚すれば傷はなくなる
彼自身は自分をアホだと認めることは死と同じと思ってるみたいですが
はっきりいって人間なんて多かれ少なかれアホなのでそんなことでは死にません
皆アホだし、アホでも死なないという事実に気づいてほしいですね

916:132人目の素数さん
24/05/12 17:19:49.85 kLL3MH+1.net
はっきりいって、いっちゃんがここでなにをいっても
彼が望むような評価が得られることはない

もうあきらめてここに書き込むをやめることが
自分の評価をニュートラルレベルに戻す唯一の手段

「ああ、あいつもやっと5chから卒業できたか」
と皆思うから

俺達のことは心配しなくていいよ

917:132人目の素数さん
24/05/12 17:21:38.33 qeZkOp9E.net
別に~ww (^^;
私は、数学アマですからね
でも
あなたは、数学のアホですね ;p)

918:132人目の素数さん
24/05/12 17:24:53.68 kLL3MH+1.net
>>884
誤 私は、数学アマですからね
正 私は、数学詐欺師ですからね

>あなたは、数学のアホですね
 みんな数学のアホよ 程度が違うだけのこと
 どんだけ研究したところで、アホでなくなるわけではない
 他人からアホといわれなくても、自分が知りたいことがわからないなら自分にとってはアホなのよ
 そう思わなくなったら数学者としては終わりでしょ
 もちろん終わってもいいけどね 人生どういきようと当人のかってだから

919:132人目の素数さん
24/05/12 17:26:29.24 kLL3MH+1.net
いっちゃんは「キ子様病」から抜け出せるといいね
自分を「H仁様」にしなくていいから

920:132人目の素数さん
24/05/12 17:30:40.21 kLL3MH+1.net
いっちゃんは
「おれは病気じゃない 健全だ
 ただ検索コピペして遊んでるだけだ」
といいはるんでしょうけど
どうみても異常な検索コピペが
やめられないのが病気です

921:132人目の素数さん
24/05/12 17:31:56.32 kLL3MH+1.net
健全な人は、本当は何の興味もないことで
わけもわからず検索して無駄に長文をコピペするなんて
おかしなことを毎日やりつづけたりしないものです

922:132人目の素数さん
24/05/12 17:45:11.72 kLL3MH+1.net
いっちゃんはくやしくなると他人を下げようとするのだが
もうみんないっちゃんが威張りんぼうだとわかってるので
いちいちムカついたりせずはいはいそうそうと受け流す

923:132人目の素数さん
24/05/12 17:46:31.11 kLL3MH+1.net
まあ、コピペも
「えらいねー、こんな長い文章コピーアンドペーストできて」
って受け流してあげたほうがいいのかもしれないが

924:132人目の素数さん
24/05/12 19:37:56.85 qeZkOp9E.net
>>884 補足
私のいう”数学のアホ”は
ちょっと刺激すると
バカ踊りして連投する
面白い”アホ”です!w  ;p)

925:132人目の素数さん
24/05/12 19:55:51.09 kLL3MH+1.net
いっちゃんのいう数学アマはアマチュアのアマではなくて甘ちゃんの甘か
例 
正則行列というべきところを
みんなが(というか実は自分が)知らないから
正方行列といっちゃう

926:132人目の素数さん
24/05/12 19:58:35.00 fTxaMLTp.net
>>857
そのとおり。
(>>746) ではワイル「群論と量子力学」のHPを紹介した。
例えば、【目次】を見ても線型代数が必須とわかるだろうに。
いや、同類の人には無理か

927:132人目の素数さん
2024/0


928:5/12(日) 20:22:06.50 ID:kLL3MH+1.net



929:132人目の素数さん
24/05/12 20:26:39.18 fTxaMLTp.net
>>893
>正方行列
なるほど、1と同類なら>746のHPにある【本書に掲載の図】(全3図)は 
正方形ならすべて正方行列に見えるんだ。これがこのスレの行列表現?自己責任でたのむ

930:132人目の素数さん
24/05/12 20:28:05.78 qeZkOp9E.net
>>790
・図書館で読んできました
 大竹名人との劫取り番のトラブル事件、ありましたね
・関西棋院の南先生は、石田裁定を批判していました
 プロだから、ルール違反は負けで、潔く投了すべき
 大竹さんと石田さんは、仲が良くないのでは?
 大竹さんは、石田さんを恨んでいるだろう・・
 と言われていましたね
・趙治勲さん「あの局は、あの時点で自分が優勢」と書かれています
 下記『昭和囲碁風雲録』では、”2 日目の夜戦になって早見え早打ちの名人も持ち時間が無くなって遂に形勢が逆転した”
 とあるそうな
 下記棋譜を見ると、確かに劫を譲っても、白が優勢のような気がします
(参考)
URLリンク(www.nikkei.com)
趙治勲 私の履歴書(12)名人挑戦
囲碁棋士・名誉名人
趙治勲
2024年5月12日 2:00 [会員限定記事]
話は少し前後するが、ボクが王座を獲得した1976年は、囲碁界全体にとっても節目の年だった。前年に名人戦の主催が読売新聞社から朝日新聞社に移ったのに伴い、読売が新たに棋聖戦を創設したのだ。詳しい経緯は知らないが、結果的には各棋戦の契約金が底上げされ、トーナメントプロが対局だけで食べていけるようになった。ちょうどボクが活躍し始めた時期でもあり、とてもありがたかった。
神奈川県鎌倉市から知人に薦められ...
URLリンク(ritsumei.repo.nii.ac.jp)
相克相生と深奥幽玄 囲碁・棋史の情理と妙趣(2)
立命館学術成果リポジトリ
夏剛 著 · 2020
P300
 『昭和囲碁風雲録』の「続々と木谷一門」の次の「大器大竹,颯爽と登場」に,趙治勲八段
が挑戦する第5 期名人戦の第4 局(1980.10.8~9)の波乱が詳述されている。1 勝2 敗の大竹
英雄は打ち回しが冴え不動の勝勢を築いたかと思われたが,2 日目の夜戦になって早見え早打
ちの名人も持ち時間が無くなって遂に形勢が逆転した。俱に残り1 分の秒読みの中で「30 秒,
40 秒」の声に追われながら必死に手を読む趙は,ふと顔を上げて記録係彦坂直人四段(1962
~ ,92 年九段)に「僕,劫取り番?」と訊く。1 人で1 手毎の消費時間と着手時刻を記し棋
譜を最低2 枚書き且つ秒を読む新米の記録係は,本来なら助手が3 人欲しい終盤の土壇場でこ
う訊かれて大慌てし「ハイ」と返事した。その取り敢えずの応答を聞いて趙は劫立てをせず直
ちに劫を取り返したが,当時の規定では対局者が記録係に劫取り番か否かを訊く権利が有った
為に,巡り巡って立会人を務めた石田芳夫と関係者の協議の結果「無勝負」と裁定された。
URLリンク(kifudepot.net)
KifuDepot
第5期名人戦挑戦手合七番勝負第4局 1980-10-09
取り番であるか確認をして打ち抜いたため、反則負けではなく立会人裁定により、無勝負となった。」(Wikipedia.名人(囲碁)より)

931:132人目の素数さん
24/05/12 20:30:19.54 kLL3MH+1.net
>>896 囲碁板に書いてな

932:132人目の素数さん
24/05/12 20:31:01.06 kLL3MH+1.net
都合が悪いと話をそらすところが実にわかりやすい

933:132人目の素数さん
24/05/12 20:31:52.36 kLL3MH+1.net
誤 自分は神
正 自分は申(さる)

934:132人目の素数さん
24/05/12 20:32:26.26 kLL3MH+1.net
謙虚が大事 自惚れは自分を●す

935:132人目の素数さん
24/05/12 20:39:37.92 6r7ZW8gH.net
1980年にはGöttingenにいて
週に一度打っていた。
Göttingenに囲碁を持ち込んだという人とも
対局した。

936:132人目の素数さん
24/05/12 23:21:35.05 qeZkOp9E.net
>>901
>1980年にはGöttingenにいて
>週に一度打っていた。
>Göttingenに囲碁を持ち込んだという人とも
>対局した。
なるほど
昔の電報碁の話 ”ドイツの数学者にしてヨーロッパ初の囲碁チャンピオンとなったフェリックス・デュバルと、鳩山一郎の対局。ベルリンと東京の間で、電報を使って行われたこの対局は52日間も続いたという”
があるのを思い出しました
(参考)
日本棋院 2010.04.07
4/9 テレビ東京系「世界を変える100人の日本人」で囲碁の話題登場
テレビ東京系で毎週金曜日夜に放送している「世界を変える100人の日本人」の2時間スペシャルで、 囲碁の話題が登場します。
番組の前半(19時台)に10分程度、ドイツのチゾー氏を訪問し、鳩山一郎元首相と電報碁を打ったドイツのデュバル氏の話題などが紹介されるようです。
◆伝説の対局「日独電報碁」とは?
ドイツの小学生に日本のことについて尋ねると「ゴーゴー」という謎の言葉を耳にする。
「ゴーゴー」が何かを探るために小学校を訪問すると、そこでは週に一回、囲碁の授業が行われていた。
中国から日本に伝わった囲碁は、源氏物語や枕草子にも書かれており、徳川家康は囲碁のプロ制度を設けるなど、日本では昔から親しまれているのだ。また、ドイツでは今でも伝説とされている囲碁の対局があるという。
それが、ドイツの数学者にしてヨーロッパ初の囲碁チャンピオンとなったフェリックス・デュバルと、鳩山一郎の対局。ベルリンと東京の間で、電報を使って行われたこの対局は52日間も続いたという。はたして、2人の勝負の行方は?
つづく

937:132人目の素数さん
24/05/12 23:22:05.90 qeZkOp9E.net
つづき
おかげさまで創業二百年 京都大石天狗堂
囲碁の豆知識Q37〜Q40 日本棋院 囲碁雑学手帳 転用
Q40 海外普及の黎明について -2009.11.01-
欧米人による囲碁の紹介は、明治政府の招聘で来日した雇われ外国人の一人、O・コルセルト(ドイツ)が一八八一年(明治十四)、ドイツの技術雑誌で発表した「碁の理論と実践」が嚆矢でしょう。コルセルトは秀栄の弟子でしたが、初段の免状をもらっています。
 次いで、一八九〇年(明治二三)にはイギリスのB・H・チェンバレンが『日本事物志』で日本の囲碁を紹介しています。九年後、ユーゴスラビアのプーラで欧州初の囲碁クラブが設立されましたが、主なメンバーはオーストラリア海軍軍人でした。
 欧米初の囲碁大会は一九三八年(昭和一三)ベルリンで開催された「第一回ドイツ囲碁選手権戦」。優勝者は日本への留学経験のあるF・デュバル博士でした。
(引用終り)
以上

938:132人目の素数さん
24/05/12 23:25:47.68 qeZkOp9E.net
>>892
再録します。傷口に塩どすえw
スレリンク(math板:508番)
2023/06/11(日)
下記だねw(>>63再録)
スレ主です
数学科オチコボレのサルさんw スレリンク(math板:5番)
線形代数が分かっていないのは、あ な た! www
前スレより
スレリンク(math板:557番)
傷口に塩を塗って欲しいらしいなw
 >>406-407より以下再録
棚から牡丹餅というかw
つまり
・私「正方行列の逆行列」(数年前)
 ↓
・おサル「正則行列を知らない線形代数落ちこぼれ」
 ↓
・私「零因子行列のことだろ?知っているよ」
 ↓
・おサル「関係ない話だ!」と絶叫
 ↓
・おサル『正則行列の条件なら、「零因子行列であること」はアウトですね
 いかなる行列が零因子行列か述べる必要がありますから』
 ↓
・私「あんた、上記の自分の文章を読み返して おかしいと気づかないか?」
 ↓
・おサル『「0以外の体の元は乗法逆元を持たない」のつもりで
「零因子以外の行列は乗法逆元を持たない」と書いて ケアレスミスだと言い張りたいんだろうけど』
<解説>
1)何度か、アホが気づくチャンスあった
 最初に”零因子”の意味を検索して知れば、「関係ない話だ!」と絶叫することもない
 (というか、”零因子”を知らないのは、ちょっと代数あやしいよねw)
2)『正則行列の条件なら、「零因子行列であること」はアウトですね
 いかなる行列が零因子行列か述べる必要がありますから』
 に、私「あんた、上記の自分の文章を読み返して おかしいと気づかないか?」と指摘された時点で
 ”零因子”の意味を調べて理解すべきだったのだ
3)恥の上塗り『「0以外の体の元は乗法逆元を持たない」のつもりで
 「零因子以外の行列は乗法逆元を持たない」と書いて ケアレスミスだと言い張りたいんだろうけど』
 は、あまりにも幼稚。「ケアレスミス」の一言では片づけられないアホさ加減wwwwww
4)確かに、私の「正方行列の逆行列」は不正確な言い方ではあったが
 アホさるの自爆を誘ったとすれば、怪我の功名というか、誘の隙(さそいのすき)というべきかww
 ゆかいゆかい!ww
以上

939:132人目の素数さん
24/05/12 23:35:58.02 6r7ZW8gH.net
ギターの名演奏で有名なナルシソ・イエペスも
熱心な囲碁ファンだった

940:132人目の素数さん
24/05/13 00:04:38.53 YJmu02Uw.net
次スレ立てた
このスレを使い切ったら、次スレへ
スレリンク(math板)
ガロア第一論文と乗数イデアル他関連資料スレ7

941:132人目の素数さん
24/05/13 00:13:47.15 YJmu02Uw.net
イエペスか
『禁じられた遊び』が有名ですね
いや実は、アマゾンスピーカーがありまして
ギター名曲集に、『禁じられた遊び』があって これ多分イエペスです
URLリンク(ja.wikipedia.org)
ナルシソ・ガルシア・イエペス(Narciso García Yepes、1927年11月14日 - 1997


942:年5月3日)はスペイン出身のギタリスト、作曲家、編曲家。ナルシソ・ジェペスとも表記される。 1947年12月17日、スペイン劇場でのスペイン国立管弦楽団の定演コンサートに名指揮者アタウルフォ・アルヘンタにより招かれ、ロドリーゴのアランフエス協奏曲を演奏した。その後に行われたパリやジュネーヴなどでの演奏会の成功で、イエペスの名はヨーロッパ中に知れ渡った。 1952年に、パリのカフェで映画監督のルネ・クレマンと偶然知り合い、「映画自体はすでに撮ってあるが、どんな音楽をつけたらよいか決めかねているので、映画のための音楽を担当してほしい」と監督から依頼を受ける。当初、アンドレス・セゴビアに音楽を担当してもらう予定だったが、すでに映画制作の為の予算を使い果たしており、セゴビアとは制作費の折り合いがつかず、当時まだ新人であったイエペスに音楽担当の依頼をする事となった。 そこで、24歳のイエペスは映画『禁じられた遊び』の音楽の編曲・構成、演奏を1本のギターだけで行った。そして、その映画が公開されると、メインテーマ曲「愛のロマンス」が大ヒットし、世界的に有名なギタリストとなった。 それから世界各地でリサイタルやオーケストラとの共演を行い、日本にも1960年から1996年までの間に計17回訪問した。 日本国内での代表的な弟子として、荘村清志、芳志戸幹雄、小原聖子がいる。



943:132人目の素数さん
24/05/13 00:16:07.44 DbbXyeL7.net
>>904
>・おサル「正則行列を知らない線形代数落ちこぼれ」
> ↓
>・私「零因子行列のことだろ?知っているよ」
零因子は非正則だよ
Aは零因子とする
ある零でない行列Bが存在してAB=0
仮にAが正則なら 0=(A^(-1))0=(A^(-1))(AB)=((A^(-1))A)B=B だから矛盾 よってAは非正則

944:132人目の素数さん
24/05/13 06:02:35.76 AG1nQkcA.net
>>904 自分がけなされるとムキになって相手をさげる まるで三歳児 かわいいね

945:132人目の素数さん
24/05/13 06:04:15.68 AG1nQkcA.net
>>908 言葉の使い方が粗雑な人は大体数学ができないよね 当然だけど

946:132人目の素数さん
24/05/13 06:05:47.01 AG1nQkcA.net
>>901-903 囲碁の話は囲碁板に書いてな
>>905-907 ギターの話はギター板に・・・ギター板ないか

947:132人目の素数さん
24/05/13 06:07:28.46 AG1nQkcA.net
>>906 ガロア第一論文と乗数イデアルって関係あるの?

948:132人目の素数さん
24/05/13 06:08:39.70 AG1nQkcA.net
5chではムキになったら負け
5chでは長文コピペしたら笑われる
これ豆な

949:132人目の素数さん
24/05/13 06:11:21.06 AG1nQkcA.net
コピペって悠仁様でもできるんだよね
ってことでこれからコピペする人は
こう呼ぼうかな
悠仁様
光栄でしょ

950:132人目の素数さん
24/05/13 06:12:22.88 AG1nQkcA.net
悠仁様といえば小笠原諸島訪問の作文とトンボ論文で有名ですね

951:132人目の素数さん
24/05/13 06:26:07.92 AG1nQkcA.net
ま、ここの場合キコヒト様と呼ぶほうがいいか
コピペとかやらせてるのはキコ様で悠仁様は被害者だから

952:132人目の素数さん
24/05/13 06:30:33.29 pg7z1G31.net
 欧米人に碁を教えたのは明治10年代の村瀬秀甫までさかのぼる。数学と薬学の講師として東京帝国大学に招聘されたドイツ人のO・コルシェルト博士に熱心に教え、日本を離れるときは秀甫に六子で打てるまで上達したという。コルシェルトはドイツに帰ってから、碁の入門書を刊行する。この入門書で碁を学んだ一人が数学者で教育者のフェリックス・デューバル博士である。デューバルは昭和5年(1930)碁を学びに来日する。碁界をあげての大歓迎だった。滞在費用はすべて大倉喜七郎が負担し、鈴木為次郎、瀬越憲作、木谷實、呉清源らの指導を受け、一年後に帰国するときは初段の免状を与えられた。その後、ドイツ囲碁連盟を創立して普及に尽力。

953:132人目の素数さん
24/05/13 06:33:40.84 AG1nQkcA.net
囲碁の話は囲碁板へ
そのときはキコヒト様も向こうにつれていってあげてください
囲碁板で存分に囲碁の話をなさってくださいね!

954:132人目の素数さん
24/05/13 06:44:01.65 AG1nQkcA.net
数学板読者の声
「何がいいたいのかわからん、どこぞのHPの長文コピペがなくなってほしい」

955:132人目の素数さん
24/05/13 06:59:26.25 pg7z1G31.net
>>902
>ドイツの数学者にしてヨーロッパ初の囲碁チャンピオンとなったフェリックス・デュバルと、
鳩山一郎の対局。ベルリンと東京の間で、電報を使って行われたこの対局は52日間も続いたという。
はたして、2人の勝負の行方は?
鳩山一郎の7目勝ち
この対局がヒトラー時代に行われたことと
鳩山が戦後GHQに公職追放されたことは
無関係ではないだろう

956:132人目の素数さん
24/05/13 07:58:27.15 R7uiNmnL.net
囲碁板へ

957:132人目の素数さん
24/05/13 08:29:00.38 pg7z1G31.net
ヨーロッパ囲碁連盟(ヨーロッパいごれんめい、European Go Federation、EGF)は、ヨーロッパで囲碁の普及、促進、調整を目的とした非営利団体。ヨーロッパ碁コングレス(EGC)がドイツのクックスハーフェンで開始された1957年に設立された。以降のコングレスはヨーロッパ各国持ち回りで行われ、ヨーロッパ選手権、および連盟の年次総会が同時に行われる。参加資格はヨーロッパとその周辺各国の囲碁組織であることで、37の加盟組織がある。国際囲碁連盟の加盟組織。2014年にはヨーロッパ・プロ棋士制度を制定した。

ロシアも入っている。

958:132人目の素数さん
24/05/13 08:29:40.78 pg7z1G31.net
ガロアに囲碁のルールを教えてみたかった

959:132人目の素数さん
24/05/13 08:31:13.26 JGk6X8uT.net
>>923 本人?それともこの板にいるあのお方?

960:132人目の素数さん
24/05/13 08:32:05.55 JGk6X8uT.net
>>922 いずれにしても囲碁板へ

961:132人目の素数さん
24/05/13 08:47:35.82 pg7z1G31.net
日本の数学者の中では平田と長尾が有名
平田 博則(ひらた ひろのり、1926年(大正15年)6月20日 - 2024年(令和6年)2月11日)は、日本の数学者、昭和薬科大学名誉教授。囲碁のアマチュア強豪として知られる。アマ四強 (囲碁)と呼ばれる一人。福岡県出身、東京都福生市在住。

長尾健太郎(ながお けんたろう 1982年 4月18日 - 2013年 10月22日 ) 両親と2人の姉は医師。家族は、妻と息子1人がいる。趣味の囲碁を通じて知り合い、2009年に結婚した妻は、囲碁インストラクターでNHK囲碁講座にも出演歴がある。自身も、開成高校3年次の第24回全国高校囲碁選手権大会で個人戦・男子の部ベスト16、東大2年次の第1回全日本学生囲碁王座戦で準優勝(準決勝で対局した日本大学の石井茜は、仲邑菫の叔母)の実績をもつ。

962:132人目の素数さん
24/05/13 08:55:09.43 lp/j1C3S.net
>>926 とにかく囲碁板へ

963:132人目の素数さん
24/05/13 09:33:49.24 pg7z1G31.net
長尾健太郎の息子は中学生だが
数学者になりたいそうだ

964:132人目の素数さん
24/05/13 09:33:55.62 Ug9jJCvB.net
>>926-927
いや、ここで良い
ここは5ch
なんでもあり
グダグダいうお前が去れ

965:132人目の素数さん
24/05/13 09:36:33.64 pg7z1G31.net
サウジアラビアでの大会を制した
陳夢の姿が美しすぎるのが不思議

966:132人目の素数さん
24/05/13 09:50:27.38 Ug9jJCvB.net
>>928
>長尾健太郎の息子は中学生だが
>数学者になりたいそうだ
・ゼニ金勘定の計算ならば、”数学者”が得な手かどうか? それは、疑問だが
・もっと 得な手かどうかが疑問なのが、囲碁棋士です
・光永淳造さんが、灘高数学オリ-東大数学科出身なのは、知る人ぞ知る
・まあ、人生の選択ですから、ゼニ金勘定だけでは決まらんのよね ;p)
(参考)
URLリンク(www.nihonkiin.or.jp)
日本棋院ホーム コラム
師匠は数学の大天才~徐文燕初段が語る光永淳造六段「つるりん式観る碁のすすめ~こぼれ話」
2022年11月21日 記・編集K
ここでは週刊碁連載中の「つるりん式観る碁のすすめ~四字熟語編」で書ききれなかったこぼれ話を紹介します。(つる=鶴山淳志八段、りん=林漢傑八段)
 今回も読者の方から頂いた四字熟語をご紹介。何にも縛られずに自分が求めるものをのびのびと追求する様子を表す「孤笈飄然」(こきゅうひょうぜん)に選ばれたのは、
棋士にして数学者の、光永淳造六段でした。
光永六段は名門、灘中学校・高等学校から東京大学理学部数学科に進学した超エリート。
灘高校在籍時に数学オリンピックで入賞するなど、早くからその数学の才能は知られていました。
大学でも数学者として将来を嘱望されたそうですが、囲碁という魔性のボードゲームに出会ってしまい一転、周囲の引き止めを振り切って棋士を生涯の職業として選択したそうです。
本コラムでは光永六段の代わりに光永六段の愛弟子、徐文燕初段にインタビューをしました。
―光永六段は東大理学部数学科のご出身ですが、教わる中で「ならでは」なことはありましたか?
徐)ヨセの説明がすごく上手で、とてもわかりやすいです。でも、100分の何とか、そこまで深くなると私はついて行けないのですが(笑)。たまにヨセコウが絡んだりして難しい計算になる時があって、先生に「よし、じゃあちゃんと計算してみようか」って言われることがあります。そういう時はだいたい「あ、いいです」ってお断りしています(笑)。
―光永六段も断られることを分かって聞いてみた、みたいな感じですか(笑)?
徐)そうですね(笑)。そういう冗談はよくあります。あと、中学生の時は学校で出た数学の宿題も教えてもらっていました。
―それは、「ならでは」ですね!いかがでしたか?
徐)すごくわかりやすくて、すぐにパパって解けました。
―文燕さんは数学がお好きなんですね。
徐)はい。好きですね。
―そうなんですね(笑)。最後に、光永六段の素敵だと思うところを教えてください。
徐)先生は優しいですけど、厳しいところもあって、囲碁だけじゃなくて、挨拶とか、言葉遣いとか、そういうのも間違っていたら直してくれます。そういうきちんとしたところが素敵なところです。
―なんだか、棋譜を見て文燕さんのコンディションが分かったり、数学の宿題を見てくれたり、礼儀作法や言葉遣いの指導もしてくれたり、学校の先生みたいですね。
徐)そう言われれば、確かにそういうところはあるかもしれませんね。
―ありがとうございました。

967:132人目の素数さん
24/05/13 10:16:15.88 lp/j1C3S.net
>>928 どうぞご随意に なれるものなら

968:132人目の素数さん
24/05/13 10:17:02.05 lp/j1C3S.net
>>929 なんだこいつ おまえは神じゃねえ 失せろ●●

969:132人目の素数さん
24/05/13 10:17:42.07 lp/j1C3S.net
>>930 囲碁板へ

970:132人目の素数さん
24/05/13 10:19:03.34 lp/j1C3S.net
>>931 なにつまんないこといってんだ あと長文コピペすんな●●

971:132人目の素数さん
24/05/13 10:22:18.52 jn2+4BMJ.net
一般論だが、学部卒なら数学者云々以前 数学者になりたいとか、大学院行ってからいう言葉

972:132人目の素数さん
24/05/13 10:23:20.00 jn2+4BMJ.net
別に数学科に行ったから数学者にならねばならないなんてことはない
棋士だろうがジャズピアニストだろうがジャグラーだろうが勝手になればいい

973:132人目の素数さん
24/05/13 10:25:09.13 jn2+4BMJ.net
金儲けしたいなら、そもそも大学出る必要もない
ビル・ゲイツもスティーブ・ジョブズも大学中退

974:132人目の素数さん
24/05/13 10:29:33.51 lp/j1C3S.net
Googleの検索機能は大した発明だが
別に高等な数学を使ってるわけではない
線形代数くらいはもちろん使ってるが

975:132人目の素数さん
24/05/13 10:41:37.71 jn2+4BMJ.net
書き込みの字数制限一杯使うのがいいと思ってる奴は貧乏性

976:132人目の素数さん
24/05/13 11:20:20.96 jn2+4BMJ.net
長文コピペが嫌われる理由

977:132人目の素数さん
24/05/13 11:20:53.31 jn2+4BMJ.net
1.説明は簡潔にしてほしいから

978:132人目の素数さん
24/05/13 11:21:21.10 jn2+4BMJ.net
2.説明は自分の言葉でしてほしいから

979:132人目の素数さん
24/05/13 11:22:23.40 jn2+4BMJ.net
他人の文章をダラダラを引用するのは
分かってないのに分かってるフリしたがってると思われる

980:132人目の素数さん
24/05/13 11:23:19.52 jn2+4BMJ.net
それいうとムキになってわけわからん反論するのは図星つかれたから

981:132人目の素数さん
24/05/13 11:24:26.74 jn2+4BMJ.net
反論は無用ね 意味ないから

982:132人目の素数さん
24/05/13 11:25:35.16 jn2+4BMJ.net
…と書いてるのに反論するのは三歳児

983:132人目の素数さん
24/05/13 11:26:57.51 jn2+4BMJ.net
結論 自分のことばで簡潔に説明できないなら掲示板に何を書き込んでも無駄

984:132人目の素数さん
24/05/13 11:28:02.43 jn2+4BMJ.net
長い説明はブログで書いてリンク張ればいい

985:132人目の素数さん
24/05/13 11:28:29.46 jn2+4BMJ.net
ブログも書けないヤツが掲示板でイキる

986:132人目の素数さん
24/05/13 11:47:59.94 Ug9jJCvB.net
>>908
>>・おサル「正則行列を知らない線形代数落ちこぼれ」
>> ↓
>>・私「零因子行列のことだろ?知っているよ」
>零因子は非正則だよ

・変化球を投げた
 つまり、正方行列は二つに分けられる
 零因子行列と非零因子行列とに
 そして、非零因子行列は逆行列が存在し、正則と呼ばれる
 零因子行列は、行列式が0(ゼロ)で、逆行列が存在せず、正則と呼ばれる
 これ常識だよね!
 その常識をさらりと述べた だけなのです
・ところが、どういうわけか、数学の常識がない男がいてww
 ああ 勘違いww
 正則行列=零因子行列 と思ってしまったんだな

これ、笑える話だよね ;p)

987:132人目の素数さん
24/05/13 11:52:48.01 TckfqamF.net
>>951
>非零因子行列は逆行列が存在し、正則と呼ばれる
>その常識をさらりと述べた だけなのです
常識じゃないけど

行列の成分が体であればその通りだが
行列の成分が環ならそうならない

さらりと間違うね 素人って

これ 笑えないよ

988:132人目の素数さん
24/05/13 11:54:52.16 TckfqamF.net
>変化球を投げた
 で、すっぽ抜けてスタンドにブチこまれたって感じか

989:132人目の素数さん
24/05/13 11:56:07.32 TckfqamF.net
さらりさらりとうそをいう
数学分からん素人の哀しい性

990:132人目の素数さん
24/05/13 12:00:11.55 TckfqamF.net
逆行列の公式 余因子行列/行列式

環の場合 1/行列式が環の要素でないなら、逆行列が存在し得ない

991:132人目の素数さん
24/05/13 12:01:11.76 Ug9jJCvB.net
>>912
>>>906 ガロア第一論文と乗数イデアルって関係あるの?

・直接の関係はないでしょ
 風が吹けば桶屋が儲かる式でいえば
・ガロア第一論文の講義を、デデキントがした
 デデキントは、イデアルという概念と用語を発明した
・なので、ガロア第一論文と乗数イデアルの関係は
 風と桶屋の儲けくらいの関係だね

992:132人目の素数さん
24/05/13 12:10:54.44 DbbXyeL7.net
>>951
>そして、非零因子行列は逆行列が存在し、正則と呼ばれる
反例 零行列

993:132人目の素数さん
24/05/13 12:11:47.51 TckfqamF.net
>>ガロア第一論文と乗数イデアルって関係あるの?
>直接の関係はないでしょ
マジ つまんね

994:132人目の素数さん
24/05/13 12:15:33.25 TckfqamF.net
>>957 素人君がどう返すか拝見させてもらおうか(ニヤニヤ)

995:132人目の素数さん
24/05/13 12:35:51.57 lp/j1C3S.net
直球投げたほうがいいよ 変化球とかいってすっぽ抜けたらまたホームランだから

996:132人目の素数さん
24/05/13 12:51:22.40 GF4pM50o.net
書き込み予想

997:132人目の素数さん
24/05/13 12:51:56.24 GF4pM50o.net
1.理屈にもならん屁理屈をこねる

998:132人目の素数さん
24/05/13 12:52:20.99 GF4pM50o.net
2.(参考)と書く

999:132人目の素数さん
24/05/13 12:52:40.21 GF4pM50o.net
3.リンクを貼る

1000:132人目の素数さん
24/05/13 12:53:17.71 GF4pM50o.net
4.トンチンカンな長文コピペをする

1001:132人目の素数さん
24/05/13 12:54:44.03 GF4pM50o.net
1がだいたい1~2割として、4が残り8~9割

1002:132人目の素数さん
24/05/13 12:55:37.83 GF4pM50o.net
自分は大したこといってないのに、なんか沢山書いた気分になる

1003:132人目の素数さん
24/05/13 12:56:24.34 GF4pM50o.net
大量コピペはヘロイン

1004:132人目の素数さん
24/05/13 12:59:07.12 R7uiNmnL.net
5chでは一文書き込みを心掛けたい

1005:132人目の素数さん
24/05/13 13:00:15.73 R7uiNmnL.net
一行は金
二行は銀
三行は銅
四行以上は鉄屑

1006:132人目の素数さん
24/05/13 13:28:44.52 hYCBsdwx.net
・の使用は内容の整理でなく中身からっぽをごまかす詐欺用法

1007:132人目の素数さん
24/05/13 13:37:46.82 Ug9jJCvB.net
>>952
>>非零因子行列は逆行列が存在し、正則と呼ばれる
>>その常識をさらりと述べた だけなのです
>常識じゃないけど
>行列の成分が体であればその通りだが
>行列の成分が環ならそうならない

以前に 下記 広大 松本眞先生 代数学II:環と加群 を紹介したけど、読んでないの?
ちゃんと読んだら?
"A∈Mn(R)がGLn(R)に入る必要十分条件は、AB=En=BAなるBが存在することになる。
このような行列を可逆行列という。
命題1.4.1. A∈Mn(R)が可逆である必要十分条件は、detA∈Rx (ここでRxはRの乗法についての可逆元のなす群)"
を百回音読願います ;p)

(参考)
URLリンク(www.math.sci.hiroshima-u.ac.jp)
代数学II:環と加群(注:5/28版:38ページ以降大幅書き直し予定)松本 眞1 2020 年5 月28 日
1広島大学理学部数学科

第1章環上の加群
1.4単因子論 19

P4
1.1 環上の加群
1.1.1 環、単位環、整域、体
環(R,+,0,x)とは、(R,+,0)が加法群であって、(R,x)が半群であり、左分配法則(a+b)xc=axc+bxc
と右分配法則cx(a+b)=cxa+cxbを満たすもの。
axbをしばしばa・bまたはabと書く。可換環とは、積が可換な環のこと。そうでないものを非可換環という。

単位環(R,+,0,x,1)とは、環であって、(R,x,1)がモノイドであるもの。
零環={0}も単位環である。
特に単位環であることが重要であるとき、つい「単位的環」と書くことがある。
整域とは、可換環であって、R-{0}が積についてモノイド(単位元を持つ半群)となるものを指す。
体とは、さらにR-{0}が群となるものを指す。
従って、零環は整域でも体でもない。
準同型、同型の「型」の字は「形」にはしないほうがいいかも知れないが、字の区別が僕には難しいので混用する。

P19
1.4単因子論
行列について。Rを可換環とする。Mn,m(R)でnxmの成分の行列の集合をあらわす。
成分ごとの和とスカラー倍により、ランクnmの自由加群Rとなる。
n=mのとき、Mn,m(R)をMn(R)で表す。積が入り、単位環となる。
その積に関する(モノイドの)可逆元の集合Mn(R)xは群をなす。
これをGLn(R)で表す。
A∈Mn(R)がGLn(R)に入る必要十分条件は、AB=En=BAなるBが存在することになる。
このような行列を可逆行列という。

命題1.4.1. A∈Mn(R)が可逆である必要十分条件は、detA∈Rx (ここでRxはRの乗法についての可逆元のなす群)。
証明. A˜をAの余因子行列とする。線形代数でならったようにAA˜=det(A)・En=AA˜である。
従って、det(A)がRの可逆元ならば1/det(A) ˜がAの逆元を与える。
逆に、Aが可逆ならばAB=Enのdeterminantをとってdet(A)det(B)=1、すなわちdet(A)∈Rx。

単項イデアル整域をPID*と書く。(注* 英: principal ideal domain; PID 主イデアル整域とも)

つづく

1008:132人目の素数さん
24/05/13 13:38:09.94 Ug9jJCvB.net
つづき

定理1.4.3. (単因子形)をPIDとする。任意のA∈Mn,m(R)に対し、あるP∈GLm(R)とQ∈GLn(R)が存在して、PAQが次の形になる。
 略す (1.9)
ここに、空白は0をあらわし、e1|e2, e2|e3,・・・, es-1|es, s≠0である。Aに対してe1,・・・,esは単元(すなわちRxの元)倍を除いて一意に決まる。(1.9)をAの単因子形という。(不変因子形という書物もある。)

P20
上の形だと正方行列っぽく見えるが実はmxn行列であることと、右下の0は存在しないかもしれないこと、
またs=0(すなわち0行列)のこともあることを注意しておく。
Rが体のときには、線形代数でならっていると思う: eiは全て1にとることができ、sが行列のランクとなる。
まず、定理の前半(P,Qの存在)を証明する。
RがEuclid整域の場合証明から計算方法がわかるので、一般のPIDでなくがEuclid整域の場合をまずやる。
R=ZやK[t](Kは体)が代表的である。これらの環における互除法については既知とする。
3種の基本変形行列を用いる。
略す
(引用終り)
以上

1009:132人目の素数さん
24/05/13 13:49:16.02 Ug9jJCvB.net
>>969-970
>5chでは一文書き込みを心掛けたい

・下記”最近の中高生について、鳥屋尾史郎校長は「SNS(交流サイト)の短文など好きな情報ばかりに接する機会が増えているのでは」と懸念。「精度が高い文章を読まなければ読解力は上がらない」と語る。学校教育の課題は多い。”
 な
・一行は金
 二行以上は長文かい?w
・やれやれ ;p)

(参考)
URLリンク(www.nikkei.com)
日本の15歳、デジタル読解力不足に3つの背景
社会・くらし
2019年12月10日 2:00 日経 (中丸亮夫、佐藤淳一郎)

最近の中高生について、鳥屋尾史郎校長は「SNS(交流サイト)の短文など好きな情報ばかりに接する機会が増えているのでは」と懸念。「精度が高い文章を読まなければ読解力は上がらない」と語る。学校教育の課題は多い。

1010:132人目の素数さん
24/05/13 13:52:02.40 GF4pM50o.net
>>972
>以前に ・・・ を紹介したけど、読んでないの?ちゃんと読んだら?
という自分はちゃんと読めてないありさま

>(Rを可換環とする。Mn(R)でnxnの成分の行列の集合をあらわす。)
>A∈Mn(R)がGLn(R)に入る必要十分条件は、AB=En=BAなるBが存在することになる。
>このような行列を可逆行列という。
その通り 間違いないよ

>命題1.4.1. A∈Mn(R)が可逆である必要十分条件は、detA∈Rx (ここでRxはRの乗法についての可逆元のなす群)
その通り 間違いないよ

さて、質問
detA∈Rxでない⇒Aが零因子
(あるいはAが零因子でない⇒detA∈Rx)
といえるか?

1011:132人目の素数さん
24/05/13 13:55:45.38 GF4pM50o.net
>>975
>det(A)がRの可逆元ならば1/det(A) ˜がAの逆元を与える。
その通り 間違いないよ

さて、質問
Rを可換環とする このとき
det(A)がRの可逆元でない⇒det(A)=0
(あるいはdet(A)=0でない⇒det(A)がRの可逆元)
といえるか?

1012:132人目の素数さん
24/05/13 13:59:01.71 lp/j1C3S.net
>>974
>精度が高い文章を読まなければ読解力は上がらない

そうだよ 君のように読まずにコピペしても読解力は全く上がらないよ
その証拠が、「可換環R上の行列が、可逆であるときそのときに限り、零因子でない」という嘘発言
証明を正しく読んでいれば、このような誤解は決して起こりえない

1013:132人目の素数さん
24/05/13 14:03:38.17 lp/j1C3S.net
やっぱり素人君は代数学が全然分かってないね

指摘した箇所は初歩だから
ここでつまづいてるなら
初歩からわかってないってこと

1014:132人目の素数さん
24/05/13 14:08:12.56 lp/j1C3S.net
体の場合はもちろん
detA∈Rxでない⇒Aが零因子
detA∈Rxでない⇒det(A)=0
がなりたつ

なぜなら、体では零元以外は可逆元だから
でも、体でない任意の可換環では、零元でないというだけでは可逆元とはいえない

1015:132人目の素数さん
24/05/13 14:10:38.05 aminiOsH.net
僕は元教授の書き込みからこのことに気づいたが
君が元教授にやたら追従してるくせに気づかなかったんだね

追従って数学の理解には全然結びつかないね 当たり前だけど

1016:132人目の素数さん
24/05/13 15:35:12.70 Ug9jJCvB.net
>>977 >>979
>「可換環R上の行列が、可逆であるときそのときに限り、零因子でない」という嘘発言
・君はバカだね。いま、このスレの全発言に対して、キーワード”可逆であるとき”
 の検索をしたら、それ一つしかヒットなしだよ。つまり、他には発言無しで君の妄想か捏造だったねw
>体の場合はもちろん
>detA∈Rxでない⇒Aが零因子
>detA∈Rxでない⇒det(A)=0
>がなりたつ
>なぜなら、体では零元以外は可逆元だから
>でも、体でない任意の可換環では、零元でないというだけでは可逆元とはいえない
やれやれ
・だから、”零因子の定義”を確認しろよ(下記だよw)
・「環の零因子でない元は正則である(regular)または非零因子(non-zero-divisor)と呼ばれる。0でない零因子は0でない零因子(nonzero zero divisor)または非自明な零因子(nontrivial zero divisor)と呼ばれる」
 そして、下記零因子の引用冒頭「環の零因子(英: zero divisor)とは、環の乗法において、零以外の元と掛けたのに零となるような積が、少なくとも一つ存在するような元のことである。 これは環の乗法における因子の特別な場合である」
 ってこと
・だから>>951での”正方行列は二つに分けられる 零因子行列と非零因子行列とに そして、非零因子行列は逆行列が存在し、正則と呼ばれる”
 ここまではいいだろ?
・次の”零因子行列は、行列式が0(ゼロ)で、逆行列が存在せず、正則と呼ばれる”で、行列式が0(ゼロ)の部分を突っ込みたかったのかい?w
 普通は、行列の成分は実又は複素数だけど(デフォルトだね)、
 成分を、環Rにとった場合には
 ”零因子行列は、行列式が0(ゼロ)又は零因子になり、逆行列が存在せず、正則と呼ばれる”とでもすれがいいかな?w
君が、何年か前の>>904のときよりも
少し進歩したことは認めてあげるよ。うれしいだろう?w ;p)
URLリンク(ja.wikipedia.org)
零因子
環の零因子(英: zero divisor)とは、環の乗法において、
零以外の元と掛けたのに零となるような積が、少なくとも一つ存在する
ような元のことである。 これは環の乗法における因子の特別な場合である。
定義
環 R の元 a は、ax=0 となる
x≠ 0 が存在するとき、すなわち
∃x∈R∖{0}:ax=0
を満たすときに左零因子(英: left zero divisor)と呼ばれる。
この定義では非零元の存在を要求するから、自明な環における0は零因子ではないが、自明な環以外では、0は必ず零因子となる。
同様に、環の元 a が右零因子とは、ある y ≠ 0 が存在して ya = 0 となることである。
左または右零因子である元は単に零因子と呼ばれる[2]。左かつ右零因子である元 a は両側零因子(two-sided zero divisor)と呼ばれる(ax = 0 となる零でない x は ya = 0 となる零でない y とは異なるかもしれない)。環が可換であれば左零因子と右零因子は同じである。
環の零因子でない元は正則である(regular)または非零因子(non-zero-divisor)と呼ばれる。0でない零因子は0でない零因子(nonzero zero divisor)または非自明な零因子(nontrivial zero divisor)と呼ばれる。

1017:132人目の素数さん
24/05/13 15:52:20.66 Ug9jJCvB.net
>>919
>数学板読者の声
>「何がいいたいのかわからん、どこぞのHPの長文コピペがなくなってほしい」
スレが終わる前に書くが
1)これは、一つの意見であって
 全体を代表しているとは言えないよね
2)数学の文章は、しょせん その人のレベルに依存するわけで
 その発言者の数学レベルが分からな限り、無意味でしょ?
 つまり、中学か高校レベルの人が、大学レベルのちょっと長い文章を見せられて
 「読めない」って言っているんじゃないの?
3)また、大学以上の数学のテキストは、それなりに厚いよ
 長文うんぬんって、自分の数学のレベルを上げないとね
 そっちが先だよ サイコパスのおサルさんw ;p)

1018:132人目の素数さん
24/05/13 15:57:23.64 Ug9jJCvB.net
>>981 タイポ訂正
・次の”零因子行列は、行列式が0(ゼロ)で、逆行列が存在せず、正則と呼ばれる”
  ↓
・次の”零因子行列は、行列式が0(ゼロ)で、逆行列が存在せず、非正則と呼ばれる”

 ”零因子行列は、行列式が0(ゼロ)又は零因子になり、逆行列が存在せず、正則と呼ばれる”
  ↓
 ”零因子行列は、行列式が0(ゼロ)又は零因子になり、逆行列が存在せず、非正則と呼ばれる”

ついでに
>>951 タイポ訂正
零因子行列は、行列式が0(ゼロ)で、逆行列が存在せず、正則と呼ばれる
  ↓
零因子行列は、行列式が0(ゼロ)で、逆行列が存在せず、非正則と呼ばれる

1019:132人目の素数さん
24/05/13 16:01:49.47 TckfqamF.net
>>981
>いま、キーワード”可逆であるとき”の検索をしたら、
>それ一つしかヒットなしだよ。
>つまり、他には発言無し・・・
推論できることをわざわざ書かないけどね
>やれやれ だから、”零因子の定義”を確認しろよ
>「環の零因子でない元は正則である(regular)
>または非零因子(non-zero-divisor)と呼ばれる。
>0でない零因子は0でない零因子(nonzero zero divisor)ま
>たは非自明な零因子(nontrivial zero divisor)と呼ばれる」
>そして、下記零因子の引用冒頭「環の零因子(英: zero divisor)とは、
>環の乗法において、零以外の元と掛けたのに零となるような積が、
>少なくとも一つ存在するような元のことである。
>これは環の乗法における因子の特別な場合である」
>ってこと
もしかして「環の零因子でない元は逆元を持つ」と「誤解」してる?
じゃ、聞くけど 整数全体は環だよね
Q1 2は零因子? つまり2とxの積が0となる整数xが存在する? Yes/No
Q2 2の乗法逆元となる整数は存在する? つまり2とxの積が1となる整数xが存在する? Yes/No
君の主張によれば
Q1がNoなら、Q2はYes
Q2がNoなら、Q1はYes
Q1、Q2どっちもNoということはあり得ないが、それでOK?

1020:132人目の素数さん
24/05/13 16:04:47.38 TckfqamF.net
>>981
>…だから
>”正方行列は二つに分けられる 零因子行列と非零因子行列とに 
>そして、非零因子行列は逆行列が存在し、正則と呼ばれる”
>ここまではいいだろ?
全然だめだろ
2x=0となる整数xが存在しないなら、2x=1となる整数が存在する?
2x=1となる整数xが存在しないなら、2x=0となる整数が存在する?
君、小学校の算数、理解してる?

1021:132人目の素数さん
24/05/13 16:11:30.34 TckfqamF.net
>>981
>”零因子行列は、行列式が0(ゼロ)で、逆行列が存在せず、非正則と呼ばれる”
>で、行列式が0(ゼロ)の部分を突っ込みたかったのかい?
なに意味不明な文章書いてるんだ?君は
環の場合は行列式が0でなくても(つまり零因子行列でなくても)
もし単元でないなら逆行列は存在しないけどね
>普通は、行列の成分は実又は


1022:複素数だけど(デフォルトだね) だめだよいまさらそういう馬鹿な言い訳しても 行列の成分を可換環に一般化したのは君であって僕ではない 体ならもちろん零元以外は逆元がある でも可換環ではそんなことはいえない 君はそれがわかってなかったから、初歩から間違った いつもいってるだろう 前提条件を全部記せと 君は肝心な条件を省略するから必ずそこで間違う



1023:132人目の素数さん
24/05/13 16:15:13.58 TckfqamF.net
>>981
>成分を、環Rにとった場合には
>”零因子行列は、行列式が0(ゼロ)又は零因子になり、逆行列が存在せず、非正則と呼ばれる”
>とでもすればいいかな?
ダメだね
成分が、可換環Rの場合
「行列式が0もしくは零因子でなくても、単元でない場合には
 逆行列が存在せず非正則と呼ばれる」

1024:132人目の素数さん
24/05/13 16:16:58.39 TckfqamF.net
いっとくけど、
「成分が整数の逆行列は存在しなくても
 成分が有理数の逆行列は存在するだろ」
とかいう🐎🦌反論は無しにしてくれよ

1025:132人目の素数さん
24/05/13 16:22:14.81 TckfqamF.net
>>982
>>「何がいいたいのかわからん、どこぞのHPの長文コピペがなくなってほしい」
>これは、一つの意見であって全体を代表しているとは言えないよね
いつもながら見苦しい言い訳だねえ
>数学の文章は、しょせん その人のレベルに依存するわけで
それは君の高卒レベルの文章を見ればわかるよ
>その発言者の数学レベルが分からない限り、無意味でしょ?
大学1年生がわかることを間違ったら、高卒レベルと分かるよ
>つまり、中学か高校レベルの人が、
>大学レベルのちょっと長い文章を見せられて
>「読めない」って言っているんじゃないの?
事実、君読めてなくて間違ってるよね?
「読めない」って認めなくても
間違ったら「読めてない」ってことよ
君の自覚は必要ない
>大学以上の数学のテキストは、それなりに厚いよ
>長文うんぬんって、自分の数学のレベルを上げないとね
>そっちが先だよ サイコパスの・・・
・・・君ね
いい加減自分が大学1年レベルでつまづいてるって気づこうな
だからいってるでしょ マセマの本からやりなおせって
君、数学書正しく読めてないのよ
今回の可換環Rを成分とする行列の件でよくわかったよ

1026:132人目の素数さん
24/05/13 16:23:53.41 TckfqamF.net
結論 素人君に、群・環・体はまだ早い 線形代数からやり直し

1027:132人目の素数さん
24/05/13 16:50:35.66 Ug9jJCvB.net
>>987
(引用開始)
>成分を、環Rにとった場合には
>”零因子行列は、行列式が0(ゼロ)又は零因子になり、逆行列が存在せず、非正則と呼ばれる”
>とでもすればいいかな?
ダメだね
成分が、可換環Rの場合
「行列式が0もしくは零因子でなくても、単元でない場合には
 逆行列が存在せず非正則と呼ばれる」
(引用終り)
やれやれ
・抽象代数学壊滅の君に、下記の「行列環」という言葉を教えてあげるよw
・いま、ある可換環Rを成分とする 正方行列n×n 全体を考えると
 下記にあるように、環を成す
・その「行列環」における零因子を考えればいいだけのこと(それが零因子行列だ)
>>904の話は、「行列環」という専門用語を知っていれば、それで終わりの話だよw ;p)
URLリンク(ja.wikipedia.org)
行列環
抽象代数学において、行列環 (matrix ring) は、行列の加法(英語版)および行列の乗法のもとで環をなす、行列の任意の集まりである。別の環を成分に持つ n×n 行列全体の集合や無限次行列環 (infinite matrix ring) をなす無限次行列のある部分集合は行列環である。これらの行列環の任意の部分環もまた行列環である。
R が可換環のとき、行列環 Mn(R) は行列多元環 (matrix algebra) と呼ばれる結合多元環である。この状況において、M が行列で r が R の元であれば、行列 Mr は行列 M の各成分に r をかけたものである。
行列環は単位元をもたない環上作ることができるが、終始 R は単位元 1 ≠ 0 をもつ結合的環であると仮定する。

・任意の環 R 上のすべての n×n 行列からなる集合。 Mn(R) あるいは Matn(R) や Rn×n と表記される。これは通常「n 次全行列環」(full ring of n by n matrices) と呼ばれる。これらの行列は自由加群 Rn の自己準同型を表す。
・環上のすべての上(あるいは下)三角行列のなす集合。

1028:132人目の素数さん
24/05/13 17:00:01.04 qeqwL6tC.net
>>991
>「行列環」という言葉を教えてあげるよ
知ってるけどね
>いま、ある可換環Rを成分とする 正方行列n×n 全体を考えると環を成す
知ってるけどね
>その「行列環」における零因子を考えればいいだけのこと(それが零因子行列だ)
零因子行列でなければ逆行列をもつ、と?ほんとに?
>「行列環」という専門用語を知っていれば、それで終わりの話だよ
終わってるのは、君
整数環Z上の行列環を考える
行列
(1 0)
(0 2)
の整数環Z上の行列環での逆行列は? ないよね?
で、これって零因子行列? 違うよね?
君がいってること、全部嘘じゃん
行列環どうした?

1029:132人目の素数さん
24/05/13 18:34:18.09 op2XpGlV.net
>>756
「数学」の最新号に書評がある。
p.204-209.
by 田中雄一郎

1030:132人目の素数さん
24/05/13 18:48:39.83 AG1nQkcA.net
このまま反論不能でスレ流すつもりみたい
だからだまってればいいのに

1031:132人目の素数さん
24/05/13 18:57:53.56 Ug9jJCvB.net
>>992
(引用開始)
整数環Z上の行列環を考える
行列
(1 0)
(0 2)
の整数環Z上の行列環での逆行列は? ないよね?
で、これって零因子行列? 違うよね?
(引用終り)
・なるほど、なかなかいいツッコミだね
・その話は、下記の松本眞 広大
 ”命題1.4.1. A∈Mn(R)が可逆である必要十分条件は、detA∈Rx (ここでRxはRの乗法についての可逆元のなす群)”だね
 つまり、R=Zとすると、Rx={1}つまり 整数環Z中には、1以外は逆元を持たないのです
 したがって、detA∈Rx となるときは、常にdetA=1つまり、行列式が1ってことだね
・上記例示の行列(これ(1 0)と(0 2)とからなる行列(2行にわたるので1行におさめた))は、detA=2で零因子ではないが(有理数体Qでは逆がある)
 逆行列も持たないね
まあ、下記の松本眞 広大 命題1.4.1. の通りってことで、謹んで訂正しますです、はい
ありがとね
(参考)>>972より再録
URLリンク(www.math.sci.hiroshima-u.ac.jp)
代数学II:環と加群(注:5/28版:38ページ以降大幅書き直し予定)松本 眞1 2020 年5 月28 日
1広島大学理学部数学科
第1章環上の加群
1.4単因子論 19
P4
1.1 環上の加群
1.1.1 環、単位環、整域、体
環(R,+,0,x)とは、(R,+,0)が加法群であって、(R,x)が半群であり、左分配法則(a+b)xc=axc+bxc
と右分配法則cx(a+b)=cxa+cxbを満たすもの。
axbをしばしばa・bまたはabと書く。可換環とは、積が可換な環のこと。そうでないものを非可換環という。
単位環(R,+,0,x,1)とは、環であって、(R,x,1)がモノイドであるもの。
P19
1.4単因子論
行列について。Rを可換環とする。Mn,m(R)でnxmの成分の行列の集合をあらわす。
成分ごとの和とスカラー倍により、ランクnmの自由加群Rとなる。
n=mのとき、Mn,m(R)をMn(R)で表す。積が入り、単位環となる。
その積に関する(モノイドの)可逆元の集合Mn(R)xは群をなす。
これをGLn(R)で表す。
A∈Mn(R)がGLn(R)に入る必要十分条件は、AB=En=BAなるBが存在することになる。
このような行列を可逆行列という。
命題1.4.1. A∈Mn(R)が可逆である必要十分条件は、detA∈Rx (ここでRxはRの乗法についての可逆元のなす群)。
証明. A˜をAの余因子行列とする。線形代数でならったようにAA˜=det(A)・En=AA˜である。
従って、det(A)がRの可逆元ならば1/det(A) ˜がAの逆元を与える。
逆に、Aが可逆ならばAB=Enのdeterminantをとってdet(A)det(B)=1、すなわちdet(A)∈Rx。
(引用終り)

1032:132人目の素数さん
24/05/13 18:58:20.09 f90OOCUQ.net
野村隆昭はルベーグ積分のテキストを準備中に亡くなった。
名著が一つ失われた。

1033:132人目の素数さん
24/05/13 20:28:48.63 AG1nQkcA.net
>なるほど、なかなかいいツッコミだね
誰でも思いつくよこんなの
>R=Zとすると、Rx={1}つまり 整数環Z中には、1以外は逆元を持たないのです
>したがって、detA∈Rx となるときは、常にdetA=1つまり、行列式が1ってことだね
惜しい 1だけでなく-1も逆元を持つ
>例示の行列は、detA=2で零因子ではないが
>(有理数体Qでは逆がある)
>逆行列も持たないね
ああそうだよ
元教授が書き込みしたとき
瞬時にこのことに気づいた
>謹んで訂正しますです、はいありがとね
これにこりて(参考)リンク 長大コピペの
🐎🦌行為は一切やめることだね
みっともないだけだから

1034:132人目の素数さん
24/05/13 20:30:24.89 AG1nQkcA.net
なんで馬鹿がコピペしてまで書き込みしたがるかねえ
誰が褒めるかそんな詐欺行為

1035:132人目の素数さん
24/05/13 20:32:04.49 AG1nQkcA.net
>>996 どなたか知らんが御愁傷様

1036:132人目の素数さん
24/05/13 20:32:16.55 AG1nQkcA.net


1037:1001
Over 1000 Thread.net
このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 126日 11時間 22分 34秒

1038:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています


最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch