線形代数事始め① 線形性と行列


# TL;DR

> マトリックスは全てだ。
> 至るところにある。
> 今、この部屋の中にもだ。
> 窓から外を見るときもテレビを付けるときもそれはそこにある
> 仕事中、教会、納税するときも
> *The Matrix*

# 線形性とは

関数 $f(\mathbf{x})$ が持つ以下の性質を線形性といいます。

```math
\begin{align*}
&\text{加法性} \; &f(\mathbf{a} + \mathbf{b}) \;&=\; f(\mathbf{a}) + f(\mathbf{b}) \\
&\text{斉次性} \; &f(k\mathbf{a}) \;&=\; k \; f(\mathbf{a})
\end{align*}
```

# 平行四辺形の面積は線形性を持つ

関数 $f(a,b)$ は平行四辺形の面積を求める関数だとすると、この関数は線形性を持ちます。
実際に確かめてみます。

$f(a,\; b)$ は、以下の平行四辺形の面積を表す。
<img width="311" alt="IMG_FE1C2540359C-1.jpeg" src="https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/70065/aedaba06-18ca-7bb2-34ac-c97bd33c4c57.jpeg">

## 加法性の確認

$f(a+a',\; b) = f(a,\;b) + f(a',\;b)$
<img width="348" alt="IMG_DFE2EB277546-1.jpeg" src="https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/70065/40906f3b-1feb-13bd-4eea-21be498e9c0e.jpeg">

$f(a+a',\; b+b') = f(a,\;b) + f(a',\;b) + f(a,\;b') + f(a',\;b')$
<img width="403" alt="IMG_7C41A8F9B3D6-1.jpeg" src="https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/70065/8f05ef86-44ec-6457-08e4-e0102c8b4f84.jpeg">

## 斉次性の確認

$f(ka,\; b) = k\;f(a,\;b)$
<img width="391" alt="IMG_A19DCE689E0A-1.jpeg" src="https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/70065/d89b3f7f-8d4b-42e5-4399-cd01c86028a3.jpeg">

$f(ka,\; kb) = k^{2}\;f(a,\;b)$
<img width="399" alt="IMG_0DF77509ADD1-1.jpeg" src="https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/70065/b2ec08d3-e8ea-64a2-d667-6e4f35a9ac51.jpeg">

# 線形性を持つ関数は行列になる

平行四辺形の面積以外にもオームの法則やニュートンの運動方程式、波の重ね合わせなど自然現象は線形性を持ちます。

また関数が線形性を持つ場合、**その関数は行列に変換することができます**。

以下、具体的に線形性の持つ関数から行列を求めてみます。

# 線形性から行列へ

とある倉庫では、荷物を横(x),縦(y),奥(z) の３つのパラメーターで表しています。
また各パラメーターはわかりやすいように縦にして表示し、値は **50cm** ものさし何個分かで記録していました。
<img width="701" alt="IMG_B47FE141BB14-1.jpeg" src="https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/70065/d40f7095-9dcf-6558-54f0-5fe8b9f2384c.jpeg">

荷物をx,y,zで管理することで以下の等式で表すことができるようにもなっています。

```math
\begin{pmatrix}
x \\
y \\
z
\end{pmatrix} = 
x
\begin{pmatrix}
1 \\
0 \\
0
\end{pmatrix} + 
y
\begin{pmatrix}
0 \\
1 \\
0
\end{pmatrix} + 
z
\begin{pmatrix}
0 \\
0 \\
1
\end{pmatrix}
```

例 横幅100cm, 縦幅150cm, 奥行き50cmの荷物の場合

```math
\begin{pmatrix}
x \\
y \\
z
\end{pmatrix} = 
\begin{pmatrix}
2 \\
3 \\
1
\end{pmatrix} 
```

しかしながら、50cmものさしから10cmものさしへと切り替えることになりました。
このとき50cmものさしから10cmものさしへの変換を表す関数$f(x, y, z)$ と置くと、この関数は線形性を持ちます。

