请输入您要查询的字词:

 

单词 ExteriorAlgebra
释义

exterior algebra


1 Introductory remarks.

We begin with some informal remarks to motivate the formal definitionsfound in the next sectionPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath. Throughout, V is a vector spaceMathworldPlanetmath over afield K. Many of the concepts and constructions discussed belowapply verbatim to modules over commutative rings, but we will stick tovector spaces to keep things simple.

The exterior product, commonly denoted by the wedge symbol and also known as the wedge product, is an antisymmetric variant ofthe tensor productPlanetmathPlanetmathPlanetmath. The former, like the latter is an associative,bilinear operation. Thus, for all u,vV and a,b,c,dK,we have

(au+bv)(cu+dv)=ac(uu)+ad(uv)+bc(vu)+bd(vv)(1)
(au+bv)(cu+dv)=ac(uu)+ad(uv)+bc(vu)+bd(vv).(2)

The essential differencePlanetmathPlanetmath between the two operationsMathworldPlanetmath is that allsquares formed using the exterior product vanish, by definition.Thus,

vv=0,(3)

whereas vv0. Hence, the expressions in(1) are equal to (ad-bc)uv, but there is noway to simplify further the right-hand side of (2).

A polarization argumentPlanetmathPlanetmath showsthat for u,vV we have

0=(u+v)(u+v)
=uu+uv+vu+vv
=uv+vu.

