No.1ベストアンサー
- 回答日時:
いつもながら日本語が変なんだけど
正方行列Aの右逆行列 AX=E のXが存在する時
Aの左逆行列 YA=E のYも存在して、X=Y
を示す
という話なら 、後半のX=Yのの部分は
行列の積の結合則から
YAX=EX=X=YE=Y
で充分だと思う。証明にXとYの逆行列の存在は不要です。
難しいのは「Aの右逆行列が存在するなら左逆行列も存在する」
を証明すること。これを証明しないとX=Yもへったくれも無いのだが、
「存在する」を公理のように扱っている手抜き教科書わりと多いよね。
No.6
- 回答日時:
ちとかくにん.
・XA = E なら AX = E
・XA = E かつ AY = E なら X=Y
この 2つは同じでしょうか, それとも違うでしょうか?
No.4
- 回答日時:
No.1 の言うとおり。
「A に右逆行列 X があれば左逆行列もあって両者は等しい」
ってことを示すために、X に左逆行列 A があるからって
X に右逆行列があることを仮定しちゃあ、露骨な循環論法でしょ。
XZ = X のほうは、X(Z-E) = O ってことだから、
X が正則なら X-E = O が成り立つし、非正則なら反例がある。
AX = E の下でってことなら、
XZ = X の両辺左から A を掛ければいい。
もともとの逆行列に関する話は、
素直に素朴にやったらどうだろう?
使うものは、ケイリー・ハミルトンだけで済む。
A を n 次正方行列として
det(A-xE) = φ(x) = Σ[k=0..n](c_k)x^k と定義すると、
ケイリー・ハミルトンの定理から Σ[k=0..n](c_k)A^k = O が成り立つ。
c_0 = φ(0) = detA より、この式は detA ≠ 0 のとき
E = (1/detA)Σ[k=1..n](-c_k)A^k と変形することができ、
X = (1/detA)Σ[k=1..n](-c_k)A^(k-1) と置けば
E = AX = XA と書ける。
X は A の多項式で定義されているから、
AX = XA は自明である。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 高校数学Ⅲの、微分法・指数関数の導関数で 次の関数を微分せよという問題がありまして、 y=(x-1) 7 2022/05/26 12:35
- 計算機科学 ディジタル信号の問題がわかりません 1 2022/05/11 21:12
- 世界情勢 はい出た!オミクロンXE! なんかアリナミンEX的なやつだが、イギリス産だそうな。やっぱり白人は、ば 2 2022/04/07 21:09
- 数学 えまっていみわからない 3 2023/09/03 11:45
- 数学 y''+ 2y'+2y= xe^(-2x)の特殊解の求め方が分かりません 特殊解をy=(ax+b)e 2 2022/06/24 03:10
- 数学 一般的な行列の逆行列に関する質問 3 2022/04/21 14:53
- 物理学 テンソル ひずみのマトリクス表記 3 2022/04/23 21:22
- Visual Basic(VBA) 【マクロ】フォルダにファイルが1つも無い時に、ファイルがありませんとメッセージを表示する 4 2022/08/28 08:48
- 数学 線形代数 正則 階数 3 2023/03/22 07:52
- 数学 代数学のわからない問題を教えて頂きたいです。 つぎのn次正方行列の集合Hはn次一般線形群GL(n,R 5 2022/11/19 20:47
このQ&Aを見た人はこんなQ&Aも見ています
-
プロが教える店舗&オフィスのセキュリティ対策術
中・小規模の店舗やオフィスのセキュリティセキュリティ対策について、プロにどう対策すべきか 何を注意すべきかを教えていただきました!
-
すべての自然数とすべての実数を1対1に対応させる方法:ファイナル
数学
-
これて最後どうやりますか??
数学
-
このルートを外す計算どうすればいいですか?
数学
-
-
4
自然定数を底にしたときの、log(π) の 手計算での値は
数学
-
5
中二数学について質問です。 整数の性質のところで、nを整数とすると2の倍数は2n、3の倍数は3nなど
数学
-
6
数学 ある自然数a,b,c,dは互いに素とし、 a/b>c/dという不等式が成り立つなら なぜb/a
数学
-
7
数学I アホらしい質問なのでそんなこと考えることは無駄などの解答は受け付けておりません。 また自分的
数学
-
8
過去質『すべての自然数とすべての実数を1対1に対応させる方法:ファイナル』について
数学
-
9
下の画像の中の三角形は正方形だ、と友達が言っていたのですが、その根拠のようなものはありますか? 二等
数学
-
10
全然わからないので質問する資格がないかもですが
数学
-
11
返信の続きはありますか
数学
-
12
確率の問題 数学と実生活と
数学
-
13
おしえてgooに図形の問題を投稿したら、削除されました。なぜでしょう?
数学
-
14
複雑な二項係数の和
数学
-
15
ここの計算ってどうやってやってるんですか? 一回√の中身を筆算で解いてから素因数分解してるのでしょう
数学
-
16
大学入試の数学で、解答を進めていった結果2次方程式を解かなければいけなくなった時に、たとえばx^+x
数学
-
17
数検2級の問題のついてです。 どうしてc +1をするのでしょうか?1を足す意味がわかりません。教えて
数学
-
18
標準偏差
数学
-
19
n^2+n-4032はどうやって解くんですか? n=-64,63になるらしいですがそんなのどうやって
数学
-
20
なんでですか?
数学
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
行列 線形代数 "diag"って何...
-
正値ってなんですか
-
調和振動子のハミルトニアンの...
-
行列の積が可換である必要十分条件
-
固有値、固有ベクトル、対角化....
-
3x3行列の固有値と固有ベクト...
-
行列でAB=Eの時、Bは一意的に決...
-
線形代数 Im f・Ker fの次元と基底
-
次元とランク
-
線形代数の問題です。またお願...
-
二次形式に関する質問です
-
線形代数学の行列の問題です。 ...
-
行列の括弧
-
ジョルダン標準形の求め方が?
-
KerとImの基底を求める問題がわ...
-
正則行列と階数の問題
-
固有ベクトルの正規化について
-
f(z)=z|z|が正則であるかどうか...
-
2次行列Aにある値を対応させる...
-
線形代数[行列]の証明問題
おすすめ情報
佐武さんのにちゃんとかいてありました。
AX = E
YA = E
で家庭して X = EX = YAX = YE = Y
でできました~