1-形式和余切丛

快捷方式: 差异，相似，杰卡德相似系数，参考。

1-形式和余切丛之间的区别

1-形式 vs. 余切丛

在线性代数中，1-形式（one-form）是向量空间上的一種线性泛函。1-形式在这种向量空间语境中的使用方式，通常区别於高阶的多重线性泛函中的1-形式。细节参见线性泛函。 在微分几何中，可微流形上的1-形式是余切丛的一个光滑截面。具体说来，流形 M 上的1-形式是M 的切丛的全空间到 R 的一个光滑映射，限制在每个纤维上是切空间上的线性泛函。用符号表示， 这里 αx 是线性的。 1-形式经常局部地描述，特别是在一个局部坐标中。在一个局部坐标系中，1-形式是坐标的微分的线性组合： 这里 fi 是光滑函数。注意这里使用上指标，不要与幂混淆。从这种观点来看，一个 1-形式从一个坐标系变到另一个时有共变变换法则。从而一个 1-形式是秩 1 共变张量场。. 微分几何中，流形的余切丛是流形每点的余切空间组成的向量丛。余切空间有一个标准的辛形式，从中可以一个余切丛的非退化的体积形式。因此，本身作为一个流形的余切丛总是可定向的。可以在余切丛上定义一组特殊的坐标系；这些被称为正则坐标。因为余切丛可以视为辛流形，任何余切丛上的实函数总是可以解释为一个哈密顿函数；这样余切丛可以理解为哈密顿力学讨论的相空间。.

外微分

数学上，微分拓扑的外微分算子，把一个函数的微分的概念推广到更高阶的微分形式的微分。它在流形上的积分理论中极为重要，并且是德拉姆和Alexander-Spanier上同调中所使用的微分算子。其现代形式是由嘉当发明的。.

1-形式和外微分 · 余切丛和外微分 · 查看更多 »

微分几何

微分幾何研究微分流形的幾何性質，是現代數學中一主流；是廣義相對論的基礎，與拓撲學、代數幾何及理論物理關係密切。 古典微分几何起源于微积分，主要内容为曲线论和曲面论。歐拉、蒙日和高斯被公认为古典微分几何的奠基人。近代微分几何的创始人是黎曼，他在1854年创立了黎曼几何（实际上黎曼提出的是芬斯勒几何），这成为近代微分几何的主要内容，并在相对论有极为重要的作用。埃利·嘉当和陈省身等人曾在微分几何领域做出极为杰出的贡献。.

1-形式和微分几何 · 余切丛和微分几何 · 查看更多 »

切丛

数学上，一个微分流形M的切丛(tangent bundle) T(M)是一个由M各點上切空間組成的向量丛，其總空間是各切空间的不交并集： 總空間T(M)每个元素都是一个二元组(x,v)，其中v是在点x的切空间Tx(M)內的一枚向量。 切丛有自然的2n维微分流形结构如下： 設：\pi\colon T(M) \to M\, 為自然的投影映射，将(x,v)映射到基点x； 若M是个n维流形，U是x的一个足夠小的邻域， φ:U→Rn是一个局部坐标卡， V是U在T(M)的前象V（V.

1-形式和切丛 · 余切丛和切丛 · 查看更多 »

光滑函数

光滑函数（smooth function）在数学中特指无穷可导的函数，也就是说，存在所有有限阶导数。若一函数是连续的，则称其为C^0函数；若函数存在导函数，且其導函數連續，則稱為连续可导，記为C^1函数；若一函数n阶可导，并且其n阶导函数连续，则为C^n函数（n\geq 1）。而光滑函数是对所有n都属于C^n函数，特称其为C^\infty函数。 例如，指数函数显然是光滑的，因为指数函数的导数是指数函数本身。.

1-形式和光滑函数 · 余切丛和光滑函数 · 查看更多 »