ベクトル空間：定義、基底、次元と応用

形式的定義と基本性質

形式的には、体 F 上のベクトル空間とは、一定の公理の列を満たす二つの演算を備えた集合 V である。公理には、加法についての閉性、結合性、可換性、加法単位元と加法逆元の存在、加法とスカラー倍を結ぶ分配法則、ならびにスカラー倍と体における乗法との整合性が含まれる。この記述は、加法構造としての群論の基本概念と、スカラーの体の性質を結び付ける。これらの公理を基礎とする分野が線形代数であり、線形結合、線形写像、およびベクトル空間の構造を保つ系を扱う。

矢印で描かれる幾何ベクトルは直観を与える。二つの矢印を加えるには、一方の始点を他方の終点に重ね、矢印を引き伸ばしたり縮めたりすることでスカラー倍を表せる。しかし、ベクトルという概念ははるかに一般的である。関数、数列、多項式、行列は、ベクトル空間の要素として捉えられる代表例である。実際の例として、関数の空間や行列の空間を参照できる。

表現と例

• ユークリッド空間 R^n：成分ごとの加法と実数によるスカラー倍を備えた、よく知られた n 個の数の組。
• 多項式空間：ある次数以下の多項式の集合は、通常の多項式の加法とスカラー倍のもとでベクトル空間となる。
• 関数空間：一定の正則性を共有する関数の集合は、点ごとの加法とスカラー倍を定めるとベクトル空間になる。
• 行列空間：体上のすべての m×n 行列は、要素ごとの演算のもとでベクトル空間をなす。

これらの例は、線形代数の定理が多くの文脈に適用されることを示している。公理が成り立つ限り、線形独立性、次元、線形変換に関する結果も適用できる。より一般的な主張や証明については、教科書にある標準的な定理を参照するとよい。

基底、生成空間、次元

ベクトル空間の部分集合には、特に重要なものがある。線形結合によってすべての要素を生成するために必要なベクトルの最小集合を基底という。基底は線形独立な生成集合である。すなわち、基底に含まれるどのベクトルも他のベクトルの結合として表せない一方、それらの線形結合は空間全体を生成する。任意の基底に含まれるベクトルの数は空間の不変量であり、その次元と呼ばれる。有限次元空間の振る舞いは無限次元空間と大きく異なり、多くの古典的結果は有限次元を仮定している。

歴史、重要性と応用

ベクトル空間の概念は、代数学者と幾何学者が座標系、線形方程式、変換の性質を抽象化するなかで、19世紀から20世紀初頭にかけて発展した。今日、ベクトル空間は数値計算法、物理学における状態空間と量子力学、工学における信号理論と制御理論、コンピュータグラフィックス、データサイエンス、機械学習を支えている。この抽象化により、一見すると異なって見えても同じ線形構造を共有する問題を、統一的に扱うことが可能になる。

重要な区別と実践上の注意

二つの演算をもつすべての集合がベクトル空間となるわけではない。公理は厳密な制約を課す。ベクトル空間は、スカラーが体ではなく環から得られる加群や、原点が固定されないアフィン空間のような関連構造と区別する必要がある。計算では、扱いやすい基底を選ぶことで、多くの問題を座標ベクトルと行列の操作へ帰着できる。理論では、基底に依存しない議論によって、座標に依存しない幾何学的・不変的な性質が強調される。

さらに学びたい読者向けに、初等的な解説では有限次元における基底の存在と次元定理の証明を段階的に提示する。高度な文献では、有限次元の多くの考え方を一般化するスペクトル理論、内積空間、無限次元の関数解析が展開される。