关于对偶空间张量积与复值实线性泛函空间关系的疑问
嘿，这个问题问得特别到位，其实是在帮我们把张量积的抽象定义和具体的函数空间对应起来，咱们一步一步拆解明白：
首先先把基础概念锚定清楚：
- $V$是实数域$\mathbb{R}$上的向量空间，$V^$是它的实对偶空间——也就是所有从$V$到$\mathbb{R}$的实线性泛函的集合，简单说就是每个$f \in V^$都满足$f(av + bw) = af(v) + bf(w)$，其中$a,b \in \mathbb{R}$，$v,w \in V$。
- 复数域$\mathbb{C}$本身也可以看作是一个$\mathbb{R}$-向量空间（毕竟复数的加减、和实数的数乘都是符合实向量空间规则的）。
接下来看张量积$V^* \otimes_{\mathbb{R}} \mathbb{C}$（这里必须强调是实张量积，因为我们是在$\mathbb{R}$的基础上做张量积）：它里面的元素都是有限和的形式，也就是$\sum_{i} f_i \otimes z_i$，其中$f_i \in V^*$，$z_i \in \mathbb{C}$。
现在我们来建立这个张量积和复值实线性泛函空间的一一对应：
从张量积到泛函的映射：
任取一个张量积元素$\sum f_i \otimes z_i$，我们定义一个映射$\varphi: V \to \mathbb{C}$，让$\varphi(v) = \sum_{i} f_i(v) \cdot z_i$。
你可以自己验证一下，这个$\varphi$是实线性的：- 对加法：$\varphi(v + w) = \sum f_i(v+w)z_i = \sum (f_i(v)+f_i(w))z_i = \varphi(v) + \varphi(w)$
- 对实数乘：$\varphi(av) = \sum f_i(av)z_i = a\sum f_i(v)z_i = a\varphi(v)$（这里$a$是实数）
完全符合复值实线性泛函的定义。
从泛函到张量积的映射：
反过来，任何一个复值实线性泛函$\psi: V \to \mathbb{C}$，都可以拆成实部和虚部：$\psi(v) = \text{Re}\psi(v) + i \cdot \text{Im}\psi(v)$。
注意哦，$\text{Re}\psi$和$\text{Im}\psi$都是实线性泛函（因为$\psi$是实线性的，实部和虚部自然继承了这个性质），也就是说$\text{Re}\psi, \text{Im}\psi \in V^$。那$\psi$就可以写成$\text{Re}\psi \otimes 1 + \text{Im}\psi \otimes i$——这正好就是$V^ \otimes_{\mathbb{R}} \mathbb{C}$里的元素！
最后再确认一下，这个对应关系是线性同构：
- 线性性：两个张量积元素的和对应的泛函，就是各自对应泛函的和；实数乘以张量积元素对应的泛函，就是实数乘以对应泛函，完全符合线性空间的运算规则。
- 双射：刚才的正反构造是互逆的，所以是一一对应的，没有遗漏也没有重复。
这里还要提个容易混淆的点：我们说的是实线性泛函，不是复线性的。如果是复线性泛函的话，那要求对复数的数乘也保持线性，但这里$V$是实向量空间，没法直接定义复线性（除非先把$V$复化），所以别搞混啦～
备注：内容来源于stack exchange，提问作者Clyde
