- 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.
- The bilinear form is
nondegenerate.
- The
Gram matrix
of the bilinear form with respect to any
basis
is
invertible.
- 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
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.
Determine the
type
of the
symmetric bilinear form
given by the
Gram matrix
-
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
.
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.
Let
be a
finite-dimensional
-vector space
with the
dual space
. Show that the mapping
-
is a
perfect pairing
between
and
.