バックナンバーはこちら。
https://www.simulationroom999.com/blog/compare-matlabpythonscilabjulia-backnumber/
はじめに
前回は二元一次方程式を書き出し、これをベクトルの内積で表現し直した。
さらにそれを行列で表現し直した。
これが最もシンプルな行列の性質を示している。
今回は、前回の式をもう少し砕いて説明しつつ、これを拡張。
登場人物
博識フクロウのフクさん

イラストACにて公開の「kino_k」さんのイラストを使用しています。
https://www.ac-illust.com/main/profile.php?id=iKciwKA9&area=1
エンジニア歴8年の太郎くん

イラストACにて公開の「しのみ」さんのイラストを使用しています。
https://www.ac-illust.com/main/profile.php?id=uCKphAW2&area=1
入力、変換、出力

前回の連立方程式を行列演算にしたものを再掲する。
\(
\begin{bmatrix}
x\prime \\
y\prime
\end{bmatrix}=
\begin{bmatrix}
a & b \\
c & d
\end{bmatrix}
\begin{bmatrix}
x \\
y
\end{bmatrix}
\)

最もシンプルな行列ってところだよねー。

この構成、それぞれの要素に名前と言うか意味がある。

どんな?

こんな感じだな。
\(
\begin{bmatrix}
x\prime \\
y\prime
\end{bmatrix}=
\begin{bmatrix}
a & b \\
c & d
\end{bmatrix}
\begin{bmatrix}
x \\
y
\end{bmatrix}
\)
[出力ベクトル]=[変換行列][入力ベクトル]

あ、そういう意味か。
確かに入力と変換を経て出力って構成だね。
入力ベクトルと出力ベクトルを行列に拡張

上記の入力ベクトルと出力ベクトルを行列に拡張できる。
\(
\begin{bmatrix}
x_1^\prime & x_2^\prime\\
y_1^\prime & y_2^\prime
\end{bmatrix}=
\begin{bmatrix}
a & b \\
c & d
\end{bmatrix}
\begin{bmatrix}
x_1 & x_2 \\
y_1 & y_2
\end{bmatrix}
\)
[出力ベクトル1,出力ベクトル2]=[変換行列][入力ベクトル1,入力ベクトル2]

なんか全部行列になった・・・。

考え方は入出力がベクトルの時と一緒だ。
入力の列ベクトルが2つ並んで、2×2の行列になって、
それに伴って出力の列ベクトルも2つになるので、2×2の行列になってるだけだな。

なるほど。
入力、出力に着目すると確かに納得な構成に見えるな。

ポイントは、全部2×2の行列だけど、
数式の位置によって意味が変わるってところだな。

あー、そもそも位置によって意味が全然違うってことなのかー。
行列のここら辺が妙なややこしさになってる気がするな―。

行列を嫌ってる人ってたぶんこの部分をすっ飛ばしてしまってるんじゃないかな?
これが分かっていれば、大半の行列は読めるというか、便利に使えると思うよ。

確かに行列に対する妙なモヤが晴れた気がする。
まとめ

まとめだよ。
- 連立方程式を行列演算にしたものを再掲。
- 上記の構成は[出力ベクトル]=[変換行列][入力ベクトル]となる。
- これの入力、出力を列ベクトル2セットにすると2×2の行列になる。
- すべて2×2行列になるが、数式上の位置によって、入力、変換、出力と意味が異なる。
- このルールをすっ飛ばしてる行列嫌いになるかも?
バックナンバーはこちら。
コメント