目录
22 关系: 向量空间，多重线性形式，外微分，导数，局部性质，乔治·德拉姆，张量场，开集，余切丛，微分，微分几何，微分流形，切丛，函数，光滑函数，图册 (拓扑学)，倒晶格，線性泛函，线性代数，闭形式和恰当形式，截面 (纤维丛)，2-形式。
向量空间
向量空間是现代数学中的一个基本概念。是線性代數研究的基本对象。 向量空间的一个直观模型是向量几何，幾何上的向量及相关的運算即向量加法，標量乘法，以及对運算的一些限制如封闭性，结合律，已大致地描述了“向量空間”这个數學概念的直观形象。 在现代数学中，“向量”的概念不仅限于此，满足下列公理的任何数学对象都可被当作向量处理。譬如，實系數多項式的集合在定义适当的运算后构成向量空間，在代数上处理是方便的。单变元实函数的集合在定义适当的运算后，也构成向量空间，研究此类函数向量空间的数学分支称为泛函分析。.
查看 1-形式和向量空间
多重线性形式
在多重线性代数中，多重线性形式是 类型的映射，这里的 V 是在域 K 上的向量空间，它分别在其 N 个变量的每个之上是线性的。 单词“形式”通常称呼从向量空间到它的底层域的映射，对在其所有参数上都是线性的一般映射使用更一般的术语多重线性映射。 对于 N.
查看 1-形式和多重线性形式
外微分
数学上，微分拓扑的外微分算子，把一个函数的微分的概念推广到更高阶的微分形式的微分。它在流形上的积分理论中极为重要，并且是德拉姆和Alexander-Spanier上同调中所使用的微分算子。其现代形式是由嘉当发明的。.
查看 1-形式和外微分
导数
导数（Derivative）是微积分学中重要的基礎概念。一个函数在某一点的导数描述了这个函数在这一点附近的变化率。导数的本质是通过极限的概念对函数进行局部的线性逼近。当函数f的自变量在一点x_0上产生一个增量h时，函數输出值的增量與自變量增量h的比值在h趋于0时的極限如果存在，即為f在x_0处的导数，记作f'(x_0)、\frac(x_0)或\left.\frac\right|_。例如在运动学中，物体的位移对于时间的导数就是物体的瞬时速度。 导数是函数的局部性质。不是所有的函数都有导数，一个函数也不一定在所有的点上都有导数。若某函数在某一点导数存在，则称其在这一点可导，否则称为不可导。如果函数的自变量和取值都是实数的话，那么函数在某一点的导数就是该函数所代表的曲线在這一点上的切线斜率。 对于可导的函数f，x \mapsto f'(x)也是一个函数，称作f的导函数。寻找已知的函数在某点的导数或其导函数的过程称为求导。反之，已知导函数也可以倒过来求原来的函数，即不定积分。微积分基本定理说明了求原函数与积分是等价的。求导和积分是一对互逆的操作，它们都是微积分学中最为基础的概念。.
查看 1-形式和导数
局部性质
在数学中, 一个现象如果是局部的,它在足够小的或者任意小的点的邻域内显.
查看 1-形式和局部性质
乔治·德拉姆
乔治·德拉姆（Georges de Rham，）是瑞士数学家，因对微分拓扑的贡献而有名。.
查看 1-形式和乔治·德拉姆
张量场
在数学，物理和工程上，张量场（tensor field）是一个的非常一般化的几何变量的概念。它被用在微分几何和流形的理论中，在代数几何中，在广义相对论中，在材料的应力和应变的分析中，和在物理科学和工程的无数应用中。它是向量场的想法的一般化，而向量场可以视为“从点到点变化的向量”。 物理学中场的一种。假如一个空间中的每一点的属性都可以以一个张量来代表的话，那么这个场就是一个张量场。最常见的张量场有广义相对论的应力能张量场（Stress-energy tensor field）。 必须注意到很多不严格的称为“张量”的数学结构实际上是“张量场”，定义在流形上的场在流形的每点定义了一个张量。.
查看 1-形式和张量场
开集
開集是指不包含任何自己邊界點的集合。或者說，開集包含的任意一點的充分小的鄰域都包含在其自身中。 例如，实数线上的由不等式2规定的集合称为开区间，是开集。这时候的边界为实数轴上的点2和5，如由不等式2\leq x \leq 5，或者2规定的区间由于包含其边界，因此不能称之为开集。 开集的概念一般与拓扑概念是紧密联系着的，通常先公理化开集，然后通过其定义边界的概念。（详细请参照拓扑空间）.
查看 1-形式和开集
余切丛
微分几何中，流形的余切丛是流形每点的余切空间组成的向量丛。余切空间有一个标准的辛形式，从中可以一个余切丛的非退化的体积形式。因此，本身作为一个流形的余切丛总是可定向的。可以在余切丛上定义一组特殊的坐标系；这些被称为正则坐标。因为余切丛可以视为辛流形，任何余切丛上的实函数总是可以解释为一个哈密顿函数；这样余切丛可以理解为哈密顿力学讨论的相空间。.
查看 1-形式和余切丛
微分
在数学中，微分是对函数的局部变化率的一种线性描述。微分可以近似地描述当函数自变量的取值作足够小的改变时，函数的值是怎样改变的。当某些函数\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-形式和微分
微分几何
微分幾何研究微分流形的幾何性質，是現代數學中一主流；是廣義相對論的基礎，與拓撲學、代數幾何及理論物理關係密切。 古典微分几何起源于微积分，主要内容为曲线论和曲面论。歐拉、蒙日和高斯被公认为古典微分几何的奠基人。近代微分几何的创始人是黎曼，他在1854年创立了黎曼几何（实际上黎曼提出的是芬斯勒几何），这成为近代微分几何的主要内容，并在相对论有极为重要的作用。埃利·嘉当和陈省身等人曾在微分几何领域做出极为杰出的贡献。.
查看 1-形式和微分几何
微分流形
光滑流形（），或称-微分流形（）、-可微流形（），是指一个被赋予了光滑结构的拓扑流形。一般的，如果不特指，微分流形或可微流形指的就是类的微分流形。可微流形在物理學中非常重要。特殊種類的可微流形構成了經典力學、廣義相對論和楊-米爾斯理論等物理理論的基礎。可以為可微流形開發微積分。可微流形上的微積分研究被稱為微分幾何。.
查看 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-形式和切丛
函数
函數在數學中為兩集合間的一種對應關係：輸入值集合中的每項元素皆能對應唯一一項輸出值集合中的元素。例如實數x對應到其平方x2的關係就是一個函數，若以3作為此函數的輸入值，所得的輸出值便是9。 為方便起見，一般做法是以符號f,g,h等等來指代一個函數。若函數f以x作為輸入值，則其輸出值一般寫作f(x)，讀作f of x。上述的平方函數關係寫成數學式記為f(x).
查看 1-形式和函数
光滑函数
光滑函数（smooth function）在数学中特指无穷可导的函数，也就是说，存在所有有限阶导数。若一函数是连续的，则称其为C^0函数；若函数存在导函数，且其導函數連續，則稱為连续可导，記为C^1函数；若一函数n阶可导，并且其n阶导函数连续，则为C^n函数（n\geq 1）。而光滑函数是对所有n都属于C^n函数，特称其为C^\infty函数。 例如，指数函数显然是光滑的，因为指数函数的导数是指数函数本身。.
查看 1-形式和光滑函数
图册 (拓扑学)
在数学，特别是在拓扑中，一个图册（atlas）描述了一个流形如何装备一个微分结构。每一小块由一个卡（chart）给出（也称为坐标卡coordinate chart或局部坐标系local coordinate system)）。以圖冊來定義流形的概念是由夏尔·埃雷斯曼於1943年所提出。 在给出图册形式定义之前，我们回忆起流形M上一个卡定义为从M的一个开集U到\mathbb^n中开集V的一个同胚映射\phi。如果(U_, \varphi_)与(U_, \varphi_)是M的两个卡使得U_ \cap U_非空，则定义了转移映射（transition map） 注意到因为\varphi_与\varphi_都是同胚，转移映射也是同胚。所以，转移映射已经赋予了某种相容性，使得从一个卡上的坐标系变到另一个卡上的坐标系是连续的。 那么流形M上一个图册是一族M上的卡\mathcal.
倒晶格
#重定向 倒易点阵.
查看 1-形式和倒晶格
線性泛函
在線性代數中，線性泛函是指由向量空間到對應純量域的線性映射。在 \mathbbR^n ，若向量空間的向量以列向量表示；線性泛函則會以行向量表示，在向量上的作用則為它們的矩陣積。一般地，如果 V 是域 k 上的向量空間，線性泛函 f 是一个从 V 到 k 的函数，它有以下的线性特性： 所有從 V 到 k 的線性泛函集合, 記為 \operatorname_k(V,k), 本身即為一向量空間，稱為 V 的 (代數)對偶空間。.
查看 1-形式和線性泛函
线性代数
线性代数是关于向量空间和线性映射的一个数学分支。它包括对线、面和子空间的研究，同时也涉及到所有的向量空间的一般性质。 坐标满足线性方程的点集形成n维空间中的一个超平面。n个超平面相交于一点的条件是线性代数研究的一个重要焦点。此项研究源于包含多个未知数的线性方程组。这样的方程组可以很自然地表示为矩阵和向量的形式。 线性代数既是纯数学也是应用数学的核心。例如，放宽向量空间的公理就产生抽象代数，也就出现若干推广。泛函分析研究无穷维情形的向量空间理论。线性代数与微积分结合，使得微分方程线性系统的求解更加便利。线性代数的理论已被泛化为。 线性代数的方法还用在解析几何、工程、物理、自然科学、計算機科學、计算机动画和社会科学（尤其是经济学）中。由于线性代数是一套完善的理论，非线性数学模型通常可以被近似为线性模型。.
查看 1-形式和线性代数
闭形式和恰当形式
在数学，特别是向量分析与微分拓扑中，一个闭形式 α 是微分算子 d 的核，即 dα.
截面 (纤维丛)
在数学之拓扑学领域中，拓扑空间 B 上纤维丛 π: E → B 的一个截面或横截面（section 或 cross section），是一个连续映射 s: B → E，使得对 x 属于 B 有 π(s(x)).
2-形式
在线性代数中，2-形式（two-form）是双线性形式的另一种叫法，特别是用于非正式讨论中，或者有时暗示这个双线性形式是斜对称的。 在微分几何中，一个2-形式表示 2 阶微分形式。换句话说，一个 2-形式是一个秩 2 斜对称共变张量场。 对一个给定的向量空间，2-形式的空间由基 1-形式的楔积生成。 参见微分形式。.
查看 1-形式和2-形式
亦称为 1形式，一形式。