查看“︁龐特里亞金對偶性”︁的源代码

{{NoteTA|G1=Math}}
[[Image:2-adic integers with dual colorings.svg|thumb|300px|[[p進數|2进整数]]相互关系图示，它們是{{le|普魯法群|Prüfer group|龐特里亞金對偶性群}}的元素。]]

'''數學'''中，特別是在[[調和分析]]與[[拓撲群]]的理論中，'''龐特里雅金對偶定理'''是[[局部紧阿贝尔群]]之间的对偶，解釋了[[傅立葉變換]]的一般性質。它統合了[[實數]]線上或有限[[阿貝爾群]]上的一些結果，如：

* 實數線上夠「好」的複數值周期函數能表成[[傅立葉級數]]，反之也能從傅立葉級數推出原函數。
* 實數線上夠「好」的複數值函數有[[傅立葉變換]]；一如周期函數，在此也能從其傅立葉變換反推出原函數。
* 有限[[阿貝爾群]]上的複數值函數有[[離散傅立葉變換]]，這是在[[對偶群]]上的函數。此外，也從離散傅立葉變換反推原函數。
局部紧阿贝尔群如[[圆群]]（模1复数的乘法群）、[[有限阿贝尔群]]（具有[[离散拓扑]]）、整数的[[加法群]]（具有[[离散拓扑]]）、实数，以及在实数或[[P进数]]域上的有限维向量空间。庞特里亚金对偶将傅立叶变换推广到所有此类群。局部紧阿贝尔群的庞特里亚金对偶是局部紧阿贝尔拓扑群，由群到圆群的连续[[群同态]]形成，具有点乘与紧集上[[一致收敛]]的拓扑。庞特里亚金对偶定理指出任何局部紧阿贝尔群与其二阶对偶群自然同构，[[傅里叶变换]]是定理的特例。

此理論由[[龐特里亞金]]（Lev Pontryagin）首開，並結合了[[約翰·馮·諾伊曼]]與[[安德烈·韦伊]]的[[哈爾測度]]理論，它依賴於局部緊阿貝爾群的對偶群理論。

== 概述 ==
庞特里亚金对偶性将有关实数线或有限阿贝尔群上函数的一系列观察置于统一的背景中：
* 实数线上，适当正则的复数值[[周期函数]]具有[[傅里叶级数]]，反之也能从傅里叶级数中推出原函数；
* 实数线上，适当正则的复数值函数具有傅里叶变换，结果也是实数线上的函数，且反之也能从傅里叶展开中推出原函数；
* 有限阿贝尔群上的复数值函数具有[[离散傅里叶变换]]，是对偶群上的函数，对偶群是（非规范）同构群。此外，有限阿贝尔群上的任何函数都能从离散傅里叶变换的结果中推出原函数。

这类似于向量空间的[[对偶向量空间]]：有限维向量空间''V''及其对偶向量空间<math>V^*</math>不是自然同构的，但其中一个的[[自同态]]代数（矩阵代数）同构于另一个的自同态代数的[[反环]]：<math>\text{End}(V) \cong {\text{End}(V^*)}^\text{op},</math>由转置。相似地，群''G''及其对偶群<math>\widehat{G}</math>一般不同构，但其自同态环是彼此的反环：<math>\text{End}(G) \cong \text{End}(\widehat{G})^\text{op}</math>。更广义地看，这不仅仅是自同态代数的同构，而且是范畴的反变等价。

== 定义 ==
{{further|局部紧阿贝尔群}}
若[[拓扑群]]的底拓扑空间是[[局部紧]][[豪斯多夫空间]]，则称其为[[局部紧群]]；若拓扑群的底群是[[阿贝尔群]]，则称拓扑群也是阿贝尔的。一個[[拓撲群]]<math>G</math>被稱作[[局部緊]]的，若且唯若其單位元素e有個緊鄰域。明白地說，這代表存在一個包含e的開集<math>V</math>，使得它在<math>G</math>裡的閉包<math>\bar{V}</math>是緊的。
局部紧阿贝尔群的例子如：

* <math>\mathbb{R}^n</math>，配上向量加法。
* 正實數配上乘法。此群透過指數及對數映射同構於<math>\mathbb{R}</math>。
* 任意賦以[[離散拓撲]]的有限阿貝爾群。根據有限阿貝爾群的結構定理，任何這樣的群都是循環群的直積。
* 整數<math>\mathbb{Z}</math>配上加法，並賦予離散拓撲。
* [[圓群]]<math>\mathbb{T}</math>。這是絕對值為一的複數在乘法下構成的群。我們有同構<math>\mathbb{T} \cong \mathbb{R}/\mathbb{Z}</math>。
* [[p進數]]配上加法及其p進拓撲。
局部紧阿贝尔群''G''，''G''的[[特徵標理論|特徵標]]是一個從<math>G</math>到圓群<math>\mathbb{T}</math>的連續群同態；特徵標在逐點乘法下構成一個群，一個特徵標的反元素是它的複共軛。可證明所有<math>G</math>上的特徵標在[[緊緻開拓撲]]（即：以緊集上的一致收斂定義收歛性）下構成一個局部緊緻阿貝爾群，稱作'''對偶群'''，記為<math>\widehat G</math>或<math>G^\wedge</math>。即
<math display="block">\widehat G := \operatorname{Hom}(G, T).</math>
庞特里亚金对偶<math>\widehat G</math>通常被赋予[[紧集]]上[[一致收敛]]给出的[[拓扑]]（即所有从''G''到''T''的连续函数空间上的紧开拓扑诱导的拓扑）。

例如，<math display="block">\widehat{\Z/n\Z}= \Z/n\Z,\ \widehat {\Z} = T,\  \widehat {\mathbb R} = \R,\ \widehat T = \Z.</math>
若<math>G</math>[[可分空间|可分]]，則<math>\hat{G}</math>可度量化，對一般的<math>G</math>則不盡然。
== 庞特里亚金对偶定理 ==

