「線形代数の基礎 - 行列の基本変形・rank・行列式の求め方」の版間の差分

提供:MochiuWiki : SUSE, EC, PCB
ナビゲーションに移動 検索に移動
 
(同じ利用者による、間の1版が非表示)
128行目: 128行目:
\end{vmatrix}
\end{vmatrix}
= 4
= 4
</math>
</math><br>
<br><br>
<br><br>
{{#seo:
|title={{PAGENAME}} : Exploring Electronics and SUSE Linux | MochiuWiki
|keywords=MochiuWiki,Mochiu,Wiki,Mochiu Wiki,Electric Circuit,Electric,pcb,Mathematics,AVR,TI,STMicro,AVR,ATmega,MSP430,STM,Arduino,Xilinx,FPGA,Verilog,HDL,PinePhone,Pine Phone,Raspberry,Raspberry Pi,C,C++,C#,Qt,Qml,MFC,Shell,Bash,Zsh,Fish,SUSE,SLE,Suse Enterprise,Suse Linux,openSUSE,open SUSE,Leap,Linux,uCLnux,Podman,電気回路,電子回路,基板,プリント基板
|description={{PAGENAME}} - 電子回路とSUSE Linuxに関する情報 | This page is {{PAGENAME}} in our wiki about electronic circuits and SUSE Linux
|image=/resources/assets/MochiuLogo_Single_Blue.png
}}


__FORCETOC__
__FORCETOC__
[[カテゴリ:線形代数]]
[[カテゴリ:線形代数]]

2024年11月1日 (金) 04:16時点における最新版

概要

ここでは、行列の基本変形の意味とその応用(rankや行列式の求め方)について記載する。

行基本変形

以下の3つの操作を行基本変形という。

  • 操作 1 : i行目とj行目を交換する。
  • 操作 2 : i行目をc倍する。(c≠0)
  • 操作 3 : j行目のc倍をi行目に加える。



列基本変形

行の場合と同様に、以下の3つの操作を列基本変形という。

  • 操作 1 : i列目とj列目を交換する。
  • 操作 2 : i列目をc倍する。(c≠0)
  • 操作 3 : j列目のc倍をi列目に加える。


列基本変形は、正則行列を右から乗算することに対応している。(行基本変形の場合と同様に説明できる)


行基本変形と正則行列

行基本変形は、正則行列を左から乗算することに対応している。
操作1から順に説明していく。

操作 1
単位行列のi行とj行を交換した行列P(i, j)を左から乗算することに対応している。

例えば、を3×3の行列に左から乗算すると、となり、
2行目と3行目が交換される。
なお、P(i,j)の行列式は、−1なので正則である。

操作2
単位行列のii成分をcとした行列P(i;c)を左から乗算することに対応している。
例えば、に左から乗算すると、となり、2行目が6倍される。
なお、P(i;c)の行列式はcなので正則である。

操作3
単位行列のij成分をcとした行列P(i,j;c)を左から乗算することに対応している。
例えば、に左から乗算すると、となり、
3行目の6倍が2行目に加算される。
なお、P(i,j;c)の行列式は1なので正則である。


行基本変形でrankを求める

与えられた行列に対して、行基本変形を繰り返す(適当な正則行列を左から乗算する)ことで、下図のような階段形にすることができる。

Elementary Matrix 1.jpg


正則行列を乗算してもrankは変わらないので、この階段形の行列のrankは元の行列のrankと一致する。
そして、階段形の行列のrankは一瞬で求まる。(0でない成分がある行の数)


行基本変形で行列式を求める

与えられた正方行列Aに対して、行基本変形を繰り返す(適当な正則行列Sを左から乗算する)ことで、階段形R(上三角行列)にすることができる。
つまり、である。
したがって、であり、

  • detRは、対角成分の積で簡単に求まる。
  • detSも、変形の過程を見れば分かる。(操作2のcの積)

ので、detAが求まる。

備考 : 上三角行列と下三角行列

n×nの正方行列に於いて、
ならばを満たす行列を上三角行列
ならばを満たす行列を下三角行列
という。


上三角行列は、対角成分よりも下側の成分が0である行列である。
3×3の例 :

下三角行列は、対角成分よりも上側の成分が0である行列である。
3×3の例 :

上三角行列と下三角行列を総称して三角行列とよぶ。


行列の性質

単位行列の行列式





交代性




多重線形性