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.

For an arbitrary complex matrix A show that $$A*A^\dagger$$ is Hermitian.

Where the dagger "$\dagger$" stands for the "complex conjugate and transpose" operators.

From what I understand this must mean that $$A*A^\dagger = [A*A^\dagger]^\dagger$$ But I am stuck. I don't really understand the properties of the complex conjugate function with Matrices.

share|improve this question
    
Write down the expression for each element and for the one it should be related to... –  dmckee Sep 16 '12 at 3:32
add comment

migrated from physics.stackexchange.com Sep 16 '12 at 3:34

This question came from our site for active researchers, academics and students of physics.

2 Answers

up vote 4 down vote accepted

The key properties you need are the fact that hermitian-conjugating twice returns you to where you started, $$(A^\ast)^\ast=A$$ (which holds because it holds for both transposing and complex-conjugating), and the formula for the conjugate of a product, $$(AB)^\ast=B^\ast A^\ast,$$ which is inherited from the identical transpose formula and is unchanged by complex conjugation.

Of course, you can also prove both formulas from the (real) definition of the conjugate of $A$, namely that for all $u$ and $v$ you get $\langle A u,v\rangle=\langle u, A^\ast v\rangle$, as Nick points out.

share|improve this answer
add comment

This is perhaps different than the way it's presented in physics class, but it's better and generalizes easily to infinite dimensional spaces and non-Hilbert spaces. Use the mathematicians definition of adjoint: $A^t$ is adjoint to $A$ iff $(A u,v)=(u,A^t v)$ for all possible $u,v$.

Then bringing the operators over one at a time and using associativity of matrix multiplication yields:

$$(AA^t u,v)=(A^t u,A^t v)=(u,AA^t v)$$

So by the above definition $AA^t$ is adjoint to itself.

share|improve this answer
    
To call this different is an abuse of language--- it's the same thing in different notation. –  Ron Maimon Sep 16 '12 at 8:12
1  
Well I guess it depends on what the original definition is. When I took my first quantum mechanics class I was taught the definition $a^t_{ij}:=\bar{a_{ji}}$. This is fine for finite dimensions but doesn't apply to operators between infinite dimensional spaces. One can find an analog for Hilbert spaces with a countable unconditional basis, but the situation becomes untenable for spaces that are not isomorphic to their dual. The $ij'th$ entry of an operator between dual spaces - what does that even mean? –  Nick Alger Sep 16 '12 at 8:23
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.