Proposition 1
Tag 075H, permanent. Cite it as [Bourbaki, Tag 075H].
Algebra, chapter VII, § 5. Endomorphisms of vector spaces
*Suppose is finite dimensional. Then an element of is an eigenvalue of the endomorphism if and only if it is a root of the characteristic polynomial of .
If is an extension of the field , then the roots of in are eigenvalues of the endomorphism of the -vector space . They are often referred to as eigenvalues of in . By abuse of language, we say that all the eigenvalues of belong to if this holds for all the eigenvalues of in an algebraically closed extension of ; this means that decomposes into linear factors in .
Let be a square matrix of order with coefficients in . Then by definition the characteristic polynomial of is
the eigenvalues of (in an extension of ) are the roots (in ) of the polynomial ; these are also the scalars (in ) such that there exists a nonzero solution to the system of linear equations , where is a column matrix of order ; a column matrix satisfying this equation is called an eigenvector of corresponding to .
If is the matrix of an endomorphism of an n-dimensional vector space with respect to a basis , then , the eigenvalues of are the eigenvalues of , and the eigenvectors of are the matrices of the eigenvectors of with respect to the basis .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.