1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Proof about commutator bracket

  1. Sep 21, 2009 #1
    i've never really done a proof by induction but i would like to prove a statement about commutator relations so can you please check my proof:

    claim: [itex][A,B^n]=nB^{n-1}[A,B][/itex] if [itex][A,B]=k\cdot I[/itex] where A,B are operators, I is the identity and k is any scalar.

    proof: [tex] [A,B^2] = [A,B]B+B[A,B] = 2B^{2-1}[A,B] [/tex] where the B is brought out of the commutator by almost obvious identity and the last equality follows from the commutativity of the identity with any operator.

    so for n=2 the equality is proven. we now assume that the equality holds for n-2 case and proceed to prove it holds for n case:

    [tex] =2B[A,B]B^{n-2}+B^2(n-2)B^{n-3}[A,B] [/tex]
    [tex] =2B^{n-1}[A,B]+(n-2)B^{n-1}[A,B][/tex]
    [tex] =nB^{n-1}[A,B][/tex]

    so how 'bout it? was successful?
  2. jcsd
  3. Sep 21, 2009 #2
    I think proof by induction goes something like this:

    Show that the equality is true for n = 1

    Assume the equality is true for n

    Then show it is true for n+1
  4. Sep 22, 2009 #3
    it's the same thing?
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook