polar decomposition
The polar decomposition of an operator
is a generalization
of the familiar factorization of a complex number in a radial part and an angular part .
Let be a Hilbert space, a bounded operator
on . Then there exist a pair , with a bounded
positive operator and a partial isometry on , such that
If we impose the further conditions that is the projection to the kernel of , and , then is unique, and is called the polar decomposition of . The operator will be , the square root of , and will be the partial isometry, determined by
- •
for
- •
for .
If is a closed, densely defined unbounded operator on , the polar decomposition still exists, where now will be the unbounded positive operator with the same domain as , and still the partial isometry determined by
- •
for
- •
for .
If is affiliated with a von Neumann algebra , both and will be affiliated with .