サムネイル|集合をベクトル空間たらしめる2つの性質：加法則・スカラー倍則 は加法と体の元によるスカラー乗法を備えた集合で、を満たすものであるp.152 より引用。。、線型空間とも。
概要 ベクトル空間は数学、特に線型代数学における概念である。ベクトルにはが定義され、またスカラーと呼ばれる数との乗法（、スカラー乗法）を行える。スカラーは実数とすることも多いが、複素数や有理数あるいは一般の可換体の元によるスカラー乗法を持つベクトル空間もある。ベクトルの加法とスカラー乗法の演算は、「ベクトル空間の公理」と呼ばれる特定の条件（#定義節を参照）を満足するものでなければならない。ベクトル空間の一つの例は、力のような物理量を表現するのに用いられる空間ベクトルの全体である（同じ種類の任意の二つの力は、加え合わせて力の合成と呼ばれる第三の力のベクトルを与える。また、力のベクトルを実数倍したものはまた別の力のベクトルを表す）。同じ調子で、平面や空間での変位を表すベクトルの全体もやはりベクトル空間を成す。
ベクトル空間は線型代数学における主題であり、ベクトル空間はその次元（大雑把にいえばその空間の独立な方向の数を決めるもの）によって特徴づけられる。ベクトル空間は、さらにノルムや内積などの追加の構造を持つこともあり、そのようなベクトル空間は解析学において主に関数をベクトルとする無限次元の関数空間の形で自然に生じてくる。解析学的な問題では、ベクトルの列が与えられたベクトルに収束するか否かを決定することもできなければならないが、これはベクトル空傍間に追加の構造を考えることで実現される。そのような空間のほとんどは適当な位相空間を備えており、それによって近傍や連続といったことを考えることができる。こういた線型位相空間、特にバナッハ空間やヒルベルト空間については、豊かな理論が存在する。
歴史的な視点では、ベクトル空間の概念の萌芽は17世紀の解析幾何学、行列、線型方程式系の理論、ベクトルの概念などにまで遡れる。現代的な、より抽象的な取扱いが初めて定式化されるのは、19世紀後半、ペアノによるもので、それはユークリッド空間よりも一般の対象が範疇に含まれるものであったが、理論の大半は（直線や平面あるいはそれらの高次元での対応物といったような）古典的な幾何学的概念を拡張することに割かれていた。
今日では、ベクトル空間は数学のみならず科学や工学においても広く応用される。ベクトル空間は線型方程式系を扱うための適当な概念であり、例えば画像圧縮ルーチンで使われるフーリエ級数のための枠組みを提示したり、あるいは偏微分方程式の解法に用いることのできる環境を提供する。さらには、テンソルのような幾何学的および物理学的な対象を、抽象的に座標に依らない () で扱う方法を与えてくれるので、そこからさらに線型化の手法を用いて、多様体の局所的性質を説明することもできるようになる。
ベクトル空間の概念は様々な方法で一般化され、幾何学や抽象代数学のより進んだ概念が導かれる。
平面やより高次の空間におけるベクトルには、直観的に、近さや角度や距離という概念が存在する。しかし、一般的なベクトル空間においてはそれらの概念は不要であり、実際、そういうものが存在しないベクトル空間もある。これらの概念は、一般的なベクトル空間に追加的に定義される構造である (#付加構造を備えたベクトル空間)。
導入 ベクトル空間の概念について、特定の二つの場合を例にとって簡単に内容を説明する。 平面上の有向線分 ベクトル空間の簡単な例は、一つの平面上の固定した点を始点とする矢印（有向線分）全ての成す集合で与えられる。これは物理学で力や速度などを記述するのにもつかわれる。そのような有向線分 と が与えられたとき、その二つの有向線分が張る平行四辺形にはその対角線にもう一つ、原点を始点とする有向線分が含まれる。この新しい有向線分を、二つの有向線分の和 と呼ぶ。もう一つの演算は有向線分を伸び縮み（スケール因子）させるもので、任意の正の実数 が与えられたとき、 と向きは同じで長さだけを の分だけ拡大 () または縮小 () した有向線分を、 の -倍 と言う。 が負のときは を今度は逆方向に伸び縮みさせることで同様に定める。
いくつか実際に図示すれば、例えば のとき、得られるベクトル は と同方向で長さが の二倍のベクトル (下図、右の赤) であり、この は和 とも等しい。さらに は と同じ長さで向きだけが と逆になる (下図、右の青)。
数の順序対 もう一つ重要な例は、実数 の対によって与えられる（ と の対は並べる順番が重要であり、そのような対を順序対という）。この対を と書く。そのような対ふたつの和および実数倍は
および
で定義される。
定義との対応付け 始点を固定した有向平面線分の全体や実数の順序対の全体の成す集合をベクトル空間の例として挙げたが、これらはともに実数体（実数全体からなる体）上のベクトル空間である。定義節で述べられる公理系はこのようなベクトルの性質を一般化したものである。実際、二番目の例で二つの順序対の和は、和をとる順番に依らず
を満たす。有向線分の例でも となることは、和を定義する平行四辺形が和の順番に依存しないことから言える。他の公理も同様の方法で満たすことがどちらの例についてもいえる。故に、特定の種類のベクトルが持つ具体的な特質というものは無視し、先の二つあるいはもっとほかの例もひっくるめて、ベクトル空間という一つの概念として扱うのである。
定義 を空でない集合、 を体、 を の乗法単位元、 を二項演算、 を作用とする。任意の が次の条件、
を満たすとき、三つ組 は 上のベクトル空間 ()、-ベクトル空間 ()である“ベクトル空間とは、集合 と次の公理 (A1)-(A4) と (M1)-(M4) を満たす写像 , からなる三組 である。” 。
このとき は、 は（）、 は零ベクトル、 はスカラーあるいは係数、 は加法、 は の元による、条件全体はと呼ばれる。
加法とスカラー乗法は二項演算の定義より閉性を満たす（ ）。これを公理系へ加える文献もある。
抽象代数学による定義 抽象代数学の言葉で言えば、先の公理系の最初の四つは「ベクトルの全体が加法に関してアーベル群を成す」という条件にまとめられる。残りの条件は「この群が 上の加群となる」という条件にまとめられる。あるいはこれを「体 からベクトル全体の成す群の自己準同型環への環準同型 が存在すること」と言い換えることもできる。この場合スカラー乗法は で定められる. ブルバキは群準同型 を「相似」( ) と総称している。。
記法 ここではベクトルをスカラーから区別するために、ベクトルは太字で表す。あるいは、特に物理学で、矢印を上に載せる記法も広く用いられる。「ベクトルをラテンアルファベットで表し、スカラーはグリークアルファベット（ギリシャ文字）で表す」などの流儀や、場合によってはまったく文字種の区別をしないこともある。
歴史 ベクトル空間は、平面や空間に座標系を導入することを通じて、アフィン空間から生じる。1636年ごろ、ルネ・デカルトとピエール・ド・フェルマーは、二変数の方程式の解と平面曲線上の点とを等化して、解析幾何学を発見した。座標を用いない幾何学的な解に到達するために、ベルナルト・ボルツァーノは1804年に、点同士および点と直線の間の演算を導入した。これはベクトルの前身となる概念である。ボルツァーノの研究はアウグスト・フェルディナント・メビウスが1827年に提唱した () の概念を用いて構築されたものであった。ベクトルの定義の基礎となったのは、の双点 () の概念で、これは一方の端点を始点、他方の端点を終点とする有向線分である。ベクトルは、とウィリアム・ローワン・ハミルトンにより複素数の表現として見直され、後の四元数やの概念へと繋がっていく。これらの数はそれぞれ の元であり、これらに対する線型結合を用いた取扱いは、1867年の（彼は線型方程式系も定義した）まで遡れる。
1857年にアーサー・ケイリーは、線型写像とよく馴染み記述を簡素化できる、行列を導入した。同じ頃、ヘルマン・グラスマンはメビウスの「重心計算」 () を研究していて、算法を伴う抽象的対象の成す集合を構想していた。グラスマンの研究には、線型独立や次元あるいはドット積などの概念が含まれている。実際、グラスマンは1844年に、考案した乗法を以ってベクトル空間の枠組みを推し進め、今日では「体上の多元環」と呼ばれる概念に到達している。ジュゼッペ・ペアノはベクトル空間と線型写像の現代的な定義を与えた最初の人で、それは1888年のことである。
ベクトル空間の重要な発展がアンリ・ルベーグによる函数空間の構成によって起こり、後の1920年ごろにステファン・バナフとダフィット・ヒルベルトによって定式化された。その当時、代数学と新しい研究分野であった関数解析学とが相互に影響し始め、 -乗可積分函数の空間 やヒルベルト空間などの重要な概念が生み出されることとなる; 。そうして無限次元の場合をも含むベクトル空間の概念は堅く確立されたものとなり、多くの数学分野において用いられ始めた。
例 数ベクトル空間 体 上のベクトル空間のもっとも簡単な例は体 自身（に、その標準的な加法と乗法を考えたもの）である。これはふつう と書かれる数ベクトル空間 ( ) の の場合である。この数ベクトル空間の元は （長さ の数列）:
で、各 が の元であるようなものである。 かつ の場合が上記の#導入節で論じたものとなる。
体の拡大 複素数全体の成す集合 , つまり実数 を用いて の形に表すことができる数（ただし、 は虚数単位）の全体は、 は何れも実数であるものとして、通常の和 と実数倍 によって、実数体上のベクトル空間になる（ベクトル空間の公理は複素数の算術が同じ規則を満足するという事実から従う）。
実は、この複素数体の例は本質的には（つまり、同型の意味で）導入節に挙げた実数の順序対の成すベクトル空間の例と同じものである。即ち、複素数 を複素平面 において順序対 を表すものと考えると、複素数体における和とスカラーとの積の規則が、先の例のそれらに対応することが理解される。
より一般に、代数学および代数的整数論における体の拡大は、ベクトル空間の例の一類を与える。即ち、体 を部分体として含む体 は、 における加法と の元の における乗法とに関して -ベクトル空間になる。例えば、複素数体は 上のベクトル空間であり、拡大体 は 上のベクトル空間である。特に数論的に意味のある例は、有理数体 に一つの代数的複素数 を添加する拡大（代数体） である（ は と とを含む最小の体になる）。
函数空間 任意の一つの集合 から体 への函数全体もまた、よくある点ごとの和とスカラー倍によって、ベクトル空間を成す。即ち、二つの函数 の和 は
で定義される函数であり、スカラー倍も同様である。そのような函数空間は多くの幾何学的状況で生じる。例えば が実数直線 やその区間あるいは の他の部分集合などのときである。位相空間論や解析学における多くの概念、例えば連続性、可積分性や可微分性などは、線型性に関してよく振る舞う。即ち、そのような性質を満たす函数の加算やスカラー倍もまた同じ性質を持つ例えば 。従って、そのような函数全体の成す集合もまたそれぞれベクトル空間を成す。これら函数空間は、函数解析学の方法を用いてかなり詳しく調べられている（#付加構造を備えたベクトル空間節を参照）。代数学的な制約からもベクトル空間を得ることができる。ベクトル空間 は多項式函数
（ただし各係数 は の元）の全体によって与えられる。
線型方程式の解空間
斉次線型方程式系はベクトル空間と近しい関係にある。例えば方程式系
| style="text-align:right;"|
| style="text-align:right;"|
の解の全体は、任意の に対して の三つ組として与えられる。これらの三つ組の成分ごとの加算とスカラー倍はやはり同じ比を持つ三つの変数の組であるから、これも解となり、解の全体はベクトル空間を成す。行列を使えば上記の複数の線型方程式を簡略化して一つのベクトル方程式、つまり
にすることができる。ここで は与えられた方程式の係数を含む行列、 はベクトル であり、 は行列の乗法を、 は零ベクトルをそれぞれ意味する。同様の文脈で、斉次の線型微分方程式の解の全体もまたベクトル空間を成す。例えば、
を解けば、 を任意の定数として が得られる。ただし は指数函数である。
性質 ベクトル空間の公理系から直接的に分かることがいくつかある。それらのうちのいくつかは群論をベクトル全体の成す加法群に適用することで得られる。例えば の零ベクトル や各元 に加法逆元 が一意に存在することなどはそれである。その方法で得られない性質は分配法則から来るもので、例えば または などがそうである。
クラス ベクトル空間はいくつかのクラスに分類できる。
有限次元ベクトル空間（有限ベクトル空間）: 有限個のベクトルの組で生成される、あるいは である、ベクトル空間“ベクトル空間 V が V の有限個のベクトルの組で生成されるか, または のとき, V は 有限次元 (又は有限生成) であるといい” 無限次元ベクトル空間: 有限次元ベクトル空間の定義を満たさないベクトル空間“有限次元 ... そうでないとき 無限次元 であるという” ベクトル空間は係数体の種類に基づき次のように呼ばれる文献によっては（例えば ）係数体を か に制限するものあるが、理論の大部分は変更なしに任意の体上で成り立つものである： 実ベクトル空間 ()：実数体 複素ベクトル空間 ()：複素数体
基底と次元
基底は簡明な方法でベクトル空間の構造を明らかにする。基底とは、適当な添字集合で添字付けられたベクトルの（有限または無限）集合 であって、それが全体空間を張るもののうちで極小となるものを言う。この条件は、任意のベクトル が、基底元の有限線型結合
（ がスカラーで が基底 の元 ）として表されることを意味し、また極小性は が線型独立性を持つようにするためのものである。ここでベクトルの集合が線型独立であるというのは、その何れの元も残りの元の線型結合として表されることがないときに言い、これはまた方程式
が満たされるのが、全てのスカラー が零に等しい場合に限ると言っても同じことである。基底の線型独立性は、 の任意のベクトルが基底ベクトルによる表示（そのような表示ができることは基底が全体空間 を張ることから保証されている）が一意であることを保証する。このことは、基底ベクトルを における基本ベクトル や高次元の場合の同様の対象を一般化するものと見ることによって、ベクトル空間の観点での座標付けとして述べることができる。
基本ベクトル は の標準基底と呼ばれる基底を成す。これは任意のベクトル がこれらのベクトルの線型結合として一意的に
と表されることによる。
任意のベクトル空間が基底を持つことが、ツォルンの補題から従う。従って、ツェルメロ＝フレンケル集合論の公理が与えられていれば、任意のベクトル空間における基底の存在性は選択公理と同値になる。また選択公理よりも弱いから、与えられた一つのベクトル空間 において任意の基底が同じ個数（濃度）の元を持つことが示され（）、その濃度をベクトル空間 の次元 と呼ぶ。有限個のベクトルで張られる空間の場合であれば、上記の主張は集合論的な基礎付けを抜きにしても示せる。
数ベクトル空間 は、すでに示した基底によってその次元が であることがわかる。#函数空間節で述べた多項式環 の次元は可算集合（基底の一つは で与えられる）であり、ある（有界または非有界な）区間上の函数全体の成す空間など、もっと一般の函数空間の次元は当然無限大になる例えば、（無数に存在する）区間の指示函数はどれも線型独立である。。現れる係数に対して適当な正則性条件を課すものとして、斉次常微分方程式の解空間の次元はその方程式の階数に等しい。例えば、式()の解空間は と で生成され、これら二つの函数は 上線型独立であるから、この空間の次元は で、方程式の階数 と一致する。
有理数体 上の拡大体 の次元は に依存して決まる。 が有理数係数の代数方程式
を満足する、すなわち が代数的数であるとき、次元は有限である。より正確には、その次元は を根に持つ最小多項式の次数に等しい。例えば、複素数体 は実二次元のベクトル空間で、 と虚数単位 で生成される。後者は二次の方程式 を満足するから、このことからも が二次元 -ベクトル空間であることが言える（また、任意の体がそうだが、 自身の上のベクトル空間として は一次元である）。 他方、 が代数的でないならば、 の 上の次元は無限大である。例えば とすれば、 を根とする代数方程式は存在しない（別な言い方をすれば、 は超越数である）。
線型写像と行列 線型写像
二つのベクトル空間の間の関係性は線型写像あるいは線型変換によって表すことができる。これは、ベクトル空間の構造を反映した写像、即ち任意の と任意の に対して
を満たすという意味で和とスカラーとの積を保つものである。
同型写像とは、線型写像 で逆写像 , 即ち写像の合成 および がともに恒等写像となるものが存在するものを言う。同じことだが、 は一対一（単射）かつ上への（全射）線型写像である。 と の間に同型写像が存在するとき、これらは互いに同型であるという。このとき、 において成り立つ任意の関係式が を通じて における関係式に写され、また逆も を通じて行えるという意味で、これら本質的に同じベクトル空間と見做すことができる。
例えば、「平面上の有向線分（矢印）」の成すベクトル空間と「数の順序対」の成すベクトル空間は同型である。つまり、ある（固定された）座標の原点を始点とする平面上の有向線分は、図に示すように、線分の -成分と -成分を考えることにより、順序対として表すことができる。逆に順序対 が与えられてとき、 だけ右に（ が負のときは だけ左に）行って、かつ だけ上に（ が負のときは だけ下に）行く有向線分として が得られる。
固定されたベクトル空間の間の線型写像 の全体は、それ自体が線型空間を成し、 や などで表される。 から係数体 への線型写像全体の成す空間は、 の双対ベクトル空間 と呼ばれる。自然変換 を通じて、任意のベクトル空間はその二重双対へ埋め込むことができる。この写像が同型となるのは空間が有限次元のときであり、かつその時に限る。
の基底を一つ選ぶと、 の任意の元は基底ベクトルの線型結合として一意的に表されるから、線型写像 は基底ベクトルの行き先を決めることで完全に決定される。 ならば、 と の基底を固定するとき、その間の全単射から の各基底元を の対応する基底元へ写すような線型写像が生じるが、これは定義により同型写像となる。従って、二つのベクトル空間が同型となるのは、それらの次元が一致するときであり、逆もまた成り立つ。これは、別な言い方をすれば、任意のベクトル空間はその次元により（違いを除いて）「完全に分類されている」ということである。特に任意の -次元 -ベクトル空間 は に同型である。しかし、「標準的」あるいはあらかじめ用意された同型というものは存在しない。実際の同型 は、 の標準基底を に で写すことにより、 を選ぶことと等価である。適当な基底を選ぶ自由度があることは、無限次元の場合の文脈で特に有効である（後述）。
行列
行列 ( ) は線型写像の情報を記述するのに有効な概念である。行列は、図のように、スカラーの矩形配列として書かれる。任意の 行列 は から への線型写像を
として生じる（ は総和を表す）。これはまた行列 と座標ベクトル との行列の乗法を用いて
と書くこともできる。さらに言えば、 と の基底を選ぶことで、任意の線型写像 は同様の方法で行列によって一意的に表される。
正方行列 の行列式 は、 に対応する線型写像が同型か否かを測るスカラーである（同型となるには、行列式の値が でないことが必要かつ十分である）。 実行列に対応する の線型変換が向きを保つには、その行列式が正となることが必要十分である。
固有値・固有ベクトル
自己準同型、即ち線型写像 は、この場合ベクトル とその による像 とを比較することができるから、特に重要である。
任意の零でないベクトル が、スカラー に対して を満足するとき、これを の固有値 ( ) に属する固有ベクトル ( ) というこの術語は、「自身の」とか「固有の」という意味のドイツ語 „eigen“ に由来する。。同じことだが、固有ベクトル は差 の核の元である（ここで は恒等写像 ）。 が有限次元ならば、これは行列式を使って言い換えることができる。つまり、 が固有値 を持つことは
となることと同値である。行列式の定義を書き下すことにより、この式の左辺は を変数とする多項式と見ることができて、これを の固有多項式と呼ぶ。係数体 がこの多項式の根を含む程度に大きい（ のように、 が代数的閉体ならばこの条件は自動的に満たされる）ならば任意の線型写像は少なくとも一つの固有ベクトルを持つ。
ベクトル空間 は（固有ベクトルからなる基底）を持つかもしれないし持たないかもしれないが、それがどちらであるかは写像のジョルダン標準形によって制御される. も参照。。 の特定の固有値 に属する固有ベクトル全体の成す集合は、固有値 （と ）に対応する固有空間と呼ばれるベクトル空間を成す。無限次元の場合の対応する主張であるスペクトル定理に達するには、函数解析学の道具立てが必要である。
基本的な構成法 上記具体例に加えて、与えられたベクトル空間から別のベクトル空間を得る標準的な線型代数学的構成がいくつか存在する。それらは以下に述べる定義に加えて普遍性と呼ばれる、線型空間 を から他の任意の線型空間への線型写像によって特定することができるという性質によっても特徴づけられる。
部分空間と商空間
ベクトル空間 の空でない部分集合 が加法とスカラー乗法の下で閉じている（従ってまた、 の零ベクトルを含む）ならば、 の部分空間であるという。 の部分空間は、それ自体が（同じ体上の）ベクトル空間を成す。ベクトルからなる集合 に対して、それを含む部分空間すべての交わりは の線型包合 を含む最小の の部分空間を成す。属する元の言葉で言えば、 の張る空間は の元の線型結合全体の成す部分空間である。
部分空間に相対する概念として、商空間がある。任意の部分空間 に対して、（「 を で割った」）商空間 は以下のように定義される。 まず集合として は、 を の任意のベクトルとして なる形の集合全てからなる。その二つの元 および の和は で、またスカラー倍の積は で与えられる。この定義の鍵は となる同値が と との差が に入ることである書籍によっては（など）この同値関係から話を始めて、それを使って の具体形を導き出す形をとるものもある。この方法で商空間は、部分空間 に含まれる情報を「忘却」したものとなる。
線型写像 の核 は の零ベクトル へ写されるベクトル からなる。核および像 はともにそれぞれ および の部分空間である。核と像の存在は（固定した体 ）上の加群の圏がアーベル圏（つまり、数学的対象とそれらの間の構造を保つ写像の集まり、即ち圏、であってアーベル群の圏と非常によく似た振る舞いをするもの）を成すことの要件の一部である。これにより、同型定理（線型代数学的な言い方をすれば階数・退化次数の定理）
や第二、第三の同型定理が群論における相当の定理と同様な仕方できちんと定式化と証明をすることができる。
重要な例は、適当に固定した行列 に対する線型写像 の核である。この写像の核は を満たすベクトル 全体の成す部分空間であり、これは に属する斉次線型方程式系の解空間に他ならない。この考え方は線型微分方程式
（各係数 も の函数）に対しても拡張できる。対応する線型写像
は函数 の導函数が（例えば のような項が現れないという意味で）線型に現れている。微分は線型である（即ち および定数 について が成り立つ）から、上記作用素の値も線型である（線型微分作用素と言う）。特に、この微分方程式 の解の全体は（ または 上の）ベクトル空間となる。
直積と直和
で添字付けられたベクトル空間の族 の直積 とは、順序組 全体の成す集合に、加法とスカラー乗法を成分ごとの演算によって定めたものである。この構成の変種として、直和 （あるいは余積 ）は先の順序組において有限個の例外を除く全ての成分が零ベクトルであるようなものだけを許して得られるものである。添字集合 が有限ならばこの二つの構成は一致するが、そうでないならば違うものを与える。
テンソル積
同じ体 上の二つのベクトル空間 と のテンソル積 ( ) あるいは単に は、線型写像を多変数にするような概念の拡張を扱う多重線型代数における中心的な概念のひとつである。写像 が双線型写像であるとは、 が両変数 の何れについても線型であることを言う。これはつまり、 を固定したとき写像 が線型であり、かつ を固定した時も同様であることを意味する。
テンソル積は以下のような意味で、双線型写像を普遍的に受け入れる特別のベクトル空間である。それはテンソルと呼ばれる記号の（形式的な）有限和
の全体からなる線型空間で、これらの元は をスカラーとして
なる規則で縛られている。
これらの規則は、写像 が双線型となることを保証するものである。テンソル積の普遍性とは 任意のベクトル空間 と任意の双線型写像 が与えられたとき、写像 が一意的に存在して、上記の写像 との合成 が に等しくなるようにすることができる ( ). 米田の補題も参照。 というものである。テンソル積の普遍性は対象を、その対象からの、あるいはその対象への写像によって間接的に定義するという（進んだ抽象代数学ではよく用いられる）手法の一例である。
付加構造を備えたベクトル空間 線型代数学の観点からは、任意のベクトル空間が（同型を除いて）その次元によって特徴づけられるという意味で、ベクトル空間については完全に分かっている。しかしベクトル空間というものは「本質的に」、函数列が別の函数に収束するか否かという（解析学では重要な）問題について取り扱う枠組みを提供していないし、同様に加法演算が有限項の和のみを許す線型代数学では無限級数を扱うのには適当でない。従って、函数解析学ではベクトル空間に更なる構造を考える必要が求められる。ほとんど同様に、付加的な情報を持つベクトル空間が有効に働く部分を抽象的に見つけだすことで、公理的取扱いからベクトル空間の持つ代数学的に本質的な特徴を浮き彫りにすることができる。
付加構造の一つの例は、順序集合 で、これによりベクトルの比較が行えるようになる。例えば、実 -次元空間 は、ベクトルを成分ごとに比較することで順序づけることができる。また、ルベーグ積分は函数を二つの正値函数の差
として（ は の正部分で は負部分）表すことができることに依拠しているから、（例えばリース空間）はルベーグ積分において基本的である。
ノルム空間および内積空間
ベクトルの「測度」は、ベクトルの長さを測るノルムや、ベクトルの間の角を測る内積を決めることによって与えられる。ノルムが定義されたベクトル空間をノルム空間とよび、ノルムを のように表す。内積が定義されたベクトル空間を内積空間と呼び、 内積は のように表す。内積空間は付随するノルム
を持つ。
数ベクトル空間 は標準内積
を備えている。これは においてよくある二つのベクトル の成す角 の概念を余弦定理
によって反映するものである。これにより、 を満たす二つのベクトル は互いに直交すると言われる。この標準内積の重要な変形版として、ミンコフスキー空間 はローレンツ積