三次元空間内の任意のベクトル a は、標準基底ベクトル i , j , k の線型結合 として一意的に表される。
線型代数学 における標準基底 (ひょうじゅんきてい、英 : standard basis , canonical basis )または自然基底 (natural basis ) は直交座標系 の各軸方向に向かう単位ベクトル からなるユークリッド空間 の基底 を言う。例えばユークリッド平面 の標準基底は
e
x
=
(
1
,
0
)
,
e
y
=
(
0
,
1
)
{\displaystyle \mathbf {e} _{x}=(1,0),\quad \mathbf {e} _{y}=(0,1)}
であり、三次元ユークリッド空間 の標準基底は
e
x
=
(
1
,
0
,
0
)
,
e
y
=
(
0
,
1
,
0
)
,
e
z
=
(
0
,
0
,
1
)
{\displaystyle \mathbf {e} _{x}=(1,0,0),\quad \mathbf {e} _{y}=(0,1,0),\quad \mathbf {e} _{z}=(0,0,1)}
で与えられる。ここで、各ベクトル e x , e y , e z はそれぞれ x -軸方向、y -軸方向、z -軸方向を向いている。この基底を表すのによく用いられる記法として、{e x , e y , e z }, {e 1 , e 2 , e 3 }, {i , j , k }, {x , y , z } などを挙げることができる。単位ベクトルであることを強調するためにサーカムフレックス (キャレット)を載せることもある。
ここでいう基底 は、それらのベクトルの線型結合 として、任意のベクトルがそれぞれただ一通りに表されるという意味においていう。例えば三次元ベクトル v は必ず
v
x
e
x
+
v
y
e
y
+
v
z
e
z
{\displaystyle v_{x}\,\mathbf {e} _{x}+v_{y}\,\mathbf {e} _{y}+v_{z}\,\mathbf {e} _{z}}
なる形に書くことができて、スカラー v x , v y , v z は v の座標成分 になる。
数ベクトル空間の標準基底
n -次元ユークリッド空間 R n あるいは適当な体 K 上の数ベクトル空間 K n には、n -個の相異なるベクトル
e
1
=
(
1
,
0
,
0
,
… … -->
,
0
)
,
e
2
=
(
0
,
1
,
0
,
… … -->
,
0
)
,
⋮ ⋮ -->
e
n
=
(
0
,
0
,
0
,
… … -->
,
1
)
{\displaystyle {\begin{aligned}\mathbf {e} _{1}&=(1,0,0,\ldots ,0),\\\mathbf {e} _{2}&=(0,1,0,\ldots ,0),\\&\vdots \\\mathbf {e} _{n}&=(0,0,0,\ldots ,1)\end{aligned}}}
からなる標準基底を持つ。
性質
定義により、標準基底は単位ベクトル からなる正規直交系 を成す。すなわち、標準基底は順序付けられ (英語版 ) た正規直交基底 になる。
しかし、順序付けられた正規直交基底は必ずしも標準基底ではない。例えば二つのベクトル
v
1
=
(
3
2
,
1
2
)
{\displaystyle v_{1}=\left({{\sqrt {3}} \over 2},{1 \over 2}\right)}
v
2
=
(
1
2
,
− − -->
3
2
)
{\displaystyle v_{2}=\left({1 \over 2},{-{\sqrt {3}} \over 2}\right)}
は正規直交する単位ベクトルだが、この正規直交基底は標準基底の定義に合わない。
一般化
ある種の無限次元ベクトル空間に対しても、標準基底を考えることができる。例えば、ある体 上 n -個の不定元をもつ多項式環 において、単項式 全体の成す集合は標準基底を与える。
ここまでの例は全て、適当な集合 I (無限集合でもよい)に添字を持つ族
(
e
i
)
i
∈ ∈ -->
I
=
(
(
δ δ -->
i
j
)
j
∈ ∈ -->
I
)
i
∈ ∈ -->
I
{\displaystyle {(e_{i})}_{i\in I}={({(\delta _{ij})}_{j\in I})}_{i\in I}}
の特別の場合になっている。ここで δ はクロネッカーのデルタ (i = j ならば 1, i ≠ j ならば 0) である。このような族は、集合 I から環 R への写像
f
=
(
f
i
)
{\displaystyle f=(f_{i})}
で有限個の例外を除く全て の添字に対して値が 0 (R の零元 0R ) であるようなもの全体のなす族としての自由 R -加群
R
(
I
)
{\displaystyle R^{(I)}}
の標準基底 になる(ただし 1 は R の単位元 1R と解釈する)。
二次形式 Q : V → R を伴う幾何代数 の文脈での標準基底 は、ベクトル空間 V を生成する直交基底 {e i } で、その各元が Q (e i ) ∈ {−1, 0, +1} を満たすという意味で正規化されているものを言う。
参考文献
Ryan, Patrick J. (1986). Euclidean and non-Euclidean geometry: an analytical approach . Cambridge; New York: Cambridge University Press. ISBN 0-521-27635-7 (page 198)
Schneider, Philip J.; Eberly, David H. (2003). Geometric tools for computer graphics . Amsterdam; Boston: Morgan Kaufmann Publishers. ISBN 1-55860-594-0 (page 112)