{{math theorem | name = 定理{{sfn|ps=none|Hewitt|Ross|1963|loc=(24.2)}}{{sfn|ps=none|Morris|1977|loc=Chapter 4}} | math_statement = 局部紧阿贝尔群''G''及其二阶对偶<math>\widehat{\widehat{G}}</math>之间，存在规范同构<math>G\cong\widehat{\widehat{G}}</math>。}}
在此，「自然」或「[[规范形|典範]]」同構意謂一個「自然地」定義的映射<math>G \rightarrow G^{\wedge\wedge}</math>，要點是它在範疇中滿足函子性（詳見條目[[範疇論]]）。舉例明之：任何有限阿貝爾群都同構於其對偶群，但並不存在典範同構。<math>x\in G</math>上的自然同構定義如下：
: <math display="block"> x \mapsto \{\chi \mapsto \chi (x) \} \mbox{ i.e. } x(\chi):=\chi (x),</math>
即<math display="block">\operatorname{ev}_G(x) : (\chi \mapsto \chi(x)).</math>
換言之，我們藉著將一個元素<math>x \in G</math>在每個<math>G</math>的特徵上求值，得到一個<math>\hat{G}</math>上的特徵。也就是说，群元素''x''与对偶上的求值特征（evaluation character）相等。這可用線性代數中的對偶空間來類比，就像一個佈於<math>K</math>的向量空間<math>V</math>有對偶空間<math>\mathrm{Hom}(V, K)</math>，對偶群可看成<math>\mathrm{Hom}(G, \mathbb{T})</math>。更抽象的說，這兩者都是[[可表函子]]，被<math>K</math>及<math>\mathbb{T}</math>所表示。若''G''是有限阿贝尔群，则<math>G \cong \widehat{G}</math>，但这种同构并不规范。精确表述一般要考虑群的对偶，还要考虑群之间的映射，以将对偶当做[[函子]]，证明恒等函子与对偶函子不自然等价。对偶定理还意味着，对任何群（不一定是有限群），对偶函子是[[正合函子]]。

== 庞特里亚金对偶性与傅里叶变换 ==
===哈爾測度===

{{main|哈尔测度}}

局部緊群<math>G</math>最值得注意的性質之一是它帶有一個唯一的自然[[測度]]，稱作[[哈爾測度]]，這使得我們可以一致地為<math>G</math>中「夠好」的子集測量大小；在此「夠好」的明確意義是[[博雷爾測度|博雷爾集]]，即由緊集生成的σ-代數中的一個元素。更明確地說，局部緊群<math>G</math>的一個'''右哈爾測度'''是定义在''G''的[[博雷尔集]]上的可数可加度量μ，对于''G''的元素''x''和''G''的博雷尔子集''A''而言，<math>\mu(Ax) = \mu(A)</math>是右不变的；此測度尚須滿足一些正則性（詳見主條目[[哈爾測度]]）。任兩個右不變哈爾測度至多差一個正的比例常數。準此要領，亦可定義左不變哈爾測度，當<math>G</math>是阿貝爾群時兩者符應。

此測度讓我們得以定義<math>G</math>上的（複數值）博雷爾函數的[[積分]]，特別是可以考慮相關的<math>L^p</math>空間：
<math display="block">  L^p_\mu(G) = \left  \{ (f: G \to \Complex) \ \Big| \ \int_G |f(x)|^p\ d \mu(x) < \infty \right \}. </math>

注意，由于''G''上任意两哈尔测度都仅相差一个缩放因子，所以这个<math>L^p_\mu</math>-空间与哈尔测度<math>\mu</math>的选择无关，可以写作<math>L^p(G)</math>。然而，空间上的<math>L^p</math>-范数取决于哈尔测度的选择，因此若要讨论等距，就必须跟踪所使用的哈尔测度。

===例子===
在整數對加法形成的無窮循環群<math>\mathbb Z</math> （配上離散拓撲）上，設χ為一特徵，則<math>\chi (n)=\chi (1)^n</math>，因此χ決定於χ(1)的值；反之，給定一個<math>\alpha \in \mathbb{T}</math>，必存在特徵<math>\chi</math>使得<math>\chi(1)=\alpha</math>，由此得到群同構<math>\mathbb{Z}^\wedge \stackrel{\sim}{\rightarrow} \mathbb{T}</math>。此外也容易驗證<math>\mathbb{Z}^\wedge</math>上的緊-開拓撲對應到<math>\mathbb{T}</math>誘導自<math>\mathbb{C}</math>的拓撲。

因此，<math>\mathbb{Z}</math>的對偶群自然地同構於<math>\mathbb{T}</math>。

反之，<math>\mathbb{T}</math>上的特徵皆形如<math>z \mapsto z^n</math>，其中''n''是整數。由於<math>\mathbb{T}</math>是緊的，其對偶群上的拓撲由一致收斂性給出，對應的不外是<math>\mathbb Z</math>上的離散拓撲。因此<math>\mathbb{T}</math>的對偶群自然地同構於<math>\mathbb Z</math>。

實數對加法構成的群<math>\mathbb R</math>同構於自身的對偶群；<math>\mathbb{R}</math>上的特徵皆形如<math>r \mapsto e^{ir}</math>，其中''r''是實數。藉著這些對偶性，下節描述的傅立葉變換將符應於<math>\mathbb{R}</math>上的古典版本。

=== ''L''<sup>1</sup>-函数的傅里叶变换和傅里叶反变换 ===

局部紧阿贝尔群的对偶群被用作[[傅里叶变换]]的底空间（即变换的值域）。设<math>f \in L^1(G)</math>，则傅里叶变换就是<math>\widehat{G}</math>上的函数<math>\widehat f</math>，定义为

