How can ||P|| = 1 be used to show that P = P*?

buzzmath
Messages
108
Reaction score
0

Homework Statement


Let P be a projection. The definition used is P is a projection if P = PP. Show that ||P|| >=1 with equality if and only if P is orthogonal.

Let ||.|| be the 2-norm

Homework Equations


P = PP. P is orthogonal if and only if P =P*

The Attempt at a Solution



I've proved the first part of ||P|| >= 1 and the first part of the equality portion. Assume P is orthogonal prove ||P|| = 1. However, I'm having a lot of trouble with the second part: Assume ||P|| = 1 show P is orthogonal.

Can someone point me in the right direction or suggest any ideas on how to use ||P|| = 1 to show that P = P*?

I've been playing around with inner products to try to solve this part but haven't gotten anything good out of it that uses the fact that ||P|| = 1
 
Physics news on Phys.org
I know that the square roots of the nonzero eigenvalues of P*P or PP* are the singular values of P and thus also P*. The ||P|| = max{singular value} thus P and P* have the same 2-norm. ||P||=||P*||=1.
I write <(PP*-P*P)x,x> = <P*x,P*x>-<Px,Px>=||P*x||^2-||Px||^2
||P|| = sup (||Px||) where ||x|| = 1.
Does this necessarily mean that ||Px||=||P*x||? I'm thinking the max values of both norms are equal but does that mean that they are equal for all other x values?

If that is true then <(PP*-P*P)x,x> = 0 thus PP*=P*P so P is normal

and a normal matrix is self adjoint so this would complete the last part of the proof.

Does this make sense? I'm worried because I don't really use the fact that ||P|| = 1

I was thinking that maybe since the norm is 1 that could maybe imply ||P*x||=||PX|| and then I would follow as above.

I'm not sure if this is the right direction to go in or if I'm way off.

Thanks for any help
 
There are two things I don't understand about this problem. First, when finding the nth root of a number, there should in theory be n solutions. However, the formula produces n+1 roots. Here is how. The first root is simply ##\left(r\right)^{\left(\frac{1}{n}\right)}##. Then you multiply this first root by n additional expressions given by the formula, as you go through k=0,1,...n-1. So you end up with n+1 roots, which cannot be correct. Let me illustrate what I mean. For this...
Back
Top