From Wikipedia, the free encyclopedia
Content deleted Content added
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
This is
the user sandbox of Wttwcl . A user sandbox is a subpage of the user's
user page . It serves as a testing spot and page development space for the user and is
not an encyclopedia article .
Create or edit your own sandbox here . Other sandboxes: Main sandbox | Template sandbox
Finished writing a draft article? Are you ready to request review of it by an experienced editor for possible inclusion in Wikipedia? Submit your draft for review!
對給定黎曼度量的二階張量的跡 (trace)
已知若
F
=
∑
i
k
F
i
k
d
x
i
⊗
∂
∂
x
k
{\displaystyle F=\sum _{ik}F_{i}^{k}\,dx^{i}\otimes {\frac {\partial }{\partial x^{k}}}}
是
(
1
,
1
)
{\displaystyle (1,1)}
-張量,則其跡 (trace)為
tr
(
F
)
=
∑
l
F
l
l
{\displaystyle \operatorname {tr} (F)=\sum _{l}F_{l}^{l}}
。
對二階張量
X
{\displaystyle X}
我們定義其對應黎曼度量
g
{\displaystyle g}
的跡 (trace)為:
tr
g
(
X
)
:=
tr
(
X
♯
)
{\displaystyle \operatorname {tr} _{g}(X):=\operatorname {tr} (X^{\sharp })}
,
X
♯
{\displaystyle X^{\sharp }}
是
(
1
,
1
)
{\displaystyle (1,1)}
-張量,所以其跡 是有定義的。
設
X
=
∑
i
j
X
i
j
d
x
i
⊗
d
x
j
{\displaystyle X=\sum _{ij}X_{ij}\,dx^{i}\otimes dx^{j}}
,為
(
2
,
0
)
{\displaystyle (2,0)}
-張量場,將第二指數上升讓
(
2
,
0
)
{\displaystyle (2,0)}
-張量變成
(
1
,
1
)
{\displaystyle (1,1)}
-張量即,
X
♯
=
∑
i
j
k
g
j
k
X
i
j
d
x
i
⊗
∂
∂
x
k
{\displaystyle X^{\sharp }=\sum _{ijk}g^{jk}X_{ij}\,dx^{i}\otimes {\frac {\partial }{\partial x^{k}}}}
。
我們有
tr
g
(
X
)
:=
tr
(
X
♯
)
=
tr
(
∑
i
k
(
∑
j
g
j
k
X
i
j
)
d
x
i
⊗
∂
∂
x
k
)
=
∑
i
(
∑
j
g
j
i
X
i
j
)
=
∑
i
j
g
i
j
X
i
j
{\displaystyle \operatorname {tr} _{g}(X):=\operatorname {tr} (X^{\sharp })=\operatorname {tr} (\sum _{ik}(\sum _{j}g^{jk}X_{ij})\,dx^{i}\otimes {\frac {\partial }{\partial x^{k}}})=\sum _{i}(\sum _{j}g^{ji}X_{ij})=\sum _{ij}g^{ij}X_{ij}}
。
注意:雖然這裡是上升第二指數(raising the second index),不過對第一指數上升也會得到相同結果。