Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Looking for a proof regarding Baker-Campell-Hausdorff

  1. Sep 16, 2013 #1
    Is there any nice proof that if [A,B] belongs to the same vectorspace as A and B, then C is in the same vectorspace to all orders, given that
    [tex]e^Ae^B = e^C[/tex]
    It is obvious to the second order but at higher orders it seems as if terms will cancel but I cant prove it.

  2. jcsd
  3. Sep 16, 2013 #2


    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    Yes, it's actually not enough for ##C## to be in the same vector space. The quantities ##A,B,\[A,B\]## and higher commutators actually close as a Lie algebra. This is still a vector space, but might be much smaller than the original vector space. ##C## will be in this Lie algebra. I don't have a reference for a detailed proof at hand, but the wiki discussion has an outline based on what is called Friedrichs' theorem.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Discussions: Looking for a proof regarding Baker-Campell-Hausdorff
  1. A proof (Replies: 1)