Jump to content

Linear algebra (Osnabrück 2024-2025)/Part I/Exercise sheet 21/refcontrol

From Wikiversity



Exercise for the break

Check whether the vector is an eigenvectorMDLD/eigenvector for the matrix

In this case, determine the corresponding eigenvalue.MDLD/eigenvalue




Exercises

Let a linear mappingMDLD/linear mapping

be given. What are the eigenvaluesMDLD/eigenvalues and the eigenvectorsMDLD/eigenvectors of ?


Let

be endomorphismsMDLD/endomorphisms on a -vector spaceMDLD/vector space , and let be an eigenvectorMDLD/eigenvector of and of . Show that is also an eigenvector of . What is its eigenvalue?


Determine the eigenvectorsMDLD/eigenvectors and the eigenvaluesMDLD/eigenvalues for a linear mappingMDLD/linear mapping

given by a matrix of the form .


Show that the first standard vectorMDLD/standard vector is an eigenvector for every upper triangular matrix.MDLD/upper triangular matrix What is its eigenvalue?MDLD/eigenvalue


Let

be an upper triangular matrix.MDLD/upper triangular matrix Show that an eigenvalueMDLD/eigenvalue of is a diagonal entry of .


Give an example of a linear mappingMDLD/linear mapping

such that has no eigenvalue,MDLD/eigenvalue but a certain powerMDLD/power (endomorphism) , , has an eigenvalue.


Show that every matrixMDLD/matrix has at least one eigenvalue.MDLD/eigenvalue


===Exercise Exercise 21.9

change===

Let be a field,MDLD/field a -vector spaceMDLD/vector space and

a linear mapping.MDLD/linear mapping Show that


Let be a field, and let be an endomorphismMDLD/endomorphism (linear) on a -vector spaceMDLD/vector space . Let and let

be the corresponding eigenspace.MDLD/eigenspace Show that can be restricted to a linear mapping

and that this mapping is the homothetyMDLD/homothety with scale factor .


Let be an isomorphismMDLD/isomorphism (vs) on a -vector spaceMDLD/vector space , and let be its inverse mapping.MDLD/inverse mapping Show that is an eigenvalueMDLD/eigenvalue of if and only if is an eigenvalue of .


Let be a field, and let be an endomorphismMDLD/endomorphism (linear) on a -vector spaceMDLD/vector space . Let be an eigenvalueMDLD/eigenvalue of and a polynomial.MDLD/polynomial (1K) Show that is an eigenvalue of .


Let denote vector spacesMDLD/vector spaces over a fieldMDLD/field , and let

denote linear mappings.MDLD/linear mappings Let be an eigenvalueMDLD/eigenvalue of for a determined . Show that is also an eigenvalue of the product mappingMDLD/product mapping


Show that is an eigenvalueMDLD/eigenvalue for the linear mappingMDLD/linear mapping

given by a matrix of the form if and only if is a zeroMDLD/zero (function) of the polynomial


The concept of an eigenvector is also defined for infinite-dimensional vector spaces, and it is also important in this context, as the following exercise shows.

Let denote the real vector space that consists of all functions from to that are arbitrarily often differentiable.

a) Show that the derivation is a linear mappingMDLD/linear mapping from to .


b) Determine the eigenvaluesMDLD/eigenvalues of the derivation and determine, for each eigenvalue, at least one eigenvector.[1]MDLD/eigenvector


c) Determine for every real number the eigenspaceMDLD/eigenspace and its dimension.MDLD/dimension (vs)


Let

be an endomorphismMDLD/endomorphism on a finite-dimensionalMDLD/finite-dimensional -vector spaceMDLD/vector space , and let be an eigenvectorMDLD/eigenvector for with eigenvalueMDLD/eigenvalue . Let

be the dual mappingMDLD/dual mapping of . We consider bases of of the form with the dual basis . Give examples of the following behavior.

a) is an eigenvector of with the eigenvalue independent of .


b) is an eigenvector of with the eigenvalue with respect to some basis , but not with respect to another basis .


c) is for no basis an eigenvector of .


Let be a finite-dimensionalMDLD/finite-dimensional -vector space,MDLD/vector space and , , a fixed vector. Show that

with the natural addition and multiplication of endomorphisms, is a ringMDLD/ring and a linear subspaceMDLD/linear subspace of . Determine the dimensionMDLD/dimension (vs) of this space.


Let be a field,MDLD/field and let denote a vector different from . Establish an inhomogeneous system of linear equationsMDLD/inhomogeneous system of linear equations such that its solution setMDLD/solution set (linear system) is the set of all -matrices,MDLD/matrices for that is an eigenvectorMDLD/eigenvector with eigenvalueMDLD/eigenvalue . What is special about this system, and what is the dimension of its solution set?


Let be a realMDLD/real -matrix.MDLD/matrix Let be a real number, and suppose that it is an eigenvalueMDLD/eigenvalue of , considered as a complex matrix. Show that is already over an eigenvalue of .

Generalize the previous statement for any field extensionMDLD/field extension .



Hand-in-exercises

Let be a field, and let be an endomorphismMDLD/endomorphism (linear) on a -vector spaceMDLD/vector space . Show that is a homothetyMDLD/homothety if and only if every vector , , is an eigenvectorMDLD/eigenvector of .


Consider the matrix

Show that , as a real matrix, has no eigenvalue.MDLD/eigenvalue Determine the eigenvalues and the eigenspacesMDLD/eigenspaces of as a complexMDLD/complex (number) matrix.


Consider the realMDLD/real matricesMDLD/matrices

Characterize, in dependence on , when such a matrix has

  1. two different eigenvalues,MDLD/eigenvalues
  2. one eigenvalue with a two-dimensional eigenspace,MDLD/eigenspace
  3. one eigenvalue with a one-dimensional eigenspace,MDLD/eigenspace
  4. no eigenvalue.


Let be a field, and let be an endomorphismMDLD/endomorphism (linear) on a -vector spaceMDLD/vector space , satisfying

for a certain .[2] Show that every eigenvalueMDLD/eigenvalue of fulfills the property .


Let be a field,MDLD/field and let denote an -dimensionalMDLD/dimensional (fgvs) -vector space.MDLD/vector space Let

be a linear mapping.MDLD/linear mapping Let be an eigenvalueMDLD/eigenvalue of , and a corresponding eigenvector.MDLD/eigenvector Show that, for a given basisMDLD/basis (vs) of , there exists a basis such that and such that

for all holds.

Show also that this is not possible for .




Footnotes
  1. In this context, one also says eigenfunction instead of eigenvector.
  2. The value is allowed, but does not say much.


<< | Linear algebra (Osnabrück 2024-2025)/Part I | >>
PDF-version of this exercise sheet
Lecture for this exercise sheet (PDF)