434        XV    NORMED ALGEBRAS AND SPECTRAL THEORY
0. Now, by the definition of the adjoint (15.12.3), we see first that z e dom(#?)
and next that (x | H* • z + iz) = 0 for all x e doml/^), and since domC^) is
dense in E, we have H^ - z + iz = 0. Since dom(H) a dom^), we have
dom(#*) <=: dom(#*), and H* is the restriction of #*. Hence H* • z + iz = 0,
in other words z e E# . But E# c dom^) by definition, so that
0 = (z | (#* + iJ) - z) = ((# ! - il) • z | z) = ((H* - i/) • z | z) = -~2i||z||2,
and therefore finally z = 0.
To prove that F = E for all X such that */A > 0, we observe that if this is
true for 1 = A0, then the operator (H^ — ^o/)""1 is everywhere defined and
continuous, and satisfies
by virtue of (15.13.10.1). It follows (15.12.11) that (Ht - A/)"1 is everywhere
defined and continuous for |A — /10| < |c/A0|. By induction, (H^ — A/)"1 is
everywhere defined and continuous for |/l — (f)n/| < (f)w, and since the
integer n is arbitrary, we have shown that (Hl — /I/)""1 is everywhere defined
for all A in the half-plane JX > 0.
We have thus defined, for all A e C such that «/A > 0, a continuous operator
A(X) = (^ - IT)"1 on E» with image equal to dom^) c dom(/P). Since
(H^ — /l/)^(l) = /, it follows that, for any two complex numbers a, ft such
that */a > 0 and ,//? > 0, the operator
*(a, 0) = (^ - a/^O?) « / + 08 - aX/0
is everywhere defined and continuous; also the operator A(p)(Hi — /?/) is the
identity on dom^), and therefore
(15.13.10.2)	K(oc9 0)K(p, y) = K(a, 7),       K(a, a) == /.
Hence the operators K(a, fi) are invertible and bicontinuous.
This being so, for every x e dom(H*) we have K(i, X) • x e dom(H *) and
(H* - II) - (K(i9 X)-x) = (H* - A/) - jc + (A - i
and likewise (J^T* - //) • (JC(A, 0 • x) = (/?* - A/) • x. This shows that K(i, A)
is a bicontinuous bijection of EjJ onto E+(A). Similarly for E~(A).