前推 (微分)

✍ dations ◷ 2025-09-12 04:03:10 #微分几何,光滑函数

假设  : → 是光滑流形之间的光滑映射;则 在一点 处的微分在某种意义上是 在 附近的最佳线性逼近。这可以视为通常微积分中全导数的推广。确切地说,它是从 在 处的切空间到 在 () 处的切空间的一个线性映射,从而可以将 的切向量“前推”成 的切向量。

映射 的微分也被一些的作者称为 的导数或全导数,有时它自己也之称为前推(pushforward)。

设 :→ 是从 Rm 的一个开集 到 Rn 的开集 的一个光滑映射。对任何 中的给定点 , 在 的雅可比矩阵(关于标准坐标)是 在 的全微分的矩阵表示,这是一个从 Rm 到 Rn 的线性映射:

我们希望将其推广到 是“任何”两个光滑流形 与 之间的光滑映射。

令  : → 是光滑流形间的光滑映射。给定某点 ∈ , 在 的微分或(全)导数是从 在 的切空间到 在 () 的切空间一个线性映射

映射 dx 运用到切向量 上有时称为 由 的前推。前推的确切定义取决于我们怎样定义切向量(不同的定义可参见切空间)。

如果我们定义切向量为通过 的曲线等价类,那么微分由

给出,这里 是 上满足 (0) = 的一条曲线。换句话说,一条曲线 在 0 处切向量的前推恰好是 {\displaystyle \circ } 在 0 处的切向量。

另一种方式,如果切向量定义为作用在光滑实值函数上的导子,那么微分由

给出,这里 ∈ ,从而 是定义在 上的一个导子而 是 上一个光滑实值函数。根据定义,在给定 上 处 的前推在 () 中,从而定义了一个N上的导子。

取定 与 () 附近的坐标卡以后, 局部由 R 与 R 之间的光滑映射

确定。而 dx 具有表示(在 附近):

这里使用了爱因斯坦求和约定,偏导数对 坐标卡相应的 中的点取值。

线性扩张得到如下矩阵

从而光滑映射 在每一点的微分是切空间之间的一个线性变换。从而在某些选定的局部坐标下,它表示为相应的从 R 到 R 光滑映射的雅可比矩阵。一般情形,微分不要求可逆。如果 是一个局部微分同胚,那么在 点的前推是可逆的,其逆给出 () 的拉回。

另外,局部微分同胚的微分是切空间之间的线性同构。

微分经常有其他一些记法,比如

从定义可得出复合函数的微分便是微分的复合(即,具有函子性质),这便是光滑函数微分的链式法则。

光滑映射 的微分以显而易见的方式诱导了从 的切丛到 的切丛的一个丛映射(事实上是向量丛同态),记为 d 或 *,满足如下的交换图表:

这里 与 分别表示 与 切丛的丛投影。

等价地(参见丛映射),* = d 是从 到 上的拉回丛 的丛映射,这可以看成 上向量丛 Hom(,*) 的一个截面。

给定了一个光滑映射 :→ 与 上一个向量场 ,一般不能定义 通过 的前推为 的一个向量场。譬如,如果映射 不是满射,则在 的像外部没有自然的方式定义拉回;如果 不是单射也有可能在给定一点拉回不止一种选择。无论如何,可以用“沿着映射的向量场”概念将难处变精确。

上 的一个截面称为沿着 的向量场。例如,如果 是 的一个子丛而 是包含映射,那么沿着 的向量场恰好是 沿着 的切丛的一个截面;特别的, 上的向量通过 包含到 中定义这样一个截面。这种想法推广到任何光滑映射。

假设 是 上一个向量场,即 的一个截面。那么,运用逐点微分得出 的前推 *,这是一个沿着 的向量场,即 上 的一个截面。

任何 上的向量场 定义了 的一个拉回截面 使得 () = ()。 上一个向量场 与 上一个向量场 称为 -相关的,如果作为沿着 的向量场有 = 。换句话说,对任何 属于 ,有 d()=()

在某些情形,给定 上一个向量场 , 上只有惟一的向量场 与 -相关。特别地,这在 是微分同胚时自然成立。在这种情况下,前推定义了 上一个向量场 ,由

给出。一个更一般的情形是 为满射(比如纤维丛的丛投影)。这时 上的向量场 称为可投影的,如果对任何 属于 , d() 与 属于 -1({}) 的取法无关。这恰好是保证 的前推可以作为 上的一个良定的向量场的条件。

相关

  • 沃尔瑟姆市沃尔瑟姆(英语:Waltham)是一个位于米德尔塞克斯县的城市,是北美洲工业革命的早期重镇之一。于2018年时人口为 62,962。沃尔瑟姆钟表公司于1854年在该城市开设了第一间用生产线制
  • 隼鸟2号隼鸟2号(日文:はやぶさ2)是日本宇宙航空研究开发机构(JAXA)的小行星探测计划,原隼鸟号的后续计划。这项计划在2014年12月3日乘载H-IIA火箭升空,主要目的是将隼鸟号探测器送往属于C
  • 格林兰岛面积以下资讯是以2019估计国家领袖国内生产总值(购买力平价) 以下资讯是以2011年估计国内生产总值(国际汇率) 以下资讯是以2011年估计人类发展指数立国历史格陵兰(格陵兰语:Kalaal
  • 孙立军孙立军(1964年-),河北保定人,中国动画研究家、教育家。毕业于北京电影学院动画专业,1988年起开始从事教师工作。目前是北京电影学院副院长、北京电影学院动画学院院长、教授、硕士
  • 南桑威奇板块南桑威奇板块,或南桑威奇微板块(英语:South Sandwich Plate),是一个微板块,位于南大西洋和南冰洋的交界处。它呈弧形,弧顶指向东方,东界以消减带和南美洲板块相邻,南界亦以消减带和南
  • 2016年1月伊斯坦布尔爆炸事件坐标:41°0′22.19″N 28°58′38.66″E / 41.0061639°N 28.9774056°E / 41.0061639; 28.97740562016年1月12日,土耳其伊斯坦布尔著名的苏丹艾哈迈德地区发生一起自杀式袭击
  • 格奥尔基·穆雷桑格奥尔基·穆雷桑(罗马尼亚语:Gheorghe Muresan,1971年2月14日-),罗马尼亚前职业篮球运动员,曾在美国NBA联盟打球。他在1993年的NBA选秀中第2轮第30顺位被华盛顿子弹选中。
  • 杨茂元杨茂元(1450年-1516年),字志仁,号麟洲,浙江鄞县(今宁波)人,明朝政治人物,进士出身。礼部尚书杨守陈之子。成化十一年(1475年)登乙未科进士,授刑部主事,历任刑部郎中,成化二十三年(1487年)出为
  • 刚果民主共和国历史刚果民主共和国地区的历史悠久,可以追溯至数万年前。现被称为刚果民主共和国的地区,在8万年前即有人类居住。早期的历史开始于刚果班图人的迁移浪潮,他们在公元前2000年到公元
  • 扎林沙赫尔扎林沙赫尔是伊朗的城市,位于该国中部札格罗斯山脉附近,由伊斯法罕省负责管辖,海拔高度1,705米,每年平均降雨量115毫米,2007年人口58,392。