几何代数だいすう

维基百科ひゃっか自由じゆうてき百科ひゃっかぜん

数学すうがくなか几何代数だいすう(也称さく克利かつとし福德ふくとく代数だいすうこれ初等しょとう代数だいすうてき推广,よう于处むかいりょうとう几何对象。几何代数だいすう由加ゆかほうあずか几何积两种基本きほん运算组成,こう量的りょうてきじょう积是さらだか维对ぞうしょうさく多重たじゅうむこうりょうあずか其他处理几何对象てき形式けいしきしょう,几何代数だいすうざい支持しじ不同ふどう维度てき对象てきむこうりょう除法じょほうあずか加法かほう方面ほうめん具有ぐゆう优势。

几何积最早由さより赫尔曼·かくひしげ斯曼简单ひさげ及,[1]:6てき兴趣主要しゅようざい于发てんあずかこれ紧密しょう关的そと代数だいすう。1878ねんかど·きん顿·克利かつとし福德ふくとくだいだい扩展りょうかくひしげ斯曼てき工作こうさく形成けいせい现在しょ克利かつとし福德ふくとく代数だいすう以纪ねん(虽然克利かつとし福德ふくとく自己じこしょう为“几何代数だいすう”)。克利かつとし福德ふくとくはた克利かつとし福德ふくとく代数だいすう及其积定义为かくひしげ斯曼代数だいすうかず哈密顿的よんげんすう代数だいすうてき统一。うえかくひしげ斯曼がい积的对偶(“あいぐう”)就可以使用しようかくひしげ斯曼–凯莱代数だいすうきさきしゃてききょうかたち版本はんぽんあずかきょうかたち克利かつとし福德ふくとく代数だいすういちおこり产生りょうきょうかたち几何代数だいすう(CGA),为经典几何提供ていきょうりょうかまち[2]:411实践ちゅう,这些运算一些可派生运算可将代数的元素、そら间、运算どう几种几何かい释对应起らい。几じゅう年来ねんらい,几何代数だいすうゆう些被ゆるがせ视了,いん为当时为描述电磁がく产生てきこうりょう分析ぶんせき挤占りょう几何代数だいすうてき盘。1960年代ねんだい,“几何代数だいすうゆかりだい卫·くろ斯廷斯じゅうしん发掘出来できしゅ张其对相对论物理ぶつりがくてき重要じゅうようせい[3]

标量むこうりょうゆう通常つうじょうてきかい释,并构なり几何代数だいすうてき不同ふどうそら间。じゅうむこうりょうさら自然しぜん表示ひょうじこうりょう分析ぶんせきなかてき伪向りょう,如有向ゆうこうめん积、旋转てき有向ゆうこう角度かくど、挠、すみ动量あずか电磁场。三重向量可表示有向体积,とうとうしょうさくてき元素げんそ可用かよう表示ひょうじVてきそら间,及其じょうてきせい投影とうえい。旋转与反射はんしゃ也可よう元素げんそ表示ひょうじ不同ふどう于向りょう分析ぶんせき,几何代数だいすう自然しぜんよう纳任なん维度にんなんがた,如あい对论なかてきがた

几何代数だいすうざい物理ぶつりがくちゅうてき应用ゆう时空代数だいすう(及不ふとつね见的物理ぶつりそら间代すうあずかきょうかたち几何代数だいすう几何ほろ积分几何代数だいすうてき推广,包含ほうがんりょう微分びぶん积分可用かよう形成けいせい其他论,如分析ぶんせき微分びぶん几何れい如用克利かつとし福德ふくとく代数だいすう代替だいたい微分びぶん形式けいしきだい卫·くろ斯廷斯[4]かずChris Doran[5]とうひと一直主张将几何代数作为物理ぶつりがくてき主要しゅよう数学すうがくかまち支持しじしゃごえたたえ,几何代数だいすう包括ほうかつ经典力学りきがく量子力学りょうしりきがく电磁がくあい对论とう许多领域提供ていきょうりょう紧凑而直观地描述。[6]几何代数だいすう还被用作ようさく计算つくえ图形がく[7]つくえじんがくてき计算工具こうぐ

てい义与符号ふごう[编辑]

几何代数だいすうゆう种定义。くろ斯廷斯最初さいしょてきてい义是公理こうりてき[8]:3–5たかしみつる几何义”,とう价于泛克福德ふくとく代数だいすう[9]:101给定いきFうえてき有限ゆうげん维向りょうそらV,并配备对たたえそう线性形式けいしきそくない积,如欧あるらく伦兹度量どりょう,则そらてき几何代数だいすうこれ克利かつとし福德ふくとく代数だいすうなり员乘すわ重子しげこある多重たじゅうむこうりょう多重たじゅうむこうりょう一词更常用于指外代数的具体元素)。按领域内いきないてき通常つうじょう做法,本文ほんぶんはたただこう虑实すうじょうがたそく符号ふごうぶん别为しょうよう表示ひょうじそう线性形式けいしきg具有ぐゆう符号ふごうぶん别是てき几何代数だいすう

代数だいすうちゅうてきほん质积しょうさく几何积,包含ほうがんてきそと代数だいすうてき积称さくがい积(さらさけべくさび[a])。标准うつしほうぶん别是并列(はぶけにんなん符号ふごうかずくさびがた。几何代数だいすうてき上述じょうじゅつてい义是抽象ちゅうしょうてきいん此我们用下面かめん一组公理概括几何积的性质。对于多子おいご,几何积具有ぐゆう如下せい质:

  • ふう
  • ,其中单位もと单位もとてき存在そんざい
  • 结合りつ
  • and 分配ぶんぱいりつ
  • ,其中aだいすうそらVてき任意にんい元素げんそ

そと具有ぐゆうしょうどうまとせい质,たださいきさきいちじょうあらため

注意ちゅういざい上述じょうじゅつさいきさきいち个性质中,わかg是正ぜせいじょうてき,则实すう是非ぜひ负的。 几何积的一个重要性质是元素有乘法逆元:わか,则存在そんざい,且等于代数だいすうてきれいもと一定いっていゆう乘法じょうほうぎゃくもとれい如若,且使,则元素げんそすんで是非ぜひ平凡へいぼん幂等元素げんそ,也是非ぜひれいれいじょ,于是ぼつゆうぎゃく[b]

通常つうじょうしょうVあずか其在自然しぜん嵌入かんにゅうしたてきぞう视作とうどうてき本文ほんぶんちゅう,标量むこうりょうぶん别指Vてき元素げんそ(及它们在此嵌入かんにゅうてきぞう)。

几何积[编辑]

给定两向りょうabわか其几なん[10]はん交换,则是垂直すいちょくてきいんわか交换てき,则是平行へいこうてきいん
ゆかりゆうじょこうりょうしゅうてい义的方向ほうこう
はん方向ほうこう相当そうとう于对がい积取负
实外代数だいすうちゅうn次元じげん素的すてき几何かい释:ゆう符号ふごうてん)、有向ゆうこう线段あるこうりょう)、有向ゆうこうめんもと)、有向ゆうこうたい积) 。n个向量的りょうてきがい积可ちょく观视さくにんなにn维形じょう(如n-ちょう平行へいこうたいn-椭球);其大しょうちょうからだ方向ほうこうゆかり(n-1)维边かいじょうてき方向ほうこう内部ないぶ哪一边的方向定义。[11][12]:83

