11

In one of the proofs in class there was given the equality for the dot product:

$$\langle Ax, Ax\rangle = \langle x, A^tAx\rangle$$

I don't understand why this is correct. Is there a way to show this without explicitly looking at the multiplications and sums?

thanks.

user
  • 162,563
Eloo
  • 473

2 Answers2

21

This is simpler than you might think.

By definition, $$\langle x, y \rangle = x^{T}y\text{.}$$ Hence, $$\langle Ax, Ax \rangle = (Ax)^{T}Ax$$ but by properties of matrix transposition, recall that $$(Ax)^{T}=x^{T}A^{T}$$ hence $$\langle Ax, Ax \rangle = (Ax)^{T}Ax = x^{T}A^{T}Ax = (x)^{T}(A^TAx)=\langle x, A^TAx \rangle\text{.}$$

Clarinetist
  • 20,278
  • 10
  • 72
  • 137
  • 1
    Thanks for the nice answer. Just for beginners like me: To be general, $\langle x,y \rangle = x^y$ if it's a complex, where $x^$ denotes a conjugate transpose. – starriet 차주녕 Oct 17 '22 at 01:30
3

By definition

$$\langle Ax, Ax\rangle = x^TA^TAx= \langle x, A^TAx\rangle$$

user
  • 162,563