双対ベクトル空間

数学におけるベクトル空間の双対ベクトル空間（そうついベクトルくうかん、テンプレート:Lang-en-short）あるいは単に双対空間（そうついくうかん、テンプレート:Lang-en-short）は、そのベクトル空間上の線型汎函数（一次形式）全体の成す空間として定義される。有限次元ベクトル空間の双対空間はテンソルの研究に利用することができる。函数の成す（典型的には無限次元の）ベクトル空間に対する双対空間は、測度や超函数、あるいはヒルベルト空間のような概念の定義や研究に用いられ、結果として双対空間は函数解析学の研究における重要な観念となっている。

一般に双対空間には、代数的双対と連続的双対の二種類が用いられており、代数的双対は任意のベクトル空間に対して定義することができるが、位相線型空間を扱うときは代数的双対よりもその部分線型空間として、連続線型汎函数全体の成す連続的双対空間を考えるのが自然である。

双対空間

体 F 上の任意のベクトル空間 V の（代数的）双対空間 V^∗ は V 上の線型写像 テンプレート:Math（すなわち線型汎函数）全体の成す集合として定義される。集合としての V^∗ には、次の加法とスカラー乗法

<math> \begin{align}

   & (\varphi + \psi)(x) = \varphi(x) + \psi(x) \\
   & (a \varphi)(x) = a (\varphi(x))
 \end{align}\quad (\varphi,\psi\in V^*,\,x\in V,\,a\in F)

</math> を定義することができて、それ自身 F 上のベクトル空間となる。この代数的双対空間 V^∗ の元を、余ベクトル（共変ベクトル）あるいは一形式と呼ぶこともある。

双対空間 V^∗ の元である汎函数 φ と V の元との対をしばしば括弧を用いて テンプレート:Math あるいは テンプレート:Mathで表す。この対の記法は非退化な双線型形式 テンプレート:Math を定める。このとき、テンプレート:Math は V^∗ とV との間に双対性を定める、V^∗ と V を双対にする、あるいは V と V^∗ の双対性を表す内積 (duality pairing) であると言う。

有限次元の場合

V が有限次元ならば、V^∗ は V と同じ次元を持つ。V の基底 テンプレート:Nowrap} から双対基底と呼ばれる特別な V^∗ の基底を定義することができる。それは V 上の線型汎函数の集合 テンプレート:Nowrap} で、係数 テンプレート:Nowrap の選び方に依らず

<math>\mathbf{e}^i(c_1 \mathbf{e}_1+\cdots+c_n\mathbf{e}_n) = c_i \quad (i=1,\ldots,n)</math>

を満たすものとして定義される（上付きの添字が冪を意味するものではないことに注意せよ）。特に、一つの係数を テンプレート:Math, 残りをすべて テンプレート:Math とすることにより、関係式は

<math>\mathbf{e}^i(\mathbf{e}_j) = \delta_{ij}</math>

に帰着される。ここに δ_ij はクロネッカーのデルタである。例えば V が座標平面 R² でその標準基底 テンプレート:Nowrap} に選べば、e¹, e² は テンプレート:Nowrap, テンプレート:Nowrap, テンプレート:Nowrap, テンプレート:Nowrap を満たす線型形式である。

特に Rⁿ を実数を成分とする n-項「列」ベクトル全体の成す空間と見做すとき、その双対空間は典型的には実数を成分とする n-項「行」ベクトル全体の成す空間として書かれ、その Rⁿ への作用が通常の行列の積によって与えられるものと見做すことができる。

V が平面上の幾何学的なベクトル（有向線分）からなる空間であるとき、V^∗ の元の等位曲線は V の平行線の族からなる。故に V^∗ の元は直観的には平面を被覆する特定の平行線族と見做すことができる。このとき、与えられたベクトルにおける汎函数の値を計算するには、そのベクトルが平行線族のどの線上にあるかを知るだけでよい。イメージとしては、そのベクトルが何本の平行線と交わるかを数えればよいことになる。より一般に、V を任意有限次元のベクトル空間とするとき、V^∗ に属する線型汎函数の等位集合は V の平行超平面族であり、汎函数の各ベクトルにおける値はこれら超平面を用いて理解することができる。

