I extended the familiar bracket form to encompass the case of interchanging "carriers" with subscripts. Thus, [a,b]ij ai bj - biaj.This was to encapsulate the outerproduct (of multivector theory), in my special derivation of outerproduct. It's natural that this bracket should also apply to the standard vector cross product, since the latter is the dual of outerproduct.
Given unit basis vectors: i = (1,0,0); j = (0,1,0); k = (0,0,1). Consider A A1i + A2j + A3k; and B B1i + B2j + B3k. Form A X B = (A2B3 - B2A3) i + (A3B1 - B1A3)j + (A1B 2 - B1A2)k = [A,B]23i + [A,B]3l j + [A,B]12k. (Clearly, a "cyclic pattern", easy to remember.)
The partially implicit cyclic pattern becomes explicit if we use a single unit basis vector carrier, with subscripts: i b 1; j b2 ; k b3. (The standard i, j, k derive from W. R. Hamilton, for his quaternions, with a fourth basis vector.).
Now we can write: A X B = (A2B3 - B2 A3) b1 + (A3B1 - B1A3 ) b2 + (A1B2 - B1A2) b 3 = [A,B]23 b1 + [A,B]31 b2 + [A,B]12 b3. Such a cyclic pattern would be easy to understand and to remember. (Please note the special treatment necessary for cases such as the quantic operator for angular momentum, as explcated below.)
Since my bracket higlights the cyclic pattern of these relations, it can make the presentation of (classical) angular momentum easier to understand and remember. L = r X p, for radius vector ("lever arm"), r, and linear momenum, p.
In components this is usually written:
Lx = ypz - zpy Ly = zpx - xpz Lz = xpy - ypxLet's rewrite coordinates as basis elements: x y z b1 b2 b3 and Lx L y Lz L1 L2 L3. Then we have:L1 = b2p3 - p2b2 L2 = b3p1 - p3b1 L3 = b1p2 - p1b2Or:L1 = [b,p]23 L2 = [b,p]31 L3 = [b,p]12The quantic operator for angular momentum is p x = -iDx, where I use genuine operator notation for partial differentiation, instead of the confusing fractional notation. Now, Lx = -i(y Dz - z D z). To avoid a confusion of scope invoked by the permutation , we adopt a standard device for writing the partial derivative operator, in such cases, writing D().Then we can translate classical angular momentum into quantic as L1 = -i[b, D()]23 = -i(b2 De() - D1() b3) . Similarly, L2 = -i[b,D()]31, and L 3 = -i[b,D()]12 .