数学联邦政治世界观
超小超大

特殊篇章(数学定理)一 (8-7)

(22) dω²₁

K=−─────.

ω¹∧ω²

遗憾的是,上式只对正交标架成立, 因此从(22)本身我们尚无法确定这样定义的量是否几何量. 所以,我们采用另一种与标架选取无关的做法.

设 U 是曲面 S 的一个坐标邻域, {e₁,e₂} 是坐标邻域 U 上的任意切标架场并且 dr=ωαeα. 那么黎曼度量可以表示为

ds²=gαᵦωαωβ,

其中 gαβ=⟨eα,eᵦ⟩ . 假设联络 D 在该标架下可以表示为

(23) Deα=ωβαeᵦ.

由于 D 是相容联络,因此

(24) dgαᵦ=ωγαgᵧᵦ+ωγβgᵧα.

注意, 当 {e₁,e₂} 是正交标架时,(24)等价于 ωβα+ωαᵦ=0,即联络系数 ωβα 关于指标是反对称的. 这时, 非零的联络系数只有 ω²₁=−ω¹₂. 根据(23),此时联络 D 由 ω²₁ 完全确定, 这是(22)成立的一个基础. 因此,对一般的标架(22)是不一定成立的. (24)可以用矩阵表示为

(25) dG=ωG+Gωᵀ,

其中 G=(gᵢⱼ) 称为度量矩阵,ω=(ωᵢⱼ) 称为联络 D 在标架 {e₁,e₂} 下的联络矩阵. 对(25)求外微分得到并利用 d²=0 得到

0=d(dG)=dωG−ω∧dG+dG∧ωᵀ+Gdωᵀ=dωG−ω∧(ωG+Gωᵀ)+(ωG+Gωᵀ)∧ωᵀ+Gdωᵀ=(dω−ω∧ω)G+G(dω−ω∧ω)ᵀ.

定义联络 D 的曲率矩阵为 Ω=dω−ω∧ω,那么上式简化为

(26) ΩG+GΩᵀ=0.

若令 Ωαᵦ=Ωγαgᵧᵦ,那么(26)的意义就是 (Ωαᵦ) 是一个反对称矩阵. 为了了解 Ω 称为曲率矩阵的合理性, 我们观察 Ω 的分量

Ωαᵦ=dωβα−ωγα∧ωβᵧ

以及结构方程(2)在任意标架下的一般形式

dωʲᵢ−ωᵏᵢ∧ωʲₖ=0

并发现, 对于欧式空间 ℝ³ 的参数曲面 S,曲率矩阵的分量

Ωβα=ω³α∧ωβ₃.

特别地, 将 Ω²₁=ω³₁∧ω²₃ 与(6)对比就不难看出将 Ω 称作曲率矩阵的合理性. 只不过, 在正交标架的情况下, 曲面的弯曲性质由 Ω²₁=dω²₁ 完全刻画;而对于任意标架,曲面的弯曲性质需要用整个曲率矩阵刻画.

现在, 我们来考察曲率矩阵在标架变换时的变换规律. 假设 {e~₁,e~₂} 是另一个切标架场, 满足关系

(27)(e~₁) (e₁)

(e~₂)=A (e₂).

对(27)求协变导数得到

D(e~₁) (e~₁)

(e~₂)=ω~ (e~₂)

=ω~A(e₁) (e₁)

(e₂)=dA (e₂)

+Aω(e₁)

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

洞察微表情 连载中
洞察微表情
小小流星大大梦想
探索微表情科学原理,掌握解读技巧。微表情蕴含丰富信息,带你开启奇妙的内心世界洞察之旅。本书较为枯燥乏味,直接出示结果,并无讲解。
0.5万字1年前
夙夜为谋 连载中
夙夜为谋
小院多芭蕉
明九辛一生最重要的三件事,第一回家,第二修仙,第三赚钱。在外打拼多年,她终于成为人间和妖界可以横着走的存在。于是明九辛决定,她要独自美丽,独......
40.5万字1年前
千年轮回只为了与你相恋 连载中
千年轮回只为了与你相恋
吾悦余
“安期生,你到底在哪里?我历经千年轮回寻你三世为何还是见不到你。”风无双站在相思树下哭喊,她不知道她要找的人就是面前的相思树,安期生化成的相......
20.8万字1年前
球胜狼的妻子 连载中
球胜狼的妻子
霍玲瑶
爱之公主小时候和球胜狼初识在河边,从那以后,爱之公主就跟球胜狼学打篮球,一天,本来球胜狼和爱之公主约好一起去看流星雨的,但后来球胜狼因输了一......
0.9万字1年前
女仙也愁嫁 连载中
女仙也愁嫁
公元前1110
曾家祖孙四代女人的爆笑娶夫之路。【已签约】原创作品,禁止搬运。调节心情写的,不会日更,但尽量不坑。建议养肥再看。Ps:所谓的套路,就是没有套......
5.9万字1年前
千古玦尘之离人鸢尾 连载中
千古玦尘之离人鸢尾
苏青灯
祖神擎天创世,分为神,妖,人三界,后因恐后继无人,故此在又有了六大真神,分别是玄一,炙阳,白玦,青离,天启,千初。而在此十几万年之间,祖神又......
3.6万字1年前