Proving Hermitian Operator C is Hermitian

[Lindsayyyy]

Hi,

Homework Statement

Let A and B be hermitian operators. Show that C=i[A,B] is hermitian aswell.

Homework Equations

-

The Attempt at a Solution

Well, I tried just to use the definition but I'm not sure if that's enough (my guess would be no lol).

C=i[A,B]=iAB-iBA=iA^\dagger B^\dagger-iB^\dagger A^\dagger =i[A^\dagger , B^\dagger ]


I'm not used to proof stuff as we don't learn it in my degree program.
Is that right, or is that a whole wrong approach?

Thanks for your help

 

[Fightfish]

C=i[A,B]=iAB-iBA = iA^{\dagger}B^{\dagger}- i B ^{\dagger} A^{\dagger}
C^{\dagger}=(iAB-iBA)^{\dagger}
Can you show that C and C^{\dagger} are the same?

 

[Lindsayyyy]

I'd say:

C^\dagger = (iAB)^\dagger - (iBA)^\dagger = iA^\dagger B^\dagger-iB^\dagger A^\dagger

 

[Fightfish]

Yup, so I guess you're done ;)

 

[Lindsayyyy]

Thanks for the help, but is that really it?

I can't believe that actually because it looks so trivial.

I came to the conclusion that I could show as well that the diagonal of the operator is real, but that would be much more of an afford I guess... ^^

 

[Dick]

I'd say:

C^\dagger = (iAB)^\dagger - (iBA)^\dagger = iA^\dagger B^\dagger-iB^\dagger A^\dagger

You might want to give your reasoning behind that. It's easy to write down the correct answer for the wrong reason. What is (iAB)^\dagger?

 

[Lindsayyyy]

You might want to give your reasoning behind that. It's easy to write down the correct answer for the wrong reason. What is (iAB)^\dagger?

Hm I just used a calculation rule which says:
(AB)^\dagger = A^\dagger B^\dagger

 

[Fredrik]

Hm I just used a calculation rule which says:
(AB)^\dagger = A^\dagger B^\dagger

I think Dick was more interested in how you dealt with the i. It looks like you know what you're doing, but your calculation in #3 doesn't show what you were thinking. In particular, you didn't make it clear that you understand that the first term on the left of the final equality is equal to the second term on the right. So it looked like you might have made two mistakes that cancel each other out.

Edit: As you can see in posts 13-14 below, I didn't even notice that the operators are in the wrong order on the right-hand side of the quoted equality. I used the correct rule myself, but I didn't see that you (Lindsayyyy) was using the wrong one.

 

[Lindsayyyy]

Well, I don't know what to say now . I thought it's allowed to factor out the i.

 

[Fredrik]

Well, I don't know what to say now . I thought it's allowed to factor out the i.

If you just take it outside, both terms on the right in #3 would get the wrong sign.

 

[Lindsayyyy]

I guess I did it wrong then. I don't know the right answer.

edit: hold on a second. I try something

C^\dagger = (iAB)^\dagger - (iBA)^\dagger = -iA^\dagger B^\dagger +iB^\dagger A^\dagger

would that be right?

 

[Fredrik]

No, you had the right answer the first time. It's true that $$(iAB)^\dagger - (iBA)^\dagger = iA^\dagger B^\dagger-iB^\dagger A^\dagger,$$ but if you want to show that you know what you're doing, you have to do the two terms separately:
\begin{align}
(iAB)^\dagger &=-i(AB)^\dagger=-iB^\dagger A^\dagger\\
(-iBA)^\dagger &=i(BA)^\dagger =iA^\dagger B^\dagger.
\end{align}

 

[vela]

Hm I just used a calculation rule which says:
(AB)^\dagger = A^\dagger B^\dagger

There is no such rule.

 

[Fredrik]

There is no such rule.

Ahh...I didn't even see that the operators were in the wrong order on the right.

 

[Lindsayyyy]

There is no such rule.

whoops, sorry. I didn't read the rule clearly. I have to drive home now, thanks for your help. I'll take a closer look tomorrow and post again if I need further help.

 

[Fredrik]

It is now clear that you did make two mistakes that canceled each other out: You didn't change the order of the operators, and you didn't take the complex conjugate of the i.