查看“里奇曲率張量”的源代码

在[[微分幾何]]中，類似[[度量張量]]，里奇張量也是一個在[[黎曼流形]]每點的[[切空間]]上的[[對稱雙線性形式]]。以[[格雷戈里奥·里奇-库尔巴斯托罗]]（Gregorio Ricci-Curbastro）為名的'''里奇張量'''或'''里奇曲率張量'''（Ricci curvature tensor）。提供了一個數據去描述給定的[[黎曼度規]](Riemannian metric)所決定的體積究竟偏離尋常歐幾里得 ''n-'' 空間多少的程度。粗略地講，里奇張量是用來描述「體積扭曲」的一個值；也就是說，它指出了''n-''維流形中給定區域之''n-''維體積，其和[[歐幾里得空間|歐幾里得]]''n-''空間中與其相當之區域的體積差異程度。更精確的描述請見下文「直接的幾何意義」段落。

== 正式定義 ==
設 {{mvar|(M,g)}}是一個 {{mvar|n}}-維 [[黎曼流形]]。 記 {{mvar|T<sub>p</sub>M}} 為 {{mvar|M}} 在 {{mvar|p}} 點的[[切空間]]， 任給切空間 {{mvar|T<sub>p</sub>M}} 中的一對向量 {{mvar|ξ}}, {{mvar|η}} ，Ricci 張量 {{math|Ric(ξ,η)}} 在 {{mvar|p}} 點的值定義為 {{math|''T<sub>p</sub>M'' → ''T<sub>p</sub>M''}} 的線性映射 {{math|''X<sub>p</sub>'' → ''R(X<sub>p</sub> ,η)ξ''}} 的[[跡]]（trace），也就是說： 

:<math>\mathrm{Ric} (\xi , \eta ):=\operatorname{trace} \{X \mapsto R(X,\eta) \xi\}</math>

右手邊 {{mvar|R}} 是所謂[[黎曼曲率張量]]，而 {{math|''X'' → ''R(X, η)ξ''}} 是切空間之間的線性映射，所以可以計算這映射的跡。在[[局部坐標系]]下有
:<math>\operatorname{Ric} = \sum_{ij}R_{ij}\,dx^i \otimes dx^j</math>
:使用[[爱因斯坦求和约定]]的話，上式會寫成：
:<math>\operatorname{Ric} = R_{ij}\,dx^i \otimes dx^j</math>
其中，
:<math>R_{ij} = \sum_k {R^k}_{ikj}.</math>

:注意，之後的方程如果使用愛因斯坦求和約定，不會特別註明。

已經知道里奇張量 <math>\operatorname{Ric}(\cdot,\cdot)</math>，現在就可以用里奇張量來定義里奇曲率。如果 <math>X</math> 為 <math>p</math> 點的單位向量，則
:<math>\operatorname{Ric}(X,X)</math> 
定義為在點 <math>p</math>， <math>X</math> 方向的'''里奇曲率'''(Ricci curvature)，有時會把 <math>\textstyle\operatorname{Ric}(X,X)</math> 寫成 <math>\textstyle\operatorname{Ric}(X)</math> 。也有些人會定義里奇曲率為 <math>\,\textstyle \frac{1}{n-1}\operatorname{Ric}(X,X)</math> 這裡 <math> \textstyle n=\dim M</math>。

== 直接的幾何意義 ==
對於黎曼流形（M,g)裏任意一點p的旁邊可以定義被稱爲測地法座標系的局部座標系。這些通過p的測地線不但都對應着通過原點的直線，而且同時構成了從p的距離和從原點的歐幾里得距離的對應。這個座標系的度量張量是

<math>g_{i j}= \delta_{ij}+ O (|x|^2)
</math>。

好處就是，此座標是歐幾里得度量的良好近似。實際上，由於在法座標系的放射測地線產生的雅可比場適用的度量的泰勒展開，

可以得到<math>g_{ij}=\delta_{ij}- \frac {1} {3}R_{ikjl}x^kx^l+O(|x|^3)</math>。

然後，在這個座標系，在p可以得到以下體積元素的展開。

<math>d\mu_g = \Big[ 1 - \frac{1}{6}R_{jk}x^jx^k+ O(|x|^3) \Big] d\mu_{{\rm Euclidean}}</math>

然後，如果里奇曲率<math>\operatorname{Ric} (\xi , \xi )</math>在向量<math>\xi</math>的方向是正的，由於在M上從p向<math>\xi</math>方向的短的測地線收束族掃過的圓錐區域的體積比在歐幾里得空間對應的圓錐區域要小。如此類推，如果里奇曲率在給定的向量<math>\xi</math>的方向是負的，流形同樣的圓錐區域的體積比歐幾里得空間對應的圓錐區域要大。

里奇曲率本質上就是包含<math>\xi</math>的平面的曲率平均。也就是說最初是圓形（或者是球形）放射狀的圓錐會扭曲未橢圓形狀，沿着主軸的彎曲是相互相反的作用，而且有把體積變爲零的可能性。然後里奇曲率沿着<math>\xi</math>會變爲零。在物理的應用，一定要變零的切斷曲率的存在並不一定是局部性一定有什麼質量。世界線圓錐最初的圓形的橫切面是，要是變成了後來體積沒變化的橢圓，這個效果就是來自其他位置的質量的潮汐效果。

== 無跡的里奇張量 ==
在[[黎曼幾何]]與[[廣義相對論]]中，一個[[偽黎曼流形]](pseudo-Riemannian manifold)<math>(M,g)</math>之'''無[[跡]]的里奇張量'''(trace-free Ricci tensor)是一個定義如下的張量

:<math>Z  =\operatorname{Ric}- \frac{S}{n}g</math>

== 相關條目 ==
* [[數量曲率]]
* [[里奇流]]
* [[克里斯托費爾符號]]

== 參考文獻 ==
* A.L. Besse, ''Einstein manifolds'', Springer (1987)
* {{springer|id=r/r081800|title=Ricci tensor|author=L.A. Sidorov}}
* {{springer|id=R/r081780|title=Ricci curvature|author=L.A. Sidorov}}
* G. Ricci,   Atti R. Inst. Venelo , 53 : 2  (1903–1904)  pp. 1233–1239
* L.P. Eisenhart,   ''Riemannian geometry'' , Princeton Univ. Press  (1949)
* S. Kobayashi,   K. Nomizu,   ''Foundations of differential geometry'' , 1 , Interscience  (1963)

{{曲率}}

[[Category:黎曼幾何|L]]
[[Category:廣義相對論所用張量|L]]
[[Category:曲率]]

[[de:Riemannscher Krümmungstensor#Ricci-Tensor]]