20/12/13 16:10:26.99 hbHQHgSE.net
なんかこうやってみると、東大の院試も
ウルトラ難問を出してるわけじゃないんだな
逆に解けないようなら数学者あきらめたほうがええわ
だってそれ明らかに勉強不足だもん
51:１３２人目の素数さん
20/12/13 16:33:36.16 kIIiK0v1.net
>>35
>２．おっちゃんの証明と同じで、真面目に読んで行くと、いろんなところにタイポや勘違いがある。
私は昔から誤解を招かないような書き方をするようにしている。
これは、目が疲れるし、神経使うし、面倒臭い。私のような書き方をしてみな。
後、即興で思い付いたことの証明を描くことも多い。
52:１３２人目の素数さん
20/12/13 16:44:47.70 kIIiK0v1.net
>>39
私にはガロア理論の本を何冊も持つという発想はないな。
瀬田君は Youtube なんかでガロア理論をお勉強しているのか。
53:１３２人目の素数さん
20/12/13 16:53:22.38 kIIiK0v1.net
>>35
>>50の一番下の行の訂正：証明を描く → 証明を書く
ま、紙に書くときは>>50のように、そこまで細かい書き方はしないけど。
54:１３２人目の素数さん
20/12/13 16:55:36.51 hbHQHgSE.net
>>50
ID:kIIiK0v1
どこの誰だか存じませんが、自分でスレ立てて
55:１３２人目の素数さん
20/12/13 16:59:18.22 hbHQHgSE.net
>>50
>即興で思い付いたことの証明を書く
いきなりブラウザに書くのは一番ダメな奴
まず全部テキストエディタで書いて三遍は読み返す
その上で書き込む これ常識な
56:１３２人目の素数さん
20/12/13 17:00:56.39 kIIiK0v1.net
>>40
>タイポや、正誤表があとから発行されることもあるしね
正誤表を頼りにし過ぎるのは問題だな。
まあ、中には1人で訂正出来ないような間違いがあることもあるけど。
57:１３２人目の素数さん
20/12/13 17:05:26.05 kIIiK0v1.net
>>53
空気を読めれば、>>50の文脈から誰かが分かると思うが、おっちゃんだよ。
58:１３２人目の素数さん
20/12/13 17:09:06.80 hbHQHgSE.net
>>56
＞おっちゃんだよ。
中年男性ってことですか？
＞空気を読めれば
空気は吸うものです
59:１３２人目の素数さん
20/12/13 17:13:04.65 hbHQHgSE.net
名前欄に「哀れな素人」とか「現代数学の系譜 雑談」とか書けば
それが名前だと認められる
名前欄に何も書かず、本文でおっちゃんですとか書かれても
「ああ、ただの中年男性か」としか思わない
個人としての人格を認めてほしいのなら名前欄に名前をかくべし
しかし個人的意見としてはそういう馬鹿なことはやめたほうがいい
特に間違いだらけのクソカキコしかできない素人の場合は
恥かくだけでいいこと一つもないから
60:１３２人目の素数さん
20/12/13 17:13:57.77 kIIiK0v1.net
>>57
おっちゃんです。
KY (その場の雰囲気が分からない、転じて空気が読めないことの略)という用語を聞いたことないのか？
61:１３２人目の素数さん
20/12/13 17:17:12.80 hbHQHgSE.net
>>59
もう中年男性という紹介はいいよ いくつだかしりませんが
KY？ああ、しってますよ KY活動でしょ
危険予知の頭文字ですね あなた現場作業の労働者？大変ですね
62:１３２人目の素数さん
20/12/13 17:18:15.38 kIIiK0v1.net
>>58
余計な固定ハンドルネームは作らない主義。
まあ、中年に差し掛かる年頃の年代といえばそれでいいのかも知れない。
63:１３２人目の素数さん
20/12/13 17:20:41.99 hbHQHgSE.net
>>61
＞余計な固定ハンドルネームは作らない主義。
いいこころがけです
ついでに
・年齢がわかる書き込みもしない
・出身学校がわかる書き込みもしない
という主義も徹底させましょうね
64:１３２人目の素数さん
20/12/13 17:22:43.75 kIIiK0v1.net
>>60
>KY？ああ、しってますよ KY活動でしょ
>危険予知の頭文字ですね あなた現場作業の労働者？大変ですね
思い込みが激しいな。それとも本当に知らないのか。
65:１３２人目の素数さん
20/12/13 17:24:45.70 hbHQHgSE.net
>>63
え？KY活動を知らない？それでも社会人ですか？ｗ
URLﾘﾝｸ(blog.mcdata.plus)
66:１３２人目の素数さん
20/12/13 17:27:49.27 kIIiK0v1.net
>>64
工学部卒ではなく、その種の職業の免許も持っていない。
67:１３２人目の素数さん
20/12/13 17:35:14.05 hbHQHgSE.net
>>65
仕事何してんの？
68:１３２人目の素数さん
20/12/13 17:38:46.55 kIIiK0v1.net
>>67
それは伝えない。
69:１３２人目の素数さん
20/12/13 17:40:29.06 kIIiK0v1.net
レス先を間違えた。
>>66
それは伝えない。
70:１３２人目の素数さん
20/12/13 17:42:22.68 hbHQHgSE.net
>>67
仕事してないの？もしかして障害者？
71:１３２人目の素数さん
20/12/13 17:52:54.78 kIIiK0v1.net
>>69
仕事、仕事と下らん話は止めてくれ。
人生何とかなる。
じゃ、寝る・
72:１３２人目の素数さん
20/12/13 17:56:05.47 kIIiK0v1.net
あれ？ >>70の最後では奇妙な打ち間違いをしたな。
じゃ、寝る。
73:１３２人目の素数さん
20/12/13 18:02:35.76 zkEDAmbd.net
早期定年退職…いや、免職？解雇か？
徳島大学での講義に向かう電車の中で女性の尻を触り筑波大学数学准教授を解雇された増田哲也と言い
猿石と言いスケベぶりも年齢も近いのう
74:１３２人目の素数さん
20/12/13 19:16:44.00 hbHQHgSE.net
>>72
心身の不調で休職退職、じゃないかと
75:粋蕎
20/12/13 19:37:39.87 zkEDAmbd.net
やはり珍々の不調か、猿石らしい
76:１３２人目の素数さん
20/12/13 19:48:48.84 hbHQHgSE.net
心身と珍々 似ている・・・
わけなかろうが！ダラズがぁ！！！
77:現代数学の系譜 雑談
20/12/13 20:05:24.65 HcEKuJwa.net
>>43 誤変換訂正
下記の既述と合いませんぜ、旦那さん（＾＾；
↓
下記の記述と合いませんぜ、旦那さん（＾＾；
78:１３２人目の素数さん
20/12/13 20:09:02.01 hbHQHgSE.net
>>76
あ、🐎🦌が出てきたｗ
79:現代数学の系譜 雑談
20/12/13 20:11:43.76 HcEKuJwa.net
>>50
あらあら
いらっしゃい
おっちゃんか！
お元気そうで何よりだ
元気そうなカキコを見られてうれしいね
>>２．おっちゃんの証明と同じで、真面目に読んで行くと、いろんなところにタイポや勘違いがある。
ああ、出しに使って悪かった
失礼しました ｍ（＿＿）ｍ
80:１３２人目の素数さん
20/12/13 20:14:07.83 hbHQHgSE.net
雑談君の主張は、無職中年の疑似証明と同じく、いたるところに勘違いがある
81:現代数学の系譜 雑談
20/12/13 20:19:48.70 HcEKuJwa.net
>>47
>Hが正規部分群でなければ、G/Hは群ではない が
ようやく気付いたか？
下記引用
”いつまにが写像が
群準同型
Φ：G→σ（G/H）
になってしまった”
がダメだろ
純粋・応用数学(含むガロア理論)5
ｽﾚﾘﾝｸ(math板:986番)
>龍孫江氏のYoutube動画の証明では、Hは正規部分群でないのに、Hに正規部分群Nが含まれるという証明でしょ？
82:> スレが終わりそうなので その前に書いておくが 龍孫江氏のYoutube動画の証明で、後半（8分あたり）がだめだな 一般の部分群H（非正規部分群）だったのに そこから、写像を作る そして、いつまにが写像が 群準同型 Φ：G→σ（G/H） になってしまった Hが、正規部分群なら、商群G/Hを作るのは問題ないけど そうでないなら、この部分は根本的におかしいよね（下記） （なお、別の論法として既述のように{e}を使うのは可だが、{e}を使うと、Gが無限群のとき{e}に対する指数は有限にはならない） https://ja.wikipedia.org/wiki/%E5%95%86%E7%BE%A4 商群 群の商において、単位元の同値類はつねにもとの群の正規部分群であり、他の同値類たちはちょうどその正規部分群の剰余類たちである。得られる商は G/N と書かれる、ただし G はもとの群で N は正規部分群である。（これは「G mod N（ジーモッドエヌ）」と読まれる。"mod" は modulo の略である。） 商群の重要性の多くはその準同型との関係に由来する。第一同型定理は任意の群 G の準同型による像はつねに G のある商と同型であると述べている。具体的には、準同型 φ: G → H による G の像は G/ker(φ) と同型である、ただし ker(φ) は φ の核 を表す。
83:１３２人目の素数さん
20/12/13 20:24:37.08 hbHQHgSE.net
>>80
雑談君 目見えてる？
G/H じゃないよ
σ(G/H)だよ
σ 読める？
ギリシャ文字の”シグマ”だよ
σ(S)で、Sの元の置換全体からなる群を表すんだが 知ってたか？
どうせ知らなかったんだろ？ あんた、ほんと文章読めない🐎🦌だよな
ギャハハハハハハ
84:１３２人目の素数さん
20/12/13 20:27:36.96 hbHQHgSE.net
ま、>>47を理解できるまで読み直せ
雑談君が正しい可能性？ 万に一つどころか、奥に一つ、兆に一つもないｗ
85:１３２人目の素数さん
20/12/13 20:35:36.50 hbHQHgSE.net
47の要点を繰り返そう
Gの部分群Hに対して、左剰余群全体の集合G/Hは存在する
そして写像G×G/H→G/H：(a,bH)→abH は存在する
（※ aH・bH→abH ではないことに注意！）
つまりGによって、集合G/Hの中の置換が生成できる
そして、恒等置換になるようなGの元を集めれば
そいつが正規部分群Nになるという寸法
86:現代数学の系譜 雑談
20/12/13 20:36:25.77 HcEKuJwa.net
>>47
>そして、恒等置換になるようなGの元を集めれば
>そいつが正規部分群Nになるという寸法
Ｇが単純群なら、正規部分群は、自明な部分群、つまりＧ自身と｛e｝のみ
有限群論では、普通は自明な正規部分群｛e｝を除外して論じることが多い
いまの場合、｛e｝を下記の「Ｈは指数有限の正規部分群を包むことを示せ」の解として認めると
任意の部分群Ｈには、単位元 e ∈Ｈが存在するから、下記の命題は自明になるが
もし、｛e｝を下記の「Ｈは指数有限の正規部分群を包むことを示せ」の解として認めないならば
Ｇが有限単純群なら、下記命題は不成立になる
さらに、無限群を考える
同様に、｛e｝を下記の「Ｈは指数有限の正規部分群を包むことを示せ」の解として認めると
任意の部分群Ｈには、単位元 e ∈Ｈが存在するが、「指数有限」の正規部分群にはならない
無限群の場合には、「指数有限」の正規部分群は、無限群でなければならない
上記”恒等置換になるようなGの元を集めれば
そいつが正規部分群N”とできるとしても、それが「無限群」にできるという証明が無ければ、「指数有限」は言えないぜ。龍孫江氏の証明にはそれは完全に欠落している
前スレより
ｽﾚﾘﾝｸ(math板:947番)
龍孫江氏のYoutube動画
解説テキスト版：URLﾘﾝｸ(note.mu)
”Ｇが群、ＨがＧの指数有限の部分群ならば、Ｈは指数有限の正規部分群を包むことを示せ．”
87:現代数学の系譜 雑談
20/12/13 20:46:54.94 HcEKuJwa.net
>>84
補足
結局、龍孫江氏のYoutube動画は、何にも証明していない
部分群Ｈから出発して、いつのまにか、
群準同型
Φ：G→σ（G/H）
となった
部分群Ｈは、非正規部分群なのに「群準同型」？
それはおかしいよね
何にも証明していないよね
繰返すが、自明な正規部分群{e}を使うと、
・有限群Ｇでは、”Ｇが群、ＨがＧの指数有限の部分群ならば、Ｈは指数有限の正規部分群を包むことを示せ．”は自明に成立（既述の通り）
・しかし、無限群Ｇでは、自明な正規部分群{e}は”指数有限”を満たさない。この場合の、”指数有限”な（つまり無限群としての）正規部分群Ｎ≠{e} なるＮの存在は、全く示せていない
88:１３２人目の素数さん
20/12/13 20:47:09.44 hbHQHgSE.net
>>84
>Ｇが単純群なら、正規部分群は、自明な部分群、つまりＧ自身と｛e｝のみ
>いまの場合、｛e｝を下記の
>「Ｈは指数有限の正規部分群を包むことを示せ」
>の解として認めると 任意の部分群Ｈには、
>単位元 e ∈Ｈが存在するから、下記の命題は自明になるが
Ｇが単純群なら、そうなる
で、何がおかしい？何もおかしくないが
あんた、頭オカシイのか？
>もし、｛e｝を下記の
>「Ｈは指数有限の正規部分群を包むことを示せ」
>の解として認めないならば
🐎🦌？
>Ｇが有限単純群なら、下記命題は不成立になる
🐎🦌の「ボクちゃんルール」は却下ね（嘲）
>さらに、無限群を考える
>同様に、｛e｝を下記の「Ｈは指数有限の正規部分群を包むことを示せ」の解として認めると
>任意の部分群Ｈには、単位元 e ∈Ｈが存在するが、「指数有限」の正規部分群にはならない
ああ、🐎🦌でもわかったか(嘲)
>無限群の場合には、「指数有限」の正規部分群は、無限群でなければならない
いや、無限単純群ならもっと強い主張が言える
「1より大きい有限の指数を持つ部分群は存在しない」
つまり指数有限ならG自身になる
あんたさぁ、頭は限界ギリギリまで使えよ！
89:１３２人目の素数さん
20/12/13 21:21:35.99 n0NRdpi0
90:.net
91:１３２人目の素数さん
20/12/13 21:33:26.12 lKYEUf04.net
正規部分群も分からないバカだからね
92:現代数学の系譜 雑談
20/12/13 23:06:27.53 HcEKuJwa.net
>>83&>>47
おっさん、何にも分かってない
まあ、初学者もいるかも知れないので、下記を
下記と、おっさんの>>83&>>47を対比すれば、
このおっさんのダメダメさが分かるだろうさ
（参考）（文字化けご容赦、原文ご参照）
URLﾘﾝｸ(hooktail.sub.jp)
URLﾘﾝｸ(hooktail.sub.jp)
商群 代数学 物理のかぎしっぽ Joh ＠ 2006
(抜粋)
正規部分群の演算
群 G と，その正規部分群 H を考えます．H の，G における剰余類を全て集めた集合 M (つまり M
の元のひとつひとつは G の剰余類) において，二つの剰余類の間に，次のような二項演算を定義します．
(aH)(bH) → abH (1)
この演算が確かに一意的だという証明に，H が正規部分群だという点が効いてきます．aH に属する任意
の元 ah1 と，bH に属する任意の元 bh2 の間には，次の演算が成り立つことが示せるでしょう．途中で，
積の順番を自由に入れ替えているのは，H が正規部分群だからです．
ah1bh2 = ah1b(aa?1)h2
= ah1a?1abh2
= (ah1a?1)h2ab
ここで，定義より ah1a?1 ∈ H ですから，これに h2 を掛けた ah1a?1h2 も H の元です ( H は部分群な
ので，演算について閉じているはずだからです)．従って，全体で (ah1a?1)h2ab は abH に属していると
言えます．確かに，(1) 式の二項演算が定義されることが分かりました．
まとめ
正規部分群 H には，次の演算規則が導入できます．可換だという点が重要です．
1. aHbH = abH
2. aHa?1H = H
3. (aHbH)cH = abHcH = abcH
商群
群 G の一つの正規部分群を H とします．このとき，G の H に対する商集合 (つまり，H による剰余
類全体の作る集合．商集合については，完全代表系と商集合 を復習して下さい．) を 商群，もしくは 因
子群，剰余群 などと呼びます．記号は商集合と同じで G/H のように書きます．
G/H = {H, a1H, a2H, ...}
一般の商集合は群にはなりませんが，H が正規部分群ならば G/H が群になるという点が大事です．前節
で示したのは，G/H の元同士の演算が閉じている，ということだったのです．単位元 ( H ) や，逆元 (
aH に対して a?1H ) もありますから，確かに G/H は群です．
93:現代数学の系譜 雑談
20/12/13 23:26:29.86 HcEKuJwa.net
>>84-85
補足
命題
”Ｇが群、ＨがＧの指数有限の部分群ならば、Ｈは指数有限の正規部分群を包むことを示せ．”
くどいが、再度場合分けしておく
１．Ｇが有限群の場合、正規部分群として自明な{e}を使えるならば、任意の部分群は単位元eを含むから、自明な正規部分群{e}を含み指数有限で、命題は自明に成立
２．Ｇが無限群の場合、Ｈ自身が指数有限の正規部分群だとして、「含む」（原文”包む”）に、Ｈ自身を使えるなら、この場合も命題は自明に成立
３．Ｇが無限群の場合で、Ｈは非正規部分群だとして、指数有限（つまり位数は無限）のとき、指数有限の正規部分群Ｎ（とする）を含むか？ このとき当然Ｎの位数は無限
冒頭の命題の本質部分は、上記の３だ （自明な正規部分群{e}では、指数有限にならない）
３の場合がきちんと立証できていない＊）龍孫江氏のYoutube動画（>>84）は、証明になっていない
（注＊）特に、Ｎの位数が無限であることが、立証できていない）
（なお問題点は、>>84＆>>80にも書いた）
94:粋蕎
20/12/14 05:21:34.93 7sgm+8ie.net
おいおい…。何で非学者が初学者に対して上から目線なんじゃか…｡
こんなん玉石混淆と違う、味噌も糞も一緒じゃ!!
95:１３２人目の素数さん
20/12/14 06:14:58.79 2VYEZqKZ.net
>>90
＞３．Ｇが無限群の場合で、Ｈは非正規部分群だとして、
＞指数有限（つまり位数は無限）のとき、
＞指数有限の正規部分群Ｎ（とする）を含むか？
🐎🦌は、Ｇが単純群だと矛盾する、と思い込んでるらしいｗ
「Ｇが無限単純群でＨが有限指数ｎ＞１の非正規部分群を持てば
指数有限の正規部分群Ｎを持つが、これはＧでも{e}でもないから矛盾」
「」内は正しい
し・か・し、それは単に
「Ｇが無限単純群ならば有限指数ｎ＞１の非正規部分群を持たない」
というだけのことである
＞３の場合がきちんと立証できていない
できている 🐎🦌が証明を正しく読めてないだけｗ
＞特に、Ｎの位数が無限であることが、立証できていない
🐎🦌ｗｗｗｗｗｗｗ
「Ｎの位数が無限」というのは
Ｇの位数が無限、かつ、（Ｇに対する）Ｎの指数が有限
という２点から導かれるのであって、順序が逆
アタマわりぃなｗ
96:１３２人目の素数さん
20/12/14 06:30:50.74 2VYEZqKZ.net
>>89
＞おっさん、何にも分かってない
分かってないのは、雑談君、君だよ、キ・ミ
＞下記と、おっさんの>>83&>>47を対比すれば、
＞このおっさんのダメダメさが分かるだろうさ
（抜粋）
＞(aH)(bH) → abH (1)
＞この演算が確かに一意的だという証明に，
＞H が正規部分群だという点が効いてきます．
要は
「Ｈが正規部分群でなければ（１）の演算は定義できなぁぁぁぁぁい」
とわめいてるんだろうｗ
し・か・し、そんな演算は必要なぁぁぁぁぁいｗ
a(bH)→(abH) (2)
(1)と(2)の違い、わかるかな？
(1)は、２つのG/Hの要素から、G/Hへの写像
(2)は、GとG/Hの要素から、G/Hへの写像
つまり(2)では
「a、a’∈Gが、同じaHに入っているにも関わらず
abHとa'bHが異なる剰余類となる」
という場合も写像として意味を持つのであぁぁぁぁぁる！
そして、証明しようとする定理は
「任意のbH∈(G/H)について、abH=bHとなるa∈G全体の集合Nは
Hに含まれるGの正規部分群となる」
といってるのであぁぁぁぁぁる！
（注：もしHが正規部分群なら、N＝Hとなることは明らか）
あああ、あほクサ（尾野真千子演じる、「カーネーション」の小原糸子の声で）
97:１３２人目の素数さん
20/12/14 06:39:03.00 2VYEZqKZ.net
>>87
>群論の入門書の最初の3分の1に書かれてるような内容で
>ここまで長文でやり取りできるのも凄いな
すみません、ホントにｗ
まったく、どれもこれも、群論の初歩ですよねぇ
数学科卒業生なら「こんなん常識だろ」って話ばっかり
でも（よほど賢いヤツでない限り）そう思うのは、
一度は「噛んで含めるような説明」を受けたからだと
思ってるんですがいかがですか？
（もし、あなたが御三家や国立大付属からT大に入って
数学科やら大学院やらを出た秀才君なら、
「いや、群論の本読んだら初めの１／２は自明なことばっかで
すっげぇ退屈だったよ、アハハハハ」
っていうんなら話は別ですが・・・
つーかそんな奴はここ読むなｗ
・・・じゃないやなんか面白いネタぶっこんでくれ、頼む（懇願））
98:ID:1lEWVa2s
20/12/14 14:30:36.58 OHVV0ieO.net
任務完了。
99:ID:1lEWVa2s
20/12/15 16:26:56.15 UkKbAeL7.net
何を言おうが素数の式を出せなければそこまでというわけだ。
そんな私は過ちを犯していることに若干気付いているが。
優しい数学なんてないことを中卒で経験して厳しい世界に足を突っ込んだら洗えないことになってしまった。
もはや引き返せない。
100:ID:1lEWVa2s
20/12/15 16:27:54.85 UkKbAeL7.net
自分用のクリスマス用のぬいぐるみ買えた。
101:ID:1lEWVa2s
20/12/15 16:28:11.04 UkKbAeL7.net
>>97
これが任務完了の意味。
102:ID:1lEWVa2s
20/12/15 22:29:45.82 eOOZHeCw
103:.net
104:粋蕎
20/12/15 23:24:41.05 fjo7Esyx.net
アメリカ、イギリス、中国、ロシア、全部鬼畜
105:１３２人目の素数さん
20/12/16 05:10:06.46 Wq4YCLiQ.net
>>99-100
まるで日本は鬼畜でないかのごとき言い草ｗ
そもそも人間が鬼畜なのだから仕方ない
物は盗む 女は犯す 人は殺す
それが動物としての人間の本性
106:ID:1lEWVa2s
20/12/16 07:20:45.67 RybWT1vj.net
>>101
ぼけぇ。
107:粋蕎
20/12/16 07:30:28.66 Ne+lNEwk.net
>>101
日本は修羅、白旗挙げた敵兵は助命捕虜と考えず安楽死と考えていた隊が少なくない｡
朝鮮オリジナル兵器と言えば糞砲（大便投射）、黄汁（糞尿熟成1年物放射）である｡
韓国人「侍<ｻﾑﾗｲ>はサムラビ(つい最近発祥の韓国語)が起源ニダ！」
時間逆行でもしたんか奴等は？
108:１３２人目の素数さん
20/12/16 08:05:51.88 Wq4YCLiQ.net
>>102-103
外来種
URLﾘﾝｸ(ja.wikipedia.org)
外来種（がいらいしゅ）とは、もともとその地域にいなかったのに、
人為的に他の地域から入ってきた生物のこと。
アレロパシーが強い植物など、その一部は生態系や経済に重大な影響を与えることがあり、
環境問題のひとつとして扱われる。
実は人類はアフリカ原産であるから
アフリカ以外の地域では立派な外来種であるが
誰もこのことを語ろうとすらしない
地球における一番の環境問題は・・・人類の繁殖による環境の激変
109:ID:1lEWVa2s
20/12/18 07:58:38.67 +Z0WfIti.net
やったぁ!先生解けました!おそらくですが。けんさん時間かけてします。
110:ID:1lEWVa2s
20/12/18 08:26:14.60 9TUDj8Nu.net
おしかった。
111:１３２人目の素数さん
20/12/18 10:11:31.11 Xybz4Ff+.net
>>105
ID:1lEWVa2sさん、どうも
ご苦労様です
年末で忙しく、あまりお相手できませんがよろしく
112:現代数学の系譜 雑談
20/12/18 10:12:12.30 Xybz4Ff+.net
失礼、コテ抜けたな
113:ID:1lEWVa2s
20/12/18 10:29:28.75 E7GKxUI/.net
>>107
>>108
はい。
114:ID:1lEWVa2s
20/12/18 10:39:34.80 XFSTpj72.net
√((4a-b’2)/12) ±b/2 r -.。
=a*b
if ab=432
√((4a-b’2)/12) -b/2=n’2
⇒
A’3-t’2=432 ψ。
or
((432/e)+e)/2=A’3
⇒
A’3-t’2=432 ψ。add。
115:ID:1lEWVa2s
20/12/18 10:40:36.27 XFSTpj72.net
Δ。
116:ID:1lEWVa2s
20/12/18 10:49:52.64 XFSTpj72.net
代数的論理回路と可能性の排除によるフェルマーの最終定理のn=3の解の有無の決定法。
117:ID:1lEWVa2s
20/12/18 10:51:28.42 XFSTpj72.net
今日は任務がある。さいなら。
118:ID:1lEWVa2s
20/12/18 10:56:05.78 c7IRhq+T.net
訂正。
(√((4a-b’2)/12) ±b/2)’3 r -.。
=a*b
if ab=432
√((4a-b’2)/12) -b/2=n’2
⇒
A’3-t’2=432 ψ。
or
((432/e)+e)/2=A’3
⇒
A’3-t’2=432 ψ。add。
119:ID:1lEWVa2s
20/12/18 11:44:02.02 DQWeSg9/.net
>>114
これ以上進められない上
前提の式も忘れかけている
加えて途中式の紙を探す気はしない。
まさに数の暴力である。
120:ID:1lEWVa2s
20/12/19 08:58:21.79 D+NZ8GIR.net
>>114
もし
A’3-t’2=ab
なる型が存在し
対称
121:性を持つのならば。 a=√ b=√ である。 故 432/e=n’2 e=m’2 は存在しない故に フェルマーの最終定理n=3には解が無い。 但しaとbが互いに√ならばの話である。(条件とそれによるその予想)。
122:ID:1lEWVa2s
20/12/19 08:59:13.71 D+NZ8GIR.net
対称性とは言いたくないが恒等式の事である。
蕎麦食べてくる。さいなら。
123:ID:1lEWVa2s
20/12/19 09:39:48.38 bN5reWhN.net
>>116
逆なら又然り。
解が存在する。
124:ID:1lEWVa2s
20/12/19 12:24:34.04 p8shq9dF.net
>>116
恐らくそんな表し方は存在しない。
夢である。
125:ID:1lEWVa2s
20/12/19 12:30:00.84 p8shq9dF.net
正則性と又然り次数が合わないのである。
多変数。
多項式。
四則演算。
によっては。
√を使うしかない上。
謎も多い。
支離滅裂である。
126:現代数学の系譜 雑談
20/12/19 15:55:14.73 VsuSehd0.net
>>102
ID:1lEWVa2sさん、ご苦労様です
アホを真剣に相手にしないように
疲れますから（＾＾
127:１３２人目の素数さん
20/12/19 19:27:07.23 4b7NgT9S.net
>>121
ｽﾚﾘﾝｸ(math板:13番)-20
128:現代数学の系譜 雑談
20/12/20 11:26:38.75 0d7Jh6jb.net
ガロアの第一論文が、日本の高尾山くらいとすれば
望月IUTは、エベレスト級だろうか
間違いなく21世紀の数学の最前線は、エベレスト級
そんな最前線にいくのに、高尾山と同じ感覚ではやれない
エベレスト級なら、途中までは乗り物で行って、そこからキャンプ作って、道具や酸素ボンベも用意して、複数人で登頂を試みる。それが普通でしょ
もう、そういう時代だろう。20代前半、学部くらいまでは、高尾山や もう少し高い山で、体力作りも兼ねて、基礎的訓練として証明を読むのもありだろうが、21世紀の数学最前線に立つには、その方法ではムリではないか？
エベレスト登山と似た方法を考えないと
最前線に立つまでに、数学者人生が終わってしまうよ
エベレストに、麓から徒歩で登る人はいない
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
エベレスト
登山
登山ツアー（商業公募隊）が多数あり、2015年現在、ネパールからの通常ルートの場合、入山料などのすべての諸経費込みで3万5,000 - 8万5,000ドル程度となっている[38]。ネパールからの通常ルートは、シーズンごとに各隊のシェルパが固定ロープ、はしごを設置し、それに沿って登山する形となり、氷壁などを登る必要などはない。
田部井淳子も、現地ネパール人の助けがあって登頂に成功したが、今では助けを得られるかはお金次第であると述べ、登山の過度の商業化を危惧した[43]。
トレッキング
上記のようにエベレストの山頂へと登ることは熟練の登山家でも危険をともなうが、一方で南麓であるネパール側の6,000メートル以下のエベレストの山腹まではそれほどの難所もなく、高山病対策さえあれば一般の観光客でもトレッキングを楽しむことは可能であり、世界中から多くの観光客が訪れる。日本でもいくつかの旅行社がエベレスト・トレッキングツアーを催行しており、参加者も多い。また単独で、または登山ガイドをつけての個人トレッキングも可能である。
129:１３２人目の素数さん
20/12/20 11:35:10.64 8kDxKeWQ.net
>>123
＞ガロアの第一論文が、日本の高尾山くらいとすれば
そういうのは、ガロア理論の基本定理を理解してから書かないと恥ず
130:かしいよｗ
131:現代数学の系譜 雑談
20/12/20 11:36:40.68 0d7Jh6jb.net
まあ、年明けかな
132:１３２人目の素数さん
20/12/20 11:38:39.94 8kDxKeWQ.net
だいたい、雑談君は解釈がオカシイんだよな
まず、エベレストはIUTではなくABC予想だよな
で、もしそうなら、そもそも素人のあんたには無理だよな
だからさあ、なんかえらそうに数学語るなよ
ガロア理論の基本定理どころか、正則行列の条件も知らんとか
「大阪の天保山にも上ったことない」レベルだぞｗ
133:１３２人目の素数さん
20/12/20 11:47:10.78 8kDxKeWQ.net
>>125
雑談野郎が年明けからやること
１．ガロア理論の本を頭からきっちり読む
まあ、決意は認めるが、たぶん、読み通せない
２．線型代数の本を頭からきっちり読む
これは今すぐでもやれｗ
理工系の連中は皆やってるから、できないとオカシイ
（とあおってみるが、実際は大体わかってない）
３．固定ＨＮ＆トリップを止める
できたら褒めてやる
しかし、ボクちゃん天才ぃぃぃぃぃっていいたいためだけに
この板に書き続けてる万年三歳児のこいつにできるわけがないｗ
４．固定ＨＮから「現代数学の系譜」を削除する
ま、せいぜいこの程度か
別に「雑談」とかいうＨＮなら、いくらオオボケかましてもかまわん
まさに雑談だからなｗｗｗｗｗｗｗ
134:現代数学の系譜 雑談
20/12/20 11:48:18.71 0d7Jh6jb.net
いまや、
ABCは、IUTの一つの系にすぎない
フェルマー予想は、ABCの一つの系にすぎない
135:１３２人目の素数さん
20/12/20 11:56:32.20 8kDxKeWQ.net
>>128
やっぱ全然わかってねぇわ
IUTは定理じゃないぞ
Cor3.12も唯の予想
Cor3.12からABCやらフェルマーやらが言えたとしても
そもそも矛盾すら導かれる最強っぷりなら自爆行為ｗ
136:１３２人目の素数さん
20/12/20 12:06:54.92 8kDxKeWQ.net
雑談君は
１．そもそもテータ関数が全然分かってない
２．だいたいガロア理論の基本定理が全然分かってない
３．驚きなのは工学部卒のくせに正則行列も行列式も知らない
ま、１、２、は許せるけど、３は理系としては致命的だな
オレの同期の大阪大工学部卒にこの話をしたら
「うそだろ・・・そんな話、信じたくない」
といって、頭かかえてたぞ 気持ちはわかる
もし、ワセダ大学卒で同じボケかますヤツがいたら
とっつかまえて焼き●すからｗ
137:現代数学の系譜 雑談
20/12/20 12:36:22.28 0d7Jh6jb.net
戻る
"昔々、多分１９６０年ころの東大の院試問題で
「群が指数有限の部分群を含めば、指数有限の正規部分群を含む」
ってのが出た"
龍孫江氏のYoutube動画 URLﾘﾝｸ(www.youtube.com)
解説テキスト版：URLﾘﾝｸ(note.mu)
この解説テキスト版より
「問題：指数有限の正規部分群は存在するか」
「問題：令和元年5月13日」
”Ｇが群、ＨがＧの指数有限の部分群ならば、Ｈは指数有限の正規部分群を包むことを示せ．”
(引用終り) （注：”包む”は、普通は”含む”だと思うが）
なんか言いたいことは分かってきたけど
１．もし、Gを有限群として、この場合部分群をHとして、Hの指数は常に有限だ
２．Gを有限単純群にとると、Hに含まれる真の正規部分群は、単位元のみから成る自明な正規部分群{e}になる
３．正規部分群{e}を許すならば、Gを有限群とした場合は、命題は自明
４．Gが無限群のときが、命題の本質部分。このとき、{e}では指数有限にならない。正規部分をNとして、Nは無限群でなければ、指数有限にならない
５．Gが部分群として、アーベル（可換）なら、部分群は全て正規部分群になるので、この場合も自明
６．従って、命題の本質部分は、
「Gが非可換の無限群で、真部分群をHを含むとき、Hは非正規部分群として、Hが正規部分群Nを含み、Nは無限群でGに対して指数有限」ってことだな
７．龍孫江氏のYoutube動画では、特に「Nは無限群でGに対して指数有限」のところが、きちんと言えていないと思うよ
いままで、有限群や、N、Z、Q、R、Cなどアーベルの場合が多かったから、Gが非可換の無限群の場合�
138:ﾍ馴染みが無かったけど 面白いね
139:１３２人目の素数さん
20/12/20 14:42:56.15 8kDxKeWQ.net
>>131
>なんか言いたいことは分かってきたけど
本当に分かってきたか？
１．～４．は良いとしよう
>５．Gが部分群として、アーベル（可換）なら、
これ、「Gが、アーベル（可換）群なら、」の書き間違いだろ
さて、本題
>６．従って、命題の本質部分は、
> 「Gが非可換の無限群で、真部分群Hを含むとき、
> Hは非正規部分群として、Hが正規部分群Nを含み、
> Nは無限群でGに対して指数有限」
> ってことだな
全く違うぞ、雑談🐎🦌
どこがどう違うかわかるか？
ん？わ・か・る・か？
わかるというなら、直してみろ！
>７．龍孫江氏のYoutube動画では、特に
>「Nは無限群でGに対して指数有限」
>のところが、きちんと言えていないと思うよ
雑談🐎🦌 おまえがきちんと証明を理解できてないだけ
「指数有限」だと示すのに、無限群であることを示す必要はない
逆に、「指数有限」であることが言えれば、
Gが無限群なら、正規部分群Nも無限群になる
な・ぜ・か・わ・か・る・か？
140:１３２人目の素数さん
20/12/20 14:49:12.31 8kDxKeWQ.net
>>132の６．の「」内の誤りのヒント
「」内を3行に分けて書く
「Gが非可換の無限群で、真部分群Hを含むとき、
Hは非正規部分群として、Hが正規部分群Nを含み、
Nは無限群でGに対して指数有限」
１行目：Hに対する決定的な条件が欠けている
２行目：要らない条件がある
３行目：順序が逆 正しくは「NはGに対して指数有限（したがって無限群）」
さあ
１行目で欠けた条件とは何か？
２行目で要らない条件とは何か？
しかし、ほんと、文章読解力がないな
おまえ、どこの高校卒業したんだよ 大阪だとしたら北野じゃねえなｗ
141:１３２人目の素数さん
20/12/20 15:01:01.88 8kDxKeWQ.net
ヒントその２
無限交代群は単純群だ
しかしそもそもの問い
「群が指数有限の部分群を含めば、
指数有限の正規部分群を含む」
とは矛盾しない
な・ぜ・か・わ・か・る・か？
142:１３２人目の素数さん
20/12/20 16:16:57.76 8kDxKeWQ.net
>>131
>いままで、有限群や、N、Z、Q、R、Cなどアーベルの場合が多かったから、
>Gが非可換の無限群の場合は馴染みが無かったけど
雑談、おまえ、ホントに工学部卒か？
一般線型群、特殊線型群、回転群、ユニタリ群・・・
全部非可換の無限群だろ
>面白いね
根本的に分かってないヤツが
こんなセリフを口にしても
苦笑するしかない
おまえ、自分が賢いと思ってる？
だったらはっきりいってやるけど
お前は正真正銘の🐎🦌野郎だよ
国語もできないヤツに数学が分かるかよｗ
143:粋蕎
20/12/20 19:49:56.60 WzlczpOg.net
つまり瀬田氏は行列にもベクトルにも馴染みが無かった、と｡
どこの大学を卒業して此れ？
144:１３２人目の素数さん
20/12/20 21:37:44.94 7iVmoJwS.net
セタンコは大学一年の数学ですでに挫折した口だな。
だから、行列も碌に知らない。
145:１３２人目の素数さん
20/12/20 21:41:15.77 7iVmoJwS.net
IUTって元は遠アーベル幾何から発展した話で
遠アーベル幾何ってのはその名の通り、（巨大な）
非アーベル無限群の作用を考える。
そんなことも知らないでIUTを応援してるのか。
146:１３２人目の素数さん
20/12/20 21:50:57.97 7iVmoJwS.net
>>131
>７．龍孫江氏のYoutube動画では、特に「Nは無限群でGに対して指数有限」のところが、きちんと言えていないと思うよ
セタの無理解だな。
準同型写像Φの像が有限対称群に含まれているのだから
[G:kerΦ(=N)]=[Im G:{e}]=|Im G|
で、これは当然有限。[G:H]=nとおくと、その対称群はS_nだから
[G:N]=|Im G|≦n! という評価まで得られる。
セタはおそらく準同型写像がよく分かっていない。
龍孫江氏は準同型写像の性質を前提にして喋っている。
147:１３２人目の素数さん
20/12/20 22:01:22.04 7iVmoJwS.net
訂正>>139
Im G じゃなくて、ImΦまたはΦ(G)ね。
148:現代数学の系譜 雑談
20/12/20 22:51:36.77 0d7Jh6jb.net
>>139
それは、筋としては、正しい
私が、年明けに書こうと思っていた筋だ
では、龍孫江氏のYoutube動画で足りないところ、おかしなところは何か？
”>>131の東大院試の解答としては”だが
考えてみて
149:粋蕎
20/12/21 05:54:48.99 vkRY8uyO.net
行列にもベクトルにも馴染みが無い人間が求める『筋合い』は無いし
自らの筋を『それは、筋としては、正しい。』等と言えない。正直者のパラドクスじゃな､
『貴方は正直者か？』と問われ正直者は正直故に『私は正直者だ』と答えるが嘘吐きも嘘吐き故に『私は正直者』と答える｡
否、『筋合い』としては行列にもベクトルにもp-進数にも馴染みが無い人間のIUT評価じゃけぇ
正直者のパラドクスじゃのうて素人のプロ気取り評論か。割り算どころか掛け算も知らぬ餓鬼による
分数同士の割り算評論が如し｡
150:１３２人目の素数さん
20/12/21 06:24:06.14 vtqOdlUh.net
>>141
>私が、年明けに書こうと思っていた・・・
え？まだ自分の「誤り」に気付いてないの？
今年のボケは今年のうちに始末してねｗ
さっさと、
>>132の問題の回答を返しなよ
>>133にヒントもあるよ
Gにただの部分群Hがあるっていうだけで、
Hに含まれる”指数有限の”正規部分群Nがあるなんて
いえるわけないじゃん、🐎🦌じゃないの？
151:１３２人目の素数さん
20/12/21 11:22:12.99 eRMpoYlk.net
>>1
阪大の資源工学科卒（自称）なんだって？
152:１３２人目の素数さん
20/12/21 17:47:56.13 EK7cYo87.net
龍氏もまさか、大学一年の数学で落ちこぼれて
正則行列と正方行列の区別も付いてない
（もちろん、準同型写像も知らない）
工学部卒が、自分の証明を「不十分だ！」と
指摘してるとは夢にも思わないだろうね笑
153:１３２人目の素数さん
20/12/21 18:03:38.49 EK7cYo87.net
>>141
もう一度言うけど、剰余群G/Nは対称群Sym(G/H)の部分群
と同型が得られているのだから、[G:N]=|G/N|=有限 も
含意されてる（自動的に得られている）んだよ。
そして、セタが問題文の重要な条件を
読み落としているというのは、>>143の言うとおり。
つまり、セタが問題文を読めてないというだけで
龍氏も誰も数学科サイドは間違っていない。
100%セタが間違ってるだけｗ
154:ID:1lEWVa2s
20/12/24 08:40:15.58 CqkqcR4s.net
よし近いうちに日高にフィールズ賞とアーベル賞をあげて。
今日を日高の日にしよう。
155:ID:1lEWVa2s
20/12/24 08:42:27.81 CqkqcR4s.net
最高の日にしよう。
156:ID:1lEWVa2s
20/12/24 08:47:01.35 fxx9uTcZ.net
最高の日だから日高の日(非)。
157:ID:1lEWVa2s
20/12/24 10:03:21.79 6krCQ96c.net
日高さんほんとうに全てわかるんですね。組み合わせをばんばんだしていっててその能力の高さにびっくりします。
私は何一つできないですから。数学でもなんでも。
158:ID:1lEWVa2s
20/12/24 10:05:55.78 6krCQ96c.net
まじで凄い。
嘘だと思ってて今計算したら合ってた。
日高さんの式やばい。
159:ID:1lEWVa2s
20/12/24 10:11:42.97 WqO/t2sf.net
日高さんって数理論理学者であってシュリニバーサラマヌジャンを越えてないですか。
160:現代数学の系譜 雑談
20/12/24 12:14:29.59 STVYoLo/.net
ID:1lEWVa2sさん、ご苦労さまです
161:ID:1lEWVa2s
20/12/24 12:29:42.20 wwXRgC6x.net
もうこりごりだ。
統合失調症関係無しに日高のそれが想像できて気持ち悪い。
162:ID:1lEWVa2s
20/12/24 12:32:10.49 wwXRgC6x.net
次のお小遣いでAEONでモンスターハンターライズ予約してくる。
163:ID:1lEWVa2s
20/12/24 12:37:56.81 wwXRgC6x.net
アラド戦記を復帰しました。
1.5’9*1.3’9=407
or
1.5’9*1.3*9=449
1→0→1.5
平均 中央値1.8
example)ex
1.5*1.3=1.95
thought。
ダメージ計算式。
164:ID:1lEWVa2s
20/12/24 13:00:00.96 q9xbPciy.net
ちょっとてっぺんとってくる。
165:ID:1lEWVa2s
20/12/24 13:00:19.71 q9xbPciy.net
今96レベ。
166:ID:1lEWVa2s
20/12/25 07:53:19.52 y7k6Zrxf.net
キター(･∀･)。
167:ID:1lEWVa2s
20/12/25 07:54:52.37 y7k6Zrxf.net
どうぶつの森ジングルの写真が靴下に入ってた。(がっかり(゜◇゜)ガーン)。
168:現代数学の系譜 雑談
20/12/25 10:08:24.32 6ygFzPcq
169:.net
170:粋蕎
20/12/26 12:01:36.63 Yu/RdX63.net
Archimedesの公理否定0.999…≠1系支持派のジレンマ
1 1/3 √2 e π
ε=(:最小超限順序数ωの逆数)
1=0.999…+ε=0.999…+0.999…*ε+ε^2=0.999…+0.999…*ε+0.999…*ε^2+ε^3=…
={Σ[k=1,ω-1]0.999…*ε^k}-ε^ω
1/3=0.333…+ε/3=0.333…+0.333…*ε+ε^2/3=0.333…+0.333…*ε+0.333…*ε^2+ε^3/3=…
={Σ[k=1,ω-1]0.333…*ε^k}-ε^ω/3
√2=1.414…+√2*ε=1.414…+1.414…*ε+√2*ε^2=1.414…+1.414…*ε+1.414…*ε^2+√2*ε^3=…
={Σ[k=1,ω-1]1.414…*ε^k}-√2*ε^ω
e=2.718…+e*ε=2.718…+2.718…*ε+e*ε^2=2.718…+2.718…*ε+2.718…*ε^2+e*ε^3=…
={Σ[k=1,ω-1]2.718…*ε^k}-e*ε^ω
π=3.141…+π*ε=3.141…+3.141…*ε+π*ε^2=3.141…+3.141…*ε+3.141…*ε^2+π*ε^3=…
={Σ[k=1,ω-1]3.141…*ε^k}-π*ε^ω
結局 0.999…=1-ε と仮定しても
1=0.999…+ε=0.999…+0.999…*ε+ε^2=0.999…+0.999…*ε+0.999…*ε^2+ε^3=…=Σ[k=0,∞]{0.999…*ε^k}
と続いていくのであり、そもそもを言えば此のε累乗項を含めた総和が 0.999… であり、後続桁標示無き … の指示である｡
∴ 此の意味から言っても ε=0 である｡
既に 1/∞≠0 と定める党派方針を取ろうとも無駄である事が示され済みの為、此れ以上の深堀りは無意味｡
此の意味での ∞ 桁小数はどんなに超実数概念や超現実数概念を多重拡張しようとも最終桁が根源的かつ本質的に無い小数｡
いっその事 ∞:=|1/0| としてしまいたい所だが、演算規則が崩れるので、面倒でも逐一逐一の極限操作指定を省けない｡
171:１３２人目の素数さん
20/12/26 22:54:42.29 6vSdJXk6.net
蕎麦っち、その話はもういいよ
どうせなら正則行列の条件とその同値性について教えてやってくれ
１R)AB = E なる n 次正方行列 B が存在する
１L)BA = E なる n 次正方行列 B が存在する
２)A の階数は n である
３L)A は左基本変形のみによって単位行列に変形できる
３R)A は右基本変形のみによって単位行列に変形できる
４)一次方程式 Ax = 0 は自明な解しかもたない
５)A の行列式は 0 ではない
６C)A の列ベクトルの族は線型独立である
６R)A の行ベクトルの族は線型独立である
７)A の固有値は、どれも 0 でない
172:１３２人目の素数さん
20/12/26 23:02:58.69 6vSdJXk6.net
雑談君は
斎藤正彦「線型代数入門」
を頭から一字一句正確に読むことを勧める
それ以外に君が数学を理解する方法はない
決して斜め読みしてはいけない
特に証明をすっ飛ばすのは論外
線型代数のテキストごときでそんなサボりやるのは死に値する大罪ｗ
173:粋蕎
20/12/27 00:40:44.13 oCthruqo.net
此うして見ると、げに瀬田氏の存在意義に独自性も特異性も特筆点が無いのう｡
猿の惑星ならぬ猿石の惑星じゃったら、充分に下剤で下された後に、よぉく茹でられて蛆や筬虫の餌にされとった所じゃな｡
174:現代数学の系譜 雑談
20/12/27 08:58:08.07 dZbpfXnB.net
>>163
こらこら、蕎麦っちに、無理な要求をしなさんな（＾＾
175:１３２人目の素数さん
20/12/27 10:18:01.30 zL5BD4YR.net
>>166
雑談君、あんたにもムリ�
176:ｾろｗｗｗ 「任意の正方行列は群を成す！ 任意の正方行列に逆行列が存在する！ 余因子展開の式で計算できる！」 とドヤ顔で語っちゃうオ🐎🦌チャンだもんなｗｗｗ
177:粋蕎
20/12/27 11:29:49.16 oCthruqo.net
何でクラーメルの公式を無闇矢鱈に当て嵌めたり拡大解釈するんが限界の糞餓鬼如きが粉ぁ掛けて来よるんじゃ？ぁああ？
>>162見ても 1-0.999…:ε なる ε を仮設してみても結局 0 にしか成らん事が
未だに理解できん様な、此の、『迸る俺様流解釈』し腐る『自己恥をネット街宣し腐る人間』が｡
178:ID:1lEWVa2s
20/12/27 13:44:53.78 X3Yi4FdO.net
アイプリじゃいかんのか。
防具は血光100レベレジェンダリー揃った。
武器はカシムの大剣でるまで村正。
やはり、アイプリじゃいかんのか。水378なるぞ。
179:ID:1lEWVa2s
20/12/27 13:45:07.16 X3Yi4FdO.net
明日から仕事。
180:ID:1lEWVa2s
20/12/27 15:43:54.67 sa3s+MKO.net
カシムの大剣にアイプリがいい。どん。
181:１３２人目の素数さん
20/12/27 18:03:26.25 zL5BD4YR.net
>>168
連立方程式の解法で「クラメールの公式」とか言い出すヤツは
技術者としての仕事を全くしてないといっていいｗ
確かに解を２つの行列式の比として表せるのは美しい
しかし実際に行列式を計算すること考えたら
１つの変数で２つの行列式
ｎ個の変数でｎ＋１個の行列式
を計算するのはどう考えても無駄である
そもそも行列式を計算するのに
定義式をそのまま使うヤツは
正真正銘のidiotといっていいｗ
ちょっとでも脳みそがあるなら
行列を階段化したほうがいいことに気づく
そしてそこまでやるんなら
消去法でやればいいじゃんと気づく
逆行列の構成も同じ
余因子展開の公式をそのまま使うヤツは
アタマ全然使ってない
消去法の手続きで逆行列も構成できる
線型代数で行列のrankについて
「なんなんだ、このきったねぇ概念は」
と思うヤツがいたら、
そいつは仕事してないしする気もない
と思っていい
182:現代数学の系譜 雑談
20/12/27 20:12:40.91 dZbpfXnB.net
>>170
お仕事、ごくろうさまです（＾＾
183:１３２人目の素数さん
20/12/27 20:21:30.71 zL5BD4YR.net
>>174
雑談君は、自分が知らない言葉で検索した結果を
わけもわからず披露するオ🐎🦌芸は卒業して
そろそろ君が大学１年の４月につまづいた
線型代数の教科書を頭から読み直そうな
正則行列も理解しないまま死んだら
工学部卒としても最低最悪に惨めだよ
184:１３２人目の素数さん
20/12/28 10:40:48.65 XqiNVYTi.net
雑談のおっさんは過疎板でスレの勢いが一番になればいいだけｗ
185:現代数学の系譜 雑談
20/12/28 10:54:27.04 7uPVoZFZ.net
>>175
オツ～！
確かに、勢いが一番ってのは面白いけどな
しかし、日高氏や、安達氏とは、張り合おうとは思わない
それよか、維新のおサルさんが、日高スレや、安達スレを盛り上げている気がする今日この頃
こいつ、お山の大将になりたいんだね、数学科落ちこぼれて、場末の５ｃｈ数学板で、鳥なき里の蝙蝠よろしく、威張りたいんだ
だから、５ｃｈ過疎板でも、スレの勢いの高いスレができる
まあ、維新のおサルさん、”鳥なき里の蝙蝠”役だが、がんばれよｗ(゜ロ゜;
186:１３２人目の素数さん
20/12/28 12:22:34.07 XqiNVYTi.net
おっちゃんがお似合い
187:１３２人目の素数さん
20/12/28 12:51:34.90 8FQ+nXBZ.net
>>176
雑談君は、ガロア理論の基本定理を初歩的レベルで誤解してたのが
露見した瞬間、皆が興味を失い、人気
188:暴落ｗｗｗ 今こそ引きこもって 線型代数の初歩から勉強しなおす 絶好の機会だぞ
189:現代数学の系譜 雑談
20/12/28 13:07:21.37 7uPVoZFZ.net
>>174
>線型代数の教科書を頭から読み直そうな
法律に例えると
１）いま、ここに憲法の一つの条文がある
２）憲法学者は、「この憲法の条文の成り立ちをしっかり理解する必要がある」というだろう
しかし、法律の実務家は、「この憲法の条文が、いまの自分の持っている問題の解決に適用できるかどうか」という視点が主になるだろう
３）”成り立ち”も大事だが、過去の反例（＝適用例）などを調べるのが主になるだろう。勿論、副として”成り立ち”も知っておくのが良いが
４）要するに、憲法学者と実務家とは、立場が違う。みんな憲法学者にようなことをしていて、法律の実務家が居なくなるのは困ったこと
社会の中での役割分担だな
５）憲法学者は、憲法の成り立ちとかを、仕事の大部分の時間を当てて研究する。こういう人も絶対必要なんだよね。（多分、将来の憲法改正のときなどに備えて）
実務家は、そこはほどほどにして、「実務として、どう使うか」に、時間を掛けるべし
６）数学も同じだ。数学を研究する学者さんも必要だ
が、数学を実際に使う、実務家も必要なんだ。そういう人がいないと、”はやぶさ”プロジェクトの成功は無かったろう
（ニュートン力学、アインシュタインの相対性理論をいくら時間をかけて研究したとしても、実際の高精度軌道計算が出来る人がいないとね）
おサルさんは、社会の落ちこぼれだったんだろ？
世間が分かっていない
いまどき、行列の計算程度なら、計算ソフトあるし、エクセルでも可能だよ。逆行列の関数もある。行列式の計算だってね
あたま、古くない？
190:１３２人目の素数さん
20/12/28 13:18:46.95 XqiNVYTi.net
へりくつこけねても数学のど素人には変わりない
191:現代数学の系譜 雑談
20/12/28 13:23:57.73 7uPVoZFZ.net
>>179 タイポ訂正
４）要するに、憲法学者と実務家とは、立場が違う。みんな憲法学者にようなことをしていて、法律の実務家が居なくなるのは困ったこと
↓
４）要するに、憲法学者と実務家とは、立場が違う。みんな憲法学者のようなことをしていて、法律の実務家が居なくなるのは困ったこと
分かると思うが（＾＾
ああ、それと”零因子とか関係ない”との発言はおサルさんだったよねｗ
純粋・応用数学（含むガロア理論）3
ｽﾚﾘﾝｸ(math板:169番)
現代数学の系譜 2020/08/10
>>160
>おまえさあ、零因子とか関係ないことばっかり読んで、
「Ａが正則ならば、Ａは零因子ではない
と
Ａが零因子ならば、Ａは正則ではない」
”正則”と”零因子”は、関係あり
（参考）
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
数学の質問です Ａが正則ならば、Ａは零因子ではない 2011/5/12 yahoo
(抜粋)
Ａが正則ならば、Ａは零因子ではない
と
Ａが零因子ならば、Ａは正則ではない
この２つが対偶の関係にあるということはわかるのですが、実際に証明で示すことができません(汗
ベストアンサーに選ばれた回答 たろうさん
Aが零因子であるとは
AB = Oが成り立つ行列Bがあって, しかもA≠OかつB≠Oであるということです
[ Oは零行列を表します ]
このときもしもAが正則だとしたら
B≠Oのはずなのに
AB = Oの両辺にAの逆行列を掛けることでB = Oに変形できてしまいます
したがって
Aが零因子なら Aは正則でないことが分かります
URLﾘﾝｸ(izumi-math.jp)
北数教 第42回 数学教育実践研究会
行列における零因子の構造
H140803 小樽桜陽高等学校 石狩南高等学校 数学科教諭 小栗是徳
(抜粋)
『零因子⇒逆行列をもたない』ことが予想されるので，これを背理法によって証明。（必要条件）
URLﾘﾝｸ(mathtrain.jp)
高校数学の美しい物語20160501
行列が正則であることの同値な条件と証明
n×n の正方行列 A に対して以下の条件は同値である：
・AB=BA=I（単位行列）となる行列 B が存在する
・detA≠0
192:現代数学の系譜 雑談
20/12/28 13:27:59.81 7uPVoZFZ.net
>>180
＞へりくつこけねても数学のど素人には変わりない
それはそうだが
では、聞く
１）そういう、あんたは何者？ｗ（＾＾；
２）この場末の５ｃｈに、数学のプロ（つまりは、大学数学科教員クラス）がいるかい？
過去、２ｃｈ時代には、プロ数学者がいたらしいね
だが、少なくとも５ｃｈになってからは、「この人はプロかも」と思う人は殆どいないし、そういう人ほど数学的な内容は書かない傾向がある
まあ、いまの５ｃｈ数学板は、ド素人の集まりでしょ？（＾＾；
193:１３２人目の素数さん
20/12/28 13:28:58.24 XqiNVYTi.net
工学部の発想
194:１３２人目の素数さん
20/12/28 13:47:37.42 XqiNVYTi.net
なぜスレタイに純粋数学といれる？
195:現代数学の系譜 雑談
20/12/29 07:28:06.27 RYZXH9f6.net
>>183
>工学部の発想
過去、２ｃｈ時代には、プロ数学者がいたらしいね
旧ガロアスレで、有名なコテの”猫”さんが、そう言っていた
私も、旧ガロアスレで、おっちゃんの書いた証明の赤ペン先生役をつとめた”メンター”氏がポスドクレベルだと思ったし
時枝記事をバッサリ切った私が”確率論の専門家”と名付けた人も、おそらくは確率論でのポスドク以上のレベルだと思った
あと、何人か、この人はレベル高いと思った人が来たけど
５ｃｈになってからは、殆ど居ない気がする
>なぜスレタイに純粋数学といれる？
純粋数学と応用数学には、確たる仕切りがないから
いまの純粋数学が、将来応用分野が出れば、応用数学になる
楕円曲線論→楕円曲線暗号 みたいにね
逆は、物理→数学みたいなのが多いよ
例えば、物理現象の熱伝導の方程式を解くために、フーリエ氏がフーリエ変換を考えた
いま、フーリエ変換は純粋数学とも考えられるでしょ
196:現代数学の系譜 雑談
20/12/29 07:40:46.72 RYZXH9f6.net
>>185 補足
物理→数学みたいなの
・ドナルドソンが、物理のヤングミルズ方程式を使って、「R4 上には非可算無限個の異なる滑らかな構造が存在する」（下記）を示し、フィールズ賞を獲得した
・物理屋のウィッテン氏も、彼の物理の超弦理論を数学（結び目の理論）に使って、フィールズ賞を受賞した
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
4次元多様体
滑らかな 4次元多様体
滑らかな 4次元多様体の理論の主要な問題は、単純でコンパクトな多様体を分類することである。位相多様体として知られていることは、以下の二つの部分に分かれる。
1.どのような位相多様体が滑らかか？
2.滑らかな多様体上の異なる滑らかな構造を分類せよ。
第一の問題のほぼ完全な答えがあり、単連結でコンパクトな 4次元多様体は滑らかな構造を持つ。第一に、カービィ不変量は 0 であるはずである。
交叉形式は有限で、ドナルドソンの定理(Donaldson 1983) は完全な答えを与える。滑らかな構造が存在することと、交叉形式が対角化できることとは同値である。
ドナルドソンは、ドルガチェフ曲面（英語版）のような、単連結でコンパクトな 4次元多様体が存在し、可算無限個の異なる滑らかな構造が存在することを示した。R4 上には非可算無限個の異なる滑らかな構造が存在する。エキゾチック R4（英語版）を参照。
URLﾘﾝｸ(ja.wikipedia.org)
エドワード・ウィッテン
主な業績
・シンプレクティック多様体における位相不変量のグロモフ・ウィッテン不変量
・結び目のジョーン
197:ズ多項式における場の理論との関係。 ・ウィッテン予想（この予想はマキシム・コンツェビッチによって解かれた）。
198:ID:1lEWVa2s
20/12/29 08:12:29.48 64qJe4ap.net
このリーディングシュタイナー持ちは仕事に行ってくるでござる。
199:１３２人目の素数さん
20/12/29 08:37:50.77 z2/ZPtBv.net
>>179
>法律に例えると
トンチンカンなので全部割愛
>いまどき、行列の計算程度なら、計算ソフトあるし、エクセルでも可能だよ。
>逆行列の関数もある。行列式の計算だってね
え？雑談君は
自分で４×４行列の逆行列の導出できないの？
自分で４×４行列の行列式の計算できないの？
（注：なんで４×４かというと、
２×２は高校の教科書にも出てるし
３×３はSarrusの方法とか出てるから）
ていうかさ、例えば逆行列の関数でエラーでることがあるじゃん
そういうとき、なんでそうなったか理解できてる？
いっとくけど「行列式が０だから」とかいうだけだと５０点ね
「行列式が０になるってどういうことか？」ってのが問題
そういう基本的なことはさ、
数学を使う実務屋も知っとくべきことだよ
知らなかったら実務屋としても完全に失格
わかる？
200:１３２人目の素数さん
20/12/29 08:48:07.57 z2/ZPtBv.net
>>181
雑談君、零因子すきだねｗ
>>188の質問「逆行列の関数でエラーがでるとき、なぜそうなったか？」
について「零因子だから」って答えなら３０点だねｗ
「行列式が０だから」ってのは実際に行列式求めりゃわかるじゃん
しかし零因子だからってのは理由じゃないじゃんｗ
で、あんた、自分で
・線型方程式の求解
・逆行列の導出
・行列式の計算
のプログラム、一度も書いたことないの？
実は上記の３つは基本的には同じアルゴリズムを用いる
それは・・・行列の階段化
どういうとき、階段化に失敗したというのか考えてみ？
で、そのとき、何が起こってるのか考えてみ？
いや、いくら工学部とかいっても、このくらい最低限の常識だろ？
知らないで卒業とか、日大どころか国士館とかでもありえなくね？
201:１３２人目の素数さん
20/12/29 08:51:04.12 z2/ZPtBv.net
>>186
>物理→数学
別に数学の証明で物理実験するとかいうことはないけどな
単に物理学で用いる数学を、純粋数学に援用しただけで
物理学そのものを数学に使ったわけではない
これ、豆なｗ
202:１３２人目の素数さん
20/12/29 08:58:11.10 z2/ZPtBv.net
>>186
>「R4 上には非可算無限個の異なる滑らかな構造が存在する」
いくらそんな念仏唱えても今の雑談君にはExotic R4は見えないよｗ
もう数学諦めなよ 線型代数の基礎も知らないヤツにわかるわけないじゃんｗ
203:１３２人目の素数さん
20/12/29 09:22:06.68 z2/ZPtBv.net
>>188の質問「逆行列の関数でエラーがでるとき、なぜそうなったか？」
「零因子だから」で３０点
「行列式が０だから」で５０点
「行列がｎ×ｎの場合、行列のランクがｎより小さいから」で７０点だな
３番目は２番目と大して変わんねぇじゃん、
っていわれそうだが個人的には核心に近づいてる
204:１３２人目の素数さん
20/12/29 10:48:45.87 vOC1psLu.net
ごまかしにかかる詐欺師
205:１３２人目の素数さん
20/12/29 10:56:01.59 vOC1psLu.net
壊れたレコード
206:１３２人目の素数さん
20/12/29 11:22:13.37 vOC1psLu.net
我田引水、牽強付会でレス数をかせぐ詐欺師
207:ID:1lEWVa2s
20/12/29 14:07:31.68 sDc1PyPe.net
検算したら違和感あった。
三角錐の体積が底面積掛ける高さ割る三はおかしい。
具体的値は今年中には解けそうにない。
反証は簡単だが具体的値の証明は難しい。
積分を根っから昔から私は否定している。
荷揚げ屋6年前の頃に三角錐について研究していたが証明できなかった。
来年には解きたい。
208:現代数学の系譜 雑談
20/12/29 17:44:59.79 3hTAsn+k.net
>>190
>>物理→数学
>別に数学の証明で物理実験するとかいうことはないけどな
>単に物理学で用いる数学を、純粋数学に援用しただけで
>物理学そのものを数学に使ったわけではない
多分違うな
物理現象の中に、数学的な構造が
209:あるんだろうよ で、物理現象の中の、数学的な構造を見抜いた人が、フィールズ賞を取ったりしてきたんだよね（下記） （参考） https://planck.exblog.jp/14987060/ 大栗博司のブログ 2010年 08月 21日 フィールズ賞 今週はインドのハイデラバードで国際数学者会議 (ICM) が開かれ、フィールズ賞受賞者が発表されました。１９９０年以来の過去５回のICMでは、フィールズ賞受賞者のおよそ４割が場の量子論や超弦理論に関係する分野で研究をされていたので、今回はどうなるのだろうかと思っていました。 今回の受賞者のひとりはスタニスラフ・スミルノフさんで、ある種の２次元の統計模型がスケール極限で共形対称性を持つことを示し、物理学者のジョン・カーディさんの予想していた公式に数学的証明を与えました。場の量子論に数学的基礎を与えることは数理物理学の長年の課題ですが、２次元の共形場の理論では確実な進歩が起きています。前回の２００６年のICMでフィールズ賞を受賞されたウェンデリン・ウェルナーさんの業績も２次元の共形場の理論に関係するものでした。 スミルノフさんはCaltechの大学院の卒業生なので、今回の受賞はCaltechにとってもうれしいニュースでした。
210:現代数学の系譜 雑談
20/12/29 17:49:26.35 3hTAsn+k.net
>>192
正方行列の正則性と零因子
関係ないとか言ったアホ（>>181）
必死の取り繕い哀れ（＾＾
（参考）
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
数学の質問です Ａが正則ならば、Ａは零因子ではない 2011/5/12 yahoo
ベストアンサーに選ばれた回答 たろうさん
Aが零因子であるとは
AB = Oが成り立つ行列Bがあって, しかもA≠OかつB≠Oであるということです
[ Oは零行列を表します ]
このときもしもAが正則だとしたら
B≠Oのはずなのに
AB = Oの両辺にAの逆行列を掛けることでB = Oに変形できてしまいます
したがって
Aが零因子なら Aは正則でないことが分かります
211:１３２人目の素数さん
20/12/29 20:16:28.40 z2/ZPtBv.net
>>197
>物理現象の中に、数学的な構造があるんだろうよ
あってもいいが、数学である限り、
論証以外の方法による正当化は無意味
そんなこともわからんか？工学🐎🦌
>>198
>>188の質問
「逆行列の関数でエラーがでるとき、なぜそうなったか？」
の正解がまだわからんかね？
１R)AB = E なる n 次正方行列 B が存在する
１L)BA = E なる n 次正方行列 B が存在する
の否定だから、以下の中の否定のいずれかだぞｗ
２)A の階数は n である
３L)A は左基本変形のみによって単位行列に変形できる
３R)A は右基本変形のみによって単位行列に変形できる
４)一次方程式 Ax = 0 は自明な解しかもたない
５)A の行列式は 0 ではない
６C)A の列ベクトルの族は線型独立である
６R)A の行ベクトルの族は線型独立である
７)A の固有値は、どれも 0 でない
さあどれだ？ｗ
212:粋蕎
20/12/30 02:12:50.36 1tY6uoO6.net
ﾌﾋﾋww
213:１３２人目の素数さん
20/12/30 07:29:41.78 wqjsglrD.net
>>199
A類（現象）
N１R)AB = E なる n 次正方行列 B が存在しない
N１L)BA = E なる n 次正方行列 B が存在しない
N３L)A は左基本変形のみによって単位行列に変形できない
N３R)A は右基本変形のみによって単位行列に変形できない
N４)一次方程式 Ax = 0 は自明でない解をもつ
B類（中間的な原因）
N２)A の階数は n より小さい
N５)A の行列式は 0
C類（根本原因）
N６C)A の列ベクトルの族は線型独立でない
N６R)A の行ベクトルの族は線型独立でない
つまり>>188
「逆行列の関数でエラーがでるとき、なぜそうなったか？」
の答えは
「入力行列の列ベクトル（そして行ベクトル）が線型独立でないから
つまり、ベクトルの線型結合によって零ベクトルが構成できてしまうから」
214:現代数学の系譜 雑談
20/12/30 10:56:06.87 JTE+xqKY.net
>>201
いろんな考えあって良いとおもうけど
数学では、同値な命題があって、普通は同値な命題間での”後先”とか”上下”とかは、単純には付けられないでしょ
同値な命題間での後先とか上下とかをつけるには、哲学がいるよね。数理哲学がね
でさ、まず、同値関係を語るべきと思うけど
次に、どの命題がどの命題から系として導かれるとかさ
それを語らないと、片手落ちだろ？
215:１３２人目の素数さん
20/12/30 11:03:00.53 wqjsglrD.net
>>202 そもそも、雑談君は行列の正則性に関する諸条件の同値性、理解してる？
なぜ正方行列の列ベクトルが線型独立だと逆行列が存在するか理解してる？
なぜ正方行列の逆行列が存在すると列ベクトルが線型独立といえるか理解してる？
216:１３２人目の素数さん
20/12/30 11:04:49.16 wqjsglrD.net
>>202
＞いろんな考えあって良いとおもうけど
何の考え（というか理解）もないのは最低最悪だね
雑談君、キミのことだよｗ
君、そもそも線型独立って定義から知ってる？
217:１３２人目の素数さん
20/12/30 11:24:44.35 wqjsglrD.net
雑談君も、偽パルと同じで、中身の話しないんだよな
中身がないからできないんだろうな
線型方程式系を解く
→クラメルの公式に代入して行列式を定義に従って計算する
逆行列を求める
→余因子展開の公式に代入して行列式を定義に従って計算する
（注：余因子展開の公式は実はクラメルの公式の系）
と脊髄反射するだけなんだろうなｗ
あのな、式の数が多かったら
行列式の計算を定義どおりやってたら
生きてるうちに終わらねぇよｗ
行列式はしょせん外積なんだから、
消去法の手続きで階段化した上で
対角要素だけ掛けるほうが早いだろ
で、どうせ消去法使うんなら、
クラメルの公式とか余因子展開の公式なんか
使わないほうがはるかに早道だろ
で、その場合、
「階段化が成功する条件って何だ？」と考えたら
「ああ、列ベクトルが線型独立ってことか」と気づくわけだ
哲学？関係ねぇよ 徹頭徹尾、実践による経験
工学屋のクセに行列式一つ、手で計算しないのかよ
自分でプログラム書いてみないのかよ 呆れたね
218:現代数学の系譜 雑談
20/12/30 12:29:57.48 JTE+xqKY.net
>>202 補足
まあ、下記だな
URLﾘﾝｸ(ja.wikipedia.org)
正則行列（せいそくぎょうれつ、英: regular matrix）、非特異行列（ひとくいぎょうれつ、英: non-singular matrix）あるいは可逆行列（かぎゃくぎょうれつ、英: invertible matrix）とは、行列の通常の積に関する逆元を持つ正方行列のことである。この逆元を、元の正方行列の逆行列という。
定義
n 次単位行列を En や E で表す。 環の元を成分にもつ n 次正方行列 A に対して、
AB=E=BA
を満たす n 次正方行列 B が存在するとき、A は n 次正則行列、あるいは単に正則であるという[1]。A が正則ならば上の性質を満たす B は一意に定まる。 これを A の逆行列（ぎゃくぎょうれつ、英: inverse matrix）と呼び、A?1 と表す[2]。
特徴づけ
体の元を成分にもつ n 次正方行列 A に対して次は同値である。
・A は正則行列である
・AB = E なる n 次正方行列 B が存在する[5]
・BA = E なる n 次正方行列 B が存在する[5]
・A の階数は n である[6]
・A は左基本変形のみによって単位行列に変形できる[6]
・A は右基本変形のみによって単位行列に変形できる[6]
・一次方程式 Ax = 0 は自明な解しかもたない[7]
・A の行列式は 0 ではない[8]
・A の列ベクトルの族は線型独立である
・A の行ベクトルの族は線型独立である
・A の固有値は、どれも 0 でない
URLﾘﾝｸ(ja.wikipedia.org)
正則（せいそく）
一覧
・規則に従っていること。
・数学における概念のひとつ。以下で詳述する。
数学における正則
数学における正則とは、主に英語で regular または non-singular で表される概念の訳語である。（ただし、必ずしも全ての regular や non-singular が正則と訳されるわけではない。たとえば regular polygon は正多角形と訳され、regular singular point は確定特異点（英語版）と訳される。Non-singular はそのまま "非特異" と訳される方が多いようである。）
ある概念に正則性を考えることは一般に強い制限を与え、すっきりした理論が得られることが多い。
つづく
219:現代数学の系譜 雑談
20/12/30 12:30:31.57 JTE+xqKY.net
>>206
つづき
URLﾘﾝｸ(izumi-math.jp)
北 数 教
第４２回 数学教育実践研究会
－教育現場のおける基礎研究－
行列における零因子の構造
平成1４年８月3日(土)
北海道小樽桜陽高等学校
北海道石狩南高等学校
数学科教諭 小栗 是徳
(引用終り)
以上
220:１３２人目の素数さん
20/12/30 14:41:05.55 wqjsglrD.net
>>206
相変わらず🐎🦌な貼り付けしてるね
だから文章が読めないんだよ
まず、冒頭の一文
🐎🦌でないなら、上記の３つの部分に分解できる
A:「正則行列（せいそくぎょうれつ、英: regular matrix）、
非特異行列（ひとくいぎょうれつ、英: non-singular matrix）あるいは
可逆行列（かぎゃくぎょうれつ、英: invertible matrix）とは、」
B:「行列の通常の積に関する逆元を持つ」
C:「正方行列のことである。」
文の構造は
「Aとは、BであるようなCである」
ここで、「Bであるような」は必要な性質だから決して省略できない
雑談君がダメなのは「Aは…Cである」と脊髄反射する点
この場合だと
「正則行列とは…正方行列か！」
で終わってしまう だから
「行列の通常の積に関する逆元を持つ」
が抜ける
221:１３２人目の素数さん
20/12/30 14:52:16.31 wqjsglrD.net
>>206
次にこの一文
以下の３つの箇所に分解できる
A:「環の元を成分にもつ n 次正方行列 A に対して、」
B:「AB=E=BAを満たすn 次正方行列 B が存在するとき、」
C:「A は n 次正則行列、あるいは単に正則であるという。」
文の構造は
「Aが
222:Bであるとき、Cである」 論理式に直せば A: A∈SMについて B: ∃B∈SM．AB＝E=BA C: ⇔def A∈RM （SMは正方行列の集合、RMは正則行列の集合） このくらいのことは、読みながらできないと、数学は理解できない
223:１３２人目の素数さん
20/12/30 14:52:29.56 ZxgWGnxZ.net
ガロア理論を語るやつが正則でwikiに頼るの、しかも頓珍漢ｗ
224:１３２人目の素数さん
20/12/30 14:54:23.59 ZxgWGnxZ.net
同値な命題間の上下を語るのに数理哲学が必要ｗ
225:１３２人目の素数さん
20/12/30 15:02:50.68 ZxgWGnxZ.net
加群自由自在かと思ってたらｗ
226:１３２人目の素数さん
20/12/30 15:10:24.31 wqjsglrD.net
さて、正則行列の諸条件の同値性について
例えば斎藤正彦の「線型代数入門」でも読んでもらうとしてｗ
ヒントとして以下のページを見られたい
ーーー
ガウスの消去法
URLﾘﾝｸ(ja.wikipedia.org)
ガウスの消去法（ガウスのしょうきょほう、英: Gaussian elimination）あるいは
掃き出し法（はきだしほう、英: row reduction）とは、
連立一次方程式を解くための多項式時間アルゴリズムであり、
通常は問題となる連立一次方程式の係数からなる拡大係数行列に対して行われる
一連の変形操作を意味する。
同様のアルゴリズムは歴史的には前漢に九章算術で初めて記述された。
連立一次方程式の解法以外にも
・行列の階数の計算
・行列式の計算
・正則行列の逆行列の計算
などに使われる。
ーーー
そう、ガウスの消去法で
１．連立一次方程式の求解
２．行列の階数の計算（解が一意なら、階数は行列のサイズと同じ）
３．行列式の計算（解が一意なら、値は０でない）
４．逆行列の計算（正則でない場合、そもそも消去法で単位行列にできないから求まらない）
の４つが一遍にできる
そして、上記が成功する鍵は
「行列の行ベクトルが線型独立であること」
227:１３２人目の素数さん
20/12/30 15:18:33.71 ZxgWGnxZ.net
群論も知らないんだろうｗ
228:１３２人目の素数さん
20/12/30 15:23:28.73 wqjsglrD.net
余談だが、行列式はヨーロッパでは１８世紀の数学だな
URLﾘﾝｸ(ja.wikipedia.org)
1750年にクラメルは（証明抜きで）N 個の変数に関する N個の方程式からなる方程式の解を求める規則を定式化した。
この行列式の計算方法は順列の符号に基づく繊細なものだった。
ベズー（1764年）やファンデルモント（1771年、ヴァンデルモンドの行列式の計算）などがそれに続き、
1772年にはラプラスによって余因子展開の公式が確立された。
さらに翌年にはラグランジュによって行列式と体積との関係が発見されている。
今日の determinant（決定するもの）に当たる言葉が初めて現れたのはガウスによる1801年の Disquisitiones Arithmeticae である。
そこで彼は二次形式の判別式（今日的な意味での行列式の特別な例と見なせる）を用いている。
229:１３２人目の素数さん
20/12/30 15:26:51.51 wqjsglrD.net
>>214
正規部分群がわかってないからな
指数有限の群の件が全く理解できてなかったのもそのせい
230:１３２人目の素数さん
20/12/30 15:33:12.46 ZxgWGnxZ.net
>>216
こういうなまかじりはたちが悪い
231:１３２人目の素数さん
20/12/30 15:33:37.30 wqjsglrD.net
線型方程式系を外積代数で解くってのは
一見、すっげぇかっけぇように思うけど
（遠山啓の「数学入門」で読んだときそう思った）
実は（愚直に計算すると）バカバカしく手数がかかるので
２×２とか３×３ならともかくそれ以上の場合絶対お勧めしない
232:１３２人目の素数さん
20/12/30 15:39:16.41 wqjsglrD.net
消去法は一見原始的だが実はデキるコなのである
233:１３２人目の素数さん
20/12/30 19:08:22.71 wqjsglrD.net
ということで、雑談君は数学は今年で諦めて
来年は全然違うことやって人生やり直�
234:ｵな
235:現代数学の系譜 雑談
20/12/30 22:09:51.91 JTE+xqKY.net
>>211
＞同値な命題間の上下を語るのに数理哲学が必要ｗ
上下と前後な
同値な命題なんだから、数学だけでは、どっちがどうってないよね
それに順序を付けるのは、哲学であり、美学でしょ（＾＾；
236:１３２人目の素数さん
20/12/30 22:12:06.05 ZxgWGnxZ.net
数学のど素人感がすごいｗ
237:現代数学の系譜 雑談
20/12/30 22:20:04.87 JTE+xqKY.net
>>181
(引用開始)
純粋・応用数学（含むガロア理論）3
ｽﾚﾘﾝｸ(math板:169番)
現代数学の系譜 2020/08/10
>>160
>おまえさあ、零因子とか関係ないことばっかり読んで、
「Ａが正則ならば、Ａは零因子ではない
と
Ａが零因子ならば、Ａは正則ではない」
”正則”と”零因子”は、関係あり
(引用終り)
正方行列Aが、正則ならば、逆行列を持ち、行列式｜A｜≠0で、零因子ではない
零因子でなければ、行列式｜A｜≠0で、逆行列を持ち、正則である
つまりは、”正方行列が、正則であることと、零因子でないことは同値”！だよね
（上記は、それを言っているんだよ）
それが分かってなかったってことだよね、おっさんは
ぐだぐだ言い訳しているけどｗ
238:１３２人目の素数さん
20/12/31 00:15:58.03 qFr7ag4v.net
数年あれば代数入門くらい勉強できるのにな、絶対にしないだろｗ
239:１３２人目の素数さん
20/12/31 05:48:17.91 uj9CqJOS.net
>>196の件、中学の頃の遠い記憶
錐体の体積 V=1/3 ×底面積S×高さh
の1/3は疑わしいぽぃと思った。
【証明コンセプト・霊感的哲学的定義】
・平面の積み重ねは、体積だ。
・体積とは平面の積み重ねの平均だ
【怪しい証明】
1枚目 面積S1 = 1.0^2 = 1.00
2枚目 面積S2 = 0.8^2 = 0.64
…
5枚目 面積S5 = 0.2^2 = 0.04
────────
平均S =(1+0.64+0.36+0.16+0.04)/5 ∴
平均S = 2.2 / 5 = 0.44
体積V = 0.44 ∵平均Sと体積Vは同じ
でも、なんやかんやで、ホントは
0.24 ＜ 体積V ＜ 0.44 だ。
で、0.24と0.44の単純平均で大体ヨシ
故に、0.34を得る。
0.34は1/3に、ほぼ等しい
これでイイのだ!
240:１３２人目の素数さん
20/12/31 05:51:05.55 2aXtKUEC.net
>>223
正則行列知らなかった言い訳をぐだぐだしてるのはお前のほうじゃんｗ
241:１３２人目の素数さん
20/12/31 05:54:45.53 2aXtKUEC.net
>>225
n次元立方体ならn個の合同な錐に分割できるよ
242:１３２人目の素数さん
20/12/31 06:10:32.17 2aXtKUEC.net
>>225
>【証明コンセプト・霊感的哲学的定義】
>・平面の積み重ねは、体積だ。
>・体積とは平面の積み重ねの平均だ
おまえ、👾だろ？
おしいな、もう一つ条件がある
・体積は、２つの積み重ね平均の間にある
Σ(i=0～n-1) ((1-i/n)^2)/n > V > Σ(i=1～n) ((1-i/n)^2)/n
>でも、なんやかんやで、ホントは
>0.24 ＜ 体積V ＜ 0.44 だ。
なんだよ・・・わかってんじゃんｗ
だったら上記の不等式でn→∞とすれば1/3が出るよ
👽
243:１３２人目の素数さん
20/12/31 06:15:05.79 2aXtKUEC.net
>>224
線型代数でつまづいてるようじゃ無理じゃね？
公式🐎🦌はクラメルの公式とか余因子展開の公式見て
「これで連立方程式系の解法も逆行列も完璧に分かった！」
と叫ぶんだが、実は全然分かってないｗ
要するに
正則行列が分かってない
＝線型独立が分かってない
ってことなんだな
244:１３２人目の素数さん
20/12/31 06:24:22.16 2aXtKUEC.net
違和感といえば、∫[1～y] 1/x dx=log(y) も違和感あったな
そりゃlim(n→∞) (x^(1/n)-1)/(1/n)=log(x) だろうけどさ
245:１３２人目の素数さん
20/12/31 08:51:42.80 uj9CqJOS.net
突然ですが>>225の続き
【中点法ぽぃ感じの数値解】
1枚目 面積S1 = 0.9^2 = 0.81
2枚目 面積S2 = 0.7^2 = 0.49
3枚目 面積S2 = 0.5^2 = 0.25
4枚目 面積S2 = 0.3^2 = 0.09
5枚目 面積S5 = 0.1^2 = 0.01
────────
上記5枚の平均S = 0.338
1/3に、微妙に違う。多分5000兆枚でも
1/3にはならん。有限小数だから
by 👾
246:１３２人目の素数さん
20/12/31 08:54:07.85 2aXtKUEC.net
（体 F 上の）線型空間 V とは、後に述べるような、
二種類の演算を備えた集合 V のことである。
体 F �
247:ﾍ係数体 (英: coefficient field, scalar field ) と呼ばれる。 係数体 F の元は係数 (英: coefficient ) と呼ばれる。 線型空間が備えるべき二種類の演算の一つは、加法と呼ばれ、 任意の二つのVの元 v と w とからそれらの和と呼ばれる 第三のベクトル v + w を割り当てるものである。 もう一つの演算は、スカラー乗法と呼ばれ、 任意の係数 a と任意のVの元 v とから 別のベクトル av を割り当てるものである。
248:１３２人目の素数さん
20/12/31 08:58:43.30 2aXtKUEC.net
集合 V が線型空間と呼ばれるためには、
加法とスカラー乗法が（線型空間の）公理系と呼ばれる一連の制約条件に従わなければならない。
以下において
u, v, w は V の任意の元、
a, b は F に属する任意の係数とする。
加法の結合律
u + (v + w) = (u + v) + w
加法の可換律
u + v = v + u
加法単位元の存在
∃0 ∈ V.∀v ∈ V.v + 0 = v
加法逆元の存在
∀v ∈ V.∃－v ∈ V.v + (－v) = 0
加法に対するスカラー乗法の分配律
a(u + v) = au + av
体の加法に対するスカラー乗法の分配律
(a + b)v = av + bv
体の乗法とスカラー乗法の両立条件
a(bv) = (ab)v
スカラー乗法の単位元の存在
1v = v
（左辺の 1 は F の乗法単位元）
249:１３２人目の素数さん
20/12/31 09:06:06.81 2aXtKUEC.net
V と W とを同じ体 F の上の線型空間とする。
V から W への写像 f が、
任意の元 x, y ∈ V と
任意の係数 c ∈ F に対し、
以下の性質をともに満たすとき、
f を F 上の線型写像 または簡単に F-線型写像という。
加法性: f(x + y) = f(x) + f(y),
斉一次性: f(cx) = cf (x)
考えているベクトル空間および線型写像がどの体上のものであるかが明らかなときには、
省略して単に「 f は V から W への線型写像である」などということもある。
上記の二性質を合わせて線型性と呼び、
また有限個のFに属する係数 λi とVの元 vi に対して
線型性: f(Σ(i=1～r)λ_iv_i)=Σ(i=1～r)λ_if(v_i)
のような形で言及することもある。
250:１３２人目の素数さん
20/12/31 09:29:42.04 2aXtKUEC.net
線型関係 c_1v_1+c_2v_2+…+c_nv_n=0 において、
c_i ≠ 0 なるiが存在するとき
v_1, v_2, ..., v_n は線型従属であるという。
元 v_1, v_2, …, v_n が線型従属でないとき
上記の元の集合は線型独立であるという。
つまり、係数 a_1, a_2, …, a_n に対して
a_1v_1+a_2v_2+…+a_nv_n=0 ⇒ a_1=a_2=…=a_n=0
251:１３２人目の素数さん
20/12/31 09:36:35.28 2aXtKUEC.net
さて、線型変換fに関する以下の条件が
fが単射となる必要十分条件であることを示せ
「v_1, v_2, …, v_nが線型独立⇒f(v_1), f(v_2), …, f(v_n)が線型独立」
252:１３２人目の素数さん
20/12/31 11:53:34.38 k0qHxfhF.net
ところで「チンポがシコシコする」という日本語表現は、学術的に正しいと言えるのか？
チンポ「を」シコシコするのではなくて、チンポ「が」シコシコする。この場合、「チンポ」は主語となる。
オブジェクト指向で言う「集約」は２種類あって、全体（俺）と部分（チンポ）が繋がっている場合と、
全体（俺）と部分（チンポ）が別々になっている場合とが考えられる。けれども「チンポ」はそれ自体
が独立した生き物であり、所有者の意思とは無関係に、自ら勃起して「シコシコする」。
例えば寝てる時にエロい夢みて朝起きてみたらチンコが勃起して射精してたとか。
違うか？
「胸がドキドキする」は良いが、「チンポがシコシコする」はダメな理由を、５０字以内で述べろ！
253:１３２人目の素数さん
20/12/31 12:10:51.25 2aXtKUEC.net
シコシコするのは手じゃんｗ
254:１３２人目の素数さん
20/12/31 12:40:16.35 mv9L/I8k.net
「ち〇ぽがドクドクする」なら分かるが
「ち〇ぽがシコシコする」とか頭おかしんじゃね？
255:１３２人目の素数さん
20/12/31 12:53:46.76 RX
256:rxCDly.net
257:１３２人目の素数さん
20/12/31 14:22:19.12 MU5DxPWz.net
群の定義で終わっているのに、線型代数の正則行列の話でよく盛り上がっているな。
258:１３２人目の素数さん
20/12/31 15:11:15.66 2aXtKUEC.net
>>241 教育的指導ですね
259:１３２人目の素数さん
20/12/31 15:13:38.64 qFr7ag4v.net
低レベルのマウント
260:１３２人目の素数さん
20/12/31 15:16:26.15 2aXtKUEC.net
>>243 馬鹿にされたくないなら数学板に書かなきゃいい
261:１３２人目の素数さん
20/12/31 15:20:59.54 qFr7ag4v.net
俺は横だがｗ
262:１３２人目の素数さん
20/12/31 15:21:55.64 2aXtKUEC.net
>>245 わかってるｗ
263:１３２人目の素数さん
20/12/31 15:37:20.01 MU5DxPWz.net
>>242
線型代数の正則行列は道具だから先に進んだ方がいい。
関数解析の線形作用素の取り扱いでも正則行列と同じようなことすることがある。
264:１３２人目の素数さん
20/12/31 15:45:07.49 qFr7ag4v.net
おっちゃんか
265:１３２人目の素数さん
20/12/31 16:04:48.22 2aXtKUEC.net
>>247 >>236は無限次元でもOK
266:１３２人目の素数さん
20/12/31 16:05:38.94 2aXtKUEC.net
>>248 だろうな
267:１３２人目の素数さん
20/12/31 16:09:20.43 qFr7ag4v.net
おっちゃんはノートパソコンの周りが散らかってる（意味不明）ので書き込みの修正ができないらしい（笑）
268:１３２人目の素数さん
20/12/31 16:09:40.60 2aXtKUEC.net
数学あるある
易しいことが理解できないのに目をつぶって
難しいことに手を出しても上手くいかない
269:１３２人目の素数さん
20/12/31 16:11:10.10 2aXtKUEC.net
>>251 整理整頓ができない人に数学の論理は理解できない これ豆な
270:１３２人目の素数さん
20/12/31 16:12:10.79 2aXtKUEC.net
ちなみに整理の基本は「要らないものは捨てる」
できない人は脳に障害がある
271:１３２人目の素数さん
20/12/31 16:12:58.89 2aXtKUEC.net
何か指摘されたとき、即ムカついて反発反論する人は、確実に頭が悪い
272:１３２人目の素数さん
20/12/31 16:14:44.78 2aXtKUEC.net
ムカつくのは仕方ないが、自分が正しいと思い込まないのが本当の理性
273:１３２人目の素数さん
20/12/31 16:15:41.92 2aXtKUEC.net
自分の誤りに気付ける人だけが、新しいことを学べる これ豆な
274:１３２人目の素数さん
20/12/31 16:21:28.75 2aXtKUEC.net
それにしても、乙も行列が分かってないのか・・・線型代数 恐るべしｗ
275:１３２人目の素数さん
20/12/31 16:24:00.72 MU5DxPWz.net
>>249
で、どうしました？
ノルムの定義とか関数解析だと有限次元の線型代数より複雑になる。
276:１３２人目の素数さん
20/12/31 16:26:33.53 2aXtKUEC.net
>>259 関係ないこと持ち出すのは 頭が散らかってる劣等生によくみられる
277:１３２人目の素数さん
20/12/31 16:27:25.90 2aXtKUEC.net
話をそらそうとしたら 話ごとブチ切る つきあっても無駄だから
278:１３２人目の素数さん
20/12/31 16:27:55.17 MU5DxPWz.net
>>258
>線型代数 恐るべしｗ
これには異論がないが、東大出版会の線形代数入門で躓くようじゃ終わり。
279:１３２人目の素数さん
20/12/31 16:29:25.62 2aXtKUEC.net
>>262
>>線型代数 恐るべしｗ
>これには異論がないが
具体的にどこがわからなかった？
隠さずありのまま告白してみ？
280:１３２人目の素数さん
20/12/31 16:30:21.09 2aXtKUEC.net
線型代数が理解できなかった、という経験は自分にはないな
281:１３２人目の素数さん
20/12/31 16:38:19.13 MU5DxPWz.net
>>230
この種の式も正当化出来る。
>>263
総ページ数や書いてある中身の多さ。