無限次元の場合

ベクトル空間 V が有限次元でない場合にも適当な無限集合 A で添字付けられる基底 e_α は持つから、有限次元の場合と同様の構成によって、双対空間の線型独立な元の族 e^α (テンプレート:Nowrap) を作ることはできるが、これは必ずしも基底とならない。

例えば、有限個の例外を除く全ての成分が テンプレート:Math であるような実数列全体の成す空間 R^∞ を考えると、これは自然数全体の成す集合 N で添字付けられる標準基底、すなわち各 テンプレート:Nowrap に対して e_i は第 i-項が テンプレート:Math で他はすべて テンプレート:Math となるようなものを持つ。R^∞ の双対空間は全ての実数列からなる空間 R^N である。数列 (a_n) の (x_n) ∈ R^∞ への作用は ∑a_nx_n で与えられる（これは x_n の非零項が有限個しかないことから有限和である）。R^∞ の次元は可算無限だが、R^N の次元は非可算である。

このような考察は任意の体 F 上の任意の無限次元ベクトル空間に対して一般化できる。基底 テンプレート:Nowrap} を一つとって V を テンプレート:Nowrap は有限個の例外を除く全ての テンプレート:Nowrap に対して テンプレート:Math となるような写像 テンプレート:Nowrap 全体の成す空間 (F^A)₀ と同一視すれば、写像 f は V のベクトル

<math>\sum_{\alpha\in A} f_\alpha\mathbf{e}_\alpha</math>

と同一視される（f の仮定からこれは有限和だから意味を持ち、また基底の定義により任意の テンプレート:Nowrap 箱の形に書ける）。

そして V の双対空間は A から F への写像全体の成す空間 F^A に同一視される。実際、V 上の線型汎函数 T は V の基底におけるその値 テンプレート:Nowrap によって一意に決定され、また任意の写像 テンプレート:Nowrap ( テンプレート:Nowrap) は

<math>T\biggl(\sum_{\alpha\in A} f_\alpha \mathbf{e}_\alpha\biggr) = \sum_{\alpha \in A} f_\alpha T(e_\alpha) = \sum_{\alpha\in A} f_\alpha \theta_\alpha</math>

と置くことにより V 上の線型汎函数 T を定める（f_α は有限個の α を除いて全て テンプレート:Math だから、やはりこの和が有限であることに注意）。

(F^A)₀ は F をそれ自身 F 上一次元のベクトル空間と見做したものの A で添字付けられた無限個のコピーのテンプレート:仮リンクと（本質的には定義によって）同一視できる。即ち線型同型

<math>V\cong (F^A)_0\cong\bigoplus_{\alpha\in A} {F}</math>

が存在する。他方 F^A は（やはり定義によって）A で添字付けられる F の無限個のコピーのテンプレート:仮リンクに同型である。同一視

<math> V^* \cong \biggl(\bigoplus_{\alpha\in A}F\biggr)^* \cong \prod_{\alpha\in A}F^* \cong \prod_{\alpha\in A}F \cong F^A</math>

は加群の直積と直和に関する一般の場合の結果の特別の場合である。

従って無限次元のとき、代数的双対は必ずもとの空間よりも大きな次元を持つ。これは連続的双対の場合には無限次元の場合でももとの空間と同型となる場合があることと対照的である。

双線型な乗法と双対空間

V が有限次元のとき、V はその双対 V^∗ とは同型であるが、それらの間に自然な同型は存在しない。V 上の任意の双線型形式 テンプレート:Math は V から双対 V^∗ への写像

