If infinitesimal transformations commute why don't the generators of the Lorentz group commute?












2












$begingroup$


If infinitesimal transformations commute as proved e.g. on this mathworld.wolfram page, why are the commutators for the generators of the Lorentz group nonzero?










share|cite|improve this question











$endgroup$

















    2












    $begingroup$


    If infinitesimal transformations commute as proved e.g. on this mathworld.wolfram page, why are the commutators for the generators of the Lorentz group nonzero?










    share|cite|improve this question











    $endgroup$















      2












      2








      2


      1



      $begingroup$


      If infinitesimal transformations commute as proved e.g. on this mathworld.wolfram page, why are the commutators for the generators of the Lorentz group nonzero?










      share|cite|improve this question











      $endgroup$




      If infinitesimal transformations commute as proved e.g. on this mathworld.wolfram page, why are the commutators for the generators of the Lorentz group nonzero?







      special-relativity group-theory lorentz-symmetry commutator lie-algebra






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited yesterday









      Qmechanic

      106k121971227




      106k121971227










      asked 2 days ago









      KALLE THE BAWSMANKALLE THE BAWSMAN

      1167




      1167






















          3 Answers
          3






          active

          oldest

          votes


















          8












          $begingroup$

          I'll use ordinary rotations as an example. The same reasoning applies for other Lorentz transformations, too.



          Suppose that $G_x$ and $G_y$ generate rotations about the $x$- and $y$-axes, respectively. This means that $exp(theta G_x)$ is a rotation through angle $theta$ about the $x$-axis, and $exp(phi G_y)$ is a rotation through angle $phi$ about the $y$-axis. Those rotations don't commute with each other, so $G_x$ and $G_y$ must not commute with each other, either.



          When the linked website (http://mathworld.wolfram.com/InfinitesimalRotation.html) talks about the "commutativity of infinitesimal transformations," it means that if the angles $theta$ and $phi$ both have infinitesimal magnitude $epsilonll 1$, then the rotations $exp(theta G_x)$ and $exp(phi G_y)$ commute with each other to first order in $epsilon$. This is true even though the generators $G_x$ and $G_y$ don't commute with each other, because the terms in the composite rotation $exp(theta G_x)exp(phi G_y)$ that involve products of $G_x$ and $G_y$ are of order $epsilon^2llepsilon$, so the non-commutativity of the generators $G_x$ and $G_y$ doesn't affect things at first order in $epsilon$.






          share|cite|improve this answer









          $endgroup$





















            1












            $begingroup$


            1. Illustrative example: It is straightforward to prove that the Lie group
              $$ SO(3)~:=~{ Min {rm Mat}_{3times 3}(mathbb{R}) mid M^tM=mathbb{1}_{3times 3}, ~det(M)=1} $$
              of 3D rotations is generated by the corresponding Lie algebra
              $$ so(3)~:=~{ min {rm Mat}_{3times 3}(mathbb{R}) mid m^t=-m} $$
              of real $3times 3$ antisymmetric matrices, which clearly do not all commute.


            2. Concretely notice how the mathworld.wolfram page in eqs. (2)-(5) omits the second-order terms, whose difference reveals the commutator!







            share|cite|improve this answer









            $endgroup$





















              1












              $begingroup$

              While
              begin{align}
              e^{epsilon A} e^{epsilon B}&=(1+epsilon A+textstylefrac{1}{2}epsilon^2 A^2+ldots)(1+epsilon B+frac{1}{2}epsilon^2 B^2+ldots)tag{1}, ,\
              &= 1+ epsilon (A+B)+ frac{1}{2}
              epsilon^2 (A^2+AB +B^2)+ldots
              end{align}

              we have
              begin{align}
              e^{epsilon B} e^{epsilon A}&=(1+epsilon B+frac{1}{2}epsilon^2 B^2+ldots)(1+epsilon A+textstylefrac{1}{2}epsilon^2 A^2+ldots), ,tag{2}\
              &= 1+ epsilon (B+A)+ frac{1}{2}
              epsilon^2 (A^2+BA +B^2)+ldots
              end{align}

              so:




              1. To order $epsilon$, the transformations are the same,

              2. To order $epsilon^2$ they are different.


              Since the commutator $[A,B]$ involves products like $AB$ and $BA$, one must compare terms in $epsilon^2$ in (1) and (2) to see that they differ by a commutator.






              share|cite|improve this answer









              $endgroup$













                Your Answer





                StackExchange.ifUsing("editor", function () {
                return StackExchange.using("mathjaxEditing", function () {
                StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
                StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
                });
                });
                }, "mathjax-editing");

                StackExchange.ready(function() {
                var channelOptions = {
                tags: "".split(" "),
                id: "151"
                };
                initTagRenderer("".split(" "), "".split(" "), channelOptions);

                StackExchange.using("externalEditor", function() {
                // Have to fire editor after snippets, if snippets enabled
                if (StackExchange.settings.snippets.snippetsEnabled) {
                StackExchange.using("snippets", function() {
                createEditor();
                });
                }
                else {
                createEditor();
                }
                });

                function createEditor() {
                StackExchange.prepareEditor({
                heartbeatType: 'answer',
                autoActivateHeartbeat: false,
                convertImagesToLinks: false,
                noModals: true,
                showLowRepImageUploadWarning: true,
                reputationToPostImages: null,
                bindNavPrevention: true,
                postfix: "",
                imageUploader: {
                brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
                contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
                allowUrls: true
                },
                noCode: true, onDemand: true,
                discardSelector: ".discard-answer"
                ,immediatelyShowMarkdownHelp:true
                });


                }
                });














                draft saved

                draft discarded


















                StackExchange.ready(
                function () {
                StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fphysics.stackexchange.com%2fquestions%2f468216%2fif-infinitesimal-transformations-commute-why-dont-the-generators-of-the-lorentz%23new-answer', 'question_page');
                }
                );

                Post as a guest















                Required, but never shown

























                3 Answers
                3






                active

                oldest

                votes








                3 Answers
                3






                active

                oldest

                votes









                active

                oldest

                votes






                active

                oldest

                votes









                8












                $begingroup$

                I'll use ordinary rotations as an example. The same reasoning applies for other Lorentz transformations, too.



                Suppose that $G_x$ and $G_y$ generate rotations about the $x$- and $y$-axes, respectively. This means that $exp(theta G_x)$ is a rotation through angle $theta$ about the $x$-axis, and $exp(phi G_y)$ is a rotation through angle $phi$ about the $y$-axis. Those rotations don't commute with each other, so $G_x$ and $G_y$ must not commute with each other, either.



                When the linked website (http://mathworld.wolfram.com/InfinitesimalRotation.html) talks about the "commutativity of infinitesimal transformations," it means that if the angles $theta$ and $phi$ both have infinitesimal magnitude $epsilonll 1$, then the rotations $exp(theta G_x)$ and $exp(phi G_y)$ commute with each other to first order in $epsilon$. This is true even though the generators $G_x$ and $G_y$ don't commute with each other, because the terms in the composite rotation $exp(theta G_x)exp(phi G_y)$ that involve products of $G_x$ and $G_y$ are of order $epsilon^2llepsilon$, so the non-commutativity of the generators $G_x$ and $G_y$ doesn't affect things at first order in $epsilon$.






                share|cite|improve this answer









                $endgroup$


















                  8












                  $begingroup$

                  I'll use ordinary rotations as an example. The same reasoning applies for other Lorentz transformations, too.



                  Suppose that $G_x$ and $G_y$ generate rotations about the $x$- and $y$-axes, respectively. This means that $exp(theta G_x)$ is a rotation through angle $theta$ about the $x$-axis, and $exp(phi G_y)$ is a rotation through angle $phi$ about the $y$-axis. Those rotations don't commute with each other, so $G_x$ and $G_y$ must not commute with each other, either.



                  When the linked website (http://mathworld.wolfram.com/InfinitesimalRotation.html) talks about the "commutativity of infinitesimal transformations," it means that if the angles $theta$ and $phi$ both have infinitesimal magnitude $epsilonll 1$, then the rotations $exp(theta G_x)$ and $exp(phi G_y)$ commute with each other to first order in $epsilon$. This is true even though the generators $G_x$ and $G_y$ don't commute with each other, because the terms in the composite rotation $exp(theta G_x)exp(phi G_y)$ that involve products of $G_x$ and $G_y$ are of order $epsilon^2llepsilon$, so the non-commutativity of the generators $G_x$ and $G_y$ doesn't affect things at first order in $epsilon$.






                  share|cite|improve this answer









                  $endgroup$
















                    8












                    8








                    8





                    $begingroup$

                    I'll use ordinary rotations as an example. The same reasoning applies for other Lorentz transformations, too.



                    Suppose that $G_x$ and $G_y$ generate rotations about the $x$- and $y$-axes, respectively. This means that $exp(theta G_x)$ is a rotation through angle $theta$ about the $x$-axis, and $exp(phi G_y)$ is a rotation through angle $phi$ about the $y$-axis. Those rotations don't commute with each other, so $G_x$ and $G_y$ must not commute with each other, either.



                    When the linked website (http://mathworld.wolfram.com/InfinitesimalRotation.html) talks about the "commutativity of infinitesimal transformations," it means that if the angles $theta$ and $phi$ both have infinitesimal magnitude $epsilonll 1$, then the rotations $exp(theta G_x)$ and $exp(phi G_y)$ commute with each other to first order in $epsilon$. This is true even though the generators $G_x$ and $G_y$ don't commute with each other, because the terms in the composite rotation $exp(theta G_x)exp(phi G_y)$ that involve products of $G_x$ and $G_y$ are of order $epsilon^2llepsilon$, so the non-commutativity of the generators $G_x$ and $G_y$ doesn't affect things at first order in $epsilon$.






                    share|cite|improve this answer









                    $endgroup$



                    I'll use ordinary rotations as an example. The same reasoning applies for other Lorentz transformations, too.



                    Suppose that $G_x$ and $G_y$ generate rotations about the $x$- and $y$-axes, respectively. This means that $exp(theta G_x)$ is a rotation through angle $theta$ about the $x$-axis, and $exp(phi G_y)$ is a rotation through angle $phi$ about the $y$-axis. Those rotations don't commute with each other, so $G_x$ and $G_y$ must not commute with each other, either.



                    When the linked website (http://mathworld.wolfram.com/InfinitesimalRotation.html) talks about the "commutativity of infinitesimal transformations," it means that if the angles $theta$ and $phi$ both have infinitesimal magnitude $epsilonll 1$, then the rotations $exp(theta G_x)$ and $exp(phi G_y)$ commute with each other to first order in $epsilon$. This is true even though the generators $G_x$ and $G_y$ don't commute with each other, because the terms in the composite rotation $exp(theta G_x)exp(phi G_y)$ that involve products of $G_x$ and $G_y$ are of order $epsilon^2llepsilon$, so the non-commutativity of the generators $G_x$ and $G_y$ doesn't affect things at first order in $epsilon$.







                    share|cite|improve this answer












                    share|cite|improve this answer



                    share|cite|improve this answer










                    answered 2 days ago









                    Chiral AnomalyChiral Anomaly

                    12.6k21542




                    12.6k21542























                        1












                        $begingroup$


                        1. Illustrative example: It is straightforward to prove that the Lie group
                          $$ SO(3)~:=~{ Min {rm Mat}_{3times 3}(mathbb{R}) mid M^tM=mathbb{1}_{3times 3}, ~det(M)=1} $$
                          of 3D rotations is generated by the corresponding Lie algebra
                          $$ so(3)~:=~{ min {rm Mat}_{3times 3}(mathbb{R}) mid m^t=-m} $$
                          of real $3times 3$ antisymmetric matrices, which clearly do not all commute.


                        2. Concretely notice how the mathworld.wolfram page in eqs. (2)-(5) omits the second-order terms, whose difference reveals the commutator!







                        share|cite|improve this answer









                        $endgroup$


















                          1












                          $begingroup$


                          1. Illustrative example: It is straightforward to prove that the Lie group
                            $$ SO(3)~:=~{ Min {rm Mat}_{3times 3}(mathbb{R}) mid M^tM=mathbb{1}_{3times 3}, ~det(M)=1} $$
                            of 3D rotations is generated by the corresponding Lie algebra
                            $$ so(3)~:=~{ min {rm Mat}_{3times 3}(mathbb{R}) mid m^t=-m} $$
                            of real $3times 3$ antisymmetric matrices, which clearly do not all commute.


                          2. Concretely notice how the mathworld.wolfram page in eqs. (2)-(5) omits the second-order terms, whose difference reveals the commutator!







                          share|cite|improve this answer









                          $endgroup$
















                            1












                            1








                            1





                            $begingroup$


                            1. Illustrative example: It is straightforward to prove that the Lie group
                              $$ SO(3)~:=~{ Min {rm Mat}_{3times 3}(mathbb{R}) mid M^tM=mathbb{1}_{3times 3}, ~det(M)=1} $$
                              of 3D rotations is generated by the corresponding Lie algebra
                              $$ so(3)~:=~{ min {rm Mat}_{3times 3}(mathbb{R}) mid m^t=-m} $$
                              of real $3times 3$ antisymmetric matrices, which clearly do not all commute.


                            2. Concretely notice how the mathworld.wolfram page in eqs. (2)-(5) omits the second-order terms, whose difference reveals the commutator!







                            share|cite|improve this answer









                            $endgroup$




                            1. Illustrative example: It is straightforward to prove that the Lie group
                              $$ SO(3)~:=~{ Min {rm Mat}_{3times 3}(mathbb{R}) mid M^tM=mathbb{1}_{3times 3}, ~det(M)=1} $$
                              of 3D rotations is generated by the corresponding Lie algebra
                              $$ so(3)~:=~{ min {rm Mat}_{3times 3}(mathbb{R}) mid m^t=-m} $$
                              of real $3times 3$ antisymmetric matrices, which clearly do not all commute.


                            2. Concretely notice how the mathworld.wolfram page in eqs. (2)-(5) omits the second-order terms, whose difference reveals the commutator!








                            share|cite|improve this answer












                            share|cite|improve this answer



                            share|cite|improve this answer










                            answered yesterday









                            QmechanicQmechanic

                            106k121971227




                            106k121971227























                                1












                                $begingroup$

                                While
                                begin{align}
                                e^{epsilon A} e^{epsilon B}&=(1+epsilon A+textstylefrac{1}{2}epsilon^2 A^2+ldots)(1+epsilon B+frac{1}{2}epsilon^2 B^2+ldots)tag{1}, ,\
                                &= 1+ epsilon (A+B)+ frac{1}{2}
                                epsilon^2 (A^2+AB +B^2)+ldots
                                end{align}

                                we have
                                begin{align}
                                e^{epsilon B} e^{epsilon A}&=(1+epsilon B+frac{1}{2}epsilon^2 B^2+ldots)(1+epsilon A+textstylefrac{1}{2}epsilon^2 A^2+ldots), ,tag{2}\
                                &= 1+ epsilon (B+A)+ frac{1}{2}
                                epsilon^2 (A^2+BA +B^2)+ldots
                                end{align}

                                so:




                                1. To order $epsilon$, the transformations are the same,

                                2. To order $epsilon^2$ they are different.


                                Since the commutator $[A,B]$ involves products like $AB$ and $BA$, one must compare terms in $epsilon^2$ in (1) and (2) to see that they differ by a commutator.






                                share|cite|improve this answer









                                $endgroup$


















                                  1












                                  $begingroup$

                                  While
                                  begin{align}
                                  e^{epsilon A} e^{epsilon B}&=(1+epsilon A+textstylefrac{1}{2}epsilon^2 A^2+ldots)(1+epsilon B+frac{1}{2}epsilon^2 B^2+ldots)tag{1}, ,\
                                  &= 1+ epsilon (A+B)+ frac{1}{2}
                                  epsilon^2 (A^2+AB +B^2)+ldots
                                  end{align}

                                  we have
                                  begin{align}
                                  e^{epsilon B} e^{epsilon A}&=(1+epsilon B+frac{1}{2}epsilon^2 B^2+ldots)(1+epsilon A+textstylefrac{1}{2}epsilon^2 A^2+ldots), ,tag{2}\
                                  &= 1+ epsilon (B+A)+ frac{1}{2}
                                  epsilon^2 (A^2+BA +B^2)+ldots
                                  end{align}

                                  so:




                                  1. To order $epsilon$, the transformations are the same,

                                  2. To order $epsilon^2$ they are different.


                                  Since the commutator $[A,B]$ involves products like $AB$ and $BA$, one must compare terms in $epsilon^2$ in (1) and (2) to see that they differ by a commutator.






                                  share|cite|improve this answer









                                  $endgroup$
















                                    1












                                    1








                                    1





                                    $begingroup$

                                    While
                                    begin{align}
                                    e^{epsilon A} e^{epsilon B}&=(1+epsilon A+textstylefrac{1}{2}epsilon^2 A^2+ldots)(1+epsilon B+frac{1}{2}epsilon^2 B^2+ldots)tag{1}, ,\
                                    &= 1+ epsilon (A+B)+ frac{1}{2}
                                    epsilon^2 (A^2+AB +B^2)+ldots
                                    end{align}

                                    we have
                                    begin{align}
                                    e^{epsilon B} e^{epsilon A}&=(1+epsilon B+frac{1}{2}epsilon^2 B^2+ldots)(1+epsilon A+textstylefrac{1}{2}epsilon^2 A^2+ldots), ,tag{2}\
                                    &= 1+ epsilon (B+A)+ frac{1}{2}
                                    epsilon^2 (A^2+BA +B^2)+ldots
                                    end{align}

                                    so:




                                    1. To order $epsilon$, the transformations are the same,

                                    2. To order $epsilon^2$ they are different.


                                    Since the commutator $[A,B]$ involves products like $AB$ and $BA$, one must compare terms in $epsilon^2$ in (1) and (2) to see that they differ by a commutator.






                                    share|cite|improve this answer









                                    $endgroup$



                                    While
                                    begin{align}
                                    e^{epsilon A} e^{epsilon B}&=(1+epsilon A+textstylefrac{1}{2}epsilon^2 A^2+ldots)(1+epsilon B+frac{1}{2}epsilon^2 B^2+ldots)tag{1}, ,\
                                    &= 1+ epsilon (A+B)+ frac{1}{2}
                                    epsilon^2 (A^2+AB +B^2)+ldots
                                    end{align}

                                    we have
                                    begin{align}
                                    e^{epsilon B} e^{epsilon A}&=(1+epsilon B+frac{1}{2}epsilon^2 B^2+ldots)(1+epsilon A+textstylefrac{1}{2}epsilon^2 A^2+ldots), ,tag{2}\
                                    &= 1+ epsilon (B+A)+ frac{1}{2}
                                    epsilon^2 (A^2+BA +B^2)+ldots
                                    end{align}

                                    so:




                                    1. To order $epsilon$, the transformations are the same,

                                    2. To order $epsilon^2$ they are different.


                                    Since the commutator $[A,B]$ involves products like $AB$ and $BA$, one must compare terms in $epsilon^2$ in (1) and (2) to see that they differ by a commutator.







                                    share|cite|improve this answer












                                    share|cite|improve this answer



                                    share|cite|improve this answer










                                    answered yesterday









                                    ZeroTheHeroZeroTheHero

                                    21.1k53364




                                    21.1k53364






























                                        draft saved

                                        draft discarded




















































                                        Thanks for contributing an answer to Physics Stack Exchange!


                                        • Please be sure to answer the question. Provide details and share your research!

                                        But avoid



                                        • Asking for help, clarification, or responding to other answers.

                                        • Making statements based on opinion; back them up with references or personal experience.


                                        Use MathJax to format equations. MathJax reference.


                                        To learn more, see our tips on writing great answers.




                                        draft saved


                                        draft discarded














                                        StackExchange.ready(
                                        function () {
                                        StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fphysics.stackexchange.com%2fquestions%2f468216%2fif-infinitesimal-transformations-commute-why-dont-the-generators-of-the-lorentz%23new-answer', 'question_page');
                                        }
                                        );

                                        Post as a guest















                                        Required, but never shown





















































                                        Required, but never shown














                                        Required, but never shown












                                        Required, but never shown







                                        Required, but never shown

































                                        Required, but never shown














                                        Required, but never shown












                                        Required, but never shown







                                        Required, but never shown







                                        Popular posts from this blog

                                        Masuk log Menu navigasi

                                        16 Maret Daftar isi Peristiwa | Kelahiran | Meninggal | Hari raya dan peringatan | Menu navigasis

                                        ジョン・ファウルズ