ポントリャーギン双対のソースを表示

[[数学]]、殊に[[調和解析]]および[[位相群]]の理論において'''ポントリャーギン双対性'''（ポントリャーギンそうついせい、{{lang-en|''Pontryagin duality''}}）は[[フーリエ変換]]の一般的な性質を説明する。ポントリャーギン双対は実数直線あるいは[[有限アーベル群]]上の函数の、たとえば

* 実数直線上の素性の良い複素数値[[周期函数]]は[[フーリエ級数]]展開を持ち、そのような函数はそのフーリエ展開から復元することができる。
* 実数直線上の素性の良い複素数値函数は、おなじく数直線上で定義される函数としての[[フーリエ変換]]を持ち、周期函数におけると同様に、そのような函数はそのフーリエ変換から復元することができる。
* 有限[[アーベル群]]上の複素数値函数はその（もとの群と自然同型ではないが同型な）[[双対群]]上の函数としての[[離散フーリエ変換]]を持ち、有限群上の任意の函数がその離散フーリエ変換から復元することができる。

といったようないくつかの話題を統一的にみることができる文脈に属する。この理論は[[レフ・ポントリャーギン]]によって導入され、[[ジョン・フォン・ノイマン|フォン・ノイマン]]や[[アンドレ・ヴェイユ|ヴェイユ]]らの導入した[[ハール測度]]の概念やそのほか[[局所コンパクト空間|局所コンパクト]][[アーベル群]]の[[双対群]]に関する理論などと結び付けられた。

== ハール測度 ==
[[位相群]]が'''[[局所コンパクト群]]'''となるのはその群の単位元 ''e'' がコンパクト近傍を持つときであり、かつそのときに限る。この条件は ''e'' を含む開集合 ''V'' で、その ''G'' の位相に関する閉包がコンパクトであるようなものが存在することを意味する。局所コンパクト群に関して最も特筆すべき事実のひとつは、それが（右不変）[[ハール測度]]と呼ばれる自然な測度を本質的にただひとつ持ち、それにより ''G'' の十分素性の良い部分集合の「大きさ」を測ることができるということにある。ここでいう「十分素性の良い部分集合」{{lang|en|("sufficiently regular subset")}} というのは[[ボレル集合]]、つまり ''G'' の[[コンパクト空間|コンパクト部分集合]]の全体が生成する[[完全加法族]]の元のことである。もう少し明確に述べれば、局所コンパクト群 ''G'' 上の'''右不変ハール測度''' {{lang|en|(''right-invariant Haar measure'')}} とは、''G'' のボレル集合族上で定義される可算加法的測度 &mu; であって、''G'' の各元 ''x'' と各ボレル集合 ''A'' に関して &mu;(''Ax'') = &mu;(''A'') が成り立つという意味で右不変であり、さらに適当な正則性 {{lang|en|(regularity)}} 条件を満たすもののことである（詳細は[[ハール測度]]の項を参照）。群がコンパクトであることとハール測度の有限性が同値であり、一般に正の定数倍の違いを除いて（右不変）ハール測度は一意的に存在する。コンパクト群や可換群の場合には右不変ハール測度は左不変でもあり、単にハール測度と呼ばれる。

ハール測度によって群上で定義される（複素数値）ボレル函数に対して不変積分の概念を定義することができる。特に、ハール測度に付随した ''L''<sup>''p''</sup>-空間が

: <math>L^p_\mu(G) = \left\{f\colon G \to \mathbb{C}\ \bigg|\ \int_G |f(x)|^p\, d\mu(x) < \infty \right\}</math>

というように定義される。局所コンパクト可換群の例には以下のようなものが挙げられる。