<math>v\mapsto \langle v, \cdot\rangle</math>

を与える。この右辺は 各 テンプレート:Math をスカラー 〈v,w〉 へ写す V 上の線型汎函数である。即ち、双線型形式は線型写像

<math>\Phi_{\langle\cdot,\cdot\rangle} : V\to V^*;\; [\Phi_{\langle\cdot,\cdot\rangle}(v),w] = \langle v, w\rangle</math>

を定義するのである。もとの双線型形式がテンプレート:仮リンクならば、この線型写像は V^∗ の中への同型を与える。特に V が有限次元ならば V^∗ の上への同型である。逆に、V から V^∗ の部分集合（あるいは V^∗ 全体）への任意の同型 Φ は、

<math> \langle v,w \rangle_\Phi = (\Phi (v))(w) = [\Phi (v),w]</math>

と置くことにより、V 上の非退化双線型形式 テンプレート:Math を一意的に定める。従って、V から ⟨•,•⟩_Φ の部分集合（あるいは ⟨•,•⟩_Φ 全体）への同型写像と V 上の非退化双線型形式との間には一対一対応が存在する。

ベクトル空間 V が複素線型ならば、双線型形式よりも半双線型形式を考えたほうが自然なこともある。この場合、半双線型形式テンプレート:Math は V からその双対空間のテンプレート:仮リンクへの線型写像

<math>\Phi_{\langle\cdot,\cdot\rangle} : V\to \bar{V}^*</math>

を定める。共軛空間 テンプレート:Math は加法的複素数値函数 テンプレート:Nowrap で

<math>f(\alpha v) = \overline{\alpha}f(v)</math>

を満たすもの全体の成すベクトル空間と同一視される。

二重双対空間への単射

ベクトル空間 V からその二重双対 V^∗∗ への標準的 (canonical) な（自然な）線型準同型 Ψ が

<math> (\Psi(v))(\phi) := \phi(v), \quad (v\in V,\, \phi \in V^*) </math>

と置くことにより定まる。この写像 Ψ 必ず単射になる。これが同型となるのは V が有限次元のとき、かつそのときに限る。実際、ベクトル空間とその二重双対との間の、この同型写像はテンプレート:仮リンクの原型的な例となっている。例えば無限次元のヒルベルト空間がこのことの反例を与えることに注意せよ。この場合は連続的二重双対に同型であって、代数的二重双対にではない。

線型写像の転置写像

テンプレート:Main 線型写像 テンプレート:Math に対し、そのテンプレート:仮リンク（または双対）テンプレート:Math は

<math>f^*(\varphi) = \varphi \circ f\quad (\phi \in W^*)</math>

で定義される。得られた汎函数 f^∗(φ) ∈ V^∗ は φ の f に沿った引き戻しと呼ばれる。

任意の テンプレート:Math および テンプレート:Math に対し恒等式

<math>[f^*(\varphi),\, v] = [\varphi,\, f(v)]</math>

が満足される。ここで左辺の括弧 テンプレート:Math は V とその双対との双対性を表す内積であり、右辺のは W とその双対との双対性を表す内積である。この等式は転置を特徴づけるものであり、形の上では随伴の定義と同じである。

対応 テンプレート:Math は V から W への線型作用素の空間から W^∗ から V^∗ への線型写像の空間への単射線型写像を与える。この線型準同型が同型となるのは W が有限次元のときであり、かつそのときに限る。テンプレート:Nowrap の場合には、先の線型写像の空間は実際は写像の合成に関して多元環を成し、先の対応は多元環のテンプレート:仮リンク、即ち テンプレート:Nowrap を満たす線型同型となる。圏論の言葉で言えば、ベクトル空間の双対と線型写像の転置をとる操作は、F 上のテンプレート:仮リンク F-Vect からそれ自身へのテンプレート:仮リンクである。このとき、転置の転置 (f^∗)^∗ が二重双対空間への自然な単射によって f と同一視されていることに注意。

