ベクトル加法（ベクトル和）

ベクトル加法

2つのベクトル\(\boldsymbol{x},\boldsymbol{y}\in \mathbb{R} ^{n}\)を任意に選んだとき、それらの対応する成分どうしを足すことにより得られる新たなベクトルを、\begin{equation*}\boldsymbol{x}+\boldsymbol{y}=\left( x_{1}+y_{1},\cdots ,x_{n}+y_{n}\right)
\end{equation*}で表記し、これを\(\boldsymbol{x}\)と\(\boldsymbol{y}\)のベクトル和（vector sum）や和（sum）などと呼びます。左辺の\(+\)はベクトル和を表す記号であり、右辺の\(+\)は\(\mathbb{R} \)上の加法を表す記号であることに注意してください。両者を同じ記号を用いて表記するため注意が必要です。

ベクトル\(\boldsymbol{x},\boldsymbol{y}\in \mathbb{R} ^{n}\)を任意に選んだとき、実数空間\(\mathbb{R} \)が加法\(+\)について閉じていることからベクトル和\(\boldsymbol{x}+\boldsymbol{y}\)のそれぞれの成分\(x_{i}+y_{i}\)が1つの実数として定まることが保証されるため、\(\boldsymbol{x}+\boldsymbol{y}\)が\(\mathbb{R} ^{n}\)の1つの点として定まることが保証されます。したがって、\begin{equation*}\forall \boldsymbol{x},\boldsymbol{y}\in \mathbb{R} ^{n}:\boldsymbol{x}+\boldsymbol{y}\in \mathbb{R} ^{n}
\end{equation*}が成り立つこと、すなわち\(\mathbb{R} ^{n}\)がベクトル加法\(+\)について閉じていることが保証されます。このような事情を踏まえると、ベクトルを成分とするそれぞれの順序対\(\left( \boldsymbol{x},\boldsymbol{y}\right) \in \mathbb{R} ^{n}\times \mathbb{R} ^{n}\)に対して、やはりベクトルであるベクトル和\(\boldsymbol{x}+\boldsymbol{y}\in \mathbb{R} ^{n}\)を定める二項演算\begin{equation*}+:\mathbb{R} ^{n}\times \mathbb{R} ^{n}\rightarrow \mathbb{R} ^{n}
\end{equation*}が定義可能です。このような演算をベクトル加法（vector addition）と呼びます。順序対\(\left( \boldsymbol{x},\boldsymbol{y}\right) \)に対してベクトル加法\(+\)を適用することを、\(\boldsymbol{x}\)と\(\boldsymbol{y}\)を足す（add）と言います。

ベクトル加法は同一の空間に属する2つのベクトルに対してのみ定義されます。異なる空間に属するベクトルどうしにベクトル加法を適用することはできません。

ベクトル加法の解釈

空間\(\mathbb{R} ^{n}\)上に存在する2つの点\(X,Y\)を任意に選んだ上で、これらの点の位置ベクトルを、\begin{eqnarray*}\boldsymbol{x} &\in &\mathbb{R} ^{n} \\
\boldsymbol{y} &\in &\mathbb{R} ^{n}
\end{eqnarray*}でそれぞれ表現します。つまり、ベクトル\(\overrightarrow{OX}\)の終点座標が\(\boldsymbol{x}\)であり、ベクトル\(\overrightarrow{OY}\)の終点座標が\(\boldsymbol{y}\)です。これらの位置ベクトルのベクトル和は、\begin{equation*}\boldsymbol{x}+\boldsymbol{y}\in \mathbb{R} ^{n}
\end{equation*}ですが、これはベクトル\(\overrightarrow{OX}+\overrightarrow{OY}\)の終点座標と一致します。

例（ベクトル加法の解釈）

2次元空間上に存在する2つの点\(X,Y\)を選んだ上で、これらの点の位置ベクトルを、\begin{eqnarray*}\left( x_{1},x_{2}\right) &\in &\mathbb{R} ^{2} \\
\left( y_{2},y_{2}\right) &\in &\mathbb{R} ^{2}
\end{eqnarray*}でそれぞれ表現します。つまり、ベクトル\(\overrightarrow{OX}\)の終点座標が\(\left( x_{1},x_{2}\right) \)であり、ベクトル\(\overrightarrow{OY}\)の終点座標が\(\left( y_{2},y_{2}\right) \)です。これらの位置ベクトルのベクトル和は、\begin{equation*}\left( x_{1},x_{2}\right) +\left( y_{1},y_{2}\right) =\left(
x_{1}+y_{1},x_{2}+y_{2}\right) \in \mathbb{R} ^{2}
\end{equation*}ですが、これはベクトル\(\overrightarrow{OX}+\overrightarrow{OY}\)の終点座標と一致します。

図から明らかであるように、これは2つのベクトル\(\overrightarrow{OX},\overrightarrow{OY}\)によって形作られる平行四辺形の対角線の終点の位置ベクトルです。

