龐特里亞金對偶性
维基百科,自由的百科全书
在數學上,特別是在調和分析與拓撲群的理論中,龐特里雅金對偶定理解釋了傅立葉變換的一般性質。它統合了實數線上或有限阿貝爾群上的一些結果,如:
- 實數線上夠「好」的複數值周期函數能表成傅立葉級數,反之也能從傅立葉級數推出原函數。
- 實數線上夠「好」的複數值函數有傅立葉變換;一如周期函數,在此也能從其傅立葉變換反推出原函數。
此理論由龐特里亞金首開,並結合了約翰·馮·諾伊曼與安德魯·韋伊的哈爾測度理論,它依賴於局部緊阿貝爾群的對偶群理論。
目录 |
[编辑] 哈爾測度
一個拓撲群 G 被稱作局部緊的,若且唯若其單位元素 e 有個緊鄰域。明白地說,這代表存在一個包含 e 的開集 V,使得它在 G 裡的閉包 是緊的。局部緊群 G 最值得注意的性質之一是它帶有一個唯一的自然測度,稱作哈爾測度,這使得我們可以一致地為 G 中「夠好」的子集測量大小;在此「夠好」的明確意義是波萊爾集,即由緊集生成的σ-代數。更明確地說,局部緊群 G 的一個右哈爾測度是指一個有限可加的波萊爾測度 μ,並在 的意義下滿足「右不變性」;此測度尚須滿足一些正則性(詳見主條目哈爾測度)。任兩個右不變哈爾測度至多差一個正的比例常數。準此要領,亦可定義左不變哈爾測度,當 G 是阿貝爾群時兩者符應。
此測度讓我們得以定義 G 上的複數值波萊爾函數的積分,特別是可以考慮相關的 Lp空間:
以下是局部緊阿貝爾群的若干例子:
- ,配上向量加法。
- 正實數配上乘法。此群透過指數及對數映射同構於 。
- 任意賦以離散拓撲的有限阿貝爾群。根據有限阿貝爾群的結構定理,任何這樣的群都是循環群的直積。
- 整數 配上加法,並賦予離散拓撲。
- 圓群 。這是絕對值為一的複數在乘法下構成的群。我們有同構 。
- p進數配上加法及其p進拓撲。
[编辑] 對偶群
若 G是局部緊阿貝爾群,G 的一個特徵是一個從 G 到圓群 的群同態;特徵在逐點乘法下構成一個群,一個特徵的反元素是它的複共軛。可證明所有 G 上的特徵在緊-開拓撲(即:以緊集上的一致收斂定義收歛性)下構成一個局部緊阿貝爾群,稱作對偶群,記為 或 。若 G 可分,則 可度量化,對一般的 G 則不盡然。
定理. 二次對偶 與 G 有個自然同構。
在此,「自然」或「典範」同構意謂一個「自然地」定義的映射 ,要點是它在範疇中滿足函子性(詳見條目範疇論)。舉例明之:任何有限阿貝爾群都同構於其對偶群,但並不存在典範同構。
定理中的自然同構定義如下:
換言之,我們藉著將一個元素 在每個 G 的特徵上求值,得到一個 上的特徵。
[编辑] 例子
在整數對加法形成的無窮循環群 (配上離散拓撲)上,設 χ 為一特徵,則 χ(n) = χ(1)n,因此 χ 決定於 χ(1) 的值;反之,給定一個 ,必存在特徵 χ 使得 χ(1)=α,由此得到群同構 。此外也容易驗證 上的緊-開拓撲對應到 誘導自 的拓撲。
因此, 的對偶群自然地同構於 。
反之, 上的特徵皆形如 ,其中 n 是整數。由於 是緊的,其對偶群上的拓撲由一致收斂性給出,對應的不外是 上的離散拓撲。因此 的對偶群自然地同構於 。
實數對加法構成的群 同構於自身的對偶群; 上的特徵皆形如 ,其中 r 是實數。藉著這些對偶性,下節描述的傅立葉變換將符應於 上的古典版本。
[编辑] 傅立葉變換
對於一個局部緊阿貝爾群 G,傅立葉變換的值域是其對偶群 。設 ,則其傅立葉變換是下述 上的函數:
其中 μ 是 G 上的一個哈爾測度。可以證明 是 上的有界連續函數,且在無窮遠處趨近零。同理可給出 的傅立葉逆變換
其中 ν 是 上的一個哈爾測度。
[编辑] 群代數
局部緊阿貝爾群 G 上的可積函數構成一個代數,其乘法由卷積給出:設 ,則卷積定義為
定理. 巴拿赫空間 L1(G) 在卷積下構成一個交換結合代數。
此代數稱作 G 的群代數。根據 L1(G) 的完備性,它是個巴拿赫空間。巴拿赫代數 L1(G) 一般沒有乘法單位元,除非 G 離散。但它有個近似單位元,這是個網,以一有向集 I 為索引,寫作 並滿足下述性質。
傅立葉變換將卷積映至逐點乘法,即:
特別是,對任意 G 上的特徵 χ,可在群代數上定義一積性線性泛函
群代數的重要性質之一,在於這些線性泛函窮竭了群代數上所有非平凡(即:非恆零)的積性線性泛函。見文獻中 Loomis 著作的第34節。
[编辑] Plancherel 暨傅立葉反轉定理
如前所述,一個局部緊阿貝爾群 G 的對偶群依然是局部緊阿貝爾群,因而帶有一族哈爾測度,彼此至多差一個比例常數。
定理. 對偶群上存在一個哈爾測度,使得傅立葉變換在緊支集連續函數空間上的限制為等距同構。它可以唯一地延拓為一個么正算子。
其中 ν 是對偶群上既取的哈爾測度。
注意到:若 G 非緊,L1(G) 並不包含 L2(G),所以我們須訴諸一些技巧,例如限制於一個稠密子空間。
依循 Loomis 書中術語,我們稱一對 G 與其對偶群上的哈爾測度 (μ,ν) 是相繫的,若且唯若傅立葉反轉公式成立。傅立葉變換之么正性遂蘊含:對所有 G 上的連續緊支集複數值函數 f 都有
在平方可積函數空間上,我們考慮的傅立葉變換是透過上述么正延拓得到的算子。對偶群本身也有個傅立葉逆變換;它可以刻劃為傅立葉變換之逆(或其伴隨算子,因為傅立葉變換是么正的),這是以下傅立葉反轉公式的內涵。
定理. 取定一對相繫哈爾測度 (μ,ν); 對於傅立葉變換在緊支集連續函數上的限制,其伴隨算子是傅立葉逆變換:
- 在 的情形,我們有 ,若取下述相繫的哈爾測度,則回到傅立葉變換的古典定義:
- (勒貝格測度)
- (勒貝格測度)
- 在 的情形,對偶群 自然同構於 ,而上述算子 F 歸於計算周期函數的傅立葉係數。
- 若 G 為有限群,則得到離散傅立葉變換。此情形易直接證明。
[编辑] 玻爾緊化
龐特里亞金對偶定理的重要應用之一是下述刻劃:
定理. 一個局部緊阿貝爾群 G 為緊,若且唯若對偶群 為離散。另一方面,G 為離散若且唯若 為緊。
對任何拓撲群,無論局部緊或交換與否,皆可定義玻爾緊化。上述對偶性的用處之一是刻劃局部緊阿貝爾群的玻爾緊化。對一個局部緊阿貝爾群 G ,考慮拓撲群 ,其中 H 就群結構而言是 ,但帶離散拓撲。由於下述包含映射
是個連續同態,其對偶同態
是個映至一個緊群的同態;可以證明它滿足定義玻爾緊化的泛性質,因而 確為 G的玻爾緊化。
[编辑] 範疇論觀點
函子的觀點對於研究對偶群是很有用的。以下將以 LCA 表示所有局部緊阿貝爾群及其間的連續群同態構成之範疇。
對偶群的構造 給出一個對偶函子 。其二次迭代 遂給出函子 。
定理. 對偶函子是一個範疇等價。
定理. 對偶函子的二次迭代自然同構於 LCA 上的恆等函子。
此同構可以類比於有限維向量空間的二次對偶(特別是實與複向量空間)。
龐特里亞金對偶性將離散群與緊群的子範疇交換。若 R 是一個環,而 G 是個左 R-模,則從對偶性可推知離散左 R-模與緊右 R-模對偶。LCA 裡的自同態環 End(G) 依對偶性對應至其反環(即:環的乘法次序交換)。舉例明之:取 ,則 ;前者滿足 ,對後者亦然。
[编辑] 非交換理論
對非交換群 G 沒有類似的理論,因為此時對偶的對象 ={G 的不可約表示之同構類} 不只有一維表示,因此不構成一個群。在範疇論中類似的推廣稱作 Tannaka-Krein 對偶定理;但它缺乏與調和分析的聯繫,因而無法處理關於 上的 Plancherel 測度的問題。
某些非交換群的對偶理論以C*-代數的語言表述。
[编辑] 源流
龐特里亞金在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.