对偶空间(dual space):在线性代数中,给定一个向量空间 (V)(通常在域 (\mathbb{R}) 或 (\mathbb{C}) 上),其对偶空间 (V^*) 指所有从 (V) 到该域的线性映射(线性泛函)所组成的向量空间。
(注:在更一般的情境下还会讨论拓扑对偶等“对偶”的变体。)
/ˈdjuːəl speɪs/
The dual space of (V) is denoted by (V^).
(V) 的对偶空间记作 (V^)。
In finite-dimensional spaces, every basis of (V) determines a dual basis in (V^), and (V) is naturally isomorphic to its double dual (V^{**}).
在有限维空间中,(V) 的每一组基都对应在 (V^) 中的一组对偶基,并且 (V) 与它的双对偶空间 (V^{**}) 自然同构。
dual 来自拉丁语 dualis(“两个的、成对的”),强调“成对对应”的关系;space 来自拉丁语 spatium(“空间、范围”)。在数学里,“对偶空间”这一术语体现了:向量(元素 (v\in V))与线性泛函(元素 (f\in V^*))之间通过 (f(v)) 形成的一种“配对/对应”。