ガロア第一論文と乗数イデアル他関連資料スレ7

**１３２人目の素数さん** · 2024/05/12(日) 23:49:41.59

このスレは、ガロア第一論文と乗数イデアル他関連資料スレです
関連は、だいたい何でもありです（現代ガロア理論＆乗数イデアル関連他文学論・囲碁将棋まであります）

前スレ
ガロア第一論文と乗数イデアル他関連資料スレ6
https://rio2016.5ch.net/test/read.cgi/math/1704672583/

資料としては、まずはこれ
https://sites.google.com/site/galois1811to1832/
ガロアの第一論文を読む
渡部一己著（2018.1.28）
PDF
https://sites.google.com/site/galois1811to1832/galois-1.pdf?attredirects=0

＜乗数イデアル関連＞
ガロア第一論文及びその関連の資料スレ
https://rio2016.5ch.net/test/read.cgi/math/1615510393/785 以降ご参照
https://en.wikipedia.org/wiki/Multiplier_ideal Multiplier ideal
https://mathoverflow.net/questions/142937/motivation-for-multiplier-ideal-sheaves motivation for multiplier ideal sheaves asked Sep 23, 2013 Koushik

＜層について＞
https://ja.wikipedia.org/wiki/%E5%B1%A4_(%E6%95%B0%E5%AD%A6)
層 (数学)
https://en.wikipedia.org/wiki/Sheaf_(mathematics)
Sheaf (mathematics)
https://fr.wikipedia.org/wiki/Faisceau_(math%C3%A9matiques)
Faisceau (mathématiques)

あと、テンプレ順次

つづく

**１３２人目の素数さん** · 2024/05/12(日) 23:50:18.23

つづき

メモ
https://www.iwanami.co.jp/book/b374907.html
岩波科学ライブラリー
ガロアの論文を読んでみた
時代を超越していたガロアの第1論文．その行間を補いつつ，高校数学をベースにじっくりと読み解く．

https://www.iwanami.co.jp//images/book/374907.jpg

著者金　重明著
刊行日 2018/09/21

試し読み
https://www.iwanami.co.jp/moreinfo/tachiyomi/0296770.pdf

この本の内容
決闘の前夜，ガロアが手にしていた第1論文．方程式の背後に群の構造を見出したこの論文は，まさに時代を超越するものだった．置換の定式化にはじまり，ガロア群，正規部分群の発見をへて，方程式が代数的に解ける条件の証明へ．簡潔で省略の多いガロアの記述の行間を補いつつ，高校数学をベースにじっくりと読み解く．

つづく

**１３２人目の素数さん** · 2024/05/12(日) 23:50:39.42

つづき

http://arigirisu2011.さくら.ne.jp/public_html/Galois01.html
ガロア理論 Galois theory

第一論文
ガロアの第一論文は、「方程式が代数的に解けるための必要十分条件」を【原理】と【応用】で論じている。
ここでは【原理】の部分を確認する。1831年当時「群」・「体」の用語がなく、ガロアは「群」・「体」という言葉は使わなかったが、ここでは「群」・「体」という用語を使って説明する。

概要
第一論文は、
・定義（可約と既約）
・定義（置換群）
・補題１（既約多項式の性質）→補題２（根でつくるV）→補題３（Ｖで根を表す）→補題４（Ｖの共役）
・定理１（「方程式のガロア群」の定義）
・定理２（「方程式のガロア群」の縮小）
・定理３（補助方程式のすべての根を添加）
・定理４（縮小したガロア群の性質）
・定理５（方程式が代数的に解ける必要十分条件）
というストーリーで進みます。

http://arigirisu2011.さくら.ne.jp/public_html/Galois02.html
ガロア理論 Galois theory

つづく

**１３２人目の素数さん** · 2024/05/12(日) 23:51:03.23

つづき

メモ（デデキントのガロア理論講義の話が興味深い）
https://www.jstage.jst.go.jp/article/kisoron1954/15/4/15_4_159/_pdf
ガロア理論の推移史について
中村幸四郎*
科学基礎論研究1982

この論文は多くの後継者を経て,後に「ガロア理論」
といわれ,数学理論のうちの理論ともいわれるものとな
り,現代に及んでいることは周知のとおりであるが,私
はこの小文において,これがフランス数学からドイツ数
学へ移行する問題を,数学史の1つの問題として考察し
ょうと思う。
2.現在行われている「ガロア理論」は約150年の歳月
を経て,ガロアの原著とは著しく変ったものとなってい
る.その最も著しい点はガロアの原著が群(とくに有限
群)を基調とするものであるのに対比して,現代の理論
は体(Korper)の理論,特に体の「拡大」(Erweiterung)
を基礎に置くものとなっている。
https://ja.wikipedia.org/wiki/%E4%B8%AD%E6%9D%91%E5%B9%B8%E5%9B%9B%E9%83%8E
中村幸四郎（1901年6月6日 - 1986年9月28日）は、日本の数学者（数学基礎論・数学史）。大阪大学名誉教授、関西学院大学名誉教授、兵庫医科大学名誉教授、文学博士。従四位勲三等旭日中綬章

つづく

**１３２人目の素数さん** · 2024/05/12(日) 23:51:26.94

つづき

https://www.kurims.kyoto-u.ac.jp/~kenkyubu/kokai-koza/H18-tamagawa.pdf
数学入門公開講座テキスト(京都大学数理解析研究所，平成18年)
ガロア理論とその発展玉川安騎男

環の典型的な現れ方として、与えられた空間Xの上の（適当な条件を満たす）関数全体のなす環があります。この場合、関数の値の和、差、積を考えることにより、関数の和、差、積を定義します。（1,0は、それぞれ恒等的に値1,0を取る関数として定義します。）
実は、任意の環はこのようにして得られることが知られています。
より正確に言うと、与えられた環Rに対し、アフィンスキームと呼ばれるある種の空間Spec(R)が定まり、Rは空間Spec(R) 上の正則関数全体のなす環と自然に同一視されます。更に、環を考えることとアフィンスキームを考えることは本質的に同等であることが知られています。一般のスキームは、アフィンスキームをはり合わせることにより定義されます。
１９５０年代後半にグロタンディークによって定義されたこのスキームは、代数多様体（≈多項式で定義される図形）の概念を大きく一般化するもので、現在の代数幾何学・数論幾何学の基礎をなす概念です。

グロタンディークの提唱した形での遠アーベル幾何は、遠アーベルスキームの一般的な定義が見つかっていないなど、理論的にはまだまだ発展途上の状態ですが、既にいくつもの重要な結果が得られています。例えば、ノイキルヒ・内田の定理は、（グロタンディークが遠アーベル幾何を提唱する以前の結果ですが）遠アーベル幾何における一つの基本的な結果となっています。また、近年では、代数曲線やそのモジュライ空間の遠アーベル幾何の研究が、（本研究所を中心に）さまざまな角度から進められ、興味深い結果がいくつも得られています。このように、１９世紀前半に生まれたガロア理論は、現代もなお強い生命力を持って進化しています。