線型写像 f を V および W の基底に関して行列 A で表すとき、f^∗ は W^∗ および V^∗ の双対基底に関して転置行列 A^T によって表され、転置写像の名の由来となっている。あるいはまた f を A が左から列ベクトルに作用すると見るとき、f^∗ は同じ行列によって右から行ベクトルに作用するものと表現することができる。これらの観点は Rⁿ 上の標準内積をもちいて関係づけることができ、行ベクトルの空間は列ベクトルの空間の双対と同一視される。

商空間と零化域

F 上のベクトル空間 V の部分集合 S に対し、S の V^∗ におけるテンプレート:仮リンク S^o は、任意の テンプレート:Math に対して テンプレート:Math を満たす線型汎函数 テンプレート:Math 全体の成す集合と定義される。すなわち、S^o は S への制限が消えているような線型汎函数 テンプレート:Math 全てからなる。

部分集合の零化域はそれ自身がベクトル空間を成す。特に、空集合の零化域は（テンプレート:仮リンクから）V^∗ 自身 (テンプレート:Nowrap)であり、また V^∗ の零化域は零部分空間 (テンプレート:Nowrap) である。さらに言えば、V の部分空間にその零化域を対応させることは包含関係を逆にする操作、すなわち部分空間の包含列 テンプレート:Math に対し

<math>0 \subset T^{\circ} \subset S^{\circ} \subset V^*</math>

が成り立つ。また、V の二つの部分集合 A, B に対し

<math>(A \cap B)^{\circ} \supseteq A^{\circ} + B^{\circ}</math>

が成り立ち、V が有限次元のときはこれは等号で成り立つ。これはさらに適当な添字集合 I で添字付けられる V の任意の有限部分集合族 A_i に対して

<math>\left(\bigcup_{i\in I} A_i\right)^{\circ} = \bigcap_{i\in I} A_i^{\circ}</math>

が成り立つから、特に V の部分集合 A, B に対して

<math>(A + B)^{\circ} = A^{\circ} \cap B^{\circ}</math>

となることを導く。

有限次元ベクトル空間 V とその部分空間 W に対し、二重双対の自然な同型 テンプレート:Math による W の像を W と同一視するとき

<math>W^{\circ\circ} = W</math>

が成り立つ。従って特に、零化域をとる操作は有限次元ベクトル空間の部分空間束上のテンプレート:仮リンクを定める。

V の部分空間 W に対し、商空間 V/W はそれ自身ベクトル空間であり、その双対を考えることができる。テンプレート:仮リンクによれば、汎函数 テンプレート:Math が V/W 上の汎函数を誘導するのは W が f の核に含まれるとき、かつそのときに限るから、同型

<math>(V/W)^* \cong W^{\circ}</math>

が導かれる。特に、V が二つの部分空間 A と B の直和に分解されるとき、V^∗ は A^o と B^o の直和に分解される。

関連項目

• 双対性
• 逆格子: 結晶学における双対基底
• ベクトルの共変性と反変性

参考文献

• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Lang Algebra
• テンプレート:Citation.
• テンプレート:Citation
• テンプレート:Cite isbn

テンプレート:Harvtxt

テンプレート:Harvtxt

量子力学などの多くの分野では ⟨·,·⟩ を テンプレート:Nowrap 上の半双線型形式 を表すのに用いている。

テンプレート:Harvtxt

本項においていくつかの事項を正当化するために、ある種の選択公理が必要であることを言っておかなければならない。例えば、任意のベクトル空間が基底を持つこと（特に R^N が基底を持つこと）を示すには選択公理（に同値なツォルンの補題）が必要である。あるいはまた、無限次元ベクトル空間 V の双対が零でないとき、V からその二重双対への自然な写像が単射であることを言うためにも必要である。

テンプレート:Harvtxt

テンプレート:Harvtxt