例 2: × ( ×A) = (. A) - 2A× (V×A)], = Eik0, (×A),= Ek);(emOiAm)=EijkEklmOOAm利用EjkEklm=Si0jm-Oimoj，可得[× (× A)], = eikEImo0,O/Am=(Outdm-Omdj)OOAm= 0,(O0)-0,0Ai=V(V.A)-A47
例 2：∇ × ⃗ (∇ × ⃗ ⃗A) = ∇⃗ (∇ · ⃗ ⃗A) − ∇⃗ 2⃗A [ ∇ × ⃗ (∇ × ⃗ ⃗A) ] i = ϵijk∂j ( ∇ × ⃗ ⃗A ) k = ϵijk∂j (ϵklm∂lAm) = ϵijkϵklm∂j∂lAm 利用 ϵijkϵklm = δilδjm − δimδjl，可得 [ ∇ × ⃗ (∇ × ⃗ ⃗A) ] i = ϵijkϵklm∂j∂lAm = (δilδjm − δimδjl)∂j∂lAm = ∂j(∂l∂l) − ∂j∂jAi = ∇⃗ (∇ · ⃗ ⃗A) − ∇⃗ 2⃗A 6 /47
eijk性质lmn=++Ejkemlmk+0mok+m+o0omEjkEomm+300m+0m8+0mg80m80m30m8=00m0meek = 88, - 88 = 3 -8/= 28Ejkeuk = 28; = 3!注意：不要相信你的记记，一定要使用Mathematica检查你的计算
ϵ ijk 性质 ϵijkϵ lmn = +δ l i δ m j δ n k + δ m i δ n j δ l k + δ n i δ l j δ m k −δ l i δ n j δ m k − δ n i δ m j δ l k − δ m i δ l j δ n k ϵijkϵ lmk = +δ l i δ m j δ k k + δ m i δ k j δ l k + δ k i δ l j δ m k −δ l i δ k j δ m k − δ k i δ m j δ l k − δ m i δ l j δ k k = +3δ l i δ m j + δ m i δ l j + δ m i δ l j −δ l i δ m j − δ l i δ m j − 3δ m i δ l j = δ l i δ m j − δ m i δ l j ϵijkϵ ljk = δ l i δ j j − δ j i δ l j = 3δ l i − δ l i = 2δ l i ϵijkϵ ijk = 2δ i i = 3! 注意：不要相信你的记忆，一定要使用 Mathematica 检查你的计算 7 /47
高能物理是相对论性物理本课程中所有的物理思想和公式都是写作为洛伦磁不变形式（或相对论性不变的）。微观尺度的物理规律需要使用相对论性不变的理论描述。物理学中最重要的原理之一是任何物理规律及其预言都和具体的参照系无关。高能物理中的客体的速度都接近于光速，我们必须使用狭义相对论描述它们。一协变、逆变指标和洛伦兹变换47
高能物理是相对论性物理 本课程中所有的物理思想和公式都是写作为洛伦 兹不变形式（或相对论性不变的）。 ▶ 微观尺度的物理规律需要使用相对论性不变 的理论描述。物理学中最重要的原理之一是： 任何物理规律及其预言都和具体的参照系无 关。 ▶ 高能物理中的客体的速度都接近于光速，我 们必须使用狭义相对论描述它们。 =⇒ 协变、逆变指标和洛伦兹变换 8 /47
协变和逆变矢量每个时空点都可以用如下的逆变量表示：x = (r0;x) = (ct;x) = (x0;xl,x2,x3)μ=0,1,2,3= (ct;x,y,z),希腊字母：时空变量：拉丁字母：空间变量定义逆变失量内积为X.y=x'guy其中平坦Minkowski空间的度规张量是guv
协变和逆变矢量 每个时空点都可以用如下的逆变矢量表示： x µ = ( x 0 ;⃗x ) = (ct;⃗x) = ( x 0 ; x 1 , x 2 , x 3 ) = (ct; x, y,z), µ = 0, 1, 2, 3 希腊字母：时空变量；拉丁字母：空间变量。 定义逆变矢量内积为 x · y = x µ gµνy ν , 其中平坦 Minkowski 空间的度规张量是 gµν = 1 0 0 0 0 −1 0 0 0 0 −1 0 0 0 0 −1 9 /47
注意：爱因斯坦约定：相同指标表示求和：这意味着看—一任何表达式都不会有超过两个的相同指标。通常我们将指标求和称作为指标缩并（indexcontraction），因为求和后的指标将从最终的公式中消失。利用这一点，我们将缩并的指标改为任意的符号。度规张量指标是下标，而协变量指标永远在上边。4
注意： ▶ 爱因斯坦约定：相同指标表示求和； 这意味着——任何表达式都不会有超过两个 的相同指标。通常我们将指标求和称作为指 标缩并（index contraction），因为求和后的指 标将从最终的公式中消失。利用这一点，我 们将缩并的指标改为任意的符号。 ▶ 度规张量指标是下标，而协变矢量指标永远 在上边。 10/47