連続的双対空間

関数解析学における位相線型空間の連続的双対空間（れんぞくてきそうついくうかん、テンプレート:Lang-en-short）、位相的双対空間（いそうてきそうついくうかん、テンプレート:Lang-en-short）あるいは単に双対空間（そうついくうかん、テンプレート:Lang-en-short）は、位相線型空間を扱う際に典型的に注目される連続な線型汎関数全体の成す空間として生じる。これは位相線型空間 V の代数的双対空間 V^∗ の線型部分空間で V′ で表される。

ユークリッド空間のような任意の「有限次元」ノルム空間もしくは位相線型空間に対しては、連続的双対は代数的双対に一致する。しかし任意の無限次元ノルム空間において不連続線型汎関数の例に見るように両者は一致しない。にも拘らず、位相線型空間論において不連続写像を考える必要はそれほどないので、わざわざ「連続的双対」や「位相的双対」とは言わずに単に「双対空間」と呼ぶことが多い。

双対空間

位相線型空間 V に対してその連続的双対空間あるいは（位相線型空間論の意味での）双対空間 V′ とは、V から係数体 F への連続線型汎関数 φ: V → F 全体の成すベクトル空間として定義される。

位相線型空間 V 上の連続的双対空間 V′ 上に位相を導入する標準的な方法が存在する。即ち、テンプレート:仮リンクからなる任意のクラス $𝒜$ はそれに属する集合上の一様収束の位相を V 上に定める。同じ位相は、A が $𝒜$ を亙るときの、V 上の連続線型汎関数 φ に対する

$\Vert \phi {\Vert }_A=\underset{x\in A}{\sup }|\phi (x)|$

の形の半ノルムたちから生成される位相としても得られる。これはすなわち、汎関数 φ_i たちの成すネットが V 内の汎関数 φ に収束する必要十分条件が、クラス $𝒜$ に属する任意の A に対して

$\Vert {\phi }_i-\phi {\Vert }_A=\underset{x\in A}{\sup }|{\phi }_i(x)-\phi (x)|\to 0(\text{as. }i\to \mathrm{\infty })$

を満たすことであることを意味する。また（必ずしも仮定しなければならないわけではないが）通常は考えるクラス $𝒜$ は、次のような条件

• V の各点は $𝒜$ に属する適当な集合 A に含まれる、
• $𝒜$ の任意の二元 A, B に対してその上界となる（つまり A ∪ B ⊂ C を満たす）集合 C が $𝒜$ に属する、
• $𝒜$ はスカラー倍に関して閉じている

などを満足することを仮定する。これらの条件がすべて満たされている時、対応する V′ 上の位相はハウスドルフとなり、また集合族

$U_A=\{x\in V:\Vert \phi {\Vert }_A<1\}(A\in 𝒜)$

はその近傍基を与える。

ここに、三種類の非常に重要な特別の場合を挙げる。

• V′ 上の強位相は V のテンプレート:仮リンク上一様収束の位相（つまり、$𝒜$ として V の有界部分集合全体の成すクラスをとったもの）である。V がノルム線型空間（例えばバナハ空間やヒルベルト空間）ならば V′ 上の強位相は
  $\Vert \phi \Vert =\underset{\Vert x\Vert \le 1}{\sup }|\phi (x)|$
  なるノルムによって、ノルム空間（実は係数体が完備ならばバナハ空間）になる。
• V′ 上のテンプレート:仮リンクは、V の全有界集合上一様収束の位相（つまり、$𝒜$ として V の全有界部分集合全体の成すクラスをとったもの）である。
• V′ 上の弱位相は V の有限集合上一様収束の位相（つまり、$𝒜$ として V の有限部分集合全体の成すクラスをとったもの）である。

これら三種類の位相は何れも、位相線型空間に回帰性（反射性）の一種を定める。

例

1 < p < ∞ なる実数 p に対して ℓ^p は数列 テンプレート:Nowrap で p-ノルム

