出典: フリー百科事典『ウィキペディア(Wikipedia)』
数ベクトル空間 (すうベクトルくうかん、space of numerical vectors, numerical vector space)とは、「“数”の組からなる空間」(数空間 [1] [* 1] )を自然にベクトル空間と見たものである。
ここでいう“数”の集合 K は四則の定められた代数系、殊に可換体 で順序 や位相 の定められたものを指している。実数全体の成す体 R や複素数全体の成す体 C は典型的であるが、代数体や有限体あるいはその局所化などの上で数ベクトル空間を考えることもある。関数体の上で考える場合は関数空間として捉える方が妥当である。
定義
体 K 上の n -次元数ベクトル空間は、K の n 個の直積集合 K n を台集合として、成分ごとの演算
(
x
1
,
x
2
,
…
,
x
n
)
+
(
y
1
,
y
2
,
…
,
y
n
)
:=
(
x
1
+
y
1
,
x
2
+
y
2
,
…
,
x
n
+
y
n
)
{\displaystyle (x_{1},x_{2},\ldots ,x_{n})+(y_{1},y_{2},\ldots ,y_{n}):=(x_{1}+y_{1},x_{2}+y_{2},\ldots ,x_{n}+y_{n})}
α
λ
(
x
1
,
x
2
,
…
,
x
n
)
:=
(
λ
x
1
,
λ
x
2
,
…
,
λ
x
n
)
{\displaystyle \alpha _{\lambda }(x_{1},x_{2},\ldots ,x_{n}):=(\lambda x_{1},\lambda x_{2},\ldots ,\lambda x_{n})}
を備えたベクトル空間 (K n , +, {αλ }λ∈K ) である。
標準座標空間
数ベクトル空間 K n には標準基底 (canonical basis, standard basis)
e
1
=
(
1
,
0
,
0
,
…
,
0
)
,
e
2
=
(
0
,
1
,
0
,
…
,
0
)
,
e
3
=
(
0
,
0
,
1
,
…
,
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),\\\mathbf {e} _{3}&=(0,0,1,\ldots ,0),\\&\ \vdots \\\mathbf {e} _{n}&=(0,0,0,\ldots ,1)\\\end{aligned}}}
が存在して、K n の任意のベクトルは
(
x
1
,
x
2
,
…
,
x
n
)
=
∑
i
=
0
n
x
i
e
i
{\displaystyle (x_{1},x_{2},\ldots ,x_{n})=\sum _{i=0}^{n}x_{i}\mathbf {e} _{i}}
という線型結合 の形に書き表すことができる。標準基底は明らかに Kn の基底 であり、Kn は K 上のベクトル空間として n -次元である。
標準内積
(
x
1
,
x
2
,
…
,
x
n
)
⋅
(
y
1
,
y
2
,
…
,
y
n
)
:=
x
1
y
1
+
x
2
y
2
+
⋯
+
x
n
y
n
{\displaystyle (x_{1},x_{2},\ldots ,x_{n})\cdot (y_{1},y_{2},\ldots ,y_{n}):=x_{1}y_{1}+x_{2}y_{2}+\cdots +x_{n}y_{n}}
アフィン構造
標準内積を考えない場合の数ベクトル空間をとくに n 次元アフィン空間 A n = A K n と呼ぶことがある。これはアフィン変換 で閉じている。正則アフィン変換は直交群と平行移動群の直和に位相群として分解される。
実数体 R 上のアフィン空間 A n = A R n はユークリッド空間 E n に付随して座標 や平行移動を表す空間と見なされ、E n のなかで平行性や線型独立性など、距離 に依存しない性質を扱うことができる。
一般のベクトル空間との関係
有限次元ベクトル空間は基底を選ぶことにより、次元の同じ数ベクトル空間に同型となるため、有限次元の抽象ベクトル空間の分類は次元によって支配されているということができる。
類似概念
無限次元の数ベクトル空間と呼ぶべきものについては、その位相についての議論を避けることはできないが、いくつか存在する。例えば、次元が十分大きな数空間 K n の n を限りなく大きくとることの極限として得られる可算次元空間
K
∞
=
⨁
n
=
0
∞
K
=
lim
→
n
→
∞
K
n
=
⋃
n
=
0
∞
K
n
{\displaystyle \mathbb {K} ^{\infty }=\bigoplus _{n=0}^{\infty }\mathbb {K} =\varinjlim _{n\to \infty }\mathbb {K} ^{n}=\bigcup _{n=0}^{\infty }\mathbb {K} ^{n}}
や、座標が無限数列となるような可算次元空間
K
N
=
M
a
p
(
N
,
K
)
=
∏
n
=
0
∞
K
=
lim
←
n
→
∞
K
n
{\displaystyle \mathbb {K} ^{\mathbb {N} }=\mathrm {Map} (\mathbb {N} ,\mathbb {K} )=\prod _{n=0}^{\infty }\mathbb {K} =\varprojlim _{n\to \infty }\mathbb {K} ^{n}}
や、あるいはもっと濃度の大きな集合で添字付けられるようなものも同様に想定できるが、これらはもはや関数空間 として扱われるようなものである。
注
^ 数空間のことを座標空間と呼ぶこともある[1] が、「座標系を備えた空間」という意味で座標空間と呼ぶこともあるので紛らわしい(座標空間 (英語版 ) の項も参照)。
参考文献
関連項目