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).`