• Tidak ada hasil yang ditemukan

General Properties

Dalam dokumen Mathematical Physics (Halaman 90-96)

Algebras

3.1 From Vector Space to Algebra

3.1.1 General Properties

Takingβ=1= −γ andb=cin the definition above leads immediately to a0=0a=0a∈A.

The identity of an algebra is unique. If there were two identities1ande, then1e=e, because1is the identity, and1e=1, becauseeis the identity.

IfAis an associative algebra anda∈Ahas both a left inverseband a right inversec, then the two are equal:

bac=(ba)c=1c=c, bac=b(ac)=b1=b.

Therefore, in an associative algebra, we talk of an inverse without specifying right or left. Furthermore, it is trivial to show that the (two-sided) inverse is unique. Hence, we have

Theorem 3.1.2 LetAbe an associative algebra with identity.Ifa∈Ahas a right and a left inverse,then they are equal and this single inverse is unique.

We denote it bya1.Ifaandbare invertible,thenabis also invertible,and (ab)1=b1a1.

The proof of the last statement is straightforward.

Definition 3.1.3 LetAbe an algebra andA a linear subspace ofA. IfA subalgebra of an algebra

is closed under multiplication, i.e., ifab∈Awhenevera∈Aandb∈A, thenAis called asubalgebraofA.

Clearly, a subalgebra of an associative (commutative) algebra is also as- sociative (commutative).

LetAbe an associative algebra andS a subset ofA. The subalgebra generated bySis the collection of all linear combinations of

subalgebra generated by

a subset s1s2. . .sk, si∈S.

IfSconsists of a single elements, then the subalgebra generated bysis the set of polynomials ins.

Example 3.1.4 LetAbe a unital algebra, then the vector space Cis a subalgebra of any

unital algebra. Span{1} = {α1|α∈C}

is a subalgebra ofA. Since Span{1}is indistinguishable fromC, we some- times say thatCis a subalgebra ofA.

Definition 3.1.5 LetAbe an algebra. The set of elements ofAwhich com- mute with all elements ofAis called thecenterofAand denoted byZ(A).

center of an algebra

Table 3.1 The multiplication table forS

e0 e1 e2 e3

e0 e0 e1 e2 e3

e1 e1 e0 e3 e2

e2 e2 e3 e0 e1

e3 e3 e2 e1 e0

Z(A)is easily shown to be a subspace ofA, and ifAis associative, then Z(A)is a subalgebra ofA.

Definition 3.1.6 A unital algebraAis calledcentralifZ(A)=Span{1}. central algebra Example 3.1.7 Consider the algebra Swith basis{ei}3i=0 and multiplica-

tion table given in Table3.1, where for purely aesthetic reasons the identity has been denoted bye0.

We want to see which elements belong to the center. Leta∈Z(S). Then for any arbitrary elementb∈S, we must haveab=ba. Let

a= 3

i=0

αiei and b= 3 i=0

βiei.

Then a straightforward calculation shows that

ab=(α0β01β1−α2β23β3)e0

+(α0β11β02β3−α3β2)e1

+(α0β21β32β0−α3β1)e2

+(α0β31β2−α2β13β0)e3,

with a similar expression forba, in whichαs andβs are switched. It is easy to show that the two expressions are equal if and only if

α2β33β2 and α1β33β1.

This can hold for arbitrarybonly ifα123=0, withα0arbitrary.

Therefore,a∈Z(S)if and only ifais a multiple ofe0, i.e., if and only if a∈Span{e0}. Therefore,Sis central.

Let AandB be subsets of an algebraA. We denote byAB the set of elements inAwhich can be written as the sum of products of an element inAby an element inB:

AB≡ x∈A|x=

k

akbk, ak∈A,bk∈B

. (3.1)

In particular,

A2x∈A|x=

k

akbk, ak,bk∈A

(3.2)

is called thederived algebraofA. derived algebra

Definition 3.1.8 Given any algebraA, in which(a,b)→ab, we can obtain Algebraopposite toA

a second algebraAopin which(a,b)→ba. We write (ab)op=ba

and callAopthe algebraopposite toA.

It is obvious that ifAis associative, so isAop, and ifAis commutative, thenAop=A.

Example 3.1.9 Here are some examples of algebra:

• Define the following product onR2:

(x1, x2)(y1, y2)=(x1y1−x2y2, x1y2+x2y1).

The reader is urged to verify that this product turnsR2into a commuta- tive algebra.

• Similarly, the vector (cross) product onR3turns it into a nonassociative, noncommutative algebra.

