We prove by mathematical induction on that every linear map on an -dimensional complex vector space admits both triangular forms. For or this is immediate. When , the fundamental theorem of algebra supplies an eigenvector ; its span is an invariant subspace.
By parts (ii) and (iii), has dimension and is an invariant subspace of the dual map . Apply the induction hypothesis to to choose a basis with an upper triangular matrix. Extend it by a linear functional satisfying . Such a functional exists by basis extension, and cannot belong to . In this basis of , the matrix of has the formwhere is an upper triangular matrix; here the last diagonal entry follows by evaluating at , where .
There is a basis of with , since the dual basis construction gives a finite-dimensional bidual evaluation map isomorphism. In particular . The matrix transpose relationship for a dual map givesa lower triangular matrix. Reversing this basis turns a lower triangular matrix into an upper triangular matrix. If is the permutation matrix reversing the order, we have provedThis completes the induction by triangularization using dual spaces.