<math display="block"> \widehat f(\chi) = \int_G f(x) \overline{\chi(x)}\ d\mu(x),</math>
其中积分是对于''G''上的[[哈尔测度]]<math>\mu</math>，这也记作<math>(\mathcal{F}f)(\chi)</math>。注意傅里叶变换取决于哈尔测度的选择。不难证明，<math>\widehat f</math>是<math>\widehat{G}</math>上的有界连续函数，[[黎曼-勒贝格定理|在无穷远处趋近于零]]。

{{math theorem | name = <math>L^1</math>-函数的傅里叶反变换公式 | math_statement = 对于''G''上的每个哈尔测度<math>\mu</math>，<math>\widehat{G}</math>上都有唯一的哈尔测度<math>\nu</math>，使得当<math>f \in L^1(G),\ \widehat f \in L^1\left(\widehat{G}\right)</math>时，有<math display="block"> f(x) = \int_{\widehat{G}} \widehat f(\chi)\chi(x)\ d\nu(\chi) \qquad \mu\text{-几乎处处} </math>
若''f''是连续的，则此特性对所有''x''都成立。}}

<math>\widehat{G}</math>上可积函数的傅里叶反变换由下式给出
<math display="block"> \check{g} (x) = \int_{\widehat{G}} g(\chi) \chi(x)\ d\nu(\chi),</math>
其中积分是对于对偶群<math>\widehat{G}</math>上的哈尔测度<math>\nu</math>。傅里叶反变换公式中所见<math>\widehat{G}</math>上的测度<math>\nu</math>称作<math>\mu</math>的[[前推测度|对偶测度]]，可记作<math>\widehat{\mu}</math>

各种傅里叶变换可按其域和变换域（群与对偶群）分类如下（注意<math>\mathbb T</math>是[[圆群]]）：

{| class="wikitable" style="text-align:center;"
! 变换 !! 原域''G''!! 变换域<math> \hat{G} </math>!! 测度<math> \mu </math>
|-
| 傅里叶变换 || <math>\R</math> || <math>\R</math> || 常数<math>\times</math>勒贝格测度
|-
| [[傅里叶级数]] || <math>\mathbb{T}</math> || <math>\Z</math> || 常数<math>\times</math>勒贝格测度
|-
| [[离散时间傅里叶变换]] (DTFT) || <math>\Z</math> || <math>\mathbb{T}</math> || 常数<math>\times</math>计数测度
|-
| [[离散傅里叶变换]] (DFT) || <math>\Z_n</math>|| <math>\Z_n</math> || 常数<math>\times</math>计数测度
|}

例如，设<math>G = \R^n</math>，就可以通过配对<math>(\mathbf{v}, \mathbf{w}) \mapsto e^{i \mathbf{v}\cdot \mathbf{w}}</math>将<math>\widehat{G}</math>想象成<math>\R^n</math>。若<math>\mu</math>是欧氏空间上的勒贝格测度，就可得到<math>\R^n</math>上的普通[[傅里叶变换]]，反变换所需的对偶测度则是<math>\widehat{\mu} = (2\pi)^{-n}\mu</math>。若要得到两侧测度相同的傅里叶反变换公式（即，既然可以将<math>\R^n</math>视作自身的对偶空间，也可以设<math>\widehat{\mu}=\mu</math>），则需要用

<math display="block">\begin{align}
            \mu &= (2 \pi)^{-\frac{n}{2}} \times \text{Lebesgue measure} \\
  \widehat{\mu} &= (2 \pi)^{-\frac{n}{2}} \times \text{Lebesgue measure}
\end{align}</math>

然而，若把<math>\R^n</math>与其对偶群相等的判断方法改为配对
<math display="block">(\mathbf{v}, \mathbf{w}) \mapsto e^{2\pi i \mathbf{v} \cdot \mathbf{w}},</math>
则<math>\R^n</math>上的勒贝格测度等于其自身的对偶测度。计算欧氏空间上的傅里叶变换或傅里叶反变换时，这个约定可最大限度地减少各处出现的<math>2\pi</math>数量（实际上，它将<math>2\pi</math>仅限制在指数上，而非作为积分符号之外的预因子）。注意，如何确定<math>\R^n</math>等于其对偶群会影响“自对偶函数”的含义，其是<math>\R^n</math>上等同于自身的傅里叶变换的函数：使用经典配对<math>(\mathbf{v}, \mathbf{w}) \mapsto e^{i\mathbf{v} \cdot \mathbf{w}}</math>，函数<math>e^{-\frac{1}{2} x^2}</math>是自对偶的。但配对可以保持预因子统一，<math>(\mathbf{v}, \mathbf{w}) \mapsto e^{2\pi i \mathbf v \cdot \mathbf w}</math>使得<math>e^{-\pi x^2}</math>自对偶。这傅里叶变换的第二个定义的优点在于，它将乘法单位元映射为卷积单位元，由于<math>L^1</math>是卷积代数，这一点非常有用。另外，此形式在<math>L^2</math>空间上也必等距。

===群代數===

{{main|局部紧群的群代数}}
局部緊阿貝爾群<math>G</math>上的可積函數構成一個代數，其乘法是卷積：設<math>f, g \in L^1 (G)</math>，則卷積定義為
:<math> [f \star g](x) = \int_G f (x - y) g (y)\, d \mu (y)</math>
{{math theorem | math_statement = 巴拿赫空間<math>L^1 (G)</math>在卷積下構成一個交換結合代數。}}

此代數稱作<math>G</math>的'''群代數'''。根據[[富比尼定理|富比尼-托内利定理]]，卷积对<math>L^1</math>范数是次乘法，因此<math>L^1 (G)</math>是個[[巴拿赫代数]]。巴拿赫代數<math>L^1 (G)</math>一般沒有乘法單位元，除非<math>G</math>離散，即在单位元处为1、他处为0的函数。但它有個[[近似單位元]]，這是個[[網 (數學)|網]]，以一有向集<math>I</math>為索引，寫作<math>(e_i)_{i \in I}</math>並滿足<math> f \star e_i \rightarrow f</math>。

