庞特里亚金对偶性

✍ dations ◷ 2025-10-17 10:28:36 #拓扑群,调和分析,傅里叶分析,对偶理论

在数学上,特别是在调和分析与拓扑群的理论中,庞特里雅金对偶定理解释了傅里叶变换的一般性质。它统合了实数线上或有限阿贝尔群上的一些结果,如:

此理论由庞特里亚金(Lev Pontryagin)首开,并结合了约翰·冯·诺伊曼与安德鲁·韦伊的哈尔测度理论,它依赖于局部紧阿贝尔群的对偶群理论。

一个拓扑群 G {\displaystyle G} 是整数。由于 T {\displaystyle \mathbb {T} } 是实数。借着这些对偶性,下节描述的傅里叶变换将符应于 R {\displaystyle \mathbb {R} }

群代数的重要性质之一,在于这些线性泛函穷竭了群代数上所有非平凡(即:非恒零)的积性线性泛函。见文献中著作的第34节。

如前所述,一个局部紧阿贝尔群 G {\displaystyle G} 书中术语,我们称一对 G {\displaystyle G} ,当且仅当傅里叶反转公式成立。傅里叶变换之幺正性遂蕴含:对所有 G {\displaystyle G} 上的连续紧支集复数值函数 f {\displaystyle f} 都有

在平方可积函数空间上,我们考虑的傅里叶变换是透过上述幺正延拓得到的算子。对偶群本身也有个傅里叶逆变换;它可以刻划为傅里叶变换之逆(或其伴随算子,因为傅里叶变换是幺正的),这是以下傅里叶反转公式的内涵。

定理:取定一对相系哈尔测度 ( μ , ν ) {\displaystyle (\mu ,\nu )} ;对于傅里叶变换在紧支集连续函数上的限制,其伴随算子是傅里叶逆变换:

庞特里亚金对偶定理的重要应用之一是下述刻划:

定理:一个局部紧阿贝尔群 G {\displaystyle G} 为紧,当且仅当对偶群 G ^ {\displaystyle {\hat {G}}} 为离散。另一方面, G {\displaystyle G} 为离散当且仅当 G ^ {\displaystyle {\hat {G}}} 为紧。

对任何拓扑群,无论局部紧或交换与否,皆可定义玻尔紧化。上述对偶性的用处之一是刻划局部紧阿贝尔群的玻尔紧化。对一个局部紧阿贝尔群 G {\displaystyle G} ,考虑拓扑群 H ^ {\displaystyle {\hat {H}}} ,其中 H {\displaystyle H} 就群结构而言是 G ^ {\displaystyle {\hat {G}}} ,但带离散拓扑。由于下述包含映射

是个连续同态,其对偶同态

是个映至一个紧群的同态;可以证明它满足定义玻尔紧化的泛性质,因而 H ^ {\displaystyle {\hat {H}}} 确为 G {\displaystyle G} 的玻尔紧化。

函子的观点对于研究对偶群是很有用的。以下将以LCA表示所有局部紧阿贝尔群及其间的连续群同态构成之范畴。

对偶群的构造 G G ^ {\displaystyle G\mapsto {\hat {G}}} 给出一个对偶函子 L C A L C A o p {\displaystyle \mathbf {LCA} \rightarrow \mathbf {LCA} ^{\mathrm {op} }} 。其二次迭代 G G {\displaystyle G\mapsto G^{\wedge \wedge }} 遂给出函子 L C A L C A {\displaystyle \mathbf {LCA} \rightarrow \mathbf {LCA} }

定理:对偶函子是一个范畴等价。

定理:对偶函子的二次迭代自然同构于LCA上的恒等函子。

此同构可以类比于有限维向量空间的二次对偶(特别是实与复向量空间)。

庞特里亚金对偶性将离散群与紧群的子范畴交换。若 R {\displaystyle R} 是一个环,而 G {\displaystyle G} 是个左 R {\displaystyle R} -模,则从对偶性可推知离散左 R {\displaystyle R} -模与紧右 R {\displaystyle R} -模对偶。LCA里的自同态环 E n d ( G ) {\displaystyle \mathrm {End} (G)} 依对偶性对应至其反环(即:环的乘法次序交换)。举例明之:取 G = Z {\displaystyle G=\mathbb {Z} } ,则 G ^ = T {\displaystyle {\hat {G}}=\mathbb {T} } ;前者满足 E n d ( G ) = Z {\displaystyle \mathrm {End} (G)=\mathbb {Z} } ,对后者亦然。