* 正の整数 ''n'' に対する '''R'''<sup>''n''</sup> にベクトルの加法を群演算と考えたもの。
* 正の[[実数]]全体 '''R'''<sub>+</sub> に通常の実数の乗法を群演算として考えたもの。この群は明らかに加法群 ''R'' に同型である。実際、指数写像がその同型を与えている。
* 任意の[[有限アーベル群]]に[[離散位相]]を入れたもの。有限アーベル群の構造定理によれば、このような群は全て巡回群の直積として表すことができる。
* 整数全体 '''Z''' を加法群と見たものに、やはり[[離散位相]]を入れたもの。
* [[円周群]] '''T''' = ''U''(1)。この群は[[絶対値]]が 1 の複素数全体に通常の複素数の乗法を入れたものである。'''T''' は位相群として[[剰余群]] '''R'''/'''Z''' に同型である。
* [[p進数|''p''-進数体]] '''Q'''<sub>''p''</sub> を加法に関する群と見て、通常の ''p''-進位相を入れたもの。

== 双対群 ==
''G'' を局所コンパクト可換群とするとき、''G'' の'''[[指標 (群論)|指標]]'''とは円周群 ''T'' に値を持つ ''G'' 上の[[連続写像|連続]][[群準同型]]のことである。
''G'' の指標全体の成す集合はそれ自身が ''G'' の[[双対群]]と呼ばれる局所コンパクト群を成すことが示される。

双対群上の群演算は指標の点ごとの積、指標の逆元はその複素共軛、[[位相空間|位相]]は[[コンパクト集合]]上[[一様収束]]位相（すなわち[[コンパクト開位相]]）によって与えられる。
この位相は一般には距離化可能ではないが、群 ''G'' が可分な局所コンパクト可換群であるならばその双対群は距離化可能である。

アーベル群 ''G'' の双対群は {{hat|''G''}} で表される。

; 定理: {{hat|''G''}} の双対群は ''G'' に自然同型 ({{en|canonically isomorphic}}) である。すなわち自然に ({{hat|''G''}})<sup>^</sup> = G と見なせる。

ここでいう「自然な」（あるいは標準的な）という形容は、''G'' から ({{hat|''G''}})<sup>^</sup> への写像が定義できて、その写像が[[函手的]] ({{en|functorial}}) であるということを意味する。この概念の正確な定式化には[[自然変換]]の概念が関わっている。

この事実は重要で、たとえば如何なる有限アーベル群もその双対群と同型ではあるが、自然同型ではない。定理に言う自然同型は

: <math> x \mapsto \{\chi \mapsto \chi(x) \}\mbox{ i.e. } x(\chi):=\chi(x)</math>

と定義することによって与えられる。言い換えれば、群の各元 ''x'' は双対群上の指標と同一視される。

== 例 ==
整数全体が加法に関して成す[[無限巡回群]] '''Z''' 上の指標は、生成元である 1 の行き先によって決まる。つまり、'''Z''' 上の指標 &chi; に対し &chi;(''n'') = &chi;(1)<sup>''n''</sup> が成り立ち、さらにこの式は ''T'' から &chi;(1) となるべき値を任意に選ぶことで定まる。したがってこのことから、'''Z''' の代数的双対群が円周群 '''T''' に同型であることは直ちにわかる。コンパクト集合上一様収束の位相はこの場合、[[各点収束]]位相に一致する。またこの位相が複素数全体 '''C''' における通常の位相を円周群に制限したものに一致することも簡単に示される。以上のことから '''Z''' の双対群は '''T''' に自然同型である。

逆に '''T''' 上の指標は適当な整数 ''n'' によって ''z'' &rarr; ''z''<sup>''n''</sup> の形に書ける。'''T''' はコンパクトゆえ、一様収束位相であるその双対群上の位相は[[離散位相]]となり、結果として '''T''' の双対は '''Z''' に自然同型となる。

実数全体の成す加法群 '''R''' は自身の双対群に同型で、'''R''' 上の指標は ''r'' &rarr; ''e''<sup>''i''&theta;''r''</sup> の形に書ける。このような双対性に関して、次の節で導入するフーリエ変換は '''R''' 上の古典的な意味での[[フーリエ変換]]と一致する。

