The dual space is the vector space of all linear functionals on :Addition and scalar multiplication are defined pointwise. The dual map sends an output measurement back along :The function composition of these linear maps is linear, and is linear in . This is the algebraic dual map, so its definition involves no complex conjugation or inner product.
For a vector subspace , its annihilator of a vector subspace isLet and . Extend a basis of to a basis of , and let be the dual basis. Every linear functional has the unique expression . It belongs to precisely when its first coefficients vanish. ConsequentlyThe listed dual basis elements are linearly independent, so counting them proves the formula, including and .
Suppose is an invariant subspace for . For and , the dual map satisfiesbecause and the annihilator of a vector subspace consists of the linear functionals vanishing there. ThusThis is the correspondence between invariant subspaces and annihilators.
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.
Articles by others on the same topic
There are currently no matching articles.