活动标架法

✍ dations ◷ 2025-07-12 16:42:31 #微分几何,联络

数学上,光滑流形上的标架可以理解为从一点到一点变化的标架。给定一个这样的流形和一个其中的点,在点的一个标架表示一个在点的切空间的向量空间基底。也就是说,若维数为,我们给定个切向量1, ..., ,属于在的切空间,而且线性独立。在的某个邻域的一个活动标架要求我们给定

每个都是定义在上的向量场,全都假设为作为的函数在中光滑,并且在每一点线性无关(为简单起见假设处处维数为)。

用非常一般的术语来讲,这样一个活动标架是广义相对论中的一个观测者的要求,在那里每个从到附近点的连续对i的选择都是平等的。而狭义相对论中,被取为一个四维的向量空间。在那种情况下,i可以简单的从平移到其它点。

在相对论和黎曼几何中,最重要的活动标架是和标架,也就是在每一点(单位长度的)互相垂直的向量的有序集。在给定一点可以通过正交化将任意标架变成正交;事实上,这可以以光滑的方式达到,因而一个活动标架的存在也就隐含了活动正交标架的存在。

活动标架在上局部的存在性是很显然的,这可以由流形的切丛是一个向量丛,需要满足局部平凡的条件得到;但是在上的全局存在性要求拓扑条件的满足。例如,当是一个圆圈,或者是一个环,这样的标架存在;但是当是一个二维球时却不存在。存在一个全局活动标架的流形称为可平行化的,其等价于M的切丛TM是平凡的。注意,例如将纬度和经度的单位方向作为地球表面上的活动标架在北极和南极会有问题。

埃里·嘉当的活动标架法基于对于所研究的特定问题取一个相应的活动标架。例如,给定一个空间中的曲线,曲线的前三个导数通常可以给出其上一点一个标架(参看定量的形式参看挠率-它假设挠率非0)。更一般地,活动标架的抽象含义是将切丛作为一个向量丛时,其伴随丛主丛的一个截面。一般的嘉当方法利用了这点,并在嘉当联络中讨论。

对于球面只有 S 1 {\displaystyle S^{1}} S 3 {\displaystyle S^{3}} S 7 {\displaystyle S^{7}} 是可平行化的,其中 S 1 {\displaystyle S^{1}} S 3 {\displaystyle S^{3}} 的可平行化性质可以从他们拓扑等价于李群 U ( 1 ) {\displaystyle U(1)} S U ( 2 ) {\displaystyle SU(2)} 看出。光滑李群的切丛光滑同胚于李群本身与李代数的直积,因此必然是平凡的。

相关

  • 伪复层柱状纤毛上皮伪复层纤毛柱状上皮属于另一种单层柱状上皮的变异,细胞皆具有纤毛,又可以称为假复层纤毛柱状上皮。之所以称做伪复层是因为其在切片下看起来细胞好像多于一层所造成的错误观念
  • 可塑性淀粉材料可塑性淀粉材料全名为 Plastarch Material (PSM),是一种可生物降解的热塑性塑料。PSM于2005年开始商用。经过酯化、交联、接枝共聚等高分子化学加工工艺制成生物塑胶,通过对
  • 基督圣体市科珀斯克里斯蒂(Corpus Christi,又译为圣体市)位于美国得克萨斯州东南部墨西哥湾畔,是纽埃西斯县的县治所在,人口约28万(2004年)。德克萨斯农工大学科伯斯克里斯蒂分校 (TAMUCC)
  • 小科罗拉多河小科罗拉多河(英语:Little Colorado River)是一条流经美国亚利桑那州的河流, 为彩绘沙漠地区主要水源及科罗拉多河支流。小科罗拉多河灌溉著东亚利桑那州、西墨西哥州约26,500平
  • 先锋级1座通用动力公司的RAM舰对空导弹发射装置,装被动红外/反辐射寻的导弹(在LSD41上作为舰艇自卫系统曾试验过)。 2座MK15六管20mm"密集阵”近程武器系统; 2门MK68Mod120mm炮; 2门MK8
  • iPadiPad (英语发音:/ˈaɪˈpæd/),是一个由苹果公司设计销售的平板电脑产品系列,搭载苹果的iOS(2010-2019年)或iPadOS(2019年起)操作系统。iPad的用户界面是以多点触控屏幕为主来进行设
  • 百龄百龄(满语:ᠪᡝᠯᡳᠩ,穆麟德:,1748年-1816年),张姓,字子颐,号菊溪,清朝官员,内务府汉军正黄旗人。乾隆戊子举人,壬辰进士。嘉庆九年九月十四,由云南布政使升任广西巡抚。嘉庆九年十一月二
  • 沙特勒斯山脉沙特勒斯山脉(法语:Massif de la Chartreuse)是法国的山脉,位于该国东南部隆河-阿尔卑斯,是法国前阿尔卑斯山脉的一部分,最高点海拔高度2,082米,山体由沉积岩组成。坐标:45°21′N 5
  • 祜里布祜里布(1635年4月16日(天聪九年二月二十九)-1652年6月6日(顺治九年五月初一)),满洲爱新觉罗氏。清太祖努尔哈赤曾孙、礼烈亲王代善长子克勤郡王岳讬第六子。顺治六年(1649年),恩封为贝
  • 全局描述符表全局描述符表 (GDT) 是一个从 80286 开始用于界定不同内存区域的特征,用于 Intel x86-系列处理器的数据结构。 全局描述表位于内存中。全局描述表的条目描述及规定了不