零ベクトル

1 定義

1.1 ベクトル空間における零ベクトル

零ベクトルは、ベクトル空間において加法の単位元となるベクトルである。すべてのベクトル \(v\) に対して、零ベクトル \(0\) を加えると \(v+0=v\) が成り立つ。

この対象は、空間内で「何も足さない」役割を担う。集合としてのベクトル空間が成立するためには、この要素が存在しなければならない。

1.2 座標による表し方

ユークリッド空間では、零ベクトルは各成分がすべて 0 の組として表される。たとえば、2次元では \((0,0)\)、3次元では \((0,0,0)\) となる。

一般の \(n\) 次元空間でも、零ベクトルは \((0,0,\dots,0)\) と書かれる。成分数は空間の次元に対応し、どの成分も非零ではない点が特徴である。

1.3 記号と表記

零ベクトルはしばしば \(0\)、\(\mathbf{0}\)、あるいは \(\vec{0}\) で表される。文脈によっては、スカラーの 0 と区別するために太字や矢印が用いられる。

記号法は分野や教科書によって異なるが、いずれも「加法単位元としてのベクトル」を指す点は共通している。

2 基本性質

2.1 加法の単位元

零ベクトルの最も基本的な性質は、加法に関して単位元であることである。任意のベクトル \(v\) に対し、\(v+0=v\) かつ \(0+v=v\) が成立する。

この性質により、零ベクトルは演算を行っても値を変えない基準点として扱われる。線形代数では、他の性質もこの単位元性を前提に展開される。

2.2 逆元との関係

各ベクトルには加法逆元があり、\(v\) に対する逆元を \(-v\) と書く。ベクトルとその逆元を加えると、結果は零ベクトルになる。

\[ v+(-v)=0 \]

この関係は、零ベクトルが加法の結果として現れる典型例である。逆元の概念は、方程式を解く際にも重要である。

2.3 スカラー倍との関係

零ベクトルは、スカラー倍に関しても特有の性質をもつ。ベクトル空間の公理に従い、数との演算は零ベクトルの振る舞いを明確に定める。

2.3.1 任意の数との積

任意のスカラー \(a\) に対して、\(a0=0\) が成り立つ。また、\(0v=0\) も成立する。

これは、数をどのように掛けても零ベクトルの値が変わらないことを示す。線形性を保つ上で、重要な整合条件になっている。

2.3.2 零ベクトルのスカラー倍

零ベクトルに任意のスカラーを掛けても、結果はやはり零ベクトルである。したがって、拡大や縮小を行っても、大きさのない状態は維持される。

この性質は、ベクトルの線形結合を考えるときに自然に現れる。零ベクトルが一種の不変な出発点として機能する理由でもある。

2.4 一意性

ベクトル空間では、加法の単位元はただ1つである。もし単位元が2つ存在すると仮定すると、それらは互いに等しいことが示される。

この一意性により、零ベクトルは空間ごとにただ1つ定まる。公理系の中で曖昧さが生じないことは、理論の基礎として重要である。

3 幾何学的な意味

3.1 原点との関係

零ベクトルは、通常、座標系の原点と対応づけられる。原点は位置を表す基準であり、そこからの変位がない状態が零ベクトルに相当する。

この対応は、ベクトルを「向きと長さをもつ変位」とみなす見方と整合する。原点は、空間内の基準点としても働く。

3.2 大きさと方向

零ベクトルの長さは 0 であり、方向は定められない。大きさがないため、通常のベクトルのように向きをもつとは言えない。

そのため、零ベクトルは「方向を失ったベクトル」として説明されることがある。ただし、これは直感的な表現であり、厳密には長さ 0 の特別な要素として扱うのが適切である。

3.3 平面・空間での見え方

2次元平面や3次元空間では、零ベクトルは原点に置かれた矢印として図示されることがある。実際には長さがないため、図では点として表される場合も多い。

図形的には目立たないが、座標変換やベクトルの和を考える際には基準として現れる。見た目は簡素でも、構造上の役割は大きい。

4 関連する概念

4.1 零元

零元は、加法における単位元を一般化した概念である。数、行列、ベクトルなど、さまざまな代数的対象において同様の役割を担う。

零ベクトルは、そのベクトル版にあたる。どちらも「加えると変化しない」という点で共通している。

4.2 零行列との違い

零行列は、すべての成分が 0 の行列である。一方、零ベクトルはベクトル空間の要素であり、対象の種類が異なる。

成分表示が似ていても、所属する構造が違えば意味も変わる。たとえば、列ベクトルを行列として扱う文脈では、零行列と零ベクトルを区別する必要がある。

4.3 零ベクトルを用いる例

零ベクトルは、抽象的な定義にとどまらず、実際の計算や理論構成で頻繁に現れる。特に、解の判定や写像の性質を述べる場面で重要である。

4.3.1 連立方程式

同次連立一次方程式では、零ベクトルが自明解として現れる。係数行列と未知ベクトルの積が零ベクトルになる場合、少なくとも1つの解が常に存在する。

この解は、非自明解の有無を調べる出発点となる。線形独立や核の議論にもつながる。

4.3.2 線形写像

線形写像は、零ベクトルを零ベクトルに写す。つまり、\(T(0)=0\) が成り立つ。

この性質は線形性の基本的帰結であり、写像の構造を確かめる際の重要な条件である。像や核を考えるときにも中心的な役割を果たす。

4.3.3 基底と次元

基底をもつベクトル空間では、零ベクトルは基底ベクトルの線形結合として表せる。係数がすべて 0 の組によって与えられるのが典型である。

また、次元を考えるとき、零ベクトルは空間の最小の構造を理解する手がかりになる。1本の基底も持たない自明な空間では、零ベクトルだけが要素となる。