双线性型与二次型
Published:
Introduction
TODO:
双线性型
若二元函数 $B$ 接受来自同一线性空间的两个向量 $\bm x, \bm y$，且对 $\bm x, \bm y$ 都满足线性性，则称 $B$ 为一个双线性型。
分解到一组任意基 $\bm e$：
\[\begin{aligned} & B(\bm x,\bm y) \\ =& B\left( \sum_i x_i \bm e_i, \sum_j y_j \bm e_j \right) \\ =& \sum_i \sum_j B(\bm e_i, \bm e_j) x_i y_j \end{aligned}\]因此任意双线性型都满足这样的形式：
\[B(\bm x, \bm y) = \sum_{i,j} A_{i,j} x_i y_j\]且任意双线性型的行为都仅由其在基矢上的行为决定。
教材中常见的写法是使用向量的转置把双线性型构造成矩阵与向量的乘法：
\[B(\bm x, \bm y) = \bm x^T \mathbf A \bm y\]我个人不喜欢这个写法。向量的转置对于初学者而言是意义不明的，仅仅是代数技巧；$\bm x^T \mathbf A \bm y$ 是 $1 \times 1$ 矩阵，而 $B(\bm x, \bm y)$ 是实数，直接写上等号算 notation abuse。
因此，在下文中，若需要强调双线性型中的矩阵，我们使用 Dirac 符号：
\[\langle \bm x \vert \mathbf A \vert \bm y \rangle = \sum_{i,j} A_{i,j} x_i y_j\]$\langle \bm x \vert$ 被称为 bra，$\vert \bm y \rangle$ 被称为 ket，合起来中间放一个矩阵 $\langle \bm x \vert \mathbf A \vert \bm y \rangle$ bracket 得到一个数。若 $\mathbf A$ 是单位矩阵 $\mathbf I$，则可以省略得到 $\langle \bm x \vert \bm y \rangle$。
对一侧施加线性变换
对双线性型的一侧施加一个线性变换会怎样？
左矢：
\[\begin{aligned} & \langle \mathbf A \bm x \vert \mathbf M \vert \bm y \rangle \\ =& \sum_i \sum_j M_{i,j} (A \bm x)_i y_j \\ =& \sum_i \sum_j M_{i,j} \left( \sum_k A_{i,k} x_k \right) y_j \\ =& \sum_k \sum_j \left( \sum_i A_{i,k} M_{i,j} \right) x_k y_j \\ =& \langle \bm x \vert \mathbf A^T \mathbf M \vert \bm y \rangle \\ \end{aligned}\]类似地，右矢：
\[\begin{aligned} & \langle \bm x \vert \mathbf M \vert \mathbf B \bm y \rangle \\ =& \sum_i \sum_j M_{i,j} x_i (B \bm y)_j \\ =& \sum_i \sum_j M_{i,j} x_i \left( \sum_k B_{j,k} y_k \right) \\ =& \sum_k \sum_j \left( \sum_i M_{i,j} B_{j,k} \right) x_i y_k \\ =& \langle \bm x \vert \mathbf M \mathbf B \vert \bm y \rangle \\ \end{aligned}\]完全体是这样：
\[\boxed{ \langle \mathbf A \bm x \vert \mathbf M \vert \mathbf B \bm y \rangle = \langle \bm x \vert \mathbf A^T \mathbf M \mathbf B \vert \bm y \rangle }\]虽然看起来推导很复杂，但是定性来看，$\langle \mathbf A \bm x \vert \mathbf M \vert \mathbf B \bm y \rangle$ 对于 $\bm x, \bm y$ 依旧都是线性的，因此必然能被表示为双线性型。
双线性型的对称+反对称分解
若 $B$ 满足对称性，即 $B(\bm x,\bm y) = B(\bm y,\bm x)$：
\[A_{i,j} = B(\bm e_i, \bm e_j) = B(\bm e_j, \bm e_i) = A_{j,i}\]即 $\mathbf A$ 是对称矩阵。
若 $B$ 满足反对称性，即 $B(\bm x,\bm y) = - B(\bm y,\bm x)$：
\[A_{i,j} = B(\bm e_i, \bm e_j) = - B(\bm e_j, \bm e_i) = - A_{j,i}\]即 $\mathbf A$ 是反对称矩阵。
特别地，若 $\bm x = \bm y$，有
\[B(\bm x,\bm x) = 0\]熟知矩阵的对称+反对称分解：
\[A_{i,j} = \frac {A_{i,j} + A_{j,i}} 2 + \frac {A_{i,j} - A_{j,i}} 2\] \[\mathbf A = \frac {\mathbf A + \mathbf A^T} 2 + \frac {\mathbf A - \mathbf A^T} 2\]显然双线性型可以做同样分解。TODO: 润色
二次型
若在双线性型 $B$ 的两个参数放同一个向量，就得到了二次型 $Q$：
\[Q(\bm x) = B(\bm x,\bm x)\]代入刚才的对称+反对称分解：
\[\begin{aligned} & \langle \bm x \vert \mathbf A \vert \bm x \rangle \\ =& \langle \bm x \vert \frac {\mathbf A + \mathbf A^T} 2 \vert \bm x \rangle + \langle \bm x \vert \frac {\mathbf A - \mathbf A^T} 2 \vert \bm x \rangle \\ =& \langle \bm x \vert \frac {\mathbf A + \mathbf A^T} 2 \vert \bm x \rangle \\ \end{aligned}\]由于二次型的反对称部分必然为 $0$，我们后续只讨论包含对称矩阵的二次型。
二次型与对称双线性型构成双射。该关系被称为极化恒等式：
\[\begin{aligned} Q(\bm x + \bm y) &= B(\bm x + \bm y, \bm x + \bm y) \\ &= B(\bm x, \bm x) + B(\bm x, \bm y) + B(\bm y, \bm x) + B(\bm y, \bm y) \\ &= Q(\bm x) + 2 B(\bm x, \bm y) + Q(\bm y) \\ \end{aligned}\] \[\boxed{ B(\bm x, \bm y) = \frac {Q(\bm x + \bm y) - Q(\bm x) - Q(\bm y)} 2 }\]正交
若两个向量 $\bm x, \bm y$ 满足 $B(\bm x, \bm y) = 0$，则
\[B(k_1 \bm x, k_2 \bm y) = k_1 k_2 B(\bm x, \bm y) = 0\]不管怎么伸缩这两个向量，$B$ 都为 $0$，即这两个向量是“无关”的。我们称这种关系为正交或垂直，用符号 $\perp$ 表示：
\[B(\bm x, \bm y) = 0 \iff \bm x \perp \bm y\]显然零向量和任意向量正交。
度规
若存在非零向量 $\bm x$ 和任意向量正交，则我们称 $B$ 是退化的。非退化的对称双线性型称为度规，经常记作 $\eta(\bm x, \bm y)$。
多元函数 Taylor 展开 & Hessian 矩阵
要求 $f(\bm x_0 + \bm h)$ 的展开。设辅助函数 $g$
\[g(t) = f(\bm x_0 + t \bm h) \implies f(\bm x_0 + \bm h) = g(1) = \sum_{n=0}^\infty \frac {g^{(n)}(0)} {n!}\] \[\begin{cases} g'(t) = \sum_i \frac {\partial} {\partial x_i} f(\bm x_0 + t \bm h) \times h_i \\ g''(t) = \sum_{i,j} \frac {\partial^2} {\partial x_i \partial x_j} f(\bm x_0 + t \bm h) \times h_i \times h_j \\ \end{cases}\] \[\begin{cases} g'(0) = \sum_i \frac {\partial} {\partial x_i} f(\bm x_0) \times h_i \\ g''(0) = \sum_{i,j} \frac {\partial^2} {\partial x_i \partial x_j} f(\bm x_0) \times h_i \times h_j \\ \end{cases}\]$g’‘(0)$ 是一个关于 $\bm h$ 的二次型。系数矩阵记作 $\mathbf H(\bm x_0)$，称为 Hessian 矩阵。
\[\mathbf H(\bm x_0)_{i,j} = \frac {\partial^2} {\partial x_i \partial x_j} f(\bm x_0)\] \[g''(0) = \langle \bm h \vert \mathbf H(\bm x_0) \vert \bm h \rangle\]偏导可以交换，因此 $\mathbf H(\bm x_0)$ 天然是对称矩阵。
\[\boxed{ f(\bm x_0 + \bm h) = f(\bm x_0) + \langle \nabla f(\bm x_0) \vert \bm h \rangle + \frac 1 2 \langle \bm h \vert \mathbf H(\bm x_0) \vert \bm h \rangle + o(\lVert \bm h \rVert^2) }\]极值点
一元微积分中，对于一阶导为 $0$ 的点，它是局部极小值的一个必要条件是二阶导 $> 0$。在多元微积分中有没有类似的结论？
对于 $\nabla f$ 为 $0$ 的点，根据 Taylor 展开有
\[f(\bm x_0 + \bm h) - f(\bm x_0) = \frac 1 2 \langle \bm h \vert \mathbf H(\bm x_0) \vert \bm h \rangle + o(\lVert \bm h \rVert^2)\]若 $\mathbf H$ 满足
\[\langle \bm h \vert \mathbf H(\bm x_0) \vert \bm h \rangle > 0, \quad \forall \bm h \ne 0\]则 $\bm x_0$ 是局部的极小值。TODO: 润色，不严谨
正定矩阵
引出正定矩阵定义：对于对称矩阵 $\mathbf A$，若
\[\langle \bm x \vert \mathbf A \vert \bm x \rangle > 0, \quad \forall \bm x \ne \bm 0\]则称 $\mathbf A$ 为正定矩阵。
若 Hessian 正定，则 TODO:
内积
当 $\mathbf A$ 是正定矩阵时，对应的双线性型被称为内积，记作 $\langle \bm x, \bm y \rangle$。
内积一定是是度规，因为若存在非零向量 $\bm x$ 使得任意向量和它的内积为 $0$，则 $Q(\bm x) = B(\bm x, \bm x) = 0$，与正定矩阵的定义矛盾。
内积对应的二次型的平方根被称为内积诱导的范数：
\[\lVert \bm x \rVert^2 = \langle \bm x, \bm x \rangle\] \[\lVert \bm x \rVert = \sqrt{\langle \bm x, \bm x \rangle}\]勾股定理
\[\langle \bm x, \bm y \rangle = 0 \implies \lVert \bm x \rVert^2 + \lVert \bm y \rVert^2 = \lVert \bm x + \bm y \rVert^2\]投影
\[\begin{cases} \bm x = \bm x_\parallel + \bm x_\perp \\ \bm x_\parallel = \lambda \bm y \\ \langle \bm x_\perp, \bm y \rangle = 0 \end{cases}\]解方程组
\[\begin{aligned} \langle \bm x - \lambda \bm y, \bm y \rangle &= 0 \\ \langle \bm x, \bm y \rangle - \lambda \langle \bm y, \bm y \rangle &= 0 \\ \lambda &= \frac {\langle \bm x, \bm y \rangle} {\lVert \bm y \rVert^2} \end{aligned}\] \[\bm x_\parallel = \frac {\langle \bm x, \bm y \rangle} {\lVert \bm y \rVert^2} \bm y \implies \boxed{ \bm x_\parallel = \frac {\langle \bm x, \bm y \rangle} {\lVert \bm y \rVert} \hat y }\]若 $\bm y$ 是一个单位向量（一般记作 $\bm u$）：
\[\bm x_\parallel = \langle \bm x, \hat {\bm u} \rangle \hat {\bm u}\]Gram–Schmidt orthogonalization
任意内积空间存在正交基。
对于给定的一组基 $\bm v_{1 \cdots n}$，令
\[\bm u_k = \bm v_k - \sum_{i=1}^{k-1} \frac {\langle \bm v_k, \bm u_i \rangle} {\lVert \bm u_i \rVert} \hat {\bm u}_i\]不难验证 $\bm u_{1 \cdots n}$ 是空间的正交基。
Cauchy-Schwarz 不等式
\[\boxed{ \lvert \langle \bm x, \bm y \rangle \rvert \le \lVert \bm x \rVert \lVert \bm y \rVert }\]证明：把 $\bm x$ 正交分解到 $\bm y$ 的方向和与 $\bm y$ 正交的方向。
\[\begin{aligned} \bm x &= \frac {\langle \bm x, \bm y \rangle} {\lVert \bm y \rVert} \hat {\bm y} + \bm x_\perp \\ \lVert \bm x \rVert^2 &= \frac {\lvert \langle \bm x, \bm y \rangle \rvert^2} {\lVert \bm y \rVert^2} + \lVert \bm x_\perp \rVert^2 \\ \lVert \bm x \rVert^2 & \ge \frac {\lvert \langle \bm x, \bm y \rangle \rvert^2} {\lVert \bm y \rVert^2} \\ \lVert \bm x \rVert \lVert \bm y \rVert & \ge \lvert \langle \bm x, \bm y \rangle \rvert \end{aligned}\]当 $\bm y = \bm 0$ 时原结论是平凡的，因此不担心 $\lVert \bm y \rVert = 0$ 在分母上的情况。
取等条件是 $\bm x_\perp = \bm 0$，即 $\bm x$ 和 $\bm y$ 线性相关。
标准内积
由于内积定义了垂直，我们终于可以定义标准正交基：若一组基满足
- 不同的基向量两两垂直（内积为 $0$）
- 每个基向量范数为 $1$（与自身内积为 $1$）
在标准正交基的视角下，内积的矩阵就变成了单位矩阵（回顾双线性型矩阵系数是如何得到的），这样的内积称为标准内积：
\[\langle \bm x \vert \bm y \rangle = \sum_i x_i y_i\]标准内积下的勾股定理：
\[\lVert \bm x \rVert = \sqrt{\langle \bm x \vert \bm x \rangle} = \sqrt{\sum_i x_i^2}\]由 Gram–Schmidt orthogonalization，任意线性空间必然存在正交基，因此归一化一下就能得到标准正交基。
正交矩阵
保标准内积不变（直观理解就是保角度保长度）的变换称为正交变换：
\[\langle \bm x \vert \bm y \rangle = \langle \mathbf Q \bm x \vert \mathbf Q \bm y \rangle\] \[\begin{aligned} \langle \bm x \vert \mathbf Q^T \mathbf Q \vert \bm y \rangle &= \langle \bm x \vert \bm y \rangle \\ \mathbf Q^T \mathbf Q &= \mathbf I \\ \mathbf Q^T &= \mathbf Q^{-1} \\ \end{aligned}\]考虑 $\mathbf Q$ 对标准正交基的变换：
\[\begin{aligned} \det \begin{bmatrix} \mathbf Q \bm e_1 & \cdots \mathbf Q \bm e_n \end{bmatrix} &= \det \mathbf Q \times \det \begin{bmatrix} \bm e_1 & \cdots \bm e_n \end{bmatrix} \\ \lvert \det \begin{bmatrix} \mathbf Q \bm e_1 & \cdots \mathbf Q \bm e_n \end{bmatrix} \rvert &= \lvert \det \mathbf Q \rvert \times \lvert \det \begin{bmatrix} \bm e_1 & \cdots \bm e_n \end{bmatrix} \rvert \\ 1 &= \lvert \det \mathbf Q \rvert \times 1 \\ \det \mathbf Q &= \pm 1 \\ \end{aligned}\]旋转，可能翻转。构成 Orthogonal Group $O(n)$
若只看 $\det \mathbf Q = 1$，强制不许翻转。构成 Special Orthogonal Group $SO(n)$
正交对角化 & Spectral theorem
对于实对称矩阵 $\mathbf A = \mathbf A^T$ 有
\[\langle \bm x \vert \mathbf A \vert \bm y \rangle = \langle \mathbf A \bm x \vert \bm y \rangle = \langle \bm x \vert \mathbf A \bm y \rangle\]我们来研究这类矩阵的性质。
对称矩阵对应的线性变换长什么样？
先接受定理：对称矩阵 $\mathbf A$ 的所有特征值均为实数。在后续复内积的段落会证明这一点，因为讨论复特征值时不可避免地会遇到复向量，而复向量则必须用到复内积，但一旦有了复内积后这是一个容易证明的小结论。
对于 $\mathbf A$ 的两个不同特征值 $\lambda_1 \ne \lambda_2$，设对应的两个特征向量分别为 $\bm x, \bm y$，则
\[\begin{cases} \langle \mathbf A \bm x \vert \bm y \rangle = \langle \lambda_1 \bm x \vert \bm y \rangle = \lambda_1 \langle \bm x \vert \bm y \rangle \\ \langle \bm x \vert \mathbf A \bm y \rangle = \langle \bm x \vert \lambda_2 \bm y \rangle = \lambda_2 \langle \bm x \vert \bm y \rangle \\ \end{cases}\] \[\begin{aligned} (\lambda_1 - \lambda_2) \langle \bm x \vert \bm y \rangle &= 0 \\ \langle \bm x \vert \bm y \rangle &= 0 \\ \end{aligned}\]对于 $\mathbf A$ 的同一特征值 $\lambda$ 的所有不同特征向量，它们同时以 $\lambda$ 的倍率增长，因此张成的空间也以 $\lambda$ 的倍率增长。直接使用 Gram–Schmidt orthogonalization 构造一组正交基。
因此，必定可以构造一组正交基，使得空间在这组基下只有缩放，对应的是以特征值为元素的对角矩阵 $\mathbf \Lambda$
因此对称矩阵必然存在对角化，且变换矩阵是正交矩阵
\[\mathbf A = \mathbf Q^{-1} \mathbf \Lambda \mathbf Q\]任意度量下的内积在正交变换后都相当于对角阵内积
\[\begin{aligned} & \langle \bm x \vert \mathbf A \vert \bm y \rangle \\ =& \langle \bm x \vert \mathbf Q^{-1} \mathbf \Lambda \mathbf Q \vert \bm y \rangle \\ =& \langle \bm x \vert \mathbf Q^T \mathbf \Lambda \mathbf Q \vert \bm y \rangle \\ =& \langle \mathbf Q \bm x \vert \mathbf \Lambda \vert \mathbf Q \bm y \rangle \\ \end{aligned}\]判定正定矩阵的一个充要条件
该对称矩阵的所有特征值均为正。
正特征值 -> 正定矩阵：
作分解 $\mathbf A = \mathbf Q^{-1} \mathbf \Lambda \mathbf Q$
\[\begin{aligned} & \langle \bm x \vert \mathbf A \vert \bm x \rangle > 0 \\ \iff & \langle \mathbf Q \bm x \vert \mathbf \Lambda \vert \mathbf Q \bm x \rangle > 0 \\ \iff & \sum_i \lambda_i (\mathbf Q \bm x)_i^2 > 0 \end{aligned}\]正定矩阵 -> 正特征值：TODO:
\[\begin{aligned} \mathbf A \bm v &= \lambda \bm v \\ \langle \bm v \vert \mathbf A \bm v \rangle &= \lambda \langle \bm v \vert \bm v \rangle \\ \lambda &= \frac {\langle \bm v \vert \mathbf A \vert \bm v \rangle} {\lVert \bm v \rVert^2} > 0 \\ \end{aligned}\]正定矩阵的二次型
正定矩阵二次型的等值面是椭球
\[Q(\bm x) = \sum_i \lambda_i (\mathbf Q \bm x)_i^2 = \sum_i \frac {(\mathbf Q \bm x)_i^2} {(1 / \sqrt{\lambda_i})^2}\]极值
与单位球有公共点的最大椭球，一定是在最短轴顶点相切，对应最大特征值：
\[\min \frac 1 {\sqrt{\lambda_i}} \iff \max \lambda_i\]同理，最小值对应最小的特征值
Rayleigh 商
对于对称矩阵 $\mathbf A$，对于向量 $\bm x$，其 Rayleigh 商为：
\[\frac {\langle \bm x \vert \mathbf A \vert \bm x \rangle} {\lVert \bm x \rVert^2}\]其范围一定在最小和最大特征值之间。TODO: 证明
某种结构
协方差张量
先去中心化。$\bm x \mapsto \bm x - \bar {\bm x}$
\[\operatorname{Var}(\langle \bm x, \bm u \rangle) = \frac 1 n \sum_k \langle \bm x_k, \bm u \rangle^2\]这是一个二次型 $\langle \bm u \vert \mathbf \Sigma \vert \bm u \rangle$，根据极化恒等式可得到其对应的双线性型为
\[\langle \bm u \vert \mathbf \Sigma \vert \bm v \rangle = \frac 1 n \sum_k \langle \bm x_k, \bm u \rangle \langle \bm x_k, \bm v \rangle\]代入基向量 $\bm e_i, \bm e_j$ 可以得到 $\Sigma$ 的元素：
\[\begin{aligned} \Sigma_{i,j} = \langle \bm e_i \vert \mathbf \Sigma \vert \bm e_j \rangle &= \frac 1 n \sum_k \langle \bm x_k, \bm e_i \rangle \langle \bm x_k, \bm e_j \rangle \\ &= \frac 1 n \sum_k x_{k,i} x_{k,j} \\ \end{aligned}\]这个值就是我们熟知的协方差。
主成分分析 PCA
对于 PCA 的问题，我们希望找到方向 $\bm u$ 使得该方向上数据的方差最大：
\[\max_{\lVert \bm u \rVert = 1} \langle \bm u \vert \mathbf \Sigma \vert \bm u \rangle\]根据前面说的结论，这个 $\bm u$ 应该指向等值椭球面最短轴的方向，即 $\bm u$ 是 $\lambda_{\max}$ 对应的特征向量。
转动惯量张量
协方差——投影长度的平方；转动惯量——投影距离的平方。加起来是定值，所以是同一个数学结构。
此处我们使用的旋转是高维旋转的一个子集，即绕着一个轴在其正交补空间内做任意旋转。
\[\mathbf \Sigma + \mathbf I = \operatorname{tr}(TODO:)\]半双线性型 & Hermitian
TODO: 区分内积空间和度规空间 https://zhuanlan.zhihu.com/p/356975719
由于我们希望对复向量也定义内积，我们需要对于复数的双线性型和二次型。但注意由于二次型是范数的平方，我们希望二次型总是非负实数。
若我们直接把实数上的双线性型搬过来呢？
\[\begin{aligned} & B(\mathrm e^{\mathrm i \theta} \bm x, \mathrm e^{\mathrm i \theta} \bm x) \\ =& \mathrm e^{\mathrm 2 i \theta} B(\bm x, \bm x) \\ \end{aligned}\]坏了坏了，除了平凡的 $B(\bm x, \bm x) \equiv 0$，$B(\mathrm i \bm x, \mathrm i \bm x)$ 和 $B(\bm x, \bm x)$ 不可能保证同时是实数，完啦！
如果这两个幅角能抵消呢？我们不妨让其中一个系数先共轭再被提出来（不妨令第一个系数共轭），这种性质被称为半双线性：
\[S(a \bm x, b \bm y) = \bar a b S(\bm x, \bm y)\]根据 convention，物理学家喜欢使用第一变元共轭，数学家喜欢使用第二变元共轭。
此时：
\[\begin{aligned} & S(\mathrm e^{\mathrm i \theta} \bm x, \mathrm e^{\mathrm i \theta} \bm x) \\ =& \mathrm e^{- \mathrm i \theta} \mathrm e^{\mathrm i \theta} S(\bm x, \bm x) \\ =& S(\bm x, \bm x) \\ \end{aligned}\]这样就可以保证恒为实数了！
在这种条件下，我们可以推导出半双线性型的表达式：
\[\begin{aligned} & S(\bm x, \bm y) \\ =& S\left( \sum_i x_i \bm e_i, \sum_j y_j \bm e_j \right) \\ =& \sum_i \sum_j S(\bm e_i, \bm e_j) \bar x_i y_j \end{aligned}\]与此同时我们直接定义“半”二次型，称为 Hermitian：
\[H(\bm x) = S(\bm x, \bm x) \in \mathbb R\]\[H(\bm x + \bm y) = H(\bm x) + S(\bm x, \bm y) + S(\bm y, \bm x) + H(\bm y)\] \[\begin{aligned} S(\bm x, \bm y) + S(\bm y, \bm x) \in \mathbb R \\ \Im(S(\bm x, \bm y)) + \Im(S(\bm y, \bm x)) = 0 \\ \end{aligned}\] \[\begin{aligned} H(\bm x + \mathrm i \bm y) &= H(\bm x) + S(\bm x, \mathrm i \bm y) + S(\mathrm i \bm y, \bm x) + H(\mathrm i \bm y) \\ &= H(\bm x) + H(\bm y) + \mathrm i (S(\bm x, \bm y) - S(\bm y, \bm x)) \\ \end{aligned}\] \[\begin{aligned} \mathrm i (S(\bm x, \bm y) - S(\bm y, \bm x)) \in \mathbb R \\ \Re(S(\bm x, \bm y)) - \Re(S(\bm y, \bm x)) = 0 \\ \end{aligned}\]
实部相等虚部相反，即
\[\boxed{ \forall \bm x, S(\bm x, \bm x) \in \mathbb R \implies S(\bm x, \bm y) = \overline{S(\bm y, \bm x)} }\]我们称满足这种共轭对称性的半双线性型为 Hermitian 半双线性型。
通过扩展版极化恒等式（证明略去），可以证明 Hermitian 半双线性型和恒为实数的复二次型构成双射：
\[S(\bm x, \bm y) = \frac 1 4 \left( H(\bm x + \bm y) - H(\bm x - \bm y) - \mathrm i H(\bm x + \mathrm i \bm y) + \mathrm i H(\bm x - \mathrm i \bm y) \right)\]仿照对称+反对称分解，半二次型有没有类似分解？
TODO: Hermitian 和反 Hermitian，纯实数+纯虚数
用 Dirac 符号表示半双线性型：
\[\langle \bm x \vert \mathbf A \vert \bm y \rangle = \sum_{i,j} A_{i,j} \bar x_i y_j\] \[\boxed{ \langle \mathbf A \bm x \vert \mathbf M \vert \mathbf B \bm y \rangle = \langle \bm x \vert \mathbf A^H \mathbf M \mathbf B \vert \bm y \rangle }\]复内积 / Hermite 内积
若 $H$ 正定，则 $S$ 是复内积
实对称矩阵只有实特征值
\[\begin{aligned} & \langle \mathbf A \bm x \vert \bm x \rangle &&= \langle \bm x \vert \mathbf A \bm x \rangle \\ =& \langle \lambda \bm x \vert \bm x \rangle &&= \langle \bm x \vert \lambda \bm x \rangle \\ =& \bar \lambda \lVert \bm x \rVert^2 &&= \lambda \lVert \bm x \rVert^2 \\ \end{aligned}\]$\lambda = \bar \lambda$，即 $\lambda \in \mathbb R$。
TODO: 直接证 Hermitian 矩阵，然后说实对称矩阵是特例