0% found this document useful (0 votes)
12 views10 pages

Introduction to Spectral Theory Concepts

This document introduces spectral theory, defining key concepts such as the spectrum of a linear operator and spectral measures. It presents theorems related to normal and Hermitian operators, including the spectral theorem and properties of spectral measures. The paper also explores applications of spectral theory in weak mixing and almost periodic functions.

Uploaded by

pop3code
Copyright
© All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
12 views10 pages

Introduction to Spectral Theory Concepts

This document introduces spectral theory, defining key concepts such as the spectrum of a linear operator and spectral measures. It presents theorems related to normal and Hermitian operators, including the spectral theorem and properties of spectral measures. The paper also explores applications of spectral theory in weak mixing and almost periodic functions.

Uploaded by

pop3code
Copyright
© All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd

INTRODUCTION TO SPECTRAL THEORY

WILLIAM CASPER

Abstract. This is an abstract.

1. Introduction
Throughout this paper, we let H denote a Hilbert space, X a measureable space
and Ω a σ-algebra of subsets of X. By an operator T on H we will always mean a
linear transformation such that the operator norm
kT k := sup{kT ψk : ψ ∈ H, kψk = 1}
is finite. An operator will be called invertible if it has an algebraic inverse T −1
which is also an operator on H.
1.1. Basic Definitions and Facts.
Definition 1.1. The spectrum of a linear operator T on H is
(1) spec(T ) = {λ ∈ C : T − λ is not invertible. }.
The approximate point spectrum of T is
(2)
aspec(T ) = {λ ∈ C : ̺(T − λ) = 0}, where ̺(T ) = inf{kT ψk : ψ ∈ H, kψk = 1}.
Theorem 1.1. aspec(T ) ⊂ spec(T ).
Theorem 1.2. If T is a normal operator, then aspec(T ) = spec(T ).
Theorem 1.3 (Transforms of Spectra).
(i) If p ∈ C[x], then
spec(p(T )) = p(spec(T )) := {p(λ) : λ ∈ spec(T )}.
(ii) If T is invertible, then
spec(T −1 ) = (spec(T ))−1 := {λ−1 : λ ∈ spec(T )}.
(iii) The spectrum of the adjoint of T satisfies
spec(T ∗ ) = (spec(T ))∗ := {λ∗ : λ ∈ spec(T )}.
Theorem 1.4. Define
(3) NT (f ) = sup{|f (λ)| : λ ∈ spec(T )}.
In general, spec(T ) is a compact subset of the complex plane and NT (x) ≤ kT k.
If T is Hermitian, then spec(T ) is a subset of R and NT (p(x)) = kp(T )k for any
polynomial p ∈ R[x].

Date: February 24, 2010.


1
2 WILLIAM CASPER