== フーリエ変換 ==
局所コンパクト可換群の双対群は抽象版の[[フーリエ変換]]が定義される空間として導入された。函数が ''L''<sup>1</sup>(''G'') に属すならば、'''フーリエ変換'''は {{hat|''G''}} 上の函数

: <math> \hat f(\chi) = \int_G f(x) \overline{\chi(x)}\;d\mu(x) </math>

として定義される。ここで積分は ''G'' 上の[[ハール測度]] &mu; に関するものである。

''G'' 上の ''L''<sup>1</sup>-函数のフーリエ変換が、無限遠で消えるような {{hat|''G''}} 上の有界連続函数であることを示すのはそれほど難しくはない。

同様に {{hat|''G''}} 上の可積分函数の'''逆フーリエ変換'''は

: <math> \check{g}(x) = \int_{\hat{G}} g(\chi) \chi(x)\;d\nu(\chi) </math>

で与えられる。ここで積分は双対群 {{hat|''G''}} 上のハール測度 &nu; に関するものである。

== 群環 ==
局所コンパクト可換群 ''G'' 上の可積分函数全体の成す函数空間は[[畳み込み]]を積として[[多元環]]を成す。''f'', ''g'' を可積分函数とすれば、''f'' と ''g'' との畳み込みは
: <math> (f * g)(x) = \int_G f(x - y) g(y)\, d \mu(y)</math>
で定義される。

; 定理: バナッハ空間 ''L''<sup>1</sup>(''G'') は畳み込みのもとで結合可換多元環を成す。

この多元環は ''G'' の[[群環]]として見ることができる。''L''<sup>1</sup>(''G'') の完備性により。これは[[バナッハ環]]を成す。バナッハ環 ''L''<sup>1</sup>(''G'') は ''G'' が離散群でない限り乗法に関する単位元を持たないが、一般に[[近似的単位元]]と呼ばれる、有向集合 ''I'' で添字付けられる''L''<sup>1</sup>(''G'') 内の[[有向点族]] {''e''<sub>''i''</sub>}<sub>''i''</sub> で
: <math> f * e_i \to f</math>

を満たすものが存在する。フーリエ変換は畳み込みを通常の積に移す。つまり
: <math> \mathcal{F}(f * g)(\chi) = \mathcal{F}(f)(\chi) \cdot \mathcal{F}(g)(\chi)</math>
が成立する。特に、''G'' 上の任意の群指標に対してその群環上の乗法的線型汎函数
: <math> f \mapsto \hat{f}(\chi)</math>
が一意的に対応付けられる。群環の重要な性質として、この形で与えられる汎函数はこの群環上の非自明な（すなわち恒等的に零とはならない）乗法的線型汎函数を尽くすということが挙げられる (Loomis, p34)。

== プランシュレルの定理とフーリエ反転定理 ==
すでに述べたように、局所コンパクト可換群の双対群はそれ自身局所コンパクト可換群であり、したがってハール測度を（もっとはっきり言えば互いに正数倍の関係にあるハール測度の全体からなる族を）持つ。

; 定理: 双対群上のハール測度を適当な定数倍に取り替えることにより、フーリエ変換の ''G'' 上のコンパクト台連続函数の集合への制限が等距線型写像となるようにすることができる。またそれを[[ユニタリ作用素]]<div style="margin: 1ex auto 1ex 1em"><math> \mathcal{F}\colon L^2_\mu(G) \to L^2_\nu(\hat{G}) </math></div>に一意的に拡張することができる。ここで &nu; は双対群上のハール測度である。

コンパクトではない局所コンパクト群 ''G'' に対し、空間 ''L''<sup>1</sup>(''G'') は ''L''<sup>2</sup>(''G'') を含まないことに注意が必要である。したがって、そのような稠密集合への制限にはいくつかの技術的な手法を用いなければならない。