对非交换群 G {\displaystyle G} 没有类似的理论,因为此时对偶的对象 G ^ {\displaystyle {\hat {G}}} ={ G {\displaystyle G} 的不可约表示之同构类}不只有一维表示,因此不构成一个群。在范畴论中类似的推广称作Tannaka-Krein对偶定理;但它缺乏与调和分析的联系,因而无法处理关于 G ^ {\displaystyle {\hat {G}}} 上的普朗歇尔测度的问题。

某些非交换群的对偶理论以C*-代数的语言表述。

庞特里亚金在1934年为局部紧阿贝尔群及其对偶性的理论奠下基础。他的进路须假定群是第二可数的,并且是紧群或离散群。此条件先后由E.R. van Kampen(1935年)与安德鲁·韦伊(1953年)改进为局部紧阿贝尔群。

下列书籍(可在大部分大学图书馆找到)都有局部紧阿贝尔群、对偶定理与傅里叶变换的相关章节。Dixmier的著作有非交换调和分析的材料,也有英译本。

相关

  • 蓖麻油蓖麻油(“蓖”,拼音:bì,注音:ㄅㄧˋ,粤拼:bei6,音同“避”)是由蓖麻种子提炼而来的植物油,CAS号为8001-79-4,常温下为液体状。蓖麻油是一种复合三酸甘油酯,主要成分为蓖麻子油酸(Ricinol
  • Haemonchus contortus捻转血矛线虫(学名:Haemonchus contortus),又名扭旋血线虫,是寄生于反刍动物(特别是绵羊)消化道内的一种寄生虫,属毛圆科血矛属。成虫主要寄生在山羊和绵羊的真胃。捻转血矛线虫是一
  • 前日军卫戍医院北投分院三军总医院北投分院为中华民国卫生福利部评定优等医院及合格之精神科教学医院,番号818医院,是中华民国台北市北投区的一所中华民国国军医院,主要收治精神科患者,原称三军北投精
  • 维克托·米哈伊洛维奇·切布里科夫维克托·米哈伊洛维奇·切布里科夫(俄语:Виктор Михайлович Чéбриков,1923年4月27日-1999年7月1日),苏联党务活动家,克格勃主席(1982-1988年在位)。大将军衔
  • 氧化钪氧化钪(化学式:Sc2O3),是钪最常见的氧化物。它是不溶于水的白色粉末,易溶于热酸,但经高温灼烧的氧化钪较难溶解。氧化钪可借由直接燃烧钪而得:含挥发基的钪化合物经氧化灼烧也可以
  • 占领鲁尔占领鲁尔(德语:Ruhrbesetzung)是指法国与比利时军队由于德国未能及时偿还赔款而于1923年至1924年间对于鲁尔区的军事占领。在一战结束后不久,鲁尔区曾于1918年至1919年间在协约
  • 磷酸钴磷酸钴是一种无机化合物,化学式为Co3(PO4)2。在商业上,它是一种被称作“钴紫”无机颜料。这种材料的薄膜可以催化水的分解。混合钴(II)盐溶液和磷酸盐的溶液时,会沉淀出四水合
  • 克利阿科斯克利阿科斯(Clearchus 或 Clearch)(古希腊语:Κλέαρχος中;约公元前450年生于斯巴达-前401年死于巴比伦)是一名斯巴达将领和佣兵,后在小居鲁士帐下服役。拉菲阿斯(Rhamphias
  • 中霹雳县中霹雳县(马来语:Perak Tengah)是马来西亚霹雳州的一个县,位于州南部,霹雳河(英语:Perak River)在中部流经。面积1,282平方公里。2010年人口99,854人,绝大部分是土著,华人只占1.28%,比
  • 约翰·摩尔·阿利森约翰·摩尔·阿利森(英语:John Moore Allison;1905年4月7日-1978年10月28日),美国外交官、曾任远东事务助理国务卿、驻日本大使、驻印度尼西亚大使(英语:Embassy of the United Stat