傅立葉變換將卷積映至逐點乘法，即它是（范数≤ 1的）阿贝尔巴拿赫代数的同态<math>L^1(G) \to C_0\left(\widehat{G}\right)</math>：

<math display="block"> \mathcal{F}( f \star g)(\chi) = \mathcal{F}(f)(\chi)\cdot \mathcal{F}(g)(\chi)</math>
特別是，<math>G</math>上的任意特徵χ，都可在群代數上确定唯一的''積性線性泛函''
<math display="block"> f \mapsto \widehat{f}(\chi)</math>

群代數的重要性質之一，在於這些線性泛函窮竭了群代數上所有非平凡（即：非恆零）的積性線性泛函。見文獻中''Loomis''著作的第34節。这意味着傅里叶变换是[[盖尔范德表示|盖尔范德变换]]的特例。

==普朗歇尔暨''L''<sup>2</sup>傅立葉反轉定理==
如前所述，一個局部緊阿貝爾群<math>G</math>的對偶群依然是局部緊阿貝爾群，因而帶有一族哈爾測度，彼此至多差一個比例常數。

{{math theorem | math_statement = 择''G''上的哈尔测度<math>\mu</math>，并令<math>\nu</math>是<math>\widehat{G}</math>上的对偶测度（定义如上）。若<math>f : G \to \Complex</math>是具有紧支的连续函数，则<math>\widehat{f} \in L^2\left(\widehat{G}\right)</math>，且
<math display="block"> \int_G |f(x)|^2 \ d \mu(x) = \int_{\widehat{G}} \left|\widehat{f}(\chi)\right|^2 \ d \nu(\chi).</math>
特别地，傅里叶变换是''G''上有紧支的复值连续函数到<math>\widehat{G}</math>上的<math>L^2</math>-函数的<math>L^2</math>等距映射（对''G''上的函数使用关于<math>\mu</math>的<math>L^2</math>-范数，对<math>\widehat{G}</math>上的函数使用关于<math>\nu</math>的<math>L^2</math>-范数。}}

由于''G''上紧支的复值连续函数是<math>L^2</math>-稠密的，因此从该空间到[[幺正算符]]的傅里叶变换有唯一的扩展

<math display="block"> \mathcal{F}: L^2_\mu(G) \to L^2_\nu\left(\widehat{G}\right).</math>
且有
<math display="block"> \forall f \in L^2(G): \quad \int_G |f(x)|^2 \ d \mu(x) = \int_{\widehat{G}} \left|\widehat{f}(\chi)\right|^2 \ d \nu(\chi).</math>

注意，若<math>G</math>非緊，<math>L^1 (G)</math>並不包含<math>L^2 (G)</math>，所以''G''上一般<math>L^2</math>-函数的傅里叶变换不由任何积分公式（或任何明确公式）给出。要定义<math>L^2</math>-函数的傅里叶变换，就須訴諸一些技巧，例如限制於一個稠密子空間，如具有紧支的连续函数，然后通过连续性将等距性扩展到整个空间。

依循''Loomis''書中術語，我們稱一對<math>G</math>與其對偶群上的哈爾測度<math>(\mu, \nu)</math>是''相繫的''，若且唯若傅立葉反轉公式成立。傅立葉變換之么正性遂蘊含：對所有<math>G</math>上的連續緊支集複數值函數<math>f</math>都有

: <math> \int_G |f (x)|^2 \ d \mu (x) = \int_{\widehat{G}} |\widehat{f}(\chi)|^2 \ d \nu(\chi) </math>

在平方可積函數空間上，我們考慮的傅立葉變換是透過上述么正延拓得到的算子。對偶群本身也有個傅立葉逆變換；它可以刻劃為<math>L^2</math>傅立葉變換之逆（或其伴隨算子，因為傅立葉變換是么正的），這是以下傅立葉反轉公式的內涵。

{{math theorem | math_statement = 限制于具有紧支的连续函数的傅里叶变换的伴随是反傅里叶变换
<math display="block"> L^2_\nu\left(\widehat{G}\right) \to L^2_\mu(G) </math>
其中<math>\nu</math>是<math>\mu</math>.的对偶测度。}}

*在<math>G = \mathbb{T}</math>的情形，对偶群<math>\widehat{G}</math>自然同构于整数群<math>\Z</math>，傅里叶变换专门用于计算周期函数的[[傅里叶级数]]系数。
*在<math>G = \mathbb{R}^n</math>的情形，我們有<math>\hat{G} = \mathbb{R}^n</math>，若取下述相繫的哈爾測度，則回到[[傅立葉變換]]的古典定義：
<math display="block"> \mu =(2 \pi)^{-n/2} \times </math>（勒貝格測度）
<math display="block"> \nu =(2 \pi)^{-n/2} \times </math>（勒貝格測度）
* 在<math>G=\mathbb{T}</math>的情形，對偶群<math>\hat{G}</math>自然同構於<math>\mathbb{Z}</math>，而上述算子<math>F</math>歸於計算周期函數的傅立葉係數。
* 若<math>G</math>為有限群，則得到[[離散傅立葉變換]]。此情形易直接證明。

==玻爾緊化与概周期函数==
龐特里亞金對偶定理的重要應用之一是下述关于紧阿贝尔拓扑群的刻劃：

{{math theorem | math_statement = 局部紧阿贝尔群''G''，[[当且仅当]]对偶群<math>\widehat{G}</math>离散时，''G''是紧的。反之，当且仅当<math>\widehat{G}</math>的紧的时，''G''是离散的。}}

