

n次正方行列Aとし、Aが正則の時階数rank(A)=nということの証明なのですが教科書には
"Aに基本変形をして階数標準形にする、つまりP,Qを基本行列の積、rank(A)=rとしてPAQ=F(r)。P,Qは正則であり、Aも正則とするとPAQも正則なのでrank(A)=nとなる。"
とありました。階数標準形は対角成分が1か0、対角成分以外は0のものでそれはわかります。P,Qが正則であることもわかります。しかし、PAQも正則なのでrank(A)=nのところがわかりません。冷静に考えて正則なら階数がnということを示す証明なので何か省略されているのだと思います。ちなみにこのページまでに行列式はまだふれられていません。また正則ならかけても階数を変えないなどのこともふれられていません。転置行列に関してはもう扱っているようでした。一体どう証明しているのか気になります、教えていただきたいです。
No.2ベストアンサー
- 回答日時:
背理法により、F(r)が正則⇒F(r)の対角成分はすべて1(つまりF(r)は単位行列)、だからです。
(証明)
n次正方行列Xが正則 ⇔ XA=AX=E (Eはn次単位行列) となるようなn次正方行列Aがある
ですから、
F(r)のどこかの(k,k)成分が0であれば、
F(r)のk行、およびk列はすべて0であり、行列の掛け算の定義から
任意の正方行列Aについて、F(r)Aのk行成分はすべて0、AF(r)のk列成分もすべて0 です。
なので、F(r)A,AF(r)が単位行列になることはありません。
したがって、F(r)のすべての対角成分は1です。
No.3
- 回答日時:
ポイントは、次元定理かな。
A が n 次正方行列であれば、 dim Im A + dim Ker A = n が成り立ちます。
これに、dim Im A = rank A と、
A が正則 ⇔ 逆行列 A^-1 が存在 ⇔ 写像 x→Ax が全単射 と
写像 x→Ax が単射 ⇒ Ker A = { 0 } を組み合わせると、
rank A + 0 = n が導けます。
この過程で、階段行列がどうとか標準変形がどうとかの
行列の成分計算と関係するのは、
dim Im A = rank A に関して rank の定義と深く関わる部分:
rank A = (行列 A の小行列で行列式が ≠ となるものの最大次数)
= (行列 A の列で一次独立なものの最大数)
= (行列 A の行で一次独立なものの最大数)
という公式です。
これさえ成分計算で示せてしまえば、あとは線型写像に関する議論で済みます。
美しい定理に醜い証明は無用だと思うのです。
No.1
- 回答日時:
●線形代数入門、斎藤、定理4.3 のことと思います。
PAQ=F(r) が正則なら、0≠|PAQ|=|F(r)| であり、r<n なら
|F(r)|=0 なので、r=n となる。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
これマイナカード推進のための...
-
履歴書で証明写真を提出した次...
-
中古車購入の契約を進めていて...
-
15日まで2100円で生活しなきゃ...
-
1年以上前に発送したレターパッ...
-
頭の悪い人で面白い文章を書く...
-
数学の「証明」のときなどの接...
-
よって・ゆえに・したがって・∴...
-
車庫証明について
-
夫が亡くなった後の義理家族と...
-
√2×√3=√6となることを証明せよ...
-
証明終了の記号。
-
力*距離 (仕事) が変速にお...
-
「証明証」と「証明書」はどう...
-
元夫が彼女の存在を隠す理由
-
親の再婚相手との問題です。私...
-
正解が一つとは限らない数学の...
-
√nが有理数ならばnが整数 証明 ...
-
47歳、母親の再婚を子供の立場...
-
3,4,7,8を使って10を作る
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
数学の「証明」のときなどの接...
-
15日まで2100円で生活しなきゃ...
-
履歴書で証明写真を提出した次...
-
回路理論の相反定理
-
夫が亡くなった後の義理家族と...
-
頭の悪い人で面白い文章を書く...
-
数学の証明問題で、「証明終了」...
-
素数の積に1を加算すると素数で...
-
(4^n)-1が3の倍数であることの...
-
証明終了の記号。
-
√2×√3=√6となることを証明せよ...
-
中3数学 2つの続いた整数では、...
-
「証明証」と「証明書」はどう...
-
47歳、母親の再婚を子供の立場...
-
よって・ゆえに・したがって・∴...
-
親の再婚相手との問題です。私...
-
普段 身分証明書って持ち歩いて...
-
rot rotA=grad divA-∇^2Aの証明...
-
正の整数a.b.cが a^2+b^2=c^2を...
-
車庫証明について
おすすめ情報