ベクトルとは何か

無題

まず，次のような問題を考えてみよう．

1. りんごを2 個購入して，さらに2 個購入した時，最初から数えて何個購入しているか？
2. 北に2 km 移動して，さらに東に2 km 移動した時，最初の位置からどの場所へ移動しているか？

1. は$2 + 2 = 4 $より「4 個」である．

2. は移動距離としては$2 + 2 = 4 $より4 km だが，最初の位置から4 km 離れた距離にいるわけではない．下図のように，2. の正確な答えとしては「北東に$2\sqrt{2}$ km 移動した」となる．

これまで学習した分野（関数や数列など）では，1. のように「大きさ」のみを取り扱ってきた．

これに対して，本章以降では2. のように「大きさ」に加えて「向き」という概念を含んだ量を取り扱っていく．なお，このように「向き」と「大きさ」で定まる量のことを，一般にベクトル(vector) という．それに対して，大きさだけをもつものをスカラー(scalar) という．

無題

有向線分というものをもちいて，「向き」を図で表してみよう．

右図の線分$\text{AB}$ において，点$\text{A}$ から点$\text{B}$ への「向き」を考えたものを有向線分(oriented segment) $\text{AB}$ といい，点$\text{A}$ から点$\text{B}$ への矢印として表す．このとき，点$\text{A}$ をその始点(initial point) ，点$\text{B}$ をその終点(terminal point) ，線分$\text{AB}$ の長さをその大きさ(length) という．

各図における有向線分$\text{AB}$ と有向線分$\text{CD}$ の違いを確認しよう．

一般に，有向線分は次のいずれかの条件を与えれば定まるといえる．

1. 始点，終点
2. 位置（始点or 終点），向き，大きさ

無題

（注）

有向線分は「位置」が固定されているものであった．そして，この「位置」条件の存在のために，図1) の有向線分$\text{AB}$ と有向線分$\text{CD}$ は互いに異なる有向線分となっていた．

これに対して，有向線分であるための条件b. から「位置」条件を無視したものは「向き」と「大きさ」だけとなるのでベクトルを表すと考えることができる．

この有向線分$\text{AB}$ の表すベクトルを，記号で

と書く．

このように有向線分から「位置」条件を無視し，ベクトルとみなすことでどのようなメリットがあるかを説明しよう．

右図のような2 次関数の平行移動を考える．

このとき，各有向線分$\text{AA’}， \text{BB’}， \text{CC’}$ は全て異なる有向線分となるが，各ベクトル$\overrightarrow{\text{AA’}}，\overrightarrow{\text{BB’}}，\overrightarrow{\text{CC’}}$ は全て同じベクトルを表している．

このように，有向線分は位置条件が存在するため，「平行移動」という事象に対して統一的に考えられないが，ベクトルは位置条件を無視するため，「平行移動」という事象に対して統一的に考えることができるようになる．

上記の議論によって，有向線分を利用してベクトルを可視化することができた．

さて本章冒頭で述べたように，ベクトルは「大きさ」に加えて「向き」という新しい概念を含んだ量であった．そのため，等号「$=$」や演算記号「$+$」「$−$」なども新たに定義する必要がある．

吹き出しベクトルの相等の定義

「北2 km」+「東2 km」=「北東$2\sqrt{2}$ km」となるように定義するのが自然であろう．

無題

ここでは，まずは等号「$=$」について定義しよう．

さきほどのp.108 の図1）に登場したベクトル$\overrightarrow{\text{AB}}，\overrightarrow{\text{CD}}$ は向きと大きさが等しいので同じベクトルであった．そこで

\[\overrightarrow{\text{AB}} = \overrightarrow{\text{CD}}\]

と書くことにし，このとき，$\overrightarrow{\text{AB}}$ と$\overrightarrow{\text{CD}}$ は等しいということにする．

また，ベクトルは始点と終点を明記しないで，単に$\vec{a}，\vec{b}$ と書くこともある．たとえば，右図のようなとき$\overrightarrow{\text{PQ}}$ と$\vec{a}$ は向きと大きさが等しいので

\[\overrightarrow{\text{PQ}} = \vec{a}\]

となる．

$\overrightarrow{\text{AB}}$ や$\vec{a}$ の大きさを，それぞれ$\left|\overrightarrow{\text{AB}}\right| ， \left|\vec{a}\right|$ と表す．ここで，$\left|\overrightarrow{\text{AB}}\right|$ は，（有向）線分$\text{AB}$ の長さに等しい．特に，大きさが$1$ であるベクトルを単位ベクトル(unit vector) という．