(Loomis, 1953) に従い、''G'' および ''G''<sup>^</sup> のハール測度の組が互いに対応（随伴、同伴）するということを、それらの測度に関する積分の下フーリエ反転公式が成立するということによって定める。フーリエ変換の[[ユニタリ作用素|ユニタリ指標]]は

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

が ''G'' 上のコンパクト台付き複素数値連続函数に対して成立することを含意している。

このフーリエ変換のユニタリ拡張を自乗可積分函数の空間上のフーリエ変換と考えることができる。双対群もそれ自身の逆フーリエ変換を持ち、それはフーリエ変換の逆変換（あるいはユニタリ性があるから随伴）として特徴付けられる。フーリエ反転公式の内容は次のように述べられる。

; 定理: フーリエ変換をコンパクト台付き連続函数の空間へ制限したものの随伴作用素は逆フーリエ変換<div style="margin: 1ex auto 1ex 2em"><math>L^2_\nu(\hat{G}) \to L^2_\mu(G) </math></div>である。ここで ''G'' および ''G''<sup>^</sup> の測度は対応するものをとる。

''G'' = '''R'''<sup>''n''</sup> の場合、''G''<sup>^</sup> = '''R'''<sup>''n''</sup> であり、'''R'''<sup>''n''</sup> における通常の[[フーリエ変換]]が

: <math> \mu = (2 \pi)^{-n/2} \times \mbox{Lebesgue measure},</math>
: <math> \nu = (2 \pi)^{-n/2} \times \mbox{Lebesgue measure}</math>

と置くことにより得られる。''G'' = '''T''' の場合は双対群 ''G''<sup>^</sup> は自然に正数全体の成す加法群 '''Z''' に同型であり、上述の作用素 ''F'' は周期函数の[[フーリエ級数]]の係数の計算に特殊化される。

''G'' が有限群ならば[[離散フーリエ変換]]が得られる。この場合は直接証明するほうが簡単である。

== ボーアコンパクト化と概周期性 ==

ポントリャーギン双対性の重要な応用にコンパクト可換位相群の次のような特徴づけがある。

; 定理: 局所コンパクト可換群 ''G'' がコンパクトとなることは、その双対群 ''G''<sup>^</sup> が離散群となることに同値である。逆に、''G'' が離散群であるとき、かつそのときに限り''G''<sup>^</sup> はコンパクトである。

''G'' が局所コンパクトあるいは可換であるか否かに関わらず、任意の位相群 ''G'' に対して[[ボーアコンパクト化]]が定義される。コンパクトアーベル群と離散アーベル群の間のポントリャーギン双対性を用いて、任意の局所コンパクト可換位相群のボーアコンパクト化を特徴付けることができる。''G'' のボーアコンパクト化 ''B''(''G'') とは、''H'' を ''G''<sup>^</sup> と（抽象群として）同じ群構造をもつが位相を[[離散位相]]に取り替えたものとするとき、''H''<sup>^</sup> のことをいう。[[包含写像]]

: <math> \iota\colon H \hookrightarrow \hat{G} </math>

は連続準同型であるから、双対射

: <math> G \sim \widehat{\hat{G}} \to \hat{H} </math>

はコンパクト群への射で、これが必要な[[普遍性]]を満たすことは簡単に示せる。

{{See also|[[概周期函数]]}}

== 圏論的考察 ==

