Jump to content

User:Wttwcl/sandbox: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
Wttwcl (talk | contribs)
Wttwcl (talk | contribs)
Line 2: Line 2:
<!-- EDIT BELOW THIS LINE -->
<!-- EDIT BELOW THIS LINE -->


==對給定黎曼度量的二階張量的跡(trace)==
==對給定黎曼度量的二階張量的[[]](trace)==
已知若<math>F=\sum_{ik}F_i^k\,dx^i\otimes \frac{\partial}{\partial x^k}</math>是<math>(1,1)</math>-張量,則其跡(trace)為<math>\operatorname{tr}(F)=\sum_l F_l^l</math>。
已知若<math>F=\sum_{ik}F_i^k\,dx^i\otimes \frac{\partial}{\partial x^k}</math>是<math>(1,1)</math>-張量,則其[[]](trace)為<math>\operatorname{tr}(F)=\sum_l F_l^l</math>。


對二階張量<math>X</math>我們定義其對應黎曼度量<math>g</math>的跡(trace)為:
對二階張量<math>X</math>我們定義其對應黎曼度量<math>g</math>的[[]](trace)為:
:<math>\operatorname{tr}_g(X):=\operatorname{tr}(X^\sharp)</math>,
:<math>\operatorname{tr}_g(X):=\operatorname{tr}(X^\sharp)</math>,
<math>X^\sharp</math>是<math>(1,1)</math>-張量,所以其跡是有定義的。
<math>X^\sharp</math>是<math>(1,1)</math>-張量,所以其[[]]是有定義的。


設<math>X=\sum_{ij}X_{ij}\,dx^i\otimes dx^j</math>,為 <math>(2,0)</math>-張量場,將第二指數上升讓<math>(2,0)</math>-張量變成<math>(1,1)</math>-張量即,
設<math>X=\sum_{ij}X_{ij}\,dx^i\otimes dx^j</math>,為 <math>(2,0)</math>-張量場,將第二指數上升讓<math>(2,0)</math>-張量變成<math>(1,1)</math>-張量即,

Revision as of 00:02, 13 February 2016

對給定黎曼度量的二階張量的(trace)

已知若-張量,則其(trace)為

對二階張量我們定義其對應黎曼度量(trace)為:

-張量,所以其是有定義的。

,為 -張量場,將第二指數上升讓-張量變成-張量即,

我們有

注意:雖然這裡是上升第二指數(raising the second index),不過對第一指數上升也會得到相同結果。