实Jordan标准形的推导

PS：
过了很久再复习以前的知识，感觉其实说复杂了。只需注意到把实矩阵$A$放到复数意义下有两个共轭特征值，再利用共轭来构造一组基就好了。

众所周知，任意复矩阵有惟一Jordan标准形。对于实矩阵，设其初等因子为$p_1^{s_1}(\lambda ),...,p_n^{s_n}(\lambda )$，影响构造Jordan块的只有形如$(x^2+px+q{)}^n$形式的初等因子，其中$p^2-4q<0$，接下来对这类初等因子做构造。

1.对$V$复化

将原$\mathbb{R}$上$n$维线性空间$V$复化为$\mathbb{C}$上线性空间$V_{\mathbb{C}}$，即 V C = { x + i y ∣ x , y ∈ V } V_{\mathbb{C}}=\{x+iy\mid x,y \in V\} VC​={ x+iy∣x,y∈V}，加法、数乘、共轭等均同复数类似。则有$\dim V_{\mathbb{C}}=n$。

2.考虑零化多项式

先考虑特殊情况。设$m=\frac{n}{2}$，$\mathcal{A}$是$V$上线性变换，$\lambda$矩阵的初等因子为$(x^2+px+q{)}^m$。
定义 A C ( x + i y ) = ( A x + i A y ) \mathcal{A}_{\mathbb{C}}(x+iy)=(\mathcal{A}x+i\mathcal{A}y)