連続的双対空間のソースを表示

[[関数解析学]]における[[位相線型空間]]の'''連続的双対空間'''（れんぞくてきそうついくうかん、{{lang-en-short|''continuous dual space''}}<ref name="A. P. Robertson, W. Robertson 1964 loc=II.2">{{harvtxt|A. P. Robertson, W. Robertson|1964|loc=II.2}}</ref>）、'''位相的双対空間'''（いそうてきそうついくうかん、{{lang-en-short|''topological dual space''}}<ref name="H. Schaefer 1966 loc=II.4">{{harvtxt|H. Schaefer|1966|loc=II.4}}</ref>）あるいは単に'''双対空間'''（そうついくうかん、{{lang-en-short|''dual space''}}<ref name="A. P. Robertson, W. Robertson 1964 loc=II.2"/><ref name="H. Schaefer 1966 loc=II.4"/><ref>{{harvtxt|W. Rudin|1973|loc=3.1}}</ref><ref>{{harvtxt|Nicolas Bourbaki|2003|loc=II.42}}</ref>）は、[[位相線型空間]]を扱う際に典型的に注目される[[連続写像|連続]]な[[連続線型汎関数|線型汎関数]]全体の成す空間として生じる。これは位相線型空間 ''V'' の[[双対空間|代数的双対空間]] ''V''<sup>∗</sup> の[[線型部分空間]]で ''V&prime;'' で表される。

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

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

位相線型空間 ''V'' 上の連続的双対空間 ''V''&prime; 上に位相を導入する標準的な方法が存在する。即ち、{{仮リンク|フォンノイマン有界|en|Bounded set (topological vector space)|label=有界部分集合}}からなる任意のクラス <math>\mathcal{A}</math> はそれに属する集合上の[[一様収束]]の位相を ''V'' 上に定める。同じ位相は、''A'' が <math>\mathcal{A}</math> を亙るときの、''V'' 上の連続線型汎関数 &phi; に対する
: <math>\|\varphi\|_A = \sup_{x\in A} |\varphi(x)|</math>
の形の[[半ノルム]]たちから生成される位相としても得られる。これはすなわち、汎関数 &phi;<sub>''i''</sub> たちの成すネットが ''V'' 内の汎関数 &phi; に収束する必要十分条件が、クラス <math>\mathcal{A}</math> に属する任意の ''A'' に対して
: <math>\|\varphi_i-\varphi\|_A = \sup_{x\in A} |\varphi_i(x)-\varphi(x)| \to 0 \quad (\text{as. }i\to\infty)</math>
を満たすことであることを意味する。また（必ずしも仮定しなければならないわけではないが）通常は考えるクラス <math>\mathcal{A}</math> は、次のような条件
* ''V'' の各点は <math>\mathcal{A}</math> に属する適当な集合 ''A'' に含まれる、
* <math>\mathcal{A}</math> の任意の二元 ''A'', ''B'' に対してその上界となる（つまり ''A'' &cup; ''B'' &sub; ''C'' を満たす）集合 ''C'' が <math>\mathcal{A}</math> に属する、
* <math>\mathcal{A}</math> はスカラー倍に関して閉じている
などを満足することを仮定する。これらの条件がすべて満たされている時、対応する ''V&prime;'' 上の位相はハウスドルフとなり、また集合族
: <math>U_A=\{x\in V: \|\varphi\|_A<1\}\qquad (A\in \mathcal{A})</math>
はその近傍基を与える。

ここに、三種類の非常に重要な特別の場合を挙げる。
* ''V&prime;'' 上の[[強位相 (極位相)|強位相]]は ''V'' の{{仮リンク|フォンノイマン有界|en|Bounded set (topological vector space)|label=有界集合}}上一様収束の位相（つまり、<math>\mathcal{A}</math> として ''V'' の有界部分集合全体の成すクラスをとったもの）である。''V'' が[[ノルム線型空間]]（例えば[[バナハ空間]]や[[ヒルベルト空間]]）ならば ''V&prime;'' 上の強位相は<div style="margin: 1ex 2em"><math>\|\varphi\| = \sup_{\|x\| \le 1 } |\varphi(x)|</math></div>なるノルムによって、ノルム空間（実は係数体が完備ならばバナハ空間）になる。
* ''V&prime;'' 上の{{仮リンク|ステレオタイプ空間|en|stereotype space|label=ステレオタイプ位相}}は、''V'' の[[全有界|全有界集合]]上一様収束の位相（つまり、<math>\mathcal{A}</math> として ''V'' の全有界部分集合全体の成すクラスをとったもの）である。
* ''V&prime;'' 上の[[弱位相]]は ''V'' の有限集合上一様収束の位相（つまり、<math>\mathcal{A}</math> として ''V'' の有限部分集合全体の成すクラスをとったもの）である。
これら三種類の位相は何れも、位相線型空間に[[回帰的空間|回帰性（反射性）]]の一種を定める。