''G''的紧的，意味着<math>\widehat{G}</math>是离散的或紧的，这是<math>\widehat{G}</math>上紧-开拓扑定义的一个基本结果，不需要庞特里亚金对偶性。我们可以利用庞特里亚金对偶性证明相反情形。

對任何拓撲群，無論局部緊或阿贝尔與否，皆可定義[[玻爾緊化]]。利用紧阿贝尔群和离散阿贝尔群之间的庞特里亚金对偶性，可描述任意阿贝尔局部紧拓扑群的玻尔紧化。''G''的玻尔紧化<math>B(G)</math>是<math>\widehat{H}</math>，其中''H''具有群结构<math>\widehat{G}</math>，但帶[[離散拓撲]]。由於下述[[包含映射]]
<math display="block"> \iota: H \to \widehat{G} </math>
是個連續同態，其對偶同態
<math display="block"> G \sim \widehat{\widehat{G}} \to \widehat{H} </math>			
是個映至一個緊群的同態；可以證明它滿足必要的[[泛性质]]，因而<math>\hat{H}</math>確為<math>G</math>的玻爾緊化。

{{See also|概周期函数}}
==範疇論觀點==
[[函子]]的觀點對於研究對偶群是很有用的。以下將以'''LCA'''表示所有局部緊阿貝爾群及其間的連續群同態構成之[[範疇 (數學)|範疇]]。

對偶群的構造<math>G \mapsto \widehat{G}</math>給出一個反变函子<math>\mathbf{LCA} \rightarrow \mathbf{LCA}</math>，（在[[可表函子]]的意义上）由圆群<math>\mathbb{T}</math>表为<math>\widehat{G}= \text{Hom}(G, \mathbb{T})</math>。其二次迭代<math>G \mapsto G^{\wedge\wedge}</math>遂給出协变函子<math>\mathbf{LCA} \rightarrow \mathbf{LCA}</math>。

庞特里亚金对偶性的一个范畴论表述是，'''LCA'''上的[[恒等函子]]与二阶对偶函子之间的[[自然变换]]同构。{{sfn|ps=none|Roeder|1974}}从自然变换的角度看，这意味着映射<math>G \to \operatorname {Hom}(\operatorname {Hom}(G, T), T)</math>对任何局部紧阿贝尔群''G''都是同构，且它们在''G''中是函子。此同構可以類比於有限維向量空間的二次對偶（特別是實與複向量空間）。

这种表述的直接结果是庞特里亚金对偶的另一种常见范畴论表述：对偶群函子是<math>\mathbf{LCA} \rightarrow \mathbf{LCA}^{\text{op}}</math>的[[范畴的等价|范畴等价]]。
龐特里亞金對偶性將離散群與[[緊群]]的子範疇交換。若<math>R</math>是一個[[环 (代数)|環]]，而<math>G</math>是個左<math>R</math>-[[模]]，則对偶群<math>\widehat{G}</math>将成为右<math>R</math>-模。從對偶性可推知離散左<math>R</math>-模與緊右<math>R</math>-模對偶。'''LCA'''裡的[[自同態]]環<math>\mathrm{End}(G)</math>依對偶性對應至其[[反環]]（即：環的乘法次序交換）。舉例明之：取有限循环离散群<math>G = \mathbb{Z}</math>，則<math>\widehat{G} = \mathbb{T}</math>；前者滿足<math>\mathrm{End}(G)=\mathbb{Z}</math>，對後者亦然。

== 推广 ==
庞特里亚金对偶的推广有两个主要方向：非[[局部紧群|局部紧]]的交换[[拓扑群]]，和非交换拓扑群。这两种情形的理论截然不同。

=== 交换拓扑群的对偶 ===
若''G''是豪斯多夫阿贝尔拓扑群，则具有紧-开拓扑的<math>\widehat{G}</math> 也是豪斯多夫阿贝尔拓扑群，''G''到二阶对偶<math>\widehat{\widehat{G}}</math>的自然映射有意义。若此映射是同构，就可以说''G''满足庞特里亚金对偶性（或称''G''是<math>G</math>反身群（reflexive group）{{sfn|ps=none|Onishchik|1984}}或反射群（reflective group）{{sfn|ps=none|Akbarov|Shavgulidze|2003}}）。除了''G''为局部紧群的情形，这个问题还在很多方向上得到扩展。{{sfn|ps=none|Chasco|Dikranjan|Martín-Peinador|2012}}

Samuel Kaplan{{sfn|ps=none|Kaplan|1948}}{{sfn|ps=none|Kaplan|1950}}在1948年和1950年证明，局部紧（豪斯多夫）阿贝尔群的任意积和可数反极限满足庞特里亚金对偶性。注意，局部紧非紧空间的无限积不是局部紧的。

Rangachari Venkataraman (1975){{sfn|ps=none|Venkataraman|1975}}证明，除其他事实外，满足庞特里亚金对偶性的阿贝尔拓扑群的每个开子群都满足庞特里亚金对偶性。

最近，Sergio Ardanza-Trevijano和María Jesús Chasco{{sfn|ps=none|Ardanza-Trevijano|Chasco|2005}}扩展了上述结果，证明只要满足一些额外条件，满足庞特里亚金对偶性的阿贝尔群序列的直极限和反极限也满足庞特里亚金对偶性，条件是群须可度量化，或是<math>k_\omega</math>-空间，但不必是局部紧的。

