ベクトルの定義

有向線分としてのベクトル

温度や質量、長さ、距離などのように「大きさ」という1種類の情報によって表現される量をスカラー（scalar）と呼びます。スカラーを表現するためには「大きさ」を具体的に指定する必要がありますが、それは1つの実数として表現されます。

力や速度、運動量などのように「大きさ」と「方向」という2種類の情報によって表現される量をベクトル（vector）と呼びます。ベクトルを表現するためには「大きさ」と「方向」を具体的に指定する必要がありますが、それは「長さ」と「方向」を持つ線分として表現されます。つまり、ベクトルの大きさを線分の長さとして表現し、ベクトルの方向を線分の方向として表現するということです。「長さ」と「方向」を持つ線分を有向線分（directed line segment）と呼びます。ベクトルは有向線分を用いて幾何的（図形的）に表現されます。

ベクトルを代数的に表現することもできます。空間に座標系を導入すれば、空間上にあるそれぞれの点の位置を座標（coordinate）と呼ばれる実数の組として表現できます。有向線分は始点（starting point）と終点（end point）という2つの点を持つため、座標系において始点の座標と終点の座標をそれぞれ具体的に指定すれば、それらを結ぶ有向線分が得られます。具体的には以下の通りです。

\(n\)次元空間\(\mathbb{R} ^{n}\)における点の座標は\(n\)個の実数からなる組\begin{equation*}\left( x_{1},\cdots ,x_{n}\right) \in \mathbb{R} ^{n}
\end{equation*}として定義されます。したがって、\(n\)次元空間は、\begin{equation*}\mathbb{R} ^{n}=\{\left( x_{1},\cdots ,x_{n}\right) \ |\ \forall i\in \left\{ 1,\cdots,n\right\} :x_{i}\in \mathbb{R} \}
\end{equation*}と定義されます。\(\mathbb{R} ^{n}\)においてベクトルを代数的に表現するためには、そのベクトルに対応する有向線分の始点\(X\)の座標と終点\(Y\)の座標をそれぞれ具体的に指定することになります。つまり、\begin{eqnarray*}\text{始点}X\text{の座標} &:&\left(
x_{1},\cdots ,x_{n}\right) \in \mathbb{R} ^{n} \\
\text{終点}Y\text{の座標} &:&\left(
y_{1},\cdots ,y_{n}\right) \in \mathbb{R} ^{n}
\end{eqnarray*}が与えられれば、これらを結ぶ有向線分が得られるため、それを、\begin{equation*}
\overrightarrow{XY}
\end{equation*}で表記します。この有向線分\(\overrightarrow{XY}\)によって表現されるベクトルの大きさは\(\overrightarrow{XY}\)の長さとして表現され、そのベクトルの方向は\(\overrightarrow{XY}\)の方向として表現されます。有向線分\(\overrightarrow{XY}\)と、それによって表現されるベクトルを同一視した上で、有向線分\(\overrightarrow{XY}\)をベクトルと呼ぶことができます。

位置ベクトルとしてのベクトル

空間\(\mathbb{R} ^{n}\)におけるベクトルは有向線分として表現できることが明らかになりました。さらに、有向線分\(\overrightarrow{XY}\)を指定するためには始点\(X\)の座標と終点\(Y\)の座標を指定すればよいことが明らかになりました。ただ、ベクトルは「長さ」と「方向」を持つ量であるため、ベクトルを有向線分として表現するにあたり、空間\(\mathbb{R} ^{n}\)における有向線分の「位置」に関する情報を消去しても問題はありません。つまり、ベクトルを有向線分として表現するにあたり、すべての有向線分の始点を統一しても一般性は失われません。多くの場合、有向線分の始点として空間\(\mathbb{R} ^{n}\)の原点\(O\)を採用します。すべての有向線分の始点を原点に統一すれば、有向線分を指定するためには必要な情報は終点の座標だけになります。つまり、ベクトルはそれを表現する有向線分の終点の座標、すなわち\(n\)個の実数の組を用いて代数的に表現できます。具体的には以下の通りです。

