在数学里,特别是将线性代数套用到物理时,爱因斯坦求和约定(Einstein summation convention)是一种标记的约定,又称为爱因斯坦标记法(Einstein notation),在处理关于坐标的方程式时非常有用。这约定是由阿尔伯特·爱因斯坦于1916年提出的。后来,爱因斯坦与友人半开玩笑地说:“这是数学史上的一大发现,若不信的话,可以试着返回那不使用这方法的古板日子。”
按照爱因斯坦求和约定,当一个单独项目内有标号变数出现两次,一次是上标,一次是下标时,则必须总和所有这单独项目的可能值。通常而言,标号的标值为1、2、3(代表维度为三的欧几里得空间),或0、1、2、3(代表维度为四的时空或闵可夫斯基时空)。但是,标值可以有任意值域,甚至(在某些应用案例里)无限集合。这样,在三维空间里,
的意思是
请特别注意,上标并不是指数,而是标记不同坐标。例如,在直角坐标系里,
、
、
分别表示
坐标、
坐标、
坐标,而不是
、
的平方、
的立方。
爱因斯坦标记法的基本点子是余向量与向量可以形成标量:
通常会将这写为求和公式形式:
在基底变换之下,标量保持不变。当基底改变时,一个向量的线性变换可以用矩阵来描述,而余向量的线性变换则需用其逆矩阵来描述。这样的设计为的是要保证,不论基底为何,伴随余向量的线性函数(即上述总和)保持不变。由于只有总和不变,而总和所涉及的每一个项目都有可能会改变,所以,爱因斯坦提出了这标记法,重复标号表示总和,不需要用到求和符号:
采用爱因斯坦标记法,余向量都是以下标来标记,而向量都是以上标来标记。标号的位置具有特别意义。请不要将上标与指数混淆在一起,大多数涉及的方程式都是线性,不超过变数的一次方。在方程式里,单独项目内的标号变数最多只会出现两次,假若多于两次,或出现任何其它例外,则都必须特别加以说明,才不会造成含意混淆不清。
在线性代数里,采用爱因斯坦标记法,可以很容易的分辨向量和余向量(又称为1-形式)。向量的分量是用上标来标明,例如,
。给予一个
维向量空间
和其任意基底
(可能不是标准正交基),那么,向量
表示为
余向量的分量是用下标来标明,例如,
。给予
的对偶空间
和其任意基底
(可能不是标准正交基),那么,余向量
表示为
采用向量的共变和反变术语,上标表示反变向量(向量)。对于基底的改变,从
改变为
,反变向量会变换为
其中,
是改变基底后的向量的分量,
是改变基底后的坐标,
是原先的坐标,
下标表示共变向量(余向量)。对于基底的改变,从
改变为
,共变向量会会变换为
矩阵
的第
横排,第
竖排的元素,以前标记为
;现在改标记为
。各种一般运算都可以用爱因斯坦标记法来表示如下:
给予向量
和余向量
,其向量和余向量的内积为标量:
给予矩阵
和向量
,它们的乘积是向量
:
类似地,矩阵
的转置矩阵
,其与余向量
的乘积是余向量
:
矩阵乘法表示为
这公式等价于较冗长的普通标记法:
给予一个方块矩阵
,总和所有上标与下标相同的元素
,可以得到这矩阵的迹
:
M维向量
和N维余向量
的外积是一个M×N矩阵
:
采用爱因斯坦标记式,上述方程式可以表示为
由于
和
代表两个不同的标号,在这案例,值域分别为M和N,外积不会除去这两个标号,而使这两个标号变成了新矩阵
的标号。
一般力学及工程学会用互相标准正交基的基底向量
、
及
来描述三维空间的向量。
把直角坐标系的基底向量
、
及
写成
、
及
,所以一个向量可以写成:
根据爱因斯坦求和约定,若单项中有标号出现两次且分别位于上标及下标,则此项代表着所有可能值之总和:
由于基底是标准正交基,
的每一个分量
,所以,
两个向量
与
的内积是
由于基底是标准正交基,基底向量相互正交归一:
其中,
就是克罗内克函数。当
时,则
,否则
。
逻辑上,在方程式内的任意项目,若遇到了克罗内克函数
,就可以把方程式中的标号
转为
或者把标号
相关
- 碘化钾碘化钾(英文:Potassium iodide,实验式:KI),俗称钾碘。是一种无机化合物,用于制备有机碘化物等,并用作化学试剂。为无色或白色立方晶体。无臭,有浓苦咸味。熔点 681℃,沸点 1330℃。易
- 以同治同以同治同是顺势疗法中一个重要原则,拉丁文similia similibus curantur可翻译成"以同类来治疗同类",指的是如某物质能使健康的人患病,那么将此物质稀释震荡处理后就能治疗该病。例
- Kuhn, Thomas托马斯·塞缪尔·库恩(英语:Thomas Samuel Kuhn,1922年7月18日-1996年6月17日),美国物理学家、科学史学家和科学哲学家,代表作为《哥白尼革命》和《科学革命的结构》。其最有名的著
- 劳登劳登县(Loudoun County, Virginia)是美国维吉尼亚州北部的一个县,北隔波托马克河与马里兰州相望。面积2,350平方公里。根据美国2000年人口普查,共有人口169,599人,2005年人口为26
- 短叶江西小檗短叶江西小檗(学名: var. )为小檗科小檗属下的一个变种。
- 暴走族暴走族(日语:暴走族)是一种类似“汽车俱乐部”的日本次文化,指的是一群喜欢改装(通常是违法改装)摩托车和汽车的年轻人所组成之集团。这些改装通常包括移除车辆的灭音装置,使之在行
- 织构织构(Texture)是描述一个多晶材料中,原本应该是随机分布的结晶方位,却因为制程使得多数晶粒具有类似的结晶方位,称之为织构或是优选方位(Preferred Orientation)。一般来说,形成织构
- ElmElm是UNIX下的一个命令行方式的电子邮件客户端,其名字取自榆树的英文()。这个程序1986年发布。可以进行选择、阅读、删除、发送电子邮件等操作,而且支持MIME附件。后在此基础上
- 继昌 (嘉庆举人)继昌(1776年-1829年),拜都氏,满洲正白旗人,清朝官员、举人出身。嘉庆五年,庚申科举人。嘉庆二十三年十月二十,由大理寺卿调代,二十五年十月十三(1820年11月18日),任命广西布政使。道光元
- 望月信亨望月 信亨(日语:もちづき しんこう,1869年10月28日-1948年7月13日),原姓松原,名胜次郎,生于日本福井县,著名佛教学者,日本净土宗僧侣,曾任大正大学校长。望月信亨,原名松原胜次郎,12岁时