1. ベクトルの定義
(1) ベクトルの定義と表記
:::proposition{title=”定義1.1: ベクトル”}
$a_1, a_2, \cdots, a_n$を$1, 2, 3+i$などの数とすると、ベクトルとは以下のように数を縦に複数を並べたもので、記号としては$\mathbf{a}$のようにボールド体を用いて表します。
$$
\begin{align}
\mathbf{a} = \begin{pmatrix} a_1 \\ a_2 \\ \vdots \\ a_n \end{pmatrix}
\end{align}
$$
なお、以下のように数を横に並べてベクトルとする場合もありますが、特に縦横の指定がなくベクトルが定義された場合は縦に数字を並べたベクトルと解釈することに注意して下さい。
$$
\begin{align}
\mathbf{a’} = (a_1, a_2, \cdots, a_n)
\end{align}
$$
$\mathbf{a}$と$\mathbf{a’}$は数学的に異なり、両者を区別するために$\mathbf{a}$を縦ベクトル、$\mathbf{a’}$を横ベクトルと呼びます。後述する行列の考え方を用いると、$\mathbf{a}$は$n$行$1$列の行列で、$\mathbf{a’}$は$1$行$n$列の行列としてはっきり区別されます。
※ より正確に述べますと、単純に数を並べただけではベクトルとは呼びません。後述する和(差)とスカラー倍が決められている場合にベクトルと呼びます。
:::
(2) ベクトルの次元と成分
:::proposition{title=”定義1.2: 次元と成分”}
並べられた数が$n$個のベクトルは$n$次元のベクトルと呼びます。また、並べられたそれぞれの数はベクトルの成分と言います。
ベクトルの次元と成分を簡潔に表記する方法があります。まず、実数全体の集合を$\mathbb{R}$、複素数全体の集合を$\mathbb{C}$と表記します。また、成分が全て実数の$n$次元ベクトル全体の集合を$\mathbb{R}^n$、成分に複素数を含む$n$次元ベクトル全体の集合を$\mathbb{C}^n$と表記します。このとき、ベクトル$\mathbf{a}$が実数成分の$n$次元ベクトルであること、すなわち$n$次元の実ベクトルであることを$\mathbf{a} \in \mathbb{R}^n$、成分に複素数を含む$n$次元のベクトル、すなわち$n$次元の複素ベクトルであることを$\mathbf{a} \in \mathbb{C}^n$と表記します。
:::
(3) 様々なベクトル(1)：ゼロベクトル
:::proposition{title=”定義1.3: ゼロベクトル”}
すべての成分が0であるベクトルをゼロベクトルと呼び、$\mathbf{0}$ や $\begin{pmatrix} 0 \\ \vdots \\ 0 \end{pmatrix}$ と表記します。
:::
(4) 様々なベクトル(2)：単位ベクトル
:::proposition{title=”定義1.4: 単位ベクトル”}
単位ベクトルとは、大きさ（ノルム）が1のベクトルです。
※ ノルムの詳細については1章4節を参照して下さい。
:::
(5) 様々なベクトル(3)：幾何ベクトル
:::proposition{title=”定義1.5: 幾何ベクトル”}
2次元または3次元のベクトルは原点からその成分が表す座標への矢印とみなすことが可能であり、その意味でベクトルは大きさと向きを持つ量とも言えます。
このようにベクトルの幾何学的側面を強調して記述する場合、そのベクトルを幾何ベクトルと呼び、$\vec{OA}$のように表します。
:::
(6) 様々なベクトル(4)：位置ベクトル
:::proposition{title=”定義1.6: 位置ベクトル”}
原点を始点として平面や空間上の点 $P(x, y, z)$ などへのベクトルを特に位置ベクトルと呼び、以下のように表現されます。
$$
\begin{align}
\mathbf{r} = \begin{pmatrix} x \\ y \\ z \end{pmatrix}
\end{align}
$$
:::
(7) 様々なベクトル(5)：方向ベクトル
:::proposition{title=”定義1.7: 方向ベクトル”}
直線や線分と平行なベクトルを方向ベクトルといいます。
2点 $A(x_1, y_1, z_1)$, $B(x_2, y_2, z_2)$ を通る直線の方向ベクトルは以下です。
$$
\begin{align}
\vec{AB} = \begin{pmatrix} x_2 – x_1 \\ y_2 – y_1 \\ z_2 – z_1 \end{pmatrix}
\end{align}
$$
また、以下の直線の方程式においては方向ベクトルが$\begin{pmatrix} a \\ b \\ c \end{pmatrix}$で与えられます。
$$
\begin{align}
\frac{x-x_0}{a}=\frac{y-y_0}{b}=\frac{z-z_0}{c}
\end{align}
$$
※ 空間の直線の方程式の詳細については2章を参照して下さい。
:::
(8) 様々なベクトル(6)：法線ベクトル
:::proposition{title=”定義1.8: 法線ベクトル”}
ある直線や平面に対して垂直なベクトルを法線ベクトルといいます。
例えば、直線 $ax + by + c = 0$ に対する法線ベクトルは
$$
\begin{align}
\mathbf{n} = \begin{pmatrix} a \\ b \end{pmatrix}
\end{align}
$$
です。
また、平面 $ax + by + cz + d = 0$ に対する法線ベクトルは
$$
\begin{align}
\mathbf{n} = \begin{pmatrix} a \\ b \\ c \end{pmatrix}
\end{align}
$$
です。
※ 平面の方程式の詳細については2章を参照して下さい。
:::
2. ベクトルの和と差
(1) ベクトル和の定義
:::proposition{title=”定義1.9: ベクトルの和”}
$\mathbf{a} \in \mathbb{C}^n$と$\mathbf{b} \in \mathbb{C}^m$の和は次元が等しい場合、つまり$n=m$場合に定義され$\mathbf{a}+\mathbf{b}$と表記し、その成分は対応する成分の和とします。すなわち、$\mathbf{a}=\begin{pmatrix}a_1\\ \vdots \\ a_n\end{pmatrix}$, $\mathbf{b}=\begin{pmatrix}b_1 \\ \vdots \\ b_n \end{pmatrix}$とすると、$\mathbf{a}$と$\mathbf{b}$の和は以下です。
$$
\begin{align}
\mathbf{a} + \mathbf{b} = \begin{pmatrix} a_1 + b_1 \\ \vdots \\ a_n + b_n \end{pmatrix}
\end{align}
$$
:::
(2) ベクトルの差の定義
:::proposition{title=”定義1.10: ベクトルの差”}
$\mathbf{a} \in \mathbb{C}^n$と$\mathbf{b} \in \mathbb{C}^m$の差は次元が等しい場合、つまり$n=m$場合に定義され$\mathbf{a}-\mathbf{b}$と表記し、その成分は対応する成分の差とします。すなわち、$\mathbf{a}=\begin{pmatrix}a_1\\ \vdots \\ a_n\end{pmatrix}$, $\mathbf{b}=\begin{pmatrix}b_1 \\ \vdots \\ b_n \end{pmatrix}$とすると、$\mathbf{a}$と$\mathbf{b}$の差は以下です。
$$
\begin{align}
\mathbf{a} – \mathbf{b} = \begin{pmatrix} a_1 – b_1 \\ \vdots \\ a_n – b_n \end{pmatrix}
\end{align}
$$
:::
(3) 和(差)の性質
:::proposition{title=”交換法則”}
$\mathbf{a}, \mathbf{b} \in \mathbb{C}^n$について、以下が成立します。
$$
\begin{align}
\mathbf{a} + \mathbf{b} = \mathbf{b} + \mathbf{a}
\end{align}
$$
:::
:::details{title=”証明をみる”}
$\mathbf{a}=\begin{pmatrix}a_1\\ \vdots \\ a_n\end{pmatrix}$, $\mathbf{b}=\begin{pmatrix}b_1 \\ \vdots \\ b_n \end{pmatrix}$とすると、
$$
\begin{align}
\mathbf{a} + \mathbf{b} &= \begin{pmatrix}a_1+b_1\\ \vdots \\ a_n+b_n\end{pmatrix} \\
&= \begin{pmatrix}b_1+a_1\\ \vdots \\ b_n+a_n\end{pmatrix} \\
&= \mathbf{b} + \mathbf{a}
\end{align}
$$
より、成立します。
:::
:::proposition{title=”結合法則”}
$\mathbf{a}, \mathbf{b}, \mathbf{c} \in \mathbb{C}^n$について、以下が成立します。
$$
\begin{align}
(\mathbf{a} + \mathbf{b}) + \mathbf{c} = \mathbf{a} + (\mathbf{b} + \mathbf{c})
\end{align}
$$
:::
:::details{title=”証明をみる”}
$\mathbf{a}=\begin{pmatrix}a_1\\ \vdots \\ a_n\end{pmatrix}$, $\mathbf{b}=\begin{pmatrix}b_1 \\ \vdots \\ b_n \end{pmatrix}$, $\mathbf{c}=\begin{pmatrix}c_1 \\ \vdots \\ c_n \end{pmatrix}$とすると
$$
\begin{align} (\mathbf{a} + \mathbf{b}) + \mathbf{c} &= \begin{pmatrix}(a_1+b_1)+c_1\\ \vdots \\ (a_n+b_n)+c_n\end{pmatrix} \\ &= \begin{pmatrix}a_1+(b_1+c_1)\\ \vdots \\ a_n+(b_n+c_n)\end{pmatrix} \\ &= \mathbf{a} + (\mathbf{b} + \mathbf{c}) \end{align}
$$
より、成立します。
:::
3. ベクトルのスカラー倍
(1) スカラーの定義
:::proposition{title=”定義1.11: スカラー”}
スカラーとは、$1, 3+i$のようなベクトルではない1次元の普通の数を指す言葉で、ベクトルでないことを強調する際に用います。$\alpha$をスカラーとした場合、$\alpha$が実数であれば$\alpha \in \mathbb{R}$、$\alpha$が複素数であれば$\alpha \in \mathbb{C}$と表記します。
:::
(2) スカラー倍の定義
:::proposition{title=”定義1.12: ベクトルのスカラー倍”}
スカラー $\lambda \in \mathbb{C}$ によるベクトル $\mathbf{a}=\begin{pmatrix}a_1 \\ \vdots \\ a_n \end{pmatrix} \in \mathbb{C}^n$ のスカラー倍は以下のように定義されます。
$$
\begin{align}
\lambda \mathbf{a} = \begin{pmatrix} \lambda a_1 \\ \vdots \\ \lambda a_n \end{pmatrix}
\end{align}
$$
:::
(3) スカラー倍の性質
:::proposition{title=”結合法則(互換性)”}
$\alpha, \beta \in \mathbb{C}$と$\mathbf{a} \in \mathbb{C}^n$ について、以下が成立します。
$$
\begin{align}
\alpha (\beta \mathbf{a}) = (\alpha \beta) \mathbf{a}
\end{align}
$$
:::
:::details{title=”証明をみる”}
$\mathbf{a} = \begin{pmatrix}a_1 \\ \vdots \\ a_n\end{pmatrix}$とすると、
$$
\begin{align} \alpha (\beta \mathbf{a}) &= \alpha \begin{pmatrix} \beta a_1 \\ \vdots \\ \beta a_n \end{pmatrix}\\ &= \begin{pmatrix} \alpha\beta a_1 \\ \vdots \\ \alpha\beta a_n \end{pmatrix}\\ &= \begin{pmatrix} (\alpha\beta) a_1 \\ \vdots \\ (\alpha\beta) a_n \end{pmatrix}\\ &= (\alpha \beta) \mathbf{a} \end{align}
$$
より成立します。
:::
:::proposition{title=”分配法則”}
$\alpha \in \mathbb{C}$と$\mathbf{a}, \mathbf{b} \in \mathbb{C}^n$について、以下が成立します。
$$
\begin{align}
\alpha(\mathbf{a} + \mathbf{b}) = \alpha \mathbf{a} + \alpha \mathbf{b}
\end{align}
$$
:::
:::details{title=”証明をみる”}
$\mathbf{a} = \begin{pmatrix}a_1 \\ \vdots \\ a_n\end{pmatrix}$, $\mathbf{b} = \begin{pmatrix}b_1 \\ \vdots \\ b_n\end{pmatrix}$とすると、
$$
\begin{align} \alpha (\mathbf{a} + \mathbf{b}) &= \alpha \begin{pmatrix} a_1+b_1 \\ \vdots \\ a_n+b_n \end{pmatrix}\\ &= \begin{pmatrix} \alpha(a_1+b_1) \\ \vdots \\ \alpha(a_n+b_n) \end{pmatrix}\\ &= \begin{pmatrix} \alpha a_1 + \alpha b_1 \\ \vdots \\ \alpha a_n + \alpha b_n \end{pmatrix}\\ &= \begin{pmatrix} (\alpha a_1) + (\alpha b_1) \\ \vdots \\ (\alpha a_n) + (\alpha b_n) \end{pmatrix}\\ &= \alpha \mathbf{a} + \alpha \mathbf{b} \end{align}
$$
より成立します。
:::
4. ベクトルの内積とノルム
本節では実ベクトルの内積を扱います。複素ベクトルに拡張した内積については13章を参照して下さい。また、本節以降では縦ベクトル$\mathbf{a}=\begin{pmatrix}a_1 \\ \vdots \\ a_n\end{pmatrix} \in \mathbb{R}^n$の成分を横に並べた横ベクトル$\mathbf{a’} = (a_1, \cdots, a_n)$を、簡単のため$\mathbf{a’}=\mathbf{a}^{\mathsf T}$と表記することにします。$\mathbf{a}^{\mathsf T}$は$\mathbf{a}$の転置という概念であり、詳細については3章を参照して下さい。
(1) 内積の定義
:::proposition{title=”定義1.13: 内積”}
$\mathbf{a} \in \mathbb{R}^n$と$\mathbf{b} \in \mathbb{R}^m$の内積は同じ次元、すなわち$n=m$の場合に定義され、$\mathbf{a}\cdot\mathbf{b}$と表記し、以下で定義されます。
$$
\begin{align}
\mathbf{a}\cdot\mathbf{b} = \mathbf{a}^{\mathsf T}\mathbf{b}
\end{align}
$$
$\mathbf{a}^{\mathsf T}\mathbf{b}$は、$\mathbf{a}=\begin{pmatrix}a_1 \\ \vdots \\ a_n\end{pmatrix}$, $\mathbf{b}=\begin{pmatrix}b_1 \\ \vdots \\ b_n\end{pmatrix}$とすると、以下で定義されます。
$$
\begin{align}
\mathbf{a}^{\mathsf T}\mathbf{b} = \sum_{i=1}^n a_ib_i
\end{align}
$$
内積$\mathbf{a}\cdot\mathbf{b} = \mathbf{a}^{\mathsf T}\mathbf{b}$は2つのベクトルからスカラーを与える演算であることに注意して下さい。また、$\mathbf{a}\cdot\mathbf{a}$を$\mathbf{a}^2$と表記することがあることにも注意して下さい。
:::
(2) 内積の性質
:::proposition{title=”交換法則”}
$\mathbf{a}, \mathbf{b} \in \mathbb{R}^n$について、以下が成立します。
$$
\begin{align}
\mathbf{a} \cdot \mathbf{b} = \mathbf{b} \cdot \mathbf{a}
\end{align}
$$
:::
:::details{title=”証明をみる”}
$\mathbf{a}, \mathbf{b}$の第$i$成分をそれぞれ$a_i, b_i$とすると、
$$
\begin{align} \mathbf{a} \cdot \mathbf{b} &= \mathbf{a}^{\mathsf T} \mathbf{b} \\ &= \sum_i a_i b_i \\ &= \sum_i b_i a_i \\ &= \mathbf{b}^{\mathsf T} \mathbf{a} \\ &= \mathbf{b} \cdot \mathbf{a} \end{align}
$$
:::
:::proposition{title=”線形性”}
$\mathbf{a}, \mathbf{b}, \mathbf{c} \in \mathbb{R}^n$について、以下が成立します。
$$
\begin{align}
\mathbf{a} \cdot (\mathbf{b} + \mathbf{c}) = \mathbf{a} \cdot \mathbf{b} + \mathbf{a} \cdot \mathbf{c}
\end{align}
$$
:::
:::details{title=”証明をみる”}
$\mathbf{a}, \mathbf{b}, \mathbf{c}$の第$i$成分をそれぞれ$a_i, b_i, c_i$とすると、
$$
\begin{align} \mathbf{a} \cdot (\mathbf{b} + \mathbf{c}) &= \mathbf{a}^{\mathsf T} (\mathbf{b} + \mathbf{c}) \\ &= \sum_i a_i (b_i + c_i) \\ &= \sum_i a_i b_i + \sum_{i=1}^n a_i c_i \\ &= \mathbf{a}^{\mathsf T} \mathbf{b} + \mathbf{a}^{\mathsf T} \mathbf{c} \\ &= \mathbf{a} \cdot \mathbf{b} + \mathbf{a} \cdot \mathbf{c} \end{align}
$$
:::
:::proposition{title=”正値性”}
$\mathbf{a} \in \mathbb{R}^n$について、以下が成立します。
$$
\begin{align}
\mathbf{a} \cdot \mathbf{a} \geq 0
\end{align}
$$
:::
:::details{title=”証明をみる”}
$\mathbf{a}$の第$i$成分を$a_i$とすると、
$$
\begin{align} \mathbf{a} \cdot \mathbf{a} &= \mathbf{a}^{\mathsf T} \mathbf{a} \\ &= \sum_i a_i a_i\\ &= \sum_i a_i^2 \\ &\geq 0 \end{align}
$$
:::
(3) ノルムの定義
:::proposition{title=”定義1.14: ノルム”}
$\mathbf{a} = \begin{pmatrix}a_1 \\ \vdots \\ a_n \end{pmatrix} \in \mathbb{R}^n$のノルムは$|\mathbf{a}|$と表記し、自身との内積の平方根で以下のように定義されます。なお、ノルムは長さや大きさとも呼ばれます。
$$
\begin{align}
|\mathbf{a}| &= \sqrt{\mathbf{a} \cdot \mathbf{a}} \\
&= \sqrt{\sum_{i=1}^n a_i^2}
\end{align}
$$
:::
(4) ノルムの性質
以下の性質があります。
:::proposition{title=”ノルムの性質”}
$\lambda \in \mathbb{R}, \mathbf{a} \in \mathbb{R}^n$について、以下が成立します。
- $|\mathbf{a}| \geq 0$
- $|\mathbf{a}| = 0 \Leftrightarrow \mathbf{a} = \mathbf{0}$
- $|\lambda \mathbf{a}| = |\lambda| |\mathbf{a}|$
:::
証明は割愛します。
(5) 内積とノルムに関する定理(1)：単位ベクトル
:::proposition{title=”定理1.15: 内積とノルムの関係”}
ゼロベクトルでない$\mathbf{a} \in \mathbb{R}^n$について、$\mathbf{a}/|\mathbf{a}|$は単位ベクトルとなります。
:::
:::details{title=”証明をみる”}
$\mathbf{a}/|\mathbf{a}|$のノルムが$1$であることを示せば十分です。$|\mathbf{a}|=n$とおくと、
$$
\begin{align} \Big|\frac{\mathbf{a}}{|\mathbf{a}|}\Big| &= \Big|\frac{\mathbf{a}}{n}\Big| \\ &= \frac{|\mathbf{a}|}{n} \\ &= \frac{n}{n} \\ &= 1 \end{align}
$$
よって、題意成立となります。
:::
(6) 内積とノルムに関する定理(2)：内積とノルムの関係
:::proposition{title=”定理1.16: 内積とノルムの関係”}
$\mathbf{a}$と$\mathbf{b}$が2次元または3次元の実ベクトルであるとき、その2つのベクトルの成す角を$\theta$とすると、内積は以下にように表現できます。
$$
\begin{align}
\mathbf{a} \cdot \mathbf{b} = |\mathbf{a}||\mathbf{b}|\cos\theta
\end{align}
$$
:::
:::details{title=”証明をみる”}
2次元平面または3次元空間上において、原点 $O$、点 $A$（位置ベクトル $\mathbf{a}$）、点 $B$（位置ベクトル $\mathbf{b}$）をとります。三角形 $OAB$ について、辺の長さは$OA=|\mathbf{a}|$、$OB=|\mathbf{b}|$、$AB=|\mathbf{a}-\mathbf{b}|$となります。また、$\angle AOB=\theta$ が $\mathbf{a}$ と $\mathbf{b}$ のなす角です。余弦定理より
$$
\begin{align}
|\mathbf{a}-\mathbf{b}|^2=|\mathbf{a}|^2+|\mathbf{b}|^2-2|\mathbf{a}||\mathbf{b}|\cos\theta
\end{align}
$$
となります。一方、内積の性質から
$$
\begin{align} |\mathbf{a}-\mathbf{b}|^2 &= (\mathbf{a}-\mathbf{b})\cdot(\mathbf{a}-\mathbf{b}) \\ &= \mathbf{a}\cdot\mathbf{a}+\mathbf{b}\cdot\mathbf{b}-2\mathbf{a}\cdot\mathbf{b} \\ &= |\mathbf{a}|^2+|\mathbf{b}|^2-2\mathbf{a}\cdot\mathbf{b} \end{align}
$$
となります。従って、
$$
\begin{align}
|\mathbf{a}|^2+|\mathbf{b}|^2-2\mathbf{a}\cdot\mathbf{b}=|\mathbf{a}|^2+|\mathbf{b}|^2-2|\mathbf{a}||\mathbf{b}|\cos\theta
\end{align}
$$
両辺から $|\mathbf{a}|^2+|\mathbf{b}|^2$ を消去して $-2$ で割ると
$$
\begin{align}
\mathbf{a}\cdot\mathbf{b}=|\mathbf{a}||\mathbf{b}|\cos\theta
\end{align}
$$
となります。以上より、題意成立となります。
:::
(7) 内積とノルムに関する定理(3)：2つのベクトルが成す角度
:::proposition{title=”定理1.17: 2つのベクトルが成す角度”}
$\mathbf{a}$と$\mathbf{b}$が2次元または3次元の実ベクトルであるとき、その2つのベクトルの成す角を$\theta$を以下のように求めることができます。
$$
\begin{align}
\cos\theta = \frac{\mathbf{a} \cdot \mathbf{b}}{|\mathbf{a}| |\mathbf{b}|}
\end{align}
$$
:::
:::details{title=”証明をみる”}
内積とノルムの関係式を式変形することで得られます。
:::
(8) 内積とノルムに関する定理(4)：直交の判定
:::proposition{title=”定理1.18: 直交の判定”}
$\mathbf{a}$と$\mathbf{b}$が2次元または3次元の実ベクトルであるとき、「$\mathbf{a}$と$\mathbf{b}$が直交」と「$\mathbf{a}\cdot\mathbf{b}$」は同値です。
:::
:::details{title=”証明をみる”}
内積とノルムの関係式で$\theta=\pi/2$を代入することで証明できます。
:::
(9) 内積とノルムに関する定理(5)：コーシー・シュワルツの不等式
:::proposition{title=”定理1.19: 三角不等式”}
$\mathbf{a}, \mathbf{b} \in \mathbb{R}^n$について、以下が成立します。
$$
\begin{align}
\mathbf{a} \cdot \mathbf{b} \leq |\mathbf{a}||\mathbf{b}|
\end{align}
$$
:::
:::details{title=”証明をみる”}
$t\in\mathbb{R}$について
$$
\begin{align} |\mathbf{a}-t\mathbf{b}|^2 &= |\mathbf{b}|^2t^2 -2\mathbf{a}\cdot\mathbf{b}t + |\mathbf{a}|^2 \\ & \geq 0 \end{align}
$$
となります。これは、$t$の2次式とみなした際の判別式が非正であることと同値なので、
$$
\begin{align} &(\mathbf{a}\cdot\mathbf{b})^2 – |\mathbf{a}|^2|\mathbf{b}|^2 \leq 0 \\ &\iff (\mathbf{a}\cdot\mathbf{b})^2 \leq |\mathbf{a}|^2|\mathbf{b}|^2 \\ &\iff (\mathbf{a}\cdot\mathbf{b}) \leq |\mathbf{a}||\mathbf{b}| \end{align}
$$
となります。以上より、題意成立となります。
※ 以下の関係式において$\cos \theta$が$-1$から$1$であることを用いる証明では、2次元または3次元ベクトルに対する証明にしかならないことに注意して下さい。
$$
\begin{align}
\mathbf{a} \cdot \mathbf{b} = |\mathbf{a}||\mathbf{b}|\cos\theta
\end{align}
$$
:::
(10) 内積とノルムに関する定理(6)：三角不等式
:::proposition{title=”定理1.20: 2つのベクトルが成す角度”}
$\mathbf{a}, \mathbf{b} \in \mathbb{R}^n$について、以下が成立します。
$$
\begin{align}
|\mathbf{a} + \mathbf{b}| \leq |\mathbf{a}| + |\mathbf{b}|
\end{align}
$$
:::
:::details{title=”証明をみる”}
$$
\begin{align} (|\mathbf{a}| + |\mathbf{b}|)^2 = |\mathbf{a}|^2 + |\mathbf{b}|^2 + 2|\mathbf{a}||\mathbf{b}| \end{align}
$$
となります。ここで、コーシー・シュワルツの不等式を用いると、
$$
\begin{align} (|\mathbf{a}| + |\mathbf{b}|)^2 & = |\mathbf{a}|^2 + |\mathbf{b}|^2 + 2|\mathbf{a}||\mathbf{b}| \\ &\geq |\mathbf{a}|^2 + |\mathbf{b}|^2 + 2\mathbf{a}\cdot\mathbf{b} \\ &= (\mathbf{a} + \mathbf{b})^2 \end{align}
$$
となります。従って、
$$
\begin{align} &(|\mathbf{a}| + |\mathbf{b}|)^2 \geq (\mathbf{a} + \mathbf{b})^2 \\ &\iff ||\mathbf{a}| + |\mathbf{b}|| \geq |\mathbf{a} + \mathbf{b}| \\ &\iff |\mathbf{a}| + |\mathbf{b}| \geq |\mathbf{a} + \mathbf{b}| \end{align}
$$
となり、題意成立となります。
:::
(11) 内積の公式 (1)
:::proposition{title=”定理1.21: 内積の公式(1)”}
$\mathbf{a}, \mathbf{b} \in \mathbb{R}^n$について、以下が成立します。
$$
\begin{align}
\mathbf{a} (\mathbf{a}^{\mathsf T}\mathbf{b}) = (\mathbf{a}\mathbf{a}^{\mathsf T})\mathbf{b}
\end{align}
$$
※ $\mathbf{a}\mathbf{a}^{\mathsf T}$は行列です。行列については3章を参照してください。
:::
:::details{title=”証明をみる”}
$\mathbf{a}$の第$i$成分を$a_i$とすると、
$$
\begin{align} (\mathbf{a}\mathbf{a}^{\mathsf T})\mathbf{b} &= \begin{pmatrix}a_1\mathbf{a}^{\mathsf T} \\ \vdots \\ a_n\mathbf{a}^{\mathsf T}\end{pmatrix}\mathbf{b} \\ &= \begin{pmatrix}a_1\mathbf{a}^{\mathsf T}\mathbf{b} \\ \vdots \\ a_n\mathbf{a}^{\mathsf T}\mathbf{b}\end{pmatrix} \\ &= \mathbf{a} (\mathbf{a}^{\mathsf T}\mathbf{b}) \end{align}
$$
となり、題意成立となります。
:::
5. 外積
本節では定理や証明に2章で扱う正射影ベクトル、3章で導入する行列、5章で定義する行列式・余因子展開・置換などが登場します。適宜読み飛ばすか該当の章を参照して読み進めて下さい。
(1) 外積の定義
内積は2つのベクトルからスカラーを得る演算ですが、外積は2つのベクトルからベクトルを演算です。
:::proposition{title=”定義1.22: 外積”}
$\mathbf{a}=(a_1, a_2, a_3)^{\mathsf T}, \mathbf{b}=(b_1, b_2, b_3)^{\mathsf T} \in \mathbb{R}^3$の外積$\mathbf{a} \times \mathbf{b}$は以下のように定義されます。
$$
\begin{align}
\mathbf{a} \times \mathbf{b} = \begin{pmatrix} a_2 b_3 – a_3 b_2 \\ a_3 b_1 – a_1 b_3 \\ a_1 b_2 – a_2 b_1 \end{pmatrix}
\end{align}
$$
:::
(2) 外積の行列式による表現
行列式の余因子展開に倣ったベクトル値ラプラス展開(成分にベクトルが含まれる行列の余因子展開)を用いると、外積は以下のように表現できます。
:::proposition{title=”定理1.23: 外積と行列式”}
$\mathbf{a}=(a_1, a_2, a_3)^{\mathsf T}, \mathbf{b}=(b_1, b_2, b_3)^{\mathsf T} \in \mathbb{R}^3$とし、また、$\mathbf{i}=(1, 0, 0)^{\mathsf T}, \mathbf{j}=(0, 1, 0)^{\mathsf T}, \mathbf{k}=(0, 0, 1)^{\mathsf T}$とすると、
$$
\begin{align}
\mathbf{a}\times\mathbf{b} =\begin{vmatrix} \mathbf{i} & \mathbf{j} & \mathbf{k}\\ a_1 & a_2 & a_3\\ b_1 & b_2 & b_3 \end{vmatrix}
\end{align}
$$
と書けます。
:::
:::details{title=”証明をみる”}
ベクトルが1行目に含まれた行列の行列式は、ベクトル値ラプラス展開によって定義されます。具体的には、第1行目に関する余因子展開として以下のように定義されます。従って、
$$
\begin{align}
\begin{vmatrix} \mathbf{i} & \mathbf{j} & \mathbf{k}\\ a_1 & a_2 & a_3\\ b_1 & b_2 & b_3 \end{vmatrix}
&= (-1)^{1+1}\begin{vmatrix}a_2 & a_3 \\ b_2 & b_3\end{vmatrix}\mathbf{i} +(-1)^{1+2}\begin{vmatrix}a_1 & a_3 \\ b_1 & b_3\end{vmatrix}\mathbf{j} +(-1)^{1+3}\begin{vmatrix}a_1 & a_2 \\ b_1 & b_2\end{vmatrix}\mathbf{k} \\
&= (a_2b_3 – a_3b_2)\mathbf{i} – (a_1b_3 – a_3b_1)\mathbf{j} + (a_1b_2 – a_2b_1)\mathbf{k} \\
&= \begin{pmatrix}a_2b_3 – a_3b_2 \\ a_3b_1 – a_1b_3 \\ a_1b_2 – a_2b_1\end{pmatrix}
\end{align}
$$
となり、題意成立となります。
:::
ベクトル値ラプラス展開においても通常の行列式と同様に以下のような交代性・線形性・スカラー倍が成立します。これは、ベクトル値ラプラス展開の各成分が 2×2 行列式（=通常のスカラー行列式）になっているためです。2×2 行列式は行（列）ごとに線形で、行を入れ替えると符号が反転します。この性質がそのまま ベクトル値ラプラス展開の各成分に伝播することで成立します。
:::proposition{title=”ベクトル値ラプラス展開の性質”}
$\mathbf{a}=(a_1, a_2, a_3)^{\mathsf T}, \mathbf{b}=(b_1, b_2, b_3)^{\mathsf T} \in \mathbb{R}^3$、また、$\mathbf{i}=(1, 0, 0)^{\mathsf T}, \mathbf{j}=(0, 1, 0)^{\mathsf T}, \mathbf{k}=(0, 0, 1)^{\mathsf T}$とし、
$$
\begin{align}
\mathcal{D}(\mathbf{a}, \mathbf{b}) &=\begin{vmatrix} \mathbf{i} & \mathbf{j} & \mathbf{k}\\ a_1 & a_2 & a_3\\ b_1 & b_2 & b_3 \end{vmatrix} \\
&= \begin{vmatrix}a_2 & a_3 \\ b_2 & b_3\end{vmatrix}\mathbf{i} -\begin{vmatrix}a_1 & a_3 \\ b_1 & b_3\end{vmatrix}\mathbf{j} +\begin{vmatrix}a_1 & a_2 \\ b_1 & b_2\end{vmatrix}\mathbf{k}
\end{align}
$$
と定義すると、以下の性質が成り立ちます。ただし、$\alpha, \beta \in \mathbb{R}$、で、$\mathbf{a}_1, \mathbf{a}_2, \mathbf{b}_1, \mathbf{b}_2 \in \mathbb{R}^3$とします。
- 交代性：$\mathcal{D}(\mathbf{a}, \mathbf{b}) = -\mathcal{D}(\mathbf{b}, \mathbf{a})$
- 線形性・スカラー倍①：$\mathcal{D}(\alpha\mathbf{a}_1+\beta\mathbf{a}_2, \mathbf{b}) = \alpha\mathcal{D}(\mathbf{a}_1, \mathbf{b}) + \beta\mathcal{D}(\mathbf{a}_2, \mathbf{b})$
- 線形性・スカラー倍②：$\mathcal{D}(\mathbf{a}, \alpha\mathbf{b}_1+\beta\mathbf{b}_2) = \alpha\mathcal{D}(\mathbf{a}, \mathbf{b}_1) + \beta\mathcal{D}(\mathbf{a}, \mathbf{b}_2)$
:::
証明は割愛します。
(3) 外積の行列による表現
外積は行列とベクトルの積としても表現できます。
:::proposition{title=”定理1.24: 外積と行列”}
ベクトル $\mathbf{a}=(a_1,a_2,a_3)^{\mathsf T} \in \mathbb{R}^3$ に対し、以下の反対称行列
$$
\begin{align}
[\mathbf{a}]_\times=\begin{pmatrix} 0&-a_3&a_2\\ a_3&0&-a_1\\ -a_2&a_1&0 \end{pmatrix}
\end{align}
$$
を定めると、任意の $\mathbf{b}\in\mathbb{R}^3$ に対して
$$
\begin{align}
\mathbf{a}\times\mathbf{b}=[\mathbf{a}]_\times\,\mathbf{b}
\end{align}
$$
が成り立ちます。
:::
:::details{title=”証明をみる”}
$\mathbf{b}=(b_1, b_2, b_3)^{\mathsf T}$とすると、
$$
\begin{align}
[\mathbf{a}]_\times \mathbf{b}
&=\begin{pmatrix} 0&-a_3&a_2\\ a_3&0&-a_1\\ -a_2&a_1&0 \end{pmatrix}\begin{pmatrix}b_1\\ b_2 \\ b_3\end{pmatrix} \\
&= \begin{pmatrix}a_2b_3 – a_3b_2 \\ a_3b_1 – a_1b_3 \\ a_1b_2 – a_2b_1\end{pmatrix}
\end{align}
$$
となり、題意成立となります。
:::
(4) 外積の性質
外積は以下の性質を満たします。いずれも成分を用いて証明ができます。
:::proposition{title=”反交換法則”}
$\mathbf{a}, \mathbf{b} \in \mathbb{R}^3$について以下が成り立ちます。
$$
\begin{align}
\mathbf{a} \times \mathbf{b} = -(\mathbf{b} \times \mathbf{a})
\end{align}
$$
:::
:::details{title=”証明をみる”}
$\mathbf{a}=(a_1, a_2, a_3)^{\mathsf T}, \mathbf{b}=(b_1, b_2, b_3)^{\mathsf T}$、また、$\mathbf{i}=(1, 0, 0)^{\mathsf T}, \mathbf{j}=(0, 1, 0)^{\mathsf T}, \mathbf{k}=(0, 0, 1)^{\mathsf T}$とすると、外積は
$$
\begin{align}
\mathbf{a}\times\mathbf{b} =\begin{vmatrix} \mathbf{i} & \mathbf{j} & \mathbf{k}\\ a_1 & a_2 & a_3\\ b_1 & b_2 & b_3 \end{vmatrix}
\end{align}
$$
と書けます。ここで第2行と第3行$(\mathbf{a}$ と $\mathbf{b}$）を交換すると行列式は符号が反転するので
$$
\begin{align}
\begin{vmatrix} \mathbf{i} & \mathbf{j} & \mathbf{k}\\ b_1 & b_2 & b_3\\ a_1 & a_2 & a_3 \end{vmatrix} =-(\mathbf{a}\times\mathbf{b})
\end{align}
$$
ですが、左辺はまさに $\mathbf{b}\times\mathbf{a}$ です。したがって
$$
\begin{align}
\mathbf{a}\times\mathbf{b}=-(\mathbf{b}\times\mathbf{a})
\end{align}
$$
が成立します。
:::
:::proposition{title=”分配法則”}
$\mathbf{a}, \mathbf{b}, \mathbf{c} \in \mathbb{R}^3$について以下が成り立ちます。
$$
\begin{align}
\mathbf{a} \times (\mathbf{b} + \mathbf{c}) = \mathbf{a} \times \mathbf{b} + \mathbf{a} \times \mathbf{c}
\end{align}
$$
:::
:::details{title=”証明をみる”}
$\mathbf{a}=(a_1, a_2, a_3)^{\mathsf T}, \mathbf{b}=(b_1, b_2, b_3)^{\mathsf T}, \mathbf{c}=(c_1, c_2, c_3)^{\mathsf T}$、また、$\mathbf{i}=(1, 0, 0)^{\mathsf T}, \mathbf{j}=(0, 1, 0)^{\mathsf T}, \mathbf{k}=(0, 0, 1)^{\mathsf T}$とすると、外積は
$$
\begin{align}
\mathbf{a}\times\mathbf{b} =\begin{vmatrix} \mathbf{i} & \mathbf{j} & \mathbf{k}\\ a_1 & a_2 & a_3\\ b_1 & b_2 & b_3 \end{vmatrix}
\end{align}
$$
と書けます。第3行に関して行列式は線形なので
$$
\begin{align}
\mathbf{a} \times (\mathbf{b} + \mathbf{c})
&= \begin{vmatrix} \mathbf{i} & \mathbf{j} & \mathbf{k}\\ a_1 & a_2 & a_3\\ b_1+c_1 & b_2+c_2 & b_3+c_3 \end{vmatrix} \\
&= \begin{vmatrix} \mathbf{i} & \mathbf{j} & \mathbf{k}\\ a_1 & a_2 & a_3\\ b_1 & b_2 & b_3 \end{vmatrix} + \begin{vmatrix} \mathbf{i} & \mathbf{j} & \mathbf{k}\\ a_1 & a_2 & a_3\\ c_1 & c_2 & c_3 \end{vmatrix} \\ &=\mathbf{a}\times\mathbf{b}+\mathbf{a}\times\mathbf{c}.
\end{align}
$$
したがって所望の分配法則が成り立ちます。
:::
:::proposition{title=”結合法則”}
$\lambda \in \mathbb{R}$, $\mathbf{a}, \mathbf{b} \in \mathbb{R}^3$について以下が成り立ちます。
$$
\begin{align}
(\lambda \mathbf{a}) \times \mathbf{b} = \lambda (\mathbf{a} \times \mathbf{b})
\end{align}
$$
:::
:::details{title=”証明をみる”}
$\mathbf{a}=(a_1, a_2, a_3)^{\mathsf T}, \mathbf{b}=(b_1, b_2, b_3)^{\mathsf T}$、また、$\mathbf{i}=(1, 0, 0)^{\mathsf T}, \mathbf{j}=(0, 1, 0)^{\mathsf T}, \mathbf{k}=(0, 0, 1)^{\mathsf T}$とすると、外積は
$$
\begin{align}
\mathbf{a}\times\mathbf{b} =\begin{vmatrix} \mathbf{i} & \mathbf{j} & \mathbf{k}\\ a_1 & a_2 & a_3\\ b_1 & b_2 & b_3 \end{vmatrix}
\end{align}
$$
と書けます。第2行（$\mathbf{a}$ の行）に関して行列式は線形なので
$$
\begin{align}
(\lambda\mathbf{a})\times\mathbf{b}
&= \begin{vmatrix} \mathbf{i} & \mathbf{j} & \mathbf{k}\\ \lambda a_1 & \lambda a_2 & \lambda a_3\\ b_1 & b_2 & b_3 \end{vmatrix} \\
&=\lambda \begin{vmatrix} \mathbf{i} & \mathbf{j} & \mathbf{k}\\ a_1 & a_2 & a_3\\ b_1 & b_2 & b_3 \end{vmatrix} \\
&=\lambda(\mathbf{a}\times\mathbf{b}).
\end{align}
$$
従って、題意成立となります。
:::
(5) 外積の公式 (1)：スカラー三重積
:::proposition{title=”定理1.25: スカラー三重積（混合積）”}
3つのベクトル $\mathbf{a}, \mathbf{b}, \mathbf{c} \in \mathbb{R}^3$ に対して、以下をスカラー三重積（または混合積）といいます。
$$
\begin{align}
\mathbf{a} \cdot (\mathbf{b} \times \mathbf{c})
\end{align}
$$
スカラー三重積はスカラーであり、幾何学的には $\mathbf{a}, \mathbf{b}, \mathbf{c}$ によって張られる平行六面体の符号付き体積を表します。
:::
:::details{title=”証明をみる (幾何学的証明)”}
外積の大きさと方向(定理1.xx)より
$$
\begin{align}
|\mathbf{b}\times\mathbf{c}|=|\mathbf{b}|\,|\mathbf{c}|\,\sin\theta
\end{align}
$$
となります。ここで$\theta$ は $\mathbf{b},\mathbf{c}$ のなす角であり、$\mathbf{b}\times\mathbf{c}$ は $\mathbf{b},\mathbf{c}$ に直交し、右手系で向きが定まります。ゆえに
$$
\begin{align}
\mathbf{a}\cdot(\mathbf{b}\times\mathbf{c}) =|\mathbf{a}|\,|\mathbf{b}\times\mathbf{c}|\,\cos\varphi
\end{align}
$$
となります。ここで$\varphi$ は $\mathbf{a}$ と $\mathbf{b}\times\mathbf{c}$ のなす角です。今、$|\mathbf{b}\times\mathbf{c}|$底面（$\mathbf{b},\mathbf{c}$）の面積、$|\mathbf{a}|\,\cos\varphi$は$\mathbf{a}$の$\mathbf{b}\times\mathbf{c}$方向への正射影ベクトルなので、
$$
\begin{align}
|\mathbf{a}|\,\cos\varphi \cdot |\mathbf{b}\times\mathbf{c}|=\text{底面積}\times\text{高さ}=\text{体積}.
\end{align}
$$
となります。符号は、${\mathbf{a},\mathbf{b},\mathbf{c}}$ が右手系（正の向き）なら正、左手系（負の向き）なら負として与えられます。したがって
$$
\begin{align}
\mathbf{a}\cdot(\mathbf{b}\times\mathbf{c})
\end{align}
$$
は平行六面体の符号付き体積を与えます。
:::
:::details{title=”証明をみる (行列式を用いた証明)”}
$\mathbf{a}=(a_1,a_2,a_3)^{\mathsf T},\ \mathbf{b}=(b_1,b_2,b_3)^{\mathsf T},\ \mathbf{c}=(c_1,c_2,c_3)^{\mathsf T} \in \mathbb{R}^3$、また、$\mathbf{i}=(1, 0, 0)^{\mathsf T}, \mathbf{j}=(0, 1, 0)^{\mathsf T}, \mathbf{k}=(0, 0, 1)^{\mathsf T}$ とすると
$$
\begin{align}
\mathbf{a}\cdot(\mathbf{b}\times\mathbf{c})
&= \mathbf{a}\cdot \begin{vmatrix} \mathbf{i} & \mathbf{j} &\mathbf{k}\\ b_1 & b_2 & b_3\\ c_1 & c_2 & c_3 \end{vmatrix} \\
&= \mathbf{a}\cdot \Big( \begin{vmatrix}a_2 & a_3 \\ b_2 & b_3\end{vmatrix}\mathbf{i} -\begin{vmatrix}a_1 & a_3 \\ b_1 & b_3\end{vmatrix}\mathbf{j} +\begin{vmatrix}a_1 & a_2 \\ b_1 & b_2\end{vmatrix}\mathbf{k}\Big) \\
&= a_1\begin{vmatrix}a_2 & a_3 \\ b_2 & b_3\end{vmatrix} -a_2\begin{vmatrix}a_1 & a_3 \\ b_1 & b_3\end{vmatrix} +a_3\begin{vmatrix}a_1 & a_2 \\ b_1 & b_2\end{vmatrix}\\
&= \begin{vmatrix} a_1 & a_2 & a_3\\ b_1 & b_2 & b_3\\ c_1 & c_2 & c_3 \end{vmatrix}
\end{align}
$$
行列式は、3本のベクトルから張られる平行六面体の体積の符号付き版（3線形性・交代性・単位立方体で値1）を特徴づける唯一の関数であるため、
$$
\begin{align}
\mathbf{a}\cdot(\mathbf{b}\times\mathbf{c})
\end{align}
$$
は平行六面体の符号付き体積に等しくなります。
:::
(6) 外積の公式 (2)：スカラー三重積の巡回対称性
:::proposition{title=”定理1.26: スカラー三重積（混合積）の巡回対称性”}
3つのベクトル $\mathbf{a}, \mathbf{b}, \mathbf{c} \in \mathbb{R}^3$ に対して、以下の性質が成り立ちます。
$$
\begin{align}
\mathbf{a} \cdot (\mathbf{b} \times \mathbf{c}) = \mathbf{b} \cdot (\mathbf{c} \times \mathbf{a}) = \mathbf{c} \cdot (\mathbf{a} \times \mathbf{b})
\end{align}
$$
:::
:::details{title=”証明をみる”}
定理1.25の証明より、
$$
\begin{align}
\mathbf{a}\cdot(\mathbf{b}\times\mathbf{c}) = \begin{vmatrix} a_1 & a_2 & a_3\\ b_1 & b_2 & b_3\\ c_1 & c_2 & c_3 \end{vmatrix}
\end{align}
$$
行列の行を $(1,2,3)\to(2,3,1)$ や $(1,2,3)\to(3,1,2)$ と巡回する操作は 3-巡回置換であり、これは偶置換なので行列式の値は不変。したがって
$$
\begin{align}
\begin{vmatrix} \mathbf{a}^{\mathsf T}\\ \mathbf{b}^{\mathsf T}\\ \mathbf{c}^{\mathsf T} \end{vmatrix} = \begin{vmatrix} \mathbf{b}^{\mathsf T}\\ \mathbf{c}^{\mathsf T}\\ \mathbf{a}^{\mathsf T} \end{vmatrix} = \begin{vmatrix} \mathbf{c}^{\mathsf T}\\ \mathbf{a}^{\mathsf T}\\ \mathbf{b}^{\mathsf T} \end{vmatrix}
\end{align}
$$
すなわち
$$
\begin{align}
\mathbf{a}\cdot(\mathbf{b}\times\mathbf{c}) = \mathbf{b}\cdot(\mathbf{c}\times\mathbf{a}) = \mathbf{c}\cdot(\mathbf{a}\times\mathbf{b})
\end{align}
$$
となります。
:::
(7) 外積の公式 (3)：ベクトル三重積
:::proposition{title=”定理1.27: ベクトル三重積”}
3つのベクトル $\mathbf{a}, \mathbf{b}, \mathbf{c} \in \mathbb{R}^3$ に対して、以下をベクトル三重積といいます。
$$
\begin{align}
\mathbf{a} \times (\mathbf{b} \times \mathbf{c})
\end{align}
$$
ベクトル三重積はベクトルであり、以下の性質が成り立ちます。
$$
\begin{align}
\mathbf{a} \times (\mathbf{b} \times \mathbf{c}) = (\mathbf{a} \cdot \mathbf{c})\mathbf{b} – (\mathbf{a} \cdot \mathbf{b})\mathbf{c}
\end{align}
$$
:::
:::details{title=”証明をみる”}
ベクトル $\mathbf{a}=(a_1,a_2,a_3)^{\mathsf T}$，$\mathbf{b}=(b_1,b_2,b_3)^{\mathsf T}$，$\mathbf{c}=(c_1,c_2,c_3)^{\mathsf T} \in \mathbb{R}^3$ とします。まず $\mathbf{b}\times\mathbf{c}$ の成分は外積の定義より
$$
\begin{align}
\mathbf{b}\times\mathbf{c}= \begin{pmatrix} b_2c_3-b_3c_2\\ b_3c_1-b_1c_3\\ b_1c_2-b_2c_1 \end{pmatrix}
\end{align}
$$
です。
次に，$\mathbf{a}\times(\mathbf{b}\times\mathbf{c})$ を計算します。
$$
\begin{align}
\mathbf{a}\times(\mathbf{b}\times\mathbf{c})
&=\begin{pmatrix} a_2(b_1c_2-b_2c_1)-a_3(b_3c_1-b_1c_3)\\ a_3(b_2c_3-b_3c_2)-a_1(b_1c_3-b_3c_1)\\ a_1(b_3c_1-b_1c_3)-a_2(b_2c_1-b_1c_2) \end{pmatrix}
\end{align}
$$
各成分を整理する。
(1) 第1成分
$$
\begin{align}
a_2(b_1c_2-b_2c_1)-a_3(b_3c_1-b_1c_3) =a_2b_1c_2-a_2b_2c_1-a_3b_3c_1+a_3b_1c_3
\end{align}
$$
これを $(\mathbf{a}\cdot\mathbf{c})\mathbf{b}-(\mathbf{a}\cdot\mathbf{b})\mathbf{c}$ の第1成分と比較します。
- $(\mathbf{a}\cdot\mathbf{c})=a_1c_1+a_2c_2+a_3c_3$
- $(\mathbf{a}\cdot\mathbf{b})=a_1b_1+a_2b_2+a_3b_3$
したがって、第1成分は
$$
\begin{align}
(\mathbf{a}\cdot\mathbf{c})b_1-(\mathbf{a}\cdot\mathbf{b})c_1
&= b_1(a_1c_1+a_2c_2+a_3c_3)-c_1(a_1b_1+a_2b_2+a_3b_3) \\
&= a_2b_1c_2+a_3b_1c_3 – a_2b_2c_1 – a_3b_3c_1
\end{align}
$$
となり、これは上で計算した第1成分と一致します。
(2) 第2成分
同様に計算すると
$$
\begin{align}
a_3b_2c_3-a_3b_3c_2-a_1b_1c_3+a_1b_3c_1
\end{align}
$$
となります。
一方，式 $(\mathbf{a}\cdot\mathbf{c})b_2-(\mathbf{a}\cdot\mathbf{b})c_2$ の第2成分は
$$
\begin{align}
&b_2(a_1c_1+a_2c_2+a_3c_3)-c_2(a_1b_1+a_2b_2+a_3b_3) \\
&= a_3b_2c_3+a_1b_2c_1 – a_1b_1c_2 – a_3b_3c_2
\end{align}
$$
これも一致します。
(3) 第3成分
同様に計算すると
$$
\begin{align}
a_1b_3c_1-a_1b_1c_3-a_2b_2c_1+a_2b_1c_2
\end{align}
$$
となります。
一方，式 $(\mathbf{a}\cdot\mathbf{c})b_3-(\mathbf{a}\cdot\mathbf{b})c_3$ の第3成分は
$$
\begin{align}
&b_3(a_1c_1+a_2c_2+a_3c_3)-c_3(a_1b_1+a_2b_2+a_3b_3) \\
&= a_1b_3c_1+a_2b_3c_2 – a_1b_1c_3 – a_2b_2c_3,
\end{align}
$$
これも一致します。
(1)(2)(3)より3つの成分が全て一致するので
$$
\begin{align}
\mathbf{a}\times(\mathbf{b}\times\mathbf{c})=(\mathbf{a}\cdot\mathbf{c})\mathbf{b}-(\mathbf{a}\cdot\mathbf{b})\mathbf{c}
\end{align}
$$
が成り立ちます。
:::
(8) 外積の公式 (4)：外積の恒等式
:::proposition{title=”定理1.28: 外積の恒等式”}
$\mathbf{u}, \mathbf{v}, \mathbf{x}, \mathbf{y} \in \mathbb{R}^3$について、以下の高等式が成り立ちます。
$$
\begin{align}
(\mathbf u\times \mathbf v)\cdot(\mathbf x\times \mathbf y)
= (\mathbf u\cdot \mathbf x)(\mathbf v\cdot \mathbf y)-(\mathbf u\cdot \mathbf y)(\mathbf v\cdot \mathbf x)
\end{align}
$$
:::
:::details{title=”証明をみる”}
ベクトル三重積（BAC–CAB）の公式
$$
\begin{align}
\mathbf a\times(\mathbf b\times \mathbf c)
= \mathbf b(\mathbf a\cdot \mathbf c)-\mathbf c(\mathbf a\cdot \mathbf b)
\end{align}
$$
を用います。まず以下のように変形します。
$$
\begin{align}
(\mathbf u\times \mathbf v)\cdot(\mathbf x\times \mathbf y)
&= (\mathbf x\times \mathbf y)\cdot(\mathbf u\times \mathbf v) \\
&= \mathbf u\cdot\bigl(\mathbf v\times(\mathbf x\times \mathbf y)\bigr).
\end{align}
$$
第2式から第3式への変形には、
$$
\begin{align}
\mathbf{c} \cdot (\mathbf{a} \times \mathbf{b}) = \mathbf{a} \cdot (\mathbf{b} \times \mathbf{c})
\end{align}
$$
のスカラー3重積の公式を、$\mathbf{c}=\mathbf{x}\times\mathbf{y}$, $\mathbf{a}=\mathbf{u}$, $\mathbf{b}=\mathbf{v}$とおいて利用しています。ここで BAC–CAB を $\mathbf a=\mathbf v,\ \mathbf b=\mathbf x,\ \mathbf c=\mathbf y$ に適用すると
$$
\begin{align}
\mathbf v\times(\mathbf x\times \mathbf y)=\mathbf x(\mathbf v\cdot \mathbf y)-\mathbf y(\mathbf v\cdot \mathbf x)
\end{align}
$$
したがって
$$
\begin{align}
(\mathbf u\times \mathbf v)\cdot(\mathbf x\times \mathbf y)
&=\mathbf u\cdot\bigl(\mathbf x(\mathbf v\cdot \mathbf y)-\mathbf y(\mathbf v\cdot \mathbf x)\bigr)\\
&=(\mathbf u\cdot \mathbf x)(\mathbf v\cdot \mathbf y)-(\mathbf u\cdot \mathbf y)(\mathbf v\cdot \mathbf x)
\end{align}
$$
求める等式が得られます。
:::
(9) 外積の公式 (5)：行列の恒等式
:::proposition{title=”定理1.29: 行列の恒等式”}
$\mathbf{a} \in \mathbf{R}^3$、また、$I$を$R^{3\times 3}$の単位行列としたとき、以下の行列$[\mathbf{a}]_\times$について、
$$
\begin{align}
[\mathbf{a}]_\times=\begin{pmatrix} 0&-a_3&a_2\\ a_3&0&-a_1\\ -a_2&a_1&0 \end{pmatrix}
\end{align}
$$
以下の恒等式が成り立ちます。
$$
\begin{align}
[\mathbf{a}]\times^{\mathsf T}[\mathbf{a}]\times=(\mathbf{a}\cdot\mathbf{a})I-\mathbf{a}\mathbf{a}^{\mathsf T}
\end{align}
$$
:::
:::details{title=”証明をみる”}
$\mathbf{a}, \mathbf{x} \in \mathbb{R}^3$についてベクトル三重積の公式 $\mathbf{a}\times(\mathbf{a}\times\mathbf{x})=\mathbf{a}(\mathbf{a}\cdot\mathbf{x})-\mathbf{x}(\mathbf{a}\cdot\mathbf{a})$ を行列形で書くと
$$
\begin{align}
[\mathbf{a}]_\times^2 \mathbf{x}=\mathbf{a}(\mathbf{a}^{\mathsf T}\mathbf{x})-(\mathbf{a}\cdot\mathbf{a})\mathbf{x}
\end{align}
$$
となります。定理1.21の内積の公式(1)から、
$$
\begin{align}
\mathbf{a}(\mathbf{a}^{\mathsf T}\mathbf{x})=(\mathbf{a}\mathbf{a}^{\mathsf T})\mathbf{x}
\end{align}
$$
となり、
$$
\begin{align}
[\mathbf{a}]_\times^2 \mathbf{x}=(\mathbf{a}\mathbf{a}^{\mathsf T})\mathbf{x}-(\mathbf{a}\cdot\mathbf{a})\mathbf{x}
\end{align}
$$
がわかります。これが任意の$\mathbf{x}$について成立するため、
$$
\begin{align}
[\mathbf{a}]_\times^2=\mathbf{a}\mathbf{a}^{\mathsf T}-(\mathbf{a}\cdot\mathbf{a})I
\end{align}
$$
となります。ここで、半対称行列の性質である$[\mathbf{a}]\times^{\mathsf T}=-[\mathbf{a}]\times$ を用いると
$$
\begin{align}
[\mathbf{a}]\times^{\mathsf T}[\mathbf{a}]\times=(\mathbf{a}\cdot\mathbf{a})I-\mathbf{a}\mathbf{a}^{\mathsf T}
\end{align}
$$
が得られます。
:::
(10) 外積の公式 (6)：ラグランジュの恒等式
:::proposition{title=”定理1.30: ラグランジュの恒等式”}
$\mathbf{a}, \mathbf{b} \in \mathbb{R}^3$について、以下の恒等式が成立します。
$$
\begin{align}
|\mathbf{a}\times\mathbf{b}|^2=|\mathbf{a}|^2|\mathbf{b}|^2-(\mathbf{a}\cdot\mathbf{b})^2
\end{align}
$$
:::
:::details{title=”証明をみる”}
定理1.29の行列の恒等式より、
$$
\begin{align}
|\mathbf{a}\times\mathbf{b}|^2
&=(\mathbf{a}\times\mathbf{b})\cdot(\mathbf{a}\times\mathbf{b}) \\
&=\big([\mathbf{a}]\times\mathbf{b}\big)^{\mathsf T}\big([\mathbf{a}]\times\mathbf{b}\big) \\
&=\mathbf{b}^{\mathsf T}\big([\mathbf{a}]\times^{\mathsf T}[\mathbf{a}]\times\big)\mathbf{b} \\
&=\mathbf{b}^{\mathsf T}\big((\mathbf{a}\cdot\mathbf{a})I-\mathbf{a}\mathbf{a}^{\mathsf T}\big)\mathbf{b} \\
&=(\mathbf{a}\cdot\mathbf{a})\mathbf{b}^{\mathsf T}I\mathbf{b}-\mathbf{b}^{\mathsf T}\mathbf{a}\mathbf{a}^{\mathsf T}\mathbf{b} \\
&=(\mathbf{a}\cdot\mathbf{a})\mathbf{b}^{\mathsf T}\mathbf{b}-(\mathbf{a}^{\mathsf T}\mathbf{b})^{\mathsf T}(\mathbf{a}^{\mathsf T}\mathbf{b}) \\
&=(\mathbf{a}\cdot\mathbf{a})(\mathbf{b}\cdot\mathbf{b})-(\mathbf{a}\cdot\mathbf{b})^2 \\
&= |\mathbf{a}|^2|\mathbf{b}|^2-(\mathbf{a}\cdot\mathbf{b})^2
\end{align}
$$
となり、求める恒等式が得られます。
:::
(11) 外積の向き
:::proposition{title=”定理:1.31: 外積の向き”}
$\mathbf{a}, \mathbf{b} \in \mathbb{R}^3$について、$\mathbf{a} \times \mathbf{b}$の方向は$\mathbf{a}$を$\mathbf{b}$へ重ねるように右ねじを回した際の方向です (回す角度は$\pi$以下)。外積は$\mathbf{a}$と$\mathbf{b}$が含まれる平面に垂直な方向になります。
:::
:::details{title=”証明をみる (成分計算による証明)”}
$\mathbf{a}=(a_1,a_2,a_3)^{\mathsf T}$、$\mathbf{b}=(b_1,b_2,b_3)^{\mathsf T}$ とします。外積の成分は
$$
\begin{align}
\mathbf{a}\times\mathbf{b}=\bigl(a_2b_3-a_3b_2,\ a_3b_1-a_1b_3,\ a_1b_2-a_2b_1\bigr)^{\mathsf T}
\end{align}
$$
まず、(1)$\mathbf{a}\cdot(\mathbf{a}\times\mathbf{b})=0$ を示します。 左辺を成分で展開すると
$$
\begin{align}
\mathbf{a}\cdot(\mathbf{a}\times\mathbf{b})
&=a_1(a_2b_3-a_3b_2)+a_2(a_3b_1-a_1b_3)+a_3(a_1b_2-a_2b_1) \\
&=a_1a_2b_3-a_1a_3b_2+a_2a_3b_1-a_1a_2b_3+a_1a_3b_2-a_2a_3b_1 \\
&=0
\end{align}
$$
続いて (2)$\mathbf{b}\cdot(\mathbf{a}\times\mathbf{b})=0$ を示します。
$$
\begin{align}
\mathbf{b}\cdot(\mathbf{a}\times\mathbf{b})
&=b_1(a_2b_3-a_3b_2)+b_2(a_3b_1-a_1b_3)+b_3(a_1b_2-a_2b_1) \\
&=a_2b_1b_3-a_3b_1b_2+a_3b_1b_2-a_1b_2b_3+a_1b_2b_3-a_2b_1b_3 \\
&=0
\end{align}
$$
(1)(2)より
$$
\begin{align}
\mathbf{a}\cdot(\mathbf{a}\times\mathbf{b})=0,\quad \mathbf{b}\cdot(\mathbf{a}\times\mathbf{b})=0
\end{align}
$$
したがって $\mathbf{a}\times\mathbf{b}$ は $\mathbf{a}$ と $\mathbf{b}$ の両方に直交します。
:::
:::details{title=”証明をみる (行列式を用いた証明)”}
スカラー三重積の性質を用いると
$$
\begin{align}
\mathbf{a}\cdot(\mathbf{a}\times\mathbf{b})=\det[\mathbf{a},\mathbf{a},\mathbf{b}]
\end{align}
$$
となります。行列式は列（または行）が同一なら $0$ なので
$$
\begin{align}
\det[\mathbf{a},\mathbf{a},\mathbf{b}]=0
\end{align}
$$
同様に
$$
\begin{align}
\mathbf{b}\cdot(\mathbf{a}\times\mathbf{b})=\det[\mathbf{b},\mathbf{a},\mathbf{b}]=0
\end{align}
$$
となります。よって直交性が示されました。
:::
(12) 外積のノルム
:::proposition{title=”定理1.32: 外積のノルム”}
$\mathbf{a}, \mathbf{b} \in \mathbb{R}^3$、また、これらのベクトルの成す角を$\theta$とすると、外積のノルムは以下です。
$$
\begin{align}
|\mathbf{a} \times \mathbf{b}| = |\mathbf{a}| |\mathbf{b}| \sin \theta
\end{align}
$$
外積の大きさは$\mathbf{a}$と$\mathbf{b}$が作る平行四辺形の面積に相当します。
:::
:::details{title=”証明をみる”}
定理1.30のラグランジュの恒等式より、
$$
\begin{align}
|\mathbf{a}\times\mathbf{b}|^2=|\mathbf{a}|^2|\mathbf{b}|^2-(\mathbf{a}\cdot\mathbf{b})^2
\end{align}
$$
です。定理1.16の内積とノルムの関係式$\mathbf{a}\cdot\mathbf{b}=|\mathbf{a}|\,|\mathbf{b}|\cos\theta$ を代入すると
$$
\begin{align}
|\mathbf{a}\times\mathbf{b}|^2
&=|\mathbf{a}|^2|\mathbf{b}|^2-\big(|\mathbf{a}|\,|\mathbf{b}|\cos\theta\big)^2 \\
&=|\mathbf{a}|^2|\mathbf{b}|^2\big(1-\cos^2\theta\big) \\
&=|\mathbf{a}|^2|\mathbf{b}|^2\sin^2\theta
\end{align}
$$
両辺は非負なので平方根を取って
$$
\begin{align}
|\mathbf{a}\times\mathbf{b}|=|\mathbf{a}|\,|\mathbf{b}|\sin\theta
\end{align}
$$
が得られます。
:::
7. 1次独立と1次従属
(1) 1次独立
:::proposition{title=”定義1.33: 1次独立”}
ベクトル $\mathbf{a}_1, \mathbf{a}_2, \dots, \mathbf{a}_k \in \mathbb{C}^n$ が 1次独立であるとは、以下の線形結合がゼロベクトルになるとき、すべての係数が 0 に限ることを言います。
$$
\begin{align}
c_1 \mathbf{a}_1 + c_2 \mathbf{a}_2 + \cdots + c_k \mathbf{a}_k = \mathbf{0} \Rightarrow c_1 = c_2 = \cdots = c_k = 0
\end{align}
$$
すなわち、ベクトル同士が互いに冗長でなく、それぞれが独立した方向を持つこと(=どんな2つのベクトルも平行ではないこと)を意味します。
なお、2つのベクトルが1次独立の場合、$\mathbf{a} /!/!!!!\backslash\, \mathbf{b}$と表記することがあります。
:::
(2) 1次従属
:::proposition{title=”定義1.34: 1次従属”}
ベクトル $\mathbf{a}_1, \mathbf{a}_2, \dots, \mathbf{a}_k \in \mathbb{C}^n$ が 1次従属であるとは、ゼロでない係数を用いた線形結合がゼロベクトルになる場合です。
$$
\begin{align}
c_1 \mathbf{a}_1 + c_2 \mathbf{a}_2 + \cdots + c_k \mathbf{a}_k = \mathbf{0}, \quad \text{ただし } \exists i \text{ such that } c_i \neq 0
\end{align}
$$
つまり、少なくとも1つのベクトルが他のベクトルの線形結合として表されることを意味します。
なお、2つのベクトルが1次独立の場合、$\mathbf{a} /!/ \mathbf{b}$と表記することがあります。
:::