• The paradigm of all algebras is thematrix algebrawhose binary oper- ation is ordinary multiplication ofn×nmatrices. This algebra is asso- ciative but not commutative.

• LetAbe the set ofn×nmatrices. Define the binary operation, denoted by•, as

A•BABBA, (3.3)

where the RHS is ordinary matrix multiplication. The reader may check thatAtogether with this operation becomes a nonassociative, noncom- mutative algebra.

• LetAbe the set ofn×nupper triangular matrices, i.e., matrices all of whose elements below the diagonal are zero. With ordinary matrix mul- tiplication, this set turns into an associative, noncommutative algebra, as the reader can verify.

• LetAbe the set ofn×nupper triangular matrices. Define the binary operation as in Eq. (3.3). The reader may check thatAtogether with this operation becomes a nonassociative, noncommutative algebra. The derived algebraA2 of Ais the set of n×n strictly upper triangular matrices, i.e., upper triangular matrices whose diagonal elements are all zero.

• We have already established that the set of linear transformations L(V,W)from V to W is a vector space. Let us attempt to define a multiplication as well. The best candidate is the composition of linear transformations. IfT:V→UandS:U→Ware linear operators, then the compositionST:V→Wis also a linear operator, as can easily be verified. This product, however, is not defined on a single vector space, but is such that it takes an element inL(V,U)and another element in

a second vector spaceL(U,W)to give an element in yet another vec- tor spaceL(V,W). An algebra requires a single vector space. We can accomplish this by lettingV=U=W. Then the three spaces of linear transformations collapse to the single spaceL(V,V), the set of endo- morphisms ofV, which we have abbreviated asL(V)or End(V)and to whichT,S,STST, andTSTSbelong.

• All the examples above are finite-dimensional algebras. An example of an infinite-dimensional algebra isCr(a, b), the vector space of real- valued functions defined on a real interval(a, b), which have derivatives up to orderr. The multiplication is defined pointwise: Iff ∈Cr(a, b) andg∈Cr(a, b), then

(f g)(t )≡f (t )g(t ) ∀t∈(a, b).

This algebra is commutative and associative, and has the identity ele- mentf (t )=1.

• Another example of an infinite dimensional algebra is the algebra of polynomials.2 This algebra is a commutative and associative algebra with identity.

Definition 3.1.10 Let A andB be algebras. Then the vector direct sum A⊕Bbecomes analgebra direct sumif we define the following product

(a1b1)(a2b2)=(a1a2b1b2) onA⊕B.

algebra direct sum

Note that if an elementa is inA, then it can be represented by a0 as an element ofA⊕B. Similarly, an elementbinBcan be represented by0b. Thus the product of any element in Awith any element inBis zero, i.e.,AB=BA= {0}. As we shall see later, this condition becomes necessary if a given algebra is to be the direct sum of its subalgebras.

In order forabto be in the center ofA⊕B, we must have (ab)(xy)=(xy)(ab),

or

axby=xayb or (axxa)⊕(byyb)=0, for allx∈Aandy∈B. For this to hold, we must have

axxa=0 and byyb=0, i.e., thata∈Z(A)andb∈Z(B). Hence,

Z(A⊕B)=Z(A)⊕Z(B). (3.4)

Definition 3.1.11 LetAandB be algebras. Then the vector space tensor algebra tensor product

2It should be clear that the algebra of polynomials cannot be finite dimensional.

productA⊗Bbecomes analgebra tensor productif we define the product (a1b1)(a2b2)=a1a2b1b2

onA⊗B. Because of the isomorphism,A⊗B∼=B⊗A, we demand that ab=bafor alla∈Aandb∈B.

The last condition of the definition becomes an important requirement when we write a given algebraAas the tensor product of two of its subal- gebrasB andC. In such a case,⊗coincides with the multiplication inA, and the condition becomes the requirement that all elements ofBcommute with all elements ofC, i.e.,BC=CB.

Definition 3.1.12 Given an algebraAand a basisB= {ei}Ni=1for the un- derlying vector space, one can write

structure constants of an algebra

eiej= N k=1

ckijek, cijk ∈C. (3.5) The complex numbersckij, the components of the vectoreiej in the basisB, are called thestructure constantsofA.

The structure constants determine the product of any two vectors once they are expressed in terms of the basis vectors ofB. Conversely, given any N-dimensional vector spaceV, one can turn it into an algebra by choosing a basis and a set ofN3numbers{ckij}and defining the product of basis vectors by Eq. (3.5).

