数ベクトル空間

数ベクトル空間（すうベクトルくうかん、space of numerical vectors, numerical vector space）とは、「“数”の組からなる空間」（数空間テンプレート:Refnest）を自然にベクトル空間と見たものである。

ここでいう“数”の集合 K は四則の定められた代数系、殊に可換体で順序や位相の定められたものを指している。実数全体の成す体 R や複素数全体の成す体 C は典型的であるが、代数体や有限体あるいはその局所化などの上で数ベクトル空間を考えることもある。関数体の上で考える場合は関数空間として捉える方が妥当である。

定義

体 K 上の n-次元数ベクトル空間は K の n 個の直積集合 Kⁿ を台集合として

• 加法 $+:K^n\times K^n\to K^n;(𝒙,𝒚)\mapsto (x_1+y_1,x_2+y_2,\dots ,x_n+y_n)$
• スカラー乗法 $\circ :F\times K^n\to K^n;(\lambda ,𝒙)\mapsto (\lambda x_1,\lambda x_2,\dots ,\lambda x_n)$

からなる組 $(K^n,+,\circ )$ である。ここで $𝒙=(x_1,x_2,\dots ,x_n)\in K^n,𝒚=(y_1,y_2,\dots ,y_n)\in K^n,\lambda \in F$ である。

この組は数のタプルを元としてベクトル空間の公理系を満たし、後述のようにn次の有限次元であるため、"n-次元" "数ベクトル空間" と呼ばれる。

基底と次元

数ベクトル空間 $K^n$ においてn個のベクトルからなる集合 $B=\{{𝒆}_{𝒊}\in K^n|1\le i\le n\}$ を次のように定義する。

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

このとき任意のベクトル $𝒙\in K^n$ は ${𝒆}_{𝒊}$ の線型結合で表現できる。つまり

$𝒙=(x_1,x_2,\dots ,x_n)=\sum _{i=0}^n{x}_i{𝐞}_i$

が成立する、すなわち $K^n$ は $B$ で張られる（全域性）。また $B$ は明らかに線形独立である。ゆえに $B$ は $K^n$ の基底である。この基底を標準基底 テンプレート:Lang という。

$K^n$ の基底を構成するベクトルの数がnであることから、$K^n$ は テンプレート:Mvar 上のベクトル空間として テンプレート:Mvar-次元の有限次元である。

内積

標準内積は次のように定義される。

$(x_1,x_2,\dots ,x_n)\cdot (y_1,y_2,\dots ,y_n):=x_1{y}_1+x_2{y}_2+\cdots +x_n{y}_n$

アフィン構造

標準内積を考えない場合の数ベクトル空間をとくに n 次元アフィン空間 Aⁿ = A_Kⁿ と呼ぶことがある。これはアフィン変換で閉じている。正則アフィン変換は直交群と平行移動群の直和に位相群として分解される。

実数体 R 上のアフィン空間 Aⁿ = A_Rⁿ はユークリッド空間 Eⁿ に付随して座標や平行移動を表す空間と見なされ、Eⁿ のなかで平行性や線型独立性など、距離に依存しない性質を扱うことができる。

一般のベクトル空間との関係

有限次元ベクトル空間は基底を選ぶことにより、次元の同じ数ベクトル空間に同型となるため、有限次元の抽象ベクトル空間の分類は次元によって支配されているということができる。

類似概念

テンプレート:Main 無限次元の数ベクトル空間と呼ぶべきものについては、その位相についての議論を避けることはできないが、いくつか存在する。例えば、次元が十分大きな数空間 Kⁿ の n を限りなく大きくとることの極限として得られる可算次元空間

${𝕂}^{\mathrm{\infty }}=\underset{n=0}{\overset{\mathrm{\infty }}{⨁}}𝕂=\underset{n\to \mathrm{\infty }}{\underrightarrow{\lim }}{𝕂}^n=\bigcup _{n=0}^{\mathrm{\infty }}{𝕂}^n$

や、座標が無限数列となるような可算次元空間

${𝕂}^{\mathbb{N}}=\mathrm{M}\mathrm{a}\mathrm{p}(\mathbb{N},𝕂)=\prod _{n=0}^{\mathrm{\infty }}𝕂=\underset{n\to \mathrm{\infty }}{\underleftarrow{\lim }}{𝕂}^n$

や、あるいはもっと濃度の大きな集合で添字付けられるようなものも同様に想定できるが、これらはもはや関数空間として扱われるようなものである。

関連項目

• テンプレート:仮リンク
• [[実数空間|実 テンプレート:Mvar-次元数空間]]
• [[複素数空間|複素 テンプレート:Mvar-次元数空間]]