[math] \newcommand{\mathds}{\mathbb}[/math]

This article was automatically generated from a tex file and may contain conversion errors. If permitted, you may login and edit this article to improve the conversion.

Prove that any positive operator [math]T\geq0[/math] appears as

[[math]] T=S^2 [[/math]]

with [math]S[/math] self-adjoint, first in finite dimensions, then in general.