1-形式和外微分

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

1-形式和外微分之间的区别

1-形式 vs. 外微分

在线性代数中，1-形式（one-form）是向量空间上的一種线性泛函。1-形式在这种向量空间语境中的使用方式，通常区别於高阶的多重线性泛函中的1-形式。细节参见线性泛函。 在微分几何中，可微流形上的1-形式是余切丛的一个光滑截面。具体说来，流形 M 上的1-形式是M 的切丛的全空间到 R 的一个光滑映射，限制在每个纤维上是切空间上的线性泛函。用符号表示， 这里 αx 是线性的。 1-形式经常局部地描述，特别是在一个局部坐标中。在一个局部坐标系中，1-形式是坐标的微分的线性组合： 这里 fi 是光滑函数。注意这里使用上指标，不要与幂混淆。从这种观点来看，一个 1-形式从一个坐标系变到另一个时有共变变换法则。从而一个 1-形式是秩 1 共变张量场。. 数学上，微分拓扑的外微分算子，把一个函数的微分的概念推广到更高阶的微分形式的微分。它在流形上的积分理论中极为重要，并且是德拉姆和Alexander-Spanier上同调中所使用的微分算子。其现代形式是由嘉当发明的。.

微分

在数学中，微分是对函数的局部变化率的一种线性描述。微分可以近似地描述当函数自变量的取值作足够小的改变时，函数的值是怎样改变的。当某些函数\textstyle f的自变量\textstyle x有一个微小的改变\textstyle h时，函数的变化可以分解为两个部分。一个部分是线性部分：在一维情况下，它正比于自变量的变化量\textstyle h，可以表示成\textstyle h和一个与\textstyle h无关，只与函数\textstyle f及\textstyle x有关的量的乘积；在更广泛的情况下，它是一个线性映射作用在\textstyle h上的值。另一部分是比\textstyle h更高阶的无穷小，也就是说除以\textstyle h后仍然会趋于零。当改变量\textstyle h很小时，第二部分可以忽略不计，函数的变化量约等于第一部分，也就是函数在\textstyle x处的微分，记作\displaystyle f'(x)h或\displaystyle \textrmf_x(h)。如果一个函数在某处具有以上的性质，就称此函数在该点可微。 不是所有的函数的变化量都可以分为以上提到的两个部分。若函数在某一点无法做到可微，便称函数在该点不可微。 在古典的微积分学中，微分被定义为变化量的线性部分，在现代的定义中，微分被定义为将自变量的改变量\textstyle h映射到变化量的线性部分的线性映射\displaystyle \textrmf_x。这个映射也被称为切映射。.

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

光滑函数

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

1-形式和光滑函数 · 光滑函数和外微分 · 查看更多 »