
7.3 Inner Product Spaces 187
L. Let X
n
= {f ∈ C[0, 1] : f(0) = 0, kfk
∞
≤ 1, and f(x) ≥
1
2
for x ≥
1
n
}.
(a) Show that X
n
is a closed bounded subset of C[0, 1].
(b) Show that X
n+1
is a proper subset of X
n
for n ≥ 1, and compute
T
n≥1
X
n
.
(c) Compare this with the Cantor Intersection Theorem (Theorem 4.4.7). Why does
the theorem fail in this context?
M. Let c
0
be the vector space of all sequences x = (x
n
)
∞
n=1
such that lim
n→∞
x
n
= 0.
Define a norm on c
0
by kxk
∞
= sup
n≥1
|x
n
|. Prove that c
0
is complete.
HINT: Let x
k
= (x
k,n
)
∞
n=1
be a Cauchy sequence in c
0
.
(a) Show that (x
k,n
)
∞
k=1
is Cauchy for each n ≥ 1. Hence define x = (x
n
) by
x
n
= lim
k→∞
x
k,n
.
(b) Show that kx
k
k
∞
is Cauchy and kxk ≤ lim
k→∞
kx
k
k
∞
.
(c) Given ε > 0, apply the Cauchy criterion. Show that there is an integer K so that
|x
n
− x
k,n
| ≤ ε for all n ≥ 1 and all k ≥ K.
(d) Conclude that x belongs to c
0
and that lim
k→∞
x
k
= x.
N. Consider the sequence f
n
in C[−1, 1] from Exercise 7.2.I, but use the L
1
[−1, 1] norm.
(a) Show that f
n
is Cauchy in the L
1
norm.
(b) Show that f
n
converges to
χ
(0,1]
, the characteristic function of (0, 1], in the L
1
norm.
(c) Show that k
χ
(0,1]
− hk
1
> 0 for every h in C[−1, 1].
(d) Conclude that C[−1, 1] is not complete in the L
1
norm.
7.3. Inner Product Spaces
In studying R
n
, we constructed the Euclidean norm using the dot product. An
inner product on a vector space is a generalization of the dot product. It is one of
the most important sources of norms, and the norms obtained from inner products
are particularly tractable. For example, the L
2
norm on C[a, b] arises this way.
7.3.1. DEFINITION. An inner product on a vector space V is a function hx, yi
on pairs (x, y) of vectors in V × V taking values in R satisfying the following
properties:
(1) (positive definiteness) hx, xi ≥ 0 for all x ∈ V and
hx, xi = 0 only if x = 0.
(2) (symmetry) hx, yi = hy, xi for all x, y ∈ V .
(3) (bilinearity) For all x, y, z ∈ V and scalars α, β ∈ R,
hαx + βy, zi = αhx, zi + βhy, zi.
Given an inner product space, it is easy to check that the following definition gives
us a norm:
kxk = hx, xi
1/2
.