単位行列

単位行列の積の確認

簡単な例として $2 \times 2$ の行列 $A$ があったとすれば、

A = (a c b d), E = (1001)

であり、

A E = (a \cdot 1 + b \cdot 0 c \cdot 1 + d \cdot 0 a \cdot 0 + b \cdot 1 c \cdot 0 + d \cdot 1), E A = (1 \cdot a + 0 \cdot c 0 \cdot a + 1 \cdot c 1 \cdot b + 0 \cdot d 0 \cdot b + 1 \cdot d)

となる。すべての行列について確認したわけではないが、感覚的に $A E = E A = A$ であることがわかる。

転置行列

なぜ左上にtを書くのか？

累乗と見分けがつきやすくするためで、どこに $t$ を置くかについてはさまざまな流派があるようだ。TeXでは ^t\!A と書くと綺麗にレンダリングできる。 $t$ は転置を表す transpose の頭文字を取ったものだ。Rustにも同名のメソッドがあるが、これは Option<Result<T, E>> と Result<Option<T>, E> を反転させる面白い働きをする。

行と列

横方向に並ぶ一筋を行(row)と呼び、縦方向に並んだ一筋を列(column)と呼ぶ。計算機科学でも同様で、データベースへの問合せでは、取得する列を指定して行単位で取得することになる。

HTMLではcolspanとrowspan属性が出てくるが、それぞれ横方向と縦方向のセル結合数を指定するため混乱しやすい。単一の行(列)と見ているか複数の行(列)と見ているかで少し意味の捉え方が異なってくるからだ。

ABの成分

次の行列要素の等式は少々理解が難しい。

k = 1 \sum n a_{j k} b_{k i} = k = 1 \sum n a_{k j}^{'} b_{ik}^{'} = k = 1 \sum n b_{ik}^{'} a_{k j}^{'}

行列 $A$ と $B$ の積は

A B = [k = 1 \sum n a_{ik} b_{k j}] = \sum a_{1 k} b_{k 1} \sum a_{2 k} b_{k 1} ⋮ \sum a_{nk} b_{k 1} \sum a_{1 k} b_{k 2} \sum a_{2 k} b_{k 2} ⋮ \sum a_{nk} b_{k 2} \dots \dots ⋱ \dots \sum a_{1 k} b_{k n} \sum a_{2 k} b_{k n} ⋮ \sum a_{nk} b_{k n}

で定義されることから、 $^{t} (A B)$ では $i$ と $j$ が入れ替わっているとわかる。つまり、 $^{t} (A B) = [\sum_{k = 1}^{n} a_{j k} b_{k i}]$ である。次に $a_{j k}$ と $b_{k i}$ に着目して置き換えれば、 $a_{k j}^{'}$ と $b_{ik}^{'}$ となり $\sum_{k = 1}^{n} a_{k j}^{'} b_{ik}^{'}$ に変形できる。

行列の各要素 $a_{ij}$ を求めるための計算順序は入れ替えても問題ないので、 $\sum_{k = 1}^{n} b_{ik}^{'} a_{k j}^{'}$ を得る。 $A B$ の式と照らし合わせると $^{t} A^{t} B$ の $(i, j)$ 成分であるので、 $^{t} (A B) =^{t} B^{t} A$ となる。

逆行列

例1.3

$(A B)^{- 1} = B^{- 1} A^{- 1}$ の両辺に左側から $A B$ を掛けると $(A B) (A B)^{- 1} = E = (A B) (B^{- 1} A^{- 1})$ となる。この式と逆行列の定義から $A B$ の逆行列が $B^{- 1} A^{- 1}$ と求まる。また、単純に $A B$ の逆行列は $(A B)^{- 1}$ であることから、 $(A B)^{- 1} = B^{- 1} A^{- 1}$ となる。

例1.4

$A = (a c b d)$ のとき、

= = = = A^{2} - (a + d) A + (a d - b c) E (a c b d) (a c b d) - (a + d) (a c b d) + (a d - b c) (1001) (a^{2} + b c a c + c d ab + b d b c + d^{2}) - (a^{2} + a d a c + c d ab + b d a d + d^{2}) + (a d - b c 0 0 a d - b c) (b c - a d 0 0 b c - a d) + (a d - b c 0 0 a d - b c) O

PL-HR7's Wiki

エクスプローラー

1-2. いろいろな行列