Professional Documents
Culture Documents
Introduction to
Hilbert Space
UNIVERSITY TEXTS IN THE MATHEMATICAL SCIENCES
Introduction to
Hilbert Space
STERLING K. BERBERIAN
State University of Iowa
[S3]
This textbook has evolved from a set of lecture notes which I pre-
pared for a semester course in Hilbert space at the State University
of Iowa. In both the course and the book, I have in mind first- or
second-year graduate students in Mathematics and related fields such
as Physics.
It is necessary for the reader to have a foundation in advanced
calculus which includes familiarity with: least upper bound (LUB)
and greatest lower bound (GLB), the concept of function, e's and
their companion S's, and basic properties of sequences of real and
complex numbers (convergence, Cauchy's criterion, the Weierstrass-
Bolzano theorem). It is not presupposed that the reader is acquainted
with vector spaces (which are discussed in Chapter I), matrices
(which are mentioned only in a few exercises), or determinants (which
are mentioned nowhere else in the book). In keeping with these pre-
requisites, I have refrained from using set-theoretic notation in the
first two chapters; some of the notations and terminology of set theory
Chapter IV. CONTINUOUS UNEAR MAPPINGS Chapter VIII. COMPLETELY CONTINUOUS OPERATORS
§ 1. Linear mappings 77 172
§ 1. Completely continuous operators
§ 2. Isomorphic vector spaces 82 177
§ 2. An example
§ 3. The vector space £('U,'W) 84 178
§ 3. Proper values of CC-operators
§ 4. Composition of mappings 86 181
§ 4. Spectral theorem for a normal CC-operator
§ 5. The algebra £(V) 88
§ 6. Continuous mappings 91 Appendix 189
§ 7. Normed spaces, Banach spaces, continuous linear
Index
mappings 92
§ 8. The normed space £c (&,5) 100
§ 9. The normed algebra £ C (S), Banach algebras 103
j 10. The dual space S' 104
Hilbert Space
Chapter
Vector Spaces
§ 6. Linear independence
§ 7. Basis, dimension
§8. Coda
tors. One vector is distinguished, called the zero vector, and denoted 0.
For each vector x, there is distinguished a vector —x, called the negative
of x. The following axioms are assumed to hold.
(A) For each pair of vectors x,y, there is determined a vector called
the sum of x and y, denoted x +
y (read "x plus y"). The "addi-
tion" of vectors is subject to these rules:
(A3) x + 6 = x
(A4) x + (-x) = e.
Introduction to Hilhert Space I §1 I §1 Vector Spaces
(M) For each scalar X, and each vector x, there is determined a vector One can obtain Example 1 as a special case: take for 3 the set of
called the multiple ofxby\ (or the product of X and x), denoted integers 1,- • -,n, and interpret x = (Xi,- • -,X,,) as the function on 3
Xx. The "multiplication" of vectors by scalars is subject to these such that x(k) = \k- If 3 is the set of all positive integers 1,2,3,- • -,
rides: then V can be interpreted as the set of all sequences x = (X&) with
scalar terms X* (fc = 1,2,3,- •); in this context, two sequences are
•
(M4) lx = x.
for &\\ t, a <t < b. Define 6, —x,x y, and Xx as in Example 2; +
these functions are continuous by elementary calculus. This example
The reader will observe that in (M2), the symbol + is used in two will be referred to as the vector space of continuous functions on [a,b\.
senses: for the sum. of scalars, and the sum of vectors. In (M3), the
two meanings: the product 4. Let 1) be the set of all polynomial functions, with complex co-
juxtaposition of letters has of two scalars,
efficients, defined on the closed interval [a,b]. Equality, zero, nega-
or the product of a scalar and a vector.
tives,sums, and scalar multiples are defined as in Example 8. The
sum of two polynomial functions, and a scalar multiple of a poly-
Examples
nomial function, are themselves polynomial functions. This example
will be referred to as vector space of polynomial functions on [a,b]-
1. Given a fixed positive integer n. Let V be the set of all symbols tlie
Example 4-
(XXi,- -,XX„). The axioms (A) and (M) are verified by using the
•
given criterion for equality, and the analogous properties of sums and 6. Let "0 be the set of all sequences x = (X*) of scalars, all of whose
products of scalars. For instance, if x = (\ it -,X„) and y = - • terms, from some index onward, are (the particular index may vary
0*i,- • -.Mn), the relations X* + m* = fi k + X* (k = 1,- • -,n) yield from sequence to sequence). Write (X*) = (nk) m case X* = pk for
x + y = y + x. In the sequel, this example will be referred to as the all k = 1,2,3,- ••. Define = (0), -(X t ) = (-X*), (X*) (w) = +
vector space of n-ples. (Xfc + m*), and \(\k) = (XXt). See the discussion in Example 2. This
This example will be referred to as the vector space of scalar-valued 8. The set 6 of all complex numbers p is a vector space, with n +v
functions on 3. and \/i defined as usual. This is essentially Example 1 with n = 1.
6 Introduction to Hilbert Space I §2 I § 3 Vector Spaces 7
It follows that in axiom (A3), no other vector can play the role of
Exercises 0; that is, the distinguished vector is unique. Furthermore, given
any vector x, the equation x + y = has exactly one solution y,
1. Fill in the details in the above examples.
namely y = — x; thus, the only vector that can fulfill axiom (A4) is
2. Given a vector space W, let V be the set of all functions x de- —x. Briefly: the zero vector is unique, and each vector has a unique
fined on a set 3, taking values in *W. With suitable definitions, V is a negative.
vector space.
Definition 1. Given two vectors x and y, the vector x +(—y) is called
3. Same as Exercise 2, except that x has values 7*6 for at most the difference of x and y, and is denoted x — y (read "x minus y").
finitely many points t.
Proof.
(2) Ifz +z= z, necessarily z = 0.
X2 +
[y + (-y)], xi + d = x 2 +
6, xi = x2 Thus, only one solution .
exists.
Xk
Definition 1. // x u -
,x n are vectors (n > 1), the symbol 2["_ xk
!
Z) A _1 X k = Xi + x2
Vi = Z Xk
O/Aer notations: x x + •
+ x„, £J afe £ fc
as*.
Then,
£l Vi = S" **•
More generally, if m < n, and vectors xmt -
-,x„ are given, £" ** Proof.
denotes the vector defined inductively by the formulas The proof by complete induction on n. If n = 2, either (i) r =
is 2,
yl m xi + x 2 thus 52,
,
ft
= 52, xk -
xk -(zr*) + xn ,
(n> m+ 1).
Assume inductively that the conclusion holds whenever the number
of given vectors x k is <n. Suppose x u -,x n given, n > 3. Let us -
that all
other ways of assigning priority produce the same vector —
y: Case 2. n T -\ = n 1
+ x„ = 52? 3fc-
[xi + (x2 + x3 )] + x4 = [(z, + x2 + x3 + x =
) y
n r _! < n —
] 4
Case S. 1
-c* i
1. Show directly that xi» + x2 + £3' = - £1 + £2 + £3 for every
The sum of n vectors is also independent of the order in which the rearrangement l',2',3' of 1,2,3. [There are six arrangements, also
terms are written. For example, x2 + x3 Xi = (x2 + x3 ) + x t = + called permutations.]
Xi fa + x3) = (xi
+ x2 ) + x3 = xi 2 +
x3 . In general: +x +
2. If Xk = for all k, then £" x* = 0.
That is,
Using Theorem 1 and axiom (Al) at the appropriate steps, £" x k = In the vector space of n-ples (Example 1.1), consider a vector
£ = (Xi,-- -,X„). Let e* denote the vector whose fc'th component is 1, all
(2) x(z>*) = z;xxt Consider, in the vector space of n-ples, the totality of all vectors x
whose first component is 0, that is, x = (0,X 2 ,- -,X n ). If x and y are •
two such vectors, so are x + y and Xx. Evidently, this set of vectors is
(3) (z>i)^=E:x^ a vector space in its own right. This is a special case of the follow-
ing:
(4) (z:^(z>>)=zu(r„ ^) k t
Definition 1 . IM V be a vector space. A linear subspace of V is a set
(5) is a linear combination of X\, • • ,x„. a linear subspace contains sums and scalar multiples of its
Briefly,
vectors. If 31 isa linear subspace of *U, and x is a vector in 31, the rela-
x is a linear combination of x.
l)x shows that — x is in 31; since the vectors in 31
(6)
tion —x = (—
(7) Given vectors x,xi, • •
,x„.If m
< n, and x is a linear combina- satisfy all the identities in the axioms for V, clearly 31 is itself a
tion ofxi,--- jXm, then x is also a linear combination of x t , • ,x„. vector space.
The purpose of condition (i) is to ensure that 31 is not the empty
(8) Suppose x is a linear combination of x tl -,x n - •
; if 1',- -,n' is
set of vectors, that is, contains at least one vector z; 31 will then
any rearrangement of 1,- ,n, and Jft = x*-, then x • • is a linear
contain 6 = Oz by condition (iii).
combination of y lt • •
-,y n -
1. In the space of 4-ples, express x = (Xi,X 2 ,X;),X4) as a linear com- 3. If V is a vector space, and 2 is a fixed vector in V, the set 31 of all
bination of x, = (1,0,0,0), x2 = (1,1,0,0), xz = (1,1,1,0), xA = scalar multiples \& of z is a linear subspace. This results from the rela-
(1,1,M). tions 6 = 0z, fiz + vz = (a» + v)z, and X(^) = (\n)z.
3. If x and y are linear combinations of Xi, • •&„, so are x + y and x such that x(<o) = is a linear subspace of V.
Xz.
5. Let V be the vector space of all scalar-valued functions x defined
4. In the space of wt-ples, given vectors x,x u - -,x n . The problem on the interval [0,6]. The following is a series of linear subspaces
of expressing a; as a linear combination of X\,- • -,x n is equivalent to (getting smaller)
I §5 Vector Spaas IS
14 Introduction to Hilbtrt Space §5
Moreover, 91 is the smallest such linear subspace, in the following sense:
(i) 91] the set of functions x which are continuous at a fixed point
to of [a,b].
(3) if 911 is a linear subspace which contains every vector of S, neces-
(ii) fflz the set of functions x which are continuous at every point sarily 9E contains every vector of 91.
of [a,b] (this is Example 1.3).
(iii) 913 the set of all polynomial functions x with complex co- Proof.
efficients (this is Example 14). If S is the empty set of vectors (i.e. contains no vectors at all),
(1) :
(iv) 9l 4 the set of all polynomial functions, with complex co- that 91 consists of just the vector
the convention is 0.
efficients, of degree <n, where n is a fixed positive integer (this is
Otherwise, if the vector 2 belongs to S, 91 contains via the relation
Example 1.5).
equation x" +
x = 0. Then, V is a vector space, and 91 is a linear (2) : If z is in S, 2 = I2 shows that z belongs to 91.
subspace of V.
(3) : Suppose 911 is a linear subspace which contains every vector of
Theorem 1 . If 3TC and 91 are linear subspaces of V, the set of all vectors S. Then, 911 contains every vector of 91 by the Lemma. |
sum of 9TC and 91, a7id is denoted 911 + 91. with V since every vector in V can be expressed as a linear combina-
tion of the Cfc. Thus, different sets of vectors may generate the same
Examples of such sums will be found in the exercises.
linear subspace.
J2" Xk^k is the same vector, whether formed in the vector space V Another way of expressing what is going on in Theorem 2 is as fol-
lows:
or in the vector space 9TC.
Theorem 2. Let S be any set of vectors in a space V, and let 91 be the set Definition 5. Let S be a set of vectors in a space V. A vector x is said to
of all vectors in V which can be expressed as a linear combination of be linearly dependent on S in case there exist vectors Xu m " x n <
lw § suc h
vectors in S. Then, Dial x is a linear combination of the Xk- Briefly: x depends on S.
(1) 31 is a linear subspace ofV; The convention is that only the vector depends on the empty set
of vectors. Comparing Definitions 3 and 5:
(2) every vector of S belongs to 91.
76 /nfrocfucfton to Hilbert Space I §5 I §6 Vector Spaces 17
space [S| generated by S is precisely the set of all vectors which are linearly tor common 9TC and 31. Then, the representation of a vector x of
to
dependent on S.
311 + 31 in the form x = y +
z, where y is in 3TC and z is in 31, is uinque.
If x depends on S,evidently x depends on any set of vectors which Apply this result to Exercise 6.
includes S. If 31 is a linear subspace, every vector dependent on 31
8. Let 3TC and 31 be linear subspaces of V, and let S be the set of all
actually belongs to 31.
vectors x which belong either to 3TC or to 31 (or to both). Then, [S] is
Exercises
the linear subspace 911 + 91.
9. Let V be the vector space of n-ples, S the set of vectors xx =
Let V be the vector space of n-ples, and let aj,- • -,«„ be fixed
1.
(l,0,---,0),x2 = (1,1,0, •••,()),•••, xn = (1,1,-- ,1). Describe [S].
scalars. The set 31 of all vectors x = (Xi, • • • ,Xn) such that £j a k \k =
10. Let V be the vector space of polynomial functions on [a,b]
is a linear subspace of V.
(Example 14), and let cS be the set of polynomials l,t,t2 ,- -,t n De- .
2. Let V be the vector space of n-ples, and let (a,-*) be a system of scribe [S].
t, and odd if x(—t) = — x(l) for all t. The set 971 of all even functions
for,any linear combination X^ + X 2 e2 necessarily has for its third
component. One expresses this by saying that
is a linear subspace of V so is the set 31 of all odd functions. Describe
;
inexpressibility e3 is
linearly independent In general:
911 + 91. of e u e2 .
:
Definition 1. Let S be a set of vectors in the space V. A vector x is said plies (d), and (d) implies (a). The assertion in (b) for k = 1 means
to be linearly independent of S if it cannot be expressed as a linear com- simply that x x ^ 8, in view of the conventions about the empty set
bination of vectors in S. Briefly: x is independent of S. of vectors.
Thus, x is independent of S precisely when it does not depend on S (a) implies (b) : This is clear from Definition 2.
It was noted that e3 is independent of ei,e 2 It is equally clear that e 2 . hence X t - wt = for all k, by the hypothesis (c).
is independent of e\fiz, and ei is independent of e 2 fiz. Briefly, one says Assume to the contrary that for some index Xj
(d) implies (a) : j,
that are independent. In general
e\ ,e 2 ,e 3
can be expressed as a linear combination of the remaining Xk, say
Definition 2. A set S of vectors is said to be linearly independent in case: Xj = x *2*- Defining Xy = -1, one has 52" x *** = e Since also
52 Mi -
each vector in S is independent of the remaining vectors of S; that is, no = = for all k; this absurd
6 52" **> the hypothesis (d) yields X* is
vector of S can be expressed as a linear combination of other vectors of S.
forfc=j. |
Briefly: S is an independent set of vectors.
The convention is that the empty set of vectors is independent; Condition (d) can be interpreted as follows: when a vector is ex-
otherwise, independent sets contain only non-zero vectors. The set S pressible as a linear combination of independent vectors x lt --.Xn, -
one another:
system of generators 3; so to speak, one obtains 3 by suppressing cer-
(a) xi,---,x„ are independent. tain vectors of S, each suppressed vector being one which is still ex-
pressible as a linear combination of the vectors of S which remain.
xk is independent of x u - -,Xk-i, for k = 1,- -,n.
(b)
The translation of this idea into a formal proof requires some form of
•
•
(d) If 52" **** Si" ^Xk, necessarily X fc = (4 for all k. Suppose the linear subspace 31 of V is generated by a
Theorem 2.
If all the xk for k > are scalar multiples of x „ the proof halts.
fcj fc
§7. BASIS, DIMENSION
Otherwise, let x*, be the Xk which is not a multiple of x*, ; then,
first
for k < k 2 x*
, is a multiple of a;*,. The problem of finding an independent generating system is easily
If all the Xk for A; >
k2 are expressible as linear combinations of solved for the following class of vector spaces:
Xk v Xk v the proof halts. Otherwise, let Xk, be the first Xk which is in-
dependent of x kl ,x kl ; then, for k < k3 x k is a linear combination of ,
Definition 1. A vector space V is said to be finitely generated if there
exists a finite set of vectors Xi,- -,x n which generate V in the sense of
1. In the vector space of n-ples, the following vectors are inde- Examples
pendent: x x = (1,0,- --,0), x2 = (1,1,0, •••,0),---, xn = (1,1,- --,1).
1. In the vector space of n-ples, the vectors e x = (1,0,- --,0),
In the vector space of finitely non-zero sequences (Example
2. C2 = (0,1,0, • • •
,0), • - • , en = (0, • • •
,0,1) are a basis. In the sequel, this
1.6), let Xk be the sequence whose first k terms are = 1, all other terms will be referred to as the canonical basis for the space of n-ples.
=0. Every vector is uniquely expressible as a linear combination of
2. In the vector space of finitely non-zero sequences (Example
the Xk.
1.6), the vectors e, = (1,0,- •), e 2 = (0,1,0,- •), e3 = (0,0,1,0,- • •), • •
(i) The functions sin t, coat are independent. finitely generated. For, if x It ,x n is any finite set of vectors, there is • • •
any vector of 13, and suppose x = £" v k Xk- Replacing x x by the be any vector independent of x\,- ,x n ; such a vector must exist,• •
Assume the theorem true for m — 1, and let independent vectors criterion (b) in Theorem 6.1.
y\,---,y m be given. The vectors j/i,- -,2/m-i are also independent; •
we may suppose fi m ^ 0. Then, x„ can be solved for as a linear com- 2. In the vector space of finitely non-zero sequences, the vectors
bination of yir--,ym-i,ym,Xm+u---,x„; the concluding details are Xi = (1,0,0,- •
), x 2 = (1,1,0,- • •), x3 = (1,1,1,0,- • •),-•• are a basis.
left to the reader.
3. Let
13 be a vector space of finite dimension n. Then:
Corollary 1 . // V is generated by x u ,xn , no independent set can con- (i)Every independent set of n vectors is generating,
lain more than n vectors. (ii) Every generating set of n vectors is independent.
(iii) If 31 is a linear subspace of 13, then 31 has finite dimension m,
Proof.
with m < n; any basis for 31 can be augmented to a basis of 13;
Assume to the contrary that yu ,y n ,y n +\ are independent vectors.
-
be drawn from an algebraic system known as a field (see any book on § 3. The norm of o vector
abstract algebra). Thus, one speaks of complex vector spaces, real spaces
§ 4. Metric
vector spaces, and so on, in conformity with the system of scalars which
§ 5. Metric notions in pre-Hilbert space; Hilbert spaces
is employed.
§ 6. Orthogonal vectors, orthonormal vectors
In the sequel, only complex vector spaces will be considered, and the
terms vector space and complex vector space will be used inter- § 7. Infinite sums in Hilbert space
Examples
(x\y) = Z t
x(t)y(t)*,
The axioms (P1)-(P4) are easily verified. This example is known as §2. FIRST PROPERTIES OF PRE-HILBERT SPACES
n-dimensional unitary space, and will be denoted C.
Axioms (P2) and (P3) for a pre-Hilbert space can be expressed as
2.Let (P be the vector space of continuous functions on [a,b]
follows: the scalar product (x\y) is "additive" and "homogeneous"
(Example 1. 1.3), where a < b. Define
in the first factor. The
two statements of Theorem 1 assert that
first
1. Fill in the details in the above examples (especially Example 2, (3): (6\y) = (6 + 0\y) = (e\y) + (6\y), hence (6\y) = 0. Simi-
for which the verification of (P4) is non-trivial). larly, (x\B) = 0.
2. The vector space e of complex numbers (Example
1.1.8) is a (4): (x - y\z) = (x + (-y)\z) = (x\z) + (-y\z) = (x\z) +
pre-Hilbert space, via (X| M) = XM *. [This is essentially the unitary ((-l)tf|*) = (x\z) + (-l)(y\z) = (x\z) - (y\z). Similarly for the
space e 1 of Example 1.] second relation.
.
luii = (e>*i 2 .
I
)
(L" x^fc I
Zr m,%) = Z 4>}
- \w»/*(a% y,) I
The additivity of the scalar product yields an identity expressible
simply in terms of norms:
Proof.
Theorem 3. (Polarization identity) In a pre-Hilbert space, (x\y) =
(1): ||
Xx ||
2
= (Xx|Xx) = XA*(z|x) = |X|
2
|| x ||
2
.
ll\\x + y\\ 2 -\\x-y\\ 2 + i\\x + iy \\
2
-i\\x-iyV-}.
(2): This is immediate from axiom (P4), and the relation (0|0) = Proof.
0. I In the identity
x + iy ii
2 — x II
2
+ || 2/ 1|
2
- i(x\y) + i(y\x)
x ll
= (z>l ). 2
x - iy
2
= x 2
+ 2
+ i(x\y) - i(y\x).
II II || || y ||
I :
- - 2
= 2 2 Denote by p{X| the real part of the complex number X; obviously
(b) ||
x y || *ll - II v II + (a y) + (v *) I
the familiar formula for the distance from (0,0) to (ai,a2 ). If also y =
Theorem 4. (Cauchy-Schwarz inequality) In a pre-Hilbert space,
(z < a:
(ft A), with real components, x y represents the resolvent of the +
2/)
I 1 I II II II 2/ II-
arrows x and y:
Proof.
If x = 6 or ?/ = 0, then (x|2/) = 0, and the conclusion is clear.
||
x - Xz ||
2 - || x ||
2 - X*(z|z) - X(z|a;) + XX* || z ||
2
= ||
x ||
2
- (z|z)X* - X(*|*)* + XX* <«i+0i,a 2 +/J 2 )
= ||x||
2
- (x\z)(x\z)* (-fis ,-py
+ (x\z)(x\z)* - (x|z)X* - X(a:!z)* + XX*
a 1 ,a 2 )
- ||
x ||
2 - |
(x\z) |
2
+ [(x\z) - X][(x|z) - X]*
= \\x - |(x|z)|
2
+|(x|z)-X|
In particular, for X = (as |
z), < ||
x - X z ||
2
= || x ||
2
- |
(x z)|
|
2
. |
Applying Theorem 4 in the unitary space 6" (see Example 1), <- a \-P\,ot 2 -p 2 )
Corollary. If \\, • •
,X„ and m, • •
,ix„ are complex numbers, The triangle inequality and parallelogram law can now be given
the
obvious geometrical interpretations from which their name is drawn.
£;w|<(e>i ) (z>i ) 2 2
•
It is customary to carry over this geometrical language to pre-
Hilbert spaces of arbitrary dimension:
The Cauchy-Schwarz inequality leads to an inequality involving Definition 2. In a pre-Hilbert space, x - is called the distance
|| y ||
Theorem 6. In a pre-Hilberl space, 7. In view of Exercises 4 and 5, one has \\x + y\\= \\x\\+\\y\\
if and only if y || x - ||
= ||
x ||
- y ||
This . is also an immediate
(1) x — y > 0; x — y = if and only if x = y.
|
|| || || ||
consequence of the parallelogram law.
(2) || x - y ||
= || y - x \\ Deduce another proof of the Cauchy-Schwarz inequality, using
8.
and = x =
d(x,y) if and only if y
H (M2) d(x,y) = d(y,x)
2 2
(j^
!*(0 + 2/(0i <a)
<(f l*(0l <a) + (/ |j/(0l
2
*)
a (M3) d(x,z) < d(x,y) + d(y,z).
2. Let x and »/ be vectors in a pre-Hilbert space. If x = or y = 0, In words, distance is strictly positive, symmetric, and satisfies the
the Cauchy-Schwarz inequality reduces to = 0. Assuming x ^ triangle inequality.
and y ^ 0, show that |
(x\y) |
= || x || || y ||
if and only iix&ndy are
"proportional" (i.e. y = Xx for suitable X).
Examples
3. In a pre-Hilbert space, \x — |Z/IM<II*-Z/I|. =
1. Every pre-Hilbert space IP is a metric space, with d(x,y)
tion x
|| +
y = x || || || +
y holds if and only if y = ax for some || ||
2. A non-empty set EC of complex numbers is a metric space, with
real number a > 0.
dfr.n) = |X — j»|.
Let x,y,z be vectors in a pre-Hilbert space. The relation x — z
5. || 3. Let a: be any non-empty set. Define d(x,y) = 1 when x ?* y, and
= * — y
II y — 2 holds if and only if there exists a real num-
|| + || ||
\\
6. Let x and y be non-zero vectors in a pre-Hilbert space. The rela- 4. If EC is a metric space, and S is a non-empty set of points of EC,
tion x - y =
||
x - y || holds if and only if y = ax for
| || || || || |
then S is itself a metric space (distances in S being measured as they
some real number a > 0. already are in 9C).
: ,: 1
e > 0, there is an index N such that d(x„,x) < t whenever n > N. x3 = (1,1/2,1/3,0, •••)
The point x is then unique; for, if also d(x n ,y) — > 0, then x y re-=
sults from < d(x,y) < d(x,x n ) + d(x n ,y)
-> + 0. The point x xn = (1,1/2,1/3,- ...l/nA---).
is called the limit of the sequence xn Notations: xn —»
. x, or xn —
> x
as n —» co, or x = lim x n etc. For alln.p = 1,2,3, •,
11——
, . . .
2
2. A
sequence x n is said to be convergent if there exists a point x
such that x n -* x. Otherwise, the sequence is said to be divergent. II
X n+p - Xn ||
2
=
11/
(0,-
||\
-A—
n+
— 1
•
n -f- 2
• • • -,—-—
n +p
1
0,- •
Ml
)
/\\
as is shown in the following example (more sophisticated examples Suppose (to the contrary) that (P contained a vector x = (Xi,X 2 ,X3,
are given in Examples 7 and 8) • • •
,X,v,0,0, ) such that x„ —* x. If n > N,
• • •
Example 6. Let 9C be the open interval (0,1) with d(a,8) =\a — B\.
Let a„ = 1/n (n = 1,2,3,- •). Then, a„ is Cauchy (since it is con-
•
vergent in the metric space of all real numbers), but the only pos-
sible limit (namely 0) lies outside of SC.
Xn — X
s T~ Xk
[2
\
+^r+ii x *
k
1
+ 0;
\
in other words,
o
2
=
£' \x(t)\ dt 0.
I MO
2
-x(t)\ dt -* 0.
By elementary calculus, ||
xm - xn ||
-> as m,n -> »; specifically, J
if to > n, hence x(i) = 1 on [e,l]. Since t > is arbitrary, x(l) = 1 on the semi-
(to - n)
2
open interval Thus,
(0,1].
. Zmrn
[0 for -1 < f <
Assume to the contrary that <P contains a (continuous) function x ll for < t < 1.
£w« - i(0 2
dJ -» 0. Returning to general metric spaces,
j \x n (t)-x(t)\
2
dt<j \x n (t)-x(t)\ dt
(2) Ifx„-*x and y n -* y, then d(x n ,y n ) -> d(x,y).
\d(x,y) - d(x n ,y n )\<\d(x,y) - d(x n ,y)\ + \d(x„,y) - d(x n ,y n )\< for each k = 1, -,m, the k'th component of x„ converges to the fc'th
• •
m
a sequence x n is Cauchy if and only if:
Similarly, \d(x m ,y m ) - d(xm ,x„)
d(x„,y n ) <
d(ym ,y n ) -» + In the metric space e
4. ,
(3) : \
11. Suppose x is a fixed point of the metric space EC, and S is a Let us translate the general metric space concepts of the preceding
set of points of Then, S is bounded if and only if the numbers
EC. section into pre-Hilbert space terms; the dictionary is Example 4.1:
d(x,x ) are bounded as x varies over S. For, suppose d(x,x ) < K for
1. A sequence of vectors xn converges to the limit vector x in case
all x in S; if x and y are points of S, d(x,y) < d(x,x ) + d(,x ,y) < 2K, —1 —
xn » as n —» 00; that given any t > 0, there is an
thus S is bounded. Conversely, suppose S is bounded, say d(x,y) < M ||
index
1|
N such that x„ — x ||
< t
is,
there is an index N such that x„ = x for all n > N. tn,n —» 00; that is, given any « > 0, there is an index iV such that
2. In the metric space EC of Example 5, x n x means that x„(i) Xn — x n < « whenever m,n
II ||
Every convergent sequence > N. is
4. A set S of vectors is bounded if there is a constant > such M It is easy to see that 3C is a vector space, with respect to the opera-
that ||
a; ||
< M for all x in S (see Example 4-11).In particular, a se- tions x + y and Xa;. Incidentally, iV(Xx) = |X|iV(a;), and the proof of
quence of vectors x n is bounded if there is a constant > such M Lemma 1 shows that N(x + y) + N(x - y) = 2N(x) + 2N{y)
2 2 2 2
.
that ||
xn ||
< M for
a fixed vector, and * > 0, the set
all n. If x is
of all vectors x such that x — xa < e is the open bofi with center Xo Lemma 2. If x = (X*) and y = (/it) belong to 3C, the series 2^ X^xt*
|| ||
and radius e; the dosed ooiZ, with center x and radius e, is the set of converges absolutely.
all vectors x such that x — xo < e; the set of all vectors x such ||
||
Proof:
that x — xo ||
= e is called the sphere with center Xo and radius «.
||
If a and b are real numbers, (a — 6)
2
> leads to ab < \{a2 + b2 )
In particular, the open unit ball, closed unit ball, and unit sphere are
in particular, A t /** < \ ( X*
\ kuk * = 2
+ uk
2
), thus 2^° Xw***
defined, respectively, by the conditions x < 1, x < 1, and || || || ||
converges by the comparison test.
| | | 1 1 | I
|
1
\ I I
11*11 = 1.
* = (X*) of complex numbers which are absolutely square-summable, < EJL , X" - X," 2 = x m - x n 2 shows that the sequence x£,Xf,Xi
I I II ||
• •
that 2
< (equivalcntly, the finite sums ^3"lM 2 have a of k'ih components is Cauchy. Since the complex numbers are com-
is, S™|Afc| °°
plete, A* —* Xfc as n —* «=, for suitable X*. It will be shown that
bound independent of «). For such an x, define N(x) = f 2^~ X& |
|
2
) . ^™|Xfc| < co, and that x n converges to x = (\ k
2
).
(*)
237 |Xfc — X£|
2
< e, whenever n > p.
xn <
.
the numbers 1 +
\\x N \\,\\ ii ||,|| x2 \\,- -,|| iat-i ||, one has •
|| ||
ft
M for a# n. |
§6. ORTHOGONAL VECTORS, ORTHONORMAL VECTORS
Theorem 1 . /n aray pre-Hilbert space:
Definition 1 . // x and y are vectors in a pre-Hilbert space, one says that
\\x n - x \\\] Vn~ y\\ + \\x \\\\ y a -y\\ + \\xn-x || || y || ; clearly Proof.
the right hand side — as n —» oo.
*
Ifx i. yk for all k, and y = Z"Xtyt, then (x\y) = £"X**(x|t/ 4) =
(2) : Similarly, (x„\y m ) < i n - x m
|
(x„ \y„) -
yn - ym + | || || || ||
E>*0 = 0. |
*m
II II II y» - !/m xm
II ym for all m and n; since x m
+ ||
ar n - || || || || ||
and || ym I!
are bounded by the Lemma, the right side —» as Definition 2. A set S of vectors is said to be orthogonal in case x _|_
y
m,n — oo. | whenever x and y are distinct vectors in S. A sequence (finite or infinite)
of vectors x„ is called an orthogonal sequence if Xj _L x* whenever
Corollary- In any pre-Hilbert space: j^k.
(1) // x„ -> x, then || x« ||
-» || * ||.
Examples
(2) // x„ is Cauchy, then || x„ ||
converges.
1. Let Xi,X 2 ,X 3 ,- • •
be any sequence of scalars. In the pre-Hilbert
Exercises space of finitely non-zero sequences, define Xi = (Xi,0,0,- •), x 2 = •
2. If 91 is a linear subspace of a pre-Hilbert space (P, and 91 con- 2. In the unitary space C 3 the vectors Xj ,
= (1,2,2), x2 = (2,1,-2),
tains a ball or a sphere, then 91 contains every vector of (P. *3 = (2,-2,1) are orthogonal. Incidentally, x* = 3 for all k.
|| ||
' )
Examples
sin (ml) sin (nt) dl = 0, when m ^ n.
4. If j/n is any orthogonal sequence of non-zero vectors, the se-
quence x„ = y n \\~
x
yn is orthonormal. For example:
Similarly the sequence y n (t) = cos (nt) (n = 0,1,2,3,- • •) is orthogo-
||
= II J/n II
2
= x for n = 1,2,3,- • -. Define
More generally, ifx u -- -,x„ are orthogonal,
B
u„(t) = — 7= sin (nt) (n = 1,2,3, • • •
Proof.
2
+ =
= + + + (y\y) - x
2 Vo(D
Ifx ± y, || x +y ||
(x\x) (x\y) (y\x) || ||
V2i
+ + y
2
. This is the case n = 2. Assume inductively that
|| ||
_I _1
1 2 and V = x «> one
II ij" % II
2
= E" II
z* II -
se ttin 8* = E" **
v n (t) = 77= cos (nt) (n = 1,2,3, •
• •).
Corollary. 7/ Si,x2 ,X3,- • • is an orthogonal sequence (finite or infinite) 7. In the pre-Hilbcrt space of finitely non-zero sequences, let e\
thogonal. By Theorem 2, - ||
6 ||
2
= £ " II
**** II* - £? I ** I* H ** II*
'• sequence described in Example 7. If x = (A*), evidently (x\e k ) = X*.
2
since || xk ||
> for all k, necessarily X* = for all fc. |
In particular, for every vector x, ]^"| (x|efc) |
< co; this result holds
for any orthonormal sequence, as a consequence of "Bessel's inequal-
Definition 3. A vectors in a pre-Hilbert space is said to be ortho-
set S of ity":
normal in case S is orthogonal in the sense of Definition 2, and
(i)
(ii) ||
X I!
= 1 for every vector x in S. A sequence (finite or infinite) of Theorem 3. (Bessel's equality and inequality) Let X\,- •
,x n be ortho-
vectors xn is called an orthonormal sequence if (i) x,- _L x k whenever nortnal vectors in a pre-Hilbert space. For every vector x,
j y* k, and (ii) || x* ||
= 1 for all k.
2 2
condition for the orthonormality of a sequence can be ex-
The
(i)
i • - 2S (*i**>*» ii
= ii * ii
2
- Si <*i**) i .
symbol S can be defined for s and I varying over a set 3; it has the
tt
value when s j* t, 1 s t.
i
6 II §6 Hilberi Spaces 47
46 Introduction to Hilbert Space II §
2
= 2*1 X* 2
by T/ieorem 2; calculating as in the proof of 4. If j/* — 0, then (x y k ) — (i 0) = for each vector x, by Theorem
Z" 1! *kXk II I
II
*-£>** II
2
= II
* II
2
-(L>s* 1*) xk -+0.
2 [It can be shown that the sum is actually equal to the integral.]
= ii
x p- E*K*i**) i
2
+ Si w**> - **i -
]
|
Proof. Proof.
Bessel's inequality holds for each n. | The vectors x„ will be defined inductively. Let X\ = y Il-U 'y t || x \\ .
Remarks ,x k = [y lt ,n — 1.
defined, in such a way that [xi ,yk for k = 1,
• • • • • • •
, ] ]
1. From the proof of Theorem 3, it is clear that the choice X* The desired vector x n must be a linear combination of y tl -,y n or -
,
n
= (x\x k ) minimizes \\x- X) Xtx*||, and thus provides a "best equivalently of x u ,x„^,y„; moreover, it must be orthogonal to - •
is complete, hence
zero sequence, clearly x =
2J ^e k one could ; formally write x =
Theorem 5. Every finite-dimensional pre-Hilbert space
is a Hilbert space. 2i *, *e *> with the understanding that Xt = for all k > m.
Consider now an arbitrary vector x = (X*) in I
2
. What sense can be
Proof. =
made of the expression x 23" ^*e*? It is natural to define 23" \kek
By the above Corollary, there is a basis x ,x n of orthonormal vec- x ,
II II
2
Example Xm-2,***) II
2
= Zr+il x *l 2 -» Oasn -> oo.
given for I (see 5.1). |
These considerations will now be generalized for arbitrary ortho-
normal sequences in Hilbert space.
Exercises
Lemma. Let Xi,X2,xz, * * * be an orlhonormal sequence of vectors in a pre-
1. The relation || * + y \\
2
x 2 = y
2
\\ \\
+
is equivalent to (x\y)
|| ||
Hilbert space, and Xi,X 2 ,X 3 ,- • • a sequence of scalars such that 23ri^J:|
2
+ (y\x) = 0; denote this relation by x P y. Then a; J. y if and only if
x P \y for all complex X. < co. Define y n = 2_ x * x*- Then, the sequence y n is Cauchy.
as n
In the pre-Hilbert space of continuous functions on a symmetric
I
3.
xx = (1,2,2,4) in the unitary space C4 Theorem \.Ifx„isan orlhonormal sequence of vectors in a Hilbert space,
4. Starting with the vector ,
n ~l
normalize the first three terms of the sequence y„(t) = t
(ti= 1,2,3,---).
Thus, — 23" ** —* by The basic prop-
Ii 5^r ** || 0, definition.
erties of the infinite sums described in Theorem 1 are as follows:
50 Introduction to Hilbert Space II § 7 II §8 Hilbert Spaces 57
Theorem 2. Let x„ be an orlhonormal sequence of vectors in a Hilbert 7. Suppose x„ is an orthonormal sequence in a pre-Hilbert space,
space. Suppose x = 52" X*xt and y = 52T M*x*, in the sense of The- and x is a vector such that ||x||
2
= 527l(x|xt )|
2
. Then x
orem 1. Then: £*(x|x k )x*.
(1) (x\y) = 2jj X«i**, ft« series converging absolutely. 8. If j/i, J/2,2/3,
• • • is a sequence of vectors in a Hilbert space 3C, such
- that every vector x is a linear combination of finitely many yt, then
(2) (a: | a;*) X*
3C is necessarily finite-dimensional.
(3) i*i*-ay-siwp.
Proof. §8. TOTAL SEPARABLE HILBERT SPACES,
SETS,
placing (Xi) by (|Xt|), and (/**) by (1^*1), it is clear that the conver-
by the Corollary of Theorem 6.3. According to Theorem 7.1, one can
gence is absolute (see also Example 5.1).
form the vector y = £"X t xA and by Theorem 7.2, (y\x-k) = Xk =
(2) : This is a special case of (1), with nk = 1 and n} = -
for all j t^ k.
I (x\xk) for all k. When
,
(3):Takej/ = xin(l). | (y — x\xk) = (y\xk) — (x|xfc) = for all k. Thus, one could conclude
y = x if the vectors xt had the following property: the only vector z
Exercise*
which is orthogonal to every Xk is the vector z = 0. This leads to the
following definitions:
1. If x„ is an orthogonal sequence of vectors in a pre-Hilbert space,
2
— 52
Definition 1. A set $ of vectors in a pre-Hilbert space <P is said to be
such that 527 || Xk ||
< », then the sequence y n Xk is Cauchy.
x total in case the only vector z of which is orthogonal to every vector of
6>
What if
27 II *» II < °° ?
S is the vector z = 0. A sequence (finite or infinite) of vectors x n is called
a total sequence in case: if z _L Xkfor all k, necessarily z = 6.
Let x n be a sequence of (not necessarily orthogonal) vectors
2.
an orthonormal sequence, and the sense In any pre-Hilbert space a total set of vectors. For,
3. If x„ is J~ X*xjt exists in 1. <P, (P is itself
2
<
if 2 ± x for every vector x, in particular z _L z.
of Definition 1, necessarily 5^ l^*| °°-
quence in Hilbert space, such that 52^ || Xk |! < «=, and form the = =
(0,'>1,0,- •
•), e3 (0,0,1,0,- • •)', • • •
is total. So is the sequence x t
vector x = }£" x* according to Exercise 1. Then ||
x ||
2
= ^ II
xk II
2
- (1 A0,- •
), x2 = (1,1,0,- • •), *3 = (1,1,1,0,- •),••••
52 Introduction to Hilbert Space II §8 II § 8 Hilbert Spaces S3
*4. In the pre-Hilbert space of continuous functions on [—*,*], it Proof.
can be shown that the functions l,t,1?, • form a total sequence. So do • •
basis for the Hilbert space P. This will be referred to as the canonical that this condition is also sufficient for the existence of an orthonormal
2 basis.
orthonormal basis of I .
|
If a Hilbert space 3C has an orthonormal basis x n consisting of Definition 3. A Hilbert space is said to be separable if it possesses a
infinitely many vectors, X
is an infinite-dimensional vector space, by total sequence (finite or infinite).
the Corollary of Theorem 6.2. It follows that the x n cannot form a
basis, in the sense of Definition 1.7.2, for the vector space 3C; that is, Examples
not every vector x can be expressed as a linear combination of the xk
(see Exercise 7.8). 6. If 3C is a finite-dimensional Hilbert space, every basis y u - -,yn
On the other hand, suppose <P is a pre-Hilbert space possessing a is total, hence 3C is separable.
finite sequence x u - -,x„ which is orthonormal and total. If j is any 2
7. The Hilbert space I is separable (see Example 5).
vector in (P, the vector * - £" (x\x k )x k is orthogonal to every a;*,
Theorem 3. The following conditions on a Hilbert space 3C are equivalent:
hence is 0. Thus, x = £" (x\xk)x k (P , is finite-dimensional, and
(a) 3C is separable;
xi, -,xn is a basis for <P in the sense of Definition 1.7.2. Clearly, in a
finite-dimensional space, the concepts "orthonormal basis" and "basis (b) 3C has an orthonormal basis xa .
Alternative descriptions of an orthonormal basis are contained in of the zk generating the same linear subspace as the zk The k are also
, y -
a Hilbert space every linear combination of the y k , hence to every z k (hence z = 6).
Theorem 2. // x„ is an orthonormal infinite sequence in
By Theorem 6.4, there is an orthonormal sequence Xi,x 2 ,x3 ,- gen-
3C, the following conditions are equivalent:
erating the same linear subspace as the y k The x k are total, by the .
(a) The x„ are an orthonormal basis. above reasoning; thus, the xk are an orthonormal basis.
2 = x 2 Incidentally, if X is finite-dimensional, the independent sequence
(°) sr i (^ x *) i ii n » f° r each vector x -
= Both the yk and the x k are bases in the sense of Chapter I (see the
(c) 2? (x\x k )x k x, for each vector x.
remarks preceding Theorem 1). |
54 Introduction to Hilbert Space II §8 II §9 Hilbert Spaces 55
then (P is finite-dimensional (hence is a Hilbert space). An independ- (iii) T(x + y) = Tx+ Ty, for all x and y in X.
ent set 2/1, • ,y n is a basis if and only if it is total.
• •
*7. Itcan be shown that every Hilbert space contains a total ortho-
Let us show (2); the proof of (1) is much simpler, and is left to the
reader.
normal set 3; such a set is called an orthonormal basis for the space.
[However, it may not be possible to enumerate 3 in a sequence.]
Suppose 3C is infinite-dimensional and separable. An isomorphism T
of 3C onto I? will be constructed. By Tlieorem 8.3, X has an orthonormal
basis x„.
2
Given any vector a: in X; the problem is to define Tx in By theI .
(iv): Similarly, T(\x) = \(Tx) results from (\x\xk ) = § 3. Closed linear subspaces
\(x\x k ).
§ 4. Complete linear subspaces
(v): If x and y are vectors in 3C, then x = £" (x|x t )x fc
and ?/ =
§ 5. Convex sets, minimizing vector
X
X C 6 means a complex number.
that X is
3. If is isomorphic with X, then X is isomorphic with 3C. If x C
SC and y EC, the statement "x = y" means that x and y are
G
symbols representing the same element of EC. One assumes the follow-
ing properties of equality: (1) x = x for every x EC; (2) if x = y, C
then y = x; and (3) if x = y and y = z, then x = z. These are known
as the reflexive, symmetric, and transitive properties of equality.
In addition, the following set-theoretic concepts and notations will
be employed in the sequel:
(R is the set of all real numbers, and S is the interval [a,b], then Then, <P = [0). In fact, a subset S is total if and only if S = \0).
x =
S = |i£l»:o<i<ii|. 2. Clearly {0) (P.
5. The set whose only element is x is denoted {x(. The set whose then x G Sx .
Suppose x„ J_ S for all n, and x„ —> x. For any s£S, (x|s) = lim
Exercises (x n \s) by Theorem II. 6.1; since (x„ \s) = for all n, (x|s) = 0. |
1. If EC, % Z are sets, Definition 2. Let S be a subset of a metric space EC. A point x G EC is
(i) EC C EC; said to be adherent to S in case tliere exists a sequence sn G S such that
s n -* x.
(ii) if EC cy and *y C Z, then EC c Z;
(iii) EC = *y if and only if both EC C <y and *y C 9C.
In particular, if S is a subset of a pre-Hilbert space <P, a vector x <P G
is adherent to S if and only if there is a sequence s„ G S such that
2. If EC, "y, Z are sets, II
s« — x ||
—» as n — ><x>.
= EC;
(i) EC
Definition 3. Let X be a metric space, S C EC. S is said to be a closed
(ii) if EC = % then -y = EC; subset of EC if it contains every point adherent to it. That is, the relations
Examples Proof.
x x
4. According to Theorem 1, if S is any subset of a pre-Hilbert space (1) : Let x
x x Thus, x
G
S. For any ?/ S one has y
xx
G , J. x, hence a: 1 S , that
(P, S
x is a closed linear subspace of (P. is, x G (S ) . S implies x S G G .
(R. For, suppose a < s„ < b, and s„ — x, that is, \s„ — x\ -» 0. The x xx = xx x
(3): Clearly (S (S since in each case one starts with
assertion is that a < x < b. Assume to the contrary, say, that x > b.
) ) ,
one has S
x
3 (S
xx x Also, S
x
C (S
x xx by part The two
< t = x - b, -s„ < — b, s n > b, a contradiction. A contradiction ) .
) (1). last
inclusions combine to give the desired equality (3). |
is reached similarly if x < a.
EC, « > 0, and S = {a; G 9C: d(x,2/) C Definition 4. // S and 3 are subsets of a pre-Hilbert space (P, one says
Let a: be a metric space, y
6.
< e). Then, S is a closed set. For, suppose xn S and x„ -» x. By G that S is orthogonal to 3 in case x ±y whenever x GS and y G 3-
Theorem II 4.1, d(xn ,y) -* d(x,y); since < d(xn ,y) < t for all n, Notation: S13.
one has < d(x,y) < e by Example 5.
Evidently S _L S
x
, and {6} i. S, for every subset S. The convention
7. The convention is that the empty subset of any metric space is is that ± S, for every subset S.
11. Every finitesubset S = (j/i,- • -,2/J of a metric space 9C is Definition 5. Notation as in Theorem S. One wntes 9TC©91 for the
closed. For, suppose x n S and x n -> x; for some yj £S,i, = y,
G linear subspace 3TI -f- 31. Thus, the use of the symbol ® entails ortho-
for infinitely many n, hence x = yj G S. In particular, every one-point gonality of the summands.
subset \y\ is closed.
for the
xx Exercises
a subset of the pre-Hilbert space <P, one writes S
If S is
x
annihilator of S ; thus, 8
iX - (S- ")-1 It is not necessary to define 1
.
J"L X x
(3) (S )
= S . subset of e.
- - —
classical Hilbert space (Definition II. 9.2), and x n an adherent to S in the sense of Definition 2.2; it is denoted S. Thus,
3. Let 3C be
ortho-normal basis for 3C. Let 91 be the linear subspace generated by
that the set of all finite linear combinations of the xt- Then:
S = \x £ EC: x is adherent to S}.
the Xk, is,
Remarks
(ii) 91 is not a closed subset of 3C.
1.x S £ if and only if there exists a sequence s„ £S such that
4. If S and 3 are subsets of a pre-Hilbert space <P, the following -* x.
s„
statements are equivalent:
2. The convention is that = 0. For, there are no points x ad-
(a) 813 herent to 0.
(b) 8C3 1 3. S is a closed subset of EC if and only if S CS (see Definition 2.S).
3 C S
x
(c) .
4. S c S, for every subset S. That is, every point s £ S is adherent
to S (take s n = s for all n).
5. If S is an orthogonal set (Definition II. 6.2) of non-zero vectors,
and Si, S 2 are subsets of S, then Si _L S 2 if and only if Si and S 2 have 5. S = S if and only if S is closed.
no vectors in common.
6. If S C 3, then SC3. For, suppose x £ S. Say s„ x, where
6. If 911 and 91 are linear subspaccs of a pre-Hilbert space (P, then s„ £ S. Since also s„ £ 3, x is adherent to 3.
3R 1_ 91 if and only if x + y ||
2
= H x 2 + y ||* whenever x £ 9TC
|| || ||
that 911 91, 9l 911, hence 911 1. Let S be subset of EC. Then:
LJ- =
91 91. In particular, 9H and 91 are closed linear subspaces.
(1) S is a closed subset of SC.
8. In the pre-Hilbert space 0° of continuous functions on [ a,a], let (2) SCS.
9R be the subspace of even functions, and 91 the subspace of odd
functions (see Exercise 1.5.6). Then, (P = 911 91. © (3) // 3 ts a closed subset of EC such that 3 3 S, necessarily 3 3 S.
In other words, S it the smallest closed subset of EC which contains S.
A linear subspace 91 of a pre-Hilbert space <P can be enlarged to a (1) Suppose y is adherent to S. It must be shown that y S. £
by forming 91 x± (see Theorems 2.1, 2.2).
:
linear subspace
closed Choose any sequence x„ £
S such that xn —* y. For each n, choose a
Another procedure for enlarging a linear subspace to a closed linear point 8n £
S such that d(s„,x„) < l/n. Then, d(s„,y) < d(s„,x„) +
subspace is given in Theorem 2 below. It will be shown in § G that these d (xn,y) < l/n d(x n ,y) -+ +
0. Thus, s„ -» y, y S. + £
two procedures yield the same closed linear subspace when (P is a
Hilbert space. (2) : See Remark 4 above.
Definition 1. If Sis a subset of a metric space EC, the closure (or "ad- (3) : If S C 3, and 3 is closed, then I C 3 = 3 results from Remarks
6 and 5.
herence") of S in 9C is defined to be the set of all -points x £ 9C which are |
64 Introduction to Hilbert Space III § 3 Ill §4 Closed Linear Subspaces 65
Lemma. In a pre-Hilbert space: rational coefficients. Then, S is not a linear subspace, but it is a dense
subset of 3C.
(1) If x„ -> x and y n -* y, then xn + yn -> x + y.
5. Let S and 3 be subsets of a metric space X. H every x G 3C is
(2) Ifx„—>x and X„ —» X, then \»x n -+ Xx.
adherent to 3, and every t G 3 is adherent to S, then S is a dense subset
Proof. of 9C.
(1) :
||
(x„ + y n - (x + y) =
) || ||
(x n - x) + (y n - y) ||
< 6. In a pre-Hilbert space (P, the closure of [x: \\x — y\\ < a) ia
Theorem 2. // 91 is a linear subspace of a pre-Hilbert space <P, then 31 is §4. COMPLETE LINEAR SUBSPACES
a closed linear subspace of (P. Moreover, 31 is the smallest closed linear The principal result of this chapter is the following theorem: if 31
subspace which contains 31.
is a closed linear subspace of a Hilbert space 3C, every vector x G 3C
Proof. can be written in the form x = y z with y W and z 9l x This + G G .
t
r
Definition 1 . Let X be a metric space, S C 9C. 2/ S is a complete metric
Proof. space, S is called a complete subset of EC. This means: if s„ G S and
Stt is a closed linear subspace containing 31, by Theorems 2.1 and d(sm,s n ) —* 0, there is a point s in S such that d(s n ,s) —* 0.
I
Remarks
Exercises
1. The convention is that is a complete subset of EC.
1. In a pre-Hilbert space: if x n and y n are Cauchy sequences of
Every closed subset S of a complete metric space EC is a complete
vectors, and X„ is a Cauchy sequence of scalars, then x n y„ and + 2.
—
X„x n are Cauchy sequences of vectors. subset. For, suppose s„ G S, d(s m ,sn ) > 0. Since EC is complete, there
is a point x G 9C such that s„ — x. Since S is closed, x G S.
2. If S is a subset of a pre-Hilbert space, then S and S have the same
annihilator, that is, S
x = x
(S) .
Every complete subset S of a metric space EC is a closed subset of
3.
c XJ",
91 " -. Conversely,
Corollary. 7/ 91 is a closed linear subspace of a Hilbert space, 31 is itself (3): By Theorem assuming x
2.2, 31 9l
1 1
G
a Hilbert space. let us show that x 91. By (2), we may write x = y
xx
G z, with y £ VL +
x Since both z
G and ""
one has z =
G G 1
concerning closed subsets of Hilbert space which are valid for complete
subsets of pre-Hilbert space. Important examples of this will be given
and a; = 2/ G 31- I
Exercises
in the next two sections; another is the following:
Theorem 2. If 3TC and 31 are complete linear subspaces of a pre-Hil- Let 31 be a complete linear subspace of the pre-Hilbert space (P,
1.
bert space G>, and 3H ± 31, then 3U © 31 is also a complete linear sub- and suppose 31 is separable (Definition II. 8.3). Generalize Theorem S.
space of (P. [One can even get along without separability; see Theorem 6.1].
See Definitions 24 and 2.5 for the notations. Let x n be a Cauchy In the pre-Hilbert space of finitely non-zero sequences x = (\k), let
31 be the set of all vectors x such that Xi = 0. Then 31 = 3l
xx , but
sequence in 3TC + 31; say x„ = yn + z„, with y n C 3TC and z„ G 31. By the
Pythagorean relation, ym - yn
||
2
+ zm - zn
2
= (2/m -
II
+II || II J/n) 31 is not complete.
(*. -
Zn) fo. ||
2
= (3ln + *n) II*
|| +O*m *„ -
-- 0, hence 2
= I!
" ||
3.2. | d(z,y). If d(x,y) = d(x,z) + d(z,y) for three particular points x,y,z, it
isnatural to say that "z lies on the segment joining x and y" (see, how-
Corollary. If 3TC and- 31 are closed linear subspaces of a Hilbert space 3C,
ever, Exercise 9). In pre-Hilbert space, this condition reads x — y
and 311 ± 31, then 3TI © 31 is a closed linear subspace of 0C.
= || x — z + ||
z —y 'I ; one can show that this condition
||
is in turn
||
||
space (P. Then: the segment joining x and. y is the set of all vectors z of the form z =
31 is complete {hence closed).
ax •+- (1 — a)y, where < a < 1. A non-empty subset S of V is said
(1)
to be convex if S contains tlie segment joining any two of its vectors;
(2) (P = 31 © StH\ that is, the relations zGS,2/GS,0<a< 1 imply ax + (1 - a)y G §•
(3) 3t = *•"-.
Proof. Examples
(2) : Let j/i, • -,yn be an orthonormal basis for 31. Given any vector 2. In a pre-Hilbert space, the closed unit ball S = [x: \\
x \\
< 1} is
x G <P, define y = 2" (x\yk)yk and z = x — y. Clearly z J_ yk for all convex. For, if x S, y S, and < a < 1, then ax
G G || + (1 — a)y < \\
68 Introduction to Hilbert Space III Ill §5 Closed Linear Subspaces 69
ax + (1 - a)y = a
|| || ||
|| \\ x || + (1 - a) \\ y ||
< a + (I - a) = 1 Proof.
of a pre-Hilbert space (P. Given any vector x <P; there exists one and £ Exercises
Since S is convex, it contains the vector \{y m y n) = \ym hyn, + + 4. If S is a non-empty subset of a metric space 9C, and x is a point
hence || \{y m + yn — ) x > S by the definition of 5. It follows that
\\
of 9C, the distance from x to S is defined to be the non-negative real
||ym
2
-y»|| <2||ym -x||
2
+ 2|!x-2, n ||
2
-4S2 ;
number GLB \d(x,y): y £ S) ; it is denoted d(x,&). Prove: x is ad-
herent to S if and only if d(x,S) = 0; that is,
as m,n —* °o, the right member of the inequality — » 25
2
+ 2S 2 —
45
2
= a Cauchy sequence in S. Since S is complete,
0, thus y n is S = {x£9C:d(x,S) = 0}.
—*
Vo for suitable ya §• Since y n — x —> y — x by the Lemma £
J/n 5. The conclusion of Theorem 1 may hold for certain non-complete
of Theorem 3.2, one has jfa a? —> y — a; ||. Thus, y„ — x = ||
— || || |! \\
convex sets. For example, let <? be any pre-Hilbert space, and S =
5.
— Mx||<i).
Suppose also z £S satisfies ||
a„ x ||
= 5. Since S contains the
(i) In the notation of Theorem l,y = x when x < 1, and y =
vector %(y +2 Vo = results from the calculation — || ||
), z<>
||
x j|
'x when \\x\\ > 1.
Vo - z„ ||
2
= 2 || y - x ||
2
+ 2 ||
x -
— z ||
2
- || (?/ + z ) - 2x ||
2 (ii) <P is complete if and only if S is a complete subset.
(iii) Incidentally, 9 is complete if and only if jx: x ||
= 1) is a
+ 2 - 4 \{y + z -
||
= 25
2 2"5
1| a ) x II
.. complete subset.
< 25 2 + 25 2 - 45 2 = 0. | 6. Here is an example of Corollary 2. In the unitary space Gn ,
< II
x - y ||
/or ai/ y £ S. 7. If s is not complete, the conclusion of Theorem 1 may not hold.
iseasy to see that S is convex. However, S does not contain a vector Theorem 2. // 91 is a closed linear subspace of a Hitberl space 3C, then
J-L
y„ of minimum norm. Incidentally, S is not closed. An example with 3C = 91 © 9l\ and 91 = 91.
convex.
Remarks
Let 1) be the vector space of continuous functions on [0,1]
9.
1. If 91 is a closed linear subspace of a Hilbert space 3C, the relation
(Example 1. 1.3), regarded as a metric space via d(x,y) = LUB x x x
(9l = 91 shows that the orthogonal complement of 9l is 91.
\\x(t) - y(t)\ :0 < t < 1| (see Example 1 1 4.5). Let x,y,z be the
)
functions defined by the formulas x(t) = t, y(l) = — 1, and z(t) = 0. a pre-Hilbert space such that every closed linear subspace
2. If (P is
xx = 91, then (P is necessarily com-
Then, (i) d(x,y) = d(x,z) d(z,y), but (ii) there does not exist a real + 91 of (P satisfies the condition 9l
number a such that z = ax + (1 — a)y. plete (hence is a Hilbert space). See Exercise V.1.3. This remark will
not be used in the sequel.
Proof. S C S
xx
(2) ;
sarily S
xx C 9R.
Since 91 complete and convex, there exists, by Theorem 5.1, a
is
vector y a £
91 such that x — y < x — y for all y 91. De- || \\ || || £ Proof.
fine z = x — y ; it will suffice to prove that z J. 91.
(1): see Theorem 2.1.
Given any y 91, let us show that (y\z) = 0; there is no loss of
£
generality in assuming || y ||
= 1. By the calculation made in the (2) : see Theorem 2.2.
proof of Theorem 11.34,
Suppose SCOT, where 9E is a closed linear subspace
(3) :
of 3C.
\\z-*y\\ 2
= \\z\\
2
-\{*\y)\
2
+\(z\y)-M 2
,
Then, S x Z> 9E X S xx 9Tl
xx quote Theorem 2.
, | C ;
= = x
for every scalar X. In particular, for X (z\y), Corollary 1 . // 91 is any linear subspace of a Hilbert space 3C, 91 91 .
2 2 2
(*) ||*-Xo2/|| =IMI -|(*l*/)l - Proof.
Compare Theorem 3 with Theorem 3.2. \
Now, z - Xoj/ = (x - y ) - Ky = ^ - illo + X ?/); since y +
h,y £ 91. one has ||
x - y„ \\
< x - (y + \\
\ y) \\, by the choice of Corollary 2. Let 91* be a sequence of closed linear subspaces of a Hilbert
y„. That is, || z ||
< ||
z — Ky \\ ;
combining this with (*), space 3C. There exists a smallest closed linear subspace 91 such that
2 9li C 91 for all k. One has x ± 91 if and only if x ± 91* for all k.
llzll^llz-Xoj/II^Hz^-Kzl^l^llzll .
Proof.
Clearly (z y) =0.
The proof of 91
|
|
Clearly 9l c S for all k, and S is the smallest subset of 3C with this
fc
property. Set 91 = S
xx Evidently 91* S 91 for all k. If 9R is a C C
Quoting Theorem 4.1, .
72 Introduction to Hilbert Space III §6 Ill §7 Closed Linear Subspaces 73
closed linear subspace such that 31* d 9TC for all k, then S c hence 911,
MAPPINGS
x
91 C 311 by Theorem 3. The last assertion follows from 8l « 8
ixx - §7.
x Theorem
S (see £.2). | Suppose 31 is a closed linear subspace of a Hilbert space 3C. Given
Exercises any vector x £ 3C, there is a decomposition x = y + z with y £ 91
x
and z £ 91 (Theorem 6.2) moreover, the vectors y and z are uniquely
;
1. If 31 is a finite-dimensional linear subspace of a pre-Hilbert determined by x (see Theorem 2.S). Thus, one passes from the vector
space <P, another proof of (P =
(this is Theorem 4.3) can be
31 © 91 x x £ 3C to the vector y £ 31 in a perfectly definite way. One may say:
deduced from Theorem 1 and Theorem 11.6.5. Both proofs, at some "y depends on x," "given any x there is determined a corresponding
point, make use of an orthonormal basis of 91. y," and so on. This is the familiar language of functional dependence.
The terminology and notation of functions, to be used in the sequel,
Let 91 be a linear subspace of a Hilbert space 3C. Then
2. 31 is a
will now be described.
dense subset of 3C if and only if it is a total subset of 3C.
= 1. Let 9C and "y be sets, both non-empty. One says that "T is a
3. In the pre-Hilbert space of finitely non-zero sequences x (\k),
£" (l/k)\ k = mapping of 9C into y" in case: for each x £ 9C, there is determined
let 91 x such that
be the set of all Then 91 is a
XJ\ one and only one element y £ denoted y = Tx [or y = T(x)], %
called the value of T at a;. The symbol T: 9C —» y means that T
closed linear subspace, but 91 j* 9l
imizing vector). For example, let S be a linear subspace of a pre- (x £ 9C)." Synonyms for "mapping" function, transformation. :
not to S, no minimizing vector y exists. 3. Mappings S: X —> *y and T: 9C —» "y arc said to be equal in case
*7.In Exercise II. 8.5, it is proved that a classical Hilbert space 3C 5. A mapping T X —* : *y is said to be infective if it takes distinct
isa separable metric space in the proof sketched there, use is made of
; values at distinct elements of 9C. That is, the relations X\ £ 9C,
an orthonormal basis, and hence of the Gram-Schmidt procedure. x2 £ 9C, Xi ?± X2 imply Txi ^ Tx 2 . Equivalently: Tx x = Tx 2 implies
Another proof runs as follows. Let x n be any total sequence in 3C, and #1 = x2 . An injective mapping is said to be one-to-one.
let S be the set of all finite linear combinations of the x„ with Gaussian-
rational coefficients. Then, S is a closed linear subspace, having orthog-
6. A mapping F:9C -» y is said to be surjective if T(9C) = -y. That
onal complement (0 , so I = 3C results from Theorem 2. Since S can be
is, given any y £ "y, there exists at least one x £ 9C such that Tx = y.
j
§8. PROJECTION
PX! + Px2 .
mapping P: — 2
=
|| || || || || || ||
2
; also, (Px|x) (y\y + z) = (y\y) + (y\z) = \\y\\ 2 =
(1) (Pi! x2 ) = (x, Px 2 for all x,,x2 £ 3C. II
^* ||
.
| |
)
§ 6. Continuous mappings
7. Normed spaces, Banach spaces, continuous linear mappings
5. If 3R and 31 are closed linear subspaces of a Hilbert space 3C,
and Q = Pm, then 3U C
91 if and only if Q{Px) = Px for all
8. The normed space £ c (&,$)
P = Pm ,
Examples
77
78 Introduction to Hilbert Space IV §1 IV §1 Continuous Linear Mappings 79
2. *U any vector space, T: V -» V defined by Tx = x for all x G V. By definition, a linear mapping "preserves" sums and scalar mul-
T is called the identity map-ping of *U, and is denoted T= I. tiples; it also preserves 0, negatives, differences, and linear combina-
tions:
3. V any vector space, y. a fixed scalar, F: "0 -» *0 defined by
Tx = fix for all i£U The additivity and homogeneity of T come Theorem 1. 7/ T: V — > *W is any linear mapping,
out of the axioms for a vector space: n(x y) = tix + + M2/. and
=
(1) TO e
„(Xx) = 0«X)* = (X/i)x = X(aix). Such a linear mapping is called a
5. V the space of n-ples, "W the space of m-ples, n> m, and (4) r(z>s*) = E>(r**)-
T: V -» -W defined by T(X 1( -,X n ) = (X lf -- • • -,X m ).
Proof.
and *W as in Example 5, and S *W -*
6. 1) : 1) defined by S(Xi, • • • ,X„,)
-<X„ ••,x mi o,---.o). (4) : The proof is by induction on n. The case n = 1 is simply the
the vector space of polynomial functions on [o,6] (Example that T homogeneous. Assuming T ~ =
7. *U assertion is I Z? XfcX* )
Sx be the
as in
unique polynomial y such that y' = x on [a,6] and y(a) = 0.
r (zr
1
x ^*) + ro^ - st* x*( r**) + x »( ra; ") =
Thus,
(Sx)(l) = P x(u) dw (a < I < 6). (1), (2), and (3) are special cases of (4), since = Ox, —x = (— l)x,
and x - y = lx + (- \)y. |
9. 13 the vector space of finitely non-zero sequences (Example 1.1.6), A linear mapping is uniquely determined by its effect on any system
T:V — * "Udefinedby T(Xi,X 2 ,X 3 ,- • •) = (X 2 ,X 3 ,--). of generators:
T(Xi,- •
;K) = (Z* =1 a i* x *> • • •-
SLi «m* x *)- I
A useful source of linear mappings is the following:
.
Theorem 3. Let V be a vector space of finite dimension n, and W any (2): Since TO = £ "W,,, £ r (W _1
). Suppose x u x2 £ T^CW.),
vector space. If x lt - -,x n is a basis for V, and y u - -,y n are arbitrary and X is scalar. Since "W,, contains Tx x and Tx 2 , it contains Txi +
given vectors in *W, there exists one and only one linear mapping Tx2 = T(x, + x2 ) and X(Ta:i) = T(\xi), hence ij + a; 2 and \x t be-
T: V -* W such that Txk = Vk for all k. long to T-'CWo).
vectors x £ V such that Tx = 8 is called the null space of T. Thus, said to be conjugate-linear (or "semilinear") in case
(1): Since £ *0 ,
= T0 £ T(V„). Suppose 2/1,2/2 £ T(V and X
),
for V, and 3 an independent subset of V. Then:
(i) If T is surjective, T(S) is a system of generators for *W.
is scalar. Say y k = Txk , where x k £ V„. Since x t + x 2 £ and
1><,
5. Let T: V -» *W be a linear mapping. 2. If m ^ the scalar mapping Tx — fix is a vector space isomor-
0,
(i) If T is surjective, and 13 is finite-dimensional, then V? is finite- phism of 13 onto 13. For, T(n~ l ij) = y shows that T is surjective, and
dimensional. T is injective by Theorem 1.2.1.
(ii') If T is injective, and V? is finite-dimensional, then 13 is finite- natural way, a mapping S: <y -» X in the "reverse direction." The
dimensional. mapping S, called the inverse of T, is defined as follows: given y £ *y
=
element of EC such that T(Sy) = y. If x £ EC, S(Tx) = *; for, setting
for *W, one has Txk = £"_ , OflS/i for
suitable scalars ajk (j 1, • • • ,m;
y = Tx, Tx — y shows that Sy = s.
fc = 1,. .,n). The.coefficients (a,-*) can be arranged in a rectangular
1
space W
in case there exists a bijective linear mapping T: 13 —» *W. 7 is injective, S^ + y 2) = -Sy, + Sy 2 . Also, r[S(X2/)] = \y =
Such a mapping T is called a vector space isomorphism of V onto *W. Mr(Sy)J = 7'[X(Sj/)], hence S(\y) = X^y). |
The symbol CSV
denotes that 13 is isomorphic with *W.
Example 4. Let 13 be the vector space of polynomial functions on [a,b],
T the linear mapping Tx = x! {Example 1.7), and <S the linear map-
Examples ping described in Example 1.8. If y is any polynomial, T(Sy) =
y
1. and *W have the same
If 13 finite dimension n, then 13 is isomor- shows that T is surjective. However, T is not injective, for its null
space Ed the set of all constant polynomials. The mapping S
phic with V?. For, suppose x a basis for 13, and y u • • ,y n is a
x ,
• • • ,x„ is • is is
finite dimension n. 1. The zero mapping belongs to £(V,V?); that is, G £(.V,Vf),
polynomial functions of degree <n — 1 defined on the interval [a,b\, S,T G £{V,V?), define 5
2. If T: V -> -W by the formula +
a <b, then V "W. S (S +
TO* = Sx + Tx. If x,y G "U and X is scalar, (S + T)(x + y) =
S(x + y) + T(x + y) = Sx + Sy + Tx + Ty = (Sx + Tx) +
4. The vector space of finitely non-zero sequences is isomorphic
with the vector space of all polynomial functions on [a,b], a < b.
(Sy + Ty) = (S + T)x +
(S + T)j,, and (S + T)(Xx) = S(Xx) +
T(Xx) = \(Sx) + X(T'x) = \(Sx + Tx) = X[(S + T)x]; thus,
5. If 1) is a finite-dimensional vector space, and T: V —* V is a S + 7 G JBCO.W).
linear mapping, the following conditions are equivalent: 3. If G •CCU.'W), and X is scalar, define XT': V -> *W by the for-
T
(a) T is bijective mula (XT')! = X(Tx). If x,y G 1) and m is scalar, (XT)(x + y) =
(b) T is injective X[T'(x + - X(Tx + Ty) = X(Tx) + X(T») = (XT)* + (XT)?/, and
i/)]
(c) T is surjective. (XT)Oxx) = X(TGix)] = X[ M (Tx)] = (X M )(Tx) = GA)(Tx) = m[X(Tx)]
6. Suppose T: SC -» y and S: y -» 9C.
= p[(XT)x]; thus, XT G £(1),^).
(i) If S(Tx) = x for G then T is injective.
all x SC, 4. If T G £(1),^), define -T: V -* *W by the formula (-T)x =
(ii) If T(Sy) = y for all y £ % then T is surjective. - (Tx) = (-l)(Tx). Thus, -T = (-l)T G £CU,W).
If T: EC — *y bijective, and SC the two possible interpreta- Theorem 1.7/1) and V? are
1
7. is }), vector spaces, the set £(1),^) of all linear
-1
tions of the symbol T (S) are consistent; that is, the inverse image mappings T: V —> V? is a vector space, with respect to the following
of S under T coincides with the direct image of S under T" . definitions:
=
vx a
Definition 1.7/1) and V? are vector spaces, UCU/W) denotes the set of all
Example 1. If /i is a scalar, and T: V —» V is the scalar mapping
Tx = fix, then T = where 7 is the identity mapping.
linear mappings T:V —+ W. pf,
86 Introduction to Hilbert Space IV §4 IV Continuous Linear Mappings 87
Exercises
To define the composite ST, it is required that the initial set of S
coincide with the final set of T. It follows that if one is given mappings
1. Let 3 be any non-empty set, W
any vector space, and let EC(3,*W) T: a:
— > y, S: y —> Z, and R Z —* 3, all of the following composites
:
be the set of all mappings x: 3 -» \V. If x,y 90(3,^), and X is scalar, G are definable: RS, ST, (RS)T, and R(ST). Such composites obey the
definC "associative law":
(x + y)(t) = x(t) + y{t)
= Theorem 1. //TiDC y,S:y -> Z, and R: Z -* 3, then R(ST) =
(\x)(t) \x(t)
(RS)T.
for all t G 3. Then, fC(3,'W) is a vector space relative to the operations
bases for V
and W, describe the matrices of S T and XT' in terms + Proof.
the matrices of S and T (see Exercise 1.6). =
of If s,2/ G 11 and X is scalar, (ST)(:c + y) = S[7 (x + ?/)]
7
5. If "U/W are finite-dimensional, show that £(V,V?) S(Tx + Ty) = S(Tx) + 5(Ty) = (-Sr)x + (ST)y, and (5D(Xi) =
is isomorphic
with .COW/U). S[T(\x)] = S[X(rx)] = X[5(T*)] = \[(ST)x]. |
Osr)* = 5(rx) (x g sc). (iv) Give an example where ST is surjective, but T is not surjective.
Schematically,
ST 3. Given T: 9C -» %
S: «y -> Z.
EC ->Z (i) If 5 and T are both bijective, then ST is bijective.
(ii) If ST is bijective, then S is surjective and '/'
is injective.
T\y/S (iii) If ST is bijective, and either S is injective, or T is surjective,
then both S and T are bijective.
:
Notation as in Theorem
elements a,b £ &,, there is determined an element of Q, called the product
6. 2, with 11,13 ,*W finite-dimensional.
of a and b, denoted ab, subject to the following axioms:
Choose bases for 11,13,'VC, and describe the matrix of ST in terms of
the matrix of S and the matrix of T. [See Exercise 1.6.]
(Al) a(b + c) = ab + ac
7. Let ll.'U.'W be vector spaces. Prove:
(A2) (6 + c)a = ba + ca
(i) 11 ^ 11. (A3) X(a6) = (Xa)6 = a(X6).
(ii) If 11 £ 13, then 13 £ It.
If moreover
(iii) If 11
ll ^
£S 13 and 13 ^ W, then 11 ^ "W. [See Definition 2.1 for
the notation.]
lat.inn 1 (A4) a(bc) = (ab)c
form an algebra, since the identities (Al) and (A3) are not valid for P(x„ - x)
|[
< x„ - x -» 0. So to speak, P "preserves" con-
|| || II
composite products; the identities (A2) aud (A4) do hold, and \(xoy) vergent sequences. This type of condition makes sense for metric
= (Ax) 02/. spaces:
(ii) EijE rk = when 3 ^ r. 1. If 91 is a closed linear subspace of a Hilbert space 3C, the projec-
<iii) g B« = 7. tion P: X -* X
of 3C on 91 is a continuous mapping.
pings x: 3 —+ d is an algebra (with operations defined pointwise, as real numbers; in particular, x -» x is continuous (see also the || ||
Proof.
Definition 1. A normed space is a vector space 8 such that for each
vector x £ £, there is defined a non-negative real number called the norm
(a) implies (b)
-1
: Let S be a closed subset of and suppose x
_1
% EC is £ of x, denoted \\
x ||, subject to the following axioms:
adherent to T (S). Choose any sequence x„ £ T (§) such that
x„ — » x. Then Tx n £ S, and since Tx n —» !Fx by the continuity of !T, (Nl) ||
x || > whenever x ^ 6; \\B\\ = 0.
Corollary. If EC and y are metric spaces, T: 9C —* *y is a continuous 1. Every pre-Hilbert space is a normed space, with norms defined
mapping, and y £% then jx £ EC: Tx = y) is a closed subset of EC. by the formula x = (x|x) M (see Theorems II. 8.1 and II. 3.5).
|| ||
\y\ is a closed subset of *y. | Example 11. 4.5), and define the norm of x to be the number
LUB |x(Z) a < t < b\. This norm is denoted x H^, to distinguish
{ | :
||
tinuous mappings, then ST: EC — Z is a continuous mapping. (iii) bounded if there is a constant M such that || x„\\ < M for all n.
If e > 0, the sets {x: f x - y || < x: x - y II
< and
NORMED SPACES, BANACH SPACES, CONTINUOUS
(x: y
||
x — ||
=
are called, respectively, the open ball, closed ball,
ej
§7.
and sphere, of center y and radius t. Spheres and closed balls are closed
LINEAR MAPPINGS
subsets of S (see Example II 1. 2.9).
From Chapter VI onward, we will be concerned primarily with con-
Theorem 1 In any normed space:
tinuous linear mappings T: 3C —> 3C of a Ililbert space 3C into itself.
.
Much of what can be said about such mappings can be expressed (1) Ifx n —> xandy n -* y,thenx n + ?/„—> x + y.
directly in terms of the norm, and properties of the norm, without
product from which the norm (2) If xn —* x and \ n —* X, tlien X„x„ — » Xx.
having to refer explicitly to the scalar
is derived. A convenient vehicle for discussions of this sort is the (3) If x„ and y n are Cauchy sequences of vectors, and X„ is a Cauchy
concept of a normed space: sequence of scalars, then x„ y n and X„x„ are Cauchy sequences. +
94 Introduction to Hilbert Space IV §7 IV §7 Continuous Linear Mappings 95
0)|l»l-lfl|£t*-« li-
Suppose x n -* 0. By Theorem 1, x„
(b) implies (c) x -* + x„
:
+
= x By
assumption (b), T(x n
. x ) -> Tx thus Tx n + Tx -> + ,
(1), (2), (3): See the proof of the Lemma to Theorem. III. 8. 2. II
xn ||
< 1 and || Tx n > n. Define y n = (l/re)x„. Since y n =
||
||
||
(1/w) ||
xn ||
< 1/n, yn -* 0. By assumption (c), Tyn -> 0. But,
(4): See Theorem II. 4.1. II
Tyn ||
= (1/n) ||
Tx n ||
> 1, a contradictiou.
(5): Immediate from (4). | (d) implies (e) Assume to the contrary that no such constant
:
ous linear mapping, the null space VLofTisa closed linear subspace of 8. In view of condition (d), continuous linear mappings between
normed spaces are also called bounded linear mappings.
Proof.
31 is a linear subspace of £ by Theorem 1.4. Suppose x„ £ 31 and Definition 2. If 8 and 5 are normed spaces, and T:& —*
= JF is a con-
xn —» x. Since T is continuous, Tx n —» Tx. Thus, Tx = lim 7'x„
tinuous linear mapping, the non-negative real number
lim = 0, hence x £ 31. Thus, 31 is a closed subset of S (one could
also quote the Corollary of Theorem 6.1). | LUB {|| Tx\\: llxH < 1)
For a linear mapping between normed spaces, continuity has sev- is called the norm of T, and is denoted || T \\.
norm <1, hence Ty < K; that is, Tx < 7f(|| x + e). Lettmg
|| \\ || || [|
(a) implies (b) : trivial. * -^ 0, Tx < 7C x < K. Taking LUB over x < 1, T < K.
|| || || ||
|| |j || ||
. :
||
x ||
< 1. If x = 0, then Tx = 0, hence Tx = < N. If x ^ 9, || ||
M= ( E" II
^x* ||
2
j is independent of x. This shows that T is con-
the vector y = || x 'x has norm 1, hence Ty || ||
< AT; that is,
tinuous, and T < M.
<N
|| ||
II
Tx || ||
x ||
= "N. Thus, Tx ||
< N whenever ||
x \\
< 1; it fol-
lows that || T ||
< AT. The most obviously continuous mappings are those which preserve
distance
Given any x
(3) : £ 8. If x = 0, clearly Tx < T|| || |
I!
If
—
x let y =
5^ 0, x; since 2/ II
= 1, I fy < IT ||
that is,
Definition 3. // JC and y are metric spaces, a mapping T: 9C » *y is
l|Tx||<||r|| x said to be isometric in case d{Txi,Tx2) = d(xi,X2) for all Xi,x 2 £ EC.
II
x ||
< 1, || Tx ||
< M ||
x ||
< M; talcing LUB over || x ||
< 1,
is isometric if || || || ||
|| T ||
< M. | Proof.
This is immediate from the relations ||
Tx — Ty \\
= \\ T(x — y) ||
For, let K
denote the indicated LUB. If x (P, y £ Q, x < 1, £ \\ \\
< 1, \(y\Tx)\ = |(Tx|y)| < K; fixing x and taking LUB over y, 7. Every Hilbert space is a Banach space. In particular, G is a one-
II
Tx < AT by Example 4- Taking LUB over x, T < K.
|| || ||
dimensional Banach space.
a Hilbert space of finite dimension 8. If (R is a Banach space, every closed linear subspace 91 of (B is
6. If 3C is n, and 5 is any normed
space, then every linear mapping T: 3C —» ff is continuous. For, let
also a Banach space (see Theorem 111.4.1). |
x 1; • -,x„ be an orthonormal basis for 3C. If x = J^i ^fe** ' s any vector Further examples of Banach spaces will be found in the exercises.
in3C, The following theorem is a simple and useful application of complete-
n ness:
ll^ll = IIErMrx i )||<i: i
|x fc |||rxt ||
complete, Sy„ is convergent. If also z„ £ 31 and z„ -* x, Sz n is Then, 8 is a normed space, but is not a Banach space.
also convergent, and since Sy n — Sz n = S(i/„ — z„) < S || || || || || ||
.
3 is said to be bounded if there exists a constant K such that |
x{l) \
<
II %i < S y n letting n -» w one has Tx < 5 a; ||.
I! || || || ||, || || || || ||
K for all t £ 3. Denote by 8 the set of all such x, and define
The linearity of T 8 —» (B is easily deduced from the linearity of :
(x + y)(t) = x(l) + y(t)
S, using Theorem 1. The above calculation then shows that T is con-
tinuous, and || T ||
< S || ||
. Since Ty = Sy when »/ £ 31, it is clear (Xx)(0 = MD
that ||
T ||
> || S ||.
||x|U = LUB||x(0|:<£3l.
The proof of uniqueness is left to the reader. See for instance
Exercise 6.1.
Then, 8 is a Banach space.
|
Define ., + ||
Tx < 5 + T and (XT)* = \(Tx) =
II || || || II, || || || || |X| Tx •
||
||
= (l: **
2 < |X| • T thus S + T and XT arc continuous, and taking LUB
|| ||;
11 11
) over x < 1, one has S + T < S + T and XT = \\
|| || || || || || || || ||
8 is a Banach space if and only if every 8* is a Banach space. Theorem 2. If 8 is a normed space and (B is a Banach space, then
*18. Let 8 be the vector space of n-ples x = (\ u -
-.X,,), p a fixed £ C (S,(B) is a Banach space.
||
a; — » shows that Tn a;
||
is a Cauchy sequence in ffi. Since (B is
"•
l*C0!"rf«) complete, T n x converges to a unique limit, which we denote Tx. Thus,
I»IU-(J[
the mapping T: 8 —> (B is defined by the formula Tx = lim T„a:. It
will be shown that (i) T is linear, (ii) T is continuous, and (iii)
Then, 8 is a normed space, but is not a Banach space.
|| T - T» -> 0. ||
20. Let 8 be the vector space of n-ples x = (Xi,---,X»); with By Theorem 7.1, T(x + y) = lim T„(x + y) = lim (Tn a; + T„y) =
||
x ||x = niax (Xi !,• •,! A»| }, 8 is a Banach space (see Exercise 8).
(
•
lim T n x + lim Tn y = Tx + Ty, and T(Xz) = lim Tn (Xa;) = lim X(T a;)
n
If ||
i ||p is defined as in Exercise 18, = X lim T„x - X(Tx). Thus, T is linear.
Since every Cauchy sequence is bounded (see the Lemma of
x |U = lira x p .
|| T
||
||
< K. It is
\\,
uct (x\y) on 8, satisfying the axioms for a pre-Hilbert space, such that now meaningful to write ||
T— T„ ||.
= (x\x)^. Thus, a Hilbert space can be described as a Banach
||a; ||
Given > 0, let N be an index such that T,„ — T„ < 1 when-
e || ||
space whose norm satisfies the "parallelogram law." ever m,n > N. Given x G 8, x < 1. If m,n > N, Tm z - T„a; |'
|| ||
||
§8. THE NORMED SPACE £C (S,,5) and letting m -> «, one has Tx - T„x < Thus, Tx - T„x || || e. ||
||
< e provided n > iV and x < fixing n > N and taking LUB || || 1 ;
Definition 1.7/8 and are normed spaces, £ c (8,fF) denotes the set of
?F
—*
over x < 1, T - T„ < Summarizing: given any « > 0, there
|| || |i || e.
continuous linear mappings T: 8
all
T - T„ < e whenever n >N. |
£F.
is an index N such that
|| ||
702 Introduction to Hilbert Space IV §8 IV §9 Continuous Linear Mappings 103
and T n 8 —* £F a sequence
'- of continuous linear mappings. Suppose
1. (i) If 8 and SF are normed spaces such that £ e (S,$F) is complete, T„x is convergent, for each x G 91- In order that T„ converge strongly,
SF is not necessarily complete. in the sense of Exercise 2, to a continuous linear mapping T: & —» JF,
(ii) If (P is a pre-IIilbert space, <P ?* [B], and £ c (<?,5) is com- it is necessary and sufficient that there exist a constant such that M
plete, then 5 is necessarily complete. ||
T„ ||
< M for all n = 1,2,3, • • •
is necessarily complete.
§9. THE NORMED ALGEBRA £ c (8), BANACH ALGEBRAS
Let 8 and SF
2. be normed spaces, and T„, T G £ c (£,$)- One says
that "T„ -* T uniformly" in case Tn - T \\
-> 0, that is, T n -» T Definition 1.7/8 is a normed space, <C C (8) denotes the set of all continu-
\\
(so to speak, T n x —* Tx uniformly for x in the closed unit ball of S). mappings, where 8, SF, and g are normed spaces. Then ST: 8 —> g is
tinuous linear mappings, and assume there is a constant such that K Proof.
||
Tn ||
< K for all n.
ST is linear by Theorem Jh 2. For any x G 6, (5T)i = S(Tx) l|
|| || ||
T: 91 -> SF such that T„x -* Tx for all i£M. One already knows that £(8) is an associative algebra {Example
(iii) Suppose SF is a Banach space, and 9U is a dense linear subspace 5.1). Since £ c (8) contains the composite ST of any two of its elements,
of 8 such that T n x is convergent for each x 9TC. Then, there exists G and since the identities of Theorem 5.1 hold in particular for the
one and only one continuous linear mapping T: 8 —* $F such that elements of £ c (8), it is clear that £ c (8) is itself an associative algebra.
T„ —* T strongly in the sense of Exercise 2. This result is known as Moreover, it is a normed space, and ST || ||
< || S \\ ||
T \\
for every
*4. Let G$ be a Banach space, 8 a normed space, and 3 a set of Definition 2. A normed algebra t8 an associative algebra Q. which is
continuous linear mappings T: 63 — * 8; in other words, 3 £ e (<S,,&). C aho a normed space, such that ||
ab ||
< || a || || b ||
for all a,b G ft. If
Suppose 3 is "pointwise bounded," in the sense that for each x © G moreover Q, is complete (hence is a Banach space), « is called a Banach
there exists a constantx such that Tx < M
z for all T 3. Then, || ||
M G algebra.
itcan be shown that there exists a constant such that T < M || ||
M
In the above definition, it is assumed that a + b and Xa have the
for all T G
3. This result is known as the "principle of uniform
same meaning for the algebra structure and the normed space struc-
boundedness."
ture. Summarizing,
*5. If 0J is a Banach space, 8 is a normed space, T„,T G£ e (<B,8),
and Tn —» 2' strongly, in the sense of Exercise 2, there exists a con- Theorem 2. If 8 is a normed space, £,,(8) is a normed algebra. If (B is a
stant M such that ||
T„ ||
< M for all n = 1,2,3,- • •. Banach space, £ c (ffl) is a Banach algebra.
704 Introduction to Hilbert Space IV §10 IV §10 Continuous Linear Mappings 105
tions
if + g)(x) = f(x) + g(x)
(S+T)x = Sx + Tx
(\f)(x) = Xf(x)
(\T)x = \(Tx)
||/ [|
= LUB {|/(s)! HI* || <1}.
(ST)x = S(Tx) Proof.
Exercises Examples
= LUB||z(f)|:«e3) -1
||ziU For, setting f =\z l
\\~ z', one has/(z) = ||
l
z \\~ z\z) = j! z H ^)"
With products xy defined by
(see Exercise 7.8). (xy)(t) = x(t)y(t), a is ||
z || . This illustrates the following:
a commutative Banach algebra. *2. If 8 is any normed space, and 2 is a non-zero vector of 8, it can
3. Let a be the Banach space of continuous scalar-valued functions be shown, using the "Hahn-Banach theorem," that there exists at
x defined on the closed interval [a,b], with least one continuous linear form / on 8 such that
/ = 1 and f(z) = || 1|
Definition 1. A linear form on the vector space V is a linear mapping (2) isometric: ||
y' \\
= \\y\\.
f: V -> e; that is, f £ £(V,Q). If this mapping is surjective, (P is necessarily a Hilbert space.
Thus, a linear form on V a scalar-valued function / denned on V,
is Proof.
such that the relations f(x + y)
= f(x) +f(y) and/(Xx) = \f(x) hold For all x £ <P, (y + z)'(x) = (x\y + z) = (x\y) + (x\z) = y'(x) +
identically. In the context of normed vector spaces, one may speak of *'(*) = (y' + z'){x), and (\y)'(x) = (x\\y) = A^z/) = \*y'(x) =
continuous linear forms: (XV) (*).
706 Introduction to Hilbert Space IV §10 Continuous Linear Mappings
IV §10 107
It follows that (y — z)' = y' — z'; as shown in Example 1,
Proof.
II iy ~ *)' II
= II V ~2 I!,
thus ||
y' - z' ||
= || y - z \\, so that the
proved in the preliminary remarks, and immediate from
(1) is (3) is
mapping y —* y' is isometric in the sense of Definition 7.3.
the definitions of x" and y'.
Suppose the mapping y —* y' is surjective. Given a sequence
2/n £<P such that ym - y„ -» 0; since y m - y„'
||
= \\ym - y n || ||
'
|| || (2) x" < x
: was established in the preliminary remarks.
|! || || ||
an / £
(P' such that j/„' — / — » 0. By assumption, f = y' for suit-
|| 1|
hence x < x" (even if x = 0). |
[| || || ||
£ - = 2/n' - J/ = 2/n' - / -» 0. In
7
able y <P, thus J/» 2/ || II || II II II
other words, y„ —» ?/, and it has been shown that every Cauchy
Exercises
sequence in (P has a limit in (P. See also Exercise 7.3. |
into 8", that is, (x + y)" = x" + y" and (Xz)" = \x"; for,
*4. If x and y are distinct vectors of a normed spaced 8, there
(» + y)" if) = /(* y) = /(x) +fti) - «"(/) + 2/"(/) = (*" + 2/") (/),
chapter we shall be concerned with the following special case *5. If 8 is any normed space, the mapping x x" of 8 into 8"
—» f described above, is isometric: x" = x
|| ||.
Theorem 3. // (P is a pre-IIilbert space, the natural mapping x x'
|| ||
(ii) For each g 5', denote G by T'g the continuous linear form
described in part (i). Then, 2": JF' —* 8' is a continuous linear map-
ping, and |! V ||
< ||
T ||. Chapf
(iii) G £ C (S,5) and X is scalar, (S + T)' = <S' + T and
If also S
(XT)' = XT'. Thus, T —* T' is a (continuous) linear mapping of
£ (S,ff) into £ (ff',S').
c c
(iv) By (ii), one can in turn form (T')': 8" -> ff". Write F" = (T')'.
Continuous Linear Forms V
Then, T"x" = (Tx)" for all iG5.
*(v) II
T' ||
= ||
T ||.
in Hilbert Space
8. If 8,5,8 ase normed spaces, and T: 8 —»SF, S: SF — > g are con-
tinuous linear mappings, then (ST)' = T'S' (see Exercise 7 for the
§ 1. Riesz-Frechet theorem
notation).
§ 2. Completion
Let 8 be a normed space, and x n ,x G 8. One says that "x„ —* x
9.
§ 3. Bilinear mappings
weakly" in case/(z n) —> f(x) for each/ 8'. Prove: if x n —* x, then C Bounded
z„ —> x weakly. [However, weak convergence does not imply con-
§ 4. bilinear mappings
§ 8. Adjoints
weakly [See Exercise 9 for the terminology.]
11. Let 8,5 be normed spaces, and T„,T G £0(8,5). One says that
"Tn — T weakly" in
> case T„x — > Tx weakly, for each s G 8, in the
sense of Exercise 9. Consider the statements
§1. RIESZ-FRECHET THEOREM
(i) T n —* T uniformly (see Exercise 8.2) Chapters VI onward are concerned with the study of continuous
(ii) T n ~* T strongly linear mappings T: 3C -> 3C of a Hilbert space into itself. This study
(iii) T„ -> T weakly. is flavored, so to speak, by the circumstance that the
dual space 3C'
Then: (i) implies (ii), and (ii) implies (iii). can in a natural way be identified with X
(see Theorem 2 below) ; it is
Observe that in the normed space £ C (S,£F), "T n -» T weakly" has this "self-duality" of Hilbert space which distinguishes the theory
of
another possible meaning, namely /(T„) —> f(T) for each / G continuous linear mappings in Hilbert space from the theory of such
[ii c (8,JF)]' (see Exercise 9). The distinction between this, and the mappings in Banach space.
concept in (iii), has to be determined from the context. If (P is any pre-Hilbert space, each vector y G <P determines a
and £ c (&,$) continuous linear form y' on (P, namely y'(x) = (x\y). This gives rise
*12. If 8 and 5 are normed spaces, 8 5* {0}, is complete,
to a mapping y -* y', of <P into its dual space tf", which is conjugate-
then ff is necessarily complete.
linear and isometric (see Theorem IV.10.2). If this mapping
is surjec-
tive, <? is necessarily complete; we are concerned here with the con-
verse, which is the heart of the whole chapter (see Theorem 7.2)
2. Let 1),/,9l be as in Exercise 1. Suppose 9Tt is a linear subspace of Ux = x". The linear subspace £/(<P) of <P" is a normed space which
is a sense "equal" to the normed space <P; more precisely, U defines
in
V such that (1) 911 ^ {$}, and (2) 911 and 91 have only the vector in
an isometric vector space i somorphism of (P with C/((P). Since (P" is a
common. Prove that 911 is one-dimensional, and every x G "U has a
Banach space, the closure f/((P) is also a Banach space (see Example
unique representation x = y +
z with y G 3TI and z G 31.
IV.7.8 and Exercise IV. 7.1). Thus, after "identifying" (P with C/(<P),
"LX
a pre-Hilbert space such that 91
3. If (P is = 91 for every closed we may think of the normed space (P as having been enlarged to the
linear subspace 91 of <P, then (P is a Hilbert space. Banach space t/( (P). T here remains the problem of providing every
pair of vectors in £/(<P) with a scalar product satisfying the axioms in
4.Let / be a linear form on the Hilbert space 3C, 91 the null space Definition 1 1. 1.1, in such a way that the norm deduced from the scalar
of/. If/ is not continuous, show that 91 is a dense linear subspace of 3C.
product is the same as the given Banach space norm on [/((P). This is
donpjn the following theorem, in which, incidentally, it is shown that
5. If / is a linear form on a Hilbert space 3C, and 91 is the null space
of /, then / is continuous if and only if 91 is a closed linear subspace. f/((P) = <p".
712 Introduction to Hilbert Space V § 2 V §2 Continuous Linear Forms 113
(1) U is linear.
(ii) (v\u)* - (u\v)
(2) (Ux\Uy) = (x\y) for all x,yC<?- (iii) (u + v\w) = («|w) + (v\w)
(3) U(tP) is a dense linear subspace of 5C. (iv) (Xa|») = A(M |tO;
In fact, thenorm in the bidual <P" can be deduced from a suitable scalar the proofs are left to the reader.
product, and one can take 3C = <P", Ux = x". Thus, the scalar products (u\v) satisfy the axioms for a pre-Hilbert
space, and the relation (u\u) = u 2 shows that the given notion of
|| ||
One knows that (P" is a Banach space (Theorem IV. 10.1), and that (u\u) H deduced from the scalar product (via Definition 1 1. 3.1); these
the mapping U: <P -> <P" defined by Ux = x" is linear and isometric
two (equal) norms will not be distinguished notationally. Since .1C was
(Theorem IV. 10.3). Moreover, x"(y') = xj'(x) = (x\y) for all x,y G <P,
already a Banach space, the scalar product (u\v) makes 5C into a
where y -* y' is the isometric conjugate linear mapping of (P into (P*,
Hilbert space.
described in Theorem IV. 10.2. One has (Ux\ Uy) = (x\y) for all x,y
Let X. be the closure of U(S>) in <P"; that is, = 1/(<P). 3C is a X <P; for, with the notation of G
formula (*), one can take x„ = x and y n = y for all n. Thus, the
closed linear subspace of <P" (see the proof of Theorem 11 1. 3. 2), and is
Hilbert space 3C and the mapping U: <P -» 3C fulfill the desired con-
(Example IV. Later in the proof, it will be seen
a Banach space 7. 8).
ditions (1),(2),(3).
that 3C = <P". It remains only to show that =
-» a
3C <P". The proof will be broken up
We now have a linear isometric mapping U: <P 3C, where 3C is
into a series of remarks:
Banach space and U(iP) is dense in 3C.
A scalar product is introduced in X as follows. Given u,v G 3C, the 1. // w G 3C, then (u\x") = u(x') for all x G (P.
the sequence j/„. It follows from Theorem II. 5.1 that (x n \y„) is a
J// G (P7
2. there is a unique vector u G 3C such thatf(x) = (x"\u)
convergent sequence of scalars. We wish to define ,
(*) (u\v) = Urn (x„\y„), For, let g be the linear form on C/((P) defined by g(x") = f(x).
the particular
Since |ff(i")| = |/(x)| < 11/ a: ||/|| a:" ||, g is continuous.
|| ||
= ||
$ n - Vn
|| \\ || ||
1.1, there exists a vector u G
3C such that h(v) = (v|m) for all v G 3C.
||(/i„ - u + u - Ux n -* 0, and similarly
|| !! y* 0.
|| || II
In particular, (a;"|u) = A(i") = g(x") = /(i) for all x G <P.
The desired equality lim (x„| j/„) = lim (f„|y„) results from the iden-
+ Suppose also tc G
3C satisfies f(x) = (x" u;) for all x <P- Then, G
tity (£ n \y n ) - (x n \y„) = (i„ - x„\y„ - ?/„) (x„|y n - y n ) + |
U(6>).
Defining G(y") =
F ||
Repeating
||
y'
the argu-
||
= ||
F II II 2/ II
= F II || || i/' ||.
(ii) Suppose ((B,C/) is a completion for 8. If SF is a Banach
space,
and S: 8 — > ff is a continuous linear mapping, there is one and only
[f(j/')]*i
mark 1, u(y') = F(j/') for all y £ (P. That is, u(/) = f(/) for all
|| || ||
x for x £ 91. Then: (ii) Discuss the analogs of parts (ii) and (iii) of Exercise 5.
|| ||
||
x - y ||
2 = 2 x ||
2 y ||
2
+
for all x,y || ||
2
£ 91.
sense of Exercise 5, leads to a completion of the pre-Hilbert space
(P.
If £C and *y are non-empty sets, the Cartesian product of 9: and if is 5. Let It.D.'W be vector spaces, / a linear form on H, and T: 1) —» *W
the set of all symbols (a>,y), called ordered pairs, where x G 9C and a linear mapping. Define *>: 11 X 1) -» *W by the formula ¥>(x,t/) =
y£%lt (xi,yi) and (x 2 ,y2 ) are ordered pairs, the relation (xu yi) = f(x)(Ty). Then, y> is a bilinear mapping of It X 1) into W.
means that both x, = x2 and = y2 The Cartesian product
(x 2 ,y2 ) yx an algebra, the mapping <p: a X & —* a defined by
.
6. If ft is
of EC and y is denoted 9C X % If w - (x,#) G 9: X % x is the Jird
<p(a,b) = ab is bilinear. In particular, if 1) is any vector space, the
coordinate of u, )/ is the second coordinate of u. Observe that <y X SC is
mapping (S,T) -> ST of £(D) X £(D) into £(D) is bilinear (see
conceptually distinct from 9C X y.
Theorem IV. 5.1).
Examples Exercises
mapping T: XX Cy X Z) -» (ac X y) X Z.
2. If (P is any pre-Hilbert space, the scalar product in <P can be
thought of as a mapping T: <P X <P -» 6, namely T(x,j/) = (x|t/).
3. Any mapping F: 9C -» 1/ determines a subset of 9C X *y, namely
= G
Definition 1. // ll.D/W are vector spaces, a mapping <p: 11 X 1) -* W the set of ordered pairs gr
Prove:
{
(x,Tx) x : SC), called the graph of 2\
<p(\x,y) = \>p(x,y) graph is g, if and only if (1) g * 0, and (2) given (x,yi) G g and
:
<p(x,\y) = \</>(x,y)
4. If «U.,1),*W are vector spaces, denote by (B(U,D; W) the set of all
bilinear mappings <p: It XV —* "W. For two such mappings <p,\p,
hold identically. If moreover VJ = 6, is called a bilinear form on = i =
<p
write <p in case ^(x,;/) 4>(x,y) for all x G It and G *0. Then,
11 XU (8(11,1); *W) is a vector space, relative to the operations
2/
W. Briefly, <p is linear in each coordinate. Clearly <p(x,6) = <p(0.2/) = 0. 5. Notation as in Exercise lt Suppose <p (8(11,1); W). Each x
.
It G G
determines a linear mapping Vz :V -* °W, defined by ^(j/) = <p(x,y).
Examples D determines a linear mapping iff: It — » VP, defined by
Each !/ G
vs"(x) = f{x,y). Prove:
3. Let 11 be the vector space of n-ples x = (X 1( ,\„),y= (mi,- •
->Mn)i
-
-
• •
• , and define <p{x,y) = ]£" Xtfifc. Then, *> is a bilinear form on It X 11. (i) For each fixed <p G «(1t,D; *W), x »>x is a linear mapping of
11 into £(D/W).
118 Introduction to Hilbert Space V §3 V §3 Continuous Linear Forms 119
(ii) For each fixed <p G (8(11/0; Vf), y </? is a linear mapping of (ii) A mapping T:V -> W is linear and only if if its graph 9r is a
V into £(1l,'W). linear subspace of 1) X "W (see Exercise S).
(iii) For each fixed iC% <P
-» <Px is a linear mapping of (iii) x -» (x,0) is an infective linear mapping of 1) into 1)
X *W;
(B(<M; *W) into fiCU.W). denote its range by 1) Similarly y —» (0,?/) is an injective linear map-
.
(BOM); "W) into £0U,*W). linear subspaces of V X *W, and every vector in 1) X *W has a unique
(v) For each fixed pair (x,y) G 01 X V, <p -» «»(*,») is a linear map- representation in the form v "0 and w
o "W v„ +w ot with G G .
J
11. Let <P,Q be pre-Hilbert spaces, and let (P X Q be their vector
Notation as in Exercise 5. Using the techniques of Exercise 6,
7. space direct product, as defined in Exercise 10. Prove:
obtain a vector space isomorphism <p
—* $ of (BOM; *W) with X
(i) <P Q becomes a pre-Hilbert space, on defining ((x,,^) (x 2 ,?/2 )) |
«e[1),£0U,'W)l. = (xj |x 2 ) + (t/j t/2). <P X Q is called the pre-Hilbert space direct prod-
|
11 X *W into *W. (iv) One has (x„,y n ) -» (x,y) if and only if both x„ -» x and
(iii) For each fixed x G 11, (/,z) -» /(*)* is a bilinear mapping of Vn -> y.
V X *W into *W. (v) (P X Q is a Hilbert space if and only if both (P and Q are Hilbert
spaces.
9. Given a fixed bilinear mapping *> of 11 XV into -W. For subsets
Sell and 3 C 1), define 12. Let SC and y be metric spaces. Prove:
S
x = |y C V: *(*,y) = for all iCS) (i) EC X *ybecomes a metric space, on defining d((xi,yi),(x2l y2)) =
x G 3) i(XiJBt) + d(yi,y 2 ). EC Xy is called a metric space direct product of SC
3 = {x G 11: *(*,y) = * for all y •
13. Let S and SF be norraed spaces, and let 8 X SF be their vector 2. If a is any normed algebra, then the bilinear mapping
space direct product, as denned in Exercise 10. Prove: #>: a X 'a -»a denned by v>(a,b) = ab is bounded: ?(a,6) < o o
|| || || || || ||.
(i) 8 X SF becomes a normed space, on denning {x,y) = x || \\ || || + In particular, if 8 is a normed space, (S,T) -» ST defines a bounded
II v II- bilinear mapping of £e (8) X <C C (8) into £ C (S) (see Theorem IV. 9.1). |
(ii) x —» (x,8) and ?/ —» (fi,y) are isometric linear mappings.
Using arguments similar to those in Theorems IV. 7. 3 and 77.7.4,
(iii) If distances in 8,SF, and 8 X SF are denned as in § 7 of Chapter
the condition for boundedness of a bilinear mapping can be refor-
IV, 8 X SF is the metric space direct product of 8 and SF, in the sense
mulated as follows:
of Exercise 12.
(iv) If T: 8 —» SF is a continuous linear mapping, its graph 9r is Theorem 1. If 8,SF,g are normed spaces, and 8 X —» a
<p: SF g is bi-
a closed linear subspace of 8 X SF. linear mapping, the following conditions on <p are equivalent:
(v) 8 X SF is a Banach space if and only if both 8 and SF are Banach
(a) tp is bounded.
spaces.
(vi) If 8 and SF happen to be pre-Hilbcrt spaces, (x n ,y n ) -» (x,y) (b) Mi = LUB <p(x,y) x < <
{|| ||: || 1, y 1} is finite.
above sense if and only if (x„,y n ) —* (x,y) in the sense of
\\ || \\
in the
Exercise 11.
(c) M 2 = LUB {|| v (x,y) ||: || x ||
< 1, || y || < 1} isjimfe.
S = T~\ and 9r is a closed subset of SC X "y (see Exercise 12), then 7/ ^ is bounded, M x = M 2 = Af 3; denoting the common value by \\tp\\,
gs is also closed. one has
15. If 8 a normed space, and T: 8 — SF
a Banach space,
(i) is SF is
0) II ¥>(*>2/) II
< \\<P II II
* || || y ||
/or all x C 6, ?/ C ff.
is a continuous linear mapping, then the normed space £t (see Exercise
13) a Banach space.
is Moreover, ||
^> || ts minimal in this property:
— a continuous
*(ii) If 8 and SF are Banach
spaces, and T: 8 » ff is
(2) 7/ Af > and ||
^(i.j/) <M || || 1 1| || y ||
/or afl x G 8 and
can be shown that T~ is also continuous.
l
vector space isomorphism, it
G SF, necessarily *> < M.
*(iii) If 8 and SF are Banach spaces, and T: 8 — SF is a linear map-
»/ || ||
ping such that St is closed, it can be shown that T is continuous. Definition 2. Notation as in Theorem 1. The number || <p || is called the
norm 0/ the bounded bilinear mapping <p: 8 X SF — * g. TAus,
Definition 1. If 8,SF,g are normed spaces, a bilinear mapping Clearly || ^ = || if and only if <p(x,y) = d for all x G 8, y G SF;
<p:& X SF — 9 > is said to be bounded in case there exists a constant M otherwise, || ? > ||
0. In condition (d) of Theorem 1, one assumes
such that || <p(x,y) ||
< M ||x y for allx C 8 and y €.5. If more-
|| || \\
85* {0|, SF ?* {0), so as to have a supply of unit vectors.
over Q = G, </> is called a bounded bilinear form ore 8 X SF.
Exercises
Examples
1. If 8,SF,g are normed spaces, and ?>:SXSF-*gisa bilinear
Let 8 and 9 be normed spaces, T: 8 —» 9 a continuous linear
1. mapping, the following conditions on <p are equivalent:
mapping, and SF = 9' the dual space of g. Define <p: 8 X SF —> e by (a) is bounded.
<f>
x x (B C (8,SF; C).
bounded, cS and 3 are closed linear subspaccs.
(iii) If moreover g is reflexive, the mapping T <p is surjective,
T
4. If 8,ff,9 are normed spaces, denote by (& C (Z,$; S) the set of all hence is an isometric vector space isomorphism.
bounded bilinear mappings v 8 : X SF -» 9- Then, <B e (S,{F; 9) is a linear
10. The following is a specialization of Exercise 9 which can be
subspace of <B(8,S 9) (see Exercise 3.4), and becomes a normed space
;
worked out using material in the text.
when is defined as in Definition 2.
|| <p II
Let JC be a Hilbert space. Each T G £ e (3C) determines a bounded
T 3C X 3C'
-* e, namely <p (x,f) = f(Tx). In view of
5. Let 8,ff,9 be normed spaces, <p: 8 X
ff -> 9 a bounded bilinear bilinear form v :
T
mapping. Show: Theorem 1.1, this means >p (x,y') = y'(Tx) = (Tx\y) for all x,y G 3C.
T
(i) For each fixed x 8, y -* <px (y) = <p(x,y) is a continuous
G linear The relation || <p
T \\
= || T \] is elementary (see Example IV. 7.5). More-
mapping of ff into 9, and <px \\<\\v * II- Thus <P* <C C (S,9).
|| II I! > £ over, 3C is reflexive, that is, the mapping x —» x" of 3C into 3C" is
(ii) For each fixed y CS, » -» ¥>"(*) = v(*>2/)
is a continuous surjective (Exercise 1.9). It follows that T — <p
T is an isometric vector
linear mapping of S into 9, and || </? ||
< || <p || \\y\\. Thus, <<? G space isomorphism of £ C (3C) with a$ e (3C,3C'; 6).
(v) In fact, || ||
= II V II
= II ? II-
©cfoSF; 9) is a Banach space. In particular, <B c (8,ff; e) is a Banach
space.
6. Notation as in Exercise 6. Prove:
(i) The mapping <p — $ is an isometric vector space isomorphism
§5. SESQUILINEAR MAPPINGS
of (Be (S,S; 9) with £ c lS,£ e (CF,g)].
—* an isometric vector space isomorphism
(ii) The mapping <p
£ c [£F,£ c (S,g)].
<p is Definition 1. If 11,1) /W are vector spaces, a mapping f>: It X 1) — » W
of <B c (8,ff; 9) with is said to be sesquilinear in case the relations
7. Let 8 and JF be normed spaces, (B a Banach space. If 9TC is a <p(xi + x2 ,y) = <p(x u y) + <p(x2 ,y)
dense linear subspace of 8, 91 is a dense linear subspace of ST, and
=
p: 311 X 91 — <B is a bounded bilinear mapping, there exists one and
•p(Xx,y) \<p(x,y)
ping. Suppose that for each x 8, y -> *>(s,2/) is continuous, and that G hold identically. If moreover W e, <p is called a sesquilinear form
<m<UXU
for each 2/ 5, a; -» G
"p(s,2/) is continuous. Assuming either 8 or 5 is
a Banach space, it can be shown that <p is bounded. <p is a sesquilinear mapping ofUXI) into W, if and only if:
Thus,
3. If <p: 11 X V — e * is a sesquilinear form, then the mapping 8. If (P is a pre-Hilbert space with scalar products denoted (x\y),
<l>: V X 11 -* e defined by <Kj/,x) = [<p(x,y)]* is sesquilinear. | the vector space (P* becomes a pre-Hilbert space on defining scalar
Obviously, one could paraphrase the results of the preceding two products [x y] |
by the formula [x\y] - (x\y)* = (y\x). For instance,
sections for sesquilinear mappings. However, there is a simple way of \\ox\y) = [k*x\y\ = (y\\*x) = \(y\x) = X[.t|i/]. Thus, <P* acquires a
deducing the theory of sesquilinear mappings from the theory of norm from its scalar product, as well as the norm inherited from (9
bilinear mappings, via the concept of the complex-conjugate of a Example 6 ; these norms coincide: [x a;] Js =
via. | (x\x)'A . (P is a Hilbert
vector space: space if and only if <P* is a Hilbert space. |
Definition 2. Let V be a vector space, with sums denoted x + y, and The reason for introducing the space V* is the following theorem,
scalar multiples denoted \x. The complex-conjugate of V is the vector whose proof is immediate from Example 5:
space V* obtained as follows:
Theorem 1. Let CU,'U,'W be vector spaces, and ip-.lL X V —* "W. Then,
(1) The set TJ* is the same as the set V. is a sesquilinear mapping of It XV into "W and only a
<p if if it is
(2) If x,y G V*, the sum of x and y is defined to be x +y (as cal- bilinear mapping of\lXV* into V?.
culated in V).
The "polarization identity" (see Theorem II.S.3) has a generaliza-
(3) If A is a scalar, and x G V*, the multiple ofxbyX is defined to tion for sesquilinear mappings:
be \*x (as calculated in V); this will be denoted \ox.
Theorem 2. If V and W are vector spaces, and <p: VXV — > *W is ses-
It is easy to check that V* satisfies the axioms for a vector space quilinear, then
listed in Definition 1. 1.1. For example: (\n)ox = (\n)*x = (\*n*)x =
\*(jt*x) \*(nox) = = \o(jiox). It is clear that V* is the only vector <p(x,V) = i\v(x + V,x + y) - <p(x - y,x - y)
space structure which can be defined on the set V in such a way that
the identity mapping I:V —* V* is conjugalc-hne&r.
+ i<p(x + iy,x + iy) — i<p(x — iy,x — iy) )
—
One has v (x + y,x + y) = v(x,x) + v (y,y) + v (x,y) + <p(y,x). The
4. If <P is any pre-Hilbert space, the mapping y » y' of <P into ((P') *
proof proceeds as in Theorem II.S.3. |
is linear; for, (y + z)' = y' + z', and (\y)' = \*y' = \oy' (see
Theorem IV. 10.2). An immediate consequence of Theorem 2 is the following:
5. If V
and *W are vector spaces, a mapping T: V — * *W is con- Theorem 3. If <p: V X V -» W and f: V XV -» V? are sesquilinear
jugate-linear if and only if 7' : V* — » V7 is linear (if and only if mappings such thai v(x,x) = tp(x,x) for all i£l), then <p = $, that is,
T:V -» W* is linear). v(x,y) = yp(x,y) for all x,y G V.
126 Introduction to Hilbert Space V §5 V §5 Continuous Linear Forms 127
Definition 3. Let V be a vector space, <p: V X 1) — 6 > a sesquilinear If (P = Q, a surjective mapping ./ satisfying condition (a) is called
form. <p is said to be Hermitian m case <p(y,x) = [<p(x,y)]* for all a conjugation of the pre-Hilbert space (P. For example, J(\k) = (X**)
x,y G V. is a conjugation in the Hilbert space I2 .
Theorem 4. A sesquilinear form <p: V XV — Q * is Hermitian if and 2. Let 3C be a Hilbert space. Show:
only if <p(x,x) is real, for all x GV. (i) The mapping U: 3C -* (3C')* defined by Ux = x' is a vector
space isomorphism.
Proof.
(ii) The Banach space 3C' becomes a Hilbert space, on defining
If Hermitian, e(x,x) = [ip(x,x)]*, hence
<f> is <p(x,x) is real.
=
(x'\y') (2,1*).
Suppose, conversely, that <p\.x,x) is real for all x. Define $(.x,y) =
(iii) If X' is the Hilbert space described in (ii), (3C')* becomes a
as noted in Example f a sesquilinear form on'OXU
[<p(y,x)]*;
Definition 4. Let V be a vector space, V X V — 6 a sesquilinear <p: * the mapping U of part (i) is a Hilbert space isomorphism.
4. There is a "Cauchy-Schwarz inequality" for positive sesquilinear and pre-Hilbert spaces (see Examples 6 and 8).
forms: 4. If <p: VXV V? is bilinear or sesquilinear, the "parallelogram
I
v(x,y) |
2 < v(x,x)<p(y,y) for all x,y G V. + y,x + y) + <p(x - y,x - y) =
<p(x 2<p(x,x) + 2<p(.y,y).
Suppose <p(x,x) = <p(y,y) = 0. For all scalar X, one has < 6. If 'U.'U.'W are vector spaces, the set 8(11,1} W) of all sesquilinear
;
Exercises
The identity mapping <p — * <p is a vector space isomorphism of
1. Let (P,Q be pre-Hilbert spaces, and suppose the pre-Hilbert SCU/U; W) with 03(11,1)*; W). [See Exercise 34.)
spaces (P* and Q* are constructed as in Example S. The following
7. Let 1)be the vector space of 2-ples x — (Xj,X 2 ), y = (jn,^), ••••
conditions are equivalent:
Define <p(x,y) = X]M2, ^(x,y) = X 2 mi- Then, ip and f are bilinear forms,
(a) J: <P — » Q is conjugate-linear, and (Jx\Jy) = (y\x) for all
=
<p(x,x) $(x,x) for all x, but <p ^ ^.
x,y G <P.
Then:
(i) <p* is a sesqiiilinear form on V X 11. Examples
(ii) <p
— * <p* is a bijective conjugate-linear mapping of SOu/U; e)
1. If (P is a pre-Hilbert space, the sesquilinear form <p: (P X <? —* C
onto t(V,%; e).
= — defined by *j(x,y) = (x y) is bounded, by the Cauchy-Schwarz inequal-
(iii) If 13 11, <p* <p if and only if <p is Hermitian. |
If ./((P) is a linear subspace of then J is conjugate-linear. is a continuous linear mapping, then <p(x,y) = (Tx|y) is a bounded
(i) Q,
(ii) In particular, if <P = Q and J is surjective, then J is a conjuga- sesquilinear form, with <p = T (see Example IV.7.5 or Exer- || \\ \\ ||
[x £ V: <p(x,x) = 0). Then, 31 = |x C "0: v(x,y) = for all y £ *U|, The following result plays an important role in the exposition of
hence 91 is a linear subspace of 1).
spectral theory given in Chapter VIII
11. If ip is a positive sesquilinear form, under what conditions on
x and y does <p(x,y)
2
= <p(.x,x)<p(y,y) hold? Theorem 2. If 6> is a pre-Hilbert space, the norm of a Hermitian bounded
| |
M<
||
Clearly
<p ||.
§ =
||
|| <p ||,
tion real, necessarily <p{x,y) = \\<p{x + y,x + y) - <p(x - y,x - y) j
Theorem 1. If <p: 8 X 9
1
— > 9 is a bounded sesquilinear mapping, Quoting the parallelogram law at the appropriate step, Mx,y)| <
(1) * -LUB *(»,») > < < ilM* + V* + y)\ + M* - y,x - y)\\ < \\M \\
x + y\\
2
+
1, ff 1
M
-?
|| || 1 1| || II II II
Proof.
Exercises Given x X. Now, y —* [(p(x,y)]*
G X, the problem is to define Tx G
is a form fx on X, and \fx(y)\ = \Mx,y)]*\ = \<p(x,y)\ <
linear
1. If e.JF.g are normed spaces, the set S e (S,3 :
g) of all bounded
y shows that/x is continuous, and \fx < <p
;
V x x ||.
sesquilinear mappings <p:8X$—»gisa linear subspace of S(6,5; g),
II II II || || || || || || ||
As a special case of Example 6 J!, Theorem £and Exercisel for bounded sesquilinear forms <p: 8 X X —* Q.
The point of stating Theorem 1 is that its converse is true: Theorem \.If T:X —* X is a continuous Ibiear mapping, there exists
linear mapping T: X
-» 3C such that <p{x,y) = (Tx\y) for allx£X, Proof.
y G
X. In the notation of Theorem 1, f> = >pT and \\<p\\ = <p
T
= , \\ ||
Define ^(y,x) = (y\ Tx). Clearly f is a sesquilinear form on XX X,
II
^ II-
and \Hy,x)\ = \(y\Tx)\ = \(y\Tx)*\ = \(Tx\y)\ shows that * is
132 Introduction to Hilbert Space V § 8 8 Continuous Linear Forms 133
Proof.
The rest of the section devoted to proving properties of ad joints
which will be used often
is
in the sequel.
Given z£K with z _L 3, the problem is to show that T*z _L S. If
x G S, then Tx G 3, hence = (z\Tx) = (T*z\x). |
Theorem 2. If S: 3C -» 3C and T: 3C -» 3C are continuous linear
In particular,
mappings, and X is scalar,
Theorem 5. Suppose 7': 3C —* 3C is a continuous linear mapping, DTI is
(1) (S + T)* = S* + T*
a closed linear subspace of 3C, and 91 is a closed linear subspace of X.
X
(2) (XT)* = x*r* Then, T(3Jl) C x
91 if and only if T*(9l ) 9TC C .
T*T = TT* = Tf
(5) || 1| || || ||
Theorem 6. If T:X —» 3C is a continuous linear mapping,
(6) T*r = if and only if T = 0. {x: Tx = 0| = (T*(3C)]
X
(1)
Proof. ,
= x =
(2) |x:7 x fl} r*(3CJ
(1): ((S + T)*y\x) = (i/|(S + T)x) = fo|Sas + Tx) = (y\Sx) + (4) {2/:r*2/ = «»|-
L = 7'(3C).
(4): ((T*)*x\y) = (x|T*i/) = (Tz|j/). Let 9U= {x:7'x = 0);9TCisa closed linear subspace of 3C. Similarly,
= T*y = a closed linear subspace of
Observe that the composites T*T: 3C
(5) : 3C and TT*: X -» 3C - 91
Since
\y:
7'(9Tl) c
0\ is
|fl|,
T X
one has 7 *((«| ) C 9U
X
3C.
(T*Tx|x) < T*Tx x < T*rx < T*T ||; taking LUB
|| || || || || || ||
(i) T*(X) C 9K X .
over * < 1,
||
T 2
||
< T*T ||. By 77»eorm 7F.0./, T*T <
|| || || || \\
Let S = 3C, 3 = T(3C); the relation T(3C) C T(3C) can be written
2
= T 2 Replacing T by T*, x X
T*
II
T = T
|| ||
2
Thus, T*T
|| || ||
. || || || \\
2
.
7'(S) C 3, hence 7 *(3 X C S x ,
) . Since S = 3C = |»J, one has T*(3 X )
||
(T*)*T* ||
= ||
T* ||
2
,
thus ||
TT* ||
- ||
T ||
. = [0],
X
3 C91, thus
Applying these results to 2'* in place of T, one has (iii) Identifying X with (X')* via the Hilbert space isomorphism
7
x -* x (see Exercise 5.2), and similarly identifying X with (X)*, one
(i*) T(X) C 3l x has T* = 7".
(ii*) [T^X)] 1 -
C 3K. 5. Let X and X be Hilbert spaces. Form the direct product Hilbert
From (i), 311 C SI
11 C [T*(X)] X combining this with (ii*),
X X X and X X X (see Exercise 8.11). Define
spaces IF: XXX -»
;
X X X by the formula W(x,y) = (y,-x). Prove:
= X
(1) 9H [T*(K)] . (i) a Hilbert space isomorphism.
IF is
—* X is a continuous linear mapping, the graphs of T
X
9H = 'S(l xx
(ii) If T:
[Incidentally, results formally from these calculations; see
and T* satisfy the following relation: Qr* = [W(9r)] ± (see Exercises
also Theorem III. 6.2.]
3.10 and 3.13).
From (1), M x = [T'*(X)] " J L
;
quoting Corollary 1 of Theorem
What is the formula for W*(y,x)?
I1I.6.S,
1 =
*6. Let X be a
Hilbert space, (P a pre-Hilbert space, and suppose
M.
(2) 7'*(X).
T: X and S: <P -> X are mappings such that (Tx\y) = (x\Sy)
-» CP
T by T* in the relations for all x C X and ?/ G (P. One knows that 5 and 7 are linear by
1
The relations (3) and (4) result on replacing
(l)and(2). | Exercise 1. It can be shown that S and T are continuous. If moreover
(P = X is a Hilbert space, then S = T*.
Exercises
Let <P be the pre-Hilbert space of finitely non-zero sequences, and
7.
1. and Q be pre-Hilbert spaces, and suppose T: (P — Q and
Let (P let enbe the canonical basis for (P (see Example 1.7.2). There is a
S: Q —> (P are mappings such that (Tx\y) = (xJjSt/) for all x G <P and unique linear mapping T: <P —» (P such that 7'e* = ke k for all ft.
j/ G Q- Then, 5 and T are linear. =
Prove: (Tx\y) (x\Ty) for all x,y G <P, but T is not continuous.
2. If 3C is a Hilbert space, (S,T) —* ST* is a bounded sesquilinear Compare this result with Exercise 6.
mapping of £ C (X) X £ C (3C) into £ e (X). So is (S.T) -> T*S. 8. This exercise is preliminary to Exercise 9. A doubly indexed
family of real numbers ajk > = = 1,2,3,- •) is said
3. Let X be classical Hilbert space, T: X — X a continuous linear
»
to be summable case there
(j
a constant
1,2,3,- •
M>
• ; k •
in such that
mapping. Given an orthonormal basis e„ for X. Let Te k = 2a ;* e;
is
(i) ry = (T"*!/)' for all y G X (see Exercise IV. 10.7 for the defini-
tion of 7").
(b) For each j, £» op < «., and £ (Z; 4
«;*) < °°-
(hence all) of these conditions is fulfilled, one has isometric vector space isomorphism; it follows that £/,,(3C,JC) is a
If either
Hilbert space, and the mapping T —» (a,*) is a Hilbert space
isomorphism.
E, (Z* «*) = £* (E ;
«i*) = £,, fc
«/«,
9.This exercise is preliminary to Exercise 11. Denote by the set X involution in case: (1) a** = a, (2) (a 6)* = a* + b*, (3) (ab)* = +
of all doubly indexed families x = (A,-*) of complex numbers such that
b*a*, and (Aa)* = A*a*, for all a,b G Ct and scalar A. An algebra with
SiJXal" < °° in the sense of Exercise 8 - If V = fa$ '"* another such
involution is also called a *-algebra. A normed algebra with involution
family, define x = y in case \jk = W for all j,k. With operations is called a normed *-algebra. Prove: if a is a normed *-algebra such that
10. Let 3C and 3C be classical Hilbert spaces, e n an orthonormal 13. This exercise is preliminary to Exercise h If QL U is an algebra, a
basis for 3C, and /„ an orthonormal basis for X. If T: X- 3C is a subalgebra of a linear subspace S such that: if a
ft is C S and 6 S, G
continuous linear mapping, one has £ t ||
Te k ||
2
< « if and only if
then ab C S. Prove:
V, || T*fj ||
2
< oo, and in this case one has (i) In a normed algebra, the relations a n — > a and b n —* b imply
a R b n -» ab.
E t II
Tek ||
2
= E -
;
II
T% II
2
- Z tJ)
I
(Tek |/,) |
2
.
(ii) If S is a subalgebra of the normed algebra a, its closure S is a
closed subalgebra of Q.
11. be classical Hilbert spaces, e„ a fixed orthonormal
Let 3C and 3C (iii) If a is a Banach algebra, every closed subalgebra of a is itself
basis for 3C, /„ a fixed orthonormal basis for 3C. A continuous linear a Banach algebra.
mapping T: X
-> 3C is said to be of Hilbert-Schmidt class if there exists
an orthonormal basis g„ of such that fc
Ta t 2 < "• Briefly,
X £ I! II
14.
that a
If a
G
is a *-algebra, a *-svbalgebra of
S implies a* G S.
a is a subalgebra 8 such
T is of HS-class. Prove:
2
Suppose a is a normed "-algebra such that a* =
(i) If T: 3C -» X is of HS-class, then 2* T0k II || < °° for et>en/ (i) a for all || || || ||
orthonormal basis #„ of 3C, and the value of this sum is independent a G a. Then, a„ —* a implies a„* —* a*.
(ii) If a is as in part (i), and S is a "-subalgebra of a, its closure S
of the particular orthonormal basis.
(ii) If S: X
-» 3C and T: X -» 3C are of HS-class, so are S T + is also a "-subalgebra of a.
li "-algebra.
continuous linear mappings, then Tli: X. -* X and ST: X -> X are
of HS-class. "16. There a converse for part (ii) of Exercise 15, known as
exists
*(v) If T: X 3C is -*• of HS-class, define ot^ = (Te*|/,-). The cor- the "theorem of Gelfand-Neumark" if a is any 7i*-algebra, there :
respondence T -* (a,fc) is a vector space isomorphism of £/,,(3C,3C) exists a Hilbert space 3C, and a mapping <p: a —> £ C (X), such that
with the Hilbert space described in Exercise 9. (1) p(a + b) = *(a) + <p{b)
*(vi) If S and T are of HS-class, define (S|T)
= £, k (Se k \Tek ). (2) *(Xa) = \<p(a)
Then, £ A .(X,X) becomes a pre-Hilbert space, and the scalar product (3) v(ab) = ,(a)*(6)
in its definition. The mapping T -* (aik ) described in (v) is an (5) via*) = [via)]* (= the adjoint of v (a)).
738 Introduction to Hilbert Space 8
§ 6. Self-adjoint operators
§ 7. Projection operators
§ 8. Normal operators
§ 9. Invariant and reducing subspaces
§1. MANIFESTO
For the rest of the book, we settle down to the study of various
types of continuous linear mappings of a Hilbert space into itself.
Generalities are henceforth banished to the exercises, and the reader
is invited to assess each definition and proof for its possible level of
generality. For example, some statements about Hilbert space will
make sense for normed spaces, or vector spaces, and so on observa- ;
(vi) (ST)* = T*S* Consider the sesquilinear forms <p and ^ defined by the formulas
(vii) ||
T* ||
= T ||
<p(x>>j)= (Sx\y), yp(x,y) = (Tx\y) (see Example V.5.2). By assump-
||
(viii) T*T = T 2 tion ip(x,x) = <p(x,x) for all x, hence <p = \p by Theorem V.5.3. Thus,
|| j| || ||
(be) T*T = if and only if T = 0. (Sx\y) = (Tx\y) for all x and y; Sx — Tx results from Theorem
1 1. 2.1. |
These facts about adjoin ts are assumed to be known to the reader
(see § 8 of Chapter V) they will be used in the sequel without explicit
;
Exercises
reference.
1. If 9C is a set, (P is a prc-Hilbert space, and S,T are mappings of
The special types of operators T which will be discussed in this 9C into <P such that (Sx\y) = (Tx\y) for all x 9C and y G <P, then G
chapter are defined as follows: S= T.
Other types of operators (positive, invertible, etc ) are discussed (ii) It can happen that (<Sa:|a;) = (Tx\x) for all i£S, and yet
in the exercises.
The theorems of this section will be used often, and without explicit 6. In a uormed space £, call a subset S total in case: the only
reference, in the sequel. continuous linear form/on 8 such that f(x) = for all iCS, is/ = 0.
Then:
Theorem 1 . The null space 31 of an operator T is a closed linear sub-
*(i) It can be shown that if S is a total subset of S,then S is the
space of 3C.
smallest closed linear subspace of 8 which contains S. Theorem 2 then
generalizes to uormed spaces.
Proof.
(ii) In Hilbert space, a subset S is total in the above sense, if and
See Theorem IV. 7.2. |
only if it is total in the sense of Definition 1 1. 8.1.
Theorem 2. If S is a total subset of 3C, and S,T are operators such that
7. Let S be a subset of a pre-Hilbert space (P.
Sx = Tx for all x G S, then S = T.
(i) If S is total in the sense of Exercise 6, then it is total in the
sense of Definition 1 1. 8.1.
Proof.
C The converse of fails.
be the null space of S — T. By assumption, S
(ii) (i)
Let 31 31. Since S is
1 =
total, so is 31, hence 31 \6\ (see Example III.2.1). By Theorem
III.6.2, 31 =
x x = x = 3C; that is, S - T = 0. |
3l §3. AN EXAMPLE
(0)
unique operator such that Tn x k = ta-x* for k < n, and T„Xfc = for
Theorem 1. Let /z„ be a bounded sequence of complex numbers, M= fc > n (the existence of T n is a special case of Theorem 1). Then,
LUB ( |/<fc|: A;
= 1,2,3,- • • }. There exists one and only one operator T Tn —* T strongly, in the sense of Exercise IV. 8.2.
such that
2. If 8 and 5 arc normed spaces, S: S —> ff is a continuous linear
(1) Tx k = l
ik xk foraUk. mapping, x G £, and x = 53* x k in the sense of Definition II. 7.1
II. 7. 2), one can define Tx = X^x* (see Theorem 11. 7.1). The (T*Tx|x) (Tx\ Tx) || Tx ||
x (x|x) (7x|x).
53 1
|| |
linearity of T results from the Lemma to Theorem 111.3.2. Since (b) implies (c): (Tx\Ty) = (T*r*|») - (Ix\y) = (»|y).
||
Tx ||
2
< M2 || x ||
2
, T is continuous, and ||
T ||
< M.
implies (a): Tx 2
= (Tx| Tx) = (x|x) = x
Clearly 7'x* =
nkX k ; since xk || ||
= 1, || T > || || Tx* ||
= || Mtxt ||
= (c) || || || | I
|jjfc| for all k, hence T\\ > M. || If T is isometric, it is clear from the relation ||
Tx — Ty ||
»
x — y that T is injective.
537 **** anc* ^ x = ST "WW tne problem is
|| ||
*
(4), (5) :
Suppose x = ,
For all k, vk = (T*x|x t ) = (x| Txk) = (x| w x*) = Theorem 2. Tta range T(3C) o/ an isometric operator T is a closed
to show n= X tM fc*.
= linear subspace of 3C.
Hk*(x\xk) /ifc*X*.
Proof.
(6): Clearly T*Txk = Mt
2
a:fc = TT*x k ; since the x k are total,
a linear subspace, by Theorem IV. 1 4. Suppose y is adherent
| |
T(3C) is
,
2 *j' — TT*.
to T(3C) ; is to show that y
the problem T(3C). Choose any sequence G
Uniqueness: If 5 is any operator such that Sx* = y.kXk for all A:, then yn G
T(3C) such that y„ -* y. Say y„ = Tx„. Since x„ - x„ = || ||
Sxk = Txk for all A:; since the x* are total, S = T. | ||Txm - Txn = y m - j/n -* 0, x„ is a Cauchy sequence. Since
|| || II
*
3C is complete, x n —* x for suitable x. By the continuity of T, Txn —* 9. Let (S: 3C —» 3C be a mapping such that (Sx\Sy) = (x\y) for all
Tx, that is, Tx — lim yn = y. | x,y G 3C. Suppose, moreover, that 5(3C) is a linear subspace of 3C.
Then S is an isometric operator.
Example 1. Let 3C be classical Hilbert space, and X\,X2>Xz,- an
orthonormal basis for 3C. There is a unique operator T such that 10. Let T: X- 3C be a mapping such that (T^l Ty) = (y\x) for
Txk = Xk+i for all k. Specifically, every vector x has a unique repre- all x,y G 3C. Suppose, moreover, that T(3C) is a linear subspace of 3C.
sentation x = 2T fc***i aQ d one defines Tz = £,* ^k^k+i Clearly T Then TT is an isometric operator.
2
]Ci l^*l = x
2 2
is linear, and ||
Tx ||
=
shows that II II
T is isometric. 11. Ix;t 3C be classical Hilbert space, x„ an orthonormal basis for
T will be referred to as a one-sided shift operator. 3C. An operator T is isometric if and only if Tx„ is an orthonormal
The effect of = 6, and r*z = xk -i for & =
T* is as follows: T*x x fc sequence.
2,3,4,- ••. For, (T*x a*) = (z.lTx,-) = (s,|*, +I ) = = (*!*,) for
t \
and = for all other,/; thus, ( T*x k = (x*-i xy) for./ = 1,2,3, |
x,-) |
Definition 1. An operator T is said to be. unitary in case T*T = TT*
= /.
Exercises
Theorem 1. The following conditions on an operator T are equivalent:
4. Let Txk = Xk+i be the one-sided shift operator (Example 1). The T is Injective, and T~ =l
T*.
(0
Xk are total, and for each k, Txk is orthogonal to Xk- Compare with
Exercises 2.2, 24. Proof.
The equivalence of (a),(b),(c) is clear from the definitions, and the
5. Conditions (a) and (c) of Theorem 1 are equivalent, for a linear
relation T** = T.
mapping in prc-Hilbert space.
6. Theorem 2 holds for an isometric linear mapping of a Banach (c) implies (d) : Isometric operators are injective.
space.
(d) implies (e): By Theorem 4.2, T(3C) is a closed linear subspace
7. 9H and 91 are closed linear subspaces of
If OC, T is an isometric of 3C. Also, T* is injec tive; quoting Theorem V.S.6, 3C = {fl}-
1
=
x
C x - T(X) = r(3C).
operator, and T(Wl) = 31, then T(Wl ) fSL^. [y: T'y - $}
8. Suppose S and T are metrically equivalent operators, in the (e) implies (f) : By assumption, T is bijective. LetS = T~ l
; accord-
sense of Exercise 2. Prove: ing to Definition IV. 2.2, ST = TS = I. Then, T* = T*I = T*(TS)
(i) There exists an isometric vector space isomorphism V: T(JC) — = (T*T)S = IS = S.
S(3C) such that VTx = Sx for all x 3C. G
(ii) If 7\3C) is a closed linear subspace, then S(X) is also closed. (f) implies (a) : Clear from the definitions. |
146 Introduction to Hilbert Space VI §5
VI §6 Operators in Hilbert Space 147
normal basis indexed by the set of all integers. Every vector x has a 10. An operator S is said to be unitarily equivalent to the operator
unique representation x = £t» X^y* (the sum can be interpreted as T in case there exists a unitary operator U such that T = U*SU.
the unique vector y such that (y y k ) = \ k for all k). There is a unique
Notation: S ^ T.
Prove:
\
(i) T^ T, for every operator T.
operator U such that Uy k = y k+i for all A;; specifically, one defines
(ii) If 5 ST, then T^S.
U Xl* ^kllk
( ) = 2^1 x x *2/*+i- It follows that U*yk = j/*_i (see the (iii) If R ^ S and S ^ T, then R^ T. Moreover,
(iv) US^T, then S*^T*.
calculation made in Example 4.1). Since U*Uy k = UU*yk = yk =
/yt, [/ is unitary; it will be referred to as a two-sided shift operator.
§6. SELF-ADJOINT OPERATORS
Exercises Definition 1. An operator T is said to be self-adjoint (or "Hermitian")
in case T* = T.
1. If 3C is finite-dimensional, every isometric operator is unitary.
Theorem I, The following conditions on an operator T are equivalent:
2. An operator T is unitary if and only if T* is isometric and T is
injective. (a) T is self-adjoint
3. If S and T are unitary operators, so is ST. (b) (Tx\y) = (x| Ty) for aUx,y£X.
4. If T is a unitary operator, 911 and 91 are closed linear subspaces, (c) (Tx\x) = (x| Tx) for all x£3C
and T(9TC) = 91, then T^tt.*-) = 31
L
.
(d) (Tx\x) is real, for all x£X.
5. An operator and only if T: 3C —> 3C is a Hilbert
T is unitary if
Proof.
space isomorphism. More generally, if 3C and X are Hilbert spaces, a
mapping T: 3C —» 3C is a Hilbert space isomorphism if and only if: (a) implies (b): (Tx\y) = (x\T*y) = (*[2ty).
T is a continuous linear mapping such that T*T = I (= identity implies (d): (J *!*)*
1
= (x|r*) =
(c) (Tx\x).
operator in 3C) and TT* = I (= identity operator in JC).
(d) tmpKes (a): (Tx\x) = (rx|x)* = (x|Tx) = (T*x\x). |
6. If T:3C -* 3C is a surjective mapping such that (Tx Ty) |
= (x\y)
for all x,y £
3C, then T is a unitary operator. The next theorem follows easily from the properties of adjointa
listed in § 1
7. If J and K are conjugations of 3C, in the sense of Exercise V.5.1,
then JK is a unitary operator; in particular, JJ is unitary. IS aJ is
Theorem 2.
conjugation, and U,V are unitary operators, 1 »en UJV is a conjuga- (1) // -S and T are st
r
-adjoint, so is S + T.
tion.
(2) If T is self-adjoint, and a is real, aT is self-adjoint.
148 Introduction to Hilbmrt Space VI § 6 VI §6 Operator! in Hilberl Space 149
(3) 1ST is any operator, T*T and T + T* are self-adjoint. 2. If T is a self-adjoint operator, S and 3 are subsets of 3C, and
T(S) C 3, then T(3 X ) C S x .
V
is a vector space, and <p is a sesquilinear form on
a - I(r + n (ii) If
there exist Hermitian sesquilinear forms <p <p such that <p
u 2
V X
= <p x
1),
+
B - ( t - r*).
(iii) Generalize (i) to bounded sesquilinear forms ^onSXfi, where
fi is a normed space.
Proof.
Define A and B by the above formulas; clearly A and B are self- 7. An operator T is said to be positive in case {Tx\x) > for all
= LUB TR if and
(!Tx|j/)* = [<p(x,y))*, <p is Hermitian, hence || *> || {
\<p{x,x)\: only if AS = SR.
\\x\\ < 1) by Theorem V. 6.2. | *(xi) If S > 0, T > 0, then ST > if and only if ST = 7S. In this
(i) T < T for every self-adjoint operator T. 14. Let Uyk = J/*+i be the two-sided shift operator, and P the
(ii) If S < T and T < S, then S = T. projection whose range is the closed linear subspace generated by
(iii) If R < S and S < T, then R < T. •• Then, P > 0, f/Pi7* < P, but £/P£/* ^ P.
•
(Ta:|x)foralla;G3C.
(v) If T is self-adjoint, T < \\
T \\
I, and T> - ||
T \\
I. Briefly, §7. PROJECTION OPERATORS
- || T ||
7 < T< ||
T ||
I.
Definition 1 Aji operator T is called a projection in case T* = T = TT.
A < B and C < D, then A + C < B + D.
.
(vi) If
(vii) If S < T and a > 0, then <*S < «2*. Thus, a projection operator is a self-adjoint operator which equals
(viii) IfS< T, then -S> -T. its "square."
(ix) If 5 < T, and K is any operator, then R*SR < R*TR.
Example be a closed linear subspace of 3C, and T = Pgt
1. Let 91
9. An operator T is called a contraction in case Tx < x for
|| \\ || ||
the projection of X
on 31. As shown in Theorem III. 8.1, T is linear
all x C 3C. For an operator T, the following conditions are equivalent: and Tx < * f hence T is an operator; also T(Tx) = Tx and
|| || || ||
(ii) R is injective, ||
Rx \\
> \\x\\. One has T= Pgi- For, given any x G 3C, write a; = j/ +z with
(iii) R{X) is a closed linear subspace of 3C.
2/ G 91 and z G 91
"L
;
quoting Tlieorem III. 8.1, P^x = y = y + =
(iv) R{K) = 3C. Ty + Tz = T(lf + z) = fa:-
(v) R is bijective, R~ l
is continuous, and \\
R 1
||
< 1.
Uniqueness: if P31 = P« then 91 - P3l (3C) = P3n(3C) = 9E. |
(vi) The operator U= (T - iW + -1
tf) "» unitary; it is called
the Cayley transform of T. Example 2. Let t/ be a fixed vector of 3C, y = 1, and let 91 = || ||
S = T
||
+I S _1
For, if x G z with z J. 91 and X a suitable
(ii) If T> 0, then the operator is bijective, is
scalar, and one has Tx = (\y + z\y)y = [X(j/|y) + (z|2/)h/ =
continuous, and ||
S~ l
||
< 1.
[X + 0}y m \V - PgjX.
752 Introduction to Hilbert SpacB VI §7 VI §7 Operators in Hifberf Space 153
Example 3. Notation as in Theorem 3.1. Let Pk be the projection whose 7. If P, Q are projections, and PQ = QP, then P + Q - PQ is a
range is the one-dimensional linear subspace generated by Xk) by projection. What is its range?
Example 2, Pkx = (x\x k )x k Define . Tn = £J«kP», forn = 1,2,3,- • •.
8. If P, Q, and P + Q are projections, necessarily PQ = 0.
If x G 3C, one has x = £" (a; | xt)x*, hence Tx = 2T (z x k)y-kXk = I
9. Let P and Q be projections, with ranges 9TC and 91, respectively.
Z7 «(P**) = lim„ Z" w(P*z) = limn Tn x. Thus, Tn z — Ti, for The following conditions are equivalent:
each x; that is, T„ — T strongly,
» in the sense of Exercise IV.S.2. (a) P — Q is a projection.
(b) P > Q in the sense of Exercise 6.8.
Theorem 2. Let 311 and 31 fee closed linear svbspaces of 3C, P <Ae projec- (c) Pi > Qx for all G 3C.
|| II || ||
a;
tion with range 311, and Q tlie projection with range 91. TVien, 971 ± 91 if (d) 311 3 31.
and only if PQ = 0. In this case, the range of P — Q is the set of all vectors common to 9TC
x
and 3l .
Proof.
//: Suppose PQ = 0. If x G 3H and y G 91, then (x|y) = (Px | Qj/) 10. If P, Q are non-zero projections, and PQ = 0, then || P+ <2 II
Only if: Suppose 9TC ± 31. If x G 3C, then Qx G 31, hence Qx G 311 \
= 11. If T is an isometric operator, then TT* is a projection.
hence P(Qx) 0. |
12. An operator T is said to be partially isometric in case T*T is a
Example P -,P„ are projections, and PjPk =
4. If lt
-
whenever
projection. Suppose T is partially isometric, say T*T = P. Prove:
3 * k, then P = £" P* is a projection. For, P* = £" P** = £," P* (i) TP = T.
= P, and PP = £ P,Pt = E t ^ti't = T P« = P- See also Set Q = TT*. Then Q a projection, and QT = T. Thus, T*
Exercise 6.
M lk
is
(ii)
partially isometric.
is
L
(iii) T maps
P(3C) isometrically onto Q(3C), (P(3C)]- is the null
X
Exercises space of T, and [Q(3C)] is the null space of T*.
For an operator S, TS =
(iv) if and only if PS = 0. Similarly,
1. An operator T is a projection if and only if T= T*7". ST = if and only if SQ = 0.
(v) If U is unitary, and P is any projection, then UR and RU are
2. If P is a projection, and Q is unitarily equivalent to P, then Q is
partially isometric. If S is isometric and T is partially isometric, then
a projection.
ST is partially isometric. If <S and T are partially isometric, ST is not
3. If P is a projection, then P> in the sense of Exercise 6.7. If necessarily partially isometric.
P is a non-zero projection, P || ||
= 1.
13. Suppose 3C is finite-dimensional.
4. If P, Q are projections, and PQ = QP, then PQ is a projection. (i) If T is partially isometric, and TT* < T*T, necessarily TT* =
In this case, if 971 is the range of P and 91 is the range of Q, then the T*T.
range of PQ is the intersection of 9K and 91 (see Exercise 1.5.4). (ii) If U is unitary, P is a projection, and UPU* < P, necessarily
UP = PU. Compare with Exercise 6.14.
5. If P is a projection, with range 91, then / —P is a projection,
with range 91
x
.
14. If T
an operator with one-dimensional range, there exist
is
(v) What are necessary and sufficient conditions on j/ and z, in If r is normal, then T and T* have the same
5- null spac e, and
order that T be a projection? =
T'(3e) T'*(3C). If 31 is the null space of T, then 9l x = T(3C).
Proof.
S such that ST = TS = I; in this case, it is clear that T is bijective,
The equivalence = and T~ = l
S. Prove:
of (a) and (b) results from T** T.
(i) If <S and T are invertible operators, then ST is invertible, and
(a) implies (c): ||
T*x\\ 2 = (T*x\T*x) = (TT*x\x) = (T*Tx\x) (ST)- 1 = f-W 1
.
= (Tx\Tx) = \\Tx\\
2
. (ii) If T is an invertible operator, then so is T*, and (T
1
*)
-1 =
(r-i)*.
(c) implies (a): (T*Tx\x) = \\ Tx 2
= || T*x 2
= (TT*x\x) for
|| ||
^iii) If T is an invertible normal (resp. self-adjoint) operator, then
T~ l
is normal (resp. self-adjoint).
Theorem 2. Let T= A + iB be the Cartesian form of the operator T. (iv) If T is an invertible operator, then T*T is invertible. The
Then, T is normal if and only if AB = BA. converse fails.
Proof.
(v) If T is normal, then T is invertible if and only if T*T is invert-
ible.
Only if: Assuming T normal, it is clear from the formulas in Theorem
*(vi) It can be shown that every bijective operator T
6.3 thatAB = BA. -1
is invertible
(iv) If T is normal and bounded below, then T is invertible. iant under T; this follows at once from Theorem 1.
(v) If S^ T in the sense of Exercise 5.10, then S T. ~ X. The following conditions are equivalent:
*(vi) If S and T are normal operators, it can be shown that S = T (a) T(9TC) C 91
if and only if S~T.
(b) 3'*(9l-
L
) c git-
1
(a) implies (c) : Given any x G 3C, one has P^x G 911 (see Example Proof.
7.1); by condition (a), Ti^z G 91, hence P^TP^x = TPgnx. The equivalence of (a)-(d) is immediate from Theorem 2 and the
= TP^y =
definitions. Let P= Pgi.
(c) implies (a) : If 2/ G 9JI, then Ty P<jiTP wy = P^T?/,
hence T?/ G 91. I (d) implies (e) : By the Corollary of Theorem 2, PTP = TP and
91 A
PT*P = T*P. Then, PT = P*T = (T*P)* = (PT*P)* = P7"P =
In particular, 91 is invariant under T if and only if is invariant
TP.
under T*.
(e) zTOp&es (d) : Assuming PT = TP, one has PTP = TPP = TP,
Corollary. /I cZosed h'near subspaee 91 is invariant under the operator T
hence 91 is invariant under T by the cited corollary. Also, PT* =
if and only if PnTPn = TP^. (TP)* = (PT)* = T*P, hence 91 is invariant under T*. |
Definition 2. Let 91 6e a dosed linear subspaee invariant under the
operator T. The restriction of T to 91 is </ie mapping T/91: 91 — 91 Examples
defied 6?/ (T/9l)j/ = Ty.
7. If T is a normal operator, 91 = T(3C) = T*(3C) reduces T; for,
Thus, T/91 is the mapping // Ty, restricted to 91. The following 91 1
-
is the null space of both T and T*, hence is invariant under them
is elementary: both.
Theorem 3. Let 91 be a closed linear subspaee of X. 8. If Txk = xic+t is the one-sided shift operator (Example Jh 1), the
under the operator T, then T/91 is an operator in only closed linear subspaces which reduce T are |0( and 3C. For, sup-
(1) If 91 is invariant
pose 91 t^ \0) is a closed linear subspaee which reduces T. For a non-
Hie Hilbert space 31, and || TfSl \\<\\T ||.
(ST)/9l = (S/91) (T/91) non-zero vector = ]£^ X k x k _ = J^_, \k+ ix k contrary to the
T*y x ,
is self-adjoint.
8. Suppose T is isometric, and 91 is invariant under T. Then
Proof. (i) If 7X91) = 91, 91 reduces T.
Since T* = T, 91 reduces T by T/ieorem4. Then, (T/91)* = T*/9l = (ii) If 7791 is normal, then 91 reduces T and T/91 is unitary.
Conversely, suppose R = T/91 is normal, that is, R*R = RR*, (ii) If T is isometric, then T is hyponormal.
where R*
an operator in 91. Given x
is 31, the problem is to show G (in) If T is hyponormal, 91 is invariant under T, and T/Ul is normal,
that 7**3 91. G
For any 2/ 31, (T*x\y) = (x\Ty) = (x\Ry) = G then 91 reduces T.
||
T*x f= ||
(T*x - R*x) + R*x ||
2
= || T*x - R*x ||
2
+ || R*x ||
2 (i) If R= T/91, || R*x ||
< ||
T*x ||
for aU x G H.
(ii) If T is hyponormal, so is T/91.
by Theorem II. 6.2. Since T and # are normal, ||
T*x ||
= || Tx \\
and ||
R*a; ||
= || Rx \\
= || Tx ||, hence the above equation reduces to 11. An operator T is hyponormal if and only if there exists an
Tx 2 =
|| || T*x - R*x 2
+ Tx 2 Thus, T*x - R*x = 6, T*x =
.
operator V, \\V\\< 1, such that T* = VT.
|| || || ||
and let T: 9C — "y be a continuous mapping such that T(S) C 3. Then, R be the unique operator such that Rijk = m*2/* f° r a U k. Define T =
T(S) C 3. RU. Then, T is hyponormal if and only if \y.k < |/**+i| for all k. \
5. Let =
be the two-sided shift operator (Example 5.2),
t/r/i ijk+i
15. Let T= A + iB be the Cartesian form of the operator T. Let
91 the smallest closed linear subspacc containing 2/1,2/2,3/3,- -. Then 91 •
AB = C + iD be the Cartesian form of AB. Then, T is hyponormal
is invariant under U, but does not reduce U. if and only if D< 0.
t
162 Introduction to Hilbert Space VI §9
16. Let Txk = Xk+i be the one-sided shift operator. The only
finite-dimensional subspace 31 invariant under T is 91 = (0).
Chapt er
17. If Txk = Xk+i is the one-sided shift operator, there exists a
linear subspace S, distinct from |0J and 3C, such that T(S) C S and
T*(S) d S. Such a linear subspace is necessarily dense in X. Among Proper Values
all such S, there is a smallest, that is, one which is contained in every VII
other.
Examples
163
764 Introduction to Hilbert Space VII § 1 VII §1 Proper Values 165
n* a
isproper value for <S*. For instance, let S = T*, where T is the
Proof.
one-sided shift operator. As shown in Example 6, S* has no proper
Let i be a non-zero vector such that Tx = fix; we may suppose
values, but Sxi = T*xi = d = Ozi shows that is a proper value for
11*11 = 1-
S.
(D:|m| -|j*|-|ft|£|r|. 8. There exist normal operators having no proper values. For ex-
(2): ix = n(x\x) = (jix\x) = (Tx\x) is real by Theorem VI.6.1. ample, Uyk = yk+\ be the two-sided
let shift operator (see Example
VI.S.2). Suppose Ux = lix, and assume to the contrary that x j± 6.
(3):|m| =|l 7^ II
= 11* 11
= 1- I Since U is isometric, |m| = 1- If * = £!!* Hyt, then
VI. 8.1. | 5. There exists a self-adjoint operator T which has no proper values.
:
it is necessary and sufficient that there exist a vector x such that (2): See Theorem 1.2.
sc = land |(Ta:|:r)| = T —
||
|J
(iii) If o„ is
\\
operator T — itl is called the n-\h proper subspace of T, and is de- (a) ST = TS
noted 9lr0*). Thus,
(b) Every it-space of T is invariant under S.
rcrM = [xCW.Tx -/ae\.
Proof.
Briefly, 3lrG0 is Hie ^-space of T.
(b) implies (a): Let IK be the null space of TS — ST; the problem
Thus, a closed linear subspace of 3C; it is different from {0} = X, x =
317-(m) is is to show that 31 or, equivalently, that 91 \0\.
if and only if m is a proper value for T. A non-zero vector a; is a proper
vector for T if and only if x belongs to some M-space of T. One has SlrO*) C 31; for, if x 91t(m)i by assumption &r G
31t(m). G
hence 2\Sx) = it(Sx) = S(px) = 5(Ta:), (TS - ST)x = 8. It follows
Theorem 1. If S and T are operators such thai ST = TS, then the that if z ± 91, then x _L 91t(m) for all it, hence i = by the hypothesis
it-spaces of T are invariant under S; that is, on T.
S(m.T (jt)) c 3lrGi) for all ,t. (a) implies (b) by Theorem 1. |
Proof.
The hypothesis on the >i-spaces of T in Theorem 3 is conveniently
If x G TCt-M, then T(Sx) = (TS)x = (ST)x = S(Tx) = S(*t) =
expressed in terms of the following:
it(Sx) shows that Sx G 91t(m)- I
Definition 2. A family of closed linear subspaces is said to be total in
Corollary. The /t-spaces of T are invariant under T.
case the only vector x which is orthogonal to every subspace 91 belonging
Theorem 2. // T is a normal operator, to tlie family is x = 0.
Sir GO, then P M 7T M = TP» = M P„. Definition 1. A scalar n is said to be an approximate proper value for
2. Let Txk = nkXk, with notation as in Example 1.5.
the operator T in case there exists a sequence of vectors x n such thai
4. If the ^-spaces of an operator T are a total family, and 31t(jj) C hence m is an AP-value for T.
3lr*(/x*) for all m, then T is normal.
Let m be an AP-value for T, and suppose
3. Tx„ — \tx n —> 0, || ||
(ii) For a fixed scalar u, let 91 = 91t(m)- Then, 91 reduces T, and \(Tx„\x„)\ -> \n\. Clearly M < LUB [\(Tx\x)\: \\x\\ < 1} < | |
7. Definition 1 makes sense, and Theorem 1 is true, for linear map- Proof.
pings in a vector space. For a continuous linear mapping in a normed
(a) implies (b): Suppose |m| = II
T ||, || i„ ||
= 1, and || TxH — nx„ ||
space, the M-spaces are closed linear subspaces.
- As shown Example |(rz„|:r„)| — |m| =
0. in 3, » || T ||. If
8. Suppose x,, •••,!„ are proper vectors for T, Txk = nkXk- If M denotes the indicated LUB, one has T > M > |(ri || \\ n |x„)| -
Pi,- -,n„ are distinct, then x\,- •,!„ are linearly independent. T as n -» », hence M = \\T
|| || ||.
9. If the M-spaces of T reduce T, and are a total family, then T is (b) implies (a) : Choose a sequence of vectors x n such that xn = 1 || \\
normal. and |
(Tx„\xn ) \
—* \\ T ||. Passing to a subsequence, we may assume
(Ta;„ 1„) 1
—
m for a suitable scalar p, hence |m| =
* T ||. Then, ||
<
§3. APPROXIMATE PROPER VALUES ||
Tl„ ?Xn
2
-
= TX„ 2 - (TlnlMln) ~ II |m|
||
2
|| MTxJ + =
T Xn 2 - (TlnlMXn) - (TlnlMln)*
[J |m|
2
< T 2
- (Tx n Ml„) + II || \
-
A scalar n a proper value for the operator T if and only if there
is (TlnlMln)* |m|
2
= |m| 2 - M*(rx n |x n ) - M(ri„|ln)*
+ |m| +
exists a vector x such that x = 1 and Tx — \xx = 0. An operator
|| || || ||
l/i|
2
— n*fi — mj* \ft\ 2 = Oasn ». Thus, Tin - nx n+ || 0,
may not have any proper values at all, even if it is normal (see and m is an AP-value for T.
170 Introduction to Hubert Space VII
VII §3 Proper Values 171
(Tx n \x„) — * p., with notation as in the proof of Theorem 1. Since *11. Exercise 10 can be generalized to normed spaces.
(Tx„\x n ) is real for all n, m is real. Since |m| = II
T ||,
one has n 2 =
liril
2
. 1
12. The spectrum of an operator T is defined to be the set of all
scalars n such that T— nl fails to be invertible in the sense of Exer-
cise VI. 8.9; it denoted s{T). Then:
will be
Exercises
(i) If m is an AP-value for T, 11 s(T). G
1. AP-values are definable for a linear mapping in a normed space. (ii) H G s(T) if and only if 11* s(T*). G
If T is a continuous linear mapping, and n is an AP-value for T, then
(hi) s(T + \I) { m
m
X:mGs(T)}. +
(iv) s(\T) = {Xn-.fiCsiT)].
ui <imi.
(v) T is invertible if and only if is not in s(T).
2. If m an AP-value for T, then n
is + X is an AP-value for T + X7, (vi) If T is invertible, s^-') = { M
-1
:
n G *(T) }.
Operators The results of this section and the next show that CC-operators
existabundantly; § 3 is preliminary to § 4, in which normal CC-oper-
ators are analyzed in detail.
Every self-adjoint operator T does have an AP-value n, in fact, one Theorem 3. Every finite-dimensional operator T is CC.
for which \n\ = T ||. Happily, there is an important class of oper-
||
ators for which AP-values are nearly always proper (see Theorem 3.2) Proof.
these are the completely continuous operators: Let zi,- ••,«,, be an orthonormal basis for T(3C). For each x £ 3C,
Definition 1 . An operator T is said to be completely continuous in case: Tx = 22" fk(x)z k , where fi{x),- -,f„(x) are scalars uniquely deter-
given any sequence of vectors x„ such that || x„ || is bounded, Tx„ has a mined by as; clearly fk (x) = (Tx\zk ) = (x\T*zk ). Define TkX =
convergent subsequence. Briefly, T is a CC-operator. fk(x)zk = (x\T*zk )zk ; Tk is a CC-operator by Example 2, hence T=
Clearly, an operator T is CC if and only if : || x„ ||
< 1 implies Tx n S" Tk is CC by Theorem 2. |
2. If y and z are fixed vectors, the operator T defined by the formula STx„ k -+ Su; thus, ST is CC. Also, Sxn \\<\\S
|| \\, hence T(Sx n ) has
172
VIII §1 VIII § 1 Completely Continuous Operators 175
774 Introduction to Hilbert Space
Theorem 5. If Tn
isa sequence of CC-operators, T is an operator, and 3. (i) If S and T are metrically equivalent operators, and t is CC,
then S is CC.
|| T - Tn ||
-» 0, then T is a CC-operator.
(ii) In particular, if T is normal and CC, then T* is CC. See also
Proof, ("diagonal procedure") Exercise 6.
Given ||
x„ ||
< 1, the problem is to find a convergent subsequence
of Tx n .
4. If T is a CC-operator, and S*S < T*T, then S is a CC-operator.
particular, if T is a hyponormal CC-operator, T* is CC. See also
Let x\ be a subsequence of x„ for which T x xn is convergent. Say,
In
Exercise 6.
Tix„ -+ %.
l
Let xl be a subsequence of x\ for which T 2x„ is convergent. Say, 5. If 3C is infinite-dimensional, a CC-operator cannot be invertible.
T 2X 2n -+ U*.
Continuing inductively, one obtains, for each k, a subsequence x„ 6. (i) An operator T is CC if and only if T*T is CC.
_1
of x* such that 7't x* -* u k . (ii) If T is a CC-operator, then T* is CC.
k
The x* may be arranged in a rectangular array,
with x\,x2 ,X3, as • • •
the fc'th row, hence 8. (i) If y and z are fixed vectors, and y ^ 9, there exists a CC-
lim
n
Tkxn = uk for k = 1,2,3, • • •
operator T such that Ty = z.
< «• For all m are arbitrary, there exists a CC-operator T such that Tyk =
fix any index k such that \\T - Tk and n, z k for all
\\
II
TxZ - Ta» < (T - Tk )xZ ||| T kxZ - Tk xn
||
n
(Tk - T)x"n \\ + \\ + \\ ||
A;.
|| TxZ - Txl < 3« whenever m,n > N. This shows that the sequence
||
an ideal of a is a subalgcbra. The results of this section can be sum-
TxZ is Cauchy; since 3C is complete, it is convergent. |
marized as follows:
Corollary. If T„ is a sequence of finite-dimensional operators, T is an (i) The CC-operators form a closed ideal £ CC (X) of the Banach
operator, and T„ -
T -» 0, then T is a CC-operator. ||
algebra £ e (3C), and this ideal contains every finite-dimensional oper-
||
ator.
Proof. (ii) £ CC (3C) is itself a Banach algebra.
Each Tn is a CC-operator by Theorem 8, hence T is CC by Theo-
(iii) One has / £ £«(3C) if and only if X. is finite-dimensional, and
rem 5. | in this case £ CC (K) = £ C (X).
Exercises (iv) In view of Exercise 6, £ C e(3C) is a *-subalgebra of £ C (3C), hence
is a B*-algebra.
1. Let T be an operator, 91 a closed linear subspace of 3C.
(i) If 91 is invariant under T, and T is CC, then T/31 is CC. 10. Notation as in Exercise V.8.11, with X = X a classical Hilbert
x
(ii) If 91 reduces T, T is CC if and only if both T/31 and T/9l are space. Prove:
CC. (i) The *-algebra £ h .(X,X) of operators of Hilbert-Schmidt class is
14. If
every linear
8 and normed spaces, and 8
!F are
mapping T: 8 —» ff is CC.
is finite-dimensional, then = e: ii
- e: w*h 2 =w* ii zv^ii 2
= z:+ jxmi
a
2
|
. Thus, (T - Tn )x < ||
Prove:
(i) If x G 8, there exists a sequence 2/„ G 31 such that y n —* x, and Exercises
II 2/n ||
= ||
x ||
for all n.
(ii) be a Banach space, S: 31 ~» (B a continuous linear map-
Let (B Let 3C be classical Hilbert space, x„ an orthonormal basis for 3C,
1.
ping. If 7": 6 —* (B is the unique continuous linear mapping such that and an "infinite matrix" of scalars (/ = 1,2,3,
(eyt) k = 1,2,3, ) • • • ; • •
Ty = Sy for all y such that 2/,J a>'*l 2 < °°- Then, there exists one and only one op-
G
31 (see Theorem IV. 7.6), then T is CC if and only
if S is CC. erator T such that Tx k = £- ajkXj for all A;; this operator is CC. Every
operator of Hilbert-Schmidt class is completely continuous.
*16. If 8 is a normed space, (B is a Banach space, and T: 8 —» (B is
a continuous linear mapping, it can be shown that T is CC if and only 2. If 3C is classical Hilbert space, x n is an orthonormal basis for 3C,
if 7" is CC. and 0jk are scalars such that E,,J&"*I < », there exists a unique
operator T whose matrix is (/3; t) relative to the given basis. This op-
17.8 and JF are normed spaces, consider the set of all linear map-
If erator is of Hilbert-Schmidt class, hence is CC.
pings T: 8 -» ff satisfying the following condition: if x n 8, x„ < 1, G || ||
Recall that if T isan operator and y. is a scalar, 3lr(*t) denotes the Lemma \. Sis any
If self-adjoint CC-operalor, S has a proper value n
n-space of T; it is the closed linear subspace \x 3C: Tx = pa |, that G such that |m|= ||S||.
is, the null space of the operator T— pi.
Proof.
Proof.
Assume to the contrary; by Theorem 1.7.8, 9lr(/*) contains a linearly Lemma 2. If X. is finite-dimensional, every normal operator T has at
independent sequence x„. By suppose the x„ Theorem 11.64, we may least one proper value.
112 _
nx„ - pxn
2
are orthonormal. If m ^ n, Tx m - Tx n = = || \\ || ||
Proof.
|*»| ll*m — In
2
= 2 p\* > 0, hence
II
Tx„ cannot have a convergent
= 1, this is contrary to the complete con- Every operator 1.3. Let T = A + iB be the
in 3C is CC, by Theorem
subsequence; since xn ||
Cartesian form of T
Theorem VI. 6. 3). By Lemma 1, there is a
(see
tinuity of T. |
(real) scalar a such that the proper subspace 91 = 91. (a) is ?£
4 (0j.
Definition 1. Suppose n is a proper value for the operator T. If VLt(h) Since T is normal, AB = BA (see Theorem VI.S.2), hence 91 is in-
has finite dimension n, n is said to be a proper value of finite multi- variant under B (see Theorem VI 1. 2.1). Let R = BfSl be the restric-
plicity n. If 9lr(/*) is infinite-dimensional, n is said to have infinite tion of B to 91 R is a self-adjoint operator
; in 91 (see Corollary 2 of
multiplicity. If ii is not a proper value for T, that is, if 9lr(*») = |0|> Theorem VI. 9. 5). By Lemma 1, there exists a scalar 3, and a non-zero
it is convenient to say that nisa "proper value of multiplicity zero." vector x C 91 such that Rx = Bx, that is, Bx = Bx. By the definition
of 91, Ax = ax, hence Tx = Ax iBx = (a + +
In this terminology, Tlworem 1 asserts that every non-zero proper iB)x. |
value of a CC-operator has finite multiplicity. This result is not always Theorem 3. Every normal CC-operator T has at least one proper value;
helpful, for there exist CC-operators having no proper values at all:
in fact, there exists a proper value p such that \/i\= T \\. \\
Every normal CC-operator does have at least one proper value, as that in = 1 and Txn -* T Then, S = T*T =
|| II || \\ \\ ||. \\ \\ || ||
S> 0; see the remarks following *4. It can be shown that every operator T has at least one AP-value
also have quoted Lemma 1, since
n. If moreover T is CC and m ^ 0, T has a proper value.
this theorem.]
Let 91 = 3ls(«) it has just been shown that 91 ¥= \6). Since a > 0, *5. Itcan be shown that if 3C is finite-dimensional, every operator
clearly TS =
J
||
T*(x m - xn ) = T(x m - xn) = \\Txm - Tx n \\, it is clear that
|| || ||
(b) The spectrum of T is {0}
T* is also CC. Let T = A ift be the Cartesian form; it is clear from + (c) lim 7™ 1/n = 0.
|| ||
quote Theorem 2 and Lemma 1; in this way, the concept of AP- Throughout this section, T is a fixed normal CC-operator.
not
aspects of
value is circumvented, thus emphasizing the algebraic Theorem 1. (Spectral Theorem) The proper subspaces of T are a total
Theorem 3 and the spectral theorem to follow.
family. That x =
is, if JL 91t(m) for every scalar p, necessarily x d.
Proof.
Exercises
Let S be the smallest subset of 3C such that 91t(m) C S for all n;
\\ ||
Since each 9lr(/*) reduces T {Theorem VI 1. 2.2), T($) C S and 7"*(S)
LUB{|(Tx|x)|:||x!| = !}•
C S; by Tlieorem V.8.4, T*(3l) C 31 and r(9l) C 91, thus 31 reduces
T (see Theorem VI.9J,).
Notation as in the proof of Theorem 3. Then, 31 contains all
2. Assume to the contrary that 31 -^ [0], and let ft = T/m.; R is a
vectors x such that Tx = Xx for some scalar X with |X|
= T ||. One ||
normal operator in 91 (see Corollary 1 of Theorem VI.9.5). We assert
has Tx = ||
T x for every
||
x 91.
|| || || ||
£ that ft is a CC-operator in the Hilbert space 91. For, if x n £ 91
CC-oper- and x„ < 1, Rx n = Txn has a convergent subsequence, say
Let Rxk = (l/k)x k as in Example J. ft is a self-adjoint
j| ||
3. ,
ator, is an AP-value for ft, but is not a proper value. Rx "k u £ 3C; since ft is closed, u 91. £
182 Introduction to Hilbert Space VIII § 4
VIII §4 Completely Continuous Operators 183
Thus, a normal CC-operator in the Hilbert space 31 ^ (0). By
R is
Passing to a subsequence, we may assume n n —» p., where e < \n\ <
Theorem 3.3, there exists a non-zero vector x £ 31, and a scalar n, such
that Rx = txx, that is, Tx = nx. Then, x £ 31t(m) CZ S; but x 31 = £ .. T
||. Let Tx n
= y. n x n xn = 1. Again passing to a subsequence;
, || ||
Theorem 2. The following conditions on an operator S are equivalent; Let us first dispose of a special case:
(c) ST* = T*S (b) T has only finitely many distinct proper values mi, • • •
,/»»•
VI 1. 2.1; in other words, the /i-spaces of T are invariant under S. Since x = £" ijk, with 7/ fc £ 3lr (A»fc) (see Theorem 1.5.1). Since the 3lr (Mt)
S*T = TO*, the /i-spaces of T are also invariant under S*. are mutually orthogonal, it is appropriate to write 3TI = 31t(mi) ©• •©
(d) and (e) are equivalent by Theorem VI. 94. 3lr(M n ), in analogy with Definition III.2.5. We assert that 3TC = 3C;
since 311 is closed (see the Corollary of Theorem 1 1 1. 4.2), it will suffice to
(d) implies (a) by Theorem VII. 2.3 and the spectral theorem. | show that an 1 = (0). Indeed, let
The next results will show that the proper values of T can be S = \x £ 3C: x £ 3lr(/i) for some /x|
Proof.
||; ||
on T.
VILLI; this does not require any special
Given e > 0, assume to the contrary that
hypotheses
there exists an infinite
rx = JJ 2V» - S nm = S w^fote
sequence ii„ of distinct proper values of T such that t < n n < T ||. | | ||
Incidentally, if T is also injective, X is necessarily finite-dimen- (c) Every xCX is uniquely expressible in the form x = Z* xk ,
Theorem 5. Assuming T is not a finite-dimensional operator, Theorem III. 6.3, 3TC = § x± is the smallest closed linear
subspace con-
taming every 91*. Since 3TC- = s XXJ = s x clearly 1
3R = x
- -
if and
(1) the distinct non-zero proper values of T can be enumerated in only if S = |0). This proves the equivalence of (a) and
,
(b).
an infinite sequence MiiM2,M3,
Let Pk be the projection with range 3l t
• • • ,"
> >
(a) implies (c): Suppose first that x k G 91* and £"|| xk 2 < «,.
(3) one can arrange to liave \ni\ | P2 1 ^ I M3 1
• • •
It is clear Lemma of Theorem II. 7.1 that one' can form the
from the
||
each A„ contains at most finitely many scalars, and every non-zero Now, given any x G X, define xk = P*x. For each n, Q n = Z] pk
proper value belongs to some A„. Since A! A2 C c • • •, the non-zero is a projection (see Example VI. 74); since the xk are mutually
orthog-
proper values can be enumerated in a sequence by first writing down 2
onal, z: B xk r = e: xk = z: p** «» = QnX < ; jf
ii ii ii
r „
those in Ai, those in A 2 not in A,, and so on. 2
hence Z™ ||
xk || < w. Form the vector y = £" x*. For each j
(2):Suppose X„ is any sequence of distinct proper values of T. P# = = Pje, x,-- x) = 9, y - x G 3l/; since the 31, are total]
/'.•(j/
Given any t > 0. By Theorem 3, |X„| > « for at most finitely many
n, hence there is an index N
such that |X„| < t whenever n > N. y - x = x = y = J^ Xk Since
6, = P (z* **), the uniqueness . x,-
j
(b) The smallest closed linear subspace of X which contains every $lk see that Z* 31* = 9li © 91*.
is X itself.
186 Introduction to Hilbert Space VIII § 4 vui §4 Completely Continuous Operators 187
(3) ||
T - E>^(Mt) II
- 0,
5 + T and ST are normal.
(ii) If T and S are hyponormal, and ST* = T*S, then T - S is
II
r» - E>^(«) ^ II
o. hyponormal.
(iii) If f is normal, <S is hyponormal, and ST = TS, then T—S is
Proof. hyponormal.
(1) results from Theorem 1, the Lemma, and the fact that 3lr»(M*)
4. If <S and T are normal operators, ST = TS, and T is CC, then
= 9lr(M>-
S + r and ST are normal.
X
(2) : Let 31 = E" SKrGfc). It is clear from (1) that 91 = [3lr(0)] = 5. Let S and T be normal CC-operators, and assume,
for the sake of
x thus, 31 = T*(3C) = T(3C) by r/teorem V.S.0. simplicity, that both S and T are injective. Then, S and T are unitar-
[3lr'(0)] ;
ily equivalent if and only if: for each scalar n, the multiplicity of /j for
(3) : Given x G 3C, one has i = P(0)i + Er p ^)x hV the P roof T equals the multiplicity of n for S.
**10. The analog of Exercise 2 for Banach space is an open ques- References, and Hints to
tion.
CHAPTER I
§ 1. 2. See Example 2.
3. See Example 7.
§ 5. 6. e
l
= cosh / + sinh t.
!•»
190 Introduction to Hilbert Space
Appendix 191
4.
8. || \\
7. Look at the vectors 2/1 = (1,0,0,- ••), y2 = (|,£,0,"*)i
\(x\y)\<l. If (x\y) is real, (x\y) = £{|| x y
2
- + ||
= (iiiO,- ••)••••-
2/3
x — y
2
}. In general, one can write (x\y) = X(x| y) = See Exercise 1 1. 8.1.
|
§ 6.
|
II || 3.
(Xx|y) for suitable |X| = 1.
4. Assuming to the contrary that such a vector y G S exists,
§4. 1. Try « = i one has x — y G S x by the argument used in the proof
6. For each t, |x„(Q - x„(0| < d(x m ,x n ). of Theorem 1. But, x and y belong to S 1 1 hence x — y -
,
&, a , C
§7. 1. If X < l.then |X| 2 < |X|.
| |
contradiction.
2. ii e:> ii
< E: ii ** ii. 5. Write x n = y n + z„ according to Theorem 1.
8. Assuming to the contrary, produce an infinite orthonormal (ii) See also Exercise 4.1.
3. 4, 5. See Theorems 1.4 and 1.14 of [9]. 1-7.1), fir -,/„, the canonical basis for C m , and express Tek
6. See Theorems 155 and 479 of [5]. See also Section 3.22 of as a linear combination of the //.
[10]. Another approach is via Theorem 4E of [6]. 7. See Section 1.72 of [10] for the existence of a basis (also
7. See §14 of [3]. called Hamel basis).
§2. 1. See Exercise 1.4.
§2. 3. (i) See Theorem II.8.1. § 3. 3. Let X| • ,x„ be a basis for V, and
,
• •
<Vm a basis for V?. UW"
= J3" For each pair of indices j and k (J = l,---,m;k= l,---,n),
(ii) Look at x (l//c)x*.
there is a unique linear mapping Ejk'- V —* V? such that
6. See Exercise 1 1.6.1.
EjkXk = ijj and Ejk Xi = when i ^ k. The Eik are a basis
7. See the proof of part Theorem 4.8. (3) of
for £(V,\V).
§3. 1 Sec the proof of the Lemma to Theorem 2.
6. There is no essential difference between this and the situa-
2. See Theorems 2.1 and 2.2.
tion in Exercise 3. See also Theorem 1.3 and Exercise 1.7.
3. See Exercise 2.3.
§4. 2. Calculate 3l
x
.
§ 4. 4. (ii) Suppose T is surjective. For each y G%
let F(y) denote
the non-empty set [x G SC: Tx = y\. The problem is to
192 Introduction to Hilbert Space Appendix 193
define a mapping R: <y — » SC such that T{Ry) = y for all 3. (i) If x k £ 91 and n -> i, look at Tmx - Tn x < || ||
Show there exists a non-zero vector xt in the range of En, 4. See Theorem 2.5.5 of [4].
§ 5. 2.
See the proof of Theorem III. 3.2. isomorphism. By Exercise 7.12, S and <S -1 are continuous.
§ 7. 1.
18, 19. The inequality which exhibits subadditivity is known as Tn S -> ff by the
: formula Tn x = f(x)yn Clearly .
of [6].
:
||
z £ W x
such that/(z)
two
= See the proof of Theorem 1.
1.
Theorem 2.6.2 of [4]. tinuous linear mappings of the Banach space 8 into the
6. Given x £ (P, the mapping y —* (y x) is a continuous linear |
normed space g. By the principle of uniform boundedness
form on the Hilbert space 31. (see Exercise IV. 8. 4), there is a constant such that M
7. (iii) See the Corollary of Theorem II.6.3. II
9»" II
< M whenever || y \\
< 1. It follows that || <p(x,y) ||
<
9. Given F 3C", x —* [F(x')]* is a continuous linear form on
£ M whenever || x ||
< 1 and \\y\\ < 1; thus, <p is bounded,
3C. By Theorem 1, there is a vector y 3C such that £ and || v ||
< M.
[F(x')]* = (x\y) for all x 3C. Thus, F(x') = (y\x) =
£ 9. (i) See Example IV. 10.2, and Section 8C of [6].
2. Take (P = 3C in Theorem 1; since U is isometric, and X is § 5. 2. (i) See Example 4 and Theorem 1.2.
complete, £/(3C) is complete. (ii) See Exercise 2.4.
3. (i) See Exercise IV. 7. 21. (iii) See Example 8.
(ii) See the proof of Theorem 1; alternate proof via part (i). 9. (i) Show that J(x + y) -
(Jx +
Jy) and J(\x) - \*(Jx)
4. (i) If x',y' £ 91, define (x'\y') = G/|x). are orthogonal to J (,(?); by assumption, they belong to J(<P).
(ii) See Exercise 3. (iii) Show first that J is conjugate-linear and isometric.
5. (i) See Exercise IV. 10.5. § 6. 3. <p(x + y,x + y) - <p(x - y,x - y) = 4>p(x,y).
Theorem 4.2-1 of [10], or Theorem 2.12.3 of [4]. (ii) See Tlieorem IV.9.S.
<p(x„ — For the proof that (c) implies (a), see the proof
x,y).
of Theorem IV. 7.3. CHAPTER VI
7. If xn £
3TC and y n £
31 are Cauchy sequences, then
ip(x„,y„) £
(B is a Cauchy sequence, by an obvious modifica- § 2. 4. (ii) See Exercise V.8.S.
tion of the identity given in the hint to Exercise 1. See also 6. (i) One can show that if 91 is a closed linear subspace of a
Theorem IV.7.6. normed space 8, y £ 8,
and y is not in 31, then there exists
8. Say 6 is a Banach space. Consider the family of mappings a continuous linear form / onfi such that /(x) = for all
S = W- V 5, y£ < lj. For each x S, *"(x) =
|| || £ || ||
x £ 31 but/(y) t± 0. See Theorem 2.7.5 of [4].
796 Introduction to Hilbert Space
Appendix 197
See Theorem V.l.l. <
(ii)
1}. Given any ?y G 3C, the numbers (x\ y) are bounded as
7. (i) See Example IV. 10.1. =
(ii) See Exercise 11. 8.1.
x varies over S; for, supposing y Tz, for all .r G S one has
\(x\y)\ = \(x\Tz)\ = |(T*z|z)| < T*x z < z
§4. 8. (i) Tx = Ty if and only if Sx = Sy. It followsfrom the principle of uniform boundedness (see
|| || || || || ||.
(ii) See Theorem 2. Exercise IV. 8. 4) that there is a constant K > such that
9. See Exercise V.5.9. x < K
10. See Exercise V.5.9.
|| || for all x G
S. It follows that T*y > K~ j/ || ||
l
|| 1|
6. See Exercise 4-9. 13. T* is bounded below by Exercise 12. See part (v) of Exercise
9. (i) Sec Theorem 4-2-
11.
(ii) See Exercise 4.11. 14. (ii) See part (vi) of Exercise 11.
§6. 3. See Exercise 7.12. 15. (vi) This is a theorem of C. R. Putnam; see the American
6. (i) See Theorem V.7.2 and Theorem 8.
Journal of Mathematics, "Vol. 73 (1951), pp. 357-62.
(ii) See the proof of Theorem 3. See also Exercises V.5.8 and
§ 9. 8. (i) See Exercise 4.7.
x x
But, 91 also reduces T, and !F/9l is hyponormal by Exer- 1. r is an operator by Example IV. 7. 6.
§ 2.
cise VI.9.10, hence T/91 1, is normal by the inductive 5. See Theorem 4 and Example 3.
assumption. See Exercise VI. 9.18. =
6. (i) If ||
x„ ||
1 and T*7'x n is convergent, then Txn is
8. Induction on n.
Cauchy by the calculation
§ 3. 1. |
||
TXn ||
- || VXn < TXn || | ||
- XUC, ||.
10. (ii) It suffices to consider an operator with one-dimensional §3. 1. (i) See Theorems.
range, say Tx =
one can assume x = 1. Let 91(x\x t
)z; |>
t ||
(ii) By Theorem 26A of [6], there exists a scalar y. in
be the null space of T; 31 is a separable Hilbert space (see the spectrum of T such that |m| = || T I By part (x) of
Exercise II I. 6.5), hence has an orthonormal basis x 2 ,x 3 ,- -. •
Exercise VII.8.12, n is an AP-value. Quote Theorem
Then, ar^a^is,- is an orthonormal basis for 3C, and
•
• VII.3.1.
Tx k 2
= Tx x 2 4. Let m be a scalar in the spectrum of with |^| as large as T
£r II || || ||
.
B and C such that Rz = z, and Cy = $/,. Then S = CTB*, Fix any index m such that
||
hence S £ a. Thus,
|| ||
contains every operator with one- operator S, « ||
S ||
< ||
RS = (« - 72 m )S + ii^S <
|| || ||
dimensional range. See the proof of Theorem, 8.
||
(R - Rm )S + ^SII^IIiE-i^llHSII+II^S'i <
12. If Tx n > n, Tx n cannot have a convergent subse-
|| ||
||
quence.
||
€/2||S|| + |i/CS || . In particular, for S = /2„,
-1
, one has
[4]).
(ii) in fi and
If x„ C || ||
< 1, choose i/„ C 91 with Vn\\ = 8. SinceS has no proper values, by Theorem 2 it cannot have a
|| and y B - xn
a:„ || || || < 1/ra.
non-zero AP-value. Incidentally, Sxk = -*
|| || 1/fc shows
16. See Theorem 2.13.5 of [4]. that is an AP-value.
1
§4. 2. See the Corollary of Theorem 1.5 for the "if" part. Con-
versely if T is CC, then T* is CC by Exercise 1.6; consider
the Cartesian form T = A + IB.
3. (i) See the hint to Exercise VII. 8.8.