Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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

Why does $ (A^T x)· y = x ·(A y) $ hold?

The proof has to do with properties of transposes. I did a proof using coordinates (which was correct) but there is an infinitely easier way to do it.

A is an n by n matrix.

share|cite|improve this question
    
If $x$ and $y$ are column vectors, then $x$ and $Ay$ are column vectors, so what does $x(Ay)$ mean? – Gerry Myerson Mar 15 '13 at 3:47
    
I edited the post. – iuppiter Mar 15 '13 at 3:48
2  
Assuming the inner product is $u\cdot v=u^Tv$, just expand out $(A^Tx)^Ty$ and $x^T(Ay)$ and compare. – Rahul Mar 15 '13 at 4:18
    
This looks good but why does u⋅v=u^Tv? What property is this? – iuppiter Mar 15 '13 at 4:25
2  
@orbis The usual dot product on $\mathbb{R}^n$ is defined by $\mathbf{u}\cdot\mathbf{v}=\sum_{i=1}^nu_iv_i$, which is precisely the result of $\mathbf{u}^T\mathbf{v}$ (I assume you know how to multiply two matrices). – user1551 Mar 15 '13 at 5:40

Too long for a comment:

It doesn't...and I think there is some inner product and there're some assumptions on $\,A\,$, since if we denote by $\,\langle\,x,y\,\rangle\,$ the inner product of $\,x,y\,$ , then

$$\langle\,Ax\,,\,y\,\rangle=\langle\,x\,,\,A^*y\,\rangle$$

where $\,A^*\,$ is the adjoint of $\,A\,$ so if this is what is meant in your link and if $\, A^*=A^t\,$ then we're done (for example, if the linear space is real and we're working with an orthonormal basis...)

share|cite|improve this answer
    
The dot product should be between y and (ATx) on the left side. On the right it should be between x and (Ay). A is an n x n matrix (I'll edit to include this). x,y exists for all Rn. – iuppiter Mar 15 '13 at 3:45
    
It doesn't matter, @orbis, since $\,(A^t)^t=A\,$ ... – DonAntonio Mar 15 '13 at 3:51

Your Answer

 
discard

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.