2
$\begingroup$

Suppose $\mathcal{H}$ is a separable Hilbert space over $\mathbb{C}$ (countable dimensions) with inner product $\langle,\rangle$. Let $A$ be a bounded linear operator on $\mathcal{H}$, i.e, in $B(\mathcal{H}$). Suppose further that $A$ is not a multiple of the identity operator. Then is it true that there exist two elements of $\mathcal{H}$, call them $v_1$,$v_2$, of norm 1, such that $\langle v_1 , A v_1 \rangle \neq \langle v_2, A v_2 \rangle$? This is true in finite dimensions (I think).

$\endgroup$
3
  • $\begingroup$ For finite dimensional spaces, this is false. For instance, consider rotations in $R^2$. $\endgroup$
    – Malte
    Jun 10, 2012 at 14:38
  • $\begingroup$ I think he/she has a complex Hilbert space in mind. $\endgroup$ Jun 10, 2012 at 14:58
  • $\begingroup$ yes, I mean complex Hilbert space, thanks for pointing out. Over ℝ, skew symmetric matrices are a counterexample in finite dimensions. $\endgroup$ Jun 10, 2012 at 15:57

2 Answers 2

8
$\begingroup$

The answer is yes, this is true (assuming that the Hilbert space is complex).

If $\langle \xi,A\xi \rangle = \sigma$ for some $\sigma \in \mathbb C$ and all $\xi$, then $B:=A - \bar \sigma 1_H$ has the property that $\langle \xi,B\xi \rangle =0$ for all $\xi \in H$. We need to show $B=0$. Let $\xi \in H$ be arbitrary and consider the vector $\lambda \xi + \mu B\xi$ for some $\lambda,\mu \in \mathbb C$.

We get: $$0=\langle \lambda \xi + \mu B \xi, \lambda B\xi + \mu B^2 \xi \rangle = \lambda \bar\mu \langle \xi,B^2 \xi \rangle + \mu \bar\lambda \|B \xi\|^2$$ for all complex $\lambda$ and $\mu$. Taking $\lambda = \mu = 1$, we see $\|B\xi\|^2 = - \langle \xi,B^2 \xi \rangle$. Taking $\lambda=1, \mu=i$, we get $\|B\xi\|^2 = \langle \xi,B^2 \xi \rangle$. This shows $B \xi =0$.

$\endgroup$
4
  • 1
    $\begingroup$ Or you can just use the polarization identity ... $\endgroup$
    – Nik Weaver
    Jun 10, 2012 at 17:13
  • $\begingroup$ Nik, the polarization identity gives the scalar product in terms of the norm. What would be the argument? Anyhow, since the argument is elementary, there are surely many ways to see this. $\endgroup$ Jun 10, 2012 at 17:29
  • 4
    $\begingroup$ Andreas, if $\omega$ is uniformly distributed in the unit circle, or in $\{1,i,-1,-i\}$, I like to call the formula $\langle\xi,B\eta\rangle = \mathbb E(\omega \langle\xi+\omega \eta,B(\xi+\omega \eta)\rangle)$ a polarization identity. $\endgroup$ Jun 10, 2012 at 18:01
  • $\begingroup$ Ok, now I understand. $\endgroup$ Jun 10, 2012 at 18:07
0
$\begingroup$

Nothing new compared to Andreas's answer, just wanted to stress the polarization idea:

Notation: For $H$ a Hilbert space, and $A\in B(H)$ (bounded linear operator), write $q_A$ for the quadratic form $x\mapsto \langle Ax,x\rangle$.

Lemma ('polarization'): If $H$ is a complex Hilbert space, $q_A=q_B\Leftrightarrow A=B$.

Proof: We may assume $B=0$ [replacing $A$ by $A-B$]. If $\langle Ax,x\rangle=0$ for all $x$, then $0=\langle A( x+y),x+y\rangle$ implies $\langle Ax,y\rangle+\langle Ay,x\rangle=0$. But then [replace x by ix] also $\langle Ax,y\rangle-\langle Ay,x\rangle=0$.

Answer to question: Yes, and separability is not needed. Proof by contraposition:

If $\lambda:=q_A(x)=q_A(y)$ for all $x,y$ of norm 1, then $q_A(h)=\lambda\|h\|^2=q_{\lambda I}(h)$ for all $h\in H$. Hence $q_A=q_{\lambda I}$, and the lemma implies $A=\lambda I$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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