Proving T is Normal Operator on Finite Dim Inner Prod Space

  • Thread starter Thread starter Treadstone 71
  • Start date Start date
  • Tags Tags
    Normal Operator
Treadstone 71
Messages
275
Reaction score
0
"Prove that if T is a normal operator on a finite dimensional inner product space, then it has the same image as its adjoint."

I succeeded with F=C, but I can't get it for the general case.
 
Physics news on Phys.org
What did you do for the F=C case, not that you've said what F is (underlying field, perhaps? or the space itself?)

I guess you've tried considering

<Nx,Nx>=<x,N*Nx>=<x,NN*x>=<N*x,N*x.

What did it get you?
 
My book last year gave this as a problem. It says to prove that N(T) = N(T*), and R(T) = R(T*). It gives a hint: use theorem 6.15 and excercise 12. Theorem 6.15 is just the basic facts about normal operators:

|Tx| = |T*x|
T - cI is normal for all c in F
If Tx = cx, then T*x = c*x, where c* denotes the conjugate of c.
If c and d are distinct eigenvalues of T with corresponding eigenvectors x and y, then x and y are orthogonal

Exercise 12 says to prove, for any linear operator T on any inner product space V

a) the orthogonal complement of R(T*) is N(T)
b) If V is finite dimensional, then R(T*) is the orthogonal complement of N(T)

It gives a hint to use another exercise which says:

V is an inner product space, S and S' are subset of V, W is a finite dimensioanl subspace of V. Prove:

a) S' contained in S implies the orthogonal complement of S is contained in the orthogonal complement of S'
b) S is contained in the orth. compl. of the orth. compl. of S, so span(S) is containd in the orth. compl. of the orth. compl. of S
c) W = the orth. compl. of the orth. compl. of W
d) V = W direct sum with the orth. compl. of W

For c, use the fact that if W is a f.d. subspace of an i.p.s V, and y is in V, then there exist unique u in W and z in orth. compl. of W such that y = u + z. For d, prove the fact that if W and W' are subspaces of a vector space V, then V is their direct sum iff for all v in V, there exist unique w and w' in W and W' respectively such that v = w + w'.
 
matt grime said:
What did you do for the F=C case, not that you've said what F is (underlying field, perhaps? or the space itself?)

My guess is that he's using Linear Algebra Done Right by Axler, who uses F to stand for either R or C (the real or complex field, respectively).
 
Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...
Back
Top