$\Vert 𝐚{\Vert }_p={(\sum _{n=0}^{\mathrm{\infty }}|a_n{|}^p)}^{1/p}$

が有限となるもの全体の成すバナハ空間空間である。このとき、q は テンプレート:Nowrap を満たすものとすれば ℓ^p の連続的双対は自然に ℓ^q と同一視される。即ち、各元 テンプレート:Math に対応する テンプレート:Math の元は数列 (φ(e_n)) で与えられる。ただし、e_n は標準基底ベクトルすなわち、n 番目の項が テンプレート:Math でそれ以外はすべて テンプレート:Math となるような数列である。逆に、数列 テンプレート:Math に対応する テンプレート:Math 上の連続線型汎関数 φ は任意の テンプレート:Math に対して テンプレート:Math と置くことにより与えられる（ヘルダーの不等式の項を参照）。

同様の仕方で、テンプレート:Nowrap の連続的双対は有界数列全体の成す空間 テンプレート:Nowrap と自然に同一視される。さらには、上限ノルムに関して収束級数全体の成すバナハ空間 c および テンプレート:Math に収束する数列全体の成すバナハ空間 c₀ の連続的双対はともに テンプレート:Nowrap と自然に同一視される。

急減少関数のなす空間 $𝒮({ℝ}^d)$ の連続的双対は緩増加超関数のなす空間 ${𝒮}^{\prime }({ℝ}^d)$ であるテンプレート:Sfn。

リースの表現定理によれば、ヒルベルト空間の連続的双対はふたたびヒルベルト空間を成し、元の空間とテンプレート:仮リンクになる。このことは、量子力学の数学的定式化において物理学者が用いるブラケット記法の根拠を与える。

連続転置写像

位相線型空間の間の連続線型写像 テンプレート:Math の（連続的）転置 テンプレート:Math は、代数的な場合と同様に

$T^{\prime }(\phi )=\phi \circ T,(\phi \in W^{\prime })$

と定義され、汎関数 テンプレート:Math は テンプレート:Mvar に属する。対応 テンプレート:Math は テンプレート:Mvar から テンプレート:Mvar への線型汎関数の空間から テンプレート:Mvar から テンプレート:Mvar への線型汎関数の空間への線型写像を定める。また、連続線型汎関数 テンプレート:Math が合成できるとき

$(U\circ T{)}^{\prime }=T^{\prime }\circ U^{\prime }$

が成り立つ。テンプレート:Mvar と テンプレート:Mvar がともにノルム空間ならば、転置写像 テンプレート:Math のノルムは テンプレート:Math のそれと一致する。またハーン・バナッハの定理からいくつかの転置写像の性質が導かれる。例えば、有界線型写像 テンプレート:Mvar の値域が稠密となる必要十分条件は、その転置 テンプレート:Mvar が単射となることである。

バナハ空間の間のコンパクト線型写像 テンプレート:Math に対し、その転置 テンプレート:Mvar もまたコンパクトである。これはアルツェラ・アスコリの定理を用いて証明できる。

テンプレート:Mvar がヒルベルト空間であるとき、テンプレート:Mvar からその連続的双対 テンプレート:Mvar の上への逆転同型 テンプレート:Mvar が存在し、テンプレート:Mvar 上の任意の有界線型写像 テンプレート:Mvar に対して、その連続的転置 テンプレート:Mvar とエルミート共役 テンプレート:Math は

$i_V\circ T^{*}=T^{\prime }\circ i_V$

なる関係で結ばれている。二つの位相線型空間の間の連続線型写像 テンプレート:Mvar に対し、その転置 テンプレート:Mvar が連続となるのは、テンプレート:Mvar と テンプレート:Mvar の位相が「両立」するときである。例えば、テンプレート:Math とし、両者の双対 テンプレート:Mvar にはともに テンプレート:Mvar 上の有界集合上一様収束の位相（強位相） テンプレート:Math を入れたとき、あるいはともに テンプレート:Mvar 上の各点収束の位相（弱-∗ 位相）テンプレート:Math を入れたときなど。すなわち転置写像 テンプレート:Mvar は テンプレート:Math から テンプレート:Math への、あるいは テンプレート:Math から テンプレート:Math への連続線型写像となる。

