Назад
7.1 Definition and Examples 183
Here we will establish the triangle inequality for p = 1. If f and g are in
C[a, b], compute
kf + gk
1
=
Z
b
a
|f(x) + g(x)|dx
Z
b
a
|f(x)| + |g(x)|dx
=
Z
b
a
|f(x)|dx +
Z
b
a
|g(x)|dx = kfk
1
+ kgk
1
.
Exercises for Section 7.1
A. Show that k(x, y, z)k = |x| + 2
p
y
2
+ z
2
is a norm on R
3
. Sketch the unit ball.
B. Is k(x, y)k =
¡
|x|
1/2
+ |y|
1/2
¢
2
a norm on R
2
?
C. For f in C
1
[a, b], define ρ(f ) = kf
0
k
. Show that ρ is nonnegative, homogeneous,
and satisfies the triangle inequality. Why is it not a norm?
D. If (V, k·k) is a normed vector space, show that
¯
¯
kxkkyk
¯
¯
kxyk for all x, y V .
E. Show that the unit ball of a normed vector space, (V, k · k), is convex, meaning that if
kxk 1 and kyk 1, then every point on the line segment between x and y has norm
at most 1.
HINT: Describe the line segment algebraically in terms of x and y and a parameter t.
F. Let K be a compact subset of R
n
, and let C(K, R
m
) denote the vector space of all
continuous functions from K into R
m
. Show that for f in C(K, R
m
), the quantity
kfk
= sup
xK
kf(x)k
2
is finite and k · k
is a norm on C(K, R
m
).
G. Define C
p
[a, b] for p N and verify that the C
p
[a, b] norm is indeed a norm. Is there
a reasonable definition for C
0
[a, b]?
H. (a) Show that if k · k and ||| · ||| are both norms on V , then kvk
m
:= max{kvk, |||v|||} is
also a norm on V .
(b) Take V = R
2
and k(x, y)k =
p
x
2
+ y
2
and |||(x, y)||| =
3
2
|x| + |y|. Then define
k(x, y)k
m
as in part (a). Draw a sketch of the unit balls for these three norms.
I. Let S be any subset of R
n
. Let C
b
(S) denote the vector space of all bounded continu-
ous functions on S. For f C(S), define kfk
= sup
xS
|f(x)|.
(a) Show that this is a norm on C
b
(S).
(b) When is this a norm on the vector space of all continuous functions on S?
J. (a) Let x
1
, . . . , x
n+1
be distinct points in [a, b]. Show that there are polynomials p
i
of
degree n so that p
i
(x
j
) = δ
ij
for 1 i, j n + 1.
(b) Hence show that the subspace of C[a, b] of all polynomials of degree at most n is
(n + 1)-dimensional.
(c) Deduce that C[a, b] is infinite dimensional.
184 Normed Vector Spaces
K. (a) Let a = x
0
< ··· < x
n
= b be distinct points in a compact subset K of R. Let
h
0
(x) =
(
xx
1
ax
1
ax x
1
0 x
1
xb
h
n
(x) =
(
0 ax x
n1
xx
n1
bx
n1
x
n1
xb
and for 1 k n 1, let
h
k
(x) =
0 a x x
k1
and x
k+1
x b
xx
k1
x
k
x
k1
x
k1
x x
k
x
k+1
x
x
k+1
x
k
x
k
x x
k+1
.
Describe the linear span of {h
0
, h
1
, . . . , h
n
} as a subspace of C(K).
(b) Hence show that C(K) is infinite dimensional if K is an infinite set.
7.2. Topology in Normed Spaces
The point of this section is to show how the notions of convergence and topol-
ogy, which we developed in R and in R
n
, can be generalized to any normed vector
space. We give the definitions and some simple properties where everything is al-
most identical to the treatment of R
n
. Other properties, such as the Heine–Borel
Theorem, do not hold in general. For such properties, we will have to study specific
kinds of normed vector spaces individually using their special properties.
The notion of convergence is the most fundamental and is exactly the same as
our definition for R
n
.
7.2.1. DEFINITION. In a normed vector space (V, k·k), we say that a sequence
(v
n
)
n=1
converges to v V if lim
n→∞
kv
n
vk = 0. Equivalently, for every ε > 0,
there is an integer N > 0 so that kv
n
vk < ε for all n N . This is written
lim
n→∞
v
n
= v.
As in R
n
, we can decide if a sequence is attempting to converge without men-
tioning a limit point.
7.2.2. DEFINITION. Call (v
n
)
n=1
a Cauchy sequence if for every ε > 0, there
is an integer N > 0 so that kv
n
v
m
k < ε for all n, m N.
This leads to the notion of completeness in this context. Completeness is the
fundamental property that distinguishes the real numbers from the rational num-
bers. We have already seen several important theorems that depend on this notion,
such as the Least Upper Bound Principle (2.5.3) and the completeness both of R
(Theorem 2.7.4) and of R
n
(Theorem 4.2.5). So it should not surprise the reader
to find out that this is also a fundamental property of bigger normed spaces such as
¡
C(K), k·k
¢
. That C(K) is complete will be established in the next chapter; see
Theorem 8.2.2.
7.2 Topology in Normed Spaces 185
7.2.3. DEFINITION. Say that (V, k·k) is complete if every Cauchy sequence in
V converges to some vector v V . A complete normed space is called a Banach
space.
Now we can reformulate convergence in terms of open and closed sets, again
exactly as for R
n
.
7.2.4. DEFINITION. For a normed vector space (V, k · k), we define the open
ball with centre a V and radius r > 0 to be B
r
(a) = {v V : kv ak < r}.
A subset U of V is open if for every a U, there is some r > 0 so that
B
r
(a) U .
A subset C of V is closed if it contains all of its limit points. That is, whenever
(x
n
) is a convergent sequence of points in C with limit x = lim
n→∞
x
n
, then x belongs
to C.
Proposition 4.3.8 works just as well for any normed space. So the open sets are
precisely the complements of closed sets. Here is a sample result in showing the
relationship between convergence and topology.
7.2.5. PROPOSITION. A sequence x
n
in a normed vector space V converges
to a vector x if and only if for each open set U containing x, there is an integer N
so that x
n
U for all n N.
PROOF. Suppose that x = lim
n→∞
x
n
and U is an open set containing x. Then there
is an r > 0 so that B
r
(x) is contained in U. From the definition of limit, there is
an integer N so that
kx x
n
k < r for all n N.
This just says that x
n
B
r
(x) U for all n N.
Conversely, suppose that the latter condition holds. In order to establish that
x = lim
n→∞
x
n
, let r > 0 be given. Take the open set U = B
r
(x). By hypothesis,
there is an integer N so that x
n
U for all n N. As before, this just means that
kx x
n
k < r for all n N.
Hence lim
n→∞
x
n
= x. ¥
There is one more fundamental property that we can define in this general
context, compactness. However, the reader should be warned that the main the-
orem about compactness in R
n
, the Heine–Borel Theorem, is not valid in infinite-
dimensional spaces. The correct characterization of compact sets is given by the
Borel–Lebesgue Theorem (Theorem 9.2.3), which we will prove in the context of
metric spaces in Chapter 9.
186 Normed Vector Spaces
7.2.6. DEFINITION. A subset K of a normed vector space V is compact if
every sequence (x
n
) of points in K has a subsequence (x
n
i
) which converges to a
point in K.
Exercises for Section 7.2
A. If x = lim
n→∞
x
n
and y = lim
n→∞
y
n
in a normed space V and α = lim
n→∞
α
n
, show that
x + y = lim
n→∞
x
n
+ y
n
and αx = lim
n→∞
α
n
x
n
.
B. Show that every convergent sequence is any normed space is a Cauchy sequence.
C. If A is a subset of (V, k · k), let
¯
A denote its closure. Show that if x V and α R,
then
x + A = x +
¯
A and α
¯
A = αA.
D. Show that if A is an arbitrary subset of a normed space V and U is an open subset,
then A + U = {a + u : a A, u U} is open.
E. Prove that if two norms on V have the same unit ball, then the norms are equal.
F. Which of the following sets are open in C
2
[0, 1]? Explain.
(a) A = {f C
2
[0, 1] : f(x) > 0, kf
0
k
< 1, |f
00
(0)| > 2}
(b) B = {f C
2
[0, 1] : f(1) < 0, f
0
(1) = 0, f
00
(1) > 0}
(c) C = {f C
2
[0, 1] : f(x)f
0
(x) > 0 for 0 x 1}.
HINT: Extreme Value Theorem and Intermediate Value Theorem
(d) D = {f C
2
[0, 1] : f(x)f
0
(x) > 0 for 0 < x < 1}.
HINT: Why is this different from the previous example?
G. Prove that a compact subset of a normed vector space is closed and bounded.
H. (a) Prove that a compact subset of a normed vector space is complete.
(b) Prove that a closed subset of a complete normed vector space is complete.
I. Consider the functions in C[1, 1] given by f
n
(x) =
0 1 x 0
nx 0 x
1
n
1
1
n
x 1
.
(a) Show that kf
n
f
m
k
1
2
if m 2n.
(b) Hence show that no subsequence of (f
n
)
n=1
converges.
(c) Conclude that the unit ball of C[1, 1] is not compact.
(d) Show that the unit ball of C[1, 1] is closed and bounded and complete.
J. Prove that the following are equivalent for a normed vector space (V, k · k).
(1) (V, k · k) is complete.
(2) Every decreasing sequence of closed balls has a nonempty intersection.
Note that the balls need not be concentric.
(3) Everydecreasing sequence of closed balls with radii going to zero has nonempty
intersection.
HINT: (1) = (2) show that the centres of the balls form a Cauchy sequence.
K. (a) Show that if A is a closed subset of a normed vector space V and C is a compact
subset, then A + C = {a + c : a A, c C} is closed.
(b) Is it enough for C to also be closed, or is compactness necessary?
(c) If A and C are both compact, show that A + C is compact.
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
n1
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
n1
|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
.
188 Normed Vector Spaces
The dot product on R
n
is an inner product and the norm obtained from it is the
usual Euclidean norm.
The bilinearity condition just given is linearity in the first variable. But as
the term suggests, it really means a twofold linearity because combining it with
symmetry yields linearity in the second variable as well. For x, y in V and scalars
α, β in R,
hz, αx + βyi = hαx + βy, zi = αhx, zi + βhy, zi = αhz, xi + βhz, yi.
7.3.2. EXAMPLE. The space C[a, b] can be given an inner product
hf, gi =
Z
b
a
f(x)g(x) dx.
This gives rise to the L
2
norm, which we defined in Example 7.1.5. Positive def-
initeness of this norm was established in Example 7.1.5 for arbitrary p, including
p = 2. The other two properties follow from the linearity of the integral and are
left as an exercise for the reader.
7.3.3. EXAMPLE. The space R
n
can be given other inner product structures by
weighting the vectors by a matrix A =
£
a
ij
¤
by
hx, yi
A
= hAx, yi =
n
X
i=1
n
X
j=1
a
ij
x
i
y
j
.
This is easily seen to be bilinear because A is linear and the standard inner product
is bilinear. To be symmetric, we must require that a
ij
= a
ji
, so A is a symmetric
matrix. Moreover, we need an additional condition to ensure that the inner product
is positive definite. It turns out that the necessary condition is that the eigenvalues
of A are all strictly positive. The proof of this is an important result from linear
algebra known as the Spectral Theorem for Symmetric Matrices or as the Principal
Axis Theorem.
For the purposes of this example, consider the 2 × 2 matrix A =
·
3 1
1 2
¸
. We
noted that since A is symmetric, the inner product , ·i
A
is symmetric and bilinear.
Let us establish directly that it is positive definite. Take a vector x = (x, y).
hx, xi
A
= 3x
2
+ xy + yx + 2y
2
= 2x
2
+ (x + y)
2
+ y
2
From this identity, it is clear that hx, xi
A
0. Moreover, equality requires that x,
y and x + y all be 0, whence x = 0. So it is positive definite.
It is a fundamental fact that every inner product space satisfies the Schwarz
inequality. Our proof for R
n
was special, using the specific formula for the dot
product. We now show that it follows just from the basic properties of an inner
product.
7.3 Inner Product Spaces 189
7.3.4. CAUCHYSCHWARZ INEQUALITY.
For all vectors x, y in an inner product space V ,
|hx, yi| kxkkyk.
Equality holds if and only if x and y are collinear.
PROOF. If either x or y is 0, both sides of the inequality are 0. Equality holds here,
and these vectors are collinear. So we may assume that x and y are nonzero.
Apply the positive definite property to the vector x ty for t R.
0 hx ty, x tyi
= hx, x tyi thy, x tyi
= hx, xi thx, yi thx, yi + t
2
hy, yi
= kxk
2
2thx, yi + t
2
kyk
2
Substitute t = hx, yi/kyk
2
to obtain
0 kxk
2
hx, yi
2
kyk
2
.
Hence
hx, yi
2
kxk
2
kyk
2
.
This establishes the inequality.
For equality to hold, the vector x ty must have norm 0. By the positive
definite property, this means that x = ty and so they are collinear. Conversely, if
x = ty, then kxk
2
= hty, tyi = t
2
kyk
2
and
|hx, yi| = |t|hy, yi =
q
t
2
hy, yi
p
hy, yi = kxkkyk.
¥
7.3.5. COROLLARY. For f, g C[a, b], we have
¯
¯
¯
¯
Z
b
a
f(x)g(x) dx
¯
¯
¯
¯
µ
Z
b
a
f(x)
2
dx
1/2
µ
Z
b
a
g(x)
2
dx
1/2
.
As for R
n
, the triangle inequality in an immediate consequence. In particular,
the L
2
norms on C[a, b] are indeed norms.
7.3.6. COROLLARY. An inner product space V satisfies the triangle inequality
kx + yk kxk + kyk for all x, y V.
Moreover, if equality occurs, then x and y are collinear.
190 Normed Vector Spaces
PROOF. This proof is identical to the R
n
case. The key is the use of Cauchy–
Schwarz inequality.
kx + yk
2
= hx + y, x + yi
= hx, xi + 2hx, yi + hy, yi
kxk
2
+ 2kxkkyk + kyk
2
=
¡
kxk + kyk
¢
2
This establishes the inequality.
Moreover, equality only occurs if hx, yi = kxkkyk, which by the Cauchy–
Schwarz inequality can only happen when x and y are collinear. ¥
Another fundamental consequence of the Cauchy–Schwarz inequality is that
the inner product is continuous with respect to the induced norm. We leave the
proof as an exercise.
7.3.7. COROLLARY. Let V be an inner product space with induced norm k · k.
Then the inner product is continuous (i.e., if x
n
converges to x and y
n
converges
to y, then hx
n
, y
n
i converges to hx, yi).
Exercises for Section 7.3
A. Let A =
3 1 2
1 2 1
2 1 4
. Show that the form , ·i
A
is positive definite on R
3
.
B. Minimize the quantity kxk
2
2thx, yi + t
2
kyk
2
over t R. You will see why we
chose t as we did in the proof of the Cauchy–Schwarz inequality.
C. Show that it is possible for x and y to be collinear yet the triangle inequality is still a
strict inequality.
D. Prove Corollary 7.3.7.
E. Let w(x) be a strictly positive continuous function on [a, b]. Define a form on C[a, b]
by the formula hf, gi
w
=
Z
b
a
f(x)g(x)w(x) dx for f, g C[a, b]. Show that this is
an inner product.
F. A normed vector space V is strictly convex if kuk = kvk = k(u + v)/2k = 1 for
vectors u, v V implies that u = v.
(a) Show that an inner product space is always strictly convex.
(b) Show that R
2
with the norm k(x, y)k
= max{|x|, |y|} is not strictly convex.
G. Let T be an n×n matrix. Define a form on R
n
by hx, yi
T
= hT x, T yi for x, y R
n
.
Show that this is an inner product if and only if T is invertible.
H. Let T be an invertible n × n matrix. Prove that a sequence of vectors x
k
in R
n
converges to a vector x in the usual Euclidean norm if and only if it converges to x in
the norm of Exercise G, namely kxk
T
:= kT xk.
HINT: Using Exercise G, show
kxk
kT
1
k
2
kT xk kT k
2
kxk; see Exercises I and J.
7.4 Orthonormal Sets 191
I. Show that there is an inner product on the space M
n
of all n × n matrices given by
hA, Bi = Tr(AB
t
) =
n
P
i=1
n
P
j=1
a
ij
b
ij
where Tr(A) =
P
n
i=1
a
ii
denotes the trace. The
norm kAk
2
= hA, Ai
1/2
is called the Hilbert–Schmidt norm.
J. Let A =
£
a
ij
¤
be an n × n matrix, and let x = (x
1
, . . . , x
n
) be a vector in R
n
. Show
that kAxk kAk
2
kxk.
HINT: Compute kAxk
2
using coordinates, and apply the Cauchy–Schwarz inequality.
K. Given an inner product space V , define a function on V \ {0} by Rx = x/kxk
2
. This
R is called
inversion
with respect to the unit sphere {x V : kxk = 1}.
(a) Prove that kRx Ryk =
kx yk
kxkkyk
.
(b) Hence show that the inversion R is continuous.
(c) Show that for all w, x, y, z V ,
kw ykkx zk kw xkky zk + kw zkkx yk.
HINT: Reduce to the case w = 0, and reinterpret the inequality using inversion.
7.4. Orthonormal Sets
7.4.1. DEFINITION. Two vectors x and y are called orthogonal if hx, yi = 0.
A collection of vectors {e
n
: n S} in V is called orthonormal if ke
n
k = 1 for
all n S and he
n
, e
m
i = 0 for n 6= m S. This set is called an orthonormal
basis if in addition this set is maximal with respect to being an orthonormal set.
The space R
n
has many orthonormal bases, including the canonical one given
by e
1
= (1, 0, . . . , 0), . . . , e
n
= (0, . . . , 0, 1).
7.4.2. PROPOSITION. An orthonormal set is linearly independent.
An orthonormal basis for a finite-dimensional inner product space is a basis.
PROOF. Suppose that {e
n
: n S} is orthonormal and that there is a relation
P
nS
α
n
e
n
= 0 with only finitely many α
n
6= 0. Then
0 = h0, e
k
i =
X
nS
hα
n
e
n
, e
k
i = α
k
.
So α
k
= 0 for all k S and this set is linearly independent.
If V is a finite-dimensional inner product space and {e
n
: n S} is an or-
thonormal basis, then by the first paragraph it follows that {e
n
: n S} is linearly
independent. Let V
0
= span{e
n
: n S}. If V
0
= V , then {e
n
: n S} is a
spanning linearly independent set, and hence a basis.
192 Normed Vector Spaces
On the other hand, if V
0
is a proper subspace, then there is a vector v V that
is not in V
0
. Define
w = v
X
nS
hv, e
n
ie
n
.
Observe that w 6= 0 because w = 0 would mean that v belonged to the span of
{e
n
: n S}. Moreover,
hw, e
k
i = hv, e
k
i
X
nS
hv, e
n
ihe
n
, e
k
i = hv, e
k
i hv, e
k
i = 0.
Thus w is orthogonal to {e
n
: n S}. Therefore, {e
n
: n S} {w/kwk} is a
larger orthonormal set. This contradiction establishes that V
0
= V as desired. ¥
7.4.3 THE GRAMSCHMIDT PROCESS. The idea used in the proof of the
proposition can be turned into an algorithm for producing orthonormal sets with
nice properties. It provides an orthonormal set with the same span as some initial
set of vectors {x
1
, . . . , x
n
}. Set y
1
= x
1
and inductively define
y
k+1
= x
k+1
k
X
i=1
hx
k+1
, y
i
i
y
i
ky
i
k
2
for 1 k < n,
where we interpret y
i
/ky
i
k
2
to be 0 if y
i
= 0. Now delete those terms y
i
that are
zero, and for the rest define f
i
= y
i
/ky
i
k. This yields a set with three properties:
(1) span{f
1
, . . . , f
k
} = span{x
1
, . . . , x
k
} for 1 k n,
(2) y
k
= 0 (and f
k
is not defined) if and only if x
k
span{x
i
: i < k}, and
(3) {f
1
, . . . , f
n
} is an orthonormal basis for span{x
1
, . . . , x
n
}.
The proof of these facts is left to the exercises. By applying this algorithm
to any basis for a finite-dimensional inner product space, it follows that an inner
product space of dimension n always has an orthonormal basis consisting of n
vectors.
Let us look at a fundamental example that underlies Fourier series, a subject to
which we devote two chapters later on.
7.4.4. EXAMPLE. We use the natural inner product on C[π, π] given by
hf, gi =
1
2π
Z
π
π
f(θ)g(θ) .
The factor
1
2π
is put in to make the constant function 1 have unit length. The norm
is given by
kfk
2
:= hf, f i
1/2
=
µ
1
2π
Z
π
π
|f(θ)|
2
1/2
.
This is called the L
2
norm.