ベクトル空間
数学、特に線型代数学におけるベクトル空間（ベクトルくうかん、英: vector space）、または、線型空間（せんけいくうかん、英: linear space）は、ベクトルと呼ばれる元からなる集まりの成す数学的構造である。ベクトルには和が定義され、またスカラーと呼ばれる数による積（「スケール変換」）を行える。スカラーは実数とすることも多いが、複素数や有理数あるいは一般の体の元によるスカラー乗法を持つベクトル空間もある。ベクトルの和とスカラー倍の演算は、「ベクトル空間の公理」と呼ばれる特定の条件（後述）を満足するものでなければならない。ベクトル空間の一つの例は、力のような物理量を表現するのに用いられる幾何ベクトルの全体である（同じ種類の任意の二つの力は、加え合わせて力の合成と呼ばれる第三の力のベクトルを与える。また、力のベクトルを実数倍したものはまた別の力のベクトルを表す）。同じ調子で、ただしより幾何学的な意味において、平面や空間での変位を表すベクトルの全体もやはりベクトル空間を成す。
ベクトル空間は線型代数学における主題であり、ベクトル空間はその次元（大雑把にいえばその空間の独立な方向の数を決めるもの）によって特徴づけられるから、その観点からはよく知られている。ベクトル空間は、さらにノルムや内積などの追加の構造を持つこともあり、そのようなベクトル空間は解析学において主に函数をベクトルとする無限次元の函数空間の形で自然に生じてくる。解析学的な問題では、ベクトルの列が与えられたベクトルに収束するか否かを決定することもできなければならないが、これはベクトル空間に追加の構造を考えることで実現される。そのような空間のほとんどは適当な位相を備えており、それによって近さや連続性といったことを考えることができる。こういた位相線型空間、特にバナッハ空間やヒルベルト空間については、豊かな理論が存在する。
歴史的な視点では、ベクトル空間の概念の萌芽は17世紀の解析幾何学、行列論、連立一次方程式の理論、幾何ベクトルの概念などにまで遡れる。現代的な、より抽象的な取扱いが初めて定式化されるのは、19世紀後半、ペアノによるもので、それはユークリッド空間よりも一般の対象が範疇に含まれるものであったが、理論の大半は（直線や平面あるいはそれらの高次元での対応物といったような）古典的な幾何学的概念を拡張することに割かれていた。
今日では、ベクトル空間は数学のみならず科学や工学においても広く応用される。ベクトル空間は線型方程式系を扱うための適当な線型代数学的概念であり、例えば画像圧縮ルーチンで使われるフーリエ展開のための枠組みを提示したり、あるいは偏微分方程式の解法に用いることのできる環境を提供する。さらには、テンソルのような幾何学的および物理学的な対象を、抽象的に座標に依らない (coordinate-free) で扱う方法を与えてくれるので、そこからさらに線型化の手法を用いて、多様体の局所的性質を説明することもできるようになる。
ベクトル空間の概念は様々な方法で一般化され、幾何学や抽象代数学のより進んだ概念が導かれる。
導入
ベクトル空間の概念について、特定の二つの場合を例にとって簡単に内容を説明する。
別な定式化と初等的な帰結
ベクトルの加法やスカラー乗法は（二項演算の定義によって）閉性と呼ばれる性質を満たすものとなる（つまり V の各元 u, v および F の各元 a に対して u + v および av が必ず V に属する）。これをベクトル空間の公理に独立した条件として加えている文献もある。
抽象代数学の言葉で言えば、先の公理系の最初の四つは「ベクトルの全体が加法に関してアーベル群を成す」という条件にまとめられる。残りの条件は「この群が F 上の加群となる」という条件にまとめられる。あるいはこれを「体 F からベクトル全体の成す群の自己準同型環への環準同型 f が存在すること」と言い換えることもできる。この場合スカラー乗法は av := (f(a))(v) で定められる。
ベクトル空間の公理系から直接的に分かることがいくつかある。それらのうちのいくつかは初等群論をベクトル全体の成す加法群に適用することで得られる。例えば V の零ベクトル 0 や各元 v に加法逆元 −v が一意に存在することなどはそれである。その方法で得られない性質は分配法則から来るもので、例えば av = 0 ⇔ a = 0 または v = 0 などがそうである。
歴史
ベクトル空間は、平面や空間に座標系を導入することを通じて、アフィン空間から生じる。1636年ごろ、ルネ・デカルトとピエール・ド・フェルマーは、二変数の方程式の解と平面曲線上の点とを等化して、解析幾何学を発見した。座標を用いない幾何学的な解に到達するために、ベルナルド・ボルツァーノは1804年に、点同士および点と直線の間の演算を導入した。これはベクトルの前身となる概念である。ボルツァーノの研究はアウグスト・フェルディナント・メビウスが1827年に提唱した重心座標系 (barycentric coordinates) の概念を用いて構築されたものであった。ベクトルの定義の基礎となったのは、ジュスト・ベラヴィティスの双点 (bipoint) の概念で、これは一方の端点を始点、他方の端点を終点とする有向線分である。ベクトルは、ジャン＝ロベール・アルガンとウィリアム・ローワン・ハミルトンにより複素数の表現として見直され、後の四元数や双四元数の概念へと繋がっていく。これらの数はそれぞれ R², R⁴, R⁸ の元であり、これらに対する線型結合を用いた取扱いは、1867年のエドモン・ラゲール（彼は線型方程式系も定義した）まで遡れる。
1857年にアーサー・ケイリーは、線型写像とよく馴染み記述を簡素化できる、行列記法を導入した。同じ頃、ヘルマン・グラスマンはメビウスの「重心計算」(the barycentric calculus) を研究していて、算法を伴う抽象的対象の成す集合を構想していた。グラスマンの研究には、線型独立性や次元あるいはスカラー積などの概念が含まれている。実際、グラスマンは1844年に、考案した乗法を以ってベクトル空間の枠組みを推し進め、今日では「多元環」と呼ばれる概念に到達している。ジュゼッペ・ペアノはベクトル空間と線型写像の現代的な定義を与えた最初の人で、それは1888年のことである。
ベクトル空間の重要な発展がアンリ・ルベーグによる函数空間の構成によって起こり、後の1920年ごろにステファン・バナフとダフィット・ヒルベルトによって定式化された。その当時、代数学と新しい研究分野であった函数解析学とが相互に影響し始め、 p-乗可積分函数の空間 Lᵖ やヒルベルト空間などの重要な概念が生み出されることとなる。そうして無限次元の場合をも含むベクトル空間の概念は堅く確立されたものとなり、多くの数学分野において用いられ始めた。
体の拡大
複素数全体の成す集合 C, つまり実数 x, y を用いて x + iy の形に表すことができる数（ただし、i = √−1 は虚数単位）の全体は、x, y, a, b, c は何れも実数であるものとして、通常の和 (x + iy) + (a + ib) = (x + a) + i(y + b) と実数倍 c(x + iy) = (cx) + i(cy) によって、実数体上のベクトル空間になる（ベクトル空間の公理は複素数の算術が同じ規則を満足するという事実から従う）。
実は、この複素数体の例は本質的には（つまり、同型の意味で）導入節に挙げた実数の順序対の成すベクトル空間の例と同じものである。即ち、複素数 x + iy を複素数平面 において順序対 (x, y) を表すものと考えると、複素数体における和とスカラー倍の規則が、先の例のそれらに対応することが理解される。
より一般に、代数学および代数的数論における体の拡大は、ベクトル空間の例の一類を与える。即ち、体 F を部分体として含む体 E は、E における加法と F の元の E における乗法とに関して F-ベクトル空間になる。例えば、複素数体は R 上のベクトル空間であり、拡大体 Q(√−5) は Q 上のベクトル空間である。特に数論的に意味のある例は、有理数体 Q に一つの代数的複素数 α を添加する拡大（代数体）Q(α) である（Q(α) は Q と α とを含む最小の体になる）。
基本的な構成法
上記具体例に加えて、与えられたベクトル空間から別のベクトル空間を得る標準的な線型代数学的構成がいくつか存在する。それらは以下に述べる定義に加えて普遍性と呼ばれる、線型空間 X を X から他の任意の線型空間への線型写像によって特定することができるという性質によっても特徴づけられる。
直積と直和
I で添字付けられたベクトル空間の族 Vᵢ(i ∈ I) の直積 ∏ᵢ∈I Vᵢ とは、I の各添字 i に対して Vᵢ の元 vᵢ を指定してできる順序組 (vᵢᵢ ∈ I 全体の成す集合に、加法とスカラー乗法を成分ごとの演算によって定める。
この構成の変種として、直和 ⊕ᵢ ∈ I Vᵢ（あるいは余積 ∐ᵢ ∈ I Vᵢ）は先の順序組において有限個の例外を除く全ての成分が零ベクトルであるようなものだけを許して得られるものである。添字集合 I が有限ならばこの二つの構成は一致するが、そうでないならば違うものを与える。
応用
ベクトル空間の多様体に対する応用は様々な状況で生じてくる。つまり多様体上で定義され、ある体に値をとる函数を考えれば、そこにはベクトル空間が生じるのである。そのようなベクトル空間を考えれば、解析学や幾何学における問題を取り扱う枠組みが提供される。またそういったベクトル空間はフーリエ変換などにおいても利用される。ここで挙げた例は網羅的なものではなく、例えば最適化など、ほかにももっと多くの応用が存在する。ゲーム理論のミニマックス定理は全てのプレイヤーが最適な試行を行うことができるならば一意的なペイが得られることを述べるもので、これはベクトル空間法を用いて証明できる。表現論は、よく分かっている線型代数学およびベクトル空間に関する内容を、群論など他の領域に実り豊かに引き写すものである。
微分幾何学
曲面のある点における接平面は、自然に接点を原点と同一視したベクトル空間になる。接平面は接点における曲面の最適線型近似あるいは線型化である。三次元ユークリッド空間の場合でさえ、接平面の基底を指定する自然な方法は点綴的には存在せず、またそれゆえに接平面は、実数ベクトル空間というよりはむしろ抽象ベクトル空間として考えられる。接空間はより高次元の可微分多様体への一般化である。
リーマン多様体はその接空間が適当な内積を備えた多様体である。そこから得られるリーマン曲率テンソルは、それ一つでその多様体の全ての曲率を表すことができるもので、一般相対論では例えば時空の質量とエネルギー定数を記述するアインシュタイン曲率テンソルなどに応用がある。リー群の接空間は自然にリー環の構造を持ち、コンパクトリー群の分類に用いることができる。
加群
ベクトル空間が体に対するものであるように、加群 (modules) の概念は環に対するものである。これはベクトル空間の公理において体 F とするところを環 R で置き換えることで得られる。加群の理論はベクトル空間のそれと比べて（環の元に必ずしも乗法逆元が存在しないことで）より複雑なものになっている。例えば加群は、Z-加群（つまりアーベル群）としての Z/2Z のように、必ずしも基底を持たない。基底を持つような加群（ベクトル空間もそう）は自由加群と呼ばれる。にも拘わらすベクトル空間は、係数環が体であるような加群として簡単に定義することができて、その元をベクトルと呼ぶ。可換環の代数幾何学的解釈は、それらのスペクトルを通じて、ベクトル束の代数的な対応物である局所自由加群の概念などを展開することを可能にする。
凸解析
順序体（特に実数体）上で、凸解析の概念を考えることができる。最も基本的なものは、非負線型結合全体からなる錐、および和が 1 となる非負線型結合全体からなる凸集合である。凸集合はアフィン空間の公理と錐体の公理を組み合わせたものとして見ることができ、これは凸集合の標準空間である n-単体がアフィン超平面と象限との交わりであることを反映したものになっている。このような空間は特に線型計画問題において用いられる。
普遍代数学の言葉で言えば、ベクトル空間はベクトルの有限和に対応する係数の有限列全体の成す普遍ベクトル空間 K∞ 上の代数であるが、一方アフィン空間はここでいう（和が 1 の有限列全体の成す）普遍アフィン超平面上の代数であり、また錐体は普遍象限上の代数、凸集合は普遍単体上の代数である。これは、「座標に対する（可能な）制限和」を用いて公理を幾何化したものである。
線型代数学における多くの概念は凸解析における対応する概念があって、基本的なものとしては基底や（凸包のような形での）生成概念など、また重要なものとしては（双対多角形、双対錐体、双対問題のような）双対性などが含まれる。しかし線型代数学において任意のベクトル空間やアフィン空間が標準空間に同型となるのとは異なり、任意の凸集合や錐体が単体や象限に同型となるわけではない。むしろ単体から多面体の上への写像が一般化された重心座標系によって常に存在し、またその双対写像として多面体から（面の数と等しい次元の）象限の中への写像がスラック変数によって存在するが、これらが同型となることは稀である（ほとんどの多面体は単体でも象限でもない）。