Therefore, if the characteristicPlanetmathPlanetmath (http://planetmath.org/characteristic) of the underlying field K is not equal to 2, that is if 1+10, then the key postulateMathworldPlanetmath (3) islogically equivalent to the antisymmetry condition

uv=-vu,u,vV.(4)

However, if the characteristic is 2, that is if K is a field where1=-1, then (3) does not, necessarily, follow from(4). Therefore, to keep things as general as possible,we must use (3) to formulate the essential identityPlanetmathPlanetmathPlanetmathPlanetmathsatisfied by the exterior product.

So far so good, but we have not yet given a meaning to the symboluv. The geometric interpretationMathworldPlanetmathPlanetmath of uv is that ofan oriented area element in the plane spanned by u and v. Withoutadditional structure, there is no way to assign a area measurement toa parallelogram in a vector space. However, parallelograms that liein the same plane are commensurate. If we adopt the parallelogramspanned by u and v as the standard area, we can say that theoriented area of another parallelogram, say one that is spanned byau+bv and cu+dv, has an area that is ad-bc times the area of thefirst parallelogram. The exterior product allows us to express thisalgebraically. To wit,

(au+bv)(cu+dv)=(ad-bc)(uv),u,vV,a,b,c,dK.

The analogous interpretation for vectors is that ofan oriented length element on a line. For this reason, the objectuv is referred to as a bivector.

From a more algebraic point of view, a bivector uv can beconsidered as a formal antisymmetric productPlanetmathPlanetmathPlanetmath of vectors u and v,in much the same way that uv can be regarded as a formalnon-commutative product of two vectors. Such descriptions can hardlyserve as rigorous definitions, but an explicit construction is notreally the way to go here.

Take the case of the tensor product. Formal sums of formal productsuv, where u,vV, form a certain vector space, which wedenote as VV. However, rather than saying that VVis such and such a thing, it is better to state a certainuniversal propertyMathworldPlanetmath that describes VV up to vector spaceisomorphismMathworldPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath. The property in question is that every bilinearmap f:V×VW determines a unique linear map fromg:VVW such that

f(u,v)=g(uv),u,vV.

Similarly, formal sums ofbivectors constitute a vector space Λ2(V), called the secondexterior power of V. This vector space is defined, up toisomorphism, by the condition that every antisymmetric, bilinear mapf:V×VW determines a unique linear map g:Λ2(V)W with

f(u,v)=g(uv).

Thus, in the same way that the tensorproduct replaces bilinear maps with a certain kind of linear map,the exterior product replaces bilinear, antisymmetric maps with linearmaps from Λ2V.

More generally, k-multivectors are k-fold productsv1vk, and the kth exterior power,Λk(V), is the vector space of formal sums ofk-multivectors. The product of a k-multivector and an-multivector is a (k+)-multivector. So, the direct sumMathworldPlanetmathPlanetmathPlanetmathPlanetmathkΛk(V) forms an associative algebra, which isclosed with respect to the wedge product. This algebraPlanetmathPlanetmath, commonlydenoted by Λ(V), is called the exterior algebra of V.

Again, the analogyMathworldPlanetmath with the tensor product is useful. The tensoralgebra T(V) can be characterized as the associative,non-commutative algebra freely generated by V. If thecharacteristic of k is not 2, then the wedge product satisfies thesupercommutativity relationsMathworldPlanetmathPlanetmathPlanetmath

αβ=(-1)k+βα,αΛk(V),βΛ(V).

Thus, Λ(V)can be characterized as the supercommutative algebra which is freelygenerated by V.

2 Formal definitions.

Supercommutative algebras.

For the purposes of this discussion, we define a supercommutativealgebra to be an associative, unital K-algebra A with an2-grading, A=A+A-, such that for all oddaA- we have

a2=0,

and such that for all even bA+ and all aA, we have

ab=ba.

Using a polarization argument we see that the firstcondition implies that for all odd a,bA- we have

ab=-ba.

If the characteristic of K is different from 2, then the converseMathworldPlanetmathis true, and we recover the usual definition of supercommutativity,namely that

ab=±ba,aA±,bA±,

with the minus sign employed if both a and b or odd, and with +employed otherwise.

Exterior algebra.

Let E be a supercommutative algebra and ι:VE- a linearmap. We will say that (E,ι) is a model for the exterior algebraof V, if every linear map f:VA-, where A a supercommutativealgebra, to a unique algebra homomorphism g:EA, where“lifts” means that f=gι.Diagrammatically:

The above condition on E is a universal property; this implies thatall models are isomorphic as algebras. Thus, when we speak ofΛ(V), the exterior algebra of V, we are referring to theisomorphism class of all such models. It is also common to identifyV with its image ι(V), and to write v rather thanι(v).

Exterior powers.

For the purposes of the present entry, we define an antisymmetric mapto be a k-multilinear map f:V×kW such that f(,v,v,)=0 for all vV. A polarization argument then implies theusual antisymmetry condition, namely that for every permutationMathworldPlanetmath πof {1,2,,k} we have

f(vπ1,,vπk)=sgn(π)f(v1,,vk),v1,,vkV.

As usual, if the characteristic of K is different from 2, the twoassertions are equivalentMathworldPlanetmathPlanetmathPlanetmathPlanetmath. However if 1=-1, then the firstassertion is stronger, and that is why we adopt it as the definitionof antisymmetry.

We now define a model of the kth exterior power of V to be avector space Ek and an antisymmetric map :V×kEk such that every antisymmetric map f:V×kW lifts to a unique linear map g:EkW, where “lifts”means that

f(v1,,vk)=g(v1vk),v1,,vkV.

As above, all models are isomorphic as vector spaces, and we useΛk(V) to denote the isomorphism class of all such.

The standard model.

A model of the exterior algebraΛ(V), and the exterior powers Λk(V) can be easilyconstructed as the antisymmetrized quotientsPlanetmathPlanetmath of the tensor algebra

T(V)=k=0Vk,Vk=VV (k times).

To that end, let S(V)denote the two sided ideal of T(V) generated byelements of the form vv,vV. Then

S(V)=k=0Sk(V),whereSk(V)=S(V)Vk,

and let

E(V)=T(V)/S(V),Ek(V)=Vk/Sk(V)

denote theindicated quotients, with a:T(V)E(V) and ak:VkEk(V) denoting the corresponding antisymmetrization surjections. Itis easy to see that S1(V) is the trivial vector space, and hencethat E1(V)V. We leave it as an exercise for the reader toshow that Ek(V),k2 is a model of the kth exteriorpower, while E(V) together with the map VE1(V) is a model ofthe full exterior algebra.

The canonical grading.

An inspection of the aboveconstruction reveals that

E(V)=k=0Ek(V).

Indeed, every model ofexterior algebra carries a canonical grading. Let E be a particularmodel of the exterior algebra of V. For k=1,2,, we will callαE, a k-primitive elementMathworldPlanetmath if α=v1vk, for some viV. We now letEkE denote the vector space spanned by all k-primitiveelements, and let E0=K.

Proposition 1.

The subspacePlanetmathPlanetmathPlanetmath Ek is a model for the k𝑡ℎ exterior power ofV. Furthermore,

E=k=0Ek.

Categorical formulation.

The above definition of exterior product has a very appealingcategorical formulation. Let 𝕊 denote the category ofsupercommutative K-algebras, let 𝕍 denote category of vectorspaces over K, and let ()-:𝕊𝕍 denote theforgetful functorMathworldPlanetmathPlanetmath AA-. We may now say that theexterior algebra function Λ:𝕍𝕊 is the leftadjoint of ()-. In other words,

Hom𝕍(V,A-)Hom𝕊(Λ(V),A),V𝕍,A𝕊,

with theisomorphism natural in V and A.

It is useful to compare the above definition to the categoricaldefinition of the tensor algebra. Let 𝔸 denote the category ofassociative, unital K-algebras, and let F:𝔸𝕍 be theforgetful functor that gives the underlying vector space structure ofa K-algebra. We can then define the tensor algebra T(V) of avector space V by saying that T:𝕍𝔸 is the left-adjointof F:𝔸𝕍. Thus, whereas T(V) as the associativealgebra freely generated by V, the exterior algebra Λ(V)is the supercommutative algebra freely generated by V. Theantisymmetrizationquotient map aV:T(V)Λ(V) is a natural transformation betweenthese two functorsMathworldPlanetmath.

3 Finite dimensional models.

Basis models.

If V is an n-dimensional vector space, there are somedown-to-earth constructions of Λ(V) that go a long way toilluminate the nature of the exterior product. Suppose then, that Vis n-dimensional, and let e1,,en be a basis of V. Forevery ascending sequencePlanetmathPlanetmath

0i1<i2<<ikn

let usintroduce the symbol eI=ei1ik to represent the primitivek-multivector ei1eik. If I is theempty sequence, we let eI denote the unit element of the fieldK.

Proposition 2.

The (nk)-dimensional vector space spanned by ei1ik is a model of Λk(V).

Note that Λ1(V) is just the n-dimensional space spanned bythe basis symbols e1,,en. As such, Λ1(V) isnaturally isomorphic to V. For disjoint sequences I and J, letus define

eIeJ=sgn(IJ)e[IJ],

where [IJ] denotes theascending sequence composed of the union of I and J, and wheresgn(IJ)=±1 denotes the parity of the permutation that takes thesorted list [IJ] to the unsorted concatenation IJ. If I and Jhave one or more elements in common, we define

eIeJ=0.

Here are some examples:

e3e12=e123,
e2e14=-e124,
e14e23=e1234,
e24e13=-e1234,
e24e14=0.
Proposition 3.

The 2n dimensional vector spanned by the symbols eI, togetherwith the above product and the linear isomorphism from V toΛ1(V) is a model of the exterior algebra Λ(V).

Evidently, any list of numbers between 1 and n with length greaterthan n will contain duplicates. Thus, an immediate consequence ofthis construction is that Λk(V)=0 for k>n, and hence that

Λ(V)=k=0nΛn(V).

Alternating forms.

If V is finite-dimensional, we have the natural isomorphism betweenV and the double-dual V**. We can exploit this naturalisomorphism to construct the following model of exterior algebra. LetAk(V) denote the vector space of k-multilinear mappings from(V*)××(V*) (k times) to K. Such an mappingis known as an alternating k-form. Using the above duality we canprove that Ak(V) is a model for the kth exterior power ofV.

Given alternating forms uAk(V) and vA(V),let us define uvAk+(V) according to

(uv)(a1,,ak+)=πsgn(π)u(aπ1,,aπk)v(aπk+1,,aπk+),

where a1,,ak+V*, and where the sum is taken overall permutations π of {1,2,,k+} such that π1<π2<<πk and πk+1<<πk+, andwhere sgnπ=±1 according to whether π is aneven or odd permutationMathworldPlanetmath. With this definition, we can show that

A(V)=k=0nAk(V)

together with the above product, and the linear isomorphism VA1(V)V** is a model for the exterior algebra Λ(V).

4 Historical Notes.

The exterior algebra is also known as the Grassmannalgebra after its inventor http://www-groups.dcs.st-and.ac.uk/ history/Mathematicians/Grassmann.htmlHermann Grassmannwho created it to give algebraic treatment of lineargeometry. Grassmann was also one of the first people to talk aboutthe geometry of an n-dimensional space with n an arbitrary naturalnumberMathworldPlanetmath. The axiomatics of the exterior product are needed to definedifferential forms and therefore play an essential role in the theoryof integration on manifolds. Exterior algebra is also an essentialprerequisite to understanding de Rham’s theory of differentialcohomology.

Titleexterior algebra
Canonical nameExteriorAlgebra
Date of creation2013-03-22 12:34:14
Last modified on2013-03-22 12:34:14
Ownerrmilson (146)
Last modified byrmilson (146)
Numerical id35
Authorrmilson (146)
Entry typeDefinition
Classificationmsc 15A75
SynonymGrassmann algebra
Related topicAntiSymmetric
Definesexterior product
Defineswedge product
Definesmultivector
Definesexterior power
随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 10:31:30