|
|
![[parent]](http://images.planetmath.org:8080/images/uparrow.png) Viewing Message
|
|
|
| ``Re: The converse''
by asteroid on 2007-10-06 21:47:57 |
|
| Hi,
I mean the latter: [<Tv,v> is real and nonnegative] implies positivity for arbitrary T.
Self-adjointness comes as a consequence. Notice that
<(T-T*)v,v> = <Tv,v> - <T*v,v> = <Tv,v> - <v,Tv> =
= <Tv,v> - conjugate{<Tv,v>} = <Tv,v> - <Tv,v> = 0
for all vectors v in H.
Since we are assuming that the Hilbert space is complex, we can conclude that T-T*= 0 , i.e. T is self-adjoint.
- Self-adjointness is really more than a consequence. In order to prove positivity we need to prove self-adjointness first (at least in the proofs I'm thinking about), so your question makes every sense.
To prove positivity you can either use the spectral theorem for normal operators (general version) or the theorem (stated in the entry) about the positive spectrum: T is positive iff [T is normal and has non-negative spectrum].
Hope this helps..
P.S. - I would dare to say that all of this is false for real Hilbert spaces. |
| | [ reply | up | top ] | |
|
|
|
|
|
|
|
