Jump to content

Linear algebra (Osnabrück 2024-2025)/Part II/Exercise sheet 39

From Wikiversity



Exercises

Let be an -dimensional real vector space, and let denote a symmetric bilinear form on of type . Show that

holds.


Give an example of a symmetric bilinear form showing that, in general, the linear subspace of maximal dimension, such that the restriction of the form is positive definite, is not uniquely determined.


We consider on the symmetric bilinear form given by

Determine for every line through the origin whether the restriction of the form to the line is positive definite, negative definite, or the zero form.


Let be a finite-dimensional real vector space, endowed with a symmetric bilinear form of type . Show that the negated form has the type .


Let be a finite-dimensional -vector space, endowed with a bilinear form of type , and let be a linear subspace. Suppose that the restriction of the bilinear form to is of type . Show that and hold.


Let be an -dimensional -vector space, endowed with a symmetric bilinear form of type , and let denote a -dimensional linear subspace. Suppose that the restriction of the bilinear form to has type . Show


Give an example of a finite-dimensional real vector space , together with a symmetric bilinear form on , and a basis of such that for all , but such that is not positive definite


Let be a finite-dimensional real vector space, endowed with a symmetric bilinear form on . Let be an orthogonal basis of with the property for all . Show that is positive definite ist.


Let be a finite-dimensional real vector space, and let be a symmetric bilinear form of type . Show that the dimension of the degeneracy space equals


Let be a finite-dimensional -vector space, and let denote a symmetric bilinear form on . Show that the dimension of the degeneracy space is not necessarily the maximal dimension of a linear subspace with the property that the restricted form is the zero form.


Let be an -dimensional real vector space, and let denote a symmetric bilinear form on . Show that the following properties are equivalent.

  1. The bilinear form is nondegenerate.
  2. The Gram matrix of the bilinear form with respect to any basis is invertible.
  3. The bilinear form is of type (with some ).


Determine the type of the symmetric bilinear form given by the Gram matrix


Determine the type of the symmetric bilinear form given by the Gram matrix


Let and be finite-dimensional -vector spaces, endowed with symmetric bilinear forms and .

a) Show that via

a symmetric bilinear form on is given, and that and are orthogonal to each other.


b) Let be the Gram matrix of with respect to a basis of , and let be the Gram matrix of with respect to a basis of . Show that the block matrix of and is the Gram matrix of with respect to the composed basis.


c) Suppose that the types of the bilinear forms is and , respectively. Show that the type of equals .


Let be a symmetric bilinear form on a two-dimensional real vector space, which is described with respect to a basis by the Gram matrix

Determine the type of the form in dependence of .


Let be a finite-dimensional -vector space, endowed with a bilinear form . Let be a basis of , and let denote the Gram matrix with respect to this basis. Let

be the corresponding linear mapping in the dual space , and let denote the dual basis of . Show that the describing matrix of with respect to these bases is the transposed matrix of .


Let be a field, and let and be finite-dimensional -vector spaces. Show that the trace

defines a perfect pairing, that is, and are dual to each other in a natural way.




Hand-in-exercises

Exercise (2 marks)

Let be an finite-dimensional -vector space, endowed with a symmetric bilinear form . Let be the Gram matrix of the form with respect to a given basis of . Show that the eigenspace to the eigenvalue of , considered as a linear mapping of to with respect to this basis, equals the degeneracy space of the form.


Exercise (2 marks)

Determine the type of the symmetric bilinear form given by the Gram matrix


Exercise (3 marks)

Let be a nondegenerate symmetric bilinear form of type on an -dimensional real vector space. Let be a basis of , and let denote the Gram matrix of with respect to this basis. Show that the sign of equals .


Exercise (5 marks)

Let be a finite-dimensional -vector space, equipped with a symmetric bilinear form of type , and let denote the dimension of the degeneracy space of the form. Show that there exists a linear subspace such that the restriction of the form to is the zero form, and with

Moreover, show that there does not exist a linear subspace of larger dimension such that the restriction is the zero form.


Exercise (3 marks)

Let be a finite-dimensional -vector space with the dual space . Show that the mapping

is a perfect pairing between and .



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