1
$\begingroup$

Let $H$ be a hilbert space. $L(H)$ be the set of linear operators on $H$.

Suppose that $S,T\in L(H)$ and $S\geq0$, $\|Sx\|=\|Tx\|$ for every $x\in H$.

Can I conclude that $S=\sqrt{T^*T}$?

  • 0
    I modified it. Thanks.2011-04-05

3 Answers 3

3

Because $\|\sqrt{T^*T}x\|^2=\langle T^*Tx,x\rangle=\|Tx\|^2$ for all $x$, the question amounts to the following: If $S$ and $P$ are positive operators on $H$ such that $\|Sx\|=\|Px\|$ for all $x\in H$, then must $S=P$? The answer is yes.

For all $x$ and $y$ in $H$, comparing the expansions of $\|S(x+y)\|^2$ and $\|P(x+y)\|^2$ in terms of the inner product shows that $\Re\langle S^2x,y\rangle =\Re\langle P^2x,y\rangle$, and comparing the expansions of $\|S(x+iy)\|^2$ and $\|P(x+iy)\|^2$ in terms of the inner product shows that $\Im\langle S^2x,y\rangle=\Im\langle P^2x,y\rangle$. Therefore $\langle S^2x,y\rangle=\langle P^2x,y\rangle$ for all $x$ and $y$, which implies that $S^2=P^2$. By uniqueness of positive square roots, $S=P$.

2

Yes: the condition $\|Sx\| = \|Tx\|$ squares and expands to $(S^*Sx|x) = (T^*Tx|x)$ for all $x$. It follows by Polarisation that $T^*T = S^*S = S^2$. Now positive operators have unique square-roots, so we conclude that $S = \sqrt{T^*T}$ as required.

Polarisation: for an operator $R$ we have that $ 4(Rx|y) = \sum_{k=0}^3 i^k (R(x+i^ky)|x+i^ky). $ So if $(Rx|x)=0$ for all $x$, this shows that also $(Rx|y)=0$, so $R=0$.

  • 0
    @joriki: Yep, thanks.2011-04-05
2

Yes. For all $x \in H$, $\langle x, S^2 x \rangle = \|S x\|^2 = \|T x\|^2 = \langle x T^* T x \rangle$. By the polarization identity, $\langle x, S^2 y \rangle = \langle x, T^* T y \rangle$ for all $x$ and $y$, so that $S^2 = T^* T$. By the uniqueness of positive semidefinite square roots, $S = \sqrt{T^* T}$.