- Exercises
Show that the
standard inner product
on
is indeed an
inner product.
Let
be a
-vector space,
endowed with an
inner product
, and let
denote a
linear subspace.
Show that the restriction of the inner product to
is again an inner product.
Let
be a
complex vector space,
endowed with an
inner product
. Show that the
real part
of this inner product is an
inner product
on the underlying real vector space.
Let
denote a
bilinear form
on
, with the values
,
,
,
and
.
Compute
. Is it an
inner product?
Let
-
be given by
,
and
.
Compute
in the sense of
Example 31.6
.
Let
be a closed
real interval
with
,
and let
.
For
and
,
let
-

What properties of an
inner product
does
satisfy? What relation exists between
and the inner product from
Example 31.6
?
Let
and
be real vector spaces, endowed with
inner products.
Show that by
-

an inner product is defined on the
product space
.
Let
denote a
vector space
over
, endowed with an
inner product
. Let
denote the associated
norm. Show that the so-called Parallelogram law holds, that is,
-

Let
be a
real vector space,
endowed with an
inner product
. Show that in the estimate
-

of
Cauchy-Schwarz,
equality holds if and only if
and
are
linearly dependent.
Let
denote a
vector space
over
, endowed with an
inner product
. Let
denote the associated
norm.
a) Show that, in the case
,
the relation
-

holds.
b) Show that, in the case
,
the relation
-

holds.
Let
be a
complex vector space,
endowed with an
inner product
. Show that the
norm
of this inner product coincides with the norm arising by considering
as a real vector space, endowed with the corresponding real inner product.
Show that the
maximum norm
on
is a
norm.
Show that the
sum norm
on
is a
norm.
Determine, for the vector
-

the corresponding normed vector with respect to the
Euclidean norm,
the
maximum norm,
and the
sum norm.
Let
.
Show that the norm
on
does not come from an inner product
.
Let
be a
normed vector space
over
. Show that
, considered as a real vector space, is, with this norm, also a normed vector space.
Show that a
normed
-vector space
is via
-

also a
metric space.
We consider the two points
and
in
. Determine the distance between these points with respect to the
a) the Euclidean metric
b) the sum metric,
c) the maximum metric.
d) Compare these different distances according to their size.
Let
be a
metric space,
,
and
a positive real number. Then
-

is called the
open ball
about

with radius

.
Let
denote a set,
,
and
the
-fold product set of
with itself.
a) Show that
-

defines a
metric
on
.
b) For
,
and
,
determine the distance
.
c) For
,
and
,
list all elements in the
open ball
.
Let
be the set of all train stations in Germany. For
,
define
-
to be the shortest
(in terms of scheduled time)
connection from
to
. Is this a
metric?
Let
be the union of the
-axis and the
-axis.
a) Define the distance on
given by the shortest connection between the two points
by a path on
.
b) Show that this is a
metric.
c) Does there exist a
norm
on
such that the restriction of the corresponding metric coincides with the given connecting metric?
Let
be a
normed
-vector space,
and let
denote an
affine space
over
. Show that
becomes a
metric space
by setting
-

Let
be a set, and let
-
denote a
function.
Then
-

is called the supremum
(or the supremum norm)
of
. It is a
nonnegative
real number,
or

.
Let
be a set, and let
-

denote the set of bounded
complex-valued
functions
on
. Show that
is a
complex vector space.
Let
be a set, and let
-

be the set of all bounded
complex-valued
functions
on
. Show that the
supremum norm
on
fulfills the following properties.
for all
.
if and only if
.
- For
,
and
,
we have
-

- For
,
we have
-

Let
be a set, and let
be a
Euclidean vector space.
Let
-

be the set of all bounded
mappings
from
to
. Show that the
supremum norm
on
is a
norm.
Let
be a set, and let
be a
Euclidean vector space.
Let
-

be the set of all bounded
mappings
from
to
. Show that a sequence
in
converges uniformly
to
if and only if this sequence
converges
to
in
with respect to the
supremum norm.
- Hand-in-exercises
Let
-
with
and
.
Compute
in the sense of
Example 31.6
.
Let
be a
real vector space,
endowed with an
inner product
. Confirm the identity
-

Let
.
Show that
, endowed with the mapping
-
is a
Euclidean vector space.
Let
points
in the unit disk
be given, that is,
.
Show that there exists a point
fulfilling the property
-

Let
be vectors fulfilling
and
.
Show that there exists an
such that
holds.