duality)はフーリエ変換の一般的な性質を説明する。ポントリャーギン双対は実数直線あるいは有限アーベル群上の函数の、たとえば実数直線上の素性の良い複素数値周期函数はフーリエ級数展開を持ち、そのような函数はそのフーリエ展開から復元することができる。実数直線上の素性の良い複素数値函数は、おなじく数直線上で定義される函数としてのフーリエ変換を持ち、周期函数におけると同様に、そのような函数はそのフーリエ変換から復元することができる。有限アーベル群上の複素数値函数はその(もとの群と自然同型ではないが同型な)双対群上の函数としての離散フーリエ変換を持ち、有限群上の任意の函数がその離散フーリエ変換から復元することができる。いったようないくつかの話題を統一的にみることができる文脈に属する。この理論はレフ・ポントリャーギンによって導入され、フォン・ノイマンやヴェイユらの導入したハール測度の概念やそのほか局所コンパクトアーベル群の双対群に関する理論などと結び付けられた。コンパクト近傍を持つときであり、かつそのときに限る。位相に関する閉包がコンパクトであるようなものが存在することを意味する。十分素性の良い部分集合の「大きさ」を測ることができるということにある。コンパクト部分集合の全体が生成する完全加法族の元のことである。条件を満たすもののことである(詳細はハール測度の項を参照)。群がコンパクトであることとハール測度の有限性が同値であり、一般に正の定数倍の違いを除いて(右不変)ハール測度は一意的に存在する。コンパクト群や可換群の場合には右不変ハール測度は左不変でもあり、単にハール測度と呼ばれる。ハール測度によって群上で定義される(複素数値)ボレル函数に対して不変積分の概念を定義することができる。\right\}}というように定義される。局所コンパクト可換群の例には以下のようなものが挙げられる。ベクトルの加法を群演算と考えたもの。通常の実数の乗法を群演算として考えたもの。実際、指数写像がその同型を与えている。任意の有限アーベル群に離散位相を入れたもの。有限アーベル群の構造定理によれば、このような群は全て巡回群の直積として表すことができる。加法群と見たものに、やはり離散位相を入れたもの。複素数全体に通常の複素数の乗法を入れたものである。p-進位相を入れたもの。上の連続群準同型のことである。双対群と呼ばれる局所コンパクト群を成すことが示される。(すなわちコンパクト開位相)によって与えられる。可分な局所コンパクト可換群であるならばその双対群は距離化可能である。