Algebraic and Analytic Geometry
《Algebraic and Analytic Geometry》 · 第 483 页 · Section 7.1「The Jordan Canonical Form I」，定义段
From the generalized eigenspaces, we select ordered bases whose union is an ordered basis $\beta$ for $V$ such that $[T]_\beta=\begin{pmatrix}A_1&O&\cdots&O\\O&A_2&\cdots&O\\\vdots&\vdots&\ddots&\vdots\\O&O&\cdots&A_k\end{pmatrix}$, where each $O$ is a zero matrix and each $A_i$ is a Jordan block corresponding to some eigenvalue of $T$. The matrix $[T]_\beta$ is called a Jordan canonical form of $T$.