ベクトル加法に関する結合律

ベクトル加法は以下の性質\begin{equation*}
\left( V_{1}\right) \ \forall \boldsymbol{x},\boldsymbol{y},\boldsymbol{z}\in \mathbb{R} ^{n}:\left( \boldsymbol{x}+\boldsymbol{y}\right) +\boldsymbol{z}=\boldsymbol{x}+\left( \boldsymbol{y}+\boldsymbol{z}\right)
\end{equation*}を満たします。以上の性質をベクトル加法に関する結合律（associative law）と呼びます。括弧\(\left( \ \right) \)はベクトル加法\(+\)を適用する順番を表す記号です。つまり、左辺\(\left( \boldsymbol{x}+\boldsymbol{y}\right) +\boldsymbol{z}\)は、はじめに\(\boldsymbol{x}\)と\(\boldsymbol{y}\)を足した上で、得られた結果と\(\boldsymbol{z}\)をさらに足して得られるベクトルです。右辺の\(\boldsymbol{x}+\left( \boldsymbol{y}+\boldsymbol{z}\right) \)は、はじめに\(\boldsymbol{y}\)と\(\boldsymbol{z}\)を足した上で、\(\boldsymbol{x}\)と先の結果\(\boldsymbol{y}+\boldsymbol{z}\)を足して得られるベクトルです。結合律はこれらのベクトルが等しいことを保証します。つまり、3つのベクトル\(\boldsymbol{x},\boldsymbol{y},\boldsymbol{z}\)に対してベクトル加法を適用する際には、隣り合うどの2つを先に足しても得られる結果は変わらないということです。

ゼロベクトル（ベクトル加法単位元）

ベクトルは有限\(n\)個の実数からなる組として定義されるため、すべての成分が\(0\)であるようなベクトル\begin{equation*}\boldsymbol{0}=\left( 0,\cdots ,0\right)
\end{equation*}が存在します。これをゼロベクトル（zero vector）と呼びます。ただし、左辺の\(\boldsymbol{0}\)はゼロベクトルを表す記号であり、右辺の\(0\)はゼロです。

ベクトル加法は以下の性質\begin{equation*}
\left( V_{2}\right) \ \exists \boldsymbol{0}\in \mathbb{R} ^{n},\ \forall \boldsymbol{x}\in \mathbb{R} ^{n}:\boldsymbol{x}+\boldsymbol{0}=\boldsymbol{x}
\end{equation*}を満たします。つまり、先の理由によりゼロベクトル\(\boldsymbol{0}\)が存在しますが、任意のベクトル\(\boldsymbol{x}\)に対してゼロベクトル\(\boldsymbol{0}\)を足してもその結果は\(\boldsymbol{x}\)のままであるということです。このような事情を踏まえた上で、ゼロベクトルをベクトル加法単位元（identity element of vector addition）と呼ぶ場合もあります。

\(\mathbb{R} \)の加法単位元\(0\)は一意的であるため、\(0\)を成分として持つベクトルとして定義されるゼロベクトル\(\boldsymbol{0}\)もまた一意的です。

逆ベクトル（ベクトル加法逆元）

ベクトル\(\boldsymbol{x}\in \mathbb{R} ^{n}\)のそれぞれの成分\(x_{i}\ \left( i=1,\cdots ,n\right) \)は実数ですが、任意の実数\(x_{i}\)は加法単位元\(-x_{i}\)を持つため、以下のようなベクトル\begin{equation*}-\boldsymbol{x}=\left( -x_{1},\cdots ,-x_{n}\right)
\end{equation*}が存在することが保証されます。これを\(\boldsymbol{x}\)の逆ベクトル（inverse vector）や負ベクトル（negative vector）などと呼びます。ただし、左辺の\(-\boldsymbol{x}\)はベクトル\(\boldsymbol{x}\)の逆ベクトルを表す記号であるのに対し、右辺の\(-x_{i}\)は実数\(x_{i}\)の加法逆元を表す記号です。

ベクトル加法は以下の性質\begin{equation*}
\left( V_{3}\right) \ \forall \boldsymbol{x}\in \mathbb{R} ^{n},\ \exists -\boldsymbol{x}\in \mathbb{R} ^{n}:\boldsymbol{x}+(-\boldsymbol{x})=\boldsymbol{0}
\end{equation*}を満たします。つまり、ベクトル\(\boldsymbol{x}\)を任意に選んだとき、先の理由によりその逆ベクトル\(-\boldsymbol{x}\)が存在することが保証されますが、\(\boldsymbol{x}\)と\(-\boldsymbol{x}\)の和はゼロベクトルと一致することが保証されるということです。このような事情を踏まえた上で、逆ベクトル\(-\boldsymbol{x}\)をベクトル\(\boldsymbol{x}\)のベクトル加法逆元（inverse element of vector addition）と呼ぶ場合もあります。

