15/07/11 15:46:50.13 FKo26YYw.net
>>110 つづき
３．双対ベクトル空間
URLﾘﾝｸ(ja.wikipedia.org)
数学におけるベクトル空間の双対ベクトル空間（そうついベクトルくうかん、英: dual vector space）あるいは単に双対空間（そうついくうかん、英: dual space）は、そのベクトル空間上の線型汎函数（一次形式）全体の成す空間として定義される。
有限次元ベクトル空間の双対空間はテンソルの研究に利用することができる。
函数の成す（典型的には無限次元の）ベクトル空間に対する双対空間は、測度や超函数、あるいはヒルベルト空間のような概念の定義や研究に用いられ、結果として双対空間は函数解析学の研究における重要な観念となっている。
一般に双対空間には、代数的双対と連続的双対の二種類が用いられており、代数的双対は任意のベクトル空間に対して定義することができるが、
位相線型空間を扱うときは代数的双対よりもその部分線型空間として、連続線型汎函数全体の成す連続的双対空間を考えるのが自然である。
双対空間
体 F 上の任意のベクトル空間 V の（代数的）双対空間 V^? は V 上の線型写像 φ: V → F（すなわち線型汎函数）全体の成す集合として定義される。
集合としての V^? には、次の加法とスカラー乗法
φ + ψ(x) = φ(x) + ψ(x)
(a φ)(x) = a (φ(x))
(φ,ψ∈ V^*, x∈ V, a∈ F)
を定義することができて、それ自身 F 上のベクトル空間となる。この代数的双対空間 V^? の元を、余ベクトル（共変ベクトル）あるいは一形式と呼ぶこともある。
双対空間 V^? の元である汎函数 φ と V の元との対をしばしば括弧を用いて φ(x) = [φ,x][1] あるいは φ(x) = ?φ,x?[2]で表す。
この対の記法は非退化な双線型形式[3] [・,・]: V^? × V → F を定める。このとき、[,] は V^? とV との間に双対性を定める、V^? と V を双対にする、あるいは V と V^? の双対性を表す内積 (duality pairing) であると言う。