但若要考虑局部紧情形之外的庞特里亚金对偶性，就会有根本性的变化。Elena Martín-Peinador (1995){{sfn|ps=none|Martín-Peinador|1995}}证明，若''G''是满足庞特里亚金对偶性的豪斯多夫拓扑群，且自然求值对
<math display="block">\begin{cases} G \times \widehat{G} \to \mathbb{T} \\ (x, \chi) \mapsto \chi(x) \end{cases}</math>
（联合）连续，{{efn|1=联合连续指映射<math>G \times \widehat{G} \to \mathbb{T}</math>作为拓扑空间之间的映射连续，其中<math>G \times \widehat{G}</math>被赋以笛卡尔积拓扑。若映射<math>G \times \widehat{G} \to \mathbb{T}</math>各别连续或刻板地连续（in stereotype sense），则不成立。}}则''G''是局部紧的。有推论，庞特里亚金对偶性的所有非局部紧例子都是配对<math>G \times \widehat{G} \to \mathbb{T}</math>不（联合）连续的群。

另一种将对偶性推广到其他类的交换拓扑群的方法是赋予对偶群<math>\widehat{G}</math>以一点不同的拓扑，即[[全有界空间|全有界集]]上的均匀收敛拓扑。在此假设下，满足等式<math>G \cong \widehat{\widehat{G}}</math>的群{{efn|1=当中，二阶对偶群<math>\widehat{\widehat{G}}</math>以相同意为与<math>\widehat{G}</math>对偶。}}称作刻板群（stereotype groups）。{{sfn|ps=none|Akbarov|Shavgulidze|2003}}这类群的范围很广（包含局部紧阿贝尔群），但比反射群要窄。{{sfn|ps=none|Akbarov|Shavgulidze|2003}}

=== 拓扑向量空间的庞特里亚金对偶性 ===
Marianne F. Smith (1952){{sfn|ps=none|Smith|1952}}注意到，[[巴拿赫空间]]和[[自反空间]]被视作拓扑群（加法为群运算），且满足庞特里亚金对偶性。之后B. S. Brudovskiĭ{{sfn|ps=none|Brudovskiĭ|1967}}、William C. Waterhouse{{sfn|ps=none|Waterhouse|1968}}及K. Brauner{{sfn|ps=none|Brauner|1973}}证明，这一结果可推广到所有准全[[桶型空间]]类（尤其是所有[[弗雷歇空间]]）。1990年代，Sergei Akbarov{{sfn|ps=none|Akbarov|2003}}描述了一类拓扑向量空间。满足比经典庞特里亚金反射更强的性质，即等式
<math display="block">(X^\star)^\star\cong X</math> 
其中<math>X^\star</math>表示在''X''中被赋以全有界集上一致收敛拓扑的所有线性连续泛函<math>f \colon X \to \Complex</math>的空间（<math>(X^\star)^\star</math>是相同意义上<math>X^\star</math>的对偶）。这类空间称作刻板空间（stereotype space），相应理论在泛函分析与几何中得到一系列应用，包括庞特里亚金对偶性在非交换拓扑群中的推广。

==非交換理論==
對非交換群<math>G</math>沒有類似的理論，因為此時對偶的對象<math>\hat{G}</math>={<math>G</math>的不可約表示之同構類}不只有一維表示，因此不構成一個群。同时，''G''的不可约酉表示集上如何引入惩罚也不清楚，甚至不清楚这个集合是否适合作为''G''的对偶对象。因此，这种情况下构造对偶性的问题需要彻底重新思考。

迄今建立的理论主要有两类：一类理论中，对偶对象与原对象具有相同性质（如庞特里亚金对偶理论），一类理论中，对偶对象与原对象存在根本差异，以至于无法将它们视作一类对象。第二类理论出现得更早：在庞特里亚金的研究后不久，[[淡中忠郎]] (1938)和[[马克·克林]] (1949)构建了任意紧群的对偶论，即现在所谓[[淡中-克林对偶性]]。{{sfn|ps=none|Hewitt|Ross|1970}}{{sfn|ps=none|Kirillov|1976}}此理论中，群''G''的对偶对象不是群，而是其[[表示范畴|表示的范畴]]<math>\Pi(G)</math>。但它缺乏與調和分析的聯繫，因而無法處理關於<math>\hat{G}</math>上的普朗歇尔測度的問題。

[[File:Duality-for-finite-groups.jpg|thumb|有限群的对偶]]
第一类理论是后来出现的，它们的主要例子是有限群的对偶论。{{sfn|ps=none|Kirillov|1976|loc=12.3}}{{sfn|ps=none|Akbarov|2009}}其中，有限群范畴通过（在<math>\Complex</math>上）取[[群环|群代数]]<math>\Complex_G</math>的运算<math>G\mapsto \Complex_G</math>嵌入到有限维[[霍普夫代数]]范畴中，这样庞特里亚金对偶函子<math>G\mapsto \widehat{G}</math>就变为取[[对偶向量空间]]的运算<math>H\mapsto H^*</math>（这是有限维霍普夫代数范畴中的对偶函子）。{{sfn|ps=none|Akbarov|2009}}

1973年，Leonid I. Vainerman、George I. Kac、Michel Enock、Jean-Marie Schwartz为所有局部紧群构造了这种类型的一般理论。{{sfn|ps=none|Enock|Schwartz|1992}}1980年代起，[[量子群]]的发现使这一领域的研究复兴了，构建的理论开始得到积极的移植。{{sfn|ps=none|Timmermann|2008}}这些理论的用[[C*-代数]]或[[冯诺依曼代数]]的语言描述的，其变体之一是最近的[[局部紧量子群]]理论。{{sfn|ps=none|Kustermans|Vaes|2000}}{{sfn|ps=none|Timmermann|2008}}

这些一般理论的一个缺点是，推广群概念的对象不是通常代数意义上的[[霍普夫代数]]。{{sfn|ps=none|Akbarov|2009}}这一缺陷可在拓扑代数的[[包络 (范畴论)|包络]]为基础的对偶理论框架内得到纠正（仅对一部分类别的群）。<ref>{{harvs|nb|author=Akbarov|year1=2009|year2=2017a|year3=2017b}}</ref>
==源流==

