贡献者： Giacomo; addis
预备知识 向量空间的张量积
，对称/反对称多线性映射
1. 作为子空间的对称/反对称幂
对称幂
我们可以在 $V^{\times n}$ 上定义自然置换作用例 5 ，类似的 $n$ 阶张量幂空间 $V^{\otimes n}$ 上也可以定义一个 $S_n$ 的群作用：
\begin{equation}
\begin{aligned}
\rho(\sigma): V^{\otimes n} &\to V^{\otimes n}~, \\
v_1 \otimes \cdots \otimes v_n &\mapsto v_{\sigma(1)} \otimes \cdots \otimes v_{\sigma(n)}~.
\end{aligned}
\end{equation}
注意：我们把 $\rho(\sigma)$ 被定义为线性的，因此只需要考虑 $V^{\otimes n}$ 的一组基的映射就可以了，完整的写法为 $\sum a_v v_1 \otimes \cdots \otimes v_n \mapsto \sum a_v v_{\sigma(1)} \otimes \cdots \otimes v_{\sigma(n)}$，下同。
例 1
考虑 $n = 2$，$S_2 = \mathbb{Z}/2\mathbb{Z} = \{e, (1 2)\}$，$\rho(e)$ 是恒等映射，而
\begin{equation}
\begin{aligned}
\rho((1 2)): V \otimes V &\to V \otimes V~, \\
v_1 \otimes v_2 &\mapsto v_2 \otimes v_1~.
\end{aligned}
\end{equation}
特别的，我们把 $n$ 阶张量幂空间 $V^{\otimes n}$ 的不动点集 $(V^{\otimes n})^{S_n}$（定义 2 ）称为 $V$ 的 $n$ 阶对称幂空间，记做 $ \operatorname {Sym}^n V$ 或者 $S^n(V)$。
习题 1
$v_1 \otimes \cdots \otimes v_n \in \operatorname {Sym}^n V$ 当且仅当对任意的的 $i, j$，
\begin{equation}
\cdots \otimes v_i \otimes \cdots \otimes v_j \otimes \cdots = \cdots \otimes v_j \otimes \cdots \otimes v_i \otimes \cdots~.
\end{equation}
例 2
考虑 $V = \mathbb{R}^2$；$ \operatorname {Sym}^2 V = \langle e_1 \otimes e_1, e_2 \otimes e_2, e_1 \otimes e_2 + e_2 \otimes e_1 \rangle$ 是一个三维向量空间。
我们定义（向量的）对称积1
\begin{equation}
\begin{aligned}
\cdot: V \times V &\to V^{\otimes 2}~, \\
v \cdot w &:= \frac12 (v \otimes w + w \otimes v)~,
\end{aligned}
\end{equation}
因此
例 2 中 $ \operatorname {Sym}^2 V$ 的基向量可以写成 $e_1 \cdot e_1, e_2 \cdot e_2$ 和 $e_1 \cdot e_2$（在基向量的意义下，系数不重要）。
注意：我们会说一个向量空间 $V$ 的（反）对称幂空间，以及两个向量的对称积，有时我们会把二阶对称幂空间 $\text{Sym}^2 V$ 称为向量空间 $V$ 的对称积空间，但是这并不严谨。
更一般的，我们可以定义多项对称积
\begin{equation}
\begin{aligned}
\cdot: V^{\times n} &\to V^{\otimes n}~, \\
v_1 \cdots v_n &:= \frac{1}{n!} \sum_{\sigma \in S_n} v_{\sigma(1)} \otimes \cdots \otimes v_{\sigma(n)}~,
\end{aligned}
\end{equation}
比如当 $n = 3$ 时，
\begin{equation}
\begin{aligned}
v_1 \cdot v_2 \cdot v_3 = &\frac16 (v_1 \otimes v_2 \otimes v_3 \\
&+ v_1 \otimes v_3 \otimes v_2 \\
&+ v_2 \otimes v_1 \otimes v_3 \\
&+ v_2 \otimes v_3 \otimes v_1 \\
&+ v_3 \otimes v_1 \otimes v_2 \\
&+ v_3 \otimes v_2 \otimes v_1)~,
\end{aligned}
\end{equation}
可以证明，$v_1 \cdot v_2 \cdots = v_1 \cdot v_3 \cdot v_2 \cdots = \cdots$ 在 $S_n$ 的置换作用下固定，这意味着 $v \cdots w \in \text{Sym}^n V$；
取 $V$ 的一组基 $\{e_1, \dots, e_k\}$，可以找到 $ \operatorname {Sym}^n V$ 的一组基
\begin{equation}
\left\{ e_{i_1} \cdot \cdots \cdot e_{i_n} \mid 1 \leq i_1 \leq \dots \leq i_n \leq k \right\}~,
\end{equation}
特别的，$\dim( \operatorname {Sym}^n V) = \begin{pmatrix}k + n - 1 \\ n\end{pmatrix} $（
隔板法）。
反对称幂（又称交错幂、外幂）
张量幂空间 $V^{\otimes n}$ 上存在另一个 $S_n$ 的群作用：
\begin{equation}
\begin{aligned}
\rho(\sigma): V^{\otimes n} &\to V^{\otimes n}~, \\
v_1 \otimes \cdots \otimes v_n &\mapsto \operatorname {sgn}(\sigma) v_{\sigma(1)} \otimes \cdots \otimes v_{\sigma(n)}~.
\end{aligned}
\end{equation}
其中对于偶置换 $ \operatorname {sgn}{\sigma} = 1$、奇置换 $ \operatorname {sgn}{\sigma} = -1$；我们把它的不动点集称为 $V$ 的 $n$ 阶
反对称幂空间或称
交错幂、
外幂），记做 ${\large \wedge}^n V$。
同样由于对称群 $S_n$ 由对换生成，我们只需要考虑 “交换两项变号” 即可。
定理 1
$v_1 \otimes \cdots \otimes v_n \in {\large \wedge}^n V$ 当且仅当对任意的的 $i, j$，
\begin{equation}
\cdots \otimes v_i \otimes \cdots \otimes v_j \otimes \cdots = - \cdots \otimes v_j \otimes \cdots \otimes v_i \otimes \cdots~.
\end{equation}
例 3
考虑 $V = \mathbb{R}^2$；反对称幂子空间 ${\large \wedge}^2 V = \langle e_1 \otimes e_2 - e_2 \otimes e_1 \rangle$，因为
\begin{equation}
\begin{aligned}
&\phantom{=} \rho((1 2))(e_1 \otimes e_2 - e_2 \otimes e_1) \\
&= \rho((1 2))(e_1 \otimes e_2) - \rho((1 2))(e_2 \otimes e_1) \\
&= - e_2 \otimes e_1 + e_1 \otimes e_2
\end{aligned}~
\end{equation}
我们定义（向量的）反对称积（或称交错积、外积）
\begin{equation}
\begin{aligned}
\wedge: V \times V &\to V^{\otimes 2}~, \\
v \wedge w &:= \frac12 (v \otimes w - w \otimes v)~,
\end{aligned}
\end{equation}
因此
例 3 中 ${\large \wedge}^2 V$ 的基向量可以写成 $e_1 \wedge e_2$。
反对称积满足，
- $v \wedge w = - w \wedge v$，特别的，
- $v \wedge v = 0$；
这意味着 $v \wedge w \in {\large \wedge}^2 V$。
更一般的，我们可以定义多项反对称积
\begin{equation}
\begin{aligned}
\wedge: V^{\times n} &\to V^{\otimes n}~, \\
v_1 \wedge \cdots \wedge v_n &:= \frac{1}{n!} \sum_{\sigma \in S_n} \text{sgn}(\sigma) v_{\sigma(1)} \otimes \cdots \otimes v_{\sigma(n)}~,
\end{aligned}
\end{equation}
对任意的 $\mu \in S_n$，
\begin{equation}
\begin{aligned}
\rho(\mu)(v_1 \wedge \cdots \wedge v_n) &= \frac{1}{n!} \sum_{\sigma \in S_n} \text{sgn}(\sigma) \rho(\mu)(v_{\sigma(1)} \otimes \cdots \otimes v_{\sigma(n)}) \\
&= \frac{1}{n!} \sum_{\sigma \in S_n} \text{sgn}(\sigma) \text{sgn}(\mu) (v_{\mu(\sigma(1))} \otimes \cdots \otimes v_{\mu(\sigma(n))}) \\
&= \frac{1}{n!} \sum_{\sigma \in S_n} \text{sgn}(\mu \sigma) (v_{\mu \sigma(1)} \otimes \cdots \otimes v_{\mu \sigma(n)}) \\
&= v_1 \wedge \cdots \wedge v_n~,
\end{aligned}
\end{equation}
因此 $v_1 \wedge \cdots \wedge v_n \in {\large \wedge}^n V$。
我们还可以定义两个反对称积（的结果）之间的的反对称积：
\begin{equation}
\begin{aligned}
\wedge: {\large \wedge}^{n_1} V \times {\large \wedge}^{n_2} V &\to {\large \wedge}^{n_1 + n_2} V~, \\
\nu \wedge \omega &:= v_1 \wedge \cdots \wedge v_{n_1} \wedge w_1 \wedge \cdots \wedge w_{n_2}~,
\end{aligned}
\end{equation}
此时的反对称积 “并不满足反对称律”，取而代之的是
\begin{equation}
\nu \wedge \omega = (-1)^{n_1 n_2} \omega \wedge \nu~.
\end{equation}
最后，类似对称积的情况，取 $V$ 的一组基 $\{e_1, \dots, e_k\}$，可以找到 ${\large \wedge}^n V$ 的一组基
\begin{equation}
\left\{ e_{i_1} \wedge \cdots \wedge e_{i_n} \mid 1 \leq i_1 < \dots < i_n \leq k \right\}~,
\end{equation}
特别的，$\dim({\large \wedge}^n V) = \begin{pmatrix}k \\ n\end{pmatrix} $，因此如果 $n > k$，${\large \wedge}^n V$ 就是零空间了。
二阶张量幂空间的对称反对称分解
由于 $k$ 维向量空间 $V$ 的二阶张量幂空间可以被分解成对称幂空间和反对称幂空间的直和
\begin{equation}
\begin{aligned}
V^{\otimes 2} &= \operatorname {Sym}^2 V \oplus {\large \wedge}^2 V \\
v_1 \otimes v_2 &= v_1 \cdot v_2 + v_1 \wedge v_2~.
\end{aligned}
\end{equation}
另一方面，$k$ 维向量空间 $V$ 的二阶张量幂空间 $V^{\otimes 2}$ 的维度为 $k^2$，我们有
\begin{equation}
\begin{aligned}
\begin{pmatrix}k + 1 \\ 2\end{pmatrix} + \begin{pmatrix}k \\ 2\end{pmatrix} &= \frac{(k + 1)!}{(k - 1)! 2} + \frac{k!}{(k - 2)! 2} \\
&= \frac{(k + 1) k}{2} + \frac{k (k - 1)}{2} \\
&= k^2~.
\end{aligned}
\end{equation}
不过，这个性质对于更高阶的情况不再成立，比如当 $n = 3$ 时
\begin{equation}
\begin{aligned}
\begin{pmatrix}k + 2 \\ 3\end{pmatrix} + \begin{pmatrix}k \\ 3\end{pmatrix} &= \frac{(k + 2)!}{(k - 1)! 6} + \frac{k!}{(k - 3)! 6} \\
&= \frac{k}{3} ((k + 2)(k + 1) + (k - 1) (k - 2)) \\
&= \frac{k}{3} (k^2 + 4) \\
&< k^3~.
\end{aligned}
\end{equation}
2. 作为商空间的对称/反对称幂
我们可以换一个视角来看待对称/反对称幂。考虑对称积映射 $\cdot: V^{\times n} \to V^{\otimes n}$，由于
- 它的值域为 $ \operatorname {Sym}^n V$，而且
- 它是一个多线性映射，
我们可以把它改写为一个线性满同态 $ \operatorname {Sym}: V^{\otimes n} \twoheadrightarrow \operatorname {Sym}^n V$，我们有
\begin{equation}
\ker( \operatorname {Sym}) = \{v - \rho_\text{perm}(g) v \mid v \in V^{\otimes n}, g \in S_n\}~,
\end{equation}
换言之，我们可以把 $ \operatorname {Sym}^n V$ 理解成 $V^{\otimes n}$ 的商空间；
类似的，反对称积映射 $\wedge: V^{\times n} \to V^{\otimes n}$ 可以改写成线性满同态 ${\large \wedge}: V^{\otimes n} \twoheadrightarrow {\large \wedge}^n V$，同样有
\begin{equation}
\ker({\large \wedge}) = \{v - \rho_\text{sign}(g) v \mid v \in V^{\otimes n}, g \in S_n\}~.
\end{equation}
对称/反对称幂的万有性质
未完成：万有性质的文章，包含初/终性质
定理 2 对称映射的万有性质
对称幂映射 $ \operatorname {Sym}: V^{\times n} \to \operatorname {Sym}^n V$ 是一个对称映射，而且 $ \operatorname {Sym}^n V$ 是所有到达域中 “最小的” 的（初对象，相关文章有待补充）：任意对称映射 $f: V^{\times n} \to W$，我们都有唯一确定的线性映射 $\bar{f}: \operatorname {Sym}^n V \to W$，满足 $f = \bar{f} \circ \operatorname {Sym}$，我们有交换图
\begin{equation}
\begin{CD}
V^{\times n} @>{ \operatorname {Sym}}>> \operatorname {Sym}^n V \\
@V{f}VV @V{\bar{f}}VV \\
W @= W
\end{CD}~.
\end{equation}
对称映射的万有性质可以对照张量积的万有性质定义 1 进行理解。
类似的，
定理 3 反对称映射的万有性质
反对称幂映射 ${\large \wedge}: V^{\times n} \to {\large \wedge}^n V$ 是一个反对称映射，任意反对称映射 $f: V^{\times n} \to W$，我们都有唯一确定的线性映射 $\bar{f}: {\large \wedge}^n V \to W$，满足 $f = \bar{f} \circ {\large \wedge}$，我们有交换图
\begin{equation}
\begin{CD}
V^{\times n} @>{{\large \wedge}}>> {\large \wedge}^n V \\
@V{f}VV @V{\bar{f}}VV \\
W @= W
\end{CD}~.
\end{equation}
万有性质保证了对称/反对称幂空间在同构意义下的唯一性，进而证明了子空间构造和商空间构造是同构的。
1. ^ 如果域的特征 $ \operatorname {char} \mathbb{F}$ 大于零（比如 $\mathbb{F}_p$），$\frac{1}{2}$ 的存在性依赖于 $ \operatorname {char} \mathbb{F}$ 是否大于 $2$，更一般的，$\frac{1}{n!}$ 存在要求 $ \operatorname {char} \mathbb{F} > n$；当我们只考虑 $\mathbb{R}, \mathbb{C}$ 的时候，不需要考虑这些问题。
致读者： 小时百科一直以来坚持所有内容免费无广告，这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此，我们请求广大读者
热心打赏 ，使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 20 元，我们一周就能脱离亏损， 并在接下来的一年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款， 他们的付出帮助了 99% 的读者免费获取知识， 我们在此表示感谢。