对偶空间

在数学里，任何向量空间V都有其对应的对偶向量空间（或简称为对偶空间），由V的线性泛函组成。此对偶空间俱有一般向量空间的结构，像是向量加法及纯量乘法。由此定义的对偶空间也可称之为代数对偶空间。在拓扑向量空间的情况下，由连续的线性泛函组成的对偶空间则称之为连续对偶空间。

对偶空间是 row vector （<math>1\times n</math>）与 column vector （<math>n\times 1</math>）的关系的抽象化。这个结构能够在无限维度空间进行并为测度,分布及希尔伯特空间提供重要的观点。对偶空间的应用是泛函分析理论的特征。傅立叶变换亦内蕴对偶空间的概念。

代数对偶空间

设<math>V</math>为 在域<math>F</math>上的向量空间，定义其对偶空间<math>V^*</math>为由<math>V</math>到<math>F</math>的所有线性函数的集合。 即是<math>V</math>的标量线性变换。<math>V^*</math>本身是<math>F</math>的向量空间，并且对所有<math>V^*</math>中的<math>\phi</math>及<math>\varphi</math>、所有<math>F</math>中的<math>a</math>、所有<math>V</math>中的<math>x</math>满足以下加法及标量乘法：

<math> (\phi + \varphi )( x ) = \phi ( x ) + \varphi ( x ) \,</math>

<math> ( a \phi ) ( x ) = a \phi ( x ) \,</math>

在张量的语言中，<math>V</math>的元素被称为反变或逆变（contravariant）向量，而<math>V^*</math>的元素被称为共变或协变（covariant）向量、“余向量”或“同向量”（co-vectors），“线性型”或“1-形式”（one-form）。

例子

如果<math>V</math>是有限维的，<math>V^*</math>的维度和V的维度便相等； 如果<math>\left \{ e_1,...,e_n \right \}</math>是<math>V</math>的基，<math>V^*</math>便应该有相对基<math>\left \{ e^1,...,e^n \right \}</math>，记作：

<math>

