PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very low Entry average rating: No information on entry rating
polar decomposition (Definition)

The polar decomposition of an operator is a generalization of the familiar factorization of a complex number $z$ in a radial part $|z|$ and an angular part $z/|z|$ .

Let $ \mathscr{H}$ be a Hilbert space, $x$ a bounded operator on $ \mathscr{H}$ . Then there exist a pair $(h,u)$ , with $h$ a bounded positive operator and $u$ a partial isometry on $ \mathscr{H}$ , such that $$ x=uh $$

If we impose the further conditions that $1-u^*u$ is the projection to the kernel of $x$ , and $\ker(h)=\ker(x)$ , then $(h,u)$ is unique, and is called the polar decomposition of $x$ . The operator $h$ will be $|x|$ , the square root of $x^*x$ , and $u$ will be the partial isometry, determined by

  • $u\xi=0$ for $\xi \in \ker(x)$
  • $u(|x|\xi)=x\xi$ for $ \xi\in \mathscr{H}$ .

If $x$ is a closed, densely defined unbounded operator on $ \mathscr{H}$ , the polar decomposition $(u,h)$ still exists, where now $h$ will be the unbounded positive operator $|x|$ with the same domain $ \mathscr{D}(x)$ as $x$ , and $u$ still the partial isometry determined by

  • $u\xi=0$ for $\xi \in \ker(x)$
  • $u(|x|\xi)=x\xi$ for $ \xi\in \mathscr{D}(x)$ .

If $x$ is affiliated with a von Neumann algebra $M$ , both $u$ and $h$ will be affiliated with $M$ .




"polar decomposition" is owned by aube.
(view preamble | get metadata)

View style:


Attachments:
polar decomposition in von Neumann algebras (Result) by asteroid
Log in to rate this entry.
(view current ratings)

Cross-references: von Neumann algebra, domain, unbounded, unbounded operator, densely defined, closed, square root, kernel, projection, partial isometry, positive operator, bounded, bounded operator, Hilbert space, radial, complex number, operator
There are 4 references to this entry.

This is version 7 of polar decomposition, born on 2006-06-23, modified 2007-07-22.
Object id is 8075, canonical name is PolarDecomposition.
Accessed 3188 times total.

Classification:
AMS MSC47A05 (Operator theory :: General theory of linear operators :: General )

Pending Errata and Addenda
None.
[ View all 3 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)