Example 3.1.13 Let the structure constants in algebras A and B be {akij}Mi,j,k=1and{blmn}Nl,m,n=1in their bases{ei}Mi=1and{fn}Nn=1, respectively.

So that

eiej= M i,j=1

akijek and fmfn= N m,n=1

bmnl fl.

Construct theMNdimensional algebraCby defining its structure constants ascklim,j n=aijkbmnl in a basis{vkl}M,Nk,l=1, so that

vimvj n= M i,j=1

N m,n=1

cim,j nkl vkl= M i,j=1

N m,n=1

akijblmnvkl.

This algebra is isomorphic to the algebraA⊗B. In fact, if we identifyvkl

on the right-hand side asekfl, then vimvj n=

M i,j=1

N m,n=1

cklim,j nekfl= M i,j=1

N m,n=1

akijblmnekfl

= M

i,j=1

aijkek

N

m,n=1

blmnfl

=(eiej)⊗(fmfn),

which is consistent withvimeifm andvj nejfn, and the rule of multiplication of the tensor product of two algebras.

Definition 3.1.14 A unital algebra all of whose nonzero elements have in-

verses is called adivision algebra. division algebra

Example 3.1.15 Let{e1,e2}be a basis ofR2. Let the structure constants be

c111 = −c122=c212=c221=1 c121 = −c121=c211=c222=0, i.e., let

e21= −e22=e1, e1e2=e2e1=e2.

Then, it is easy to prove that the algebra so constructed is justC. All that needs to be done is to identifye1with 1 ande2with√

−1. Clearly,Cis a division algebra.

Example 3.1.16 In the standard basis {ei}3i=0 ofR4, choose the structure constants as follows:

e20= −e21= −e22= −e23=e0, e0ei=eie0=ei fori=1,2,3, eiej=

3 k=1

ǫij kek fori, j=1,2,3, i=j,

whereǫij kis completely antisymmetric in all its indices (therefore vanishing if any two of its indices are equal) andǫ123=1. The reader may verify that these relations turnR4 into an associative, but noncommutative, algebra.

This algebra is called thealgebra of quaternions and denoted by H. In this context,e0is usually denoted by 1, ande1,e2, ande3byi,j, andk, respectively, and one writesq=x+iy+j z+kwfor an element ofH. It then becomes evident thatHis a generalization ofC. In analogy withC,x is called thereal partofq, and(y, z, w)thepure partofq. Similarly, the conjugateofqisq=x−iy−j z−kw.

algebra of quaternions It is convenient to writeq=x0+x, wherexis a three-dimensional vector.

Thenq=x0x. Furthermore, one can show that, withq =x0+x and p=y0+y,

qp=x0y0x·y

real part ofqp

+x0y+y0x+x×y

pure part ofqp

. (3.6)

Changingxto−xandyto−yin the expression above, one gets qp=x0y0x·y−x0y−y0x+x×y,

which is not equal to(qp). However, it is easy to show that(qp)=pq.

Substituting q for p in (3.6), we get qq=x02+ |x|2. Theabsolute valueof q, denoted by|q| is—similar to the absolute value of a complex number—given by|q| =√qq. Ifq=0, thenq/(x02+ |x|2)is the inverse ofq. Thus, the algebra of quaternions is a division algebra.

It is not hard to show that qn=

[n]/2

k=0

(−1)k n

2k

x0n2k|x|2k+

[n]/2

k=0

(−1)k n

2k+1

xn02k1|x|2kx, (3.7) where[n] =nifnis even and[n] =n−1 ifnis odd.

In order forabto be in the center ofA⊗B, we must have (ab)(xy)=(xy)(ab),

or

axby=xayb for allx∈Aandy∈B. For this to hold, we must have

ax=xa and by=yb, i.e., thata∈Z(A)andb∈Z(B). Hence,

Z(A⊗B)=Z(A)⊗Z(B). (3.8) LetAbe an associative algebra. A subsetS⊂Ais called thegenera- torof Aif every element ofAcan be expressed as a linear combination Generator of an algebra

of the products of elements inS. A basis of thevector spaceAis clearly a generator ofA. However, it is not the smallest generator, because it may be possible to obtain the entire basis vectors by multiplying a subset of them.

For example,(R3,×), the algebra of vectors under cross product, has the basis{ˆex,eˆy,eˆz}, but{ˆex,eˆy}—or any otherpairof unit vectors—is a gen- erator becauseeˆz= ˆex× ˆey.

Dalam dokumen Mathematical Physics (Halaman 90-96)