零化域

W をノルム空間 V の閉線型部分空間とするとき、W の テンプレート:Nowrap における零化域 (annihilator) を

$W^{\perp }=\{\phi \in V^{\prime }:W\subset \ker \phi \}$

で定めると、商空間 テンプレート:Nowrap の双対は W^⊥ と同一視され、かつ W の双対は商空間 テンプレート:Nowrap に同一視される。実際、P を V から商 テンプレート:Nowrap への標準全射とすると、その転置 テンプレート:Nowrap は テンプレート:Nowrap から テンプレート:Nowrap への等距な同型写像であり、その値域は W^⊥ に等しい。また j を W から V への標準単射とすると、その転置 テンプレート:Nowrap の核 ker(j′) = W^^⊥ は W の零化域であり、 ハーン・バナッハの定理から テンプレート:Nowrap は等距同型 テンプレート:Nowrap を誘導する。

更なる性質

ノルム空間 V の双対空間が可分ならば空間 V もそうであるが、逆は必ずしも成り立たない。例えば、 テンプレート:Nowrap は可分だが、その双対 テンプレート:Nowrap は可分でない。

双対空間位相

線型位相空間 V の位相と実数直線（あるいはガウス平面）の位相から、連続的双対 テンプレート:Math 上のテンプレート:仮リンクを誘導することができる。

二重双対空間

代数的双対の場合のアナロジーで、ノルム空間 V からその二重双対 テンプレート:Math への自然な連続線型写像 テンプレート:Nowrap が

$\mathrm{\Psi }(x)(\phi )=\phi (x),(x\in V,\phi \in V^{\prime })$

と置くことにより定まる。ハーン・バナッハの定理の帰結としてこの写像は実は等距、即ち V の各元 x に対して テンプレート:Math を満たす。この写像 Ψ が全単射となるようなノルム空間は回帰的であると言う。

V がほかの位相線型空間であるときも同じ式によって、任意の テンプレート:Math に対する Ψ(x) を定義することができるがいくつかの障害が生じる。一つは V が局所凸でないとき、その連続的双対が {0} となり写像 Ψ が自明になってしまうことが起こり得ることである。しかし V がハウスドルフかつ局所凸ならば写像 Ψ は V からその連続的双対の代数的双対 テンプレート:Nowrap への単射となることが、ふたたびハーンバナッハの定理の帰結として得られる。

いま一つは、局所凸となる場合であっても、連続的双対 テンプレート:Math の上に自然なベクトル空間の位相が複数存在しえて、それ故に連続的二重双対 テンプレート:Nowrap を集合として一意に定義することができないことである。つまり、Ψ が V を テンプレート:Nowrap に写すとか、あるいは Ψ(x) が任意の テンプレート:Math に対して連続であるなどと言うために、テンプレート:Nowrap の位相に関する合理的な最低限の要求として、評価写像

$\phi \in V^{\prime }\mapsto \phi (x),(x\in V)$

が連続となる テンプレート:Nowrap 上の位相を選ばなければならない。さらに言えば、テンプレート:Nowrap 上の位相を選んで Ψ が連続となったとしても、その連続性は位相の選び方に依存する。そういった結果として、この枠組みにおける回帰性は、ノルム空間の場合におけるよりも重要なものとなる。

関連項目

• テンプレート:仮リンク
• テンプレート:仮リンク
• テンプレート:仮リンク

参考文献

• テンプレート:Citation2
• テンプレート:Citation2
• テンプレート:Citation2.
• テンプレート:Citation2
• テンプレート:Cite book2
• テンプレート:Cite book2
• テンプレート:Cite book2
• テンプレート:Cite book