つまりこの関数は以下のようにして行列に置き換えることが可能です。

```math
\begin{align} 
f\left(\;
\begin{pmatrix}
x \\
y \\
z
\end{pmatrix}
\;\right) &= 
f\left(\;
x
\begin{pmatrix}
1 \\
0 \\
0
\end{pmatrix} + y
\begin{pmatrix}
0 \\
1 \\
0
\end{pmatrix} + z
\begin{pmatrix}
0 \\
0 \\
1
\end{pmatrix}
\;\right) \quad - ① \\
&= f\left(\;
x
\begin{pmatrix}
1 \\
0 \\
0
\end{pmatrix}
\;\right) + 
f\left(\;
y
\begin{pmatrix}
0 \\
1 \\
0
\end{pmatrix}
\;\right) + 
f\left(\;
z
\begin{pmatrix}
0 \\
0 \\
1
\end{pmatrix}
\;\right) \quad - ② \\
&= x\; f\left(\;
\begin{pmatrix}
1 \\
0 \\
0
\end{pmatrix}
\;\right) + 
y\; f\left(\;
\begin{pmatrix}
0 \\
1 \\
0
\end{pmatrix}
\;\right) + 
z\; f\left(\;
\begin{pmatrix}
0 \\
0 \\
1
\end{pmatrix}
\;\right) \quad - ③ \\
&=
\begin{pmatrix}
f
\begin{pmatrix}
1 \\
0 \\
0
\end{pmatrix} \;
f
\begin{pmatrix}
0 \\
1 \\
0
\end{pmatrix} \;
f
\begin{pmatrix}
0 \\
0 \\
1
\end{pmatrix} \;
\end{pmatrix} \;
\begin{pmatrix}
x \\
y \\
z
\end{pmatrix} \quad - ④\\
&= 
\begin{pmatrix}
5 & 0 & 0 \\
0 & 5 & 0 \\
0 & 0 & 5
\end{pmatrix} \;
\begin{pmatrix}
x \\
y \\
z
\end{pmatrix} \quad - ⑤
\end{align}
```

従って、

```math
f\left(\;
\begin{pmatrix}
2 \\
3 \\
1
\end{pmatrix}
\;\right) = 
\begin{pmatrix}
10 \\
15 \\
5
\end{pmatrix}
```

**NOTE:**

* ① → ② **加法性**から関数を分割
* ② → ③ **斉次性**から係数を関数の外へ
* ③ → ④ 係数を**行列に変換**

# まとめ

線形代数は、関数から線形性という性質を抜き出して抽象化した学問です。
線形性を持つ関数は、加法性、斉次性という性質を用いて関数を分割し、係数を外に取り出し、行列に変換することができました。
(50cmものさしから10cmものさしへの変換は、線形代数の専門用語でいうところの基底の変換になっています。)

[第２章](https://qiita.com/ysn551/items/f8714730cdeb85e5817e) では線形代数における「数」と「関数」について紹介します。

# Appendix

平行四辺形の面積からも行列が作れます。
これは、高さと底辺という基底から面積という基底に変換されています。
a, bは0より大きい実数とします。

```math
\begin{align}
f
\begin{pmatrix}
a \\
b
\end{pmatrix} &= 
\begin{pmatrix}
x_1 & x_2
\end{pmatrix}
\begin{pmatrix}
a \\
b
\end{pmatrix} \\
&= ab
\\
\therefore ax_1 &+ bx_2 = ab \\
\end{align}
```

であるから、

```math
\begin{align}
x_2 &= s \quad \text{(sは任意の実数)} \\
x_1 &= \frac{b\;(a - s)}{a}
\end{align}
```

ゆえに平行四辺形形の面積を表す行列は以下になります。

```math
\begin{align}
f
\begin{pmatrix}
a \\
b
\end{pmatrix} &= 
\begin{pmatrix}
\frac{b\;(a - s)}{a} & s
\end{pmatrix}
\begin{pmatrix}
a \\
b
\end{pmatrix}
\end{align} \quad \text{sは任意の実数}
```