向量空间到其复化空间嵌入的性质

嘿，先把复化空间的核心定义给你掰扯明白，这样你研究嵌入$\iota$的性质就有基础了：

设$V$是实数域上的向量空间，它的复化空间是这么一个复向量空间$V_{\mathbb{C}}$——它得配一个$\mathbb{R}$-线性的嵌入映射$\iota: V \hookrightarrow V_{\mathbb{C}}$，而且要满足关键的泛性质：

不管你拿哪个复向量空间$W$，也不管你定义了哪个从$V$到$W$的$\mathbb{R}$-线性映射$\phi$，总能找到唯一的一个$\mathbb{C}$-线性映射$\tilde{\phi}: V_{\mathbb{C}} \to W$，让下面这个交换图表“走得通”（也就是图表里的两条路径从$V$到$W$的结果完全一致）：
$$
\require{AMScd}
\begin{CD}
V @>\iota>> V_{\mathbb{C}}\
@| @VV\tilde{\phi}V \
V @>\phi>> W
\end{CD}
$$

接下来聊聊这个嵌入$\iota$的核心性质，都是从泛性质能直接推出来的实用结论：

• $\iota$一定是单射：假设$\iota(v_1) = \iota(v_2)$，我们可以构造一个$\mathbb{R}$-线性映射$\phi: V \to \mathbb{C}$（比如取$\phi(v)$为$V$上某个线性泛函的取值），然后利用$\tilde{\phi}$的$\mathbb{C}$-线性性和图表的交换性，就能反推出$v_1 = v_2$；
• $\iota(V)$生成整个$V_{\mathbb{C}}$作为复向量空间：如果有一个复子空间包含$\iota(V)$，那它必然就是$V_{\mathbb{C}}$本身——要是假设存在真子空间包含$\iota(V)$，用泛性质构造个矛盾映射就能证伪；
• 从具体构造看，你可以把$V_{\mathbb{C}}$直观写成${v + iv' \mid v, v' \in V}$，这时候$\iota(v)$就是$v + i0$，相当于把实向量空间“嵌”进了复化空间的实部位置，理解起来特别直观。

要是你卡在某个具体证明或者例子上，比如要验证某个构造是不是复化空间，或者要用到这个嵌入做后续的复线性扩张，随时把具体问题说出来就行～

备注：内容来源于stack exchange，提问作者GeometriaDifferenziale