標準基底

三次元空間内の任意のベクトル a は、標準基底ベクトル i, j, k の線型結合として一意的に表される。

線型代数学における標準基底（ひょうじゅんきてい、テンプレート:Lang-en-short）または自然基底 (テンプレート:Lang) は直交座標系の各軸方向に向かう単位ベクトルからなるユークリッド空間の基底を言う。例えばユークリッド平面の標準基底は

${𝐞}_x=(1,0),{𝐞}_y=(0,1)$

であり、三次元ユークリッド空間の標準基底は

${𝐞}_x=(1,0,0),{𝐞}_y=(0,1,0),{𝐞}_z=(0,0,1)$

で与えられる。ここで、各ベクトル e_x, e_y, e_z はそれぞれ x-軸方向、y-軸方向、z-軸方向を向いている。この基底を表すのによく用いられる記法として、{e_x, e_y, e_z}, {e₁, e₂, e₃}, {i, j, k}, {x, y, z} などを挙げることができる。単位ベクトルであることを強調するためにサーカムフレックス（キャレット）を載せることもある。

ここでいう基底は、それらのベクトルの線型結合として、任意のベクトルがそれぞれただ一通りに表されるという意味においていう。例えば三次元ベクトル v は必ず

$v_x{𝐞}_x+v_y{𝐞}_y+v_z{𝐞}_z$

なる形に書くことができて、スカラー v_x, v_y, v_z は v の座標成分になる。

数ベクトル空間の標準基底

テンプレート:Seealso n-次元ユークリッド空間 Rⁿ あるいは適当な体 K 上の数ベクトル空間 Kⁿ には、n-個の相異なるベクトル

$\begin{array}{cc}{𝐞}_1& =(1,0,0,\dots ,0),\\ {𝐞}_2& =(0,1,0,\dots ,0),\\ & ⋮\\ {𝐞}_n& =(0,0,0,\dots ,1)\end{array}$

からなる標準基底を持つ。

性質

定義により、標準基底は単位ベクトルからなる正規直交系を成す。すなわち、標準基底はテンプレート:仮リンクた正規直交基底になる。

しかし、順序付けられた正規直交基底は必ずしも標準基底ではない。例えば二つのベクトル

$v_1=(\frac{\sqrt{3}}{2},\frac{1}{2})$

$v_2=(\frac{1}{2},\frac{-\sqrt{3}}{2})$

は正規直交する単位ベクトルだが、この正規直交基底は標準基底の定義に合わない。

一般化

ある種の無限次元ベクトル空間に対しても、標準基底を考えることができる。例えば、ある体上 n-個の不定元をもつ多項式環において、単項式全体の成す集合は標準基底を与える。

ここまでの例は全て、適当な集合 I（無限集合でもよい）に添字を持つ族

${(e_i)}_{i\in I}={({({\delta }_{ij})}_{j\in I})}_{i\in I}$

の特別の場合になっている。ここで δ はクロネッカーのデルタ (i = j ならば 1, i ≠ j ならば 0) である。このような族は、集合 I から環 R への写像

$f=(f_i)$

で有限個の例外を除く全ての添字に対して値が 0 (R の零元 0_R) であるようなもの全体のなす族としての自由 R-加群

$R^{(I)}$

の標準基底になる（ただし 1 は R の単位元 1_R と解釈する）。

二次形式 テンプレート:Nowrap を伴う幾何代数の文脈での標準基底は、ベクトル空間 V を生成する直交基底 {e_i} で、その各元が テンプレート:Nowrapを満たすという意味で正規化されているものを言う。

参考文献

• テンプレート:Cite book (page 198)

• テンプレート:Cite book (page 112)