16.-Linear-Algebra-by-Kenneth-Hoffman · Problem 9.5.12

Operators on Inner Product Spaces

Mathematics — Linear Algebra · self-adjoint-algebra-without-identity

Problem

Let

\mathfrak{F}

be a commuting family of diagonalizable normal operators on a finite-dimensional inner product space

V

and

\mathfrak{A}_0

the self-adjoint algebra generated by

\mathfrak{F}

. Let

\mathfrak{A}

be the self-adjoint algebra generated by

\mathfrak{F}

and the identity operator

I

. Show that (a)

\mathfrak{A}

is the set of all operators on

V

of the form

cI + T

where

c

is a scalar and

T

an operator in

\mathfrak{A}_0

. (b) There is at most one root

r

\mathfrak{A}

such that

r(T) = 0

for all

T

\mathfrak{A}_0

. (c) If one of the roots of

\mathfrak{A}

0

\mathfrak{A}_0

, the projections

P_1, \ldots, P_k

in the resolution of the identity defined by

\mathfrak{F}

may be indexed in such a way that

\mathfrak{A}_0

consists of all operators on

V

of the form

T = \sum_{j=2}^{k} c_j P_j

where

c_2, \ldots, c_k

are arbitrary scalars. (d)

\mathfrak{A} = \mathfrak{A}_0

if and only if for each root

r

\mathfrak{A}

there exists an operator

T

\mathfrak{A}_0

such that

r(T) \neq 0