R
m
的
基
{
g
α
}
α
=
1
m
,
需
要
满
足
d
e
t
[
g
1
,
…
,
g
m
]
≠
0
,
[
g
1
,
…
,
g
m
]
∈
R
m
,
m
可
逆
∃
R
m
的
基
{
g
β
}
β
=
1
m
,
满
足
(
g
α
,
g
β
)
=
δ
α
β
δ
α
β
=
{
1
α
=
β
0
α
≠
β
将
下
标
称
为
协
变
基
{
g
α
}
α
=
1
m
,
上
标
称
为
逆
变
基
{
g
β
}
β
=
1
m
R^m的基\{ g_\alpha\}_{\alpha =1}^m,\\ 需要满足det[g_1,…,g_m]\neq 0,[g_1,…,g_m]\in R^{m,m}可逆\\ \exists \ R^m的基\{ g^\beta \}_{\beta =1}^m,满足(g_\alpha,g^\beta)=\delta_\alpha^\beta\\ \delta_\alpha^\beta=\left\{\begin{array}{l}1 \ \ \alpha = \beta\\0 \ \ \alpha \neq \beta\end{array}\right.\\ 将下标称为协变基\{ g_\alpha\}_{\alpha =1}^m,上标称为逆变基\{ g^\beta \}_{\beta =1}^m
Rm的基{gα}α=1m,需要满足det[g1,…,gm]=0,[g1,…,gm]∈Rm,m可逆∃ Rm的基{gβ}β=1m,满足(gα,gβ)=δαβδαβ={1 α=β0 α=β将下标称为协变基{gα}α=1m,上标称为逆变基{gβ}β=1m
[
(
g
1
)
T
…
(
g
m
)
T
]
[
g
1
,
…
,
g
m
]
=
I
可
利
用
线
性
代
数
的
知
识
得
到
,
对
于
某
协
变
基
,
逆
变
基
是
唯
一
确
定
的
协
变
基
求
逆
再
求
转
置
既
得
逆
变
基
\begin{bmatrix}(g^1)^T\\…\\(g^m)^T\end{bmatrix}[g_1,…,g_m]=I \\ 可利用线性代数的知识得到,对于某协变基,逆变基是唯一确定的\\ 协变基求逆再求转置既得逆变基
⎣⎡(g1)T…(gm)T⎦⎤[g1,…,gm]=I可利用线性代数的知识得到,对于某协变基,逆变基是唯一确定的协变基求逆再求转置既得逆变基
典 则 基 : 标 准 正 交 基 { i α } , ξ ∈ R m = { ξ α g α ( 已 用 爱 因 斯 坦 求 和 约 定 省 略 , 逆 变 分 量 ξ α = ( ξ , g α ) ) ξ β g β ( , 其 中 协 变 分 量 ξ β = ( ξ , g β ) ) 典则基:标准正交基\{i_\alpha \},\\ \xi \in R^m=\left\{\begin{array}{l} \xi^\alpha g_\alpha (已用爱因斯坦求和约定省略,逆变分量\xi^\alpha=(\xi,g^\alpha)) \\ \xi_\beta g^\beta (,其中协变分量\xi_\beta=(\xi,g_\beta)) \end{array}\right. \\ 典则基:标准正交基{iα},ξ∈Rm={ξαgα(已用爱因斯坦求和约定省略,逆变分量ξα=(ξ,gα))ξβgβ(,其中协变分量ξβ=(ξ,gβ))
先
引
入
一
个
概
念
:
度
量
张
量
g
α
,
β
=
(
g
α
,
g
β
)
,
g
α
,
β
=
(
g
α
,
g
β
)
(
g
α
,
g
β
)
=
δ
α
β
g
α
,
γ
g
γ
,
β
=
δ
α
β
(
α
∈
1
…
…
m
,
β
同
样
)
?
先引入一个概念: 度量张量g_{\alpha,\beta }=(g_\alpha,g_\beta), g^{\alpha,\beta }=(g^\alpha,g^\beta)\\ (g_\alpha,g^\beta)=\delta_\alpha^\beta\\ g_{\alpha,\gamma }g^{\gamma,\beta }=\delta_\alpha^\beta\ (\alpha\in 1……m,\beta同样) ?\\
先引入一个概念:度量张量gα,β=(gα,gβ),gα,β=(gα,gβ)(gα,gβ)=δαβgα,γgγ,β=δαβ (α∈1……m,β同样)?
结
构
:
协
变
基
与
逆
变
基
是
两
组
向
量
,
可
以
相
互
表
示
因
为
ξ
∈
R
m
=
{
ξ
α
g
α
(
已
用
爱
因
斯
坦
求
和
约
定
省
略
)
ξ
β
g
β
(
逆
变
分
量
ξ
α
=
(
ξ
,
g
α
)
,
其
中
协
变
分
量
ξ
β
=
(
ξ
,
g
β
)
)
所
以
g
α
∈
R
m
=
{
(
g
α
,
g
β
)
g
β
=
δ
α
β
g
β
(
g
α
,
g
β
)
g
β
=
g
α
,
β
g
β
结构:协变基与逆变基是两组向量,可以相互表示\\ 因为\xi \in R^m=\left\{\begin{array}{l} \xi^\alpha g_\alpha (已用爱因斯坦求和约定省略) \\ \xi_\beta g^\beta (逆变分量\xi^\alpha=(\xi,g^\alpha),其中协变分量\xi_\beta=(\xi,g_\beta)) \end{array}\right. \\ 所以g_\alpha \in R^m=\left\{\begin{array}{l} (g_\alpha,g^\beta) g_\beta \ \ =\delta_\alpha^\beta g_\beta \\ (g_\alpha,g_\beta) g^\beta \ \ = \color{red} g_{\alpha,\beta } \color{black} g^\beta \end{array}\right. \\
结构:协变基与逆变基是两组向量,可以相互表示因为ξ∈Rm={ξαgα(已用爱因斯坦求和约定省略)ξβgβ(逆变分量ξα=(ξ,gα),其中协变分量ξβ=(ξ,gβ))所以gα∈Rm={(gα,gβ)gβ =δαβgβ(gα,gβ)gβ =gα,βgβ
{
g
α
=
g
α
,
β
g
β
g
α
=
g
α
,
β
g
β
这
个
就
是
著
名
的
指
标
升
降
(
是
对
基
向
量
而
言
的
)
\left\{\begin{array}{l} g_\alpha \ \ = \color{red} g_{\alpha,\beta } \color{black} g^\beta \\ g^\alpha \ \ = \color{red} g^{\alpha,\beta } \color{black} g_\beta \end{array}\right.\\ \large 这个就是著名的\color{red} 指标升降(是对基向量而言的)
{gα =gα,βgβgα =gα,βgβ这个就是著名的指标升降(是对基向量而言的)
g α , γ g γ , β = δ α β g α , γ g γ , β = ( g α , g γ ) g γ , β = ( g α , g γ , β ∗ g γ ) = ( g α , g β ) g_{\alpha,\gamma }g^{\gamma,\beta }=\delta_\alpha^\beta \\ g_{\alpha,\gamma }g^{\gamma,\beta }\\ =(g_\alpha ,g_\gamma) g^{\gamma,\beta }\\ =(g_\alpha ,g^{\gamma,\beta }*g_\gamma)\\ =(g_\alpha ,g_\beta)\\ gα,γgγ,β=δαβgα,γgγ,β=(gα,gγ)gγ,β=(gα,gγ,β∗gγ)=(gα,gβ)
度量张量
度 量 张 量 定 义 为 ( 协 变 定 义 的 ) : g α , β g α ⊗ g β , 一 个 标 量 × 一 个 简 单 张 量 由 简 单 张 量 的 构 成 , 上 式 还 可 写 为 { ( g α , β g α ) ⊗ g β = g β ⊗ g β = δ β α g α ⊗ g β g α ⊗ ( g α , β g β ) = g α ⊗ g α = δ α β g α ⊗ g β 度量张量定义为(协变定义的):g_{\alpha,\beta}g^\alpha \otimes g^\beta,一个标量×一个简单张量\\ 由简单张量的构成,上式还可写为 \left\{\begin{array}{l} (g_{\alpha,\beta}g^\alpha) \otimes g^\beta = g_\beta \otimes g^\beta =\delta_\beta^\alpha g_\alpha \otimes g^\beta \\ g^\alpha \otimes (g_{\alpha,\beta} g^\beta) =g^\alpha \otimes g_\alpha =\delta_\alpha^\beta g^\alpha \otimes g_\beta \\ \end{array}\right. 度量张量定义为(协变定义的):gα,βgα⊗gβ,一个标量×一个简单张量由简单张量的构成,上式还可写为{(gα,βgα)⊗gβ=gβ⊗gβ=δβαgα⊗gβgα⊗(gα,βgβ)=gα⊗gα=δαβgα⊗gβ
转换一下: