双対ベクトル空間
数学におけるベクトル空間の双対ベクトル空間（そうついベクトルくうかん、）あるいは単に双対空間（そうついくうかん、）は、そのベクトル空間上の線型汎函数（一次形式）全体の成す空間として定義される。有限次元ベクトル空間の双対空間はテンソルの研究に利用することができる。函数の成す（典型的には無限次元の）ベクトル空間に対する双対空間は、測度や超函数、あるいはヒルベルト空間のような概念の定義や研究に用いられ、結果として双対空間は函数解析学の研究における重要な観念となっている。
一般に双対空間には、代数的双対と連続的双対の二種類が用いられており、代数的双対は任意のベクトル空間に対して定義することができるが、位相線型空間を扱うときは代数的双対よりもその部分線型空間として、連続線型汎函数全体の成す連続的双対空間を考えるのが自然である。
体 上の任意のベクトル空間 の（代数的）双対空間 は 上の線型写像 （すなわち線型汎函数）全体の成す集合として定義される。集合としての には、次の加法とスカラー乗法
を定義することができて、それ自身 上のベクトル空間となる。この代数的双対空間 の元を、余ベクトル（共変ベクトル）あるいは一形式と呼ぶこともある。
双対空間 の元である汎函数 と の元との対をしばしば括弧を用いて あるいは で表す。この対の記法は非退化な双線型形式 を定める。このとき、 は と との間に双対性を定める、 と を双対にする、あるいは と の双対性を表す内積 (duality pairing) であると言う。
が有限次元ならば、 は と同じ次元を持つ。 の基底 から双対基底と呼ばれる特別な "V" の基底を定義することができる。それは 上の線型汎函数の集合 で、係数 の選び方に依らず
を満たすものとして定義される（上付きの添字が冪を意味するものではないことに注意せよ）。特に、一つの係数を , 残りをすべて とすることにより、関係式は
に帰着される。ここに はクロネッカーのデルタである。例えば が座標平面 でその標準基底 } に選べば、 は , , , を満たす線型形式である。
特に を実数を成分とする -項「列」ベクトル全体の成す空間と見做すとき、その双対空間は典型的には実数を成分とする -項「行」ベクトル全体の成す空間として書かれ、その への作用が通常の行列の積によって与えられるものと見做すことができる。
ベクトル空間 が有限次元でない場合にも適当な無限集合 で添字付けられる基底 は持つから、有限次元の場合と同様の構成によって、双対空間の線型独立な元の族 を作ることはできるが、これは必ずしも基底とならない。
例えば、有限個の例外を除く全ての成分が であるような実数列全体の成す空間 を考えると、これは自然数全体の成す集合 で添字付けられる標準基底、すなわち各 に対して は第 -項が で他はすべて となるようなものを持つ。 の双対空間は全ての実数列からなる空間 である。数列 の への作用は で与えられる（これは の非零項が有限個しかないことから有限和である）。 の次元は可算無限だが、 の次元は非可算である。
このような考察は任意の体 上の任意の無限次元ベクトル空間に対して一般化できる。基底 を一つとって を は有限個の例外を除く全ての に対して となるような写像 全体の成す空間 と同一視すれば、写像 は のベクトル と同一視される（ の仮定からこれは有限和だから意味を持ち、また基底の定義により任意の はこの形に書ける）。
そして の双対空間は から への写像全体の成す空間 に同一視される。実際、 上の線型汎函数 は の基底におけるその値 によって一意に決定され、また任意の写像 () は
と置くことにより 上の線型汎函数 を定める（ は有限個の を除いて全て だから、やはりこの和が有限であることに注意）。
が存在する。他方 は（やはり定義によって） で添字付けられる の無限個のコピーのに同型である。同一視
は加群の直積と直和に関する一般の場合の結果の特別の場合である。
従って無限次元のとき、代数的双対は必ずもとの空間よりも大きな次元を持つ。これは連続的双対の場合には無限次元の場合でももとの空間と同型となる場合があることと対照的である。
が有限次元のとき、 はその双対 とは同型であるが、それらの間に自然な同型は存在しない。 上の任意の双線型形式 は から双対 への写像
を与える。この右辺は 各 をスカラー へ写す 上の線型汎函数である。即ち、双線型形式は線型写像
を定義するのである。もとの双線型形式が非退化ならば、この線型写像は の中への同型を与える。特に が有限次元ならば の上への同型である。逆に、 から の部分集合（あるいは 全体）への任意の同型 は、
と置くことにより、 上の非退化双線型形式 を一意的に定める。従って、 から の部分集合（あるいは 全体）への同型写像と 上の非退化双線型形式との間には一対一対応が存在する。
ベクトル空間 が複素線型ならば、双線型形式よりも半双線型形式を考えたほうが自然なこともある。この場合、半双線型形式 は からその双対空間のへの線型写像
を定める。共軛空間 は加法的複素数値函数 で
を満たすもの全体の成すベクトル空間と同一視される。
ベクトル空間 からその二重双対 への標準的な（自然な）線型準同型 が
と置くことにより定まる。この写像 必ず単射になる。これが同型となるのは が有限次元のとき、かつそのときに限る。実際、ベクトル空間とその二重双対との間の、この同型写像は自然同型の原型的な例となっている。例えば無限次元のヒルベルト空間がこのことの反例を与えることに注意せよ。この場合は連続的二重双対に同型であって、代数的二重双対にではない。
線型写像 に対し、その転置（または双対） は
で定義される。得られた汎函数 は の に沿った引き戻しと呼ばれる。
任意の および に対し恒等式
が満足される。ここで左辺の括弧 は とその双対との双対性を表す内積であり、右辺のは "W" とその双対との双対性を表す内積である。この等式は転置を特徴づけるものであり、形の上では随伴の定義と同じである。
対応 は から への線型作用素の空間から から への線型写像の空間への単射線型写像を与える。この線型準同型が同型となるのは が有限次元のときであり、かつそのときに限る。 の場合には、先の線型写像の空間は実際は写像の合成に関して多元環を成し、先の対応は多元環の、即ち を満たす線型同型となる。圏論の言葉で言えば、ベクトル空間の双対と線型写像の転置をとる操作は、 上のベクトル空間の圏 からそれ自身への反変函手である。このとき、転置の転置 が二重双対空間への自然な単射によって と同一視されていることに注意。
線型写像 を および の基底に関して行列 で表すとき、 は および の双対基底に関して転置行列 によって表され、転置写像の名の由来となっている。あるいはまた を が左から列ベクトルに作用すると見るとき、 は同じ行列によって右から行ベクトルに作用するものと表現することができる。これらの観点は 上の標準内積をもちいて関係づけることができ、行ベクトルの空間は列ベクトルの空間の双対と同一視される。
上のベクトル空間 の部分集合 に対し、 の における零化域 は、任意の に対して を満たす線型汎函数 全体の成す集合と定義される。すなわち、 は への制限が消えているような線型汎函数 全てからなる。
部分集合の零化域はそれ自身がベクトル空間を成す。特に、空集合の零化域は（から） 自身 ()であり、また の零化域は零部分空間 () である。さらに言えば、 の部分空間にその零化域を対応させることは包含関係を逆にする操作、すなわち部分空間の包含列 に対し
が成り立つ。また、 の二つの部分集合 に対し
が成り立ち、 が有限次元のときはこれは等号で成り立つ。これはさらに適当な添字集合 で添字付けられる の任意の有限部分集合族 に対して 
が成り立つから、特に の部分集合 に対して
となることを導く。
有限次元ベクトル空間 とその部分空間 に対し、二重双対の自然な同型 による の像を と同一視するとき
が成り立つ。従って特に、零化域をとる操作は有限次元ベクトル空間の部分空間束上のを定める。
が導かれる。特に、 が二つの部分空間 と との直和に分解されるとき、 は と の直和に分解される。