Skip to main content

Section 30.4 Concepts

The example explored in Section 30.2 is typical — generalized eigenspaces always form a complete set of independent, invariant subspaces, and so creating a transition matrix that consists of linearly independent generalized eigenvectors, grouped by eigenvalue and ordered by eigensubspace (as in the scalar-triangularization procedure) will take the matrix to a block-diagonal form where each block is in scalar-triangular form. We will call this form triangular block form.

In Section 30.5, we will further explore the theory of generalized eigenvectors and how they are the precise tool needed to realize such a triangular block form, and below we will provide a procedure for putting a matrix in triangular block form. But first, an important point about working with real scalars versus working with complex scalars. To be able to put a matrix in triangular block form, we need all of its eigenvalues available. The Fundamental Theorem of Algebra (Complex Version) guarantees that every characteristic equation can be solved completely. But for real matrices, we sometimes may not want to allow complex solutions to the characteristic equation, or complex transition matrices. In which case, some real matrices will not be similar to a triangular block form. We'll restate this in the following remark.

Remark 30.4.1.

If one is willing to work with complex scalars, then every matrix is similar to one in triangular block form. Otherwise, if one is only willing to work with real scalars, then matrices with complex eigenvalues will not be similar to any real matrix in triangular block form.