しょう任意にんい两向りょうabてき几何积写なり对称积与はん对称积之

于是以定义内积[c]

于是,对称积可うつしさく

はんこれg完全かんぜんよし代数だいすう决定。はん对称部分ぶぶん两个こう量的りょうてきがい积,そくそと代数だいすう部分ぶぶん积:

么从简单加法かほう就能ゆう

几何积的广义あるこうりょう形式けいしき

内外ないがい积与标准むこうりょう代数だいすうちゅうてきしょう概念がいねんゆう关。几何じょうわかabてき几何积等于其ない积,则就平行へいこうてきわかとう于其がい积,则就垂直すいちょくてきざい几何代数だいすうちゅうれいこう量的りょうてき平方へいほう是正ぜせいてきいん此两こう量的りょうてきない积可视作标准むこうりょう代数だいすうてきてん。两向りょうがい积可用向ようむきりょう形成けいせいてき平行へいこうよん边形ところつつみ围的有向ゆうこうめんらい表示ひょうじ。3维中具有ぐゆうせいじょうがたてき两向りょうまたあずか其外积密きりしょう关。

だい多数たすうしょう关几なん代数だいすうてき实例具有ぐゆう退化たいかがたわかがた完全かんぜん退化たいかてき,则任意にんい两向量的りょうてきない积总れい,几何代数だいすう就是简单てきそと代数だいすうじょ另有说明,本文ほんぶんただ讨论退化たいか几何代数だいすう

そと积可自然しぜん推广为代すうちゅう任意にんい两元素之もとゆき间的结合そう线性さん,且满あし

其中,かずただし对指すうてき所有しょゆう排列はいれつ排列はいれつてき符号ふごうむこうりょう代数だいすうてき一般いっぱん元素げんそ)。よし于代すうちゅうてきまい元素げんそ表示ひょうじ为这种形しきてき积之,这也就定义了代数だいすうちゅうまい对元素的すてきがい积。从定义中以看そと积构なり交替こうたい代数だいすう

克利かつとし福德ふくとく代数だいすうてきとう价结构方ほど[13]:2338[14]:2346

其中これAてきひろし法夫のりお提供ていきょうりょうしょうn个索引分ひきわけ2in-2i部分ぶぶんてき组合kこれ组合てき奇偶きぐうせい

ひろし法夫のりお值为がい代数だいすう提供ていきょうりょう度量どりょう。另外,せい如Claude Chevalley指出さしでてき克利かつとし福德ふくとく代数だいすう还原为二次型为零的外代数。[15]从几なん角度かくど单纯がた发,发展克利かつとし福德ふくとく代数だいすうらい理解りかいあまね法夫のりお值所おこりてき作用さよう[16]这种推导为杨辉さんかくかず单纯がた提供ていきょうりょうさらこのみてき联系,いん提供ていきょうりょう对杨辉三角第一层一个1てきかい释。

