ベクトル空間の双対系

数学の函数解析学周辺分野におけるベクトル空間の双対系（そうついけい、テンプレート:Lang-en-short）あるいは双対組 (dual pair; 双対対) は、付随する双線型形式（内積, pairing）を持つようなベクトル空間の対である。

ノルム線型空間の研究においてよく用いられる函数解析学的方法に、もとの空間とその連続的双対空間、すなわちもとの空間上の連続線型形式全体の成すベクトル空間（双対ベクトル空間）との関係性を調べるというものがある。双対対はこのような双対性の概念を一般化して、素性の良い双線型形式によって「双対性」が与えられる任意のベクトル空間の対を考えるものである。付随する双線型形式を用いて、半ノルムから極位相を定めると、ベクトル空間は局所凸空間（ノルム空間の一般化）になる。

定義

同じ体 テンプレート:Math 上の二つのベクトル空間（あるいはより一般に可換環 K 上の加群）テンプレート:Math および双線型形式 テンプレート:Math からなる三つ組 テンプレート:Math が双対対であるとは、

$\mathrm{\forall }x\in X\setminus \{0\}\mathrm{\exists }y\in Y:⟨x,y⟩\ne 0,$

$\mathrm{\forall }y\in Y\setminus \{0\}\mathrm{\exists }x\in X:⟨x,y⟩\ne 0$

を満たすときに言う。またこのとき、双線型形式 テンプレート:Math は テンプレート:Mvar と テンプレート:Mvar との間に双対性を定めると言う。

• 二つの元 テンプレート:Math が テンプレート:Math を満たすとき、テンプレート:Mvar と テンプレート:Mvar とは互いに直交すると言う。
• 二つの集合 テンプレート:Math が直交するとは、それらが元ごとに直交すること、すなわち テンプレート:Mvar の任意の元と テンプレート:Mvar の任意の元とが必ず直交することを言う。

例

ベクトル空間 テンプレート:Mvar とその代数的双対空間 テンプレート:Math は双線型形式

$⟨x,f⟩:=f(x)(x\in V,f\in V^{*})$

に関して双対対を成す。これによって定まる標準内積 (canonical pairing) テンプレート:Math を自然対 (natural pairing) とも呼ぶ。

局所凸位相線型空間 テンプレート:Mvar とその位相的双対空間（連続的双対空間）テンプレート:Mvar は双線型形式

$⟨x,f⟩:=f(x)(x\in E,f\in E^{\prime })$

に関して双対対を成す（証明にはハーン・バナッハの定理が必要）。

双対対は成分に関して対称的に定義されるので、任意の双対対 テンプレート:Math に対して、

$⟨{⟩}^{\prime }:(y,x)\to ⟨x,y⟩$

で定まる双線型形式 テンプレート:Math によって テンプレート:Math もまた双対対を定める。

数列空間 テンプレート:Mvar とその テンプレート:仮リンク テンプレート:Mvar は双線型形式

$⟨x,y⟩:=\sum _{i=1}^{\mathrm{\infty }}{x}_i{y}_i(x\in E,y\in E^{\beta })$

に関して双対対を成す。

注意

双対対 テンプレート:Math に付随して、テンプレート:Mvar から テンプレート:Math への単射が

$x\mapsto (y\mapsto ⟨x,y⟩)$

と置くことによって得られる。テンプレート:Mvar から テンプレート:Math への単射も同様に定められる。

特に テンプレート:Mvar の何れか一方が有限次元ならば、この写像は線型同型になる。

関連項目

• 双対位相
• 極集合
• 極位相
• テンプレート:仮リンク