duality)とは、互いに対になっている2つの対象の間の関係である。2つのものが互いに双対の関係にあることを「双対性がある」などとよぶ。双対は数学や物理学をはじめとする多くの分野に表れる。(relative)」と紛らわしい。並行して相対を「そうつい」と読む流儀もある。一般には「双対」を「そうつい」、「相対」を「そうたい」と呼び分ける場合が多いようである。双対の具体的な定義は、双対関係の成立している対象の種類によって様々に与えられる。正多面体の双対、あるいは双対関係にある正多面体とは、与えられた正多面体の各面の中心(面心)に頂点を取り、それらを結んで造られる立体(これも正多面体)のこと。双対の双対はもとの正多面体と相似になる[1]。与えられた平面グラフに対し、その外面も含む各面に新たな頂点を対応させ、もとのグラフでは隣り合う面に対応する頂点同士を結んで得られるグラフを、与えられたグラフの双対グラフという。与えられるグラフである。すべて入れ替えたものをもとの論理式の双対といい、入れ替えて得られた命題をもとの命題の双対命題と呼ぶ。双対の双対はもとの命題に一致する。元の論理式が証明可能ならばその双対の否定が証明可能であり、ある論理式の否定が証明可能ならば、その論理式の双対が証明可能になる。双対ベクトル空間または双対空間と呼ぶ。埋め込まれる(つまりこの埋め込みは基底のとり方によらない)。有限次元のベクトル空間の双対の双対は、もとの空間と自然に同型である。指標の間の演算は、写像の値の複素数としての積によって入れる。元の群との間に自然な同型がある。アーベル群とその指標群との双対性はポントリャーギン双対の一種である。ポントリャーギン双対は、一般には局所コンパクト位相群で考えられる双対性であり、有限アーベル群は離散位相を入れてコンパクト群(したがって局所コンパクト)である。