ベクトル空間のソースを表示

[[数学]]、特に[[線型代数学]]における'''線型空間'''（せんけいくうかん、{{lang-en-short|''linear space''}}）または'''ベクトル空間'''（ベクトルくうかん、{{lang-en-short|''vector space''}}）は、'''ベクトル'''と呼ばれる元からなる集まりの成す[[数学的構造]]である。ベクトルには[[ベクトルの加法|和]]が定義され、また[[スカラー]]と呼ばれる数による[[スカラー乗法|積]]（「スケール変換」）を行える。スカラーは[[実数]]とすることも多いが、[[複素数]]や[[有理数]]あるいは一般の[[体 (数学)|体]]の元によるスカラー乗法を持つベクトル空間もある。ベクトルの和とスカラー倍の演算は、「ベクトル空間の[[公理]]」と呼ばれる特定の条件（[[#定義|後述]]）を満足するものでなければならない。ベクトル空間の一つの例は、[[力]]のような物理量を表現するのに用いられる[[幾何ベクトル]]の全体である（同じ種類の任意の二つの力は、加え合わせて力の合成と呼ばれる第三の力のベクトルを与えるし。また、力のベクトルを実数倍したものはまた別の力のベクトルを表す）。同じ調子で、ただしより[[幾何学]]的な意味において、平面や[[三次元空間|空間]]での変位を表すベクトルの全体もやはりベクトル空間を成す。

ベクトル空間は[[線型代数学]]における主題であり、ベクトル空間はその[[次元 (線型代数学)|次元]]（大雑把にいえばその空間の独立な方向の数を決めるもの）によって特徴づけられるから、その観点からはよく知られている。ベクトル空間は、さらに[[ノルム]]や[[内積]]などの追加の構造を持つこともあり、そのようなベクトル空間は[[解析学]]において主に[[函数]]をベクトルとする無限次元の[[函数空間]]の形で自然に生じてくる。解析学的な問題では、ベクトルの[[列 (数学)|列]]が与えられたベクトルに[[列の極限|収斂]]するか否かを決定することもできなければならないが、これはベクトル空間に追加の構造を考えることで実現される。そのような空間のほとんどは適当な[[位相空間|位相]]を備えており、それによって[[近さ]]や[[連続写像|連続性]]といったことを考えることができる。こういた[[位相線型空間]]、特に[[バナッハ空間]]や[[ヒルベルト空間]]については、豊かな理論が存在する。

歴史的な視点では、ベクトル空間の概念の萌芽は[[17世紀]]の[[解析幾何学]]、[[行列論]]、[[連立一次方程式]]の理論、[[幾何ベクトル]]の概念などにまで遡れる。現代的な、より抽象的な取扱いが初めて定式化されるのは、[[19世紀]]後半、[[ジュゼッペ・ペアノ|ペアノ]]によるもので、それはユークリッド空間よりも一般の対象が範疇に含まれるものであったが、理論の大半は（[[直線]]や[[平面]]あるいはそれらの高次元での対応物といったような）古典的な幾何学的概念を拡張することに割かれていた。

今日では、ベクトル空間は数学のみならず[[科学]]や[[工学]]においても広く応用される。ベクトル空間は[[線型方程式系]]を扱うための適当な線型代数学的概念であり、例えば[[画像圧縮]]ルーチンで使われる[[フーリエ級数|フーリエ展開]]のための枠組みを提示したり、あるいは[[偏微分方程式]]の解法に用いることのできる環境を提供する。さらには、[[テンソル]]のような幾何学的および物理学的な対象を、抽象的に[[ベクトルの共変性と反変性|座標に依らない]] ({{en|coordinate-free}}) で扱う方法を与えてくれるので、そこからさらに線型化の手法を用いて、[[多様体]]の局所的性質を説明することもできるようになる。

ベクトル空間の概念は様々な方法で一般化され、幾何学や[[抽象代数学]]のより進んだ概念が導かれる。

== 導入 ==
ベクトル空間の概念について、特定の二つの場合を例にとって簡単に内容を説明する。
=== 平面上の有向線分 ===
ベクトル空間の簡単な例は、一つの[[平面]]上の固定した点を始点とする[[矢印]]（[[有向線分]]）全ての成す集合で与えられる。これは物理学で[[力]]や[[速度]]などを記述するのにもつかわれる。そのような有向線分 {{math|'''v'''}} と {{math|'''w'''}} が与えられたとき、その二つの有向線分が張る[[平行四辺形]]にはその対角線にもう一つ、原点を始点とする有向線分が含まれる。この新しい有向線分を、二つの有向線分の'''和''' {{math|{{nowrap|'''v''' + '''w'''}}}} と呼ぶ。もう一つの演算は有向線分を伸び縮み（スケーリング）させるもので、任意の正の[[実数]] {{mvar|a}} が与えられたとき、{{math|'''v'''}} と向きは同じで長さだけを {{mvar|a}} の分だけ拡大 ({{en|dilate}}) または縮小 ({{en|shrink}}) した有向線分を、{{math|'''v'''}} の {{mvar|a}} -'''倍''' {{math|{{nowrap|''a'''''v'''}}}} と言う。{{mvar|a}} が負のときは {{math|{{nowrap|''a'''''v'''}}}} を今度は逆方向に伸び縮みさせることで同様に定める。

いくつか実際に図示すれば、例えば {{math|{{nowrap|1=''a'' = 2}}}} のとき、得られるベクトル {{math|{{nowrap|''a'''''w'''}}}} は {{math|'''w'''}} と同方向で長さが {{math|'''w'''}} の二倍のベクトル (下図、右の赤) であり、この {{math|2'''w'''}} は和 {{math|{{nowrap|'''w''' + '''w'''}}}} とも等しい。さらに {{math|{{nowrap|1=(&minus;1)'''v''' = &minus;'''v'''}}}} は {{math|'''v'''}} と同じ長さで向きだけが {{math|'''v'''}} と逆になる (下図、右の青)。

{| class="wikitable" style="text-align:center; margin:1em auto 1em auto;"
|-
|width=50%|[[File:Vector addition3.svg|180px|ベクトルの加法: ベクトル {{math|'''v'''}} (青) と {{math|'''w'''}} (赤) との和 {{math|'''v''' + '''w'''}} (黒) ]]
|width=50%|[[File:Scalar multiplication.svg|230px|スカラー乗法: {{math|&minus;'''v'''}} および {{math|2'''w'''}} ]]
|}

=== 数の順序対 ===
もう一つ重要な例は、実数 {{mvar|x, y}} の対によって与えられる（{{mvar|x}} と {{mvar|y}} の対は並べる順番が重要であり、そのような対を[[順序対]]という）。この対を {{math|(''x'', ''y'')}} と書く。そのような対ふたつの和および実数倍は
:{{math|(''x''{{sub|1}}, ''y''{{sub|1}}) + (''x''{{sub|2}}, ''y''{{sub|2}}) {{=}} (''x''{{sub|1}} + ''x''{{sub|2}}, ''y''{{sub|1}} + ''y''{{sub|2}})}}
および 
:{{math|''a''&thinsp;(''x'', ''y'') {{=}} (''ax'', ''ay'')}}
で定義される。

== 定義 ==
「[[体 (数学)|体]] {{mvar|F}} 上のベクトル空間 {{mvar|V}} 」とは、後に述べるような、二種類の演算を備えた[[集合]] {{mvar|V}} のことである。ベクトル空間 {{mvar|V}} の[[元 (数学)|元]]は'''ベクトル''' ({{en|''vector''}} ) と呼ばれる。体 {{mvar|F}} は'''係数体''' ({{en|''coefficient field, scalar field''}} ) と呼ばれる。[[スカラー (数学)|係数体]] {{mvar|F}} の元は'''スカラー''' ({{en|''scalar''}} ) あるいは'''係数''' ({{en|''coefficient''}} ) と呼ばれる。ここではベクトルをスカラーから区別するために、ベクトルは太字で表す<ref group=nb>あるいは、特に物理学で、矢印を上に載せる記法も広く用いられる。「ベクトルを[[ラテン文字|ラテンアルファベット]]で表し、スカラーは[[ギリシア文字|グリークアルファベット]]（ギリシャ文字）で表す」などの流儀や、場合によってはまったく文字種の区別をしないこともある。</ref>。導入節では始点を固定した有向平面線分の全体や実数の順序対の全体の成す集合をベクトル空間の例として挙げたが、これらはともに実数体（実数全体からなる体）上のベクトル空間である。

ベクトル空間が備えるべき二種類の演算の一つは、'''[[ベクトルの加法]]'''と呼ばれ、任意の二つのベクトル {{math|'''v'''}} と {{math|'''w'''}} とからそれらの'''和'''と呼ばれる第三のベクトル {{math|{{nowrap|'''v''' + '''w'''}}}} を割り当てるものである。もう一つの演算は、任意のスカラー {{mvar|a}} と任意のベクトル {{math|'''v'''}} とから別のベクトル {{math|{{nowrap| ''a'''''v'''}}}} を割り当てるもので、最初の例でのこの乗法がベクトル {{math|'''v'''}} をスカラー {{mvar|a}} 倍に拡大縮小（[[スケール変換|スケーリング]]）するものになっていることから、この乗法は {{math|'''v'''}} の {{mvar|a}} による'''[[スカラー乗法]]'''と呼ばれる。

集合 {{mvar|V}} がベクトル空間と呼ばれるためには、加法とスカラー乗法が（ベクトル空間の）[[公理]]系と呼ばれる一連の制約条件に従わなければならない<ref>{{Harvard citations|last = Roman|year = 2005|nb = yes|loc=ch. 1, p. 27}}</ref>。以下の表において {{math|'''u''', '''v''', '''w'''}} は {{mvar|V}} の任意のベクトル、{{mvar|a, b}} は {{mvar|F}} に属する任意のスカラーとする。 

{| class="wikitable" style="width:100%;"
|-
! 公理 !! 条件
|-
| 加法の[[結合法則|結合律]] || {{math|'''u''' + ('''v''' + '''w''') {{=}} ('''u''' + '''v''') + '''w'''}}
|- style="background:#F8F4FF;"
| 加法の[[交換法則|可換律]] || {{math|'''u''' + '''v''' {{=}} '''v''' + '''u'''}}
|-
| 加法[[単位元]]の存在 || [[零ベクトル]] {{math|'''0''' ∈ ''V''}} が存在して、全ての {{math|'''v''' ∈ ''V''}} において {{math|'''v''' + '''0''' {{=}} '''v'''}} を満たす。
|- style="background:#F8F4FF;"
| 加法[[逆元]]の存在 || 各ベクトル {{math|'''v''' ∈ ''V''}} に、その[[加法逆元]] {{math|&minus;'''v''' ∈ ''V''}} が存在して、{{math|'''v''' + (&minus;'''v''') {{=}} '''0'''}} とできる。
|-
| 加法に対するスカラー乗法の[[分配法則|分配律]]|| {{math|''a''('''u''' + '''v''') {{=}} ''a'''''u''' + ''a'''''v'''}}
|- style="background:#F8F4FF;"
| 体の加法に対するスカラー乗法の分配律 ||  {{math|(''a'' + ''b'')'''v''' {{=}} ''a'''''v''' + ''b'''''v'''}}
|-
| 体の乗法とスカラー乗法の両立条件 ||  {{math|''a''(''b'''''v''') {{=}} (''ab'')'''v'''}} <ref group=nb>この公理は演算の結合性を仮定するものではない。ここでは二種類の乗法、つまりスカラー乗法 {{math|''b'''''v'''}} と体の乗法 {{mvar|ab}} との関係性を考えているからである。</ref>
|- style="background:#F8F4FF;"
| スカラー乗法の単位元の存在 ||  {{math|1'''v''' {{=}} '''v'''}} （左辺の {{math|1}} は {{mvar|F}} の[[乗法単位元]]）
|}

これらの公理系は先に挙げた例で導入したベクトルの性質を一般化したものである。実際、二番目の例で二つの順序対の和は、和をとる順番に依らず
:{{math|(''x''{{sub|'''v'''}}, ''y''{{sub|'''v'''}}) + (''x''{{sub|'''w'''}}, ''y''{{sub|'''w'''}}) {{=}} (''x''{{sub|'''w'''}}, ''y''{{sub|'''w'''}}) + (''x''{{sub|'''v'''}}, ''y''{{sub|'''v'''}})}}
を満たす。有向線分の例でも {{nowrap begin}}{{math|'''v''' + '''w''' {{=}} '''w''' + '''v'''}}{{nowrap end}} となることは、和を定義する平行四辺形が和の順番に依存しないことから言える。他の公理も同様の方法で満たすことがどちらの例についてもいえる。故に、特定の種類のベクトルが持つ具体的な特質というものは無視して、この定義によって、先の二つあるいはもっとほかの例もひっくるめて、ベクトル空間という一つの概念として扱うのである。

ベクトル空間は、係数体 {{mvar|F}} が[[実数]]体 {{math|'''R'''}} のとき '''実ベクトル空間''' ({{en|''real vector space''}} )、[[複素数]]体 {{math|'''C'''}} のとき'''複素ベクトル空間''' ({{en|''complex vector space''}} ) と呼ばれ、これら二つの場合が[[工学]]においてもっともよく用いられる。最も一般のベクトル空間の定義では、スカラーは任意に選んだ[[体 (数学)|体]] {{mvar|F}} の元とすることができる。これを''' {{mvar|F}}-ベクトル空間''' ({{en|{{mvar|F}}''-vector space''}} ) あるいは''' {{mvar|F}} 上のベクトル空間''' ({{en|''vector space over'' {{mvar|F}}}}) という。体というのは本質的に、[[四則演算]]が自由にできる数の集合である<ref group=nb>文献によっては（例えば {{Harvard citations|last = Brown|year = 1991|nb=yes}}）[[スカラー (数学)|係数体]]を {{math|'''R'''}} か {{math|'''C'''}} に制限するものあるが、理論の大部分は変更なしに任意の体上で成り立つものである</ref>。例えば[[有理数]]の全体 {{math|'''Q'''}} もまた体を成す。

平面やより高次の空間におけるベクトルには、直観的に、[[近傍 (位相空間論)|近さ]]や[[角度]]や[[距離]]という概念が存在する。しかし、一般的なベクトル空間においてはそれらの概念は不要であり、実際、そういうものが存在しないベクトル空間もある。これらの概念は、一般的なベクトル空間に追加的に定義される構造である ([[#付加構造を備えたベクトル空間]])。

=== 別な定式化と初等的な帰結 ===
ベクトルの加法やスカラー乗法は（二項演算の定義によって）[[生成 (数学)|閉性]]と呼ばれる性質を満たすものとなる（つまり {{mvar|V}} の各元 {{math|'''u''', '''v'''}} および {{mvar|F}} の各元 {{mvar|a}} に対して {{math|'''u''' + '''v'''}} および {{math|''a'''''v'''}} が必ず {{mvar|V}} に属する）。これをベクトル空間の公理に独立した条件として加えている文献もある<ref>{{Harvard citations|last = van der Waerden|year = 1993|nb = yes|loc=Ch. 19}}</ref>。

[[抽象代数学]]の言葉で言えば、先の公理系の最初の四つは「ベクトルの全体が加法に関して[[アーベル群]]を成す」という条件にまとめられる。残りの条件は「この群が[[環上の加群| {{mvar|F}} 上の加群]]となる」という条件にまとめられる。あるいはこれを「体 {{mvar|F}} からベクトル全体の成す群の[[準同型|自己準同型環]]への[[準同型|環準同型]] {{mvar|ƒ}} が存在すること」と言い換えることもできる。この場合スカラー乗法は {{math|''a'''''v''' :{{=}} (''ƒ''(''a''))('''v''')}} で定められる<ref>{{Harvard citations|last=Bourbaki|year=1998|nb=yes|loc=Section II.1.1}}. [[ニコラ・ブルバキ|ブルバキ]]は[[群準同型]] {{math|''ƒ''(''a'')}} を「相似」({{en|''[[:en:Homothetic transformation|homothety]]''}} ) と総称している。</ref>。

ベクトル空間の公理系から直接的に分かることがいくつかある。それらのうちのいくつかは[[群論|初等群論]]をベクトル全体の成す加法群に適用することで得られる。例えば {{mvar|V}} の零ベクトル {{math|'''0'''}} や各元 {{math|'''v'''}} に加法逆元 {{math|&minus;'''v'''}} が一意に存在することなどはそれである。その方法で得られない性質は分配法則から来るもので、例えば {{math|''a'''''v''' {{=}} '''0''' ⇔ ''a'' {{=}} 0}} または {{math|'''v''' {{=}} '''0'''}} などがそうである。

== 歴史 ==
ベクトル空間は、平面や空間に[[座標]]系を導入することを通じて、[[アフィン空間]]から生じる。[[1636年]]ごろ、[[ルネ・デカルト]]と[[ピエール・ド・フェルマー]]は、二変数の方程式の解と平面[[曲線]]上の点とを等化して、[[解析幾何学]]を発見した<ref>{{Harvard citations|last = Bourbaki|year = 1969|nb = yes|loc = ch. "Algèbre linéaire et algèbre multilinéaire", pp. 78–91}}</ref>。座標を用いない幾何学的な解に到達するために、[[ベルナルド・ボルツァーノ]]は[[1804年]]に、点同士および点と直線の間の演算を導入した。これはベクトルの前身となる概念である<ref>{{Harvard citations|last = Bolzano|year = 1804|nb = yes}}</ref>。ボルツァーノの研究は[[アウグスト・フェルディナント・メビウス]]が[[1827年]]に提唱した[[重心座標系]] ({{en|barycentric coordinates}}) の概念を用いて構築されたものであった<ref>{{Harvard citations|last = Möbius|year = 1827|nb = yes}}</ref>。ベクトルの定義の基礎となったのは、{{仮リンク|ジュスト・ベラヴィティス|en|Giusto Bellavitis}}の双点 ({{en|bipoint}}) の概念で、これは一方の端点を始点、他方の端点を終点とする有向線分である。ベクトルは、{{仮リンク|ジャン＝ロベール・アルガン|en|Jean-Robert Argand}}と[[ウィリアム・ローワン・ハミルトン]]により[[複素数]]の表現として見直され、後の[[四元数]]や[[双四元数]]の概念へと繋がっていく<ref>{{Harvard citations|last = Hamilton|year = 1853|nb = yes}}</ref>。これらの数はそれぞれ {{math|'''R'''{{sup|2}}, '''R'''{{sup|4}}, '''R'''{{sup|8}}}} の元であり、これらに対する[[線型結合]]を用いた取扱いは、[[1867年]]の{{仮リンク|エドモン・ラゲール|en|Edmond Laguerre}}（彼は[[線型方程式系]]も定義した）まで遡れる。

[[1857年]]に[[アーサー・ケイリー]]は、[[線型写像]]とよく馴染み記述を簡素化できる、[[行列|行列記法]]を導入した。同じ頃、[[ヘルマン・グラスマン]]はメビウスの「重心計算」({{en|the barycentric calculus}}) を研究していて、算法を伴う抽象的対象の成す集合を構想していた<ref>{{Harvard citations|last = Grassmann|year = 2000|nb = yes}}</ref>。グラスマンの研究には、[[線型独立]]性や[[次元 (線型代数学)|次元]]あるいは[[スカラー積]]などの概念が含まれている。実際、グラスマンは[[1844年]]に、考案した乗法を以ってベクトル空間の枠組みを推し進め、今日では「[[体上の多元環|多元環]]」と呼ばれる概念に到達している。[[ジュゼッペ・ペアノ]]はベクトル空間と線型写像の現代的な定義を与えた最初の人で、それは[[1888年]]のことである<ref>{{Harvard citations|last = Peano|year = 1888|nb = yes |loc = ch. IX}}</ref>。

ベクトル空間の重要な発展が[[アンリ・ルベーグ]]による[[函数空間]]の構成によって起こり、後の[[1920年]]ごろに[[ステファン・バナフ]]と[[ダフィット・ヒルベルト]]によって定式化された<ref>{{Harvard citations|last = Banach|year = 1922|nb = yes}}</ref>。その当時、[[代数学]]と新しい研究分野であった[[函数解析学]]とが相互に影響し始め、[[ルベーグ空間| ''p''-乗可積分函数の空間 ''L''<sup>''p''</sup>]] や[[ヒルベルト空間]]などの重要な概念が生み出されることとなる<ref>{{Harvard citations|last = Dorier|year = 1995|nb = yes}}, {{Harvard citations|last = Moore|year = 1995|nb = yes}}</ref>。そうして無限次元の場合をも含むベクトル空間の概念は堅く確立されたものとなり、多くの数学分野において用いられ始めた。

== 例 ==
=== 数ベクトル空間 ===
体 {{mvar|F}} 上のベクトル空間のもっとも簡単な例は体 {{mvar|F}} 自身（に、その標準的な加法と乗法を考えたもの）である。これはふつう {{mvar|F{{sup|n}}}} と書かれる'''[[数ベクトル空間]]''' (''{{en|coordinate space}}'' ) の {{math|''n'' {{=}} 1}} の場合である。この数ベクトル空間の元は[[タプル| {{mvar|n}}-組]]（長さ {{mvar|n}} の数列）:
: {{math|(''a''{{sub|1}}, ''a''{{sub|2}}, ..., ''a{{sub|n}}'')}}
で、各 {{mvar|a{{sub|i}}}} が {{mvar|F}} の元であるようなものである<ref>{{Harvard citations|last = Lang|year = 1987|loc = ch. I.1|nb = yes}}</ref>。
{{math|''F'' {{=}} '''R'''}} かつ {{math|''n'' {{=}} 2}} の場合が[[#導入|上記の導入節]]で論じたものとなる。

=== 体の拡大 ===
[[複素数]]全体の成す集合 {{math|'''C'''}}, つまり実数 {{mvar|x, y}} を用いて {{math|''x'' + ''iy''}} の形に表すことができる数（ただし、<math>i = \sqrt{-1}</math> は[[虚数単位]]）の全体は、{{mvar|x, y, a, b, c}} は何れも実数であるものとして、通常の和 {{math|(''x'' + ''iy'') + (''a'' + ''ib'') {{=}} (''x'' + ''a'') + ''i''(''y'' + ''b'')}} と実数倍 {{math|''c''(''x'' + ''iy'') {{=}} (''cx'') + ''i''(''cy'')}} によって、実数体上のベクトル空間になる（ベクトル空間の公理は複素数の算術が同じ規則を満足するという事実から従う）。

実は、この複素数体の例は本質的には（つまり、同型の意味で）導入節に挙げた実数の順序対の成すベクトル空間の例と同じものである。即ち、複素数 {{math|''x'' + ''iy''}} を[[複素数平面]] において順序対 {{math|(''x'', ''y'')}} を表すものと考えると、複素数体における和とスカラー倍の規則が、先の例のそれらに対応することが理解される。

より一般に、[[代数学]]および[[代数的数論]]における[[体の拡大]]は、ベクトル空間の例の一類を与える。即ち、体 {{mvar|F}} を[[部分体]]として含む体 {{mvar|E}} は、{{math|'''E'''}} における加法と {{mvar|F}} の元の {{mvar|E}} における乗法とに関して {{mvar|F}}-ベクトル空間になる<ref>{{Harvard citations|last = Lang|year =2002|loc = ch. V.1|nb = yes}}</ref>。例えば、複素数体は {{math|'''R'''}} 上のベクトル空間であり、拡大体 <math>\mathbf{Q}(\sqrt{-5})</math> は {{math|'''Q'''}} 上のベクトル空間である。特に[[数論]]的に意味のある例は、有理数体 {{math|'''Q'''}} に一つの代数的複素数 {{mvar|α}} を添加する拡大（[[代数体]]）{{math|'''Q'''(''α'')}} である（{{math|'''Q'''(''α'')}} は {{math|'''Q'''}} と {{mvar|α}} とを含む最小の体になる）。

=== 函数空間 ===
任意の一つの集合 {{math|Ω}} から体 {{mvar|F}} への函数全体もまた、よくある点ごとの和とスカラー倍によって、ベクトル空間を成す。即ち、二つの函数 {{mvar|f, g}} の和 {{math|(''f'' + ''g'')}} は
: {{math|(''f'' + ''g'')(''w'') {{=}} ''f''(''w'') + ''g''(''w'')}}
で定義される函数であり、スカラー乗法も同様である。そのような[[函数空間]]は多くの幾何学的状況で生じる。例えば {{math|Ω}} が[[実数直線]] {{math|'''R'''}} やその[[区間 (数学)|区間]]あるいは {{math|'''R'''}} の他の[[部分集合]]などのときである。位相空間論や解析学における多くの概念、例えば[[連続写像|連続性]]、[[可積分性]]や[[可微分性]]などは、線型性に関してよく振る舞う。即ち、そのような性質を満たす函数の和やスカラー倍もまた同じ性質を持つ<ref>例えば {{Harvard citations|last = Lang|year = 1993|loc = ch. XII.3., p. 335|nb = yes}}</ref>。従って、そのような函数全体の成す集合もまたそれぞれベクトル空間を成す。これら函数空間は、[[函数解析学]]の方法を用いてかなり詳しく調べられている（[[#labelFunctionalAnalysis|後述]]）。代数学的な制約からもベクトル空間を得ることができる。<cite id=labelPolynomialRing>ベクトル空間[[多項式環| {{math|''F''{{!(}}''x''{{)!}}}}]]</cite> は[[多項式函数]]
:{{math|''&fnof;''(''x'') {{=}} ''r''{{sub|0}} + ''r''{{sub|1}}''x'' + ... + ''r''{{sub|''n'' &minus; 1}}''x''{{sup|''n'' &minus; 1}} + ''r{{sub|n}}x{{sup|n}}''}}
（ただし各[[係数]] {{math|''r''{{sub|0}}, ..., ''r{{sub|n}}''}} は {{mvar|F}} の元）の全体によって与えられる<ref>{{Harvard citations|last = Lang|year = 1987|loc = ch. IX.1|nb = yes}}</ref>。

=== 線型方程式の解空間 ===
{{Main|線型方程式|線型微分方程式|線型方程式系}}
[[斉次線型方程式]]系はベクトル空間と近しい関係にある<ref>{{Harvard citations|last = Lang|year = 1987|loc = ch. VI.3.|nb = yes}}</ref>。例えば方程式系 
:{|
|-
| style="text-align:right;"|{{mvar|a}} 
| {{math|+}} 
| {{math|3''b''}}
| {{math|+}} 
| style="text-align:right;"| {{mvar|c}}
| {{math|{{=}} 0}}
|-
| {{math|4''a''}} 
| {{math|+}} 
| {{math|2''b''}}
| {{math|+}} 
| {{math|2''c''}}
| {{math|{{=}} 0}}
|}
の解の全体は、任意の {{mvar|a}} に対して {{math|''a'', ''b'' {{=}} ''a''/2, ''c'' {{=}} &minus;5''a''/2}} の三つ組として与えられる。これらの三つ組の成分ごとの和とスカラー倍はやはり同じ比を持つ三つの変数の組であるから、これも解となり、解の全体はベクトル空間を成す。[[行列]]を使えば上記の複数の線型方程式を簡略化して一つの[[ベクトル方程式]]、つまり
:<cite id=equation3><math>A\mathbf{x} = {\boldsymbol 0},\quad A = \begin{bmatrix}
1 & 3 & 1 \\
4 & 2 & 2\end{bmatrix}</math></cite>
にすることができる。ここで {{mvar|A}} は与えられた方程式の係数を含む行列、{{math|'''x'''}} はベクトル {{math|{{nowrap|(''a'', ''b'', ''c'')}}}} であり、{{math|''A'''''x'''}} は[[行列の積]]を、{{math|'''0''' {{=}} (0, 0)}} は零ベクトルをそれぞれ意味する。同様の文脈で、斉次の線型微分方程式の解の全体もまたベクトル空間を成す。例えば、
: <cite id=equation1>{{math|''&fnof;{{'}}{{'}}''(''x'') + 2''&fnof;{{'}}''(''x'') + ''&fnof;''(''x'') {{=}} 0}}</cite>
を解けば、{{mvar|a, b}} を任意の定数として {{nowrap begin}}{{math|''ƒ''(''x'') {{=}} ''a''&thinsp;e{{sup|&minus;''x''}} + ''bx''&thinsp;e{{sup|&minus;''x''}}}}{{nowrap end}} が得られる。ただし {{math|e{{sup|''x''}}}} は[[指数関数|自然指数函数]]である。

== 基底と次元 ==
{{Main|基底 (線型代数学)|l1=基底|次元 (線型代数学)|l2=次元}}
[[File:Vector components and base change.svg|200px|thumb|right|{{math|'''R'''{{sup|2}}}} のベクトル {{math|'''v'''}} (青) を異なる基底によって表したもの： {{math|'''R'''{{sup|2}}}} の[[標準基底]]による {{math|'''v''' {{=}} ''x'''''e'''{{sub|1}} + ''y'''''e'''{{sub|2}}}} (黒) と別の[[斜交基底]]による {{math|'''v''' {{=}} '''f'''{{sub|1}} + '''f'''{{sub|2}}}} (赤)]]
<cite id=label1>'''基底'''</cite>は簡明な方法でベクトル空間の構造を明らかにする。基底とは、適当な[[添字集合]]で添字付けられたベクトルの（有限または無限）集合 {{nowrap begin}}{{math|''B'' {{=}} {{(}}'''v'''{{sub|''i''}}{{)}}{{sub|''i'' ∈ ''I''}}}}{{nowrap end}} であって、それが全体空間を張るもののうちで極小となるものを言う。この条件は、任意のベクトル {{math|'''v'''}} が、基底元の有限[[線型結合]]
:<math>v = a_1 \mathbf{v}_{i_1} + a_2 \mathbf{v}_{i_2} + \cdots + a_n \mathbf{v}_{i_n}</math>
（{{mvar|a{{sub|k}}}} がスカラーで {{math|'''v'''{{sub|''i{{sub|k}}''}}}} が基底 {{mvar|B}} の元 {{nowrap begin}}{{math|(''k'' {{=}} 1, ..., ''n'')}}{{nowrap end}}）として表されることを意味し、また極小性は {{mvar|B}} が'''[[線型独立]]性'''を持つようにするためのものである。ここでベクトルの集合が線型独立であるというのは、その何れの元も残りの元の線型結合として表されることがないときに言い、これはまた方程式
:<math>a_1 \mathbf{v}_{i_1} + a_2 \mathbf{v}_{i_2} + \cdots + a_n \mathbf{v}_{i_n} = 0</math>
が満たされるのが、全てのスカラー {{math|''a''{{sub|1}}, ..., ''a{{sub|n}}''}} が零に等しい場合に限ると言っても同じことである。基底の線型独立性は、{{mvar|V}} の任意のベクトルが基底ベクトルによる表示（そのような表示ができることは基底が全体空間 {{mvar|V}} を張ることから保証されている）が一意であることを保証する<ref>{{Harvard citations|last = Lang|year = 1987|loc = ch. II.2., pp. 47–48|nb = yes}}</ref>。このことは、基底ベクトルを {{math|'''R'''{{sup|3}}}} における基本ベクトル {{mvar|x, y, z}} や高次元の場合の同様の対象を一般化するものと見ることによって、ベクトル空間の観点での座標付けとして述べることができる。

[[基本ベクトル]] {{math|{{nowrap begin}}'''e'''{{sub|1}} {{=}} (1, 0, ..., 0){{nowrap end}} {{nowrap begin}}'''e'''{{sub|2}} {{=}} (0, 1, 0, ..., 0),{{nowrap end}} ..., {{nowrap begin}}'''e'''{{sub|''n''}} {{=}} (0, 0, ..., 0, 1){{nowrap end}}}} は {{mvar|F{{sup|n}}}} の[[標準基底]]と呼ばれる基底を成す。これは任意のベクトル {{math|(''x''{{sub|1}}, ''x''{{sub|2}}, ..., ''x{{sub|n}}'')}} がこれらのベクトルの線型結合として一意的に
: {{math|(''x''{{sub|1}}, ''x''{{sub|2}}, ..., ''x{{sub|n}}'') {{=}} ''x''{{sub|1}}(1, 0, ..., 0) + ''x''{{sub|2}}(0, 1, 0, ..., 0) + ... + ''x{{sub|n}}''(0, ..., 0, 1) {{=}} ''x''{{sub|1}}'''e'''{{sub|1}} + ''x''{{sub|2}}'''e'''{{sub|2}} + ... + ''x{{sub|n}}'''''e'''{{sub|''n''}}}}
と表されることによる。

任意のベクトル空間が基底を持つことが、[[ツォルンの補題]]から従う<ref>{{Harvard citations|last = Roman|year = 2005|nb = yes|loc=Theorem 1.9, p. 43}}</ref>。従って、[[ツェルメロ・フレンケル集合論]]の公理が与えられていれば、任意のベクトル空間における基底の存在性は選択公理と同値になる<ref>{{Harvard citations|last = Blass|year = 1984|nb=yes}}</ref>。また選択公理よりも弱い[[単項フィルター補題]]から、与えられた一つのベクトル空間 {{mvar|V}} において任意の基底が同じ数の元（あるいは[[濃度 (数学)|濃度]]）を持つことが示され（[[ベクトル空間の次元定理]]）<ref>{{Harvard citations|last = Halpern|year = 1966|nb = yes|loc=pp. 670–673}}</ref>、その濃度をベクトル空間 {{mvar|V}} の'''次元''' {{math|dim ''V''}} と呼ぶ。有限個のベクトルで張られる空間の場合であれば、上記の主張は集合論的な基礎付けを抜きにしても示せる<ref>{{Harvard citations|last = Artin|year = 1991|nb = yes|loc=Theorem 3.3.13}}</ref>。 

数ベクトル空間 {{mvar|F{{sup|n}}}} は、すでに示した基底によってその次元が {{mvar|n}} であることがわかる。多項式環 {{math|''F''{{!(}}''x''{{)!}}}}（[[#labelPolynomialRing|上述]]）の次元は[[可算無限]]（基底の一つは {{math|1, ''x'', ''x''{{sup|2}}, …}} で与えられる）であり、[[ア・フォルティオリ|より強く]]、ある（有界または非有界な）区間上の函数全体の成す空間など、もっと一般の函数空間の次元は無限大になる<ref group=nb>例えば、（無数に存在する）区間の[[指示函数]]はどれも線型独立である。</ref>。現れる係数に対して適当な正則性条件を課すものとして、斉次[[常微分方程式]]の解空間の次元はその方程式の階数に等しい<ref>{{Harvard citations|last = Braun|year = 1993|nb = yes|loc=Th. 3.4.5, p. 291}}</ref>。例えば、[[#equation1|上で述べた方程式]]の解空間は {{math|''e''{{sup|&minus;''x''}}}} と {{math|''xe''{{sup|&minus;''x''}}}} で生成され、これら二つの函数は {{math|'''R'''}} 上線型独立であるから、この空間の次元は {{math|2}} で、方程式の階数 {{math|2}} と一致する。

有理数体 {{math|'''Q'''}} 上の拡大体 {{math|'''Q'''(''α'')}} の次元は {{mvar|α}} に依存して決まる。{{mvar|α}} が有理数係数の[[代数方程式]]
:{{math|''q{{sub|n}}&alpha;{{sup|n}}'' + ''q''{{sub|''n'' &minus; 1}}''&alpha;''{{sup|''n'' &minus; 1}} + ... + ''q''{{sub|0}} {{=}} 0}}
を満足する、すなわち {{mvar|α}} が[[代数的数]]であるとき、次元は有限である。より正確には、その次元は {{mvar|α}} を根に持つ[[最小多項式 (体論)|最小多項式]]の次数に等しい<ref>{{Harvard citations|last = Stewart|year = 1975|nb = yes|loc=Proposition 4.3, p. 52}}</ref>。例えば、複素数体 {{math|'''C'''}} は実二次元のベクトル空間で、{{math|1}} と[[虚数単位]] {{mvar|i}} で生成される。後者は二次の方程式 {{math|''i''{{sup|2}} + 1 {{=}} 0}} を満足するから、このことからも {{math|'''C'''}} が二次元 {{math|'''R'''}}-ベクトル空間であることが言える（また、任意の体がそうだが、{{math|'''C'''}} 自身の上のベクトル空間として {{math|'''C'''}} は一次元である）。
他方、{{mvar|α}} が代数的でないならば、{{math|'''Q'''(''α'')}} の {{math|'''Q'''}} 上の次元は無限大である。例えば {{math|''α'' {{=}} [[円周率|&pi;]]}} とすれば、{{math|&pi;}} を根とする代数方程式は存在しない（別な言い方をすれば、{{math|π}} は[[超越数|超越的]]である）<ref>{{Harvard citations|last = Stewart|year = 1975|nb = yes|loc=Theorem 6.5, p. 74}}</ref>。

== 線型写像と行列 ==
=== 線型写像 ===
{{Main|線型写像}}
二つのベクトル空間の間の関係性は'''線型写像'''あるいは'''線型変換'''によって表すことができる。これは、ベクトル空間の構造を反映した[[写像]]、即ち任意の {{math|'''x''', '''y''' &isin; ''V''}} と任意の {{math|''a'' &isin; ''F''}} に対して
:{{math|''&fnof;''('''x''' + '''y''') {{=}} ''&fnof;''('''x''') + ''&fnof;''('''y'''), ''&fnof;''(''a'' &middot; '''x''') {{=}} ''a'' &middot; ''&fnof;''('''x''')}}
を満たすという意味で和とスカラー倍を保つものである<ref>{{Harvard citations|last = Roman|year = 2005|nb = yes|loc=ch. 2, p. 45}}</ref>。

[[同型写像]]とは、線型写像 {{nowrap|{{math|''&fnof;'' : ''V'' → ''W''}}}} で[[逆写像]] {{nowrap|{{math|''g'' : ''W'' → ''V''}}}}, 即ち[[写像の合成|合成写像]] {{nowrap|{{math|''&fnof;'' ∘ ''g'': ''W'' → ''W''}}}} および {{nowrap|{{math|''g'' ∘ ''&fnof;'': ''V'' → ''V''}}}} がともに[[恒等写像]]となるものが存在するものを言う。同じことだが、{{mvar|ƒ}} は一対一（[[単射]]）かつ上への（[[全射]]）線型写像である<ref>{{Harvard citations|last = Lang|year = 1987|nb = yes|loc=ch. IV.4, Corollary, p. 106}}</ref>。{{mvar|V}} と {{mvar|W}} の間に同型写像が存在するとき、これらは互いに同型であるという。このとき、{{mvar|V}} において成り立つ任意の関係式が {{mvar|ƒ}} を通じて {{mvar|W}} における関係式に写され、また逆も {{mvar|g}} を通じて行えるという意味で、これら本質的に同じベクトル空間と見做すことができる。

[[File:Vector components.svg|180px|right|thumb|矢印ベクトル {{math|'''v'''}} をその座標 {{mvar|x}} と {{mvar|y}} で記述することはベクトル空間の同型である]]
例えば、「平面上の有向線分（矢印）」の成すベクトル空間と「数の順序対」の成すベクトル空間は同型である。つまり、ある（固定された）[[座標系]]の[[原点]]を始点とする平面上の有向線分は、図に示すように、線分の {{mvar|x}}-成分と {{mvar|y}}-成分を考えることにより、順序対として表すことができる。逆に順序対 {{math|(''x'', ''y'')}} が与えられてとき、{{mvar|x}} だけ右に（{{mvar|x}} が負のときは {{math|{{!}}''x''{{!}}}} だけ左に）行って、かつ {{mvar|y}} だけ上に（{{mvar|y}} が負のときは {{math|{{!}}''y''{{!}}}} だけ下に）行く有向線分として {{math|'''v'''}} が得られる。 

固定されたベクトル空間の間の線型写像 {{math|''V'' → ''W''}} の全体は、それ自体が線型空間を成し、{{math|Hom{{sub|''F''}}(''V, W'')}} や {{math|L(''V, W'')}} などで表される<ref>{{Harvard citations|last = Lang|year = 1987|nb = yes|loc=Example IV.2.6}}</ref>。{{mvar|V}} から係数体 {{mvar|F}} への線型写像全体の成す空間は、{{mvar|V}} の'''[[双対空間]]''' {{math|''V''{{sup|∗}}}} と呼ばれる<ref>{{Harvard citations|last = Lang|year = 1987|nb = yes|loc=ch. VI.6}}</ref>。[[自然 (圏論)|自然]]な[[単射]] {{math|''V'' → ''V''{{sup|∗∗}}}} を通じて、任意のベクトル空間はその'''二重双対'''へ埋め込むことができる。この写像が同型となるのは空間が有限次元のときであり、かつその時に限る<ref>{{Harvard citations|last = Halmos|year =1974|nb = yes|loc=p. 28, Ex. 9}}</ref>。

{{mvar|V}} の基底を一つ選ぶと、{{mvar|V}} の任意の元は基底ベクトルの線型結合として一意的に表されるから、線型写像 {{nowrap|{{math|''&fnof;'' : ''V'' → ''W''}}}} は基底ベクトルの行き先を決めることで完全に決定される<ref>{{Harvard citations|last = Lang|year = 1987|nb = yes|loc=Theorem IV.2.1, p. 95}}</ref>。 {{nowrap begin}}{{math|dim ''V'' {{=}} dim ''W''}}{{nowrap end}} ならば、{{mvar|V}} と {{mvar|W}} の基底を固定するとき、その間の[[全単射|一対一対応]]から {{mvar|V}} の各基底元を {{mvar|W}} の対応する基底元へ写すような線型写像が生じるが、これは定義により同型写像となる<ref>{{Harvard citations|last = Roman|year = 2005|nb = yes|loc=Th. 2.5 and 2.6, p. 49}}</ref>。従って、二つのベクトル空間が同型となるのは、それらの次元が一致するときであり、逆もまた成り立つ。これは、別な言い方をすれば、任意のベクトル空間はその次元により（[[同型を除いて]]）「完全に分類されている」ということである。特に任意の {{mvar|n}}-次元 {{mvar|F}}-ベクトル空間 {{mvar|V}} は {{mvar|F{{sup|n}}}} に同型である。しかし、「標準的」あるいはあらかじめ用意された同型というものは存在しない。実際の同型 {{nowrap|{{math|''&phi;'' : ''F{{sup|n}}'' &rarr; ''V''}}}} は、{{mvar|F{{sup|n}}}} の標準基底を {{mvar|V}} に {{mvar|φ}} で写すことにより、{{mvar|V}} を選ぶことと等価である。適当な基底を選ぶ自由度があることは、無限次元の場合の文脈で特に有効である（後述）。

=== 行列 ===
[[Image:Matrix.svg|right|thumb|200px|典型的な行列]]
{{Main|行列|行列式}}
'''行列''' ({{en|''matrix''}} ) は線型写像の情報を記述するのに有効な概念である<ref>{{Harvard citations|last = Lang|year = 1987|nb = yes|loc=ch. V.1}}</ref>。行列は、図のように、スカラーの矩形配列として書かれる。任意の {{math|''m'' &times; ''n''}} 行列 {{mvar|A}} は {{mvar|F{{sup|n}}''}} から {{mvar|F{{sup|m}}}} への線型写像を
:<math>\mathbf x = (x_1, x_2, \cdots, x_n) \mapsto \left(\sum_{j=1}^n a_{1j}x_j, \sum_{j=1}^n a_{2j}x_j, \cdots, \sum_{j=1}^n a_{mj}x_j \right)</math>
として生じる（{{math|&sum;}} は[[総和]]を表す）。これはまた行列 {{mvar|A}} と座標ベクトル {{math|'''x'''}} との[[行列の積]]を用いて
:<cite id=equation2>{{math|'''x''' ↦ ''A'''''x'''}}</cite>
と書くこともできる。さらに言えば、{{mvar|V}} と {{mvar|W}} の基底を選ぶことで、'''任意の'''線型写像 {{nowrap|{{math|''&fnof;'' : ''V'' → ''W''}}}} は同様の方法で行列によって一意的に表される<ref>{{Harvard citations|last = Lang|year = 1987|nb = yes|loc=ch. V.3., Corollary, p. 106}}</ref>。

[[Image:Determinant parallelepiped.svg|200px|right|thumb|この[[平行六面体]]の体積はベクトル {{math|''r''{{sub|1}}, ''r''{{sub|2}}, ''r''{{sub|3}}}} の成す {{math|3 &times; 3}} 行列の行列式の絶対値に一致する。]]
[[正方行列]] {{mvar|A}} の[[行列式]] {{math|det (''A'')}} は、{{mvar|A}} に対応する線型写像が同型か否かを測るスカラーである（同型となるには、行列式の値が {{math|0}} でないことが必要かつ十分である）<ref>{{Harvard citations|last = Lang|year = 1987|nb = yes|loc=Theorem VII.9.8, p. 198}}</ref>。{{math|''n'' &times; ''n''}} 実行列に対応する {{math|'''R'''{{sup|''n''}}}} の線型変換が[[向き (数学)|向き]]を保つには、その行列式が正となることが必要十分である。

=== 固有値・固有ベクトル ===
{{Main|固有値}}
[[自己準同型写像]]、即ち線型写像 {{nowrap|{{math|''&fnof;'' : ''V'' → ''V''}}}} は、この場合ベクトル {{math|'''v'''}} とその {{mvar|ƒ}} による像 {{math|''ƒ''('''v''')}} とを比較することができるから、特に重要である。

任意の零でないベクトル {{math|'''v'''}} が、スカラー {{mvar|λ}} に対して {{nowrap begin}}{{math|''λ'''''v''' {{=}} ''ƒ''('''v''')}}{{nowrap end}} を満足するとき、これを {{mvar|ƒ}} の'''固有値''' ({{en|''eigenvalue''}} ) {{mvar|λ}} に属する'''固有ベクトル''' ({{en|''eigenvector''}} ) という<ref group=nb>この術語は、「自身の」とか「固有の」と言う意味の[[ドイツ語]] "[[:en:wikt:eigen|eigen]]" に由来する。</ref><ref>{{Harvard citations|last = Roman|year = 2005|nb = yes|loc=ch. 8, p. 135–156}}</ref>。
同じことだが、固有ベクトル {{math|'''v'''}} は差 {{nowrap|{{math|''&fnof;'' &minus; λ · Id}}}} の核の元である（ここで {{math|Id}} は[[恒等写像]] {{nowrap|{{math|''V'' → ''V''}}}}）。{{mvar|V}} が有限次元ならば、これは行列式を使って言い換えることができる。つまり、{{mvar|ƒ}} が固有値 {{mvar|λ}} を持つことは
: {{math|det(''&fnof;'' &minus; λ · Id) {{=}} 0}}
となることと同値である。行列式の定義を書き下すことにより、この式の左辺は {{mvar|λ}} を変数とする多項式と見ることができて、これを {{mvar|ƒ}} の[[固有多項式]]と呼ぶ<ref>{{Harvard citations|last = Lang|year = 1987|nb = yes|loc=ch. IX.4}}</ref>。
係数体 {{mvar|F}} がこの多項式の根を含む程度に大きい（{{math|''F'' {{=}} '''C'''}} のように、{{mvar|F}} が[[代数閉体]]ならばこの条件は自動的に満たされる）ならば任意の線型写像は少なくとも一つの固有ベクトルを持つ。

ベクトル空間 {{mvar|V}} は[[固有基底]]（固有ベクトルからなる基底）を持つかもしれないし持たないかもしれないが、それがどちらであるかは写像の[[ジョルダン標準形]]によって制御される<ref group=nb>{{Harvard citations|last = Roman|year = 2005|nb = yes|loc=ch. 8, p. 140}}. [[ジョルダン・シュヴァレー分解]]も参照。</ref>。{{mvar|ƒ}} の特定の固有値 {{mvar|&lambda;}} に属する固有ベクトル全体の成す集合は、固有値 {{mvar|&lambda;}}（と {{mvar|ƒ}}）に対応する'''固有空間'''と呼ばれるベクトル空間を成す。無限次元の場合の対応する主張である[[スペクトル定理]]に達するには、函数解析学の道具立てが必要である。

== 基本的な構成法 ==
上記具体例に加えて、与えられたベクトル空間から別のベクトル空間を得る標準的な線型代数学的構成がいくつか存在する。それらは以下に述べる定義に加えて[[普遍性]]と呼ばれる、線型空間 {{mvar|X}} を {{mvar|X}} から他の任意の線型空間への線型写像によって特定することができるという性質によっても特徴づけられる。

=== 部分空間と商空間 ===
{{Main|部分線型空間|商線型空間}}
[[File:Linear subspaces with shading.svg|thumb|250px|right|[[ユークリッド空間|{{math|'''R'''{{sup|3}}}}]] の[[原点]]を通る直線 (青細) は線型部分空間である。これは二つの[[平面]] (緑、黄) の交わりである。]]

ベクトル空間 {{mvar|V}} の空でない[[部分集合]] {{mvar|W}} が加法とスカラー乗法の下で閉じている（従ってまた、{{mvar|V}} の零ベクトルを含む）ならば、{{mvar|V}} の'''部分空間'''であるという<ref>{{Harvard citations|last = Roman|year = 2005|nb = yes|loc=ch. 1, p. 29}}</ref>。{{mvar|V}} の部分空間は、それ自体が（同じ体上の）ベクトル空間を成す。ベクトルからなる集合 {{mvar|S}} に対して、それを含む部分空間すべての交わりは {{mvar|S}} の[[線型包|張る空間]]と言い、集合 {{mvar|S}} を含む最小の {{mvar|V}} の部分空間を成す。属する元の言葉で言えば、{{mvar|S}} の張る空間は {{mvar|S}} の元の[[線型結合]]全体の成す部分空間である<ref>{{Harvard citations|last = Roman|year = 2005|nb = yes|loc=ch. 1, p. 35}}</ref>。

部分空間に相対する概念として、'''商空間'''がある<ref>{{Harvard citations|last = Roman|year = 2005|nb = yes|loc=ch. 3, p. 64}}</ref>。任意の部分空間 {{math|''W'' ⊂ ''V''}} に対して、（「{{mvar|V}} を {{mvar|W}} で[[違いを除いて|割った]]」）商空間 {{math|''V''/''W''}} は以下のように定義される。
まず集合として {{math|''V''/''W''}} は、{{mvar|v}} を {{mvar|V}} の任意のベクトルとして {{nowrap begin}}{{math|'''v''' + ''W'' {{=}} {{(}}'''v''' + '''w''', '''w''' ∈ ''W''{{)}}}}{{nowrap end}} なる形の集合全てからなる。その二つの元 {{math|'''v'''{{sub|1}} + ''W''}} および {{math|'''v'''{{sub|2}} + ''W''}} の和は {{nowrap|{{math|('''v'''{{sub|1}} + '''v'''{{sub|2}}) + ''W''}}}} で、またスカラー乗法は {{nowrap begin}}{{math|''a'' · ('''v''' + ''W'') {{=}} (''a'' · '''v''') + ''W''}}{{nowrap end}} で与えられる。
この定義の鍵は {{nowrap begin}}{{math|'''v'''{{sub|1}} + ''W'' {{=}} '''v'''{{sub|2}} + ''W''}}{{nowrap end}} となる[[必要十分条件]]が {{math|'''v'''{{sub|1}}}} と {{math|'''v'''{{sub|2}}}} との差が {{mvar|W}} に入ることである<ref group=nb>書籍によっては（{{Harvard citations|last = Roman|year = 2005|nb = yes}}など）この[[同値関係]]から話を始めて、それを使って {{math|''V''/''W''}} の具体形を導き出す形をとるものもある</ref>。この方法で商空間は、部分空間 {{mvar|W}} に含まれる情報を「忘却」したものとなる。

線型写像 {{math|''ƒ'' : ''V'' → ''W''}} の[[核 (数学)|核]] {{math|ker(''ƒ'')}} は {{mvar|W}} の零ベクトル {{math|'''0'''}} へ写されるベクトル {{math|'''v'''}} からなる<ref>{{Harvard citations|last = Lang|year = 1987|nb = yes|loc=ch. IV.3.}}</ref>。核および[[像 (数学)|像]] {{nowrap begin}}{{math|im(''ƒ'') {{=}} {{(}}''ƒ''('''v'''), '''v''' ∈ ''V''{{)}}}}{{nowrap end}} はともにそれぞれ {{mvar|V}} および {{mvar|W}} の部分空間である<ref>{{Harvard citations|last = Roman|year = 2005|nb = yes|loc=ch. 2, p. 48}}</ref>。核と像の存在は（固定した体 {{mvar|F}}）上の[[ベクトル空間の圏]]が[[アーベル圏]]（つまり、数学的対象とそれらの間の構造を保つ写像の集まり、即ち[[圏 (数学)|圏]]、であって[[アーベル群の圏]]と非常によく似た振る舞いをするもの）を成すことの要件の一部である<ref>{{Harvard citations|last = Mac Lane|year = 1998|nb = yes}}</ref>。これにより、[[第一同型定理]]（線型代数学的な言い方をすれば[[階数退化次数定理]]）
:{{math|''V'' / ker(''&fnof;'') &cong; im(''&fnof;'')}}
や第二、第三の同型定理が[[群論]]における相当の定理と同様な仕方できちんと定式化と証明をすることができる。 

重要な例は、適当に固定した行列 {{mvar|A}} に対する線型写像 {{math|'''x''' ↦ ''A'''''x'''}} の核である。この写像の核は {{math|''A'''''x''' {{=}} 0}} を満たすベクトル {{math|'''x'''}} 全体の成す部分空間であり、これは {{mvar|A}} に属する斉次線型方程式系の解空間に他ならない。この考え方は線型微分方程式
:<math>a_0 f + a_1 \frac{d f}{d x} + a_2 \frac{d^2 f}{d x^2} + \cdots + a_n \frac{d^n f}{d x^n} = 0</math>
（各係数 {{mvar|a{{sub|i}}}} も {{mvar|x}} の函数）に対しても拡張できる。対応する線型写像
:<math>f \mapsto D(f) = \sum_{i=0}^n a_i \frac{d^i f}{d x^i}</math>
は函数 {{mvar|ƒ}} の[[導函数]]が（例えば {{math|''ƒ{{'}}{{'}}''(''x''){{sup|2}}}} のような項が現れないという意味で）線型に現れている。微分は線型である（即ち {{nowrap begin}}{{math|(''ƒ'' + ''g''){{'}} {{=}} ''ƒ{{'}}'' + ''g{{'}}''}}{{nowrap end}} および定数 {{mvar|c}} について {{nowrap begin}}{{math|(''cƒ''){{'}} {{=}} ''cƒ{{'}}''}}{{nowrap end}} が成り立つ）から、上記作用素の値も線型である（[[線型微分作用素]]と言う）。特に、この微分方程式 {{nowrap begin}}{{math|''D''(''ƒ'') {{=}} 0}}{{nowrap end}} の解の全体は（{{math|'''R'''}} または {{math|'''C'''}} 上の）ベクトル空間となる。

=== 直積と直和 ===
{{Main|直積線型空間|加群の直和}}
{{mvar|I}} で[[添字集合|添字]]付けられたベクトル空間の族 {{math|''V{{sub|i}}''(''i'' &isin; ''I'')}} の'''直積''' {{math|&prod;{{sub|''i''&isin;''I''}} ''V{{sub|i}}''}} とは、{{mvar|I}} の各添字 {{mvar|i}} に対して {{mvar|V{{sub|i}}}} の元 {{mvar|v{{sub|i}}}} を指定してできる[[タプル|順序組]] {{math|('''v'''{{sub|''i''}}{{sub|''i'' ∈ ''I''}}}} 全体の成す集合<ref>{{Harvard citations|last = Roman|year = 2005|nb = yes|loc=ch. 1, pp. 31–32}}</ref>に、加法とスカラー乗法を成分ごとの演算によって定める。
この構成の変種として、'''直和''' {{math|&oplus;{{sub|''i'' &isin; ''I''}} ''V{{sub|i}}''}}（あるいは[[余積]] {{math|{{unicode|&#x2210;}}{{sub|''i'' &isin; ''I''}} ''V{{sub|i}}''}}）は先の順序組において[[ほとんど (数学)|有限個の例外を除く全て]]の成分が零ベクトルであるようなものだけを許して得られるものである。添字集合 {{mvar|I}} が有限ならばこの二つの構成は一致するが、そうでないならば違うものを与える。

=== テンソル積 ===
{{Main|ベクトル空間のテンソル積}}
同じ体 {{mvar|F}} 上の二つのベクトル空間 {{mvar|V}} と {{mvar|W}} の'''テンソル積''' ({{en|''tensor product''}} ) {{math|''V'' ⊗{{sub|''F''}} ''W''}} あるいは単に {{math|''V'' ⊗ ''W''}} は、線型写像を多変数にするような概念の拡張を扱う[[多重線型代数]]における中心的な概念のひとつである。写像 {{nowrap|{{math|''g'' : [[:en:Cartesian product|''V'' &times; ''W'']] &rarr; ''X''}}}} が[[双線型写像]]であるとは、{{mvar|g}} が両変数 {{math|'''v''', '''w'''}} の何れについても線型であることを言う。これはつまり、{{math|'''w'''}} を固定したとき写像 {{nowrap|{{math|'''v''' ↦ ''g''('''v''', '''w''')}}}} が線型であり、かつ {{math|'''v'''}} を固定した時も同様であることを意味する。

テンソル積は以下のような意味で、双線型写像を普遍的に受け入れる特別のベクトル空間である。それは[[テンソル]]と呼ばれる記号の（形式的な）有限和
:{{math|'''v'''{{sub|1}} ⊗ '''w'''{{sub|1}} + '''v'''{{sub|2}} ⊗ '''w'''{{sub|2}} + ... + '''v'''{{sub|''n''}} ⊗ '''w'''{{sub|''n''}}}}
の全体からなる線型空間で、これらの元は ''a'' をスカラーとして
:<cite id=tensor_product>{{math|''a'' &middot; ('''v''' ⊗ '''w''') {{=}} (''a'' &middot; '''v''') ⊗ '''w''' {{=}} '''v''' ⊗ (''a'' &middot; '''w'''),}}
:{{math|('''v'''{{sub|1}} + '''v'''{{sub|2}}) ⊗ '''w''' {{=}} '''v'''{{sub|1}} ⊗ '''w''' + '''v'''{{sub|2}} ⊗ '''w''',}}
:{{math|'''v''' ⊗ ('''w'''{{sub|1}} + '''w'''{{sub|2}}) {{=}} '''v''' ⊗ '''w'''{{sub|1}} + '''v''' ⊗ '''w'''{{sub|2}}}}</cite>
なる規則で縛られている<ref>{{Harvard citations|last = Lang|year = 2002|loc = ch. XVI.1|nb = yes}}</ref>。
[[Image:Universal property tensor product.png|right|thumb|200px|テンソル積の普遍性を表す[[可換図式]]]]
これらの規則は、[[順序対]] {{math|('''v''', '''w''')}} を {{nowrap|{{math|'''v''' ⊗ '''w'''}}}} へ写す {{math|''V'' &times; ''W''}} から {{math|''V'' ⊗ ''W''}} への写像 {{mvar|ƒ}} が双線型となることを保証するものである。テンソル積の[[普遍性]]とは
: '''任意の'''ベクトル空間 {{mvar|X}} と'''任意の'''双線型写像 {{nowrap|{{math|''g'' : ''V'' &times; ''W'' &rarr; ''X''}}}} が与えられたとき、写像 {{math|''u'' : ''V'' ⊗ ''W'' &rarr; ''X''}} が一意的に存在して、上記の写像 {{mvar|ƒ}} との[[写像の合成|合成]] {{math|''u'' ∘ ''f''}} が {{nowrap begin}}{{math|''g'' : ''u''('''v''' ⊗ '''w''') {{=}} ''g''('''v''', '''w''')}}{{nowrap end}} に等しくなるようにすることができる<ref>{{Harvard citations|last = Roman|year = 2005|nb = yes|loc=Th. 14.3}}. [[米田の補題]]も参照。</ref>
というものである。テンソル積の普遍性は対象を、その対象からの、あるいはその対象への写像によって間接的に定義するという（進んだ抽象代数学ではよく用いられる）手法の一例である。

== 付加構造を備えたベクトル空間 ==
線型代数学の観点からは、任意のベクトル空間が（[[同型を除いて]]）その次元によって特徴づけられるという意味で、ベクトル空間については完全に分かっている。しかしベクトル空間というものは「本質的に」、函数列が別の函数に収斂するか否かという（解析学では重要な）問題について取り扱う枠組みを提供していないし、同様に加法演算が有限項の和のみを許す線型代数学では[[無限級数]]を扱うのには適当でない。<cite id=labelFunctionalAnalysis>従って、[[函数解析学]]ではベクトル空間に更なる構造を考える必要が求められる</cite>。殆ど同様に、付加的な情報を持つベクトル空間が有効に働く部分を抽象的に見つけだすことで、公理的取扱いからベクトル空間の持つ代数学的に本質的な特徴を浮き彫りにすることができる{{Citation needed|date=February 2009}}。

付加構造の一つの例は、[[順序関係]] {{math|≤}} で、これによりベクトルの比較が行えるようになる<ref>{{Harvard citations|last1 = Schaefer|last2=Wolff|year = 1999|loc = pp. 204–205|nb = yes}}</ref>。例えば、実 {{mvar|n}}-次元空間 {{math|'''R'''<sup>''n''</sup>}} は、ベクトルを成分ごとに比較することで順序づけることができる。また、[[ルベーグ積分]]は函数を二つの正値函数の差
:<math>f = f^+ - f^-</math>
として（{{math|''ƒ''<sup>+</sup>}} は {{mvar|ƒ}} の正部分で {{math|''ƒ''<sup>&minus;</sup>}} は負部分）表すことができることに依拠しているから、[[順序線型空間]]（例えば[[リース空間]]）は[[ルベーグ積分]]において基本的である<ref>{{Harvard citations|last = Bourbaki|year = 2004|nb = yes|loc=ch. 2, p. 48}}</ref>。

=== ノルム空間および内積空間 ===
{{Main|ノルム線型空間|内積空間}}
ベクトルの「測度」は、ベクトルの長さを測る[[ノルム]]や、ベクトルの間の角を測る[[内積]]を決めることによって与えられる。ここではノルムおよび内積をそれぞれ {{math|{{!}}'''v'''{{!}}}} および {{math|&lang;'''v''', '''w'''&rang;}} のように表す。内積の情報はベクトルの長さを定められることも含んでいて、付随するノルムが
:<math>|\mathbf{v}| := \sqrt {\langle \mathbf{v}, \mathbf{v} \rangle}</math>
で与えられる。これらの情報が与えられたベクトル空間はそれぞれ、[[ノルム空間]]および[[内積空間]]と呼ばれる<ref>{{Harvard citations|last =Roman|year = 2005|nb = yes|loc=ch. 9}}</ref>。

数ベクトル空間 {{mvar|F<sup>n</sup>}} は[[点乗積|標準内積]]
:<math>\mathbf{x}\cdot \mathbf{y} = x_1 y_1 + \cdots + x_n y_n</math>
を備えている。これは {{math|'''R'''<sup>2</sup>}} においてよくある二つのベクトル {{math|'''x''', '''y'''}} の[[ベクトルのなす角|成す角]] {{mvar|&theta;}} の概念を[[余弦定理]]
:<math>\mathbf{x}\cdot \mathbf{y} = |\mathbf{x}|\,|\mathbf{y}|\,\cos(\theta)</math>
によって反映するものである。これにより、{{math|'''x''' &middot; '''y''' {{=}} 0}} を満たす二つのベクトル {{math|'''x''', '''y'''}} は互いに[[直交]]すると言われる。この標準内積の重要な変形版として、[[ミンコフスキー空間]] {{math|'''R'''<sup>4</sup> {{=}} '''R'''<sup>3,1</sup>}} はローレンツ積
:<math>\lang \mathbf{x}\mid \mathbf{y} \rang = x_1 y_1 + x_2 y_2 + x_3 y_3 - x_4 y_4</math>
を備える<ref>{{Harvard citations|last =Naber|year = 2003|nb = yes|loc=ch. 1.2}}</ref>。標準内積との大きな違いは、ローレンツ積が[[正定値双線型形式|正定値]]でないこと、つまり {{math|&lang;'''x'''{{!}}'''x'''&rang;}} は負の値を取り得る（例えば {{math|'''x''' {{=}} (0,0,0,1)}} のとき）ことである。（三つの空間的な座標とは異なり、[[時間的|時間に対応する]]）第四の座標を考えることは[[特殊相対論]]の数学的取扱いにおいて有効である。

=== 位相線型空間 ===
{{Main|位相線型空間}}
収斂性の問題は、ベクトル空間 {{mvar|V}} に両立する[[位相空間|位相]]（[[近傍 (位相空間論)|近さ]]を記述することを可能にする構造）を入れることによって扱われる。<ref>{{Harvard citations|last = Treves|year = 1967|nb = yes}}</ref><ref>{{Harvard citations|last = Bourbaki|year = 1987|nb = yes}}</ref>。 ここでいう「両立」とは、加法とスカラー乗法がともに[[連続写像]]となるという意味で、大雑把に言えば、{{math|'''x''', '''y''' &isin; ''V''}} と {{math|''a'' &isin; ''F''}} が限られた範囲の中にあれば、{{math|'''x''' + '''y'''}} と {{math|''a'''''x'''}} も限られた範囲に留まるということである<ref group=nb>この仮定からは、得られる位相が[[一様構造]]を持つことが導かれる。{{Harvard citations|last = Bourbaki|year = 1989|loc = ch. II|nb = yes}}</ref>。スカラーについてこの議論がきちんと意味を持つようにするためには、この文脈において体 {{mvar|F}} にも位相が定められていなければならない。よく用いられるのが実数体や複素数体である。

このような'''位相線型空間'''ではベクトル項[[級数]]を考えることができて、{{mvar|V}} の元からなる列 {{math|(''ƒ<sub>i</sub>'')<sub>''i'' ∈ '''N'''</sub>}} の[[無限和]]
:<math>\sum_{i=0}^{\infty} f_i</math>
とは、対応する有限部分和の[[列の極限|極限]]を表すものである。例えば {{mvar|ƒ<sub>i</sub>}} が、ある（実または複素）[[函数空間]]に属する函数であるとすると、この場合の級数は[[函数項級数]]と呼ばれる。函数項級数の{{仮リンク|収斂の様態|en|modes of convergence}}は、函数空間に課された位相に依存する。そのような様態の中でも[[各点収斂]]と[[一様収斂]]の二つは特に際立った例である。

[[Image:Vector norms2.svg|thumb|right|250px|{{math|'''R'''<sup>2</sup>}} の「[[単位球面]]」はノルム {{math|1}} の平面ベクトルからなる。図は、異なる[[Lpノルム| {{mvar|p}}-乗平均ノルム]]に関する単位球面を {{math|''p'' {{=}} 1, 2, ∞}} の場合に描いたもの。また大きな菱形は {{math|1}}-ノルムが {{math|{{sqrt|2}}}} に等しいような点を描いたものである。]]
ある種の無限級数の極限の存在を保証する方法の一つは、考える空間を任意の[[コーシー列]]が収斂するようなものに限って考えることである。そのようなベクトル空間は[[完備 (位相空間論)|完備]]であるという。大まかに言えば、ベクトル空間が完備というのは必要な極限をすべて含むということである。例えば単位区間 {{math|[0,1]}} 上の多項式函数全体の成すベクトル空間に[[一様収斂位相]]を入れたものは完備でない。これは {{math|[0,1]}} 上の任意の連続函数が、多項式函数列で一様に近似することができるという[[ワイエルシュトラスの近似定理|ヴァイアシュトラスの近似定理]]による<ref>{{harvnb|Kreyszig|1989|loc=§4.11-5}}</ref>。対照的に、区間 {{math|[0,1]}} 上の連続函数全体の成す空間に同じ位相を入れたものは完備になる<ref>{{harvnb|Kreyszig|1989|loc=§1.5-5}}</ref>。ノルムからは、ベクトル列 {{math|'''v'''<sub>''n''</sub>}} が {{math|'''v'''}} に収斂する必要十分条件を
:<math>\lim_{n\to \infty} |\mathbf v_n - \mathbf v| = 0</math>
で定めることによって、空間に位相が入る。バナッハ空間およびヒルベルト空間は、それぞれノルムおよび内積から定まる位相に関して完備な位相空間である。[[函数解析学]]で重要になるそれらの研究は、有限次元位相線型空間上のノルムはどれも同じ収斂性の概念を定めるから、無限次元ベクトル空間に焦点があてられる<ref>{{Harvard citations|last =Choquet|year = 1966|nb = yes|loc=Proposition III.7.2}}</ref>。図は {{math|'''R'''<sup>2</sup>}} 上の {{math|1}}-ノルムと {{math|∞}}-ノルムとの同値性を示すものである。単位「球体」は互いに他に囲まれているから、列が {{math|1}}-ノルムに関して {{math|0}} に収斂することと、その列が {{math|∞}}-ノルムに関して収斂することとが同値になる。しかし無限次元空間の場合には、一般には互いに同値でないような位相が存在しおり、そのことが位相線型空間の研究を、付加構造を持たない純代数的なベクトル空間の理論よりも豊かなものとしているのである。

概念的な観点では、位相線型空間に関する全ての概念は位相とうまく合うものでなければならない。例えば、位相線型空間の間の線型写像（あるいは[[線型汎函数]]）{{math|''V'' → ''W''}} は連続であるものと仮定される<ref>{{Harvard citations|last = Treves|year = 1967|nb = yes|loc=p. 34–36}}</ref>。特に、<cite id=label2>（位相的）双対空間 {{mvar|V<sup>∗</sup>}}</cite> は連続汎函数 {{math|''V'' → '''R''' (or '''C''')}} からなるものとする。基礎を成す[[ハーン・バナッハの定理]]は、適当な位相線型空間を連続汎函数によって部分空間に分けることに関係するものである<ref>{{Harvard citations|last = Lang|year =1983|nb = yes|loc=Cor. 4.1.2, p. 69}}</ref>。

==== バナッハ空間 ====
{{Main|バナッハ空間}}
[[ステファン・バナフ|バナフ]]の導入した'''バナッハ空間'''とは、完備ノルム空間のことである<ref>{{Harvard citations|last = Treves|year = 1967|nb = yes|loc=ch. 11}}</ref>。一つの例として、[[ルベーグ空間|ℓ&thinsp;<sup>''p''</sup>]] {{math|(1 ≤ ''p'' ≤ ∞)}} は、実数を成分とする無限次元ベクトル {{math|'''x''' {{=}} (''x''<sub>1</sub>, ''x''<sub>2</sub>, ...)}} であって、{{math|''p'' &lt; ∞}} に対して
:<math>|\mathbf x|_p := \left(\sum_i |x_i|^p \right)^{1/p}</math>
または {{math|''p'' {{=}} ∞}} に対して
: <math>|\mathbf x|_\infty := \text{sup}_i |x_i|</math>
で定義される[[p乗平均ノルム| {{mvar|p}}-ノルム]]が有限となるようなもの全体の成すベクトル空間である。無限次元空間 {{math|ℓ&thinsp;<sup>''p''</sup>}} の位相は、異なる {{mvar|p}} に対しては同値でない。例えばベクトルの列 {{math|'''x'''<sub>''n''</sub> {{=}} (2<sup>&minus;''n''</sup>, 2<sup>&minus;''n''</sup>, ..., 2<sup>&minus;''n''</sup>, 0, 0, ...)}}, つまり各項が最初の {{math|2<sup>''n''</sup>}}-個の成分が {{math|2<sup>&minus;''n''</sup>}} で残りはすべて {{math|0}} となるような無限次元ベクトルとなるようなベクトル列は {{math|''p'' {{=}} ∞}} のときは[[零ベクトル]]に収斂するが、{{math|''p'' {{=}} 1}} のときはそうならない。式にすれば
:<math>|x_n|_\infty = \sup (2^{-n}, 0) = 2^{-n} \to 0</math>
だが
: <math>|x_n|_1 = \sum_{i=1}^{2^n} 2^{-n} = 2^n \cdot 2^{-n} = 1</math>
である。

実数列よりも一般の函数 {{math|''ƒ'' : Ω → '''R'''}} は、上記の和のところを[[ルベーグ積分]]に置き換えた
:<math>|f|_p := \left(\int_\Omega |f(x)|^p \, dx \right)^{1/p}</math>
をノルムとして備えている。与えられた[[領域 (解析学)|領域]] {{math|Ω}}（例えば区間）上の {{math|{{!}}''ƒ''{{!}}<sub>''p''</sub> &lt; ∞}} を満足する[[可積分函数]]の空間に、このノルムを入れたものは[[ルベーグ空間]] {{math|''L<sup>p</sup>''(Ω)}} と呼ばれる<ref group=nb> {{math|{{!}}&bull;{{!}}<sub>''p''</sub>}} に関する三角不等式は[[ミンコフスキーの不等式]]から得られる。技術的な理由から、この文脈では[[ほとんど (数学)|殆ど至る所]]一致する函数は互いに同一視する。こうすれば上記の「ノルム」は[[半ノルム]]なだけでなく本当に[[ノルム]]を与える。</ref>。ルベーグ空間は何れも完備になる<ref>{{Harvard citations|last = Treves|year = 1967|nb = yes|loc=Theorem 11.2, p. 102}}</ref>（が、もし上記の積分を[[リーマン積分]]としたならば、空間は完備にならない。これがルベーグ積分論を考えることの正当性の一つとして挙げられる理由の一つである<ref group=nb>「{{math|''L''<sup>2</sup>}} に属する多くの函数はルベーグ測度が有界でなく、古典的なリーマン積分では積分することができない。故にリーマン可積分函数の空間は {{math|''L''<sup>2</sup>}}-ノルムに関して完備にならず、また それらに対する直交分解も適用できない。これはルベーグ積分の優位性を示すものである」{{Harvard citations|last = Dudley|year = 1989|nb = yes|loc=sect. 5.3, p. 125}}</ref>）。具体的に書けば、任意の可積分函数列 {{nowrap|{{math|''&fnof;''<sub>1</sub>, ''&fnof;''<sub>2</sub>, ...}}}} で {{nowrap begin}}{{math|{{!}}''ƒ''<sub>''n''</sub>{{!}}<sub>''p''</sub> &lt; ∞}}{{nowrap end}} となるものが、条件
:<math> \lim_{k,\ n \to \infty}\int_\Omega |{f}_k (x)-{f}_n (x)|^p \, dx = 0</math>
を満足するならば、適当な函数 {{math|''ƒ''(''x'')}} でベクトル空間 {{math|''L<sup>p</sup>''(Ω)}} に属するものが存在して
:<math>\lim_{k \to \infty}\int_\Omega |{f} (x)-{f}_k (x)|^p \, dx = 0</math>
を満たすようにすることができる。

函数自体だけでなくその[[導函数]]にも有界性条件を課すことで[[ソボレフ空間]]の概念が導かれる<ref>{{Harvard citations|last = Evans|year = 1998|loc = ch. 5|nb = yes}}</ref>。
{{-}}

==== ヒルベルト空間 ====
{{Main|ヒルベルト空間}}
[[Image:Periodic identity function.gif|right|thumb|400px|正弦函数 (<span style="color:#FF0000">赤</span>) の有限和によって、周期函数 (<span style="color:#0000FF">青</span>) を近似する様子を、初項から 5-項までの和を順に示すことによって示したもの。]]
[[完備距離空間|完備]]な[[内積空間]]は[[ダフィット・ヒルベルト|ヒルベルト]]に因んで'''ヒルベルト空間''' ({{en|''Hilbert space''}}) と呼ばれる<ref>{{Harvard citations|last = Treves|year = 1967|nb = yes|loc=ch. 12}}</ref>。自乗可積分函数の空間 {{math|''L''<sup>2</sup>(Ω)}} に
:<math> \langle f, g \rangle = \int_\Omega f(x) \overline{g(x)}\,dx</math>
で定義される内積（ただし {{math|{{overline|''g''(''x'')}}}} は {{math|''g''(''x'')}} の[[複素共役|複素共軛]]とする）<ref name=Dennery>{{Harvard citations|last = Dennery|year = 1996|loc = p.190|nb = yes}}</ref><ref group=nb>{{math|''p'' &ne; 2}} のとき {{math|''L''<sup>''p''</sup>(Ω)}} はヒルベルト空間でない。</ref>を入れたものは主要なヒルベルト空間の例である。

定義によりヒルベルト空間における任意のコーシー列は極限を持つから、逆に与えられた極限函数を近似するという適当な性質を持つ函数列 {{mvar|ƒ<sub>n</sub>}} を求めることが重要になる。初期の解析学では、[[テイラー近似]]の形で[[可微分関数|可微分函数]] {{mvar|ƒ}} の多項式列による近似が確立された<ref>{{Harvard citations|last = Lang|year = 1993|loc = Th. XIII.6, p. 349|nb = yes}}</ref>。<cite id=labelStoneWeierstrass>[[ストーン＝ワイエルシュトラスの定理|ストーン＝ヴァイアシュトラスの定理]]</cite> により、{{math|[''a'', ''b'']}} 上の任意の連続函数は適当な多項式列によりいくらでも近く近似できる<ref>{{Harvard citations|last = Lang|year = 1993|loc = Th. III.1.1|nb = yes}}</ref>。[[三角函数]]を用いた同様の近似法は一般に[[フーリエ展開]]と呼ばれ、工学において広く応用される（[[#labelFourier|後述]]）。<cite id=basis_in_inf_dim_context>より一般に、またより概念的に言えば、これらの定理は「基本函数族」とは何であるかということを端的に記述するものになっている。あるいは抽象ヒルベルト空間においてどのような基本ベクトル族が、ヒルベルト空間 {{mvar|H}} を位相的に生成するに十分であるかをいうものである。ここで、位相的に生成する（あるいは単に生成する）とは、それらの位相的線型包と呼ばれる、線型包の[[閉包 (位相空間論)|閉包]]（即ち、有限線型結合及びその極限）が、全体空間に一致することである。</cite> そのような函数の集合は {{mvar|H}} の'''基底'''（あるいはヒルベルト基底）と呼ばれ、基底の濃度はヒルベルト空間 {{mvar|H}} の[[ヒルベルト次元|次元]]と呼ばれる<ref group=nb>ヒルベルト空間の基底というのは、既に述べた線型代数学的な意味での基底と同じものを意味しない。区別のためには、後者は[[ハメル基底]]と呼ばれる。</ref>。これらの定理は適当な基底函数族が近似の目的で十分性を示すことのみならず、[[グラム・シュミットの正規直交化法|シュミットの直交化法]]を用いて[[直交基底|互いに直交するベクトルの族からなる基底]]が得られることも意味している<ref>{{Harvard citations|last = Choquet|year = 1966|loc = Lemma III.16.11|nb = yes}}</ref>。そのような直交基底は、有限次元[[ユークリッド空間]]における座標軸をヒルベルト空間に対して一般化したものと考えることができる。 

様々な[[微分方程式]]に対して、その解をヒルベルト空間の言葉で解釈することができる。例えば物理学や工学にけるかなり多くの分野でそのような方程式が導かれ、特定の物理的性質を持つ解が（しばしば直交する）基底函数族としてよく扱われる<ref>{{harvs|last=Kreyszig|year=1999|loc=Chapter 11|nb=yes}}</ref>。物理学からの例として、[[量子力学]]における時間依存[[シュレーディンガー方程式]]は、その解が[[波動関数|波動函数]]と呼ばれる[[偏微分方程式]]として、物理的性質の時間的な変化を記述する。<ref>{{harvs|last=Griffiths|year=1995|loc=Chapter 1|nb=yes}}</ref>。エネルギーやモーメントのような物理的性質に対する明確な値は、ある種の線型[[微分作用素]]の[[固有値]]とそれに属する[[固有状態]]と呼ばれる波動函数に対応する。<cite id=labelSpectralTheorem>[[スペクトル定理]]は、函数に作用する線型[[コンパクト作用素]]を、それらの固有値と固有函数を用いて分解することを述べるものである</cite><ref>{{Harvard citations|last = Lang|year = 1993|loc =ch. XVII.3|nb = yes}}</ref>。
{{-}}

=== 体上の多元環 ===
{{Main|体上の多元環|リー環}}
[[Image:Rectangular hyperbola.svg|right|thumb|250px|方程式 {{nowrap begin}}{{math|''x'' &middot; ''y'' {{=}} 1}}{{nowrap end}} で与えられる[[双曲線]]。この双曲線上の函数の[[座標環]]は {{nowrap|{{math|'''R'''[''x'', ''y''] / (''x'' &middot; ''y'' &minus; 1)}}}} で与えられ、{{math|'''R'''}} 上無限次元のベクトル空間になる。]]
一般のベクトル空間は、ベクトルの間の乗法を持たない。二つのベクトルの乗法を定める[[双線型写像]]を付加的に備えたベクトル空間は、'''体上の多元環'''と言う<ref>{{Harvard citations|last = Lang|year = 2002|nb = yes|loc=ch. III.1, p. 121}}</ref>。主な多元環は、何らかの幾何学的な対象の上の函数の空間から生じる。体に値をとる函数は、点ごとの乗法を持ち、それら函数の全体が多元環を成すのである。例えば、ストーン＝ヴァイアシュトラスの定理（[[#labelStoneWeierstrass|上述]]）は、バナッハ空間にも多元環にもなっている[[バナッハ環]]において成立する。

[[可換多元環]]は一変数または多変数の[[多項式環]]を使ってたくさん作れる。可換多元環の乗法は[[交換法則|可換]]かつ[[結合法則|結合的]]である。これらの環およびその[[剰余環]]は、それが[[座標環|代数幾何的対象上の函数の環]]となることから、[[代数幾何学]]の基礎を成している<ref>{{Harvard citations|last = Eisenbud|year = 1995|nb = yes|loc=ch. 1.6}}</ref>。

別の需要な例は[[リー環]]である。リー環の乗法（{{mvar|x, y}} の積を {{math|[''x'', ''y'']}} と書く）は可換でも結合的でもないが、そうなることは制約条件
* [[反対称性]]: {{math|[''x'', ''y''] {{=}} −[''y'', ''x'']}} 
* [[ヤコビの等式]]: {{nowrap|[''x'', [''y'', ''z'']] + [''y'', [''z'', ''x'']] + [''z'', [''x'', ''y'']] {{=}} 0}}<ref>{{Harvard citations|last = Varadarajan|year = 1974|nb = yes}}</ref>
によって制限されている。リー環の例には、{{mvar|n}}-次正方行列全体の成すベクトル空間に、行列の[[交換子]] {{nowrap begin}}{{math|[''x'', ''y''] {{=}} ''xy'' &minus; ''yx''}}{{nowrap end}} を積としたものや、{{math|'''R'''<sup>3</sup>}} に[[交叉積]]を入れたものなどが含まれる。

[[テンソル代数]] {{math|T(''V'')}} は任意のベクトル空間に積を導入して多元環を得るための形式的な方法である<ref>{{Harvard citations|last = Lang|year = 2002|nb = yes|loc=ch. XVI.7}}</ref>。{{math|T(''V'')}} はベクトル空間としては、単純[[テンソル]]あるいは分解可能型テンソルと呼ばれる記号

:<math>\mathbf{v}_1 \otimes \mathbf{v}_2 \otimes \dots \otimes \mathbf{v}_n</math>

によって生成される（ただし、[[テンソルの階数|次数]] {{mvar|n}} は任意に動かすものとする）。乗法は二つのベクトル空間に対して[[テンソル積]]を定義するときとほとんど同じで、基底元についてはそれらの記号をテンソル積 {{math|⊗}} で結合することで与え、一般には加法に対する[[分配法則|分配律]]を以って基底元に対する積を延長する。スカラー乗法は {{math|⊗}} と可換であるものとする。こうして得られる {{math|T(''V'')}} においては、一般に {{nowrap|{{math|'''v'''<sub>1</sub> ⊗ '''v'''<sub>2</sub>}}}} と {{nowrap|{{math|'''v'''<sub>2</sub> ⊗ '''v'''<sub>1</sub>}}}} との間には何の関係も成立しない。この二つの元を強制的に等しいものと定めると[[対称代数]] {{math|S(''V'')}} が、あるいは強制的に {{nowrap begin}}{{math|'''v'''<sub>1</sub> ⊗ '''v'''<sub>2</sub> {{=}} &minus; '''v'''<sub>2</sub> ⊗ '''v'''<sub>1</sub>}}{{nowrap end}} と置けば[[外積代数]] {{math|&and;(''V'')}} がそれぞれ得られる<ref>{{Harvard citations|last = Lang|year = 2002|nb = yes|loc=ch. XVI.8}}</ref>。

基礎とする体 {{mvar|F}} を明示したい場合には、{{mvar|F}}-多元環あるいは {{mvar|F}}-代数という言葉がよく用いられる。

== 応用 ==
ベクトル空間の多様体に対する応用は様々な状況で生じてくる。つまり多様体上で定義され、ある体に値をとる函数を考えれば、そこにはベクトル空間が生じるのである。そのようなベクトル空間を考えれば、解析学や幾何学における問題を取り扱う枠組みが提供される。またそういったベクトル空間はフーリエ変換などにおいても利用される。ここで挙げた例は網羅的なものではなく、例えば[[最適化]]など、ほかにももっと多くの応用が存在する。[[ゲーム理論]]の[[ミニマックス定理]]は全てのプレイヤーが最適な試行を行うことができるならば一意的なペイが得られることを述べるもので、これはベクトル空間法を用いて証明できる<ref>{{Harvard citations|last = Luenberger|year = 1997|nb = yes|loc=Section 7.13}}</ref>。[[表現論]]は、よく分かっている線型代数学およびベクトル空間に関する内容を、[[群論]]など他の領域に実り豊かに引き写すものである<ref>[[:en:representation theory|representation theory]] 及び[[群論]]を参照。</ref>。

=== シュヴァルツ超函数 ===
{{Main|シュヴァルツ超函数}}
'''シュヴァルツ超函数''' ({{en|''distribution''}}) は、各[[試験函数|「試験」函数]]（典型的には、[[コンパクト台]]を持つ[[無限回微分可能函数]]）に数を連続的な仕方で割り当てる線型写像をいう。即ち、シュヴァルツ超函数の空間は、試験函数の空間の（連続的）双対である<ref>{{Harvard citations|last = Lang|year = 1993|loc =Ch. XI.1|nb = yes}}</ref>。後者の空間には、試験函数 {{mvar|ƒ}} それ自体のみならずその高階導函数までを考慮するような位相が入っている。シュヴァルツ超函数の典型的な例はある領域 {{math|Ω}} 上で試験函数 {{mvar|ƒ}} を積分する作用素

:<math>I(f) = \int_\Omega f(x)\,dx</math>

である。{{math|Ω}} が一点集合 {{math|{{(}}''p''{{)}}}} のとき、これは試験函数 {{mvar|ƒ}} に点 {{mvar|p}} における値を割り当てる[[ディラック超函数]] {{mvar|δ}} を定める（{{math|''δ''(''ƒ'') {{=}} ''ƒ''(''p'')}}）。

シュヴァルツ超函数は微分方程式を解くための強力な道具である。微分は線型であるといったような、解析学の標準的な概念は、自然にシュヴァルツ超函数の空間へ延長することができるから、従って問題の方程式をシュヴァルツ超函数の空間へ引き写すことができて、しかもシュヴァルツ超函数の空間はもとの函数空間よりも大きいから、方程式を解くためにより柔軟な方法が利用できる（例えば、[[グリーン函数]]法）。

また、基本解は真の函数でなくシュヴァルツ超函数解（弱解）となるのがふつうであり、弱解から所期の境界条件を満たす方程式の真の解を求めるには、見つかった弱解が実際に真の函数となることを確かめればよく、証明できた場合にはそれがもとの方程式の真の解である（例えば[[リースの表現定理]]の帰結である[[ラックス・ミルグラムの定理]]が利用できる）<ref>{{Harvard citations|last = Evans|year = 1998|loc =Th. 6.2.1|nb = yes}}</ref>。

=== フーリエ解析 ===
{{Main|フーリエ解析}}
[[Image:Heat eqn.gif|thumb|right|200px|熱方程式は、冷たい環境におかれた熱源の温度の低下のような、時間とともに散逸する物理的性質を記述したものである。（<span style="color:#AAAA00">黄色</span>は<span style="color:#FF0000">赤</span>よりも冷たい領域を表す）]]

[[周期函数]]を<cite id=labelFourier>'''[[フーリエ級数]]'''</cite>を成す[[三角函数]]の和に分解することは物理学や工学においてよく用いられる手法である<ref group=nb>フーリエ級数は周期的だが、この手法は任意の区間上の ''L''<sup>2</sup>-函数に対して、函数を区間の外側へ周期的に延長することによって適用できる。{{Harvard citations|last = Kreyszig|year = 1988|loc=p. 601|nb = yes}}</ref><ref>{{Harvard citations|last = Folland|year = 1992|loc = p. 349 ''ff''|nb = yes}}</ref>。[[台 (数学)|台]]となるベクトル空間は、ふつうは[[ヒルベルト空間]] {{math|''L''<sup>2</sup>(0, 2π)}} であり、函数族 {{math|sin ''mx''}} および {{math|cos ''mx''}} ({{mvar|m}} は整数) が正規直交基底を与える<ref>{{Harvard citations|last1 = Gasquet|last2 = Witomski|year=1999|loc=p. 150|nb=yes}}</ref>。{{math|''L''<sup>2</sup>}}-函数 {{mvar|f}} の[[フーリエ展開]]は
:<math>
\frac{a_0}{2} + \sum_{m=1}^{\infty}[a_m\cos(mx)+b_m\sin(mx)]
</math>
である。係数 {{mvar|a<sub>m</sub>, b<sub>m</sub>}} は {{mvar|ƒ}} の[[フーリエ係数]]と呼ばれ、公式
:<math>a_m = \frac{1}{\pi} \int_0^{2 \pi} f(t)\cos(mt)dt,\quad b_m = \frac{1}{\pi} \int_0^{2 \pi} f(t)\sin(mt)dt</math>
で求められる<ref name="ReferenceA">{{Harvard citations|last1 = Gasquet|last2 = Witomski|year=1999|loc=&sect;4.5|nb=yes}}</ref>。

物理学の言葉で言えば、函数は[[正弦波]]の[[重ね合せの原理|重ね合せ]]として表され、その係数は函数の[[周波数スペクトル]]についての情報を与えるということになる<ref>{{Harvard citations|last1 = Gasquet|last2 = Witomski|year=1999|loc=p. 57|nb=yes}}</ref>。複素型のフーリエ級数も広く用いられる<ref name="ReferenceA"/>。
上記の具体的な公式は、より一般の[[ポントリャーギン双対]]と呼ばれる[[双対性]]からの帰結である<ref>{{Harvard citations|last1=Loomis|year=1953|loc=Ch. VII|nb=yes}}</ref>。[[加法群]] {{math|'''R'''}} にこの双対性を適用すれば古典的なフーリエ変換が得られる。また物理学では[[逆格子]]に応用される。これは有限次元実線型空間に付加的なデータとして[[原子]]や[[結晶]]の位置を符号化した[[束 (代数学)|束]]を与えたものを基礎の群として双対性を適用したものである<ref>{{Harvard citations|last1=Ashcroft | last2=Mermin | year=1976|loc=Ch. 5|nb=yes}}</ref>。

フーリエ級数は[[偏微分方程式]]の[[境界値問題]]を解くのにも利用される<ref>{{Harvard citations|last = Kreyszig|year = 1988|loc=p. 667|nb = yes}}</ref>。1822年に[[ジョセフ・フーリエ|フーリエ]]が初めてこの方法を[[熱方程式]]を解くために用いた<ref>{{Harvard citations|last = Fourier|year = 1822|nb = yes}}</ref>。フーリエ級数の離散版は[[標本化]]において、函数値が等間隔に並んだ有限個の点でしかわかっていないところで用いられる。この場合、フーリエ級数は有限項で、その値は全ての点で標本値に等しい<ref>{{Harvard citations|last1 = Gasquet|last2 = Witomski|year=1999|loc=p. 67|nb=yes}}</ref>。また、係数全体の成す集合は、与えられた標本列の[[離散フーリエ変換]] ({{en|DFT : Discrete Fourier Transformation}}) と呼ばれる。この DFT は（[[レーダー]]や[[音声符号化]]や[[画像圧縮]]などに応用を持つ）[[デジタル信号処理]]の重要な道具の一つである<ref>{{Harvard citations|last1 = Ifeachor|last2 = Jervis|year=2002|loc=pp. 3–4, 11|nb=yes}}</ref>。画像フォーマット[[JPEG]]は、近しい関係にある[[離散余弦変換]]の応用である<ref>{{Harvard citations|last = Wallace|year = Feb 1992|nb = yes}}</ref>。

[[高速フーリエ変換]]は離散フーリエ変換を高速に計算するアルゴリズムである<ref>{{Harvard citations|last1 = Ifeachor|last2 = Jervis|year=2002|loc=p. 132|nb=yes}}</ref>。これはフーリエ係数の計算だけでなく、[[畳み込み定理]]を用いて、二つの有限列の[[畳み込み]]を計算するのにも利用できる<ref>{{Harvard citations|last1 = Gasquet|last2 = Witomski|year=1999|loc=&sect;10.2|nb=yes}}</ref>。また、[[デジタルフィルタ]]や<ref>{{Harvard citations|last1 = Ifeachor|last2 = Jervis|year=2002|loc=pp. 307–310|nb=yes}}</ref>、巨大な整数や多項式の高速な[[掛け算アルゴリズム]]（[[シェーンハーゲ・シュトラッセンのアルゴリズム]]）<ref>{{Harvard citations|last1 = Gasquet|last2 = Witomski|year=1999|loc=&sect;10.3|nb=yes}}</ref><ref>{{Harvard citations|last1=Schönhage|last2=Strassen|year=1971|nb=yes}}</ref>にも応用できる。

=== 微分幾何学 ===
{{Main|接空間}}
[[Image:Image Tangent-plane.svg|right|thumb|200px|[[二次元球面]]のある点における接空間とは、この点で球面に接する無限平面である。]]
曲面のある点における[[接平面]]は、自然に接点を原点と同一視したベクトル空間になる。接平面は接点における曲面の最適[[線型近似]]あるいは[[線型化]]である<ref group=nb>これは {{harv|BSE-3|2001}} が言うには、接点 {{mvar|P}} を通る平面であって、曲面上の点 {{math|''P''<sub>1</sub>}} とこの平面との距離が、曲面に沿って {{math|''P''<sub>1</sub>}} を {{mvar|P}} に近づけた極限での {{math|''P''<sub>1</sub>}} と {{mvar|P}} との距離よりも[[無限に小さい]]ようなものである。</ref>。三次元ユークリッド空間の場合でさえ、接平面の基底を指定する自然な方法は点綴的には存在せず、またそれゆえに接平面は、実数ベクトル空間というよりはむしろ抽象ベクトル空間として考えられる。'''接空間'''はより高次元の[[可微分多様体]]への一般化である<ref name="ReferenceB">{{Harvard citations|last = Spivak|year = 1999|loc = ch. 3|nb = yes}}</ref>。

[[リーマン多様体]]はその接空間が[[リーマン計量|適当な内積]]を備えた多様体である<ref>{{Harvard citations|last = Jost|year = 2005|nb = yes}}. [[ローレンツ多様体]]も参照。</ref>。そこから得られる[[リーマン曲率テンソル]]は、それ一つでその多様体の全ての[[曲率]]を表すことができるもので、[[一般相対論]]では例えば[[時空]]の質量とエネルギー定数を記述する[[アインシュタイン曲率テンソル]]などに応用がある<ref>{{Harvard citations|last1 = Misner|last2=Thorne|last3=Wheeler|year = 1973|loc = ch. 1.8.7, p. 222 and ch. 2.13.5, p. 325|nb = yes}}</ref><ref>{{Harvard citations|last = Jost|year = 2005|loc = ch. 3.1|nb = yes}}</ref>。[[リー群]]の接空間は自然に[[リー環]]の構造を持ち、[[コンパクトリー群]]の分類に用いることができる<ref>{{Harvard citations|last = Varadarajan|year = 1974|loc = ch. 4.3, Theorem 4.3.27|nb = yes}}</ref>。

== 一般化 ==
=== ベクトル束 ===
{{Main|ベクトル束|接束}}
[[Image:Moebiusstrip.png|thumb|249px|right|メビウスの帯。これは局所的には {{nowrap|{{math|''U'' &times; '''R'''}}}} に[[同相]]である。]]
'''ベクトル束'''は[[位相空間]] {{mvar|X}} によって連続的に径数付けられたベクトル空間の族である<ref name="ReferenceB"/>。より明確に言えば、{{mvar|X}} 上のベクトル束とは、位相空間 {{mvar|E}} であって、連続写像
: <math>\pi : E \to X</math>
を持ち、{{mvar|X}} の各点 {{mvar|x}} において[[ファイバー (数学)|ファイバー]] {{math|''V'' {{=}} ''π''<sup>&minus;1</sup>(''x'')}} がベクトル空間を成すようなものを言う。{{math|dim ''V'' {{=}} 1}} ならば[[線束]]という。任意のベクトル空間 {{mvar|V}} に対し、射影 {{math|''X'' &times; ''V'' → ''X''}} は直積 {{math|''X'' &times; ''V''}} を[[自明束|「自明な」ベクトル束]]にする。{{mvar|X}} 上のベクトル束は、[[局所的]]にはある（固定された）ベクトル空間 {{mvar|V}} と {{mvar|X}} との直積でなければならない。つまり、{{mvar|X}} の各点 {{mvar|x}} に対して {{mvar|x}} の適当な[[近傍 (位相空間論)|近傍]] {{mvar|U}} を選んで、{{mvar|π}} の {{math|''π''<sup>&minus;1</sup>(''U'')}} への制限が自明束 {{math|''U'' &times; ''V'' → ''U''}} に同型となるようにすることができる<ref group=nb>つまり、{{math|''π''<sup>&minus;1</sup>(''U'')}} から {{math|''V'' &times; ''U''}} への[[準同型]]で、その制限がファイバーの間の同型となるものが存在する。</ref>。これらの局所自明性にもかかわらず、ベクトル束は巨視的には（台となる位相空間 {{mvar|X}} の形に依存して）「捻じれ」ているのである。つまり、ベクトル束は自明束 {{nowrap|{{math|''X'' &times; ''V''}}}} （と大域的に同型）である必要はない。例えば、[[メビウスの帯]]は（円周を実数直線上の半開区間と同一視することによって）円周 {{math|''S''<sup>1</sup>}} 上の線束と見做すことができるが、しかしこれは[[円筒]] {{math|''S''<sup>1</sup> &times; '''R'''}} とは異なる。後者は[[向き付け可能多様体|向き付け可能]]だが、前者はそうではない<ref>{{Harvard citations|last = Kreyszig|year = 1991|nb = yes|loc=§34, p. 108}}</ref>。

ある種のベクトル束の性質は、台となる位相空間についての情報を提供する。例えば、[[接空間]]の集まりからなる[[接束]]は可微分多様体の点によって径数付けられる。
円周 {{math|''S''<sup>1</sup>}} の接束は、{{math|''S''<sup>1</sup>}} 上に大域的な非零[[ベクトル場]]が存在するから、大域的に {{math|''S''<sup>1</sup> &times; '''R'''}} に同型である<ref group=nb>{{math|''S''<sup>1</sup>}} の接束のような線束が自明となる必要十分条件は、至る所消えていない[[切断 (ファイバー束)|切断]]が存在することである（{{Harvard citations|last = Husemoller|year = 1994|nb = yes|loc=Corollary 8.3}} を参照）。接束の切断というのは、[[ベクトル場]]に他ならない。</ref>。対照的に、[[毛玉の定理]]により、[[二次元球面]] {{math|''S''<sup>2</sup>}} 上の接ベクトル場で至る所消えていない者は存在しない<ref>{{harvard citations|last1=Eisenberg|last2=Guy|year=1979|nb=yes}}</ref>。[[K理論|{{mvar|K}}-理論]]は同じ位相空間上の全てのベクトル束の同型類について研究するものである<ref>{{Harvard citations|last = Atiyah|year = 1989|nb = yes}}</ref>。深い位相的かつ幾何学的な観察に加えて、この理論には実有限次元[[多元体]]の分類（そのようなものは {{math|'''R''', '''C'''}} のほかは[[四元数]]体 {{math|'''H'''}} と[[八元数体]] {{math|'''O'''}} しかない）というような純代数学的な帰結も存在する（[[フルヴィッツの定理 (代数学)|フルヴィッツの定理]]を参照）。

可微分多様多の[[余接束]]は、多様体の各点において接空間の双対である[[余接空間]]が対応するベクトル束である。余接束の切断は[[微分一次形式]] (1-form) と呼ばれる。

=== 加群 ===
{{Main|環上の加群}}
ベクトル空間が体に対するものであるように、'''加群''' (''{{en|modules}}'') の概念は[[環 (数学)|環]]に対するものである。これはベクトル空間の公理において体 {{mvar|F}} とするところを環 {{mvar|R}} で置き換えることで得られる<ref>{{Harvard citations|last = Artin|year = 1991|nb = yes|loc=ch. 12}}</ref>。加群の理論はベクトル空間のそれと比べて（環の元に必ずしも[[乗法逆元]]が存在しないことで）より複雑なものになっている。例えば加群は、{{math|'''Z'''}}-加群（つまり[[アーベル群]]）としての {{math|'''Z'''/2'''Z'''}} のように、必ずしも基底を持たない。基底を持つような加群（ベクトル空間もそう）は[[自由加群]]と呼ばれる。にも拘わらすベクトル空間は、係数環が[[体 (数学)|体]]であるような加群として簡単に定義することができて、その元をベクトルと呼ぶ。可換環の代数幾何学的解釈は、それらの[[環のスペクトル|スペクトル]]を通じて、[[ベクトル束]]の代数的な対応物である[[局所自由加群]]の概念などを展開することを可能にする。

=== アフィン空間および射影空間 ===
{{Main|アフィン空間|射影空間}}
[[Image:Affine subspace.svg|thumb|right|200px|{{math|'''R'''<sup>3</sup>}} 内の[[アフィン平面]] (<span style="color:#2222DD">水色</span>): これは二次元の線型部分空間をベクトル {{math|'''x'''}} (<span style="color:#FF0000">赤</span>) でずらしたものである。]] 
大雑把に言うと、'''アフィン空間''' ({{en|''affine space''}} ) というのはベクトル空間からその原点をわからなくしたものである<ref>{{Harvard citations|last = Meyer|year = 2000|nb = yes|loc=Example 5.13.5, p. 436}}</ref>。より正確には、アフィン空間とは[[推移的群作用|自由かつ推移的な]]ベクトル空間の[[群作用|作用]]を備えた集合を言う。特にベクトル空間は、写像
:<math>V \times V \to V,\, (\mathbf{v}, \mathbf{a}) \mapsto \mathbf{a} + \mathbf{v}</math>
を考えることによって、自身の上のアフィン空間となる。{{mvar|W}} をベクトル空間とするとき、{{mvar|W}} のアフィン部分空間とは、固定したベクトル {{nowrap|{{math|'''x''' ∈ ''W''}}}} によって線型部分空間 {{mvar|V}} を平行移動することによって得られるものを言う。この空間は {{math|'''x''' + ''V''}}（{{mvar|V}} による {{mvar|W}} の[[剰余類]]）であり、{{nowrap|{{math|'''v''' ∈ ''V''}}}} に対する {{nowrap|{{math|'''x''' + '''v'''}}}} の形のベクトル全てからなる。重要な例は、非斉次の線型方程式系
:<math>A\mathbf{x} = \mathbf{b}</math>
の解空間である。これは斉次の場合、つまり {{nowrap begin}}{{math|'''b''' {{=}} 0}}{{nowrap end}} の場合を一般化するものである<ref>{{Harvard citations|last = Meyer|year = 2000|nb = yes|loc=Exercise 5.13.15–17, p. 442}}</ref>。この解空間は、方程式の特殊解 {{mvar|x}} と、付随する斉次方程式の解空間（つまり {{mvar|A}} の[[核空間]]）{{mvar|V}} に対するアフィン部分空間 {{math|'''x''' + ''V''}} である。

固定された有限次元ベクトル空間 {{mvar|V}} の一次元線型部分空間全体の成す集合は'''射影空間'''と呼ばれる。これは[[平行線]]が無限遠において交わるという概念の定式化に用いられる<ref>{{Harvard citations|last = Coxeter|year = 1987|nb = yes}}</ref>。[[グラスマン多様体]]および[[旗多様体]]はそれぞれ、決まった次元 {{mvar|k}} の線型部分空間および[[旗 (線型代数学)|旗]]を径数付けることによる、射影空間の概念の一般化である。

=== 凸解析 ===
{{details|凸解析}}
[[File:2D-simplex.svg|thumb|{{mvar|n}}-次元単体は標準凸集合で、任意の多面体へ写り、また、標準 {{nowrap|{{math|(''n'' + 1)}}}}-次元アフィン超平面（標準アフィン空間）と標準 {{nowrap|{{math|(''n'' + 1)}}}}-次元象限（標準錐体）との交わりになっている。]]
[[順序体]]（特に実数体）上で、[[凸解析]]の概念を考えることができる。最も基本的なものは、'''非負'''線型結合全体からなる[[錐体 (線型代数学)|錐]]、および和が {{math|1}} となる非負線型結合全体からなる[[凸集合]]である。凸集合はアフィン空間の公理と錐体の公理を組み合わせたものとして見ることができ、これは凸集合の標準空間である {{mvar|n}}-単体が[[アフィン超平面]]と[[高次元象限|象限]]との交わりであることを反映したものになっている。このような空間は特に[[線型計画問題]]において用いられる。

[[普遍代数学]]の言葉で言えば、ベクトル空間はベクトルの有限和に対応する係数の有限列全体の成す普遍ベクトル空間 {{math|''K''<sup>∞</sup>}} 上の代数であるが、一方アフィン空間はここでいう（和が {{math|1}} の有限列全体の成す）普遍アフィン超平面上の代数であり、また錐体は普遍象限上の代数、凸集合は普遍単体上の代数である。これは、「座標に対する（可能な）制限和」を用いて公理を幾何化したものである。

線型代数学における多くの概念は凸解析における対応する概念があって、基本的なものとしては基底や（[[凸包]]のような形での）生成概念など、また重要なものとしては（[[双対多角形]]、[[双対錐体]]、[[双対問題]]のような）双対性などが含まれる。しかし線型代数学において任意のベクトル空間やアフィン空間が標準空間に同型となるのとは異なり、任意の凸集合や錐体が単体や象限に同型となるわけではない。むしろ単体から多面体の'''上へ'''の写像が[[一般化された重心座標系]]によって常に存在し、またその双対写像として多面体から（面の数と等しい次元の）象限の中への写像が[[スラック変数]]によって存在するが、これらが同型となることは稀である（殆どの多面体は単体でも象限でもない）。

== 関連項目 ==
* [[線型代数学]]
* [[直交座標系]]
* [[空間ベクトル]]: 物理学におけるベクトル
* [[双曲ベクトル空間]] (Gyrovector space)
* [[次数付き線型空間]]
* [[距離空間]]
* [[Pベクトル]]（多重ベクトル）
* [[リース・フィッシャーの定理]]
* {{仮リンク|ベクトル空間代数|en|Vector spaces without fields}}: 体の概念を予め要求せずにベクトル空間を定義する、ベクトル空間の抽象代数学的取扱い。
* [[空間 (数学)]]

== 注釈 ==
{{reflist|group=nb|3}}

== 出典 ==
{{reflist|colwidth=20em}}

== 参考文献 ==
=== 線型代数学に関するもの ===
* {{Citation | last1=Artin | first1=Michael | author1-link=Michael Artin | title=Algebra | publisher=[[Prentice Hall]] | isbn=978-0-89871-510-1 | year=1991}}
* {{Citation | last1=Blass | first1=Andreas | title=Axiomatic set theory (Boulder, Colorado, 1983) | publisher=[[American Mathematical Society]] | location=Providence, R.I. | series=Contemporary Mathematics | mr=763890 | year=1984 | volume=31 | chapter=Existence of bases implies the axiom of choice | pages=31–33}}
* {{Citation | last1=Brown | first1=William A. | title=Matrices and vector spaces | publisher=M. Dekker | location=New York | isbn=978-0-8247-8419-5 | year=1991}}
* {{Citation | last1=Lang | first1=Serge | author1-link=Serge Lang | title=Linear algebra | publisher=[[Springer-Verlag]] | location=Berlin, New York | isbn=978-0-387-96412-6 | year=1987}}
* {{Lang Algebra}}
* {{Citation | last1=Mac Lane | first1=Saunders | author1-link=Saunders Mac Lane | title=Algebra | edition=3rd | pages=193–222 | isbn=0-8218-1646-2 | year=1999}}
* {{Citation | last1=Meyer | first1=Carl D. | title=Matrix Analysis and Applied Linear Algebra | url=http://www.matrixanalysis.com/ | publisher=[[Society for Industrial and Applied Mathematics|SIAM]] | isbn=978-0-89871-454-8 | year=2000}}
* {{Citation | last1=Roman | first1=Steven | title=Advanced Linear Algebra | publisher=[[Springer-Verlag]] | location=Berlin, New York | edition=2nd | series=Graduate Texts in Mathematics | isbn=978-0-387-24766-3 | year=2005 | volume=135}}
* {{Citation | last1=Spindler | first1=Karlheinz | title=Abstract Algebra with Applications: Volume 1: Vector spaces and groups
 | publisher=CRC | isbn=978-0-8247-9144-5 | year=1993}}
* {{de icon}} {{Citation | last1=van der Waerden | first1=Bartel Leendert | author1-link=Bartel Leendert van der Waerden | title=Algebra | publisher=[[Springer-Verlag]] | location=Berlin, New York | edition=9th | isbn=978-3-540-56799-8 | year=1993}}

=== 解析学に関するもの ===
* {{Citation | last1=Bourbaki | first1=Nicolas | author1-link=Nicolas Bourbaki | title=Topological vector spaces | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Elements of mathematics | isbn=978-3-540-13627-9 | year=1987}}
* {{Citation | last1=Bourbaki | first1=Nicolas | author1-link=Nicolas Bourbaki | title=Integration I | publisher=[[Springer-Verlag]] | location=Berlin, New York | isbn=978-3-540-41129-1 | year=2004}}
* {{Citation | last1=Braun | first1=Martin | title=Differential equations and their applications: an introduction to applied mathematics | publisher=[[Springer-Verlag]] | location=Berlin, New York | isbn=978-0-387-97894-9 | year=1993}}
* {{springer|last=BSE-3|title=Tangent plane|id=T/t092180}}
* {{Citation | last1=Choquet | first1=Gustave | author1-link=Gustave Choquet | title=Topology | publisher=[[Academic Press]] | location=Boston, MA | year=1966}}
* {{Citation | last1=Dennery | first1=Philippe | last2=Krzywicki | first2=Andre | title=Mathematics for Physicists | publisher=Courier Dover Publications | isbn=978-0-486-69193-0 | year=1996}}
* {{Citation | last1=Dudley | first1=Richard M. | title=Real analysis and probability | publisher=Wadsworth & Brooks/Cole Advanced Books & Software | location=Pacific Grove, CA | series=The Wadsworth &amp; Brooks/Cole Mathematics Series | isbn=978-0-534-10050-6 | year=1989}}
* {{Citation | last1=Dunham | first1=William | title=The Calculus Gallery | publisher=[[Princeton University Press]] | isbn=978-0-691-09565-3 | year=2005}}
* {{Citation | last1=Evans | first1=Lawrence C. | title=Partial differential equations | publisher=[[American Mathematical Society]] | location=Providence, R.I. | isbn=978-0-8218-0772-9 | year=1998}}
* {{Citation | last1=Folland | first1=Gerald B. | title=Fourier Analysis and Its Applications | publisher=Brooks-Cole | isbn=978-0-534-17094-3 | year=1992}}
* {{Citation | last = Gasquet | first = Claude | last2 = Witomski | first2 = Patrick | publication-date = 1999 | title = Fourier Analysis and Applications: Filtering, Numerical Computation, Wavelets | series = Texts in Applied Mathematics | publication-place = New York | publisher = Springer-Verlag | isbn = 0-387-98485-2 | year = 1999}}
* {{Citation | last = Ifeachor | first = Emmanuel C. | last2 = Jervis | first2 = Barrie W. | publication-date = 2002 | title = Digital Signal Processing: A Practical Approach | edition = 2nd | publication-place = Harlow, Essex, England | publisher = Prentice-Hall | isbn = 0-201-59619-9 | year = 2001}}
* {{Citation | last = Krantz | first = Steven G. | publication-date = 1999 | title = A Panorama of Harmonic Analysis | series = Carus Mathematical Monographs | publication-place = Washington, DC | publisher = Mathematical Association of America | isbn = 0-88385-031-1 | year = 1999}}
* {{Citation | last = Kreyszig | first = Erwin | author-link = Erwin Kreyszig | publication-date = 1988 | title = Advanced Engineering Mathematics | edition = 6th | publication-place = New York | publisher = John Wiley & Sons | isbn = 0-471-85824-2 | year = 1988}}
*{{Citation | last1=Kreyszig | first1=Erwin | author1-link=Erwin Kreyszig | title=Introductory functional analysis with applications | publisher=[[John Wiley & Sons]] | location=New York | series=Wiley Classics Library | isbn=978-0-471-50459-7 | mr=992618 | year=1989}}
* {{Citation | last1=Lang | first1=Serge | author1-link=Serge Lang | title=Real analysis | publisher=[[Addison-Wesley]] | isbn=978-0-201-14179-5 | year=1983}}
* {{Citation | last1=Lang | first1=Serge | author1-link=Serge Lang | title=Real and functional analysis | publisher=[[Springer-Verlag]] | location=Berlin, New York | isbn=978-0-387-94001-4 | year=1993}}
* {{Citation | last1=Loomis | first1=Lynn H. | title=An introduction to abstract harmonic analysis | publisher=D. Van Nostrand Company, Inc. | location=Toronto-New York–London | year=1953 | pages=x+190}}
* {{Citation | author1-link = Helmut Schaefer | last1=Schaefer | first1=Helmut H. | last2=Wolff | first2=M.P. | title=Topological vector spaces | publisher=[[Springer-Verlag]] | location=Berlin, New York | edition=2nd | isbn=978-0-387-98726-2 | year=1999}}
* {{Citation | last1=Treves | first1=François | title=Topological vector spaces, distributions and kernels | publisher=[[Academic Press]] | location=Boston, MA | year=1967}}

=== 歴史に関するもの ===
* {{fr icon}} {{Citation | last1=Banach | first1=Stefan | author1-link=Stefan Banach | title=Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales (On operations in abstract sets and their application to integral equations) | url=http://matwbn.icm.edu.pl/ksiazki/fm/fm3/fm3120.pdf | year=1922 | journal=[[Fundamenta Mathematicae]] | issn=0016-2736 | volume=3}}
* {{de icon}} {{Citation | last1=Bolzano | first1=Bernard | author1-link=Bernard Bolzano | title=Betrachtungen über einige Gegenstände der Elementargeometrie (Considerations of some aspects of elementary geometry) | url=http://dml.cz/handle/10338.dmlcz/400338 | year=1804}}
* {{fr icon}} {{Citation | last1=Bourbaki | first1=Nicolas | author1-link=Nicolas Bourbaki | title=Éléments d'histoire des mathématiques (Elements of history of mathematics) | publisher=Hermann | location=Paris | year=1969}}
* {{Citation | last1=Dorier | first1=Jean-Luc | title=A general outline of the genesis of vector space theory | url=http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B6WG9-45NJHDR-C&_user=1634520&_coverDate=12%2F31%2F1995&_rdoc=2&_fmt=high&_orig=browse&_srch=doc-info(%23toc%236817%231995%23999779996%23308480%23FLP%23display%23Volume)&_cdi=6817&_sort=d&_docanchor=&_ct=9&_acct=C000054038&_version=1&_urlVersion=0&_userid=1634520&md5=fd995fe2dd19abde0c081f1e989af006 | mr=1347828 | year=1995 | journal=[[Historia Mathematica]] | volume=22 | issue=3 | pages=227–261 | doi=10.1006/hmat.1995.1024}}
* {{fr icon}} {{Citation | last1=Fourier | first1=Jean Baptiste Joseph | author1-link=Joseph Fourier | title=Théorie analytique de la chaleur | url=http://books.google.com/?id=TDQJAAAAIAAJ | publisher=Chez Firmin Didot, père et fils | year=1822}}
* {{de icon}} {{Citation | last1=Grassmann | first1=Hermann | author1-link=Hermann Grassmann | title=Die Lineale Ausdehnungslehre - Ein neuer Zweig der Mathematik | url=http://books.google.com/?id=bKgAAAAAMAAJ&pg=PA1&dq=Die+Lineale+Ausdehnungslehre+ein+neuer+Zweig+der+Mathematik | year=1844 | publisher=O. Wigand}}, reprint: {{Citation | title=Extension Theory | publisher=[[American Mathematical Society]] | location=Providence, R.I. | isbn=978-0-8218-2031-5 | year=2000 | author=Hermann Grassmann. Translated by Lloyd C. Kannenberg. | editor1-last=Kannenberg | editor1-first=L.C.}}
* {{Citation | last1=Hamilton | first1=William Rowan | author1-link=William Rowan Hamilton | title=Lectures on Quaternions | url=http://historical.library.cornell.edu/cgi-bin/cul.math/docviewer?did=05230001&seq=9 | publisher=Royal Irish Academy | year=1853}}
* {{de icon}} {{Citation | last1=Möbius | first1=August Ferdinand | author1-link=August Ferdinand Möbius | title=Der Barycentrische Calcul : ein neues Hülfsmittel zur analytischen Behandlung der Geometrie (Barycentric calculus: a new utility for an analytic treatment of geometry) | url=http://mathdoc.emath.fr/cgi-bin/oeitem?id=OE_MOBIUS__1_1_0 | year=1827}}
* {{Citation | last1=Moore | first1=Gregory H. | title=The axiomatization of linear algebra: 1875–1940 | url=http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B6WG9-45NJHDR-D&_user=1634520&_coverDate=12%2F31%2F1995&_rdoc=3&_fmt=high&_orig=browse&_srch=doc-info(%23toc%236817%231995%23999779996%23308480%23FLP%23display%23Volume)&_cdi=6817&_sort=d&_docanchor=&_ct=9&_acct=C000054038&_version=1&_urlVersion=0&_userid=1634520&md5=4327258ef37b4c293b560238058e21ad | year=1995 | journal=[[Historia Mathematica]] | volume=22 | issue=3 | pages=262–303 | doi=10.1006/hmat.1995.1025}}
* {{it icon}} {{Citation | last1=Peano | first1=Giuseppe | author1-link=Giuseppe Peano | title=Calcolo Geometrico secondo l'Ausdehnungslehre di H. Grassmann preceduto dalle Operazioni della Logica Deduttiva | year=1888 | location=Turin}}

=== 発展的話題に関するもの ===
* {{Citation | last1=Ashcroft | first1=Neil | last2=Mermin | first2=N. David | author2-link=Mermin | title=Solid State Physics | publisher=Thomson Learning | location=Toronto | isbn=978-0-03-083993-1 | year=1976}}
* {{Citation | last1=Atiyah | first1=Michael Francis | author1-link=Michael Atiyah | title=K-theory | publisher=[[Addison-Wesley]] | edition=2nd | series=Advanced Book Classics | isbn=978-0-201-09394-0 | mr=1043170 | year=1989}}
* {{Citation | last1=Bourbaki | first1=Nicolas | author1-link=Nicolas Bourbaki | title=Elements of Mathematics : Algebra I Chapters 1-3 | publisher=[[Springer-Verlag]] | location=Berlin, New York | isbn=978-3-540-64243-5 | year=1998}}
* {{Citation | last1=Bourbaki | first1=Nicolas | author1-link=Nicolas Bourbaki | title=General Topology. Chapters 1-4 | publisher=[[Springer-Verlag]] | location=Berlin, New York | isbn=978-3-540-64241-1 | year=1989}}
* {{Citation | last1=Coxeter | first1=Harold Scott MacDonald | author1-link=Harold Scott MacDonald Coxeter | title=Projective Geometry | publisher=[[Springer-Verlag]] | location=Berlin, New York | edition=2nd | isbn=978-0-387-96532-1 | year=1987}}
* {{Citation | last1=Eisenberg | first1=Murray | last2=Guy | first2=Robert | title=A proof of the hairy ball theorem | year=1979 | journal=[[American Mathematical Monthly|The American Mathematical Monthly]] | volume=86 | issue=7 | pages=572–574 | doi=10.2307/2320587 | jstor=2320587 | publisher=Mathematical Association of America}}
* {{Citation | last1=Eisenbud | first1=David | author1-link=David Eisenbud | title=Commutative algebra | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Graduate Texts in Mathematics | isbn=978-0-387-94268-1; 978-0-387-94269-8 | mr=1322960 | year=1995 | volume=150}}
* {{Citation | last1=Goldrei | first1=Derek | title=Classic Set Theory: A guided independent study | publisher=[[Chapman and Hall]] | location=London | edition=1st | isbn=0-412-60610-0 | year=1996}}
* {{Citation | last=Griffiths | first=David J. |title=Introduction to Quantum Mechanics | year=1995 |publisher=[[Prentice Hall]] |location=Upper Saddle River, NJ |isbn=0-13-124405-1}}
* {{Citation | last1=Halmos | first1=Paul R. | author1-link=Paul R. Halmos | title=Finite-dimensional vector spaces | publisher=[[Springer-Verlag]] | location=Berlin, New York | isbn=978-0-387-90093-3 | year=1974}}
* {{Citation | last1=Halpern | first1=James D. | title=Bases in Vector Spaces and the Axiom of Choice | year=1966 | month=Jun | journal=Proceedings of the American Mathematical Society | volume=17 | issue=3 | pages=670–673 | doi=10.2307/2035388 | jstor=2035388 | publisher=American Mathematical Society}}
* {{Citation | last1=Husemoller | first1=Dale | title=Fibre Bundles | publisher=[[Springer-Verlag]] | location=Berlin, New York | edition=3rd | isbn=978-0-387-94087-8 | year=1994}}
* {{Citation | last1=Jost | first1=Jürgen | title=Riemannian Geometry and Geometric Analysis | publisher=[[Springer-Verlag]] | location=Berlin, New York | edition=4th | isbn=978-3-540-25907-7 | year=2005}}
* {{Citation | last1=Kreyszig | first1=Erwin | author1-link=Erwin Kreyszig | title=Differential geometry | publisher=[[Dover Publications]] | location=New York | isbn=978-0-486-66721-8 | year=1991 | pages=xiv+352}}
* {{Citation |last=Kreyszig |first=Erwin |title=Advanced Engineering Mathematics |edition=8th |year=1999 |publisher=[[John Wiley & Sons]] | location=New York |isbn=0-471-15496-2}}
* {{Citation | last1=Luenberger | first1=David | title=Optimization by vector space methods | publisher=[[John Wiley & Sons]] | location=New York | isbn=978-0-471-18117-0 | year=1997}}
* {{Citation | last1=Mac Lane | first1=Saunders | author1-link=Saunders Mac Lane | title=[[Categories for the Working Mathematician]] | publisher=[[Springer-Verlag]] | location=Berlin, New York | edition=2nd | isbn=978-0-387-98403-2 | year=1998}}
* {{Citation | last1=Misner | first1=Charles W. | author1-link=Charles W. Misner | last2=Thorne | first2=Kip | author2-link=Kip Thorne | last3=Wheeler | first3=John Archibald | author3-link=John Archibald Wheeler | title=[[Gravitation (book)|Gravitation]] | publisher=W. H. Freeman | isbn=978-0-7167-0344-0 | year=1973}}
* {{Citation | last1=Naber | first1=Gregory L. | title=The geometry of Minkowski spacetime | publisher=[[Dover Publications]] | location=New York | isbn=978-0-486-43235-9 | mr=2044239 | year=2003}}
* {{de icon}} {{Citation | last1=Schönhage | first1=A. | author1-link=Arnold Schönhage | last2=Strassen | first2=Volker | author2-link=Volker Strassen | title=Schnelle Multiplikation großer Zahlen (Fast multiplication of big numbers) | url=http://www.springerlink.com/content/y251407745475773/fulltext.pdf | year=1971 | journal=Computing | issn=0010-485X | volume=7 | pages=281–292}}
* {{Citation | last1=Spivak | first1=Michael | author1-link=Michael Spivak | title=A Comprehensive Introduction to Differential Geometry (Volume Two) | publisher=Publish or Perish | location=Houston, TX | year=1999}}
* {{Citation | last1=Stewart | first1=Ian | authorlink=Ian Stewart (mathematician) | title=Galois Theory | year=1975 | publisher=[[Chapman and Hall]] | isbn=0-412-10800-3 | location=London | series=[[Chapman and Hall]] Mathematics Series }}
* {{Citation | last1=Varadarajan | first1=V. S. | title=Lie groups, Lie algebras, and their representations | publisher=[[Prentice Hall]] | isbn=978-0-13-535732-3 | year=1974}}
* {{Citation | last1=Wallace | first1=G.K. | title=The JPEG still picture compression standard | year=Feb 1992 | journal=IEEE Transactions on Consumer Electronics | issn=0098-3063 | volume=38 | issue=1 | pages=xviii–xxxiv}}
* {{Weibel IHA}}

== 外部リンク ==
* {{MathWorld|urlname=VectorSpace|title=Vector Space}}
* {{PlanetMath|urlname=VectorSpace|title=vector space}}
* [http://ocw.mit.edu/courses/mathematics/18-06-linear-algebra-spring-2010/video-lectures/lecture-9-independence-basis-and-dimension/ A lecture] about fundamental concepts related to vector spaces (given at [[MIT]])
* [http://code.google.com/p/esla/ A graphical simulator] for the concepts of span, linear dependency, base and dimension

{{DEFAULTSORT:へくとるくうかん}}
[[Category:線型代数学]]
[[Category:代数的構造]]
[[Category:数学に関する記事]]

{{Link FA|ca}}
{{Link GA|en}}