== 例 ==
1 < ''p'' < ∞ なる実数 ''p'' に対して[[ルベーグ空間| ℓ<sup>''p''</sup>]] は[[数列]] {{nowrap|'''a''' {{=}} (''a''<sub>''n''</sub>)}} で ''p''-ノルム
: <math>\|\mathbf{a}\|_p = \left ( \sum_{n=0}^\infty |a_n|^p \right)^{1/p}</math>
が有限となるもの全体の成すバナハ空間空間である。このとき、''q'' は {{nowrap|1/''p'' + 1/''q'' {{=}} 1}} を満たすものとすれば ℓ<sup>''p''</sup> の連続的双対は自然に ℓ<sup>''q''</sup> と同一視される。即ち、各元 {{math|φ ∈ (ℓ<sup>''p''</sup>)′}} に対応する {{math|ℓ<sup>''q''</sup>}} の元は数列 (''φ''('''e'''<sub>''n''</sub>)) で与えられる。ただし、'''e'''<sub>''n''</sub> は標準基底ベクトルすなわち、''n'' 番目の項が {{math|1}} でそれ以外はすべて {{math|0}} となるような数列である。逆に、数列 {{math|'''a''' {{=}} (''a<sub>n</sub>'') ∈ ℓ<sup>''q''</sup>}} に対応する {{math|ℓ<sup>''p''</sup>}} 上の連続線型汎関数 φ は任意の {{math|'''b''' {{=}} (''b<sub>n</sub>'') ∈ ℓ<sup>''p''</sup>}} に対して {{math|φ('''b''') {{=}} ∑<sub>''n''</sub> ''a<sub>n</sub>b<sub>n</sub>''}} と置くことにより与えられる（[[ヘルダーの不等式]]の項を参照）。

同様の仕方で、{{nowrap|ℓ<sup>1</sup>}} の連続的双対は有界数列全体の成す空間 {{nowrap|ℓ<sup>∞</sup>}} と自然に同一視される。さらには、[[上限ノルム]]に関して[[収束級数]]全体の成すバナハ空間 ''c'' および {{math|0}} に収束する数列全体の成すバナハ空間 ''c''<sub>0</sub> の連続的双対はともに {{nowrap|ℓ<sup>1</sup>}} と自然に同一視される。

[[急減少関数]]のなす空間 <math>\mathcal{S}(\mathbb{R}^d)</math> の連続的双対は[[緩増加超関数]]のなす空間 <math>\mathcal{S}'(\mathbb{R}^d)</math> である{{sfn|新井|2010}}。

[[リースの表現定理]]によれば、ヒルベルト空間の連続的双対はふたたびヒルベルト空間を成し、元の空間と{{仮リンク|反同型|en|antiisomorphic|label=逆転同型}}になる。このことは、[[量子力学]]の数学的定式化において物理学者が用いる[[ブラケット記法]]の根拠を与える。

