0
$\begingroup$

How to show that if $A, B \in M_{n}(\mathbb{C})$, and $x,y\in \mathbb{C}^{n}$ then the following two conditions are equivalent,

1.) $\langle Ax,y\rangle =\langle Bx,y\rangle$

2.) $\langle Ax,x \rangle= \langle Bx,x \rangle$

for all $x,y$?

  • 0
    @Thijs, yes, 1--> is trivial. But I don't know how to go from 2-->12011-09-24

2 Answers 2

6

Both (1) and (2) are equivalent to $A=B$.

By taking differences, it is equivalent to show that the following are equivalent:

(1) $A=0$.

(2) $\left=0$ for all $x,y$.

(3) $\left=0$ for all $x$.

Obviously 1 implies 2 implies 3. Also 2 implies 1 by considering $y=Ax$. Assume 3 holds. Then compute, for arbitrary $\lambda\in\mathbb{C}$:

$0=\left=\lambda \left+\bar{\lambda}\left.$

Hence for $\lambda\neq 0$ we get

$\left=-\frac{\bar{\lambda}}{\lambda}\left$.

For fixed $x,y$, we can vary $\frac{\bar{\lambda}}{\lambda}$, so that $\left=0$, proving 2.

Note that we really used that the field is $\mathbb{C}$! If the field was $\mathbb{R}$, then $\frac{\bar{\lambda}}{\lambda}$ is constant equal to 1 so there is nothing to vary; in $\mathbb{C}$ one could e.g. take $\lambda=1$ and $\lambda=i$. Indeed in the real case it is not true: take $n=2$ and $A$ a rotation of 90 degrees, then $A$ is not zero, but $\left=0$ for all $x$.

However, if in the real case we add the assumption that $A=A^*$ (symmetric), then it remains true, as can be easily seen form the above proof noting that $\left=\left$. Or alternatively, if $A=A*$ then $(x,y)\mapsto B(x,y):=\left$ is a symmetric bilinear form, and such forms are uniquely determined by their associated quadratic form $x\mapsto q(x):=B(x,x)$ since $2B(x,y)=q(x)+q(y)+q(x+y)$.

0

If $\langle Ax,x\rangle=\langle Bx,x\rangle$ for all $x$, then from $\langle A(x+y),x+y\rangle = \langle B(x+y),x+y\rangle$ it follows that $ \langle Ax,y\rangle +\langle Ay,x\rangle = \langle Bx,y\rangle +\langle By,x\rangle. $ Similarly from $\langle A(x+iy),x+iy\rangle = \langle B(x+iy),x+iy\rangle$ it follows that $ i\langle Ax,y\rangle -i\langle Ay,x\rangle = i\langle Bx,y\rangle -i\langle By,x\rangle. $ (Here I am with the physicists: $\langle u,v\rangle=u^*v$.) From these two equations we get $\langle Ax,y\rangle=\langle Bx,y\rangle$.