2. Spectral Measures
Definition 2.1. A spectral measure E on a measureable space (X, Ω) is a
projection-valued (idempotent, hermitian) set function
E : Ω → { projections on H}
satisfying
(i) E(X) = 1;
(ii) for any collection of pairwise disjoint sets {Ak }∞
k=1 ,
Ã∞ ! ∞
[ X
E Ak = E(Ak ).
k=1 k=1

Theorem 2.1 (Properties of Spectral measures). If E is a spectral measure, then


for all A, B ∈ Ω
(i) if A ⊂ B, then E(A) ≤ E(B);
(ii) if A ⊂ B, then E(B \ A) = E(B) − E(A);
(iii) E(A ∪ B) + E(A ∩ B) = E(A) + E(B);
(iv) E(A ∩ B) = E(A)E(B).
Theorem 2.2. A function
E : Ω → { projections on H}
is a spectral measure if and only if
(i) E(X) = 1;
(ii) for any two fixed elements ψ, φ ∈ H,the function µ : Ω → C defined by
µ(A) = hE(A)ψ, φi for all A ∈ Ω
is a complex measure. We use the notation dhE(λ)ψ, φi = dµ(λ) so that in
general
Z
1A dhE(λ)ψ, φi = hE(A)ψ, φi for all A ∈ Ω.

Theorem 2.3. If E is a spectral measure and f is an R E-measureable


R function,
then there exists a unique operator denoted by either f dE or f (λ)dE(λ) and
defined as
¿Z À Z
(4) f dEψ, φ = f (λ)dhE(λ)ψ, φi.
R
Theorem 2.4 (Properties of f dE). Given any E-measureable functions f, g and
α ∈ C,
R R
(i) R (αf )dE = α R f dE; R
(ii) (f + g)dE = f dE + gdE;
¡R ¢∗ R ∗
(iii) R f dE = ¡R f dE;¢ ¡R ¢
(iv) f gdE = f dE f dE .

R If E is a spectral measure and E(A) commutes with T for every


Theorem 2.5.
A ∈ Ω, then f dE commutes with T .
INTRODUCTION TO SPECTRAL THEORY 3

3. Complex Spectral Measures


For the remainder of the paper, we assume that X is a locally compact Hausdorff
space and that Ω is the Borel σ-algebra on X.

Definition 3.1. A spectral measure is regular if for all A ∈ Ω,

E(A) = sup{E(C) : C ⊂ A, C is compact }.

Definition 3.2. The spectrum of a spectral measure is

spec(E) := X \{λ ∈ X : λ ∈ A, A is open, E(A) = 0}.

A spectral measure is compact if its spectrum is compact.

Theorem 3.1. If E is a regular spectral measure, then spec(E) is closed and


E(X \ spec(E)) = 0 (and therefore E(spec(E)) = 1).

Theorem 3.2. For any complex-valued, E-measureable function bounded on spec(E),


define
NE (f ) = sup{|f (λ)| : λ ∈ spec(E)}.
Then if E°Ris a compact,
° regular spectral measure and f is a continuous function on
X, then ° f dE ° = NE (f ).

Definition 3.3. A spectral measure is called complex when X = C.

Theorem 3.3. Every complex spectral measure is regular.


R
Theorem 3.4. If E is a compact, complex spectral measure and if T = λdE(λ),
then spec(T ) = spec(E).

Theorem
R 3.5. A complex spectral measure is defined completely by the operator
λdE(λ). That
R is, givenR two complex spectral measures E1 and E2 , E1 = E2 if
and only if λdE1 (λ) = λdE2 (λ).

Theorem 3.6. Let E be a complex spectral measure and T an operator.R Then T


commutes with E(A) for all A ∈ Ω if and only if T commutes with both λdE(λ)
and λ∗ dE(λ).
R

4. The Spectral Theorem


Theorem 4.1 (Spectral Theorem for Hermitian Operators). Let T be a Hermitian
operator. RThen there exists a unique compact, complex spectral measure E such
that T = λdE(λ).

Theorem 4.2 (Spectral Theorem for Normal Operators). Let T be a normal op-
erator.
R Then there exists a unique compact, complex spectral measure E such that
T = λdE(λ).

DefinitionR 4.1. For any normal operator T , we call the spectral measure E satis-
fying T = λdE(λ) the spectral measure of T .
4 WILLIAM CASPER

Appendix A. Applications of the Spectral Theorem


A.1. Weak Mixing. As a first example application of the spectral theorem, we
will use it to show that a measure-preserving transformation T is weak mixing when
the only eigenfunctions of the unitary operator UT defined by UT f (x) = f (T x) are
the constants.
Definition A.1. Let (X, Ω, µ) be a probability space and T a measure preserving
transformation (mpt) on X (µ(A) = µ(T −1 (A)) for all A ∈ Ω). Then T is called
weakly mixing if
n−1
1X
(5) lim |µ(T k (A ∩ B) − µ(A)µ(B)| → 0
n→∞ n
k=0

for all A, B ∈ Ω.
Theorem A.1. A mpt T is weakly mixing if the only measureable eigenfunctions
of UT are the constants.
Proof. We first note that T is weakly mixing if and only if
n−1
1X
(6) lim |hUTk f, gi − hf, 1ih1, gi| → 0
n→∞ n
k=0

for all f, g ∈ L2 (µ).


Let V be the closed linear subspace of the eigenfunctions of T in L2 (µ) and let
E be the spectral measure of T . Then for any λ0 ∈ spec(UT ), we have that
Z Z Z
UT E({λ0 }) = λdE(λ) 1λ0 (λ)dE(λ) = λ1{λ0 } (λ)dE(λ) = λ0 E({λ0 }),

so that in particular UT E({λ0 })f = λ0 f for every f ∈ L2 (µ). Thus E({λ0 })f ∈ V
for all f ∈ L2 (µ). If f ∈ V ⊥ , this implies that
0 = hE({λ0 })f, f i = hE({λ0 })2 f, f i = hE({λ0 })f, E({λ0 })f i,
and therefore E({λ0 })f = 0.
Now fix an f ∈ V ⊥ and g ∈ L2 (µ) and define µ to be the complex Borel measure
on the spectrum of T satisfying dµ = dhE(λ)f, gi. Then for all λ0 ∈ spec(T ), we
have that
µ({λ0 }) = hE({λ})f, gi = 0.
Setting ∆ = {(λ, ω) ∈ spec(UT ) × spec(UT ) : λ = ω}, we find
n−1 n−1 Z n−1
1X 1X 1X k
Z
|hUTk f, gi|2 = |h λk dE(λ)f, gi|2 = |λ hdE(λ)f, gi|2
n n n
k=0 k=0 k=0
n−1 n−1
1X 1X
Z Z Z
= | λk dµ(λ)|2 = λk dµ(λ) (ω)k dµ∗ (ω)
n n
k=0 k=0
n−1 n−1
1 1X
X Z Z Z

= k
(λω) dµ(λ)dµ (ω) = (λω)k d(µ × µ∗ )(λ, ω)
n n
k=0 k=0
1 1 − (λω)k
Z Z
= d(µ × µ∗ )(λ, ω) + 1d(µ × µ∗ )(λ, ω).
∆c n 1 − λω ∆
INTRODUCTION TO SPECTRAL THEORY 5

Additionally,
Z Z Z Z
1d(µ × µ∗ )(λ, ω) = 1∆ (λ, ω)dµ(λ)dµ∗ (ω) = µ({ω})dµ∗ (ω) = 0.

For (λ, ω) ∈/ ∆, (1 − (λω)k )/(1 − λω) is a cyclotomic polynomial, and is therefore


bounded on the compact set spec(UT ). Thus by the bounded convergence theorem
1 1 − (λω)k
Z Z
lim d(µ × µ∗ )(λ, ω) = 0d(µ × µ∗ )(λ, ω) = 0.
n→∞ ∆c n 1 − λω ∆ c

We conclude that
n−1
1X
lim |hUTk f, gi|2 = 0.
n→∞ n
k=0
By the Cauchy-Schwartz inequality,
Ãn−1 !2 n−1
X X
k
|hUT f, gi| ≤n |hUTk f, gi|2 .
k=0 k=0
2
Dividing both sides by n , we find
à n−1 !2 n−1
1X 1X
k
|hUT f, gi| ≤ |hUTk f, gi|2 ,
n n
k=0 k=0

and therefore
n−1
1X
lim |hUTk f, gi| = 0.
n→∞ n
k=0
Now for any f, g ∈ L2 (G), if the eigenfunctions of UT are the constants, f −
hf, 1i ∈ V ⊥ . Therefore
n−1 n−1
1X 1X
lim |hUTk (f − hf, 1i), gi| = lim |hUTk f − hf, 1i, gi|
n→∞ n n→∞ n
k=0 k=0
n−1
1 X
= lim |hUTk f, gi − hf, 1ih1, gi| = 0.
n→∞ n
k=0

Therefore T is weakly mixing. ¤


A.2. Almost Periodic Functions.

Appendix B. Proofs of Theorems


B.1. Proof for Section 1.
Proof of Theorem (1.1). If λ ∈
/ spec(T ), then T − λ is invertible. Thus for any
ψ ∈ H with kψk = 1, we have that
1 = kψk = k(T − λ)−1 (T − λ)ψk ≤ k(T − λ)−1 k · k(T − λ)ψk.
Thus ̺ (as defined by Eq. (1)) satisfies ̺(T − λ) ≥ 1/k(T − λ)−1 k and so λ ∈
/
aspec(T ). This proves our theorem. ¤
Lemma B.1. An operator T is invertible if and only if its range is dense in H and
there exists a positive real number c > 0 such that kT ψk ≥ ckψk for all ψ ∈ H.
6 WILLIAM CASPER

Proof. If T is invertible, then it is a bijection and therefore the range must be H.


Moreover,
kψk = kT −1 T ψk ≤ kT −1 k · kT ψk,
so kT ψk ≥ ckψk with c = 1/kT −1 k.
Conversely, suppose the range of T is dense in H and there exists a positive
real number c > 0 such that kT ψk ≥ ckψk for all ψ ∈ H. We first show that
the range of T is H. Let {φi }∞ i=1 be a convergent sequence in the range of H
converging to φ. For every i > 0, there exists a ψi ∈ H such that T ψi = φi .
Moreover, kψi − ψj k ≤ kφi − φj k/c. It follows that the sequence {ψi }∞i=1 is Cauchy
and therefore converges to a function ψ ∈ H. Since T is continuous, φ = T ψ, and
therefore φ is in the range of T . We conclude that the range of T is closed. Since
the range of T is dense in H, the range of T must be H.
The kernel of T is trivial, since if ψ ∈ ker(T ), then kψk ≤ kT ψk/c = 0, implying
that ψ = 0. Thus T is a bijection, and all that is left to show is that the algebraic
inverse, which we call T −1 , is bounded. We have that kT −1 ψk ≤ kT T −1 ψk/c ≤
kψk/c. It follows that kT −1 k ≤ 1/c. This proves our theorem. Incidentally, this
also shows us that c = 1/kT −1 k is the ”sharpest” value for c. ¤
Proof of Theorem (1.2). By Theorem (1.1), we need only prove spec(T ) ⊂ aspec(T ).
Suppose that λ ∈ / aspec(T ). Then there exists a constant c > 0 such that k(T −
λ)ψk ≥ ckψk for all ψ ∈ H. By Lemma (B.1), we need only show that the
range of T − λ is dense in H. Since T commutes with T ∗ , T − λ commutes
with (T − λ)∗ = T ∗ − λ∗ , and it follows that k(T − λ)ψk = k(T ∗ − λ∗ )ψk for
all ψ ∈ H. If φ ∈ rangle(T − λ)⊥ , then 0 = h(T − λ)ψ, φi = hψ, (T ∗ − λ∗ )φi
for all ψ ∈ H, and therefore (T ∗ − λ∗ )φ = 0. It follows that φ = 0, since
kφk ≤ k(T − λ)φk/c = k(T ∗ − λ∗ )φk/c = 0. Thus rangle(T − λ)⊥ = {0} and
it follows that rangle(T − λ) is dense in H. This proves our theorem. ¤
Proof of Theorem (1.3). (i) Let p ∈ C[x] and λ ∈ spec(T ). Then λ is a root of
r(x) = p(x) − p(λ) and therefore there exists a polynomial q ∈ C[x] such that
q(x)(x − λ) = p(x) − p(λ). If r(T ) is invertible, then q(T ) commutes with
r−1 (T ) and
(T − λ)q(T )r(T )−1 = r(T )r(T )−1 = 1 = r(T )−1 r(T ) = r(T )−1 (T − λ)q(T )
= r(T )−1 q(T )(T − λ) = q(T )r(T )−1 (T − λ).
It follows that (T − λ) is invertible with (T − λ)−1 = q(T )r(T )−1 , which is a
contradiction. Thus r(T ) is not invertible and p(λ) ∈ spec(p(T )).
Conversely, suppose λ ∈ spec(p(T )) and let {ri }ni=1 be the roots of the
polynomial p(x) − λ. We have that p(x) − λ = (x − r1 ) . . . (x − rn ) and
therefore p(T ) − λ = (T − r1 ) . . . (T − rn ). Since p(T ) − λ is not invertible,
(T − rj ) is not invertible for some j. Whence rj ∈ spec(T ) and p(rj ) − λ = 0.
We conclude that λ ∈ p(spec(T )). This proves (i).
(ii) Note that for any λ ∈ C, we have that T −1 − λ−1 = −T −1 λ−1 (T − λ), and
it follows that T −1 − λ−1 is invertible if and only if T − λ is invertible. This
proves (ii).
(iii) If λ ∈/ spec(T ), then T − λ is invertible. It follows that (T − λ)∗ = T ∗ − λ∗
is invertible, and therefore spec(T ∗ ) ⊂ spec(T )∗ . By the same argument
with T replaced by T ∗ , spec(T ) = spec((T ∗ )∗ ) ⊂ spec(T ∗ )∗ , and therefore
spec(T )∗ ⊂ (spec(T ∗ )∗ )∗ = spec(T ∗ ). This proves our theorem.
INTRODUCTION TO SPECTRAL THEORY 7

¤
Lemma B.2. If T is an operator such that k1 − T k < 1, then T is invertible.
Proof. Define c > 0 by c = 1 − k1 − T k. Then
kT ψk = kψ − (ψ − T ψ)k ≥ kψk − k(1 − T )ψk ≥ kψk − k(1 − T )k · kψk = ckψk.
Thus by Lemma (B.1), we need only show that the range of T is dense in H. Let
φ ∈ H and let δ = inf{kT ψ − φk : ψ ∈ H}. Suppose that δ > 0. Then for all
c
ǫ = δ 1−c , there exists ψ ∈ H such that δ ≤ kT ψ − φk < δ + ǫ. Moreover
δ ≤ kT (T ψ−φ)−(T ψ−φ)k = k(1−T )(T ψ−φ)k < (1−c)kT ψ−φk = (1−c)(δ+ǫ) ≤ δ.
That is, δ < δ, which is a contradiction. We conclude that δ = 0. Since φ ∈ H was
taken arbitrarily, this means that the range of T is dense in H. This proves our
lemma. ¤
Proof of Theorem (1.4). If λ0 ∈ / spec(T ), then T − λ0 is invertible. If λ ∈ C with
|λ − λ0 | < r := 1/k(T − λ0 )−1 k, then
k1 − (T − λ0 )−1 (T − λ)k = k(T − λ0 )−1 [(T − λ0 ) − (T − λ)]k
≤ k(T − λ0 )−1 k · |λ − λ0 | < 1.
Therefore by Lemma (B.2) (T − λ0 )−1 (T − λ) is invertible and it follows that
(T − λ) must be invertible. We conclude that the ball B(λ0 ; r) about λ0 of radius r
is contained in C \ spec(T ). It follows that C \ spec(T ) is open and therefore spec(T )
is closed. Moreover, if λ ∈ C satisfies kT k < |λ|, then k1 − (1 − T /λ)k = kT /λk < 1
and therefore 1−T /λ is invertible by Lemma(B.2). It follows that T −λ is invertible,
and therefore λ ∈ / spec(T ). Thus if λ ∈ spec(T ), then |λ| ≤ kT k necessarily. In
particular, this shows that NT (x) ≤ kT k and that spec(T ) is a closed and bounded
subset of C (and therefore compact).
Suppose T is Hermitian and λ ∈ spec(T ). Then T is normal and spec(T ) =
aspec(T ) by Theorem (1.2). Thus there exists a sequence {ψi }∞ i=1 ⊂ H such that
kψi k = 1 for all i and k(T − λ)ψi k → 0. Thus
|λ − λ∗ | = |λ − λ∗ | · kψi k2 = |h(T − λ)ψi , ψi i − h(T − λ∗ )ψi , ψi i|
= |h(T − λ)ψi , ψi i − hψi , (T − λ)ψi i|
≤ 2k(T − λ)ψi k · kψi k = 2k(T − λ)ψi k → 0.
It follows that λ is real. Moreover for any λ ∈ R, since T is Hermitian, we have the
relation
kT 2 ψ − λ2 ψk2 = hT 2 ψ − λ2 ψ, T 2 ψ − λ2 ψi
= kT 2 ψk2 + |λ|4 kψk2 − (λ2 )∗ hT 2 ψ, ψi − λ2 hψ, T 2 ψi
= kT 2 ψk2 + λ4 kψk2 − 2λ2 kT ψk2 .
Now let {ψi }∞
i=1 ⊂ H be a sequence such that kψi k = 1 for all i and kT ψi k → kT k.
Then taking λ = kT k in the above relation, we find that
k(T 2 − kT k2 )ψi k2 = kT 2 ψi − λ2 ψi k2 = kT 2 ψi k2 + λ4 kψi k2 − 2λ2 kT ψi k2
= kT 2 ψi k2 + kT k4 − 2kT k2 kT ψi k2 → 0.
Thus kT k2 ∈ spec(T 2 ), and it follows from Theorem (1.3) that either kT k ∈ spec(T )
or −kT k ∈ spec(T ). In particular, this proves NT (x) = kT k. If p(x) ∈ R[x], then
8 WILLIAM CASPER

p(T ) is Hermitian and therefore NT (p(x)) = Np(T ) (x) = kp(T )k. This proves our
theorem. ¤
B.2. Proofs for Section 2.
B.3. Proofs for Section 3.
B.4. Proofs for Section 4.
Lemma B.3 (Weierstrass Approximation Theorem). Let X be a compact subset
of R and let f be a continuous function on X. Then there exists a sequence of real
polynomials {pi }∞
i=1 such that pi → f uniformly on X.

Lemma B.4. Let L be a bounded linear functional on R[x] and let X be a compact
subset of R. Then there exists a unique Borel measure µ on X satisfying
Z
L(p) = p(λ)dµ(λ) for all p ∈ R[x].

Sketch of proof. Let Ω be the collection of all Borel subsets of X and let A ∈ Ω.
Let {pi }∞
i=1 ⊂ R[x] be a sequence of polynomials with pi → 1A uniformly on X.
Define µ(A) by
µ(A) = lim L(pi ).
i→∞
Then µ is a well-defined complex Borel measure on X. ¤
Proof of Theorem (4.1). Let ψ, φ ∈ H and define a function
L : R[x] → C
by L(p) = hp(T )ψ, φi. Then L is linear and
|L(p)| ≤ kp(T )ψk · kφk ≤ kp(T )k · kψk · kφk ≤ NT (p(x)) · kψk · kφk
and therefore L is a linear functional on R[x]. The set R[x] is a dense subset of
the collection of all continuous, real-valued functions on spec(T ), and it follows
that there exists a unique complex measure µ on X = spec(T R ) with σ-algebra Ω
consisting of all Borel subsets of spec(T ) such that L(p) = p(λ)dµ(λ) for all p ∈
C[x]. For given ψ, φ ∈ H, we denote this measure by µ(ψ,φ) . Let ψ1 , ψ2 , φ1 , φ2 ∈ H
and let α ∈ C.
Z
p(λ)dµ(ψ1 +ψ2 ,φ) (λ) = hp(T )(ψ1 + ψ2 ), φi = hp(T )ψ1 , φi + hp(T )ψ2 , φi
Z Z
= p(λ)dµ(ψ1 ,φ) (λ) + p(λ)dµ(ψ2 ,φ) (λ),

from which it follows that


µ(ψ1 +ψ2 ,φ) = µ(ψ1 ,φ) + µ(ψ2 ,φ) .
Similarly,
µ(ψ,φ1 +φ2 ) = µ(ψ,φ1 ) + µ(ψ,φ2 ) ;
µ(αψ,φ) = αµ(ψ,φ) and µ(ψ,αφ) = α∗ µ(ψ,φ) .
Lastly, for A ∈ Ω we have that
½ ¯Z ¯ ¾
1 ¯¯ ¯
|µ(ψ,φ) (A)| ≤ |µ(ψ,φ) |(X) = sup pdµ(ψ,φ) ¯ : p ∈ C[x]
¯
NT (p) ¯
= sup {|hp(T )ψ, φi|/NT (p) : p ∈ C[x]} = kψk · kφk.
INTRODUCTION TO SPECTRAL THEORY 9

For any A ∈ Ω, we define µA (ψ, φ) = µ(ψ,φ) (A). The above properties show us that
µA is a symmetric, bilinear functional, and therefore for every A ∈ Ω, there exists a
unique Hermitian operator E(A) such that µA (ψ, φ) = hE(A)ψ, φi for all ψ, φ ∈ H.
We first show that E(A) is idempotent for all A ∈ Ω by proving the more general
result E(A ∩ B) = E(A)E(B) for all A, B ∈ Ω. Fix B ∈ Ω and let {qi }∞ i=1 ⊂ R[x]
be a fixed sequence of polynomials with qi (λ) → 1A (λ) uniformly on X. Also fix
ψ, φ ∈ H. For each i, define a measure νi by dνi (λ) = qi (λ)dµ(ψ,φ) (λ). Then for
any p ∈ C[x], q(T ) is Hermitian commutes with p(T ) and we have that
Z Z
p(λ)dνi (λ) = p(λ)qi (λ)dµ(ψ,φ) (λ) = hp(T )qi (T )ψ, φi
Z
= hp(T )ψ, qi (T )φi = p(λ)dµ(ψ,qi (T )φ) .

Let A ∈ Ω and {pi }∞ i=1 ⊂ R[x] be a sequence of polynomials with pi (λ) → 1A (λ)
uniformly on X. Then the dominated convergence theorem tells us that
Z Z
νi (A) = lim pi (λ)qi (λ)dµ(ψ,φ) (λ) = lim pi (λ)dµ(ψ,qi (T )φ) (λ)
i→∞ i→∞
Z
= 1A (λ)dµ(ψ,qi (T )φ) (λ) = µA (ψ, qi (T )φ) = hE(A)ψ, qi (T )φi
Z
= hqi (T )E(A)ψ, φi = qi (λ)dµ(E(A)ψ,φ) (λ)

The dominated convergence theorem also tells us that


Z Z
hE(A ∩ B)ψ, φi = 1A∩B (λ)dµ(ψ,φ) (λ) = 1A (λ)1B (λ)dµ(ψ,φ) (λ)
Z
= lim νi (A) = lim qi (λ)dµ(E(A)ψ,φ) (λ)
i→∞ i→∞
Z
= 1B (λ)dµ(E(A)ψ,φ) (λ) = hE(B)E(A)ψ, φi.

Since A, B ∈ Ω and ψ, φ ∈ H were arbitrary, this proves that E(A∩B) = E(A)E(B)


for all A, B ∈ Ω. Thus E is idempotent.
Lastly, we have that
Z
hE(X)ψ, φi = µX (ψ, φ) = µ(ψ,φ) (X) = 1dµ(ψ,φ) (λ) = hψ, φi,

and by Theorem (2.2) this means that E(X) is a compact, complex spectral mea-
sure. A quick calculation shows that
Z
λdµ(ψ,φ) (λ) = hT ψ, φi.

The uniqueness of the measure follows from Theorem (3.5). This proves our theo-
rem. ¤
Sketch of proof of Theorem (4.2). Let T be normal and define T1 and T2 by T1 =
1 ∗ 1 ∗
2 (T + T ) and T2 = 2i (T − T ). Then T1 and T2 are Hermitian withRT = T1 + iT2
and there exist unique spectral measures E1 , E2 such that Ti = λdEi (λ) for
i = 1, 2.
Define A = {A + iB : A, B real Borel sets } and define a projection-valued set
function E by E(A + iB) = E1 (A)E2 (B). Then A is an algebra of sets and the
10 WILLIAM CASPER

σ-algebra generated by A is Ω, the collection of all Borel subsets of C. Moreover,


E(C) = E1 (R)E2 (R) = 1 and E extends uniquely to a projection-valued measure
E on C.
¤

You might also like