https://www.jstage.jst.go.jp/article/sugaku1947/34/1/34_1_1/_pdf/-char/en
論説数学 (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リー環が現われることを示す.

つづく

**１３２人目の素数さん** · 2024/05/12(日) 23:58:38.02

つづき

https://www.math.kyoto-u.ac.jp/~fujino/hokoku.html
https://www.math.kyoto-u.ac.jp/~fujino/non-vani-rims.pdf
消滅定理と非消滅定理
京都大学藤野修数理研講究録, 1745,(2011)
このノートでは、対数的標準対に対する消滅定理と非消滅定理を解説する。我々の新しいアプローチは、対数的標準対に対する極小モデル理論の基本定理たちの証明を著しく簡略化する

目次
1消滅定理と非消滅定理ってなに？
2 2はじめに3
3おわび4
4特異点の定義5
5非消滅定理7
以下略

参考文献
[BCHM] C.Birkar, P.Cascini, C.Hacon, J.McKernan, Existence of minimalmodelsforvarietiesofloggeneraltype,preprint(2006).
[藤1]藤野　修,極小モデル理論の新展開,雑誌「数学」61巻2号,162186(2009).

1消滅定理と非消滅定理ってなに？
今ここを読んでいる人は、せめてこの章だけは読んで欲しい。
この章は高次元代数多様体論普及のための解説である。非専門家向けに書いてある。
以下すべて複素数体上で考える。
Xを非特異射影代数多様体とし、DをX上のカルティエ因子とする。典型的な消滅定理は、
略
代数幾何学を学んだことのある人なら誰でも、リーマン面（もしくは代数曲線）上でリーマン–ロッホの公式をつかって線形系の性質を調べるという話を勉強したことがあると思う。
我々はその話の単純な高次元化を考えていると言っても良いかもしれない。

スタックもファンクターも導来圏もあまり目にしない古典的な分野である。

次の章からは通常の解説記事である。

2はじめに
このノートでは、最近得られた対数的標準対に対する非消滅定理を解説する。この非消滅定理は、対数的標準対に対する固定点自由化定理と同値であることが示される。
今回の非消滅定理の一番のポイントは、その定式化である。
数学的な内容は固定点自由化定理と同値であるが、非消滅定理として正しく定式化することにより、極小モデル理論の基本定理たちの証明に劇的な簡略化をもたらした

3おわび
80年代前半から現在にいたるまで、極小モデル理論研究の最も重要でよく使われるテクニックは川又–Viehweg消滅定理である。80年代後半から、乗数イデアル層の考え方が持ち込まれ、Nadel型の消滅定理をつかうことも非常に有効であることが分かって来た。いずれにせよ、すべて川又–Viehweg消滅定理の応用として扱うことが出来る話である。今回の一連の発展は、その川又–Viehweg消滅定理の部分を一般化し、新しい道具で極小モデル理論を考え直した、ということである。
ここ数年いろいろと迷走してしまったが、[F7]で古典的な川又のX-論法と乗数イデアル層の理論をミックスした新しい極小モデル理論の基礎と基本的なテクニックを提供することで、今後数十年間の極小モデル理論の土台は完成したと思う。一言で言うと、極小モデル理論の基礎部分が純ホッジ構造の話から混合ホッジ構造に移り変わった、である。興味を持たれた読者は、[F3]、[F4]、[F6]（いずれも短い）を読むことを勧める

つづく

**１３２人目の素数さん** · 2024/05/12(日) 23:59:14.92

つづき

4特異点の定義
ここでは特異点の定義について最低限のことだけを述べておく。詳しくは、[K森,§2.3]を見ていただきたい。極小モデル理論の専門家以外には頭の痛くなる話題であろう。

5非消滅定理
以下の定理がこの章の主定理である。対数的標準対に対する非消滅定理である。

7証明のアイデア
ここでは非消滅定理の証明のアイデアについて説明する。

8今後の課題
今回の仕事で、[K森]の2章の後半と3章が完全に一般化されたことになる。
道具である消滅定理が[K森]よりも格段に進歩しているからである。

9勉強の仕方
消滅定理は[F3]がお勧めである。[K森]の消滅定理の証明と全く同じ書き方で書いてある。次に[F6]を読めば極小モデル理論の基本定理（非消滅定理、固定点自由化定理、有理性定理、錐定理）が簡単に学べる。ある意味[K森]の3章より簡単である。消滅定理が強力になったので、川又によるX-論法（広中の特異点解消定理をつかって係数を揺するという有名なテクニック）は不要になったのである。基本定理の証明の途中では広中の特異点解消定理すら必要としなくなったのである。Ambro氏のquasi-logvarietiesの理論に興味がある人には、[F4]をお勧めする。理論の本質的な部分は[F4]で全部理解出来るはずである。技術的な細部まで理解しようとすると、[F5]を読まないと仕方ないであろう。著者の私が言うのもなんだが、[F5]を読むのは大変だと思う。技術的細部に拘りまくったからである。

10おまけ：個人的な考え
ここでは、80年代から現在にいたるまで極小モデル理論で重要な位置を占めているX-論法と、最近の新しい議論について個人的な意見を少し書いてみたい。通常の論文などには書かない個人的な印象である。あくまで私の考えである。X-論法の最もすばらしい点は、その強力さにあると思う。広中の特異点解消定理と係数を揺するという小細工をつかうことにより、様々な結果を川又–Viehweg消滅定理の応用として示すことが出来るのである。

最後に少しネタをばらしておく。[F1]と[F2]で対数的標準対に対する評価付きの固定点自由性の問題を扱った。これらは川又対数的末端対に対する結果の完全な焼き直しである。数学的には大した結果ではないと思う。[F1]と[F2]はKoll´ar氏やAngehrn氏とSiu氏の議論の手直しに過ぎない。ただし、[F1]と[F2]での試行錯誤が今回の[F6]につながったので、そういう意味では[F1]と[F2]は私にとっては非常に価値があった。結局のところ、やっぱりいろいろやってみないとダメだな、と改めて思った。以上。

つづく

**１３２人目の素数さん** · 2024/05/13(月) 00:02:04.85

つづき

藤野修先生は、令和５年大阪科学賞を受賞されています
おめでとうございます

(参考)
//osaka-prize.ostec.or.jp/41-1
第４１回（令和５年度）
大阪科学賞（OSAKA SCIENCE PRIZE）受賞者の横顔
藤野　修　４９歳

研究業績：小平消滅定理の一般化と代数幾何学への応用
代数多様体とは、大雑把に言うと、有限個の多項式の共通零点集合のことです。高校の教科書に出てくる円、楕円、放物線などは代数多様体です。
もっと簡単な平面上の直線も代数多様体です。高校では主にxy平面上で幾何学図形を考えます。これは二次元の空間内で一次元の代数多様体を考えることに対応します。xyz空間の中の球面も代数多様体です。これは三次元空間内の二次元の代数多様体です。
このように代数多様体は素朴な幾何学的対象です。ここで変数の数を増やしてみましょう。幾何学的には高次元の空間を考えることになります。高次元の空間内で複数の代数多様体の交わりを考えます。私たちはこのような幾何学図形を日々研究しています。
日本人フィールズ賞受賞者３名の仕事も高次元代数多様体に関するものです。
残念ながら高次元の代数多様体は絵に描くことができません。
そこで私たちは抽象的な数学理論を展開します。高次元代数多様体論の究極目標の一つは双有理分類という大雑把な分類を完成させることです。
現在の標準理論は、森重文によって1980年代に創められた森理論や極小モデル理論と呼ばれるものです。
私は小平の消滅定理と呼ばれるコホモロジーの消滅定理の一般化を確立し、広中の特異点解消と小平消滅定理の一般化を駆使して森理論の適用範囲を究極的に拡張するという仕事をしました。
ホッジ理論的な観点からは理論の混合化を実行したことになります。
これにより、従来不可能であったぐちゃぐちゃに潰れた高次元代数多様体の研究も可能になり、代数多様体の退化や特異点の研究などに応用されています。
このような基礎研究が実社会で応用される日が来ることを夢見ています。

代数多様体とは？

代数多様体の双有理分類
すでに述べましたが、代数多様体論の究極目標の一つは、代数多様体を双有理的に分類することです。

数学者の日常

小平の消滅定理の一般化

ホッジ構造
非特異射影多様体のコホモロジーにはホッジ構造と呼ばれる構造が入ります。これは純ホッジ構造と呼ばれるものになっています。一般の代数多様体のコホモロジーには純ホッジ構造は入らないのですが、混合ホッジ構造と呼ばれる純ホッジ構造を拡張したものが入ります。
(引用終り)
以上

つづく

**１３２人目の素数さん** · 2024/05/13(月) 00:02:29.06

つづき

なお、
おサル＝サイコパス＊のピエロ（不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets＊＊）（Yahoo!でのあだ名が、「一石」）
＜＊）サイコパスの特徴＞
（参考）http://blog.goo.ne.jp/grzt9u2b/e/c1f41fcec7cbc02fea03e12cf3f6a00e サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
（＊＊）注；https://en.wikipedia.org/wiki/Hyperboloid Hyperboloid
Hyperboloid of two sheets ：https://upload.wikimedia.org/wikipedia/commons/thumb/f/f2/Hyperboloid2.png/150px-Hyperboloid2.png
https://ja.wikipedia.org/wiki/%E5%8F%8C%E6%9B%B2%E9%9D%A2 双曲面
二葉双曲面：https://upload.wikimedia.org/wikipedia/commons/thumb/b/b5/HyperboloidOfTwoSheets.svg/180px-HyperboloidOfTwoSheets.svg.png

おサルさんの正体判明！（＾＾）
スレ12 https://rio2016.5ch.net/test/read.cgi/math/1671460269/923 より
”「ガロア理論昭和で分からず令和でわかる
　＃平成どうしたｗ」
昭和の末期に、どこかの大学の数学科
多分、代数学の講義もあったんだ
でも、さっぱりで、落ちこぼれ卒業して
平成の間だけでも30年、前後を加えて35年か”
”(修士の)ボクの専攻は情報科学ですね”とも

可哀想に、数学科のオチコボレで、鳥無き里のコウモリ***）そのもので、威張り散らし、誰彼無く噛みつくアホ
本来お断り対象だが、他のスレでの迷惑が減るように、このスレで放し飼いとするｗ（＾＾

注***）鳥無き里のコウモリ：自分より優れた数学DRやプロ数学者が居ないところで、たかが数学科のオチコボレが、威張り散らす姿は、哀れなり～！（＾＾；

なお
低脳幼稚園児のAAお絵かき
小学レベルとバカプロ固定
は、お断りです

小学生がいますので、18金（禁）よろしくね！（＾＾

つづく

**１３２人目の素数さん** · 2024/05/13(月) 00:03:03.51

つづき

再録します。おサルの傷口に塩ですｗ
https://rio2016.5ch.net/test/read.cgi/math/1683585829/508
2023/06/11(日)
下記だねｗ(>>63再録)
スレ主です
数学科オチコボレのサルさんｗ https://rio2016.5ch.net/test/read.cgi/math/1674527723/5
線形代数が分かっていないのは、あなた！ｗｗｗ
前スレより
https://rio2016.5ch.net/test/read.cgi/math/1680684665/557
傷口に塩を塗って欲しいらしいなｗ
　>>406-407より以下再録
棚から牡丹餅というかｗ

つまり
・私「正方行列の逆行列」（数年前）
　↓
・おサル「正則行列を知らない線形代数落ちこぼれ」
　↓
・私「零因子行列のことだろ？知っているよ」
　↓
・おサル「関係ない話だ！」と絶叫
　↓
・おサル『正則行列の条件なら、「零因子行列であること」はアウトですね
　いかなる行列が零因子行列か述べる必要がありますから』
　↓
・私「あんた、上記の自分の文章を読み返しておかしいと気づかないか？」
　↓
・おサル『「０以外の体の元は乗法逆元を持たない」のつもりで
「零因子以外の行列は乗法逆元を持たない」と書いてケアレスミスだと言い張りたいんだろうけど』

＜解説＞
１）何度か、アホが気づくチャンスあった
　最初に”零因子”の意味を検索して知れば、「関係ない話だ！」と絶叫することもない
　（というか、”零因子”を知らないのは、ちょっと代数あやしいよねｗ）
２）『正則行列の条件なら、「零因子行列であること」はアウトですね
　いかなる行列が零因子行列か述べる必要がありますから』
　に、私「あんた、上記の自分の文章を読み返しておかしいと気づかないか？」と指摘された時点で
　”零因子”の意味を調べて理解すべきだったのだ
３）恥の上塗り『「０以外の体の元は乗法逆元を持たない」のつもりで
　「零因子以外の行列は乗法逆元を持たない」と書いてケアレスミスだと言い張りたいんだろうけど』
　は、あまりにも幼稚。「ケアレスミス」の一言では片づけられないアホさ加減ｗｗｗｗｗｗ
4）確かに、私の「正方行列の逆行列」は不正確な言い方ではあったが
　アホさるの自爆を誘ったとすれば、怪我の功名というか、誘の隙(さそいのすき)というべきかｗｗ
　ゆかいゆかい！ｗｗ
以上

あと
＜乗数イデアル関連（含む層）＞の話や
文学論、囲碁の話もあります
これも、5ｃｈらしくて良いと思いますｗ

テンプレは、以上です

**１３２人目の素数さん** · 2024/05/13(月) 06:31:34.26

このスレは、自分が数学が好きで数学がわかってると豪語する
数学素人「キコヒト様」が、元数学教授にひたすら追従する場所です

話は囲碁等数学と無関係なものが多く、たまに元数学教授が数学に関してはなすと、
キコヒト様が大袈裟に褒め、しかし全然理解できないので、なんか適当に検索し
でてきた情報を全く読まずにコピペするので、当人の思惑に全く反して、
なんか褒め殺ししてるような実に気持ち悪い空気になって終わります

**１３２人目の素数さん** · 2024/05/13(月) 07:14:49.37

京都大学における一つの系図

河合十太郎　園正造　秋月康夫　永田雅宜　広中平佑　森重文　藤野修

東京大学における一つの系図

藤沢利喜太郎　高木貞治　小平邦彦　飯高茂　川又雄二郎

**１３２人目の素数さん** · 2024/05/13(月) 07:25:28.77

秋月関係

河合十太郎　岡　秋月
岡　西野
秋月　広中　松阪

松阪　Kollár Dano Kim
広中　June Huh

**１３２人目の素数さん** · 2024/05/13(月) 13:12:53.26

たまにのぞくと大量のコピ-を貼るコピペ中毒者の荒らしと数学の思い出ばなしに
なにやらぼやけたお告げがある

**１３２人目の素数さん** · 2024/05/13(月) 16:00:47.42

５ｃｈ便所落書き
天下のチラシの裏
それ以上を期待するのは
５ｃｈの定義を間違えていると思うよ

**１３２人目の素数さん** · 2024/05/13(月) 16:26:36.11

>>15
大学１年レベルの間違いを平気で書いちゃう
素人氏の発言は圧倒的な説得力がありますなあ

**１３２人目の素数さん** · 2024/05/13(月) 16:38:20.59

>>16
>大学１年レベルの間違いを平気で書いちゃう
>素人氏の発言は圧倒的な説得力がありますなあ

１）ここ５ｃｈは、基本数学素人だよ
２）間違いは、だれにでもある
　まあ、君ほどひどい間違いは少ないがね
３）五十歩百歩かもな
　勿論、君の間違いが百歩
　私は、五十歩だ
　君は、私の倍の間違いだねｗ；ｐ）

**１３２人目の素数さん** · 2024/05/13(月) 16:45:14.75

>>17
＞ここ５ｃｈは、基本数学素人だよ
開き直ってるね
＞間違いは、だれにでもある
マジで開き直ってるね
＞まあ、君ほどひどい間違いは少ないがね
君、僕に大学１年レベルの初歩の誤り指摘されてそれも理解できないってほんと酷いよ
＞五十歩百歩かもな　勿論、君の間違いが百歩　私は、五十歩だ
あえて零歩と一歩といっとく　もちろん君が零歩　僕が一歩　ほんとは三歩くらい先いってるけど謙遜しとくわ

＞君は、私の倍の間違いだね
いや、君零歩だから　零を何倍しても一にはならんよ　残念だけど

別にマウントとってるわけではない　大学１年レベルのことでマウントとっても仕方ないから
君に自覚してほしいのよ　君は初歩から分かってないし、そもそも分かる気すらないってことをね
別に数学嫌いなら学ばなくていいよ　だれも強制しないから　君が勝手に僕数学好きですって嘘言ってるだけだから
その嘘やめればいいだけで　世の中に数学嫌いでも生きてる人沢山いるから全然問題ないよ

**１３２人目の素数さん** · 2024/05/13(月) 17:02:10.87

>>18
ご苦労様です
さすがは、サイコパスだな
口だけ達者だな

ところで、君のことは
テンプレの>>9-10に書いておいてあげたよｗ
気づいてくれた？ｗｗ　；ｐ）

**１３２人目の素数さん** · 2024/05/13(月) 17:05:32.72

>>19　残念ながら私のことではないけどね　君の間違いを指摘する人は無数にいるみたい

**１３２人目の素数さん** · 2024/05/13(月) 18:21:18.61

>>20
>>>19　残念ながら私のことではないけどね　君の間違いを指摘する人は無数にいるみたい

１）間違いは、人の常です
　間違いを指摘して頂けるのは歓迎ですよ
　できれば、キチンと数学的根拠を示してもらえるとなお助かる
２）ところで、ID:5VcC0y9H（>>20）さんは
　私の発言 >>19でリンクした>>18のID:TckfqamF氏とは、idが違うのだが・・・
　ああ、分かりました・・・
　「箱入り無数目」関連か？ｗ
　「箱入り無数目」スレ https://rio2016.5ch.net/test/read.cgi/math/1710632805/848
　で大学学部確率論の範囲が理解できていない人が二人いたんだ
　一人は、サイコパスのおサルで ID:TckfqamF氏>>9-10だ
　あなたは、もう一人の人ですね
　なるほどね。なぞは解けた（by コナン）

**１３２人目の素数さん** · 2024/05/13(月) 18:31:27.75

>>21　いつから大学1年の数学で落ちこぼれた爺の添削指導スレになったんだ？

**１３２人目の素数さん** · 2024/05/13(月) 20:36:23.78

前スレ
https://rio2016.5ch.net/test/read.cgi/math/1704672583/997
>惜しい　1だけでなく-1も逆元を持つ

うん
帰りの電車で気づいたよ
フォローありがとうね

**１３２人目の素数さん** · 2024/05/13(月) 20:41:04.61

>>23
君もやっと真面目に数学と向き合う気になってくれて嬉しい

じゃ、ここでの無駄コピペ書き込みは一切やめて
マセマの微積分と線形代数の本を読むとことからはじめようか

**１３２人目の素数さん** · 2024/05/13(月) 20:42:44.92

前スレ
https://rio2016.5ch.net/test/read.cgi/math/1704672583/995
より訂正版投稿

(引用開始)
整数環Ｚ上の行列環を考える
行列
(1　0）
(0　2）
の整数環Ｚ上の行列環での逆行列は？　ないよね？
で、これって零因子行列？　違うよね？
(引用終り)

・なるほど、なかなかいいツッコミだね
・その話は、下記の松本眞広大
　”命題1.4.1. A∈Mn(R)が可逆である必要十分条件は、detA∈Rx (ここでRxはRの乗法についての可逆元のなす群）”だね
　つまり、R＝Zとすると、Rx＝{1}つまり整数環Z中には、±1以外は逆元を持たないのです
　したがって、detA∈Rx となるときは、常にdetA＝±１つまり、行列式が±１ってことだね
・上記例示の行列（これ(1　0)と(0　2）とからなる行列（2行にわたるので1行におさめた））は、detA＝2で零因子ではないが（有理数体Qでは逆がある）
　逆行列も持たないね

まあ、下記の松本眞広大命題1.4.1. の通りってことで、謹んで訂正しますです、はい
ありがとね

(参考)>>972より再録
http://www.math.sci.hiroshima-u.ac.jp/m-mat/TEACH/kan-kagun7.pdf
代数学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。
(引用終り)

**１３２人目の素数さん** · 2024/05/13(月) 21:45:32.49

あんたどうしてもコピペ癖がなおらないねえ
だれも素人のあんたに数学を教えてくれなんて頼んじゃいないよ
調べたきゃてめえで検索するってもんだ　ほっといてくれ（笑）

いいかい　ここで居心地よく過ごしたいっていうんなら
人に説教なんかするもんじゃあないよ　誰がそんなもん喜ぶもんかい
あんた大阪モンのくせにそんなこともわかんないのかい　野暮だねぇ

**１３２人目の素数さん** · 2024/05/13(月) 21:45:39.62

>>25 補足追加

整数環Ｚ上の行列環を考える
行列 A=
(1　1)
(1　2)
を考えると、この行列式|A|=1だから
Aは、逆行列Bを持つ
行列B=
(w　x)
(y　z)
とおく。積ABが単位行列E=
(1　0)
(0　1)
とおく

連立方程式が4つ
w+y=1
w+2y=0
x+z=0
x+2z=1
これを解くと、w=2,x=-1,y=-1,Z=1となる
つまりB=
(2 -1)
(-1 1)
となり行列式|B|=1となる

さて、これを一般化する
行列 A=
(a　b)
(c　d)
を考えると、この行列式|A|=±1で
|A|=ad-bc=±1 が導かれる。このような整数a,b,c,dの組合せは可算個ある
このような行列が、逆行列を持ち正則行列だな
そして、a,b,c,dに対して、左逆行列は AB=Eで行列Bは上記のような整数w,x,y,zからなるもの
(未知数4つで、方程式が4つだから、これは一通りに決まる)
行列式|B|=±1 になるだろう
右逆行列についても同様に考えられる

これは、2x2行列についてだが
nxn行列についても、同様に考えることができる
以上

**１３２人目の素数さん** · 2024/05/13(月) 21:49:13.78

あんたどうしても人より上にたって説教しないと気がすまないんだねえ
いったいどういう育ち方するとそういう嫌な奴になっちまうんだろうねえ

そういうことが人に嫌がられるってわかんねぇのかい？
それとも人に嫌がられることが嬉しいってのかい？　え、どうなんだい？

ちょっとは人の心ってぇもんを持とうとおもわねぇのかい？　あんたって人は

**１３２人目の素数さん** · 2024/05/13(月) 21:54:24.56

>>25
>謹んで訂正しますです
>>10であなたは相手をさんざんにアホ呼ばわりした訳だけど、正しいのは相手で間違ってたのはあなただったことを認めた、という理解でよいですか？

**１３２人目の素数さん** · 2024/05/13(月) 23:55:15.95

>>29
ご教示ありがとう
では、訂正版を再掲します

おサルの傷口に塩の訂正版ですｗ（行列成分を体Kに限定します！（下記））
https://rio2016.5ch.net/test/read.cgi/math/1683585829/508
2023/06/11(日)
下記だねｗ(>>63再録)
スレ主です
数学科オチコボレのサルさんｗ https://rio2016.5ch.net/test/read.cgi/math/1674527723/5
線形代数が分かっていないのは、あなた！ｗｗｗ
前スレより
https://rio2016.5ch.net/test/read.cgi/math/1680684665/557
傷口に塩を塗って欲しいらしいなｗ
　>>406-407より以下再録
棚から牡丹餅というかｗ

つまり
・私「正方行列の逆行列」（数年前）
　↓
・おサル「正則行列を知らない線形代数落ちこぼれ」
　↓
・私「零因子行列のことだろ？知っているよ」
　↓
・おサル「関係ない話だ！」と絶叫
　↓
・おサル『正則行列の条件なら、「零因子行列であること」はアウトですね
　いかなる行列が零因子行列か述べる必要がありますから』
　↓
・私「あんた、上記の自分の文章を読み返しておかしいと気づかないか？」
　↓
・おサル『「０以外の体の元は乗法逆元を持たない」のつもりで
「零因子以外の行列は乗法逆元を持たない」と書いてケアレスミスだと言い張りたいんだろうけど』

＜解説＞
１）何度か、アホが気づくチャンスあった
　最初に”零因子”の意味を検索して知れば、「関係ない話だ！」と絶叫することもない
　（というか、”零因子”を知らないのは、ちょっと代数あやしいよねｗ）
２）『正則行列の条件なら、「零因子行列であること」はアウトですね
　いかなる行列が零因子行列か述べる必要がありますから』
　に、私「あんた、上記の自分の文章を読み返しておかしいと気づかないか？」と指摘された時点で
　”零因子”の意味を調べて理解すべきだったのだ
３）恥の上塗り『「０以外の体の元は乗法逆元を持たない」のつもりで
　「零因子以外の行列は乗法逆元を持たない」と書いてケアレスミスだと言い張りたいんだろうけど』
　は、あまりにも幼稚。「ケアレスミス」の一言では片づけられないアホさ加減ｗｗｗｗｗｗ
4）確かに、私の「正方行列の逆行列」は不正確な言い方ではあったが
　アホさるの自爆を誘ったとすれば、怪我の功名というか、誘の隙(さそいのすき)というべきかｗｗ
　ゆかいゆかい！ｗｗ
<補足：上記においては、Kを体ｂﾆし, 成分をKにもつ n次正方行列とする>
以上

**１３２人目の素数さん** · 2024/05/13(月) 23:59:27.84

>>30 文字化け訂正

<補足：上記においては、Kを体ｂﾆし, 成分をKにもつ n次正方行列とする>
　↓
<補足：上記においては、Kを体とし, 成分をKにもつ n次正方行列とする>

注：なお、本件はテンプレ>>10の訂正版です

**１３２人目の素数さん** · 2024/05/14(火) 00:35:04.73

>>31 補足

・体は、下記の雪江先生の流儀に従っています
・必ずしも、いわゆる可換体に限る必要がないと思うのだが
　非可換の体の用語が、ややこしいので、そういう理由でパスします；ｐ）
・なお、いま手元の雪江代数学2 P3の定義を見ると
　a)0で割る以外の加減乗除が出来る集合が可除環
　b)環として可換なら体という
　c)非可換な可除環を斜体
　と書かれています

個人的には、下記 ”永田の可換体論では体，可換体”が
群論での群（非可換を含む）、可換群（アーベル群）と
整合していると思いますが、米国流が体＝可換なのでしょうね

(参考)
https://www.math.kyoto-u.ac.jp/~yukie/
雪江明彦のホームページ

https://www.math.kyoto-u.ac.jp/~yukie/yougo.pdf
教科書の用語について (2012/7/7更新)

2. 「可除環」か「斜体」か最初に代数の教科書を書いたとき，3巻全部書いて出版社に送ったのだが，最初の2巻が出た後，3巻目を出すときになって，これだけの量を書いて「ヴェーダーバーンの定理」について書いてないのはおかしいと思って書き足した.
それまでは可換体しか扱うつもりがなかったので，「体」，「可換体」で,しかし可換体のことを「体」と呼ぶことにしたが，3巻で「必ずしも可換でない体」の呼び方が必要になったので，1，2巻を増刷したときにここで用語を変えなかったらもう変えられないと思って初版第1 刷を買われた方には申し訳ないと思ったが用語を変えることにした.
さて「必ずしも可換でない体」のことを何と呼ぼう? 桂では「斜体」と呼んでいるが，この用語を使う気にはなれなかった.
それは英語にしたとき，「ヴェーダーバーンの定理」の状況ではdivision ring, division algebra が完全に定着しているから. 「斜体」を英語にしたら「skew field」だろうが，ヴェーダーバーンの定理とかブラウアー群などについて語るときskew field という用語を使うことはないだろう.
これが英語でdivision ringなら「可除環」がよいだろうと思った.
永田の可換体論では体，可換体という用語だが，今となっては「体」とは日本語ではほとんどの場合可換体を意味するようになっていると思うので，可換な体を最初から体と呼び，必ずしも可換でない体を可除環と呼ぶことにした.

**１３２人目の素数さん** · 2024/05/14(火) 02:04:23.73

おしらせ、
>1のスレ立て者のID.Ug9jJCvBはこのスレが公開掲示板より「５ｃｈ便所落書き　天下
のチラシの裏」と判断しており、トラブル防止のためこのスレは閉鎖が適切と思われる。
>1と1の同調者などの責任問題は残るでしょう
↓
0015 １３２人目の素数さん
2024/05/13(月) 16:00:47.42 ５ｃｈ便所落書き天下のチラシの裏それ以上を
期待するのは５ｃｈの定義を間違えていると思うよ
ID.Ug9jJCvB  

**１３２人目の素数さん** · 2024/05/14(火) 07:47:47.60

>>33
ロジック破綻してない？

１）「５ｃｈ便所落書き　天下のチラシの裏」は
　100年前から、みんなが言っていることです（下記）
２）”スレは閉鎖”？あんたの力でやれる？ｗ
　そもそも、おれの立てたスレは、数学板に
　このスレを含めて5つあるぜよ。そっちは？ｗ
３）このスレを閉鎖しても
　このスレ以外に書き込めるけど？
　それどうすんの？ｗ

繰り返す
ロジック破綻してない？
あんまり数学には、向かない性格じゃね？

(参考)
https://gendai.media/articles/-/89953?page=2
FRaU
2021.12.03
「便所の落書き」と言われた「2ちゃんねる」とSNSの決定的な「違い」
「2ちゃんねる」からSNSを考える【後編】
著者
太田奈緒子
フリーエディター・ライター

https://shitohi-review.com/737/
シトヒレビュー
【徹底解説】チラ裏って何？ネットスラングで見る若者言葉の深層
2023年11月15日
インターネット掲示板の役割
2000年代初頭、日本のインターネット掲示板、特に2ちゃんねるなどで「チラ裏」という言葉が使用され始めました。

掲示板ユーザーたちは、自分の個人的な意見や感想、日常の些細な出来事を「チラ裏に書いておけ」という表現を使って共有していました。

これは、そのような内容が一般的な掲示板のトピックとしては軽視されることを意味し、個人の雑感や些細な話題を指す際に使われるようになりました

**１３２人目の素数さん** · 2024/05/14(火) 08:19:30.97

ロジックの破綻をいちいち気にしていたら
便所の落書きはできない

**１３２人目の素数さん** · 2024/05/14(火) 08:37:01.84

>>35
１）ロジックの破綻に鈍感な人いるけどね（文学部？ｗ）
　おれはそうではない
２）>>33は、つっかかってきたんだ
　だから、ロジックの破綻を指摘してあげたｗｗ
３）で、論点すりかえでは？
　つっかかってきたやつに、ロジックの破綻を指摘したら
　一般論にすり替えているよねｗ

**１３２人目の素数さん** · 2024/05/14(火) 08:37:21.36

>>34
>「５ｃｈ便所落書き　天下のチラシの裏」は…みんなが言っていること
>”スレは閉鎖”？あんたの力でやれる？
>おれの立てたスレは、数学板に5つあるぜよ。
>このスレを閉鎖してもこのスレ以外に書き込めるけど？

なんか荒らしが開き直ってます？　酷いサイコパスですね

**１３２人目の素数さん** · 2024/05/14(火) 08:40:47.77

>「５ｃｈ便所落書き　天下のチラシの裏」は
　100年前から、みんなが言っていることです

**１３２人目の素数さん** · 2024/05/14(火) 08:41:34.85

>>35　>ロジックの破綻に鈍感な人いるけどね　おれはそうではない

昨日の醜態の後に、よくそんなことがぬけぬけといえるね
体と可換環の違いも分からず　行列式が０でないと行列式に逆元がないの違いも分からん人に
数学の何が分かるっていうんですかね　只の数学板無駄スレ立て無駄コピペ荒らしじゃないすか

**１３２人目の素数さん** · 2024/05/14(火) 08:57:08.08

誤　行列式が０でないと行列式に逆元がないの違いも分からん人
正　行列式が０でないと行列式に逆元があるの違いも分からん人

**１３２人目の素数さん** · 2024/05/14(火) 08:59:29.83

>>38
＞100年前から

100年前に５ｃｈあったか？　
そもそもネットあったか？
コンピュータあったか？

**１３２人目の素数さん** · 2024/05/14(火) 09:13:25.35

ここの「１００年前から」は
「１万年前から」と言っても
同じ意味になる。
言葉のあやを受け入れる読者と
そうでない読者がいる。
公表するに値するものなら
論理的に厳密でないといけないのは当然としても。

**１３２人目の素数さん** · 2024/05/14(火) 09:17:05.44

>>42
「言葉のあや」はロジックに反するね
別に受け入れてはいけない、といっているわけではない
ただ、わけもわからずロジックがーとわめく偏狭な態度とは両立しない
だから受け入れるなら、ロジックがーとかいう○○発言を撤回してな　土下座して

**１３２人目の素数さん** · 2024/05/14(火) 09:20:27.48

ここのあらっしー君はとにかく尊大なのがあかん
そのくせ元教授とかだと卑屈なほどペコペコする
肩書だけで人を判断する典型的な昭和男
不適切にもほどがある

**１３２人目の素数さん** · 2024/05/14(火) 09:42:55.19

ロジックのためのロジックも
高水準のものなら
一定の面白みがあるのだが

**１３２人目の素数さん** · 2024/05/14(火) 09:49:57.65

前スレ
https://rio2016.5ch.net/test/read.cgi/math/1704672583/896
のつづき

https://www.nikkei.com/article/DGXZQOUD158RW0V10C24A4000000/
趙治勲　私の履歴書（13）凱旋帰国
囲碁棋士・名誉名人

2024年5月14日 2:00 [会員限定記事]

大竹英雄名人にボクが挑戦した1980年の名人戦七番勝負は、一つの無勝負を挟みボクが3勝1敗でリードし、第6局を迎えていた。

静岡県熱海市で行われた対局の最終盤。もちろん両対局者は目算で結果はわかっている。大竹先生がいち早く対局室の外で待ち構えている報道陣を入室させるよう促したのは、兄弟子としての配慮だったろう。盤上を整地してボクの1目半勝ちを確認した。

6歳で日本に来て18年。子供心に「名人にな...

**１３２人目の素数さん** · 2024/05/14(火) 09:58:47.39

>>42
>公表するに値するもの

このスレは公開掲示板より公表している。

**１３２人目の素数さん** · 2024/05/14(火) 10:02:21.50

>>45
ロジックは正当性の担保にすぎず
面白さという価値をもたらすものではない

**１３２人目の素数さん** · 2024/05/14(火) 10:06:15.44

>>47
あなたの書き込みの返答でなくて恐縮だが

💩がいるせいで🚽だといわれてるのに
ここは🚽だから💩の俺がいてもいい
とうそぶくのは原因と結果の倒置

**１３２人目の素数さん** · 2024/05/14(火) 10:10:53.95

>>45
？これは、御大か。>>35も、御大だったのか；ｐ）

・いや、仕事柄ロジック破綻には、敏感でしてね
　よそのスレに書いていることには、別にどうでも良い話だが
　>>33は、突っかかってきたからバッサリ切りました
・人間、ロジックと感性と両方いると思うんですよね
　ロジックが、読みと目算
　感性が、センスとか大局観ですね

たまに愚形の好手があるんですよね

**１３２人目の素数さん** · 2024/05/14(火) 10:13:08.13

>>48
>ロジックは正当性の担保にすぎず
その中に面白さが見いだせるかどうかは
人によるだろう。
数学の価値についても
同じことが言えるように思う。

**１３２人目の素数さん** · 2024/05/14(火) 10:16:01.09

>>37
>なんか荒らしが開き直ってます？　酷いサイコパスですね

・隔離スレだと思ってもらえば、良いんでないの？ｗ
・そもそも、「５ｃｈ便所落書き　天下のチラシの裏」>>34 なんだからｗｗ；ｐ）

**１３２人目の素数さん** · 2024/05/14(火) 10:20:34.55

>>46
記者たちに言われた悪口を聞いてから
韓国が好きになるまで４０年というのは
ある意味痛々しい

**１３２人目の素数さん** · 2024/05/14(火) 10:22:51.93

>>41
>＞100年前から
>100年前に５ｃｈあったか？　
>そもそもネットあったか？
>コンピュータあったか？

・「100年前から」は、関西風のダジャレで書いているから
　そういう真面目なツッコミは、野暮ですよ！
・”じゃあ、紫式部がツイッターやってたんか！”くらい書かないと
　漫才で笑いは取れませんねｗｗ：ｐ）

**１３２人目の素数さん** · 2024/05/14(火) 10:29:16.31

>>50
＞仕事柄ロジック破綻には、敏感でしてね
体と可換環の定義の違いにも気づかん鈍さで務まる仕事っていったいなんだろ？
＞突っかかってきたからバッサリ切りました
自己中さんがなんかイキってる
＞人間、ロジックと感性と両方いると思うんですよね
論理も感性もなくて自尊心だけ人一倍ある人ってのもねえ・・・

**１３２人目の素数さん** · 2024/05/14(火) 10:30:36.41

>>51
＞（ロジックの中に）面白さが見いだせるかどうか
ロジックだから即面白いわけではない　いいたいのはそういうこと

**１３２人目の素数さん** · 2024/05/14(火) 10:31:56.77

>>52
＞隔離スレだと思ってもらえば、良いんでないの？
💩がここは🚽だといって自己隔離、ってこと？

**１３２人目の素数さん** · 2024/05/14(火) 10:33:19.99

>>53
>韓国が好きになるまで○○年
韓国は好きだけど

どこの国でも自国が一番とか吠える人が嫌いなだけで

**１３２人目の素数さん** · 2024/05/14(火) 10:36:20.64

>>54
＞「100年前から」は、関西風のダジャレで書いている
「ダジャレ」ではないな　「大袈裟なフカシ」でしょ
そういうとこ、ロジックもなんもない粗雑な言語感覚の持ち主ですね
そりゃ体も可換環もだいたい同じ　正方行列も正則行列もだいたい同じって思うわけだ
だいたい同じで数学が分かるなら苦労しませんなあ

**１３２人目の素数さん** · 2024/05/14(火) 10:50:04.40

「ここは実質○卒素人の俺様が、
　他人様のHPから適当につまみ食コピペいして
　数学者気分に浸る○○スレ
　いちいち間違い突っ込むなよ」
と、スレ冒頭の１で高らかに宣言してくれたら、誰も邪魔しないと思いますがね

**１３２人目の素数さん** · 2024/05/14(火) 10:50:29.20

「数学の属性の一つが分かる」人に比べて
「数学が分かる」人の数は少ない。
そのうちで「数学が作れる」人はもっと少ない。

**１３２人目の素数さん** · 2024/05/14(火) 10:53:28.32

>>61
>「数学が分かる」人の数は少ない。
>「数学が作れる」人はもっと少ない。

「数学の属性の一つが分かったくらいで分かったと思う」人は少なくない
「数学の属性が一つも分からんのになぜか分かったと思い込む」人はそこらじゅうにいる

**１３２人目の素数さん** · 2024/05/14(火) 10:55:56.65

バラモン　　　数学が作れる人
クシャトリア　数学が分かり教えられる人
ヴァイシャ　　数学のなにがしかが分かる人
シュードラ　　数学がなんもかんも分からん人

アチュート　　そもそも数学の存在すら知らん人

でも実は一番下が一番幸せかもしれん

**１３２人目の素数さん** · 2024/05/14(火) 10:57:32.61

数学を生み出そうとしてできずもだえ苦しむのは地獄である

数学なんてものが存在することも知らずに日々生きるのは極楽である

**１３２人目の素数さん** · 2024/05/14(火) 10:59:58.40

地獄
数学の存在を知り、それを理解しようとするが全然できない
数学についてなにがしかを理解したが、全体を理解することができない
数学の全体を理解したが、その先に進むことができない
数学についてなにがしかの結果を得たが　本当に知りたいことが分からない

下にいくほど実は苦しみが深い

**１３２人目の素数さん** · 2024/05/14(火) 11:02:13.07

数学が存在すると知っても　理解しようと思わなければ幸せである
数学について理解できることだけ理解すればいい　と思うなら幸せである
数学について全体を理解できればそれでいい　と思うなら幸せである
数学についてなにか新しいことがわかったならそれでいい　と思うなら幸せである

欲の深さは地獄への道である

**１３２人目の素数さん** · 2024/05/14(火) 11:04:31.37

自分の能力以上のことは望まない

これができない人は地獄に落ちる

**１３２人目の素数さん** · 2024/05/14(火) 11:13:57.70

ラッセルのパラドックスと
ゲーデルの不完全性定理から
何がいえるかといえば
自己完結なんて無理、ってことか

**１３２人目の素数さん** · 2024/05/14(火) 11:17:32.28

>>54
>記者たちに言われた悪口を聞いてから
>韓国が好きになるまで４０年というのは
>ある意味痛々しい

ほう？実は、まだ記事は読んでないのです；ｐ）
今度の休日に図書館で、読んでみます

ところで、李昌鎬（イ・チャンホ）が日本での修行経験なしで
世界戦で勝ちまくり、当時の韓国の英雄になりましたね

(参考)
https://ja.wikipedia.org/wiki/%E6%9D%8E%E6%98%8C%E9%8E%AC
李昌鎬（イ・チャンホ、이창호、1975年7月29日 - ）は、韓国の囲碁棋士。全羅北道全州市出身、韓国棋院所属、曺薫鉉門下、九段。

わずか16歳で世界戦優勝。その後世界歴代1位の世界棋戦優勝21回、国内棋戦優勝140回を数え、1990年代から2000年代の世界最強棋士と称される。プロ囲碁全体の歴史でも呉清源などと共に歴代最高の棋士とよく言及される。

1983年曺薫鉉と出会う。3子の指導対局をしたのち、1984年夏に内弟子入りする。当時はまだ韓国に内弟子慣習が無く、しかも引退間近ではなく全盛期のトップ棋士が内弟子をとるのは異例のことだった[4]。また、韓国棋院の研究生となり5級に登録される。

1992年1月27日、第3期東洋証券杯世界選手権戦で林海峰を退け、最年少世界タイトル獲得（15歳6ヵ月）の記録を打ち立てる。この模様は韓国放送公社(KBSテレビ)で全国放送されるほどの関心を集め、韓国にこども囲碁教室の新設ブームを起こした。[9]　

1993年東洋証券杯で趙治勲に3-0で勝利し連覇。1994年2月第2回真露杯で韓国の優勝に貢献。ここから韓国勢が世界戦を制覇していく時代の始まりとなる[10]。

**１３２人目の素数さん** · 2024/05/14(火) 11:28:41.07

韓国語は読めないが李昌鎬の本は持っている。

**１３２人目の素数さん** · 2024/05/14(火) 11:46:57.15

>>59
>＞「100年前から」は、関西風のダジャレで書いている
>「ダジャレ」ではないな　「大袈裟なフカシ」でしょ

センスないなｗ　；ｐ）
白帝城<李白>
千里の江陵　一日に還る
軽舟已に過ぐ　万重の山

山が本当に一万あったの？
千里が本当か？
一日は、何時に出て何時についた？
そういうツッコミだね、君のはｗｗｗ

ご苦労様ですｗ；ｐ）

(参考)
http://www.kangin.or.jp/learning/text/chinese/k_A1_007.html
公益社団法人関西吟詩文化協会

漢詩紹介

白帝城<李白>
朝に辞す白帝　彩雲の間
千里の江陵　一日に還る
両岸の猿声　啼いて住まず
軽舟已に過ぐ　万重の山

詩の意味
　朝早く、美しい朝焼け雲のたなびく白帝城に別れを告げた。三峡を下り、千里も離れた江陵の地まで、たった一日で還って行く。
　両岸の猿の鳴き声が絶え間なく聞こえているうちに、軽やかな小舟は幾重にも重なった山々を通り抜けていった。

鑑賞
長江の中でも特に急流で有名な所であり、白帝城を早朝に船出して江陵まで下る途中、三峡を瞬くまに通過した快感を詠じたものです。「白帝」と「彩雲」が色の対照となっており、「千」と「一」の数の対照はスピード感をかもしだしています。

**１３２人目の素数さん** · 2024/05/14(火) 11:54:23.36

>>71
李白の詩をひけらかしても誤魔化せないよ

ダジャレの定義に当てはまらない、といっている　センスは関係ない
君が数学を理解できないのは　定義を確認せずに　訳の分からない知識を振り回して誤魔化すから
そんな無駄なことをしても　ロジックは理解できない

**１３２人目の素数さん** · 2024/05/14(火) 11:55:45.18

知識を振り回したいなら、数学ではなく文学か歴史でもやったほうがいいね

**１３２人目の素数さん** · 2024/05/14(火) 11:59:02.81

知識をいくらかき集めても論理的推論ができないと正解にはたどり着かない
今のAIが数学苦手なのはそのせい

**１３２人目の素数さん** · 2024/05/14(火) 12:22:08.29

>>74
>知識をいくらかき集めても論理的推論ができないと正解にはたどり着かない
>今のAIが数学苦手なのはそのせい

逆だな
・囲碁で、局部のヨミは大事だが、大局観がないと碁が打てない
・ヨミ＝論理的推論だが、単純なヨミの積み重ねでは、すぐに計算機の容量がオーバーフローしてしまう
・昔のコンピュータ碁が弱かったのは、そのせいだよ
・いまのディープラーニング系は、そこを改善している
・単純なヨミ（論理的推論）を超えた情報を蓄積しているんだよ
・君が、>>30の零因子行列を間違えたのは、そこだよ！！ｗ　；ｐ）

**１３２人目の素数さん** · 2024/05/14(火) 12:49:50.93

>>75
>>知識をいくらかき集めても論理的推論ができないと正解にはたどり着かない
>逆だな
またそうやってムキになって逆張りする
それで何度失敗すれば気が済むんだい？

>囲碁で、局部のヨミは大事だが、大局観がないと碁が打てない
囲碁じゃなく数学な　君は数学は囲碁と同じだと思ってるみたいだけど全然違うよ

>ヨミ＝論理的推論だが、・・・
だからそこから違うって

>昔のコンピュータ碁が弱かったのは、そのせいだよ
数学の定理を証明するのと、碁に勝つのは全然別だよ

>君が、零因子行列を間違えたのは、そこだよ！！
間違えたのは君だけど

零因子でなければ逆元がある、と言い張った
でも全然論理的に推論してなかった

そもそも最初の設定でも重要なのは
行列式が０でないことが肝心で、零因子でないことはその結果に過ぎない

何がより根本的か、と考えることが重要
君はただめくらめっぽうあてずっぽうで言ってるだけ
しかも自分の云ってることが間違ってるかどうかのチェックもできない
だからいったそばから間違い続ける　

まあ、でも君は碁も弱いんだろうなあ　いかにも考えてなさそうだから

**１３２人目の素数さん** · 2024/05/14(火) 12:54:20.33

コピペ荒らし君は、論理的推論ができないから、
論理的推論が必要といっただけでムキになって否定する

でもいままでの彼の誤りはすべて論理的推論ができれば簡単に防げたことばかりで、
彼の主張が誤っていることを如実に示している

別にやりこめたいわけではないんだが、彼はそうは思ってないようだ
とにかく自分の不得意なこと、苦手なことを克服する気は全くないようだ
自分が得意？だと思ってることだけ伸ばせば克服できると思ってるみたい
そんなことはないってことが分からない、というか分かりたがらない

彼が大学１年レベルの数学を理解する日はこのままでは永遠に来ないと断言しよう

**１３２人目の素数さん** · 2024/05/14(火) 12:59:25.77

AIならロジックで動いてるだろ。
大局観とか言っても囲碁・将棋でひとはAIにまったく勝てなくなったのが現実。

要するに、この期に及んでも「俺様の直観」が優れている
という夢を捨てきれないのがセタ。

**１３２人目の素数さん** · 2024/05/14(火) 12:59:40.77

知識をひけらかすことでマウントしたいなら
（そういうみっともない行為はおすすめしないが）
数学板ではなく他の板にいったほうがいいだろう

数学板はダメだ　理屈でひっくり返される
いままで何度もひっくり返されて大恥かいてるのに
健忘症なのか性懲りもなく同じ過ちを繰り返す

数学は知識ひけらかしコピペ荒らし君には最も向いてないんだよ
数学は深い論理的思考が得意な人のやること　
浅い思考しかしないできない人には無理

広い知識で勝負したいなら、それが有効なフィールドを選ばないとね

**１３２人目の素数さん** · 2024/05/14(火) 13:03:27.18

＞AIならロジックで動いてるだろ。
とはいえない

もちろん、プログラムはある
それをロジックというのなら
ロジックで動いてるんだろう

しかしそれは人がいうところの論理的推論と合致するわけではない
人の脳味噌はすべて物理的化学的法則によって動いているのに
その思考は全く非科学的ということはざらにある

つまりニューロンの動作が科学的だから
思考内容が科学的とはいえない
ホフスタッターのゲーデル・エッシャー・バッハでもそんなこといってたな

**１３２人目の素数さん** · 2024/05/14(火) 15:01:58.50

>>50
>御大

なぜか元大学教授といわれる方のレスが
「5ｃｈ便所落書き　天下のチラシの裏」の輩に
褒められている？

>突っかかってきたからバッサリ切りました
↓
100年前から、みんなが言っていることです

まあ、トンデモ1と仲間の隔離スレなんだねw

**１３２人目の素数さん** · 2024/05/14(火) 15:17:26.35

何で自分が書き込んでる掲示板のことを
「便所の落書き」と言えるのかが謎。
本当にそう思うなら、一切書き込まなければいい。
ついで言っておくと、たとえ便所であっても
落書きしていいわけではない。
元教授が「便所の落書き」と言うのは
昔２ｃｈで叩かれた恨みがあるからだろう。
便所の落書きと言いながら、一日中とは言わないが
半日くらいの長さで張り付いているのが哀れ。
早く〇んでほしい。

**１３２人目の素数さん** · 2024/05/14(火) 15:50:10.89

>>82　そこはもう１の自虐的矛盾に陥ってますね
まあ、何も書き込むことがなくても書き込みたい欲があるので
検索コピペしても「書き込む」というわけでもう○ってますね
元教授に関してはもう○ぬまでの暇つぶしなんでしょう
あんまりいじめちゃダメですよ（生暖かい目）

**１３２人目の素数さん** · 2024/05/14(火) 16:09:33.44

野村隆昭が「便所の落書き」と言っていたので
自分もそう呼ぶことにしている。

**１３２人目の素数さん** · 2024/05/14(火) 16:15:03.31

わざわざ🚽に来て他人のした💩を見に来るって変態ですかって話ですよ

**１３２人目の素数さん** · 2024/05/14(火) 16:17:12.05

どうも元教授様は自分の💩は
いい匂いがするからかいでみろと
おっしゃりたいようなのですが
そんなことをなさる暇があったら
もっと綺麗な場所で綺麗なものを
お書きになったらいかがですかと
おもっているのでございますよ

**１３２人目の素数さん** · 2024/05/14(火) 16:19:27.09

>>82
齢をとると一日の３０分の集中の為に残りの時間がある

**１３２人目の素数さん** · 2024/05/14(火) 16:20:54.45

ド素人君がこの板のそこら中に
検索結果食ったあとの消化不良の野💩を垂れて
ここは便所だ文句あるかというのは
まあわからんでもないんですが
それにしても全然未消化のまま出ちゃってるんで
もうちょっと胃腸の調子を整えろよと
みんな助言してあげてるんですけど
当人がいや俺の胃腸はすこぶる調子がいい
とまったく意に介さないので困っている次第

**１３２人目の素数さん** · 2024/05/14(火) 16:24:50.46

>>87
まあ、残りの時間で他人の💩を鑑賞なさりたいというのでしたら
どうぞご存分になさってくださいとしかいいようがございませんが

**１３２人目の素数さん** · 2024/05/14(火) 16:26:24.18

それにしてもわざわざ絵文字で💩って書くと
なんかとってもかわいいというかいとおしいと
おもえるようになるから不思議でございます

**１３２人目の素数さん** · 2024/05/14(火) 17:24:19.22

>>84
>野村隆昭が「便所の落書き」と言っていたので

なるほど

https://researchmap.jp/read0013296
researchmap
野村隆昭
ノムラタカアキ (Takaaki Nomura)

基本情報
所属大阪市立大学数学研究所特別研究員
学位
理学博士，理学修士(京都大学)

学歴 4
表示件数
- 1980年京都大学, 理学研究科, 数学
- 1976年京都大学, 理学部, 数学

経歴 11
2019年4月 - 現在九州大学名誉教授／大阪市立大学数学研究所特別研究員

**１３２人目の素数さん** · 2024/05/14(火) 17:38:23.01

野村隆昭(のむら・たかあき)氏(九州大学名誉教授)が2020年1月27日に逝去された．享年66歳．専門は幾何学的調和解析学．
著書に『微分積分学講義』『複素関数論講義』(ともに共立出版)，『球面調和函数と群の表現』(日本評論社)などがある．

**１３２人目の素数さん** · 2024/05/14(火) 18:25:49.80

66歳か
まだまだこれからの人生があったと思いますが
合掌

**１３２人目の素数さん** · 2024/05/14(火) 18:32:50.49

>>84
>野村隆昭が「便所の落書き」と言っていたので
自分もそう呼ぶことにしている。

他人を持ち出して「便所の落書き」するな
呆け

**１３２人目の素数さん** · 2024/05/14(火) 18:36:03.62

>>76
>>君が、零因子行列を間違えたのは、そこだよ！！
>間違えたのは君だけど
>零因子でなければ逆元がある、と言い張った
>でも全然論理的に推論してなかった
>そもそも最初の設定でも重要なのは
>行列式が０でないことが肝心で、零因子でないことはその結果に過ぎない
>何がより根本的か、と考えることが重要

君は面白ね
・そもそもは、線形代数における逆行列だったでしょ？
　>>30の話はｗｗｗ
・で、学部レベルの最初の線形代数の行列の要素は、普通は実数Rや複素数Cにとるよね
　実数Rや複素数Cは体だ。ここで、行列の要素の要素を一般の環にとって教える教程は少ない（皆無？ｗ）

君は面白ね
いつのまにか、線形代数の話が、行列要素が一般の環の話にすり替わっているｗｗｗ

５ｃｈのスレバトルの詭弁としては、それが一つのテクニックだろうが
それをやっていると、数学的思考が出来なくなるよ
実際、君の話は詭弁が多いｗｗｗ

**１３２人目の素数さん** · 2024/05/14(火) 18:38:03.95

>>95 タイポ訂正

　実数Rや複素数Cは体だ。ここで、行列の要素の要素を一般の環にとって教える教程は少ない（皆無？ｗ）
　　↓
　実数Rや複素数Cは体だ。ここで、行列の要素を一般の環にとって教える教程は少ない（皆無？ｗ）

**１３２人目の素数さん** · 2024/05/14(火) 18:57:18.63

>>95
「余因子行列を思い出そう」と言っただけだよ

**１３２人目の素数さん** · 2024/05/14(火) 18:59:14.34

>>94
>他人を持ち出して「便所の落書き」するな
得難い友人だったと思っている。

**１３２人目の素数さん** · 2024/05/14(火) 19:09:25.33

>>98
で隔離スレで大暴れか

**１３２人目の素数さん** · 2024/05/14(火) 19:13:22.00

>>99
荒らされたと思っているのかな

**１３２人目の素数さん** · 2024/05/14(火) 19:47:00.23

>>95
＞そもそもは、線形代数における逆行列だったでしょ？
　逆行列でいいよ　さらにいえば
　余因子行列／行列式　という公式に固執していいよ
　「／行列式」ができるかどうか、が逆行列が存在するかどうか、ってことだよ
　なぜなら、余因子行列は、体だろうが可換環だろうが存在するから

　だから、元教授も>>97で言ってるじゃん
　「余因子行列を思い出そう」って

＞スレバトルの詭弁としては、それが一つのテクニックだろうが
スレバトルのテクニックじゃないよ　数学のロジックそのもの
これこそが数学の正論

＞それをやっていると、数学的思考が出来なくなるよ
これこそが数学的思考　君は全くできてないね　生涯する気もないみたいだけどね
検索さえすれば思考ゼロで知識が得られると盲信してるみたいだから
そんなことはないけどね

**１３２人目の素数さん** · 2024/05/14(火) 20:25:14.87

>>100
>15の同類の荒らしだね

**１３２人目の素数さん** · 2024/05/14(火) 20:29:51.20

>>101
ご教示ありがとう
では、再訂正版を再掲します

おサルの傷口に塩>>30の再訂正版ですｗ
（行列成分を体Kに限定します！そもそも線形代数の話で、実数R又は複素数Cです）
https://rio2016.5ch.net/test/read.cgi/math/1683585829/508
2023/06/11(日)
下記だねｗ(>>63再録)
スレ主です
数学科オチコボレのサルさんｗ https://rio2016.5ch.net/test/read.cgi/math/1674527723/5
線形代数が分かっていないのは、あなた！ｗｗｗ
前スレより
https://rio2016.5ch.net/test/read.cgi/math/1680684665/557
傷口に塩を塗って欲しいらしいなｗ
　>>406-407より以下再録
棚から牡丹餅というかｗ

つまり
・私「正方行列の逆行列」（数年前）
　↓
・おサル「正則行列を知らない線形代数落ちこぼれ」
　↓
・私「零因子行列のことだろ？知っているよ」
　↓
・おサル「関係ない話だ！」と絶叫
　↓
・おサル『正則行列の条件なら、「零因子行列であること」はアウトですね
　いかなる行列が零因子行列か述べる必要がありますから』
　↓
・私「あんた、上記の自分の文章を読み返しておかしいと気づかないか？」
　↓
・おサル『「０以外の体の元は乗法逆元を持たない」のつもりで
「零因子以外の行列は乗法逆元を持たない」と書いてケアレスミスだと言い張りたいんだろうけど』

＜解説＞
１）何度か、アホが気づくチャンスあった
　最初に”零因子”の意味を検索して知れば、「関係ない話だ！」と絶叫することもない
　（というか、”零因子”を知らないのは、ちょっと代数あやしいよねｗ）
２）『正則行列の条件なら、「零因子行列であること」はアウトですね
　いかなる行列が零因子行列か述べる必要がありますから』
　に、私「あんた、上記の自分の文章を読み返しておかしいと気づかないか？」と指摘された時点で
　”零因子”の意味を調べて理解すべきだったのだ
３）恥の上塗り『「０以外の体の元は乗法逆元を持たない」のつもりで
　「零因子以外の行列は乗法逆元を持たない」と書いてケアレスミスだと言い張りたいんだろうけど』
　は、あまりにも幼稚。「ケアレスミス」の一言では片づけられないアホさ加減ｗｗｗｗｗｗ
4）確かに、私の「正方行列の逆行列」は不正確な言い方ではあったが
　アホさるの自爆を誘ったとすれば、怪我の功名というか、誘の隙(さそいのすき)というべきかｗｗ
　ゆかいゆかい！ｗｗ
<補足：上記においては、Kを体とし成分をKにもつ n次正方行列とします>
以上

**１３２人目の素数さん** · 2024/05/15(水) 05:51:11.72

>>103
>・おサル「正則行列を知らない線形代数落ちこぼれ」
>　↓
>・私「零因子行列のことだろ？知っているよ」
正則行列は非零因子ですよ？

正則行列Aが零因子と仮定
ある零でないBが存在してAB=0
0=(A^(-1))0=(A^(-1))(AB)=((A^(-1))A)B=B だから矛盾　よってAは非零因子

**１３２人目の素数さん** · 2024/05/15(水) 05:52:43.45

アナル

**１３２人目の素数さん** · 2024/05/15(水) 05:59:45.84

>>67
>自分の能力以上のことは望まない
>これができない人は地獄に落ちる
修論が書けた後
興福寺の阿修羅像に会いたくなった
自分の能力以上のことを
望んでいたからかもしれない。

**１３２人目の素数さん** · 2024/05/15(水) 06:01:12.26

＞・私「零因子行列のことだろ？知っているよ」

誤　（正則行列とは）零因子行列のことだろ？
正　（正則行列とは）零因子行列”でない”行列のことだろ？

＞おサル
＞『・・・「零因子行列であること」はアウトですね
＞　いかなる行列が零因子行列か述べる必要がありますから』

「零因子行列」＝「行列式が０である」で、右辺が重要という指摘か

体なら割り算可能だから、行列式が０でなければOK
でも可換環ならそうではないから、１／行列式が環の元として存在する必要がある
今言ってるのはそういう話かと

だったら、やっぱりいちばん重要なのは「行列式の値で割れること」だな
元教授がそれをズバリ指摘したのはさすが　彼が真の勝者だな　うん

**１３２人目の素数さん** · 2024/05/15(水) 06:02:27.24

＞自分の能力以上のことを望んでいたからかもしれない。

そんな時もある

**１３２人目の素数さん** · 2024/05/15(水) 08:27:41.94

「正方行列の逆行列」
←中学の割り算ができないレベル

**１３２人目の素数さん** · 2024/05/15(水) 08:30:56.15

このスレは「便所の落書き」スレ

**１３２人目の素数さん** · 2024/05/15(水) 08:31:53.26

一般論だけど、言葉の使い方が粗雑な人は大学の数学で落ちこぼれる
教科書の用語の定義とか「なんだこりゃ（ゲラゲラ）」とかいって読み飛ばす
で、あとでいいかげんなこといって間違って原因をたどると
なんと最初に定めていた定義に反していたとか（ゲラゲラ）

**１３２人目の素数さん** · 2024/05/15(水) 08:35:57.34

>>110
＞このスレは「便所の落書き」スレ

スレ立てた人以外が云う場合　→　このスレ要らない
スレ立てた人が云う場合　　　→　ここはオレの遊び場だつまらん揚げ足とって邪魔するなオレは💩だ○×□△☆※(略)

**１３２人目の素数さん** · 2024/05/15(水) 11:18:09.13

>>104
ども、103です

>正則行列は非零因子ですよ？
>正則行列Aが零因子と仮定
>ある零でないBが存在してAB=0
>0=(A^(-1))0=(A^(-1))(AB)=((A^(-1))A)B=B だから矛盾　よってAは非零因子

この話は、私が以前に零因子を書いたときに、典拠つきで示しています！ｗ；ｐ）
なお試験答案としてみたとき
記述があらい

例えば
・行列Aを、nxnの正則行列とする（nは2以上の自然数）（注：下記のような無限次元を除く）
　正則行列の定義より、Aの逆行列Bが存在し、AB=BA=Iが成り立つ(ここにIは単位行列)
　BをA^-1と書く
・いま、Aが零因子とする。仮に、右零因子X（X≠0）が存在して、AX＝0が成り立ったとする
　左辺にA^-1を左からかけると A^-1AX＝X
　同様に右辺は A^-1 0＝0
　即ちX＝0となり、X≠0に反する
　左零因子X'（X'≠0）が存在するときも、同様である
・よって、行列Aが正則行列であり逆行列を持つとき、行列Aは零因子ではない

これくらい書いた方がいいな（スペースと時間配分によるが）

(参考)
https://ja.wikipedia.org/wiki/%E9%9B%B6%E5%9B%A0%E5%AD%90
零因子
環の零因子（英: zero divisor）とは、環の乗法において、
零以外の元と掛けたのに零となるような積が、少なくとも一つ存在する
ような元のことである。これは環の乗法における因子の特別な場合である。
定義
環 Rの元 a は、 ax=0となる
x≠ 0 が存在するとき、すなわち
∃x∈ R∖{0}:ax=0
を満たすときに左零因子（ひだりれいいんし、ひだりぜろいんし、英: left zero divisor）と呼ばれる
左かつ右零因子である元 a は両側零因子（two-sided zero divisor）と呼ばれる（ax = 0 となる零でない x は ya = 0 となる零でない y とは異なるかもしれない）。環が可換であれば左零因子と右零因子は同じである

https://tad311.xsrv.jp/hsmath/
大学数学へのかけ橋！『高校数学＋α ：基礎と論理の物語』
https://tad311.xsrv.jp/hsmath/biseki/A%5Einv.pdf
n次正方行列Aについての定理「XA=I⇔AX=I」の初等的証明 1）
注）
1）【補足説明】定理：有限次数の正方行列Aに対して，XA=I（Iは単位行列）を満たす行列Xが存在するとき，それはAX=Iを満たす．逆に，行列XがAX=Iを満たすとき，それはXA=Iも満たす．（そのような行列XをAの逆行列A－1という．逆行列は存在しない場合もある．XA=Iを満たす行列XをAの左逆行列，AX=Iを満たす行列XをAの右逆行列という．したがって，この定理は「左逆行列と右逆行列は，両者が存在するとき，それらは一致する」と言うことができる．実際の証明はそれらの存在証明を伴う．無限次元行列については，左逆行列・右逆行列が存在しても，それらが一致するとは限らない）．

**１３２人目の素数さん** · 2024/05/15(水) 11:34:14.52

（補足）
なお、下記の正則行列、逆行列の性質11個は、知ってないといけない
とくに、6. 逆行列の行列式 det A^-1=(detA)^－1 は、役に立つ
(detA)^－1が存在することから、det A^-1=(detA)^－1 ≠0となることは、すぐわかるよ

https://mathlandscape.com/regular-martix/
数学の景色
正則行列とは～定義と性質11個とその証明～
2022.09.25
正方行列が正則であるとは，逆行列が存在することを指します。これについて，その定義と性質11個を，証明付きで順に紹介しましょう。
目次
正則行列の定義
正則行列の性質11個
正則行列の性質11個の証明
1. 逆行列の一意性
2. 逆行列の逆行列
3. 逆行列の転置は転置の逆行列に等しい
4. 逆行列の随伴行列(共役転置)は随伴行列(共役転置)の逆行列に等しい
5. 行列の積と逆行列の関係
6. 逆行列の行列式
7. 逆行列と余因子行列の関係
8. 逆行列の固有値は逆数になる
9. 上三角行列の逆行列は上三角行列である
10. 直交行列の逆行列は，転置行列に等しい
11. ユニタリ行列の逆行列は，随伴行列(共役転置)に等しい

定義（正則行列）
A を正方行列とし，I を同じ形の単位行列とする。
A が逆行列 A^－1 をもつ，すなわち，
AA^－1 =A^－1 A=I となる同じ形の正方行列
A^－1 をもつとき，
A は正則 (regular) であるといい，そのような行列を正則行列 (regular matrix) という。

逆行列が存在するような行列を正則行列というのですね。

なお，複素数を成分に持つ
n 次正則行列全体の集合を
GLn (C) と表すことがある。

6. 逆行列の行列式
　det A^-1=(detA)^－1

**１３２人目の素数さん** · 2024/05/15(水) 11:37:12.56

>>113　しつこいね　君も

**１３２人目の素数さん** · 2024/05/15(水) 11:40:25.50

>>114　膨大なコピペで誤魔化したいのがありあり

**１３２人目の素数さん** · 2024/05/15(水) 11:47:08.84

書いてる本人が
「これで俺の正当性がみんなにわかってもらえる！」
と思ってると思うと哀れで涙がでますね

**１３２人目の素数さん** · 2024/05/15(水) 11:49:33.93

一般人は「わかってませんでした、って認めて謝っちゃえばいいのに」と思うけど
当人は「わしゃ謝ると死ぬんじゃ～」（間寛平　風）みたいに思ってるんだろうなあ

死なないけどね（ボソッ）

**１３２人目の素数さん** · 2024/05/15(水) 11:56:09.96

書き込みの動機が他人の上に立つってことだとすると
他人の下になったままでは終われないんだろうけど
そもそもその動機が病んでるって思わないのが・・・

**１３２人目の素数さん** · 2024/05/15(水) 11:57:01.96

上とか下とかそういうことだけが大事っていう時点でもう・・・

**１３２人目の素数さん** · 2024/05/15(水) 12:07:42.23

「正則行列とは零因子行列のことである」と記述した人から
>記述があらい
と言われてしまった
いやはや

**１３２人目の素数さん** · 2024/05/15(水) 12:11:31.76

(補足の補足)
det A^-1=(detA)^－1 ≠0
だから、(detA)^－1 ＝a（≠0）
とおくと、detA＝1/a≠0
そして、detA≠0のとき
下記のように、余因子行列を用いて、逆行列が具体的に構成できる

(参考)
https://mathlandscape.com/adjugate-matrix/
数学の景色
余因子行列の定義と余因子展開～逆行列になる証明～
2021.08.14

余因子行列と逆行列
余因子行列と逆行列は，ほぼ同様のものと言えます。それが，以下の定理です。

定理（余因子行列と逆行列）
A を正則行列（逆行列の存在する行列）とする。このとき，
A^－1 = 1/detA A~
である。(注：A~は、余因子行列)
余因子行列を用いれば，逆行列が求まるということですね。
これの証明は，先程の定理と行列の積の定義から，
A~A=AA~=(detA)I となるため，明らかでしょう。

**１３２人目の素数さん** · 2024/05/15(水) 12:16:51.54

>>121
正しくは

誤：「正則行列とは零因子行列のことである」と記述した人から
　　↓
正：おサル「正則行列を知らない線形代数落ちこぼれ」
　　私「零因子行列のことだろ？知っているよ」>>103より

解説：
・変化球ですよ
・ちょっとひねって回答しただけだが
・抽象代数学のど素人には、変化球が有効だった；ｐ）

**１３２人目の素数さん** · 2024/05/15(水) 12:30:11.19

>>123
>零因子行列のことだろ？
違いますけど？

**１３２人目の素数さん** · 2024/05/15(水) 12:35:25.87

>>123
>変化球ですよ
ただの暴投でしょ
>ちょっとひねっただけだが
おもいっきりすっぽぬけてますよ
>…のど素人には、変化球が有効だった
なんか打球がスタンドに吸い込まれていきましたけど・・・

**１３２人目の素数さん** · 2024/05/15(水) 12:40:23.62

前提条件抜きにして
「とにかく零因子でないなら逆行列がある！」
といいきったのは失投でしたね
狙いすまして打った打球がホームラン

１が登板したらとにかくファウルでねばり続ければ
必ず失投するんでそれを打てば確実にヒット打てるって
わかっちゃいましたからね

もうそう思われたら何やってもダメですよね
ピッチャーやめたほうがいい

**１３２人目の素数さん** · 2024/05/15(水) 12:48:28.26

１は素人だから勝負球は一つもないんですよ
自分ではやたらめったらコピペすれば
相手が振ってくれると思ってるけど
大抵はくそボールだから見逃せばいい
肝心のところは数式なんでコピペしてこない
コピーしたまま貼り付けられないんでね
自分では修正もできないんですよ　素人だから
もう完全になめられてますよねえ

**１３２人目の素数さん** · 2024/05/15(水) 12:57:40.17

素人が漫然コピペするのは自爆行為なんすよ
相手にネタ元察知されて、しかもそこにもっといい箇所あったら
逆に利用されちゃうじゃないですか　

**１３２人目の素数さん** · 2024/05/15(水) 13:01:11.19

素人に限って玄人にむやみにペコペコするけど、あれはなめられますね
リスペクトってそういうことじゃないんですよ
ちゃんとわかってると示す　そいつが大事なんですよね
素人はわかってないからそれができない　まあおミソですわな

**１３２人目の素数さん** · 2024/05/15(水) 13:02:48.92

まあ、素人はここには書き込まないのが一番ですわ
何を書いても痛い目にあう　
黙っとくか質問小僧になるしかないですわ

**１３２人目の素数さん** · 2024/05/15(水) 14:10:15.46

>>122
(補足の補足の補足)

・巷では、逆行列のプログラムは沢山あります
・行列式と余因子行列を使う方法は、計算量的には不利というのが常識です

逆行列プログラムで検索すると、下記などが見繕いです
https://www.google.com/search?as_q=%E9%80%86%E8%A1%8C%E5%88%97+%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%A0+&as_epq=&as_oq=&as_eq=&as_nlo=&as_nhi=&lr=&cr=&as_qdr=all&as_sitesearch=&as_occt=any&as_filetype=&tbs=

１）
行列式の値の求め方、逆行列の作り方の C 言語プログラム - TH
plavox.info
https://thira.plavox.info › blog › 2008/06
逆行列の求め方何といってもやはり掃き出し法が簡単。2 次から n 次まで対応。掃き出し法の他に、LU 分解で解く方法もあります。

２）
逆行列を求める(C言語) #数学
Qiita
https://qiita.com › 数
2020/10/30 — 方法逆行列の求め方は様々な方法がありますが、今回はGauss-Jordan法を使って求めていきます。もし間違っていたら、コメントにて指摘していただけると ...

３）
SAMURAI ENGINEER
https://www.sejuku.net › ... › Python › Python学習
PythonでNumpyを使って逆行列を計算してみよう！
2024/05/06 — 次にmatrixをもとに逆行列を求めるのですが、そのためにはNumpyライブラリのlinalg.invメソッドを使います！ Numpyライブラリを使うのでプログラムの最初 ...

４）
GitHub Pages
https://opqrstuvcut.github.io › blog › posts › 安易に逆行...
安易に逆行列を数値計算するのはやめよう
2019/11/15 — 本記事はQrunchからの転載です。逆行列を使った計算というのは機械学習ではそれなりに出てきます。例えば、最小二乗法では $$ x = (X^T X) ^{-1} ...

**１３２人目の素数さん** · 2024/05/15(水) 14:22:53.72

>>103 補足

１）あほのサイコパスおサルさん>>9
・私「正方行列の逆行列」（数年前）
　↓
・おサル「正則行列を知らない線形代数落ちこぼれ」
　と、人にマウントしようとして、突っかかってきたのですｗ

２）そこで、私は
・私「零因子行列のことだろ？知っているよ」
　と、切り返すと

３）おサルさんは
・おサル「関係ない話だ！」と絶叫
　↓
・おサル『正則行列の条件なら、「零因子行列であること」はアウトですね
　いかなる行列が零因子行列か述べる必要がありますから』
　と叫ぶのです

４）当方は
・私「あんた、上記の自分の文章を読み返しておかしいと気づかないか？」
　と再度注意を促すも

５）おサルさん
・おサル『「０以外の体の元は乗法逆元を持たない」のつもりで
「零因子以外の行列は乗法逆元を持たない」と書いてケアレスミスだと言い張りたいんだろうけど』
　と、噴飯ものの回答をしました！ｗ

ここで、再度強調しておきますが
”あほ”なおサルが、私にマウントしようとして
突っかかってきたので
だから切り返しただけなのです

正当防衛ですよ！ｗ
憲法９条も、自衛権は否定していないと解釈されています！！ｗｗ

こっちは、”零因子”くらいは知っているだろうと思っただけなのですが・・
予想以上に”あほ”でしたね；ｐ）

**１３２人目の素数さん** · 2024/05/15(水) 14:32:29.03

>>46 つづき

藤沢秀行先生ね
破天荒な人でしたね
1977年第1期棋聖戦の前後だったと思うが、１億円くらい借金があったという
その借金を、棋聖戦の6連覇で返したそうな
”史上最高齢（67歳）でタイトル防衛記録を塗り替える”（下記）もすごい記録です
ともかく、すごい人でした

https://www.nikkei.com/article/DGXZQOUD158TX0V10C24A4000000/
趙治勲　私の履歴書（14）名人本因坊
囲碁棋士・名誉名人
2024年5月15日 2:00 [会員限定記事]

ボクが名人位を取った1980年の囲碁界の勢力図を見てみよう。七大タイトルのうち棋聖は、当時55歳の藤沢秀行先生が頑張っておられたが、その他はすべて木谷一門。大竹英雄先生が十段と碁聖の二冠を保持し、加藤正夫さんも天元と王座の二冠。武宮正樹さんが本因坊、ボクが名人という構図だった。

大竹先生とともにチクリンと称された林海峰先生や、ボクの兄弟弟子の小林光一さんも含め群雄割拠の時代ではあったが、当時24...

https://ja.wikipedia.org/wiki/%E8%97%A4%E6%B2%A2%E7%A7%80%E8%A1%8C
藤沢秀行（ふじさわひでゆき、ふじさわしゅうこう、1925年6月14日 - 2009年5月8日）は、日本の囲碁棋士。本名：「藤沢保（たもつ）」[注 1]。棋聖戦6連覇、史上最年長タイトル保持者などに輝いた、昭和を代表する棋士の1人。

1977年第1期棋聖戦で橋本宇太郎を破り、初代棋聖位を獲得。以後6連覇（対加藤正夫、石田芳夫、林海峰、大竹英雄）により名誉棋聖の称号を得る。しかしこの間アルコール依存症が進行しており、七番勝負前になると必死の思いで断酒をし、禁断症状に苦しみながら防衛を果たすと、また酒漬けになるという日々が続いた。
1981年第28期NHK杯優勝。
1983年趙治勲に敗れ、棋聖の座を譲り渡す。この直後胃癌が発見され、切除手術を受けた。この後も悪性リンパ腫を放射線治療、前立腺癌を投薬治療し、三回の癌を克服している。
1987年4月27日、紫綬褒章受章
1989年名人、本因坊両リーグ入り。
1991年羽根泰正を3-1で降し、王座のタイトルを奪回。翌年には小林光一を相手に防衛を果たし、史上最高齢（67歳）でタイトル防衛記録を塗り替える。

**１３２人目の素数さん** · 2024/05/15(水) 14:52:00.33

>>131
>行列式と余因子行列を使う方法は、
>計算量的には不利というのが常識です
　一方、理論的には都合のいいときもある　今回の件みたいに

>>132
>人にマウントしようとして、突っかかってきた
　わけわかんないコピペで、
　いつも他人にマウントしようとしてるから
　やり返されるんじゃね？

＞「０以外の体の元は乗法逆元を持たない」のつもりで
＞「零因子以外の行列は乗法逆元を持たない」と書いて

「持たない」を「持つ」と変えればいいね
その人が云ってるのは
「”零因子行列は無視できる例外”みたいな言い方するのは、違うよな」
ってことかと

>正当防衛ですよ！
>憲法９条も、自衛権は否定していないと解釈されています！！
それ関係ない
あくまで、君がわかってないんじゃねと思われてるだけ
そして実際わかってない

>こっちは、”零因子”くらいは知っているだろうと思っただけなのですが・・・
核心をずばり答えず、トンチンカンな発言で逃げようとすると、失敗するよ
君さ、謙虚さがないよね　自分が全然分かってないっていう自覚、ある？

**１３２人目の素数さん** · 2024/05/15(水) 14:53:00.89

>>133
君さ　囲碁しか分からないんなら　囲碁板に書きなよ

**１３２人目の素数さん** · 2024/05/15(水) 14:54:19.70

結論　素人はシッタカ顔してコピペしたら死ぬ

**１３２人目の素数さん** · 2024/05/15(水) 16:10:41.26

これいいね

https://www.met-sp.jp/proof-that-a-nonregular-matrix-is-a-zero-or-a-zero-factor/
数理経済学的特別計画
非正則な正方行列が零行列または零因子であることの証明
2023年11月24日

この記事では、非正則な正方行列が零行列または零因子であることを証明します。まず、いくつかの基本的な定義を整理し、その後で証明に進みます。

目次
1.非正則な正方行列が零行列または零因子であることの証明
1-1.証明
1-2.具体例
1-3.あわせて読みたい記事

定義を整理していきましょう。
Aをn 次正方行列とします。

n次正方行列
について、その行列式が非ゼロである場合、すなわち
det(A)≠0である場合、
Aを正則行列といいます。

一方で、行列式がゼロである場合、
det(A)＝0、
は非正則行列と言われます。

零行列というのは、全成分が
0 である行列のことです。

(左)零因子というのは、零行列ではないが、
B≠0 で
AB＝0 を満たすものが存在する行列です。つまり、
0 でないし、
0 でない行列とかけたのに、
0になることがあるような行列です。

(補足1)：0 を零因子に含める場合もありますが、今回は0と零因子を区別することにします。
(補足2)：行列全体は可換でないので、左零因子と右零因子は区別されます。従って両側零因子であることを示すには、右零因子であることを示す必要がありますが、転置行列が左零因子であることを示せばよいので、正方行列が左零因子であることが示せれば、自動的に右零因子にもなるので、結果的に自動的に両側零因子になります。

証明(非正則な正方行列が零行列または零因子であること)
A の固有値をλ1,λ2,・・・,λn とします。
Aは非正則行列ですので、det(A)＝0です。
det(A)＝λ1λ2・・・λn
ですので、
λ1λ2・・・λn＝0
が成り立ちます。
したがって少なくとも一つの固有値
λiが0でなければなりません。

0を固有値として持つので、対応する固有ベクトルvを（v≠0)とします。
次に、vとn-1個のベクトルを並べて、
nxn行列
(v,0,・・・,0)
を考えます。

v が固有値0 に対応する固有ベクトルであることから、
A と (v,0,・・・,0) の積は
A(v,0,・・・,0) ＝0
となります。

このことは、A が零行列であるか、(左)零因子であることを意味します。
以上により証明を終了します。

あわせて読みたい記事

正則な行列は零因子でないことの証明
なぜ正則な行列が零因子でないのか、数学的に見ていきましょう。

つづく

**１３２人目の素数さん** · 2024/05/15(水) 16:10:56.54

つづき

(参考)
https://ja.wikipedia.org/wiki/%E5%9B%BA%E6%9C%89%E5%80%A4%E3%81%A8%E5%9B%BA%E6%9C%89%E3%83%99%E3%82%AF%E3%83%88%E3%83%AB
固有値と固有ベクトル
線型変換の固有値（英: eigenvalue）とは、零ベクトルでないベクトルを線型変換によって写したときに、写された後のベクトルが写される前のベクトルのスカラー倍になっている場合の、そのスカラー量（拡大率）のことである。この零ベクトルでないベクトルを固有ベクトル（英: eigenvector）という。この2つの用語を合わせて、固有対 (eigenpair) という。

歴史
現在では、固有値の概念は行列論と絡めて導入されることが多いものの、歴史的には二次形式や微分方程式の研究から生じたものである。
20世紀初頭、ヒルベルトは、積分作用素を無限次元の行列と見なしてその固有値について研究した[8]。ヒルベルトは、ヘルムホルツの関連する語法に従ったのだと思われるが、固有値や固有ベクトルを表すためにドイツ語の eigen を冠した最初の人であり、それは1904年のことである[9]。ドイツ語の形容詞 "eigen" は「独特の」「特有の」「特徴的な」「個性的な」といったような意味があり[10]、固有値は特定の変換に特有の性質というものを決定付けるということが強調されている。英語の標準的な用語法で "proper value" ということもあるが、印象的な "eigenvalue" の方が今日では標準的に用いられる[11]。フランス語では valeur propre である
(引用終り)
以上

**１３２人目の素数さん** · 2024/05/15(水) 16:17:09.78

>>136
>結論　素人はシッタカ顔してコピペしたら死ぬ

ふっｗ
結論：死ぬのは、お前だ！ｗｗ　；ｐ）

**１３２人目の素数さん** · 2024/05/15(水) 16:22:14.51

（補足追加）

これいいね
http://izumi-math.jp/K_Oguri/insi/insi.htm
北　数　教
第４２回数学教育実践研究会
－教育現場のおける基礎研究－
行列における零因子の構造
平成1４年８月3日(土)
北海道小樽桜陽高等学校
北海道石狩南高等学校
数学科教諭小栗是徳

１、はじめに
　本稿の目的は，『行列における零因子とはいかなる構造をしているか』という生徒からの質問に応えることと，線型代数学における『零因子研究』である。

(3)　高校生向けに直観的な説明
略す

２．零因子の構造
略す

３．零因子とCaylay-Hamiltonの方程式
略す

５，まとめ　－今後の進展ー

(2)　線型代数学は，1世紀半前に完成されたという。その中で，『零因子』は特殊な存在で，その定義すら曖昧に扱われ，あまりとりあげられてはいないのが残念である。研究的に易しすぎるということだろうが，教育的には，生徒が興味を持つように，十分その価値を持っている。1つの指導法として，『零因子』を生徒に具体的に構成させる中でベクトルの内積を導入する方法も考えられる。また，線型代数学そのものについても，殆どのテキストが行列式から導入しているが，本稿のように『零因子』から導入し，先にベクトル空間を学び，行列式を後回しにすることも考えられる。教育的には，まだまだ未開発の分野で，大いに開発の余地を残していると思う。
(引用終り)

**１３２人目の素数さん** · 2024/05/15(水) 16:53:29.03

>>132
>零因子行列のことだろ？
だから違うと

**１３２人目の素数さん** · 2024/05/15(水) 17:34:39.66

>>137
>非正則な正方行列が零行列または零因子であることの証明

成分が体のときはね

だからさ、成分を可換環に制限した場合、
零因子ではないというだけで
成分を可換環に制限した逆行列が存在する
といえないでしょ、って話よ

君さ、前提を明確にせずに、
漫然と検索結果をコピペして誤魔化すから
全然理屈がわかってないまま、
間違いを平気でいいつづけちゃうのよ

逆行列＝余因子行列/行列式　でしょ？

余因子行列はね、可換環でも存在するよ　行列式もそう

でも「行列式で割る」ってところが、体ではできても
可換環では自動的にできないでしょってことよ

君、そこ全然理解せずに馬鹿言って自爆したのよ
だからいってるでしょ　理屈分からずにコピペすると自爆するって

もう諦めなよ　君が勝つことは永遠にないって
いえばいうほど恥晒すって気づきなよ　哀れなマウントヒヒだなあ

**１３２人目の素数さん** · 2024/05/15(水) 17:42:18.89

>>137
＞Aは非正則行列ですので、det(A)＝0です。

成分が体のときはね

でも、成分が例えば整数のときは
整数行列の逆行列が（有理数行列ではなく）整数行列となるのは
det(A)が逆元を持つとき
すなわち１か－１のとき　だよ
０でなくても例えば２とか－２とかならダメだよ

君さ、前提を明確にせずに、
漫然と検索結果をコピペして誤魔化すから
全然理屈がわかってないまま、
間違いを平気でいいつづけちゃうのよ

逆行列＝余因子行列/行列式　でしょ？

余因子行列はね、整数行列でも存在するよ　行列式もそう

でも「行列式で割る」ってところが、有理数ではできても
整数では自動的にできないでしょってことよ

君、そこ全然理解せずに馬鹿言って自爆したのよ
だからいってるでしょ　理屈分からずにコピペすると自爆するって

もう諦めなよ　君が勝つことは永遠にないって
いえばいうほど恥晒すって気づきなよ　哀れなマウントヒヒだなあ

**１３２人目の素数さん** · 2024/05/15(水) 17:47:34.32

ところで行列式を考えるときに固有値考えなくていいよ
たしかに全固有値の積は行列式に等しいけどさ
行列式求めるのに固有値求める必要ないから

**１３２人目の素数さん** · 2024/05/15(水) 18:00:47.26

ところで、行列が実数行列もしくは複素数行列として
もしAが正則行列ならU1*P*U2 (U1,U2は上三角行列、Pは置換行列）と分解できる
これは単純にガウス・ジョルダン消去法を適用すればできる

このとき、置換行列は必須である
（Q.　例を示せ）

**１３２人目の素数さん** · 2024/05/15(水) 18:40:13.45

・行列環という概念がある
・特に、学部の最初に教えられる線形代数では、行列の成分として実数体Rや複素数体Cで
　有限次元 nxn行列を扱う
・>>137、>>140に示したように
　下記行列環「n ≥ 2 に対して、行列環 Mn(R) は零因子」を持つ
　零因子は、逆行列を持てないのですｗ
　実数体Rや複素数体C では、正則行列←→非零因子であり、非正則行列←→零因子である
　この行列環の構造の知識は、常識ですけどｗ（下記）
・>>132再録下記
　数学禅問答：「零因子行列のことだろ？知っているよ」と切り返すと
　おサル『「０以外の体の元は乗法逆元を持たない」のつもりで
「零因子以外の行列は乗法逆元を持たない」と書いてケアレスミスだと言い張りたいんだろうけど』
　だって、腹を抱えて笑えましたねｗｗ；ｐ）

　記（>>132再録）
２）そこで、私は
・私「零因子行列のことだろ？知っているよ」
　と、切り返すと
３）おサルさんは
・おサル「関係ない話だ！」と絶叫
　↓
・おサル『正則行列の条件なら、「零因子行列であること」はアウトですね
　いかなる行列が零因子行列か述べる必要がありますから』
　と叫ぶのです
４）当方は
・私「あんた、上記の自分の文章を読み返しておかしいと気づかないか？」
　と再度注意を促すも
５）おサルさん
・おサル『「０以外の体の元は乗法逆元を持たない」のつもりで
「零因子以外の行列は乗法逆元を持たない」と書いてケアレスミスだと言い張りたいんだろうけど』
　と、噴飯ものの回答をしました！ｗ
(引用終り)

(参考)
https://ja.wikipedia.org/wiki/%E8%A1%8C%E5%88%97%E7%92%B0
行列環
行列環 (matrix ring) は、行列の加法および行列の乗法のもとで環をなす、行列の任意の集まりである。別の環を成分に持つ n×n 行列全体の集合や無限次行列環 (infinite matrix ring) をなす無限次行列のある部分集合は行列環である。これらの行列環の任意の部分環もまた行列環である
R が可換環のとき、行列環 Mn(R) は行列多元環 (matrix algebra) と呼ばれる結合多元環である。この状況において、M が行列で r が R の元であれば、行列 Mr は行列 M の各成分に r をかけたものである。
行列環は単位元をもたない環上作ることができるが、終始 R は単位元 1 ≠ 0 をもつ結合的環であると仮定する
構造
略す
性質
・n ≥ 2 に対して、行列環 Mn(R) は零因子と冪零元をもち略
・線型代数学において、体 F 上 Mn(F) は任意の2つの行列 A と B に対して AB = 1 ならば BA = 1 という性質（デデキント有限性）をもつことに言及される。しかしこれは任意の環 R に対しては正しくない。行列環がすべてその性質をもつような環 R は stably finite ring と呼ばれる(Lam 1999, p. 5)。

http://www4.math.sci.osaka-u.ac.jp/~twatanabe/algebra.pdf
中心的単純多元環渡部隆夫平成１７年度阪大
Ｐ４
2 行列環
2.2 行列環一般にRを環として,m,nを自然数とするとき, Mm,n(R) により R に成分をもつm×n行列全体の集合を表すことにする. とくに m=n のときは, Mn,n(R) を Mn(R) と表す. Mn(R) は通常の行列の加法と乗法により環となり,Rに成分をもつn次行列環とよばれる.

**１３２人目の素数さん** · 2024/05/15(水) 18:47:12.37

>>146 参考追加
>http://www4.math.sci.osaka-u.ac.jp/~twatanabe/algebra.pdf
>中心的単純多元環渡部隆夫平成１７年度阪大

上記は、下記”中心的単純多元環 pdf”で
他にも、講義ノートありますね；ｐ）

http://www4.math.sci.osaka-u.ac.jp/~twatanabe/
http://www4.math.sci.osaka-u.ac.jp/~twatanabe/kougi.html
渡部隆夫阪大
資料 (documents)
講義ノート (Lecture Notes)
ディオファントス近似とSturm語 pdf
有理数体上の四元数環 pdf
符号理論入門 pdf
代数体のArakelov類群 pdf
中心的単純多元環 pdf
対称錘体とJordan代数 pdf
代数群の分類 pdf

講演スライド(Lecture Slide)
Sturm語の反復指数の空隙 pdf
佐武図形と半単純代数群の分類 pdf
GL(n)の非線形的簡約理論: 基本領域の構成レシピ pdf
Maximal compact subgroups of Sp4(k) and GSp4(k) pdf
On Voronoi's theorem and related problems pdf
代数体の被約Arakelov因子の個数の評価 pdf

Pari/GP, Mathematica, etc programs
略す

**１３２人目の素数さん** · 2024/05/15(水) 18:50:25.88

＞実数体Rや複素数体C では、
＞正則行列←→非零因子であり、
＞非正則行列←→零因子である

一般の可換体Kでもそうなるよ
でも可換環Rではそうならない

で、君、他人から指摘されてやっと気づいたんだよね？
まあ気付かないよりいいけどさ

＞「零因子行列のことだろ？知っているよ」

その半端な物言いがダメね

「零因子行列は乗法逆元を持たない」
で君がいいたかったのは
零因子は珍しい例外だということでしょ

まあ、そういう逃げは工学馬鹿がよくやらかすけど
珍しい例外（例えば速度０とか次元が１つ低いとか）だからいい
とかそういうことじゃないんだよね、って指摘なんだが
理解できなかったんだねえ

相変わらず頭わるいねえ

**１３２人目の素数さん** · 2024/05/15(水) 19:41:44.75

＞行列環という概念がある
一般線型群という概念は（君の頭の中には）ない、と・・・

**１３２人目の素数さん** · 2024/05/15(水) 21:18:08.09

>>148
>＞実数体Rや複素数体C では、
>＞正則行列←→非零因子であり、
>＞非正則行列←→零因子である
>一般の可換体Kでもそうなるよ
>でも可換環Rではそうならない

・うん、君は Rとして整数環Zを考えたんだね>>25
　なかなか面白い発想だと思うよ；ｐ）
・ところで、下記の鈴木　寛「第3章線形代数 3.1 連立一次方程式」
　にあるように、線形代数の一つの課題として、連立一次方程式を解くことがある
　この場合、下記にあるように普通は実数体Rで考えるんだ（さらに進んだ段階では複素数体Cを考える）
　そうすれば、例えば最も単純な一次方程式 ax=b（a≠0）では両辺にa^-1をかけてx＝a^-1*b と解ける
　と同様に、連立一次方程式 AX=B（A≠0）は両辺にA^-1をかけてX＝A^-1*B と解ける
　（ここに、Aはnxn行列、XとBはベクトルだ）
・しかし、整数環Zではそもそも、ax=bやAX=Bには、基本的に解が整数環Z内に存在しない！ｗ
　それは、”線形代数”の講義では、まずいなｗｗ
　整数環Zでは、”線形代数”の講義は成立しないだろうよｗｗｗ；ｐ）

(参考)
//icu-hsuzuki.github.io/science/index-j.html
鈴木　寛
すずき　ひろし
国際基督教大学教養学部　教授（数学）
（２０１９年３月３１日付け定年で退職・同年４月１日付け名誉教授）
//icu-hsuzuki.github.io/science/class/ns1b/lecnote/2008/3.linearalgebra.pdf
第3章線形代数
3.1 連立一次方程式
3.1.1 連立一次方程式とその解
ここで学ぶのは線形代数と言われるものです。線形代数の一番の基本は連立一次方程式を考えることです。線形代数は微分積分とともに数学の基礎をなすもので、自然科学でも、社会科学でも使われている理論であり、考え方です。応用という面からも、連立一次方程式の理論は、重要です。このあと連立一次不等式、線形計画法へと進んで行く土台もこの連立一次方程式の理論です。
連立一次方程式とは次のようなものです。
略
これはn個の変数（x1,x2,...,xn）に関する m 個の1次方程式からなる連立一次方程式です。英語ではAsystem of linear equations と言います。a11,a12,...,a1n など a に添字のついたものは、数で、係数(coe cients) と呼ばれます。また、x1,x2,...,xn を変数と呼びます。x1, x2 など変数がすべて 1 乗でx2 1 などが現れないので「一次」といいます。

さて、ここで考えたいのは以下の問題です。
1.解き方、アルゴリズム（算法）[必ず解ける方法]
2.解はいくつ（何組）あるか。解がいくつあるかはどうやって分かるか。
3.解はどんな形をしているか。

P46
3.2 行列
3.2.1 行列の定義と演算
今まですでに、何度も「行列(Matrix)」という言葉を使ってきましたが、ここで、改めてその定義を述べます。定義3.2.1 1. m n個の数を長方形（矩形）に並べた
略す
を(m,n) 行列、又は、m n 行列と言う。
上の行列を略して、A=[aij]などと書くこともある。

**１３２人目の素数さん** · 2024/05/15(水) 21:21:56.26

>>150 タイポ訂正

　と同様に、連立一次方程式 AX=B（A≠0）は両辺にA^-1をかけてX＝A^-1*B と解ける
　　　↓
　と同様に、連立一次方程式 AX=B（行列式|A|≠0）は両辺にA^-1をかけてX＝A^-1*B と解ける

**１３２人目の素数さん** · 2024/05/15(水) 21:26:40.18

>>149
>一般線型群という概念は（君の頭の中には）ない、と・・・

・必死だなｗ
・線形代数から懸命に論点チラシをしているｗｗ；ｐ）

**１３２人目の素数さん** · 2024/05/16(木) 00:03:24.38

>>106
(引用開始)
>自分の能力以上のことは望まない
>これができない人は地獄に落ちる
修論が書けた後
興福寺の阿修羅像に会いたくなった
自分の能力以上のことを
望んでいたからかもしれない。
(引用終り)

１）話が飛びますが
　『成瀬は天下を取りに行く』本屋大賞受賞！
　カーラジオで、著者の宮島未奈さんが、語っていました
　その後このまえ、市ヶ谷の駅で降りたとき、散策で文教堂書店に入ったら
　『成瀬は天下を取りに行く』が、大量に並んでいました
　チラ見してきました
２）”少年よ大志を抱け”は、クラーク博士
　会社の先輩で、灘高から京大機械科卒で、灘高だったかのバレーボール部のキャップテン
「自分で限界を決めるな！」と言っていたので、なるほどと思ったことがあります
　”自分の能力”は、数学測度論の外ですよね（測り方が定義されていない）
３）運命の女神は勇者にほほえむ。幸運の女神は準備ができている者に微笑む。運も実力のうち

//twitter.com/shuji5175/status/965915358392549377
中岡秀次 Feb 20, 2018
「運命は勇者に微笑む」は #羽生善治棋士の座右の銘。「出典はない」らしいがFortes fortuna adjuvat.（運命は強者を助ける）Audentes fortuna juvat.（大胆な者たちを運命は助ける）など古代ローマの格言に多数ある。「運命（フォルトゥーナ」とは女神である。

//www.indy-nakanishi.com/archives/9535
幸運の女神は準備ができている者に微笑む　パスツールのことば
2018年1月11日中西旅人（インディ中西）公式サイト

//www.アマゾン
成瀬は天下を取りにいく 2023/3/17
宮島未奈 (著)
2020年、中２の夏休みの始まりに、幼馴染の成瀬がまた変なことを言い出した。
コロナ禍に閉店を控える西武大津店に毎日通い、中継に映るというのだが……。
M-1に挑戦したかと思えば、自身の髪で長期実験に取り組み、市民憲章は暗記して全うする。
今日も全力で我が道を突き進む成瀬あかりから、きっと誰もが目を離せない。
2023年、最注目の新人が贈る傑作青春小説！
レビュー
エムマン
5つ星のうち5.0 いつも心に成瀬さん
2024年5月15日
Amazonで購入
こうなりたい、でも成瀬さんではない自分は簡単にはそうなれない。
自分自身も、話しに出てくる全員もそう感じている。
一つ一つの話しの読後には爽やかな気持ちになります。
そしてもっと成瀬さんに会いたくなります。
だいぶ前に成瀬さん世代を終えた私にも、今成瀬さん世代の若い人も、成瀬さんと同性も異性も誰でも共感できるキュッとくる物語です。
ミシガンに乗ったら会えるかも。

//www.shinchosha.co.jp/special/naruten/
宮島未奈『成瀬は天下を取りにいく』特設サイト
新潮社
1983年静岡県富士市生まれ。滋賀県大津市在住。京都大学文学部卒。
2021年「ありがとう西武大津店」で第20回「女による女のためのR-18文学賞」大賞、読者賞、友近賞をトリプル受賞。2023年同作を含む『成瀬は天下を取りにいく』でデビュー。第11回「静岡書店大賞」小説部門大賞、第39回「坪田譲治文学賞」、第21回「本屋大賞」など14冠を獲得し話題となる
https://twitter.com/thejimwatkins

**１３２人目の素数さん** · 2024/05/16(木) 01:35:02.84

Zで考えるのは普通

http://www.math.sci.hiroshima-u.ac.jp/m-mat/TEACH/kan-kagun7.pdf
>1.4単因子論
>
>注意1.4.2.特に、R=Zのとき、Z^x={±1}であるから、可逆行列とは行列式が±1とな
>る行列のことになる。このような行列をunimodular行列という。

**１３２人目の素数さん** · 2024/05/16(木) 05:43:47.92

>>150
>>君は Rとして整数環Zを考えたんだね
>>なかなか面白い発想だと思うよ
>>154
>Zで考えるのは普通

１くん、恒例の失言
ラムサール条約で保護したいレベル

**１３２人目の素数さん** · 2024/05/16(木) 05:56:16.45

>>150
>線形代数の一つの課題として、連立一次方程式を解くことがある
というか工学部とかの連中は数学は方程式を解くための方法であり
それ以外なんもないと思ってる　
ガロア理論ガーとかいってるのも
代数方程式の厳密解法ガーとか思ってるから
実に貧困

>この場合、下記にあるように普通は実数体Rで考えるんだ
工学部の「普通」ね

>（さらに進んだ段階では複素数体Cを考える）
複素数は通常は想定外、と
数学科の「普通」は代数的閉体だったりするけどね

>そうすれば、例えば最も単純な一次方程式 ax=b（a≠0）では両辺にa^-1をかけてx＝a^-1*b と解ける
>と同様に、連立一次方程式 AX=B（A≠0）は両辺にA^-1をかけてX＝A^-1*B と解ける
>（ここに、Aはnxn行列、XとBはベクトルだ）
可換環でもa^-1やA^-1が存在すればその方法で解けますがなにか？

>しかし、整数環Zではそもそも、ax=bやAX=Bには、基本的に解が整数環Z内に存在しない！ｗ
「基本的に・・・存在しない」は言い過ぎ
「Aが単射であっても、全射とはいえないので、解が存在しない場合がある」
（体の場合は、Aが単射であれば全射）

>それは、”線形代数”の講義では、まずいなｗｗ
工学部はともかく数学科としては別にまずいわけではない

>整数環Zでは、”線形代数”の講義は成立しないだろうよ
「成立しない」のではなく
「体で成り立ってることが可換環ではそうなってないことがあるので
　それに合わせた言い方になる」というだけ

消去法も全然無意味なわけではなく、それなりに使える
０ー１でしか考えないのは、粗雑頭

**１３２人目の素数さん** · 2024/05/16(木) 10:06:20.10

>>133

チクンさん、勝負強かった

https://www.nikkei.com/article/DGXZQOUD158VJ0V10C24A4000000/
趙治勲　私の履歴書（15）史上初の大三冠
囲碁棋士・名誉名人
2024年5月16日 2:00 [会員限定記事]
棋聖戦は当時、全段争覇戦と最高棋士決定戦という独自の方式で挑戦者を決めていた。1982年にボクは「名人本因坊」として最高棋士決定戦から出場し、決勝三番勝負で加藤正夫さんに2連勝して年明けの七番勝負の挑戦者になった。

タイトルを保持していたのは当時57歳の藤沢秀行先生だった。通称シュウコウ先生は棋聖戦がスタートして以来6連覇中。読売新聞主催の旧名人戦や天元戦など第1期のタイトルが多く、「初物食いの...

https://ja.wikipedia.org/wiki/%E8%B6%99%E6%B2%BB%E5%8B%B2
趙治勲（ちょう・ちくん、チョ・チフン、1956年6月20日 - ）は、日本棋院所属の囲碁棋士。名誉名人・二十五世本因坊[注釈 1]。韓国釜山広域市出身。血液型はB型。木谷實九段門下。号は本因坊治勲（ほんいんぼうちくん）。

タイトル獲得数歴代1位。史上初の大三冠、グランドスラム、名人5連覇、本因坊10連覇、通算1500勝など数々の記録を樹立。大一番での勝負強さから「七番勝負の鬼」の異名も取った[1]。

1983年は第7期棋聖戦で藤沢秀行に挑戦し、3連敗後の4連勝で棋聖位を獲得。大三冠を達成し、棋聖位はその後3連覇。第8期名人戦で大竹英雄九段を4-1で破り防衛。千葉市に移住。第30回NHK杯優勝。

**１３２人目の素数さん** · 2024/05/16(木) 11:05:31.90

秀行の「耐えて勝つ」は愛読書だった。

**１３２人目の素数さん** · 2024/05/16(木) 11:24:42.98

>>154
>Zで考えるのは普通
>//www.math.sci.hiroshima-u.ac.jp/m-mat/TEACH/kan-kagun7.pdf
>1.4単因子論

１）整数環Zを考えるのは、個人の勝手だが
　大学初年度で教える線形代数では、普通はn次元ユークリッド空間を扱い、行列成分は実数体Rにとるよ
　そして、複素数体Cも扱うかもしれないが
２）でそのURL //www.math.sci.hiroshima-u.ac.jp/m-mat/TEACH/kan-kagun7.pdf
　は、代数学II：環と加群松本　眞（広大） 2020 年だよ(線形代数ではない！)
３）単因子論は、下記の桂田祐史（明大）線形代数ノートにあるが、桂田祐史先生は低学年の線形代数で扱うのは疑問視しているね

(参考)
//nalab.mind.meiji.ac.jp/~mk/note/linear-algebra.pdf
線形代数ノート
桂田祐史 2021年
2.1 単因子論と私
Jordan 標準形の存在と一意性を証明するため、以下の3つの方法がポピュラーである
(i) 一般固有空間への分解を経由して冪零変換の解析に帰着する方法(しばしば「幾何学的な方法」と呼ばれる)
(ii) 単因子論による方法(しばしば「代数的な方法」と呼ばれる)
(iii) 行列の有理標準形を経由する方法
個人的には、自分が受けた大学1年次の講義科目「代数と幾何」の教科書(佐武[1])や、自習した本(杉浦[2]) が採用していたということ、手短で要領の良い説明(齋藤[3])を知ったことから、(i) の方法に慣れている
多分、今Jordan 標準形について授業をせよ、と要求されたら、(i)の方法で行うであろう
単因子論による扱いについては、齋藤([4])にあることはそれとなく耳にしていたが、実際に学んだのは、大学2年次の代数の講義においてであった

正直に白状すると、最初に学んだときは、基本変形で単因子を求める計算(アルゴリズム)を完全には理解出来ていなかった

[4]は連立1次方程式を解くための掃き出し法については、詳しく書いてあるのだが、単因子については、初心者には一見そうは見えないのだが、実は「超越的」である(存在証明はしてあるが、計算手順の説明にはなっていない)
何でもアルゴリズムを書かなくてはいけない、というわけではないと思うが、線型代数を学んでいるときは、連立1次方程式については、一応はアルゴリズムを説明される(身につけることを要求される)し、テストともなれば、「次の行列のJordan 標準形を求めよ」と要求されるわけで、(その本orその講義で) アルゴリズムを説明するつもりがないのならば、それを明言して欲しいものである
それで少し探してみたところ、韓・伊理[6]に書いてあることを発見して
伊理先生さすがと思ったが、つい先日、それは古屋[7]が元ネタであったらしいことに気がついた
かなり古い古屋先生の本(実際、私が所有している線型代数関係の和書では、最も出版が早い)にちゃんと書いてあるのに、その後の多くの本が劣化コピーになっている(とあえて言わせてもらう) のは、どうしてなんでしょうね

さて、それで単因子論によるJordan 標準形の扱いを、今私がどう感じているかと言うと、とても面白く、美しさまで感じるが
代数の素養にとぼしい低学年の学生向けの授業に持ち出すのはどうかなあ、と言ったところか

**１３２人目の素数さん** · 2024/05/16(木) 11:34:34.44

>>159
>かなり古い古屋先生の本(実際、私が所有している線型代数関係の和書では、
>最も出版が早い)にちゃんと書いてあるのに

私が受けた授業では、先生は藤原松三郎の「行列と行列式」をもとに
単因子論を講義された。

**１３２人目の素数さん** · 2024/05/16(木) 11:36:01.23

>>158
>秀行の「耐えて勝つ」は愛読書だった。

へー、下記ですか
記憶がないな
表紙くらい見たかもしれないが

秀行先生、１億円の借金を背負って、棋聖６連覇
そのときのことかも
劣勢になっても、簡単に投げられない事情を背負って打っていた

(参考)
https://アマゾン
耐えて勝つ単行本 – 1986/4/1
藤沢秀行 (著) 講談社
（レビューなし）

https://bookclub.kodansha.co.jp/product?item=0000172057
講談社BOOK倶楽部
耐えて勝つ！
著：藤沢　秀行　装丁：宮内　祥子
内容紹介
囲碁界の鬼才・藤沢秀行の天衣無縫の半生記囲碁史上に数々の名勝負をくりひろげ，その豊かな才能で棋界に君臨する藤沢秀行の華麗な半生記をエピソ－ドで綴る人生論．勝負の厳しさ，過酷さが胸に迫る一巻．

**１３２人目の素数さん** · 2024/05/16(木) 12:12:13.35

>>158
>秀行の「耐えて勝つ」は愛読書だった。
>>153
(引用開始)
>自分の能力以上のことは望まない
>これができない人は地獄に落ちる
修論が書けた後
興福寺の阿修羅像に会いたくなった
自分の能力以上のことを
望んでいたからかもしれない。
(引用終り)

・人生の重大局面は、論理や数学的思考だけでは割り切れない
　別スレで、”いかにして哲学は100年前に滅亡したか”とか書いた人がいた（下記）
・けど、哲学は滅亡などしていないでしょう（科学の分野の影響力は、古代ギリシャと同じではないとしても）
　人生の重大局面は、A,B,Cと選択肢が３として Aを選んだらそれしかないのです
　”BやCの選択肢がよかったかも”と思い返すことは出来ても、選択肢B or Cの厳密な検証はできないのです
・そういう場面は、日常茶飯事であります

なので、人生哲学は２１世紀でも有効と思いますね
碁の考え方もね；ｐ）

//rio2016.5ch.net/test/read.cgi/math/1676110842/219-
なぜ数学の非専門家は「選択公理」や「不完全性定理」が好きなのか？
2024/05/07(火) 19:33:06.37ID:xJPWfmgv
いかにして哲学は100年前に滅亡したか

5.哲学の限界と科学の重要性（1920年代～）
1920年代以降、哲学的な仮定の正しさを論理的に証明する方法は存在しないことが明らかになりました。
アイディアの正しさを決める方法は、現実との比較（実験）しかありません。
つまり、正しさを決める方法は科学しかあり得ないことがわかります。

これらの出来事により、20世紀初頭から哲学は大きな転換期を迎えました。1902年のラッセルのパラドックス発見以降、哲学者を名乗った時点で不勉強な無知または詐欺師であることは確定しており、賢い哲学者というのは論理的に存在不可能であるとされています。

**１３２人目の素数さん** · 2024/05/16(木) 12:29:38.73

>>159
「体が成分の行列」で「行列式が０」といえば問題なかった
（行列式が０と零因子行列は同値だが、
　そうだとしても本質は行列式で零因子ではない
　そこ論理的に同値だというだけで
　「同じだから本質」と思い込むのは軽率な素人かと）

**１３２人目の素数さん** · 2024/05/16(木) 12:40:00.54

>>159
>単因子論によるJordan 標準形の扱い
　とかいう以前にそもそも固有値の求め方が
　掃き出し方でお腹一杯の工学屋にはわかんないだろ

**１３２人目の素数さん** · 2024/05/16(木) 12:46:10.66

ところで、整数が成分の行列であれば、その固有方程式の各次数の係数は整数である
（注：解である固有値が整数だなんてことは一言も言ってない）

**１３２人目の素数さん** · 2024/05/16(木) 12:52:16.76

>>162
>哲学は滅亡などしていないでしょう
とその後の
>人生の重大局面は、A,B,Cと選択肢が３として Aを選んだらそれしかないのです
>”BやCの選択肢がよかったかも”と思い返すことは出来ても、選択肢B or Cの厳密な検証はできないのです
がつながらないが

何がいいたいのか？

**１３２人目の素数さん** · 2024/05/16(木) 12:57:15.82

>　1920年代以降、哲学的な仮定の正しさを論理的に証明する方法は存在しないことが明らかになりました。
これもなぜそういえるか全然明らかでない

前提（公理系）の正当性（無矛盾性）を論理によって証明することは無理らしい、
というならそれが1931年のゲーデルの不完全性定理のことだとわかるのだが
1931年は1920年代ではないし、数学の公理系を哲学的な仮定とは言わないだろう

**１３２人目の素数さん** · 2024/05/16(木) 13:02:36.02

>アイディアの正しさを決める方法は、現実との比較（実験）しかありません。
>つまり、科学しかあり得ないことがわかります。

カール・ポパーの反証主義のことなら、
これまた1937年の『科学的発見の論理』で述べられたことであり
1920年代ではない

そもそも科学理論について述べられたことであって　哲学についてではない
まあ、ポパーなら、哲学は反証不可能な主張だから無意味、というかもしれんが

**１３２人目の素数さん** · 2024/05/16(木) 13:05:50.10

>>156
>>線形代数の一つの課題として、連立一次方程式を解くことがある
>というか工学部とかの連中は数学は方程式を解くための方法であり
>それ以外なんもないと思ってる　

「一つの課題」と書いているのに
”それ以外なんもないと思ってる”？
あなたは詭弁の総合商社ですｗ

それはともかく
君が、文献の援用に目覚めたのは良いことだ
文献の援用なくして、私には勝てない！；ｐ）

**１３２人目の素数さん** · 2024/05/16(木) 13:19:26.43

>>169
数学科の人なら「連立一次方程式を解くこと」を線形代数の課題とは言わないけどね

連立一次方程式を解く方法は、線形代数なんてものができるずっと前から分かっていたわけで

それはさておき
>文献の援用に目覚めたのは良いことだ
といってるが、誰がいつどこで文献の援用をしたのか分からんのだが？

>文献の援用なくして、私には勝てない！

「勝つと思うな　思えば負けよ」と美空ひばりも歌ってるわけだが・・・

**１３２人目の素数さん** · 2024/05/16(木) 13:22:45.20

工学部の連中は何かといえば線形代数で
・連立一次方程式を解くこと
・固有値問題を解くこと
・ジョルダン標準形を求めて常微分方程式系を解くこと
と「解くこと」ばかり考える

彼らは数学は問題解決手法でありハウツーであると考えてるらしい
まあ、そういう精神なら大学２年で終わりにするのは当然だろう

**１３２人目の素数さん** · 2024/05/16(木) 13:28:21.33

問題解決手法、ハウツー、ということなら
複素解析が分かれば代数方程式の根は（いくらでも正確に）求まる

工学的にはどの程度有用かは知らないが、
数学的には興味深い理屈だとおもってる
（といってもそんな大層なことではないが）

**１３２人目の素数さん** · 2024/05/16(木) 13:32:58.63

Q.なぜ、日本はアメリカに負けたのか？
A.いろいろあるけど、端的には石油がなかったし、他にもいろいろ資源がなかったから

Q.じゃ、ベトナムはなんでアメリカに勝てたのか
A.いろいろあるけど、端的にはゲームの”ルール”を変えたから

**１３２人目の素数さん** · 2024/05/16(木) 13:38:21.25

なんもかんも捨てて逃げて山に籠る、っていうのは、
別にベトナム戦争で初めてやったことではなくて
東南アジアの庶民にとっては、いつもやってることだったりする

姿をくらまして5chに籠って匿名で書く、というのも同じことかと

**１３２人目の素数さん** · 2024/05/16(木) 13:40:57.93

毎日IDが変わるっていいことだね　日々生まれ変わるってことだから

昨日自分が何をいったかなんていちいち覚えてるのは馬鹿げたことだよ

**１３２人目の素数さん** · 2024/05/16(木) 13:43:17.21

東南アジアの山岳民族は文字を持たない　つまり文書を残さない
大事なことは口で伝える　当然細部は異なってくる
唯一無二の正当な言い伝えなんてない　別にそんなものいらない

**１３２人目の素数さん** · 2024/05/16(木) 13:50:12.25

数学は独学できないという
数学書を読めばいいんじゃないかと思うが
実はそうではないらしい

本ではつたわらないことがある
足りないというよりは足りすぎてるのかもしれない
本当に必要な核心はもっと少なかったりする

じゃあ、そこだけ本で書けばいいんじゃないか
というかもしれないがそうではないらしい

情報はいくらあってもいいが、強弱があると
そこが書籍では分からない

分かってるか否かというのは
厳密であるか否かとは違う
なんでもかんでも厳密であろうとすると分からなくなる
肝心なことが分かっていれば埋められることもある
でも肝心なことを抜かすと全部が台無しになる

何が肝心かが分かっているのが、本当に分かっているということ

**１３２人目の素数さん** · 2024/05/16(木) 17:06:22.72

>>166
>つながらないが
>何がいいたいのか？

・うん、つながってないね（認める）
・言いたかったことは、上記>>162の”いかにして哲学は100年前に滅亡したか”は
　下記の”19世紀以降は自然科学が急発展して哲学から独立し[4]”で、これを哲学の滅亡と誤解しているということ
　（数理論理学やコンピューターに乗るロジックも哲学から独立したと言えるでしょう）
・よって、分離独立していない部分は、当然滅亡などせず残っている
・次に、下記西洋哲学東洋哲学との比較にあるように
　”東洋哲学は、釈迦にせよ孔子にせよ、「いかに生きるか」という人生に対する実践的関心が思索を方向づけている”という
・それが、最近話題になった『君たちはどう生きるか』（下記）にもつながっていると思う

人生哲学に関する部分は、これからも残っていくと思われる

(参考)
https://ja.wikipedia.org/wiki/%E5%93%B2%E5%AD%A6
哲学（フィロソフィー　英: philosophy）とは、原義的には「愛知」を意味する学問分野、または活動[2] である。
「愛知としての哲学」は知識欲に根ざす根源的活動の一つだが[4]、19世紀以降は自然科学が急発展して哲学から独立し[4]、哲学は主に美学・倫理学・認識論という三つで形作られるようになった[4][注 2]。哲学に従事する人物は哲学者（てつがくしゃ、フィロソファー[5]　英: philosopher）と呼ばれる[注 3]。
概要
現代では以下のように、文脈によって様々な意味をもつ多義語である[要出典]。
1.（近代以前の用法[注 4]）知的探究活動全般・学問全般を指す。したがって、学問に従事する人物全般・賢者全般が哲学者と呼ばれた
2.（中世ヨーロッパの大学制度）カリキュラムの自由七科を指す[6][7]。
3.（近現代の大学制度）人文科学の一分野（哲学科）を指す[注 6]。問題の発見や明確化、諸概念の明晰化、命題の関係の整理といった、概念的思考を通じて多様な主題について検討する研究分野である、などと説明される。この分野に従事する人物は哲学者または哲学研究者と呼ばれる[要出典]。
4.「ニーチェの哲学」などのように、個々の哲学者による哲学探求の成果（思想）も哲学と呼ばれる[要出典]。
5.「数学の哲学」「法哲学」などのように、各科学分野の「基礎論」、または実践に対する「理論」を指す[要出典]。
6.宗教や神学と部分的に重複する
「#哲学と宗教」も参照
7.その他の用法もある
https://en.wikipedia.org/wiki/Philosophy
Philosophy（英語版）

https://ja.wikipedia.org/wiki/%E8%A5%BF%E6%B4%8B%E5%93%B2%E5%AD%A6
西洋哲学
東洋哲学との比較
西洋哲学と東洋哲学を比較した場合、西洋は「学」としての哲学、東洋は「教」としての哲学という見方ができる[8]。すなわち西洋哲学は、学問として論理的観点に立ち、世界の本質の理論的解明を目指している[9]。一方東洋哲学は、釈迦にせよ孔子にせよ、「いかに生きるか」という人生に対する実践的関心が思索を方向づけている
https://ja.wikipedia.org/wiki/%E5%90%9B%E3%81%9F%E3%81%A1%E3%81%AF%E3%81%A9%E3%81%86%E7%94%9F%E3%81%8D%E3%82%8B%E3%81%8B_(%E6%98%A0%E7%94%BB)
『君たちはどう生きるか』は、2023年（令和5年）公開のスタジオジブリ制作[注釈 1]による日本のアニメーション映画

**１３２人目の素数さん** · 2024/05/16(木) 17:49:02.55

>>177
>数学は独学できないという
>数学書を読めばいいんじゃないかと思うが
>実はそうではないらしい
>本ではつたわらないことがある

・あなたのいう「数学」は、数学者になるための数学でしょう？
　下記の河東泰之氏は、中学で大学の数学書を独学したという
　ここまでで、（普通の？）大学数学科卒業レベルには行くのかな？
・じゃあ、それからプロ数学者になれるかは別問題だと思う
　そもそも、「何のために数学を？」ということがある
・現代 21世紀では、かなり専門が細分化されているが、ガウスやリーマンの時代は
　半分物理学者みたいな人が多かった。フーリエも熱伝導方程式の解法として、フーリエ級数、フーリエ変換を考えた
・と同じように、物理や化学、工学からの要求として、ある問題を解くために必要な数学というのがある
　それは、多分単に数学書を読むだけでは足りずに、多分コンピューターに乗せて実用的な解まで解く必要がある（そうしないと実務に使えない）

”プロ数学者養成とどうするか？” それは、まさに”本ではつたわらない”部分かもね
たまに、プロ数学者が巡回しているようだから、聞いてみたらどうかな？

が、それはともかくフィールズ賞を森先生が受賞してから30数年
次がなかなか出ないと言われる
囲碁で、日本人プロ棋士が世界戦で優勝できないことと二重映しに見えるのですが・・

(参考)
https://www.ms.u-tokyo.ac.jp/~yasuyuki/suri2103.pdf
「数理科学」2021年3月号の記事
私の読んだ本と私の書いた本河東泰之

2. 数学書を読み始めた頃中学1年生の夏頃，高校数学は簡単にわかったので大学数学の本を読み始めた．最初に読んだ本は吉田洋一「微分積分学」(培風館)である．この本を選んだことに特に理由はなく，本屋で適当に選んだのだ．(当時は誰の影響も指導もなく，自分で勝手に本屋に行って本を買っていた．) この本は高校数学よりは厳密に書かれており，例えば今でも覚えているが，logxの定義は
∫1～x dt/t であり、
この定義をもとに様々な対数関数の性質を示していくのである．ex はその逆関数として定義される．実数の連続性についてもある程度意識的に書かれている．しかし現代数学として十分に厳密に書かれているわけではなく，ε-δ論法の扱いは不完全であった．しかしとにかくこの本で大学1年生レベルの解析学をまずマスターした．同じ頃に「数学セミナー」を読み始め，高木貞治「解析概論」(岩波書店)が有名な教科書であることを知った．これを買うべきだと思ったのだが，かなり高く感じたので神田の古本屋で古本を買った．昔の本なので古本でも中身は同じだと思ったのである．当時かなり古いものを買ったような気がしていたのだが，今見ると1969年出版の本を1975年に購入しているのでそんなにめちゃくちゃに古いわけではなかった．ε-δ 論法やデデキントの切断，コンパクト性などの厳密な解析学はこの本で学んだ．

つづく

**１３２人目の素数さん** · 2024/05/16(木) 17:49:25.76

つづき

今振り返ってみてもこの時ちゃんと理解したと思う．続けて複素関数論やフーリエ級数もこの本で学んだ．ルベーグ積分の章もあるのだがこの時はそこまでは読まなかった．さらに本屋に行っていろいろな専門書を買った．渋谷の大盛堂，神田の書泉グランデ，新宿の紀伊國屋書店などが好きだった．培風館で出ていた新数学シリーズというのが小さいサイズの本でいろいろな話題をカバーしていたので，線型代数，群論の初歩，位相空間論，複素関数論などもこのころ買って読んだ．ところで脱線するが，東大数学科の元同級生で現在東大IPMUにいる中島啓氏は当時麻布中学1年の同級生だったのだが，数学の話は全然せず我々は毎日もっぱらトランプの大貧民を一緒にやっていたのであった．

さて中学2年生になって読んだシュヴァルツ「位相と関数解析」(東京図書)という2巻本がおもしろかったので，関連する話題の本をいろいろ読んだ．ブルバキ式の「危険な曲がり角」の印を初めてみたのもこの本である．この本は繰り返し，表紙がボロボロになるまで読んだ．関連する本で記憶に残っているのは，吉田洋一「ルベグ積分入門」(培風館)，リース・ナジー「関数解析学」(共立出版)である．後者も2巻本で特に面白いと思った．関連して「数学セミナー」かどこかで題名を見かけたので，新宿の紀伊國屋書店でW.Rudin,“Functional Analysis” (McGraw-Hill) を買った．これが初めて買った洋書である．表紙がペラペラで，洋書にしては安かったのを覚えている．タウバー型定理を用いた素数定理の証明が印象に残っている．ほかにも手当たり次第にいろいろな話題の本を読んだ．たとえば，村上信吾「多様体」(共立出版)，ファン・デル・ヴェルデン「現代代数学」(東京図書) の3巻本などである．

当時東大数学科の教授だった田村一郎先生が，何か遠い親戚の知り合いだというような関係で，会いに行って東大数学科の図書室を紹介してもらった．羽鳥さんというのがこの頃の東大数学科図書室の主のような人で，私が東大数学科の学生になり，教員になってからも長い付き合いだった．田村先生からは，当時発売されたばかりだった田村一郎「葉層のトポロジー」(岩波書店)をサイン入りでもらったことを覚えている．当時の東大数学科の図書室は竜岡門から入った理学部5号館の7階を丸ごと使っていた．
当時の私の図書室使用ルールは，入り口で入るときに中学の生徒証を出して預ける，
中は自由に見てよいが本を読むときは受付横の一角の机を使う，本は借り出せない，コピーは1ページ10円で自分で取る，というものだった．
中学の授業は3時前に終わっていて，部活などは何もしていなかったので，よくその後に本郷に行って6時に閉まるまでずっと本を読んでいた．

この頃読んだ本の中で，今も影響を与えている一冊に斎藤正彦「超積と超準解析」(東京図書)がある．これはノンスタンダード・アナリシス(超準解析)の本である．この本の出版とほぼ同じころ斎藤先生は，「数学セミナー」にこれと重なるところの多い記事を連載しており，まずそちらで読んだのだと思う．

つづく

**１３２人目の素数さん** · 2024/05/16(木) 17:49:41.89

つづき

＜申眞諝（シン・ジンソ）さんが、いまの世界のナンバーワンのプロ囲碁棋士です＞
https://ja.wikipedia.org/wiki/%E7%94%B3%E7%9C%9E%E8%AB%9D
申眞諝（シン・ジンソ 2000年3月17日 - ）は、韓国の囲碁棋士。釜山出身、韓鐘振九段門下、韓国棋院所属、九段。Let's Run PARK杯オープントーナメント優勝、GSカルテックス杯プロ棋戦5連覇、LG杯世界棋王戦優勝など。
経歴
家が囲碁教室を運営していたことから、5歳の時に囲碁を覚えた[1]。その後ネット碁で打ち始め、8歳頃にはタイゼム８〜9段となり[2]、2010年に大韓生命杯世界子供国手戦で優勝。2012年にソウルに移り沖岩囲碁道場に入り、この年に韓国棋院の新制度である英才入段大会で初段となる[1]
2013年バッカス杯天元戦ベスト8進出、陜川郡英才囲碁大会で優勝し、英才頂上対決では李昌鎬に勝利、二段。
韓国囲碁リーグは2013年から出場し、2016年には主将を務める。中国甲級リーグに2014年から出場。韓国囲碁棋士ランキングでは2014年32位、2015年7位、2017年2月に2位、2019年2月に1位、2020年1月から2023年6月まで42ヶ月連続1位。『囲碁発陽論』で主に勉強している。[要出典]
(引用終り)
以上

**１３２人目の素数さん** · 2024/05/16(木) 17:55:58.84

>>179 タイポ訂正

”プロ数学者養成とどうするか？” それは、まさに”本ではつたわらない”部分かもね
　　↓
”プロ数学者養成をどうするか？” それは、まさに”本ではつたわらない”部分かもね

**１３２人目の素数さん** · 2024/05/16(木) 18:12:41.55

>>178
>言いたかったことは、
>「いかに生きるか」という人生に対する実践的関心が思索を方向づけている
>人生哲学に関する部分は、これからも残っていくと思われる

君もコピペで無駄に時間を使わずに
「いかに生きるか」考えたほうがいいんじゃない？

**１３２人目の素数さん** · 2024/05/16(木) 18:19:20.13

>>179
>あなたのいう「数学」は、数学者になるための数学でしょう？
>そもそも、「何のために数学を？」ということがある
>物理や化学、工学からの要求として、
>ある問題を解くために必要な数学というのがある
>それは、多分単に数学書を読むだけでは足りずに、
>多分コンピューターに乗せて実用的な解まで解く必要がある
>（そうしないと実務に使えない）

例えば代数方程式の解き方とか？
ガロア理論なんて知らなくても
解を求めるプログラムは書けるよ
まずそれを勉強したほうがいいんじゃない？

マセマの本から読み始めたほうがいいね
そういえば複素解析の巻の付録が代数学の基本定理
なかなか気が効いてるじゃないか
実務につながるのはガロア理論より代数学の基本定理だよ

**１３２人目の素数さん** · 2024/05/16(木) 18:21:42.31

>>179
＞次がなかなか出ないと言われる
＞囲碁で、日本人プロ棋士が世界戦で優勝できないことと二重映しに見えるのですが・・

数学は忘れて、囲碁板で囲碁の話だけしてなよ　それなら絶対につっこまれないから

**１３２人目の素数さん** · 2024/05/16(木) 18:39:19.95

>>185
>それなら絶対につっこまれないから

いや、バカが突っ込んでくるんだよねｗ
それを、どうサバクか？ｗｗ
それも、囲碁・・・いや５ｃｈ便所落書きの面白さですよｗｗｗ　；ｐ）

**１３２人目の素数さん** · 2024/05/16(木) 19:25:26.06

>>186
裁かれてるけどね

**１３２人目の素数さん** · 2024/05/16(木) 19:47:13.80

＞５ｃｈ便所落書き
自らを🚽の💩と蔑むとは面白き奴

**１３２人目の素数さん** · 2024/05/16(木) 20:17:22.23

>>187
>裁かれてるけどね

おお、それ面白い！ｗ
意図は、下記の囲碁サバキで、手綱(たづな)のサバキ類似だよ

(参考)
https://languages.oup.com/google-dictionary-ja/
Oxford Languages
さばき
1.
【捌き】
捌(さば)くこと。
「手綱(たづな)の―」
2.
【裁き】
裁くこと。裁断。審判。
「神の―」

https://ja.wikipedia.org/wiki/%E3%82%B5%E3%83%90%E3%82%AD
サバキ
空手のテクニックの一つ。
囲碁用語の一つ。下記に記載。

**１３２人目の素数さん** · 2024/05/16(木) 20:43:10.54

佐藤康光さん、元気

https://www.yomiuri.co.jp/igoshougi/ryuoh/kansenki/20240510-OYT8T50021/
年齢はただの数字、３３歳下の若者破る…ランキング戦１組準決勝　佐藤康光九段×伊藤匠七段
2024/05/16 05:00
大川慎太郎

３３歳差
　今期１組最年長の佐藤（５４歳）と最年少の伊藤（２１歳）が準決勝で激突した。両者は初手合。練習将棋でも指したことがなく、いろいろな意味で興味深い顔合わせだ。

　佐藤は永瀬拓矢九段、広瀬章人九段に、伊藤は菅井竜也八段、木村一基九段にそれぞれ勝利。本局を制すれば決勝トーナメント進出が決まる。

　互いの印象について佐藤は「若さに似合わず序・中盤の研究が深く、指し手が早いです。藤井（聡太）竜王がいるので目立たないが終盤も鋭い。あと指したことがないどころか、見かけたことも少ない」と苦笑する。

　伊藤は「以前は角交換系の将棋が多かったが、最近は居飛車を採用される。永瀬九段、広瀬九段という強豪を倒して充実されています」と語る。

　４月１０日、東京・将棋会館。名人戦七番勝負が開幕した日で、会館そばの鳩森八幡神社には桜がわずかに残っていた。

**１３２人目の素数さん** · 2024/05/16(木) 20:47:33.72

これいいね

https://diamond.jp/articles/-/343670
老後「もっと挑戦すればよかった」と後悔する人の共通点
キム・ヘナム
岡崎暢子：韓日翻訳・編集者
ライフ・社会
もし私が人生をやり直せたら
2024.5.14 4:03

老後「もっと挑戦すればよかった」と後悔する人の共通点とは？
42歳でパーキンソン病に侵された精神科医のエッセイが、韓国で売れに売れている。『もし私が人生をやり直せたら』という本だ。「自分をもっと褒めてあげようと思った」「人生に疲れ、温かいアドバイスが欲しいときに読みたい」「限られた時間を、もっと大切にしたい」と共感・絶賛の声が相次ぎ、35万部以上売れているという。
そんなベストセラーエッセイの邦訳が、ついに刊行される。男女問わず、多くの人から共感・絶賛を集める本書の内容とは、いったいどのようなものなのか？本書の日本語版から抜粋する形で、「人生の限りある時間」の過ごし方について書かれた項目を紹介していく。

老後「もっと挑戦しておけばよかった」と後悔する人の共通点
　足を鎖でつながれたまま大きくなったゾウは、自力で鎖を引きちぎれるほど成長しても、その鎖につながれたままでいるそうです。

　小さい時に鎖をちぎれなかった記憶が、ゾウを自暴自棄の状態にしているのです。このゾウのように、実はその状況を打開できる力が十分にありながらも、早々にあきらめてしまっている状態を、「学習性無力感」といいます。

　失敗した経験が挑戦を妨げ、成功から遠ざかるしかありません。しかし、そんな状況であるほど、小さな挑戦と成功が重要なのです。

　失敗を恐れて、せっかくのチャンスを逃さないようにしてください。私の経験ですが、何度も失敗したからといって人生が台無しになるようなことはありませんでした。

　例えば、会社を辞めたり離婚したりしたとしても、人生をよくしようという意志さえあれば、上手に切り抜けていけるものです。「もう年を取りすぎた」「もう遅い」などと諦めないでください。

　では、具体的に何をすればいいかをお伝えします。

何でもいい。「小さな挑戦」を続ける
　最近では、私も病気のために室内で過ごすことが増え、新しい経験をする機会は以前ほど多くはありません。それでも私の特技は、絶えず小さな挑戦をし続けるということです。

　写真展の開催も、イラストを描いて本を出したこともその一環です。今は、新たに出会った人たちと次の挑戦の準備中でもあります。その行動のどれもが、カメラマン並みに写真が撮れたからでも、画家のように絵が描けたからでもありません。ただ、私が美しいと発見した驚きや感動を、他の人たちと共有したかったからに過ぎません。

　それでも、私の作品を見た人たちから、「あなたの撮る水滴の写真は、本当に美しい」「先生の描いたくねくねのイラストを見ると、心が安らぎます」などと言ってもらえたのです。私の新しい挑戦にも意味があったと思えました。何よりも、こうした新しいチャレンジの最中は、ワクワクして人生が豊かになったように感じられました。42歳でパーキンソン病と診断され、65歳を過ぎた今、改めてそう思います。
（本原稿は『もし私が人生をやり直せたら』から一部抜粋、追加編集したものです）

**１３２人目の素数さん** · 2024/05/16(木) 22:27:27.65

>>179
>”プロ数学者養成をどうするか？”
好き勝手をさせてくれたので数学者になれた。
好き勝手にしてもらったので数学者に育ってくれた。

**１３２人目の素数さん** · 2024/05/16(木) 22:30:52.71

＞それ面白い！
まあ、お世辞なんでしょうけど

面白がらせようと思っていうセリフはだいたい面白くないから
いいセリフはちょっと引いた感じでいうんだよ

関西人は大体ダメだね　さんまとか食い気味にいうじゃん　あれダメ
まあ、たけしも浅草の芸人だからダメだね　

タモリは別に受けようとか思わずいうセリフが面白い

**１３２人目の素数さん** · 2024/05/16(木) 22:36:05.27

>>192　へえ

**１３２人目の素数さん** · 2024/05/16(木) 22:36:55.32

どうでもいいけど、マジで長文コピペやめよう　心の底からシラケる

**１３２人目の素数さん** · 2024/05/16(木) 22:38:16.97

５ｃｈのちょうどいい感じは、１行
許される最長の書き込みは３行
それ超えたら、押し付けがましい

**１３２人目の素数さん** · 2024/05/16(木) 22:39:23.72

長文書きたかったら　ブログでやりな
掲示板でやることじゃない
それわからないのは　野暮天

**１３２人目の素数さん** · 2024/05/16(木) 22:41:17.49

＞「小さな挑戦」
検索するのは挑戦じゃない
コピペするのも挑戦じゃない

**１３２人目の素数さん** · 2024/05/16(木) 22:42:41.85

自分で考えるのが挑戦
自分で計算するのが挑戦
他人のやったこと探して写すのは窃盗

**１３２人目の素数さん** · 2024/05/16(木) 22:43:39.33

他人のやったこと見て
自分でまねしてやってみるなら
それは挑戦といっていい