e^i (e_j)= \left\{\begin{matrix} 1, & \mbox{if }i = j \\ 0, & \mbox{if } i \ne j \end{matrix}\right. </math>

如果<math>V</math>是平面几何向量的空间，<math>V^*</math>便是一组组的平行线。我们能从平行线应用到任何向量产生一个标量。

如果<math>V</math>是无限维度，<math>e^i</math>不能产生<math>V^*</math>的基；而<math>V^*</math>的维度比<math>V</math>的大。

例如空间<math>R^{(\omega)}</math>的元素是实数列，其拥有很多非零数字。<math>R^\omega</math>的双对空间是所有实数数列的空间。这些数列<math>(a_n)</math>被用于元素<math>(x_n)</math>而产生<math>\sum_na_nx_n</math>。

线性映射的转置

设<math>f:V\rightarrow W</math>是线性映射。 <math>f</math>的转置<math>{}^t \! f:W^*\rightarrow V^*</math>定义为

<math>

{}^t \! f (\varphi ) = \varphi \circ f \qquad \forall \varphi \in W^*</math>

对任何向量空间<math>V, W</math>，定义<math>L(V, W)</math>为所有从<math>V</math>到<math>W</math>的线性映射组成的向量空间。<math>f|\rightarrow {}^t \! f</math>产生从<math>L(V,W)</math>至<math>L(W^*,V^*)</math>的单射；这是个同构当且仅当<math>W</math>是有限维的。

若 线性映射f表示作其对<math>V, W</math>的基之矩阵<math>A</math> ,则<math>{}^t \! f</math>表示作其对<math>V^*, W^*</math>的对偶基之转置矩阵。 若<math>g:W\rightarrow X</math>是另一线性映射，则<math>{}^t \! \left( g\circ f \right) = {}^t \! f \circ {}^t \! g</math>。

在范畴论的语言里，为任何向量空间取对偶及为任何线性映射取转置都是向量空间范畴的逆变函子。

双线性乘积及对偶空间

正如所见，如果<math>V</math>拥有有限维度，<math>V</math>跟<math>V^*</math>是同构的，但是该同构并不自然；它是依赖于我们开始所用的<math>V</math>的基。事实上，任意同构<math>\phi=\left ( V\rightarrow V^* \right )</math>在<math>V</math>上定义了一个唯一的非退化的双线性型：

<math> \langle v,w \rangle = (\Phi (v))(w) \,</math>

相反地从每个在有限维空间中的非退化的双线性积可以产生由<math>V</math>映射到<math>V^*</math>的同构。

到双对偶空间内的单射

存在一个由<math>V</math>到其双对偶<math>V^{**}</math>的自然映射<math>\psi</math>，定义为

<math>\left ( \psi(v) \right )(\varphi)=\varphi(v)\forall v\in V,\varphi \in V^*</math>

<math>\psi</math>常是单射；当且仅当<math>V</math>的维数有限时，<math>\psi</math>是个同构。

连续对偶空间

处理拓扑向量空间时，我们一般仅对该空间射到其基域的连续线性泛函感兴趣。由此导致连续对偶空间之概念，此乃其代数对偶空间之一子空间。向量空间<math>V</math>之连续对偶记作<math>V</math>′。此脉络下可迳称连续对偶为对偶。

线性赋范向量空间<math>V</math>（如一巴拿赫空间或一希尔伯特空间）之连续对偶<math>V</math>产生一线性赋范向量空间。对一<math>V</math>上之连续线性泛函，其范数<math>\left \Vert \varphi \right \Vert</math>定义为

<math>\|\phi \| = \sup \{ |\phi ( x )| : \|x\| \le 1 \}</math>

此法变一连续对偶为一线性赋范向量空间，实为巴拿赫空间。

例子

对任意有限维之线性赋范向量空间或拓扑向量空间，正如欧几里得空间，其连续与代数对偶不二。

令<math>1<p<\infty</math>为实数，并考虑所有序列<math>a=(a_n)</math>构成之巴拿赫空间l ^p，使其范数

<math>\|\mathbf{a}\|_p = \left ( \sum_{n=0}^\infty |a_n|^p \right) ^{1/p}</math>

有限。以<math>\frac{1}{p}+\frac{1}{q}=1</math>定义<math>q</math>，<math>I^p</math>其连续对偶遂自然等同于<math>I^q</math>：给定一元素<math>\varphi\in(I^p)</math>，<math>I^q</math>中相应元素为序列 <math>\left ( \varphi(e_n) \right )</math>，其中<math>e_n</math>谓第<math>n</math>项为1且余项皆0之序列。反之，给定一元素<math>a=(a_n)\in I^q</math>，<math>I^p</math>上相应之连续线性泛函<math>\varphi</math>定为<math>\varphi(a)=\sum_na_nx_n</math>（对一切<math>a=(a_n)\in I^p</math>，见Hölder不等式）。

准此，<math>I^1</math>之连续对偶亦自然同构于<math>I^\infty</math>。再者，巴拿赫空间<math>c</math>（赋以上确界范数之全体收敛序列）及<math>c_0</math>（<math>c</math>中收敛至零者）之连续对偶皆自然同构于<math>I^1</math>。

进一步的性质

若<math>V</math>为希尔伯特空间，则其连续对偶亦然，并反同构于<math>V</math>；此即是里斯表示定理的陈述，同时也启发了量子力学之数学描述时所用的狄拉克符号。

类似双重代数对偶，对连续线性算子亦有连续单射<math>\psi:V\rightarrow V</math>，此映射实为等距同构，即 <math>\left \Vert \psi(x) \right \Vert=\left \Vert x \right \Vert</math>对一切<math>V</math>中<math>x</math>皆真。使<math>\psi</math>为双射之空间称自反空间。

连续对偶赋<math>V</math>以一新拓扑，称之为弱拓扑。

若V之对偶可分，则<math>V</math>亦可分。反之则不然：考虑空间<math>I_1</math>，则其对偶<math>I\infty</math>不可分。

引用

• Bourbaki, Nicolas. Elements of mathematics, Algebra I. Springer-Verlag. 1989. ISBN 3-540-64243-9. 
• Paul Halmos. Finite dimensional vector spaces. Springer. 1974. ISBN 0387900934. 
• Walter Rudin. Functional analysis. McGraw-Hill Science. 1991. ISBN 978-0070542365.