つぎ、规范もと[编辑]

多重たじゅうむこうりょうr个线せい独立どくりつこう量的りょうてきがい积,しょうさくいち个刃(blade),次数じすうr(grade)。[e]rつぎ形成けいせいてき多重たじゅうむこうりょうしょうさく(齐性)r多重たじゅうむこうりょうすえ公理こうりあずか闭包,几何代数だいすうちゅうてき多重たじゅうむこうりょう

こうr线性独立どくりつこうりょう集合しゅうごうまたがえつむこうりょうそら间的r维子そら间,これきさき就可てい义实对称のりあずか构造かくひしげ姆矩阵てき方法ほうほうしょうどう):

すえ定理ていりゆかりせい交矩阵对角对角のり

てい义一组新てきむこうりょうしょうさくせい交基むこうりょう由正よしまさ交矩阵变换的むこうりょう

よし于正交变换保ない积,所以ゆえん垂直すいちょく。也就说,两不どうむこうりょうてき几何积完ぜんよしがい积决じょうさら一般いっぱん

于是,rうつしさくr个向量的りょうてきがい积。さら一般いっぱんわかまこと许退几何代数だいすう,则正交矩阵将がえ换为退化たいか块中せい交的ぶん块矩阵,对角阵的れい值项沿退维度分布ぶんぷわか退化たいかそら间的しんむこうりょう归一化的单位向量:

则这些归一化向量必须平方为西にし尔维斯特惯性定理ていり指出さしで,沿对かく阵的てき总数变的。推而广之,平方へいほうとくまとむこうりょう总数pとくまとむこうりょう总数q也是变的。(平方へいほう为零てきもとむこうりょう总数也不变,わかまこと许退じょうがた,则可能かのう为零。)记此代数だいすうれい如,3维おうそらてき模型もけいしょう对论时空3维空间的きょうかたち几何代数だいすう

さく引依递增てきn个正交基こう量的りょうてき所有しょゆう可能かのう集合しゅうごう包括ほうかつさく为空积的,构成りょうせい个几なん代数だいすうてきもと(类似于PBW定理ていり)。れい如,下面かめん几何代数だいすうてきもと

这样形成けいせいてきもとしょうさく规范もとVてきにんなん其他せい交基都会とかい产生另外てき规范もとまい个规范基みやこゆう元素げんそ,几何代数だいすうてきまい多重たじゅうおもえらい个都ひょう为规范基元素げんそてき线性组合。わか规范もと元素げんそ,其中S索引さくいんしゅう,则任意にんい两多おもこう量的りょうてき几何积是

ざい描述ただ含1次元じげん素的すてき多重たじゅうむこうりょう时,常用じょうよう-むこうりょう”。高位こういそら间中,ゆう些这样的多重たじゅうむこうりょう不能ふのう视作不能ふのう分解ぶんかいk个向量的りょうてきがい积)。举例らい说,なかてき不能ふのう分解ぶんかい通常つうじょうじょう况下,代数だいすうちゅう这类元素げんそ不能ふのう几何かい释为对象,つきかん它们可能かのう代表だいひょう诸如旋转类的几何りょうただゆう-むこうりょうざいn-そら间中还是

投影とうえい[编辑]

另见[编辑]

ちゅう[编辑]

  1. ^ 几何代数だいすうてきそと积”(outer product)あずか其他数学すうがく领域ちゅうてき同名どうめい异义
  2. ^ 给定可知かち ,说明幂等てき,且 表明ひょうめい是非ぜひれいれいじょ
  3. ^ 这是伪欧几里とくむこうりょうそら标量积的どう义词,ゆび1-むかい量子りょうこそら间上てき对称そう线性形式けいしき,而不赋范むこうりょうそらうえてきうち有人ゆうじんかいしょうない积推广到せい个代すうただし实际じょう对此几乎ぼつゆうども识。そく使つかいゆう关几なん代数だいすうてき文章ぶんしょうちゅう,这个术语也不常用じょうよう
  4. ^ ひっさげいた几何积下てきぶん时,文献ぶんけん一般いっぱんただ关注-ぶんつぎそくぶん为奇すうあずか偶数ぐうすうてき-つぎ几何积完せいてき-ぶんつぎてきいち个子ぐん
  5. ^ つぎ(grade)齐性元素げんそつぎてきどう义词,ざいさく为代すうてきつぎあずかそと积(-ぶんつぎしたてき,而非ざい几何积下てき[d]

脚注きゃくちゅう[编辑]

参考さんこう文献ぶんけん[编辑]

时间顺序排列はいれつ

外部がいぶ链接[编辑]

English translations of early books and papers

研究けんきゅう


线性代数だいすう

むかいりょう · むかいりょうそら · 基底きてい  · 行列ぎょうれつしき  · のり