== 連続転置写像 ==
位相線型空間の間の連続線型写像 {{math|''T'': ''V'' → ''W''}} の（連続的）転置 {{math|''T{{'}}'' : ''W{{'}}'' → ''V{{'}}''}} は、代数的な場合と同様に
: <math>T'(\varphi) = \varphi \circ T, \quad (\varphi \in W')</math>
と定義され、汎関数 {{math|''T{{'}}''(''φ'')}} は {{mvar|V{{'}}}} に属する。対応 {{math|''T'' ↦ ''T{{'}}''}} は {{mvar|V}} から {{mvar|W}} への線型汎関数の空間から {{mvar|W{{'}}}} から {{mvar|V{{'}}}} への線型汎関数の空間への線型写像を定める。また、連続線型汎関数 {{math|''T'', ''U''}} が合成できるとき
: <math>(U \circ T)' = T' \circ U'</math>
が成り立つ。{{mvar|V}} と {{mvar|W}} がともにノルム空間ならば、転置写像 {{math|''T{{'}}'' &isin; ''L''(''W{{'}}'', ''V{{'}}'')}} のノルムは {{math|''T'' &isin; ''L''(''V'', ''W'')}} のそれと一致する。また[[ハーン・バナッハの定理]]からいくつかの転置写像の性質が導かれる。例えば、有界線型写像 {{mvar|T}} の値域が稠密となる必要十分条件は、その転置  {{mvar|T{{'}}}} が単射となることである。

バナハ空間の間の[[コンパクト作用素|コンパクト]]線型写像 {{math|''T'': ''V'' &rarr; ''W''}} に対し、その転置 {{mvar|T{{'}}}} もまたコンパクトである。これは[[アスコリ＝アルツェラの定理|アルツェラ・アスコリの定理]]を用いて証明できる。

{{mvar|V}} がヒルベルト空間であるとき、{{mvar|V}} からその連続的双対 {{mvar|V{{'}}}} の上への逆転同型 {{mvar|i<sub>V</sub>}} が存在し、{{mvar|V}} 上の任意の有界線型写像 {{mvar|T}} に対して、その連続的転置 {{mvar|T{{'}}}} と[[エルミート共役]] {{math|''T''<sup>∗</sup>}} は
: <math>i_V \circ T^* = T' \circ i_V</math>
なる関係で結ばれている。二つの位相線型空間の間の連続線型写像 {{mvar|T}} に対し、その転置 {{mvar|T{{'}}}} が連続となるのは、{{mvar|W{{'}}}} と {{mvar|V{{'}}}} の位相が「両立」するときである。例えば、{{math|1=''V'' = ''W'' = ''X''}} とし、両者の双対 {{mvar|X{{'}}}} にはともに {{mvar|X}} 上の有界集合上一様収束の位相（強位相） {{math|''β''(''X{{'}}'', ''X'')}} を入れたとき、あるいはともに {{mvar|X}} 上の各点収束の位相（弱-∗ 位相）{{math|σ(''X{{'}}'', ''X'')}} を入れたときなど。すなわち転置写像 {{mvar|T{{'}}}} は {{math|''β''(''W{{'}}'', ''W'')}} から {{math|''β''(''V{{'}}'', ''V'')}} への、あるいは {{math|''σ''(''W{{'}}'', ''W'')}} から {{math|''σ''(''V{{'}}'', ''V'')}} への連続線型写像となる。

== 零化域 ==
''W'' をノルム空間 ''V'' の閉線型部分空間とするとき、''W'' の {{nowrap|''V′''}} における零化域 (annihilator) を
: <math>W^\perp = \{ \varphi \in V' : W \subset \ker \varphi\}</math>
で定めると、商空間 {{nowrap|''V''&thinsp;/&thinsp;''W''}} の双対は ''W''<sup>⊥</sup> と同一視され、かつ ''W'' の双対は商空間 {{nowrap|''V′''&thinsp;/&thinsp;''W''<sup>⊥</sup>}} に同一視される<ref>{{harvtxt|Rudin|1991|loc=chapter 4}}</ref>。実際、''P'' を ''V'' から商 {{nowrap|''V''&thinsp;/&thinsp;''W''&thinsp;}} への[[射影|標準全射]]とすると、その転置 {{nowrap|''P′''}} は {{nowrap|(''V''&thinsp;/&thinsp;''W''&thinsp;)′}} から {{nowrap|''V′''}} への等距な同型写像であり、その値域は ''W''<sup>⊥</sup> に等しい。また ''j'' を ''W'' から ''V'' への[[包含写像|標準単射]]とすると、その転置 {{nowrap|''j′''}} の核 ker(''j&prime;'') = W^<sup>⊥</sup> は ''W'' の零化域であり、
[[ハーン・バナッハの定理]]から {{nowrap|''j′''}} は等距同型 {{nowrap|''V′''&thinsp;/&thinsp;''W''<sup>⊥</sup> → ''W′''}} を誘導する。

== 更なる性質 ==
ノルム空間 ''V'' の双対空間が[[可分空間|可分]]ならば空間 ''V'' もそうであるが、逆は必ずしも成り立たない。例えば、 {{nowrap|''ℓ''<sup>&thinsp;1</sup>}} は可分だが、その双対 {{nowrap|''ℓ''<sup>&thinsp;∞</sup>}} は可分でない。

== 双対空間位相 ==
線型位相空間 ''V'' の位相と実数直線（あるいはガウス平面）の位相から、連続的双対 {{math|''V′''}} 上の{{仮リンク|双対空間位相|en|Space_of_linear_maps#G-topologies_on_X_induced_by_the_continuous_dual}}を誘導することができる。

== 二重双対空間 ==
代数的双対の場合のアナロジーで、ノルム空間 ''V'' からその二重双対 {{math|''V′′''}} への自然な連続線型写像 {{nowrap|Ψ: ''V'' → ''V′′''}} が
: <math>\Psi(x)(\varphi) = \varphi(x), \quad (x \in V, \, \varphi \in V')</math>
と置くことにより定まる。[[ハーン・バナッハの定理]]の帰結としてこの写像は実は[[等長写像|等距]]、即ち ''V'' の各元 ''x'' に対して {{math|{{!!}}Ψ(''x''){{!!}} {{=}} {{!!}}''x''{{!!}}}} を満たす。この写像 Ψ が[[全単射]]となるようなノルム空間は[[回帰的空間|回帰的]]であると言う。

''V'' がほかの[[位相線型空間]]であるときも同じ式によって、任意の {{math|''x'' ∈ ''V''}} に対する Ψ(''x'') を定義することができるがいくつかの障害が生じる。一つは ''V'' が[[局所凸位相線型空間|局所凸]]でないとき、その連続的双対が {0} となり写像 Ψ が自明になってしまうことが起こり得ることである。しかし ''V'' が[[ハウスドルフ空間|ハウスドルフ]]かつ局所凸ならば写像 Ψ は ''V'' からその連続的双対の代数的双対 {{nowrap|''V′<sup>∗</sup>''}} への単射となることが、ふたたびハーンバナッハの定理の帰結として得られる<ref>''V'' が局所凸だがハウスドルフでないとき、Ψ の[[核 (代数学)|核]]は {0} を含む最小の閉部分空間である。</ref>。

いま一つは、局所凸となる場合であっても、連続的双対 {{math|''V′''}} の上に自然なベクトル空間の位相が複数存在しえて、それ故に連続的二重双対 {{nowrap|''V′′''}} を集合として一意に定義することができないことである。つまり、Ψ が ''V'' を {{nowrap|''V′′''}} に写すとか、あるいは Ψ(''x'') が任意の {{math|''x'' ∈ ''V''}} に対して連続であるなどと言うために、{{nowrap|''V′''}} の位相に関する合理的な最低限の要求として、評価写像
: <math>\varphi \in V' \mapsto \varphi(x), \quad (x \in V)</math>
が連続となる {{nowrap|''V′''}} 上の位相を選ばなければならない。さらに言えば、{{nowrap|''V′′''}} 上の位相を選んで Ψ が連続となったとしても、その連続性は位相の選び方に依存する。そういった結果として、この枠組みにおける[[回帰的空間|回帰性]]は、ノルム空間の場合におけるよりも重要なものとなる。

== 関連項目 ==
* {{仮リンク|連続線型写像の空間|en|Space of linear maps}}
* {{仮リンク|双対ノルム|en|Dual norm}}
* {{仮リンク|位相線型空間の双対|fr|Dual d'un espace vectoriel topologique}}

== 注釈 ==
{{reflist}}

== 参考文献 ==
* {{citation2 | authorlink= Nicolas Bourbaki  | last= Bourbaki | first= Nicolas. | year= 2003 | title= Elements of mathematics, Topological vector spaces | publisher= Springer-Verlag}}
* {{citation2 | authorlink= Paul Halmos | first= Paul | last= Halmos | title= Finite-dimensional Vector Spaces | year= 1974 | publisher= Springer | isbn= 0-387-90093-4}}
* {{citation2 | first1= Saunders | last1= MacLane | authorlink1= Saunders MacLane | first2= Garrett | last2= Birkhoff | authorlink2= :en:Garrett Birkhoff | title= Algebra | edition= 3rd | publisher= AMS Chelsea Publishing | year= 1999 | isbn= 0-8218-1646-2}}.
* {{Citation2 | first1=Charles W. | last1=Misner | authorlink1=:en:Charles W. Misner | first2=Kip S. | last2=Thorne | authorlink2=Kip S. Thorne | first3=John A. | last3=Wheeler | authorlink3=John Archibald Wheeler | title=Gravitation | publisher= W. H. Freeman | year=1973 | isbn=0-7167-0344-0 }}
* {{Cite book2
 | isbn         = 978-0-07-054236-5
 | title        = Functional analysis
 | last1        = Rudin
 | first1       = Walter
 | authorlink1  = Walter Rudin
 | year         =  1991 
 | publisher    = McGraw-Hill Science/Engineering/Math
}} <!-- Rudin's Functional Analysis -->
* {{cite book2 | last1= Robertson | first1= A.P. | last2= Robertson | first2= W. | year= 1964 | title= Topological vector spaces | publisher= Cambridge University Press}}
* {{cite book2 | last= Schaefer | first= Helmuth H. | year= 1971 | title= Topological vector spaces | series=[[Graduate Texts in Mathematics|GTM]] | volume=3  | publisher= Springer-Verlag | location= New York | isbn= 0-387-98726-6}}
* {{Cite book|和書|last=新井|first=仁之|title=新・フーリエ解析と関数解析学|publisher=培風館|year=2010|isbn=978-4-563-01141-3}}

{{デフォルトソート:れんそくてきそうついくうかん}}
[[Category:関数解析学]]
[[Category:双対性]]
[[Category:数学に関する記事]]