10_实向量空间上的算子

一、空间与算子的复化 (Complexification)

空间的复化：实向量空间 \(V_{\mathbb{R}}\) 的复化定义为 \(V_{\mathbb{C}} = \{u+iv \mid u, v \in V\}\)。
维数与基底：实基即为复基；维数满足 \(\dim_\mathbb{C}(V_\mathbb{C}) = \dim_\mathbb{R}(V_\mathbb{R})\)。将 \(V_\mathbb{C}\) 视为实空间时，其维数为 \(2\dim_\mathbb{R} V\)。
算子的复化：对实算子 \(T\)，其复化算子定义为 \(T_{\mathbb{C}}(u+iv) = Tu + iTv\)。在同一组实基下，\(T\) 与 \(T_{\mathbb{C}}\) 的矩阵表示完全相同。

共轭特征值：若 \(\lambda\) 为 \(T_{\mathbb{C}}\) 的复特征值（对应特征向量 \(u+iv\)），则其共轭 \(\overline{\lambda}\) 必为特征值（对应特征向量 \(u-iv\)）。两者对应的广义特征空间维数严格相等。
奇数维定理：奇数维（\(2k+1\)）实空间上的算子，必定存在至少一个实特征值。
多项式性质：实算子的特征多项式与极小多项式必为实系数多项式。Cayley-Hamilton 定理在实数域成立，极小多项式必然整除特征多项式。
求极小多项式（Smith标准型法）：
- 构造特征矩阵 \(\lambda E - A\)。
- 利用初等变换化为对角型 \(\text{diag}(1, \dots, 1, d_1(\lambda), \dots, d_r(\lambda))\)，需满足 \(d_i(\lambda) \mid d_{i+1}(\lambda)\)。
- 最后一个（次数最高）的不变因子 \(d_r(\lambda)\) 即为极小多项式。

存在性定理：实空间上任意算子 \(T\)，必定存在 \(1\) 维或 \(2\) 维的 \(T\)-不变子空间。
实空间分解与分块矩阵求法：
- 对应实特征值：求解实特征向量，张成 \(1\) 维实不变子空间。
- 对应复特征值 (\(a+bi\))：求解出复特征向量 \(u+iv\)。将其分离实部 \(u\) 和虚部 \(v\)，它们张成 \(2\) 维实不变子空间 \(\text{Span}(u, v)\)。全空间据此进行直和分解，得到含 \(1\times1\) 和 \(2\times2\) 块的分块对角阵。

正规算子 (\(T^*T = TT^*\))：
- 不变子空间限制：若 \(U\) 是 \(T\)-不变的，则正交补 \(U^\bot\) 也是 \(T\)-不变的，且 \(U\) 是 \(T^*\)-不变的。限制算子满足 \((T|_U)^* = T^*|_U\)，且 \(T|_U\) 与 \(T|_{U^\bot}\) 均为正规算子。
- 分块对角结构：必存在标准正交基，使正规算子的矩阵化为分块对角阵。其对角块仅包含两类：\(1 \times 1\) 的实数块 \(\lambda_i\)，或 \(2 \times 2\) 的结构块 \(\begin{pmatrix} a_i & -b_i \\ b_i & a_i \end{pmatrix}\)（其中 \(b_i > 0\)）。
等距算子 (\(SS^* = S^*S = I\))：
- 分块对角结构：必存在标准正交基，使等距算子矩阵化为分块对角阵。其对角块仅包含两类：\(1 \times 1\) 的特征值块（只能取 \(\pm 1\)），或 \(2 \times 2\) 的旋转矩阵块 \(\begin{pmatrix} \cos\theta_i & -\sin\theta_i \\ \sin\theta_i & \cos\theta_i \end{pmatrix}\)。