Bourbaki

Proposition 1

Tag 075H, permanent. Cite it as [Bourbaki, Tag 075H].

Algebra, chapter VII, § 5. Endomorphisms of vector spaces

*Suppose EE is finite dimensional. Then an element aa of KK is an eigenvalue of the endomorphism uu if and only if it is a root of the characteristic polynomial of uu.

If LL is an extension of the field KK, then the roots of χu\chi_u in LL are eigenvalues of the endomorphism 1,⊗u1, \otimes u of the LL-vector space L⊗KEL \otimes_K E. They are often referred to as eigenvalues of uu in LL. By abuse of language, we say that all the eigenvalues of uu belong to LL if this holds for all the eigenvalues of uu in an algebraically closed extension of LL; this means that χu\chi_u decomposes into linear factors in L[X]L[X].

Let UU be a square matrix of order nn with coefficients in KK. Then by definition the characteristic polynomial of UU is

χU(X)=det⁡(X.I,−U); \chi_U(X) = \det(X . I, -U);

the eigenvalues of UU (in an extension LL of KK) are the roots (in LL) of the polynomial χU\chi_U; these are also the scalars aa (in LL) such that there exists a nonzero solution to the system of linear equations UX=αXUX = \alpha X, where XX is a column matrix of order nn; a column matrix XX satisfying this equation is called an eigenvector of UU corresponding to aa.

If UU is the matrix of an endomorphism uu of an n-dimensional vector space with respect to a basis BB, then χU=χu\chi_U = \chi_u, the eigenvalues of UU are the eigenvalues of uu, and the eigenvectors of UU are the matrices of the eigenvectors of uu with respect to the basis BB.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Transcribed from the printed edition, 2003, Springer. Not translated.