page2053      Lie Algebra Minute      Matthias Lorentzen...mattegrisenforlag.com


Look at the picture beneath, then scroll down to the question and click the correct Answer button.

Lie Algebra Minute

In a standard Vector Space , you can add vectors and multiply them by scalars. In a Lie Algebra , we add one more rule: a way for two vectors to "interact" with each other. This is called the Lie Bracket, written as [ x , y ].
The most famous version of this (and the easiest to "taste" right now) is the Commutator in square matrices. If A and B are matrices , the Lie Bracket is defined as: [A , B] = AB - BA.

Why does this matter ?
In standard arithemetic , `5 times 3` is the same as `3 times 5`. But in the world of transfomations (like rotating an object) , the order matters. The Lie Bracket [ A , B ] measures exactly how much the order matters. If [ A , B ] = 0 , the operation "commute" (they don't interfere with each other).

Mini-Exercise: Calculating the Bracket: Given two matrices A and B in the vector space of `2 times 2` matrices , calculate their Lie Bracket [ A , B] using the definition [ A , B] = AB - BA.

Calculate `[A \ , B]` for `A = ([ 1 , 0] , [ 0 , 1])` and `B = ([ 0 , 1] , [ 0 , 0])`.

General Strategy: We will first compute the product AB , then compute the product BA. Finally , we will subtract the results. If the result is the zero vector (matrix) , they commute.

Specific Theory Used:
Matrix Multiplication: The standard "row by column" rule.
Commutator Definition: [ A , B ] = AB - BA.
Vector Space Property: The result must still be a `2 times 2` matrix (closure).

Solution:
Calculate AB: `AB = ([1 , 0] , [0 , 0])([0 , 1] , [0 , 0]) = (["("1 * 0 + 0 * 0")" , "("1 * 1 + 0 * 0")"] , ["("0 * 0 + 0 * 0")" , "("0 * 1 + 0 * 0")"]) = ([0 , 1] , [0 , 0])`.
Notice that AB = B.
Calculate BA: `BA = ([0 , 1] , [0 , 0])([1 , 0] , [0 , 0]) = (["("0 * 1 + 1 * 0")" , "("0 * 0 + 1 * 0")"] , ["("0 * 1 + 0 * 0")" , "("0 * 0 + 0 * 0")"]) = ([0 , 0] , [0 , 0])`.
Notice that BA = `bb[0]`.
Subtract (AB - BA): `[A \ , B] = ([0 , 1] , [0 , 0]) - ([0 , 0] , [0 , 0]) = ([0 , 1] , [0 , 0])`.

Result: `[ A \ , B] = B`. END

Question

Based on the definition [A , B] = AB - BA , what would be the result of the reversed bracket `[B \ , A]` ?

A) `([0 , 1] , [0 , 0])` (which is B).

B) `([0 , -1] , [0 , 0])` (which is -B).`