双対群を[[函手性]]の観点からみることは有効である。以下、'''LCA''' で局所コンパクト可換群が連続群準同型に関して成す圏を表す。
''G''<sup>^</sup> の双対群構成は[[函手#反変関手|反変函手]] '''LCA''' &rarr; '''LCA''' である。特に、反復函手 ''G'' &rarr; (''G''<sup>^</sup>)<sup>^</sup> は共変である。

; 定理: 双対群函手は '''LCA''' から '''LCA'''<sup>op</sup> への[[圏同値]]である。
; 定理: 反復双対函手は '''LCA''' 上の恒等変換に自然同型である。

この同型は、有限次元ベクトル空間（特別な場合として実または複素ベクトル空間）の二重双対と比べることができる。

この双対性は離散群の成す部分圏とコンパクト群の成す部分圏を互いに入れ替える。''R'' を[[環 (数学)|環]]とし、''G'' を左 ''R''-加群とすると、双対群 ''G''<sup>^</sup> は右 ''R''-加群となる。同様にして離散左 R-加群はポントリャーギン双対によってコンパクト右 ''R''-加群になる。'''LCA''' における[[自己準同型]]の環 End(''G'') は双対性によってその（積の順序が逆になる）[[逆環]] に写される。例えば ''G'' が無限巡回離散群の場合、''G''<sup>^</sup> は円周群で、前者については End(''G'') = '''Z''' であるから、後者についても同じく End(''G''<sup>^</sup>) = '''Z''' が成り立つ。

== 非可換理論 ==

可換群の場合と同様の非可換群 ''G'' に対する理論は存在しない。なぜならば、この場合表現の同型類の適切な双対対象は一次元表現だけを含むことはできず、群とはならないからである。非可換な場合への一般化として有効なものが[[圏論]]において存在し、[[淡中クライン双対性]]と呼ばれる。しかし、これは ''G''<sup>^</sup> 上のプランシュレル測度に関する問題に対処しなければならず、[[調和解析]]に関係するものからは話がそれてしまう。

他にも非可換群に対する双対理論の類似物は存在していて、いくつかは[[作用素環論]]の言葉で定式化されている。基本的な出発点は群 ''G'' の群環と双対群 ''G''<sup>^</sup> の関数環とが同型になっているということである。

== 歴史 ==
局所コンパクト群とその双対性に関する理論の基礎は1934年の[[レフ・ポントリャーギン]]まで遡る。彼が扱った内容は群が[[第二可算公理]]を満たすことに依拠しており、またコンパクト群であるか離散群であるような場合であった。この制約は後に[[イグベルト・ファン・カンペン]] (1935) と[[アンドレ・ヴェイユ]] (1953) によって取り除かれ、一般の局所コンパクト群を対象とするように一般化された。

== 一般化 ==
ポントリャーギン-ファン・カンペン (P-K) 双対性はいくつかの方向へ拡張することができる。

S.Kaplan は「ポントリャーギン双対性の拡張」<ref>"Extensions of the Pontryagin duality" 第 I 部: 無限積 (infinite products), Duke Math. J. 15 (1948) 649–658 および第 II 部: 順極限と逆極限 (direct and inverse limits), same journal, 17 (1950),419–435</ref>において局所コンパクトハウスドルフ可換群の任意濃度の直積と可算逆極限が P-K 双対性を満たすことを示した。後の 1975 年 R.Venkataraman は「ポントリャーギン双対性の拡張」<ref>"Extensions of Pontryagin Duality", Math. Z. 143, 105-112</ref>において他の事実のとともに P-K 双対性をもつ可換位相群の任意の開部分群がそれ自身 P-K 双対性を持つことを示した。さらに最近になって、S. Ardanza-Trevijano と M.J. Chasco は上述のカプランの結果を拡張し、「位相アーベル群のシーケンシャル極限のポントリャーギン双対性」<ref>"The Pontryagin duality of sequential limits of
topological Abelian groups", Journal of Pure and Applied Algebra 202 (2005), 11–21</ref>において、P-K 双対性を満たすアーベル群列の順極限と逆極限が P-K 双対性をもつのはその群が距離化可能であるかまたは ''k''<sub>&omega;</sub>-空間であるときであり、必ずしも局所コンパクトである必要はないが、それ以外にいくつかの条件がその数列に関して満足されなければならない。

== 注記 ==
<references/>

== 参考文献 ==
以下の書籍には局所コンパクト群、双対性、フーリエ変換に関する章が含まれる。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.
{{DEFAULTSORT:ほんとりやあきんそうつい}}
[[Category:位相群]]
[[Category:調和解析]]
[[Category:表現論]]
[[Category:フーリエ解析]]
[[Category:双対性]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]