Jump to content

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

From Wikiversity



Exercises

Let be a bilinear form on a -vector space . Show

for all .


Check whether the following mappings

are bilinear forms.

a)


b)


c)


d)


Show that a real inner product is a non-degenerate bilinear form.


Let be a bilinear form on a finite-dimensional -vector space. Show that the form is degenerate on the left if and only if it is degenerate on the right.


We consider the linear form


a) Determine the vector with the property

where is the standard inner product.


b) Let , and let be the restriction of to . Determine the vector with the property

where denotes the restriction of the standard inner products to .


Let be a Euclidean vector space, and a linear subspace, endowed with the induced inner product. Let

be a linear form, and let denote the corresponding gradient in the sense of Corollary 38.6 . Show that the gradient of the restriction equals the orthogonal projection of to .


Determine the Gram matrix of the standard inner product in with respect to the basis and .


Determine the Gram matrix for the determinant on with respect to the standard basis.


Let be a field, a finite-dimensional -vector space, and let denote a bilinear form on . Show that is symmetric if and only if there exists a basis of with

for all .


Let be a field, a finite-dimensional -vector space, and let denote a bilinear form on . Show that this form is symmetric if and only if its Gram matrix with respect to some basis is symmetric.


Show that the determinant in dimension two, that is, the mapping

is a bilinear form, which is not symmetric.


Determine which of the following mappings are bilinear. In the positive case, determine whether the properties alternating and symmetric hold.

a) .


b) .


c) .


Let be a field, a -vector space, and let denote a symmetric bilinear form on . Show that the degeneracy space is a linear subspace of .


Let be a field, a finite-dimensional -vector space, and a symmetric bilinear form on . Show that the bilinear form is not degenerated if and only if the Gram matrix of the bilinear form with respect to some basis is invertible.


Let be a field, and suppose that its characteristic is not . Let denote a symmetric bilinear form on the -vector space . Prove that the relation

holds.


Let be a field, and suppose that its characteristic is not . Let denote a symmetric bilinear form on a -vector space . Show


Show that there might exists a bilinear form on a vector space that it is not the zero form but

holds for all .


Let be a field, and let be a finite-dimensional -vector space endowed with a symmetric bilinear form . Prove that there exists an orthogonal basis on .


Let be a finite-dimensional real vector space, and let denote a symmetric bilinear form on . Show that the Gram matrix of this bilinear form with respect to a suitable basis is a diagonal matrix, whose diagonal entries are , or .


Let be a symmetric real -matrix. Show that there exists an invertible matrix such that

is a diagonal matrix, whose diagonal entries are , or .


Symmetric bilinear form/R/No orthogonal completion/Exercise


Let be a finite-dimensional real vector space, and let denote a symmetric bilinear form on . Let and be the Gram matrices of this form with respect to the bases and . Show that the determinant of is positive (negative, ) if and only if this holds for the determinant of .



a) Show that the sum of two bilinear forms and on a -vector space is again a bilinear form.


b) Show that a scalar multiple of a bilinear form is again a bilinear form.


Show that the set of all bilinear forms on a -vector space form a -vector space.


Let be a finite-dimensional -vector space. Show that there exists a natural isomorphy


As in the case of an inner product, we call s linear mapping that respects a given bilinear form, an isometry.

Let and be vector spaces over , both endowed with a bilinear form and , A -linear mapping is called an isometry if

holds for all

.

Let be vector spaces over , equipped with bilinear forms and , and let denote an isometry. Is always injective?


Let be vector spaces over , each equipped with a bilinear form . Show that the following statements hold.

a) The identity is an isometry.


b) If is a bijective isometry, then its inverse mapping is an isometry.


c) If and are isometries, then also the composition is an isometry.


Let be a field, and suppose that its characteristic is not . Let be a bilinear form on a -vector space , which is symmetric as well as alternating. Show that it is the zero-form.


Let be a -vector space, equipped with a bilinear form . Show that the set of all isometries on forms a group under the composition of mappings.


Let be a -vector space, and let

and

denote antilinear mappings. Show that the composition is linear.


Show that for an hermitian form on a -vector space , the values for are always real.


Show that a sesquilinear form on a -vector space is hermitian if and only if the Gram matrix of the form with respect to some basis of is hermitian.




Hand-in-exercises

Exercise (4 marks)

Determine which of the following mappings are bilinear. In the positive case, determine whether the properties alternating and symmetric hold.

a) .


b) .


c) .


Exercise (3 marks)

Determine the Gram matrix of the standard inner product in with respect to the basis and .


Exercise (2 marks)

Show that the degeneracy space of a symmetric bilinear form on a -vector space equals the kernel of the linear mapping


Exercise (3 (1+1+1) marks)

We consider the linear form


a) Determine the left gradient of with respect to the determinant.


b) Determine the right gradient of with respect to the determinant.


c) Determine the gradient of with respect to the standard inner product.


Exercise (3 marks)

Let be a -vector space. Show that the set of all symmetric bilinear forms on forms a linear subspace of the space of all bilinear forms. What is the dimension of this space, if


Exercise (1 mark)

Let be a real vector space. Does the set of all inner products on form a linear subspace of the space of all bilinear forms on ?



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