空間\(\mathbb{R} ^{n}\)においてベクトルを代数的に表現するためには、そのベクトルに対応する有向線分の始点の座標と終点の座標をそれぞれ具体的に指定することになります。ただし、先の議論から明らかになったように、始点として原点\(O\)を採用しても一般性は失われないため、ベクトルを表現するためには終点\(X\)の座標だけを具体的に指定すれば十分です。つまり、\begin{eqnarray*}\text{始点}O\text{の座標} &:&\left( 0,\cdots
,0\right) \in \mathbb{R} ^{n} \\
\text{終点}X\text{の座標} &:&\left(
x_{1},\cdots ,x_{n}\right) \in \mathbb{R} ^{n}
\end{eqnarray*}が与えられれば、これらを結ぶ有向線分が得られるため、それを、\begin{equation*}
\overrightarrow{OX}
\end{equation*}で表記します。この有向線分\(\overrightarrow{OX}\)によって表現されるベクトルの大きさは\(\overrightarrow{OX}\)の長さとして表現され、そのベクトルの方向は\(\overrightarrow{OX}\)の方向として表現されます。有向線分\(\overrightarrow{OX}\)と、それによって表現されるベクトルを同一視した上で、有向線分\(\overrightarrow{OX}\)をベクトルと呼ぶことができます。また、すべての有向線分の始点は原点\(O\)に統一されているため、有向線分\(\overrightarrow{OX}\)を指定するためには終点\(X\)の座標\(\left( x_{1},\cdots ,x_{n}\right) \)を指定すれば十分であり、したがって有向線分\(\overrightarrow{OX}\)とその終点座標\(\left( x_{1},\cdots ,x_{n}\right) \)を同一視できます。このような事情を踏まえると、終点座標\(\left( x_{1},\cdots ,x_{n}\right) \)をベクトルと呼ぶことができます。

空間\(\mathbb{R} ^{n}\)におけるベクトルは有向線分として表現できるとともに、すべての有向線分の始点を空間\(\mathbb{R} ^{n}\)の原点\(O\)に統一しても問題は生じないことが明らかになりました。言い換えると、空間\(\mathbb{R} ^{n}\)においてベクトルを表現するためには有向線分\(\overrightarrow{OX}\)の終点\(X\)の座標\begin{equation*}\left( x_{1},\cdots ,x_{n}\right) \in \mathbb{R} ^{n}
\end{equation*}を指定すればよいということです。このような有向線分\(\overrightarrow{OX}\)を点\(X\)の位置ベクトル（position vector）と呼び、点\(X\)の座標\(\left( x_{1},\cdots ,x_{n}\right) \)を位置ベクトル\(\overrightarrow{OX}\)の成分表示（representation by components）と呼びます。つまり、すべての有向線分は始点を原点に統一した位置ベクトルとして表現されるとともに、位置ベクトルはその終点座標に相当する成分表示を用いて表現できるということです。

ベクトルの定義

これまでの議論から明らかになったように、空間\(\mathbb{R} ^{n}\)におけるベクトルは空間\(\mathbb{R} ^{n}\)上に存在する点の位置ベクトルとして表現できるため、ベクトルと位置ベクトルを同一視できます。つまり、空間\(\mathbb{R} ^{n}\)におけるベクトルを有限\(n\)個の実数\(x_{1},\cdots ,x_{n}\)の組として定義できるということです。特に、有限\(n\)個の実数\(x_{1},\cdots ,x_{n}\)を横に並べた\begin{equation*}x=\left( x_{1},\cdots ,x_{n}\right) \in \mathbb{R} ^{n}
\end{equation*}を行ベクトル（row vector）と呼びます。一方、有限\(n\)個の実数\(x_{1},\cdots,x_{n}\)を縦に並べた、\begin{equation*}x=\left(
\begin{array}{c}
x_{1} \\
\vdots \\
x_{n}\end{array}\right)
\end{equation*}を列ベクトル（column vector）と呼びます。行ベクトルと列ベクトルを総称してベクトル（vector）と呼びます。ベクトル\(x\)を構成するそれぞれの実数\(x_{i}\)を\(x\)の成分（component）や座標（coordinate）などと呼びます。行ベクトルと列ベクトルは厳密には区別されるべき概念ですが、以降では特に断りのない限り両者は交換可能であるものとします。

