[過去ログ]
ガロア第一論文と乗数イデアル他関連資料スレ2 (1002レス)
ガロア第一論文と乗数イデアル他関連資料スレ2 http://rio2016.5ch.net/test/read.cgi/math/1677671318/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
リロード規制
です。10分ほどで解除するので、
他のブラウザ
へ避難してください。
874: 132人目の素数さん [sage] 2023/04/02(日) 11:02:57.23 ID:MWc2ll13 >>859 > ”一次方程式 Ax = 0 は自明な解しかもたない” の否定 > ”一次方程式 Ax = 0 が非自明な解xを持つ” が、 > Aが零因子であることの定義ですね 違うけど もちろん、 Ax = 0 が非自明な解xを持つことと Aが零因子であることは同値であるけど 前者は零因子であることの定義ではない https://ja.wikipedia.org/wiki/%E9%9B%B6%E5%9B%A0%E5%AD%90 http://rio2016.5ch.net/test/read.cgi/math/1677671318/874
876: 132人目の素数さん [] 2023/04/02(日) 12:40:58.12 ID:RzjD2dSg >>874-875 ありがとう > Ax = 0 が非自明な解xを持つことと >Aが零因子であることは同値であるけど > 前者は零因子であることの定義ではない >https://ja.wikipedia.org/wiki/%E9%9B%B6%E5%9B%A0%E5%AD%90 >Ax = 0 で、Aは行列環の要素だが、 >xと0はベクトルであって行列環の要素ではない なるほど しかし 上記 Wikipedia より "定義 環 R の元 a は、ax=0 となる x≠ 0 が存在するとき、すなわち x∈ R \{0}:ax=0 を満たすときに 左零因子(英: left zero divisor)と呼ばれる。 左または右零因子である元は単に零因子と呼ばれる[2]” (引用終り) でしょ で、いま簡便に、nxnの正方行列が零因子であることを、 大文字を使って AX=O (∃X≠O ここにOは零行列)としよう Ax = 0 で非自明なベクトル解xをもつ ↓(非自明なベクトルxを使って) 非自明な行列Xが構成できて、AX=Oとできる 逆に 非自明な行列XでAX=O成立なら ↓(非自明な行列Xを使って) Ax = 0 なる非自明なベクトル解xが構成できる だから、両者は同値で、 ”Ax = 0 で非自明なベクトル解x”の存在は、行列が零因子であることの定義に使えるね! なおついでに、>>852の前段は、下記にあったね https://ja.wikipedia.org/wiki/%E6%AD%A3%E5%89%87%E8%A1%8C%E5%88%97 正則行列 http://rio2016.5ch.net/test/read.cgi/math/1677671318/876
878: 132人目の素数さん [sage] 2023/04/02(日) 18:25:46.62 ID:MWc2ll13 >>876 > Ax = 0 で非自明なベクトル解xをもつ > ↓(非自明なベクトルxを使って) > 非自明な行列Xが構成できて、AX=Oとできる > 逆に > 非自明な行列XでAX=O成立なら > ↓(非自明な行列Xを使って) > Ax = 0 なる非自明なベクトル解xが構成できる > だから、両者は同値で、 それは>>874にも書いた通り、全く否定してない つまり、上記は全く無駄な文章 > ”Ax = 0 で非自明なベクトル解x”の存在は、 >行列が零因子であることの定義に使えるね! おかしい 零因子は環の用語 任意の環の要素がベクトル間の線形写像というわけではない したがって、零因子という言葉の定義として 行列に限定した条件 「Ax = 0 なる非自明なベクトル解xが存在する」 を使うことはできない http://rio2016.5ch.net/test/read.cgi/math/1677671318/878
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.036s