![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?e8efa67)
線形代数で行列の「正則」で悩んでいます。
手持ちの線形代数の本ではどの本も 「正則」の「定義」が
正方行列 A に対して XA = AX = E(単位行列)
となる X が存在する場合 A は「正則」である。
と定義し、これを出発点として様々な定義を導いています。
これはこれでよいのですが、しかし、よく考えてみると
1) XA=E が存在する場合 A は正則とする(左逆行列による正則の定義)
2) XA=E が存在する場合AX'=E が存在する(右逆行列の存在定理)
3) X = X' (左逆行列 と 右逆行列の同一性の定理)
というように、定義は基本的な定義と2個の定理に
分解できるような気がします。
定理なら証明が必要と思い、いろいろ考えてみたのですが、
1),かつ2) ⇒ 3) は XAX' = X = X' なので簡単なのですが、
2) をどうしても証明できません。
そもそもこのような定義から出発するのは間違っているのでしょうか?
また、2)の証明が載っている参考書はありませんでしょうか?
以上よろしくお願い致します。
No.2ベストアンサー
- 回答日時:
齋藤正彦『線型代数入門』(東大出版、1966年)は
XA=AX=EとなるXの存在でAの正則性を定義(p.41)しつつ、
区分けや基本変形を説明した上で、
「XA=EとなるXが存在すればAは正則、AX=EとなるXの存在を仮定しても同様」(p.49)を証明してる。
ちなみに行列の次数に関する帰納法を使って。
この回答への補足
報告です。
斎藤さんの証明では、掃き出しと区分けを使ってn-1次で成り立つなら
n次 でも成り立つことを示すという筋書きですね。
予備的な証明が結構必要ですが、それでもシンプルで美しいと思います。
他にも、ネットを探っていたら
1) 左逆行列が存在する時、右からのガウスジョルダンが最後まで成功することを
基本行列の性質と行列の結合則を使って背理法で示す方法。
2) 余因子行列を行列式で割ったものが、右逆行列と左逆行列になることを
強引に泥臭く計算で示す方法
などがありました。ここでは配列の数式を書くのが困難なので、これで失礼します。
No.1
- 回答日時:
手元で何冊かあさってみましたが, あんまり触れている本はないですね.
逆に言えば全くないわけでもなく,
「基礎から学ぶ行列と行列式」(秋山献之ら著, 培風館)
には「XA = AX = E」で逆行列を定義した後で定理として「XA = E または AX = E ならば X は A の逆行列」と書いています (ただし証明はなし).
また, さらに古い本ですが
「線形代数とその応用」(G. ストラング著, 山口昌哉監訳, 井上昭訳, 産業図書)
では
「長方形行列については, (左右の逆行列のうち) 一方の逆行列は存在するが他方は存在しないが, 正方行列ではこのようなことはない」
(カッコ内は私が補足) と述べ, (ガウスの消去法に基づく) 概略を示しています.
もっとも, ケイリー・ハミルトンの定理を仮定していいなら簡単だけどね.
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・ゆるやかでぃべーと タイムマシンを破壊すべきか。
- ・「I love you」 をかっこよく翻訳してみてください
- ・歩いた自慢大会
- ・許せない心理テスト
- ・字面がカッコいい英単語
- ・昔のあなたへのアドバイス
- ・かっこよく答えてください!!
- ・あなたが好きな本屋さんを教えてください
- ・スタッフと宿泊客が全員斜め上を行くホテルのレビュー
- ・【大喜利】【投稿~8/27】 こんなガソリンスタンド二度と来るか!なぜそう思った?
- ・これ何て呼びますか Part2
- ・人生で一番思い出に残ってる靴
- ・【お題】動物のキャッチフレーズ
- ・【お題】甲子園での思い出の残し方
- ・ゆるやかでぃべーと すべての高校生はアルバイトをするべきだ。
- ・「それ、メッセージ花火でわざわざ伝えること?」
- ・自分用のお土産
- ・人生で一番お金がなかったとき
- ・一番好きなみそ汁の具材は?
- ・泣きながら食べたご飯の思い出
- ・ちょっと先の未来クイズ第1問
- ・ゴリラ向け動画サイト「ウホウホ動画」にありがちなこと
- ・初めて自分の家と他人の家が違う、と意識した時
- ・単二電池
- ・チョコミントアイス
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
無限から無限を引いたら何にな...
-
1未満と1以下の違い
-
日本語 ことば ひとまわり ふた...
-
べき乗
-
複雑な家庭とは
-
“半日”って何時間のことなんで...
-
数学の両辺2乗と√について教え...
-
微分積分の問題です
-
アフィン空間の定義を簡潔に言...
-
ヘシアンが0の場合どうやって極...
-
2進数の符号ビットの入った数...
-
「互いに素」の定義…「1と2は互...
-
虚数含めてどんな数でも0乗し...
-
反ユニタリ演算子について質問...
-
0に限りなく近い数は存在するの?
-
-2は2の倍数ですか?
-
右逆行列の存在証明
-
最大公約数
-
eの0乗は1ってどういう原理です...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
無限から無限を引いたら何にな...
-
複雑な家庭とは
-
「互いに素」の定義…「1と2は互...
-
べき乗
-
日本語 ことば ひとまわり ふた...
-
1未満と1以下の違い
-
最大元と極大元の定義の違いが...
-
p⇒q=(¬p)∨qについて
-
「logx^2=2logx」が間違って...
-
eの0乗は1ってどういう原理です...
-
ヘシアンが0の場合どうやって極...
-
ACCESS VBAでインポート定義の場所
-
ACCESS IIF関数 複数条件の設...
-
画像の説明で一番最後の閉包作...
-
5桁の整数nにおいて,万の位,...
-
“半日”って何時間のことなんで...
-
0^1(0の1乗)はいくつでしょ...
-
√6=√(-2)(-3)=√(-...
-
lim n→0 =n=0となりますが lim ...
おすすめ情報