[[龐特里亞金]]在1934年為局部緊阿貝爾群及其對偶性的理論奠下基礎。他的進路須假定群是[[第二可數]]的，並且是緊群或離散群。此條件先後由E.R. van Kampen（1935年）與[[安德魯·韋伊]]（1953年）改進為局部緊阿貝爾群。

==文獻==

下列書籍（可在大部分大學圖書館找到）都有局部緊阿貝爾群、對偶定理與傅立葉變換的相關章節。Dixmier的著作有非交換調和分析的材料，也有英譯本。

* Jacques Dixmier, ''Les C*-algèbres et leurs Représentations'', Gauthier-Villars,1969.
* Lynn H. Loomis, ''An Introduction to Abstract Harmonic Analysis'', D. van Nostrand Co, 1953
* Walter Rudin, ''Fourier Analysis on Groups'', 1962
* Hans Reiter, Classical Harmonic Analysis and Locally Compact Groups, 1968（2nd ed produced by Jan D. Stegeman, 2000）。
* Hewitt and Ross, ''Abstract Harmonic Analysis, vol 1'', 1963.
== 另见 ==
* [[彼得-魏尔定理]]
* [[卡地亚对偶性]]
== 注释 ==
{{notelist}}

== 脚注 ==
{{reflist|20em}}

