ThmDex – An index of mathematical definitions, results, and conjectures.

Eigenvalue sequence for a triangular complex matrix

Formulation 0

Let $A \in \mathbb{C}^{N \times N}$ be a D6159: Complex square matrix such that

(i)	$A$ is a D5947: Triangular complex matrix

Then $A_{1, 1}, \, A_{2, 2}, \, \ldots, \, A_{N, N}$ is a D6192: Complex matrix eigenvalue sequence for $A$.

Proofs

Proof 0

Let $A \in \mathbb{C}^{N \times N}$ be a D6159: Complex square matrix such that

(i)	$A$ is a D5947: Triangular complex matrix