Take the 2-minute tour ×
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.

Let A and B be nxn matrices over C. How to prove $(AB)^{\ast}=B^{\ast}A^{\ast}$? $A^{\ast}$ is complex conjugate transpose( if matrix $A$ is real then $A^{\ast} = A^{t}$. This is homework and is in the area of linear algebra.

share|improve this question
1  
Did you try before asking? –  AD. Nov 4 '10 at 14:26
    
This is much easier if you move beyond matrices and think in terms of linear transformations. Then the definition of * is that <v, Aw> = <A*v, w> where <v, w> is a Hermitian inner product and then the proof is obvious. –  Qiaochu Yuan Jan 16 '11 at 14:18
add comment

2 Answers

up vote 3 down vote accepted

Do you have the theorem that $(AB)^t=B^tA^t$ for real matrices? Can you follow that proof through for the complex case (using conjugates)? Without going back to look, I think it works.

share|improve this answer
    
Well I have a hint: There is a direct proof, but it is easier to use the uniqueness result in lemma 1.103, which is following: Let A be an mxn matrix over C. Then $\langle Az, w \rangle = \langle z, A^*w \rangle$ for every $z \in C^n $ and $w \in C^m$. Furthermore $A^*$ is the only matrix with this property. –  laovultai Nov 4 '10 at 13:23
    
That is a good hint. Why don't you apply it to $(AB)^{\ast}$ and $B^{\ast}A^{\ast}$? –  Ross Millikan Nov 4 '10 at 13:27
    
Uniqueness result is following; to show uniqueness suppose $B=[b_{ij}]$ satisfies $\langle Az, w \rangle = langle z, Bw \rangle$ for all $z \in C^n$ and $w \in C^m$. By formula (1.52)($a_{ij} = \langle Ae_j,e_i \rangle$) –  laovultai Nov 4 '10 at 13:27
    
$a_{ij} = \langle Ae_j, e_i \rangle = \langle e_j, Be_i \rangle = \upperline{\langle Be_i, e_j \rangle} = \upperline{b_{ij}}$ –  laovultai Nov 4 '10 at 13:29
    
Yes apply but how? By substituting in the equation $(BA)^{\ast}$? –  laovultai Nov 4 '10 at 13:41
show 3 more comments

One simple way to prove is to use outer product form for AB write A as [a1 | a2 | a3 ----| an] and B as [b1 |-------| bn]* and do the operations.

share|improve this answer
add comment

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.