== 参考文献 ==
* {{cite journal |last=Akbarov|first=S.S.|title=Pontryagin duality in the theory of topological vector spaces and in topological algebra|journal=Journal of Mathematical Sciences|year=2003|volume=113|issue=2|pages=179–349|doi=10.1023/A:1020929201133|s2cid=115297067|doi-access=free}}
* {{cite journal|last1=Akbarov|first1=Sergei S.|last2=Shavgulidze|first2=Evgeniy T.|title=On two classes of spaces reflexive in the sense of Pontryagin|journal=[[Matematicheskii Sbornik]]|year=2003|volume=194|issue=10|pages=3–26|url=http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=sm&paperid=771&option_lang=eng|access-date=2024-04-12|archive-date=2023-10-07|archive-url=https://web.archive.org/web/20231007165754/https://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=sm&paperid=771&option_lang=eng|dead-url=no}}
* {{cite journal |last=Akbarov|first=Sergei S.|title=Holomorphic functions of exponential type and duality for Stein groups with algebraic connected component of identity|journal=Journal of Mathematical Sciences |year=2009|volume=162 |issue=4|pages=459–586|arxiv=0806.3205|doi=10.1007/s10958-009-9646-1|s2cid=115153766}}
* {{cite journal |last=Akbarov|first=Sergei S.|title=Continuous and smooth envelopes of topological algebras. Part 1|journal=Journal of Mathematical Sciences|year=2017a|volume=227|issue=5|pages=531–668 |arxiv=1303.2424 |doi=10.1007/s10958-017-3599-6|mr=3790317|s2cid=126018582}}
* {{cite journal |last=Akbarov|first=Sergei S.|title=Continuous and smooth envelopes of topological algebras. Part 2|journal=Journal of Mathematical Sciences|year=2017b|volume=227|issue=6|pages=669–789 |arxiv=1303.2424 |doi=10.1007/s10958-017-3600-4|mr=3796205|s2cid=128246373}}
* {{cite journal |last=Brauner|first=Kalman|title=Duals of Fréchet spaces and a generalization of the Banach–Dieudonné theorem|url=https://archive.org/details/sim_duke-mathematical-journal_1973-12_40_4/page/845|journal=[[Duke Mathematical Journal]]|year=1973|volume=40|issue=4|pages=845–855 |doi=10.1215/S0012-7094-73-04078-7}}
* {{cite journal |last=Brudovskiĭ|first=B. S.|title=On k- and c-reflexivity of locally convex vector spaces |journal=Lithuanian Mathematical Journal|year=1967|volume=7|issue=1|pages=17–21|doi=10.15388/LMJ.1967.19927 |doi-access=free}}
* {{cite book |last=Dixmier|first=Jacques|author-link=Jacques Dixmier|title=Les C*-algèbres et leurs Représentations |year=1969|publisher=Gauthier-Villars|isbn=978-2-87647-013-2}}
* {{cite book |last1=Enock|first1=Michel|last2=Schwartz|first2=Jean-Marie|title=Kac Algebras and Duality of Locally Compact Groups|year=1992|publisher=Springer-Verlag|isbn=978-3-540-54745-7| others=With a preface by Alain Connes. With a postface by Adrian Ocneanu| location= Berlin|mr=1215933|doi=10.1007/978-3-662-02813-1}}
* {{cite book |last1=Hewitt|first1=Edwin|last2=Ross|first2=Kenneth A.|title=Abstract Harmonic Analysis. Vol. I: Structure of topological groups. Integration theory, group representations |year=1963|isbn=978-0-387-94190-5|mr=0156915|series=Die Grundlehren der mathematischen Wissenschaften|volume= 115|publisher=Springer-Verlag |location=Berlin-Göttingen-Heidelberg}}
* {{cite book |last1=Hewitt|first1=Edwin|last2=Ross|first2=Kenneth A.|title=Abstract Harmonic Analysis|year=1970|volume=2|publisher=Springer |isbn=978-3-662-24595-8|mr=0262773}}
* {{cite book | last=Kirillov | first=Alexandre A. | author-link=Alexandre Kirillov| title=Elements of the theory of representations | orig-year=1972 | publisher=[[Springer-Verlag]] | location=Berlin, New York | series= Grundlehren der Mathematischen Wissenschaften | isbn=978-0-387-07476-4 | mr=0412321  | year=1976 | volume=220}}
* {{cite book |last=Loomis|first=Lynn H.|title=An Introduction to Abstract Harmonic Analysis|url=https://archive.org/details/introductiontoab031610mbp|year=1953|publisher=D. van Nostrand Co|isbn=978-0486481234}}
* {{cite book |last=Morris|first=S.A.|title=Pontryagin duality and the structure of locally compact Abelian groups|url=https://archive.org/details/pontryagindualit0000morr|year=1977|publisher=[[Cambridge University Press]]|isbn=978-0521215435}}
* {{citation|last=Onishchik|first=A.L.|title=Pontrjagin duality|journal=Encyclopedia of Mathematics|year=1984|volume=4|pages=481–482|url=https://www.encyclopediaofmath.org/index.php/Pontryagin_duality|isbn=978-1402006098|accessdate=2024-04-12|archive-date=2019-07-01|archive-url=https://web.archive.org/web/20190701095259/https://www.encyclopediaofmath.org/index.php/Pontryagin_duality|dead-url=no}}
* {{cite book |last=Reiter|first=Hans|title=Classical Harmonic Analysis and Locally Compact Groups|year=1968|publisher=Clarendon Press |isbn=978-0198511892}}
* {{cite book |last=Rudin|first=Walter|author-link=Walter Rudin|title=Fourier Analysis on Groups|year=1962|publisher=D. van Nostrand Co|isbn=978-0471523642}}
* {{cite book |last=Timmermann|first=T.|title=An Invitation to Quantum Groups and Duality - From Hopf Algebras to Multiplicative Unitaries and Beyond|year=2008|publisher=EMS Textbooks in Mathematics, European Mathematical Society|isbn=978-3-03719-043-2}}
* {{cite journal|last1=Kustermans|first1=J.|last2=Vaes|first2=S.|title=Locally Compact Quantum Groups|journal=[[Annales Scientifiques de l'École Normale Supérieure]]|year=2000|volume=33|issue=6|pages=837–934|doi=10.1016/s0012-9593(00)01055-7|url=http://www.numdam.org/item/ASENS_2000_4_33_6_837_0/|access-date=2024-04-12|archive-date=2023-10-07|archive-url=https://web.archive.org/web/20231007165746/http://www.numdam.org/item/ASENS_2000_4_33_6_837_0/|dead-url=no}}
* {{cite journal|last1=Ardanza-Trevijano|first1=Sergio|last2=Chasco|first2=María Jesús|title=The Pontryagin duality of sequential limits of topological Abelian groups|journal=[[Journal of Pure and Applied Algebra]]|year=2005|volume=202|issue=1–3|pages=11–21|mr=2163398|doi=10.1016/j.jpaa.2005.02.006|hdl=10171/1586|hdl-access=free}}
* {{cite journal |last1=Chasco|first1=María Jesús|last2=Dikranjan|first2=Dikran |
last3=Martín-Peinador| first3=Elena|title=A survey on reflexivity of abelian topological groups|journal=[[Topology and Its Applications]]|year=2012|volume=159|issue=9|pages=2290–2309|mr=2921819|doi=10.1016/j.topol.2012.04.012|doi-access=free}}
* {{cite journal |last=Kaplan|first=Samuel|title=Extensions of the Pontrjagin duality. Part I: infinite products|url=https://archive.org/details/sim_duke-mathematical-journal_1948_15/page/649|journal=[[Duke Mathematical Journal]]| year=1948| volume=15| pages=649–658|mr=0026999|doi=10.1215/S0012-7094-48-01557-9}}
* {{cite journal |last=Kaplan|first=Samuel|title=Extensions of the Pontrjagin duality. Part II: direct and inverse limits|url=https://archive.org/details/sim_duke-mathematical-journal_1950-12_17_4/page/419|journal=[[Duke Mathematical Journal]]| year=1950|volume=17|pages=419–435|mr=0049906| doi=10.1215/S0012-7094-50-01737-6}}
* {{cite journal |last=Venkataraman|first=Rangachari |title=Extensions of Pontryagin Duality|journal=[[Mathematische Zeitschrift]]| year=1975| volume=143| issue=2|pages=105–112|doi=10.1007/BF01187051|s2cid=123627326 }}
* {{cite journal |last=Martín-Peinador|first=Elena|title=A reflexible admissible topological group must be locally compact|journal=[[Proceedings of the American Mathematical Society]]|year=1995|volume=123|issue=11 |pages=3563–3566 |doi=10.2307/2161108|hdl=10338.dmlcz/127641|jstor=2161108|hdl-access=free}}
* {{cite journal|last=Roeder|first=David W.|year=1974|journal=Pacific Journal of Mathematics|volume=52|issue=2|pages=519–527|title=Category theory applied to Pontryagin duality|doi=10.2140/pjm.1974.52.519|doi-access=free|url=https://projecteuclid.org/euclid.pjm/1102911979|access-date=2024-04-12|archive-date=2019-08-08|archive-url=https://web.archive.org/web/20190808221626/https://projecteuclid.org/euclid.pjm/1102911979|dead-url=no}}
* {{cite journal |last=Smith|first=Marianne F.|title=The Pontrjagin duality theorem in linear spaces|url=https://archive.org/details/sim_annals-of-mathematics_1952-09_56_2/page/248|journal=[[Annals of Mathematics]]| year=1952|volume=56|issue=2|pages=248–253|doi=10.2307/1969798|jstor=1969798| mr=0049479}}
* {{cite journal|last=Waterhouse|first=William C.|author-link=William C. Waterhouse|title=Dual groups of vector spaces|journal=[[Pacific Journal of Mathematics]]|year=1968|volume=26|issue=1|pages=193–196|doi=10.2140/pjm.1968.26.193|url=https://projecteuclid.org/euclid.pjm/1102986038|doi-access=free|access-date=2024-04-12|archive-date=2019-03-30|archive-url=https://web.archive.org/web/20190330011018/https://projecteuclid.org/euclid.pjm/1102986038|dead-url=no}}
[[Category:拓撲群|P]]
[[Category:调和分析|P]]
[[Category:傅里叶分析|P]]
[[Category:对偶理论|P]]