I would be interested in seeing a correct statement and proof of the Schmidt decomposition theorem that (I think) says that if [itex]x\otimes y\in H_1\otimes H_2[/itex], there exists a choice of bases for these Hilbert spaces, such that(adsbygoogle = window.adsbygoogle || []).push({});

[tex]x\otimes y=\sum_{n=1}^\infty \sqrt{p_n}\ a_n\otimes b_n[/tex]

with [itex]\sum_n\sqrt{p_n}=1[/itex]. I'm not even sure that this is what the theorem says. Maybe it applies to all members of the tensor product space, and not just members of the form [itex]x\otimes y[/itex]. Wikipedia has a proof for the finite-dimensional case (here), but I'm more interested in the infinite-dimensional case. (I haven't made the effort to try to understand the finite-dimensional case yet). I found this, but I don't see how to relate it to what I wrote above. Maybe it's a completely different theorem, but there are some similarities with Wikipedia's approach (they both talk about eigenvalues of operators of the form (T*T)^{1/2}) that suggest that this is in fact the right theorem, and that I just need to figure out how to use it. (The pages that can't be read at Google Books can be read at Amazon).

**Physics Forums | Science Articles, Homework Help, Discussion**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Schmidt decomposition theorem proof

**Physics Forums | Science Articles, Homework Help, Discussion**