Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

If $A$ is a bounded linear operator on a Hilbert space $H$ is it true that $|\langle x,Ax\rangle |=\langle x,|A|x\rangle$ for all $x\in H$? If not, can we at least establish inequality in one direction? Here $|A|$ is the unique positive square root of the positive operator $A^*A$. Hints or references are always appreciated.

share|cite|improve this question
up vote 3 down vote accepted

You cannot expect equality to hold in general. Let $\{ e_n \}_{n \in \mathbb Z}$ be an orthonormal basis of your Hilbert space. Consider the shift operator $Se_n = e_{n+1}$. Then $S^*S=1$ and $|S|=1$ (the identity operator. We then have $$ 0= |\langle e_1 , Se_1 \rangle | \neq \langle e_1, |S|e_1 \rangle =1. $$

This also rules out one possible direction of the inequality. To see that we cannot have an inequality in the other direction, let's look at some $2\times 2$-matrices.

Let $A= \left( \begin{array}{cc} 0 & 1 \\ 5 & 0 \end{array} \right) $ and then $|A|= \left( \begin{array}{cc} 5 & 0 \\ 0 & 1 \end{array} \right) $.

Let $x= \left( \begin{array}{c} 1 \\ 2 \end{array} \right) $.

Then $| \langle x , Ax \rangle | = 12$ but $ \langle x, |A| x \rangle=9$.

Thus not only are the values not equal, there is no inequality between them (in either direction) that always holds.

What is the issue here? Take the polar decomposition of $A= U|A|$. Here $U$ is a partial isometry. Then we are comparing $ | \langle x, A x \rangle | = |\langle U^* x, |A| x \rangle |$ with $ \langle x, |A| x \rangle$.

Should there be an inequality between these two sides? Think of what happens if we fix $|A|$ and allow the partial isometry $U^*$ to be ANY partial isometry. We are then looking at the values obtained by taking the inner product of $|A|x$ with the elements of the (possibly quite large) set $\{U^*x \}$. Depending on $U^*$, this could be either larger or smaller than $\langle x, |A|x \rangle$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.