多くの場合、ベクトルを表現する際に太字を用いて、\begin{equation*}
\boldsymbol{x}=\left( x_{1},\cdots ,x_{n}\right)
\end{equation*}と表記したり、矢印を用いて、\begin{equation*}
\overrightarrow{x}=\left( x_{1},\cdots ,x_{n}\right)
\end{equation*}と表記します。

ベクトルは有限\(n\)個の実数からなる組であるため、すべてのベクトルからなる集合は\(n\)次元空間\begin{equation*}\mathbb{R} ^{n}=\left\{ \left( x_{1},\cdots ,x_{n}\right) \ |\ \forall i\in \left\{1,\cdots ,n\right\} :x_{i}\in \mathbb{R} \right\}
\end{equation*}です。\(\boldsymbol{x}\in \mathbb{R} ^{n}\)です。\(n\)次元ベクトル\(\boldsymbol{x}\)を\(\mathbb{R} ^{n}\)の点（point）と呼ぶこともできます。

\(\mathbb{R} ^{n}\)について考えている場合、その要素であるそれぞれのベクトルは「方向」と「大きさ」という2つの情報を持つ量です。一方、\(\mathbb{R} \)の要素であるそれぞれの実数は「大きさ」という1つの情報だけを持つ量です。そのような事情を踏まえた上で、\(\mathbb{R} ^{n}\)を議論の舞台としている場合、\(\mathbb{R} \)の要素であるそれぞれの実数をスカラー（scalar）と呼ぶこともできます。

例（1次元ベクトル）

\(1\)次元空間\(\mathbb{R} ^{1}\)のベクトルは実数であるため、\begin{equation*}\mathbb{R} ^{1}=\mathbb{R} \end{equation*}という関係が成り立ちます。\(1\)次元空間においてベクトルとスカラーは概念として一致するということです。したがって、\begin{eqnarray*}1 &\in &\mathbb{R} ^{1} \\
-3 &\in &\mathbb{R} ^{1} \\
\frac{1}{3} &\in &\mathbb{R} ^{1}
\end{eqnarray*}などが成り立ちます。

\(1\)次元のベクトル\(x\)は数直線上の点ですが、これは原点\(O\)が始点であり、位置ベクトルが\(x\)であるような点\(X \)が終点であるような有向線分\(\overrightarrow{OX}\)、すなわちベクトルと同一視されます（上図）。

例（2次元ベクトル）

\(2\)次元空間\(\mathbb{R} ^{2}\)のベクトルは2つの実数を成分として持つため、\begin{equation*}\mathbb{R} ^{2}=\{\left( x_{1},x_{2}\right) \ |\ x_{1},x_{2}\in \mathbb{R} \}\end{equation*}となります。したがって、\begin{eqnarray*}
\left( 1,2\right) &\in &\mathbb{R} ^{2} \\
\left( -3,1\right) &\in &\mathbb{R} ^{2} \\
\left( \frac{1}{2},-7\right) &\in &\mathbb{R} ^{2}
\end{eqnarray*}などが成り立ちます。

\(2\)次元のベクトル\(\left(x_{1},x_{2}\right) \)は平面上の点ですが、これは原点\(O\)が始点であり、位置ベクトルが\(\left( x_{1},x_{2}\right) \)であるような点\(X\)が終点であるような有向線分\(\overrightarrow{OX}\)、すなわちベクトルと同一視されます（上図）。

等しいベクトル

