Pontryagin 对偶

说明

为什么是 $\mathbb{T}$：它是紧的 $T_{1}$ 群，也是最简单的「能承载全部特征标」的群。对偶群因此自动是紧的（当 $M$ 离散时）—— 这就是「对偶把大小反过来」的机制。

两个基本例子（都可以直接算）：$\widehat{\mathbb{Z}} \cong \mathbb{T}$，$\widehat{\mathbb{T}} \cong \mathbb{Z}$ —— 对偶把离散的整数群换成紧的圆群，反过来也一样。第三个例子 $\widehat{\mathbb{R}} \cong \mathbb{R}$ 由 Fourier 变换给出：$y \mapsto e^{2\pi i xy}$ 的每个连续特征标都长这样。

⭐ 对偶到底把什么换成了什么，有两条独立的命题：

• 「离散与紧 Hausdorff 互换」—— 讲的是拓扑性质怎么翻；
• 「挠与 Stonean、无挠与连通」—— 讲的是代数性质怎么翻。

两张字典合起来才是完整的「用拓扑来读代数」，也是凝聚态数学「用紧 Hausdorff 空间测一切」这一思路的来源。