それぞれの実数\(x_{i}\)に対してその加法逆元\(-x_{i}\)は一意的に定まるため、それぞれのベクトル\(\boldsymbol{x}\)に対してその逆ベクトル\(-\boldsymbol{x}\)は一意的に定まります。

ベクトル加法に関する交換律

ベクトル加法は以下の性質\begin{equation*}
\left( V_{4}\right) \ \forall \boldsymbol{x},\boldsymbol{y}\in \mathbb{R} ^{n}:\boldsymbol{x}+\boldsymbol{y}=\boldsymbol{y}+\boldsymbol{x}
\end{equation*}を満たします。以上の性質をベクトル加法に関する交換律（commutative law）と呼びます。本来、2つのベクトル\(\boldsymbol{x},\boldsymbol{y}\)を成分とする順序対\(\left( \boldsymbol{x},\boldsymbol{y}\right) ,\left( \boldsymbol{y},\boldsymbol{x}\right) \)は異なるものとして区別するため、\(\left( \boldsymbol{x},\boldsymbol{y}\right) \)にベクトル加法を適用して得られるベクトル\(\boldsymbol{x}+\boldsymbol{y}\)と、\(\left( \boldsymbol{y},\boldsymbol{x}\right) \)にベクトル加法を適用して得られるベクトル\(\boldsymbol{y}+\boldsymbol{x}\)もまた区別されるべきですが、交換律はこれらが等しいベクトルであることを保証します。

ベクトル加法に関する可換群としての\(n\)次元空間

これまで明らかになったベクトル加法の性質を改めて整理すると、\begin{eqnarray*}
&&\left( V_{1}\right) \ \forall \boldsymbol{x},\boldsymbol{y},\boldsymbol{z}\in \mathbb{R} ^{n}:(\boldsymbol{x}+\boldsymbol{y})+\boldsymbol{z}=\boldsymbol{x}+(\boldsymbol{y}+\boldsymbol{z}) \\
&&\left( V_{2}\right) \ \exists \boldsymbol{0}\in \mathbb{R} ^{n},\ \forall \boldsymbol{x}\in \mathbb{R} ^{n}:\boldsymbol{x}+\boldsymbol{0}=\boldsymbol{x} \\
&&\left( V_{3}\right) \ \forall \boldsymbol{x}\in \mathbb{R} ^{n},\ \exists -\boldsymbol{x}\in \mathbb{R} ^{n}:\boldsymbol{x}+(-\boldsymbol{x})=\boldsymbol{0} \\
&&\left( V_{4}\right) \ \forall \boldsymbol{x},\boldsymbol{y},\in \mathbb{R} ^{n}:\boldsymbol{x}+\boldsymbol{y}=\boldsymbol{y}+\boldsymbol{x}
\end{eqnarray*}となります。

ベクトル加法\(+\)が\(\left(V_{1}\right) \)を満たすことは、\(n\)次元空間\(\mathbb{R} ^{n}\)が\(+\)に関して半群（semigroup）であることを意味します。また、ベクトル加法\(+\)が\(\left(V_{1}\right) \)と\(\left( V_{2}\right) \)を満たすことは、\(\mathbb{R} ^{n}\)が\(+\)に関してモノイド（monoid）であることを意味します。また、ベクトル加法\(+\)が\(\left( V_{1}\right) ,\left( V_{2}\right) \)に加えて\(\left( V_{3}\right) \)を満たすことは、\(\mathbb{R} ^{n}\)が\(+\)に関して群（group）であることを意味します。さらに、ベクトル加法\(+\)が\(\left( V_{1}\right),\left( V_{2}\right) ,\left( V_{3}\right) \)に加えて\(\left( V_{4}\right) \)を満たすことは、\(\mathbb{R} ^{n}\)が\(+\)に関して可換群（commutative group）またはアーベル群（abelian group）であることを意味します。

逆ベクトルの逆ベクトル

ベクトル\(\boldsymbol{x}\in \mathbb{R} ^{n}\)を任意に選んだとき、その逆ベクトル\(-\boldsymbol{x}\)もまた\(\mathbb{R} ^{n}\)の点であるため、さらにその逆ベクトル\(-\left( -\boldsymbol{x}\right) \)が存在し、これもまた\(\mathbb{R} ^{n}\)の点です。しかも、\begin{equation*}-\left( -\boldsymbol{x}\right) =\boldsymbol{x}
\end{equation*}が成り立ちます。つまり、ベクトルの逆ベクトルの逆ベクトルはもとのベクトルと一致します。

ゼロベクトルの逆ベクトル

ゼロベクトル\(\boldsymbol{0}\)は\(\mathbb{R} ^{n}\)の点であるため、その逆ベクトル\(-\boldsymbol{0}\)もまた\(\mathbb{R} ^{n}\)の点です。しかも、\begin{equation*}-\boldsymbol{0}=\boldsymbol{0}
\end{equation*}が成り立ちます。つまり、ゼロベクトルの逆ベクトルはゼロベクトルです。

演習問題