2つのベクトル\(\boldsymbol{x},\boldsymbol{y}\)が同一次元の空間に属するとともに対応する成分がすべて等しい場合には\(\boldsymbol{x}\)と\(\boldsymbol{y}\)は等しい（equal）といい、そのことを、\begin{equation*}\boldsymbol{x}=\boldsymbol{y}
\end{equation*}と表記します。具体的には、同一次元の空間\(\mathbb{R} ^{n}\)に属する2つのベクトル\begin{eqnarray*}\boldsymbol{x} &=&\left( x_{1},\cdots ,x_{n}\right) \\
\boldsymbol{y} &=&\left( y_{1},\cdots ,y_{n}\right)
\end{eqnarray*}を選んだとき、それらの間に、\begin{equation*}
\forall i\in \left\{ 1,\cdots ,n\right\} :x_{i}=y_{i}
\end{equation*}が成り立つ場合には、そのことを\(\boldsymbol{x}=\boldsymbol{y}\)で表すということです。

2つのベクトル\(\boldsymbol{x},\boldsymbol{y}\)が等しくない場合、そのことを\(\boldsymbol{x}\not=\boldsymbol{y}\)で表します。これは、\(\boldsymbol{x}\)と\(\boldsymbol{y}\)が異なる次元の空間に属する場合や、\(\boldsymbol{x}\)と\(\boldsymbol{y}\)が同一次元の空間に属するものの対応する成分の中に一致しないものが存在する場合に相当します。

位置ベクトルとしての一般のベクトルの表現

ベクトルは「大きさ」と「方向」という2つの情報から構成される概念であるため、「位置」だけを変化させてもベクトルとしては変化しません。そこで、すべてのベクトルの始点を原点に統一することにより、ベクトルはいずれも位置ベクトルとして表現されることが明らかになりました。また、位置ベクトルはその終点の座標に相当する成分表示として表現できます。

さて、原点とは異なる2つの点を始点および終点として持つ有向線分もまたベクトルであるため、これもまた位置ベクトルとして表現されます。具体的には以下の通りです。

空間\(\mathbb{R} ^{n}\)上に存在する原点とは異なる2つの点\(X,Y\)の位置ベクトルがそれぞれ、\begin{eqnarray*}\overrightarrow{OX} &=&\left( x_{1},\cdots ,x_{n}\right) \in \mathbb{R} ^{n} \\
\overrightarrow{OY} &=&\left( y_{1},\cdots ,y_{n}\right) \in \mathbb{R} ^{n}
\end{eqnarray*}として与えられているものとします。始点が\(X\)であり終点が\(Y\)であるような有向線分\begin{equation*}\overrightarrow{XY}
\end{equation*}を位置ベクトルとして表現するためには、この有向線分の始点\(X\)が原点\(O\)と一致するように有向線分を移動すればよいため、そのようにして得られる位置ベクトルの成分表示は、\begin{eqnarray*}\left( y_{1}-x_{1},\cdots ,y_{n}-x_{n}\right) &=&\left( y_{1},\cdots
,y_{n}\right) -\left( x_{1},\cdots ,x_{n}\right) \\
&=&\overrightarrow{OY}-\overrightarrow{OX}
\end{eqnarray*}となります。つまり、有向線分\(\overrightarrow{XY}\)を位置ベクトルとして表現すると、\begin{equation*}\overrightarrow{OY}-\overrightarrow{OX}
\end{equation*}になるということです。以上の事実を、\begin{equation*}
\overrightarrow{XY}=\overrightarrow{OY}-\overrightarrow{OX}
\end{equation*}で表記するものと定めます。また、ベクトル\(\overrightarrow{XY}\)と言う場合、これは位置ベクトル\(\overrightarrow{OY}-\overrightarrow{OX}\)を指すものと定めます。したがって、ベクトル\(\overrightarrow{XY}\)の成分表示は、\begin{equation*}\left( y_{1}-x_{1},\cdots ,y_{n}-x_{n}\right)
\end{equation*}です。

演習問題