比浏览器更快的访问！
40 关系: 基 (線性代數)，基变更，可定向性，可平行化流形，同胚，向量丛，向量值微分形式，复合函数，复流形，定义良好，主丛，一般线性群，体积形式，微分流形，切丛，内积空间，前推 (微分)，图册 (拓扑学)，等变映射，等价关系，纤维丛，线性映射，结构群的约化，群作用，表示论，黎曼流形，辛流形，闭形式和恰当形式，配丛，G-结构，恆等函數，标准正交基，欧几里得度量，正交群，殆复流形，活动标架法，截面 (纤维丛)，数学，拓扑空间，2-形式。
基 (線性代數)
在线性代数中，基(basis)（也称为基底）是描述、刻画向量空间的基本工具。向量空间的基是它的一个特殊的子集，基的元素称为基向量。向量空间中任意一个元素，都可以唯一地表示成基向量的线性组合。如果基中元素个数有限，就称向量空间为有限维向量空间，将元素的个数称作向量空间的维数。 使用基底可以便利地描述向量空间。比如说，考察从一个向量空间\mathrm射出的线性变换f，可以查看这个变换作用在向量空间的一组基\mathfrak上的效果。掌握了f(\mathfrak)，就等于掌握了f对\mathrm中任意元素的效果。 不是所有空间都拥有由有限个元素构成的基底。这样的空间称为无限维空间。某些无限维空间上可以定义由无限个元素构成的基。如果承认选择公理，那么可以证明任何向量空间都拥有一组基。一个向量空间的基不止一组，但同一个空间的两组不同的基，它们的元素个数或势（当元素个数是无限的时候）是相等的。一组基里面的任意一部分向量都是线性无关的；反之，如果向量空间拥有一组基，那么在向量空间中取一组线性无关的向量，一定能将它扩充为一组基。在内积向量空间中，可以定义正交的概念。通过特别的方法，可以将任意的一组基变换成正交基乃至标准正交基。.
新！!: 标架丛和基 (線性代數) · 查看更多 »
基变更
在线性代数中，n 维向量空间的基是 n 个向量 α1,..., αn 的序列，带有所有这个空间中的向量可以唯一的表达为基向量的线性组合的性质。因为经常需要处理一个向量空间的多于一个的基，在线性代数中能够轻易的变换向量的逐坐标表达，和变换关于一个基的线性映射到关于另一个基的等价表达是根本重要的。这种变换叫做基变更。 尽管下面采用了术语向量空间，符号 R 意味着实数域，这里讨论的结果成立只要 R 是交换环，而这里的向量空间可替代为自由 R-模。.
可定向性
欧几里得空间R3中一个曲面S是可定向（orientable）的如果一个二维图形（比如）沿着曲面移动后回到起点不能使它看起来像它的镜像（）。否则曲面是不可定向（non-orientable）的。 更确切地，应用于非嵌入曲面，一个曲面可定向如果不存在从二维球B与单位区间的乘积到曲面的连续函数f: B\times \to S，使得f(b,t).
可平行化流形
数学中，一个 n 维光滑流形 M 为可平行化流形 是指具有向量场 使得在 M 中任何一点 P 的切向量 组成 P 点切空间的一组基。等价地说，切丛是平凡丛，所以相伴的线性标架主丛有一个 M 的整体截面。 选取 M 上这样特定的一组向量场的基称为 M 的一个平行化或绝对平行化。.
新！!: 标架丛和可平行化流形 · 查看更多 »
同胚
在拓扑学中，同胚(homeomorphism、topological isomorphism、bi continuous function)是两个拓扑空间之间的双连续函数。同胚是拓扑空间范畴中的同构；也就是说，它们是保持给定空间的所有拓扑性质的映射。如果两个空间之间存在同胚，那么这两个空间就称为同胚的，从拓扑学的观点来看，两个空间是相同的。 大致地说，拓扑空间是一个几何物体，同胚就是把物体连续延展和弯曲，使其成为一个新的物体。因此，正方形和圆是同胚的，但球面和环面就不是。有一个笑话是说，拓扑学家不能区分咖啡杯和甜甜圈，这是因为一个足够柔软的甜甜圈可以捏成咖啡杯的形状（见图）。.
向量丛
数学上，向量丛是一个几何构造，為拓扑空间（或流形，或代数簇）的每一点相容地附上一个向量空间，而这些向量空间“粘起来”又构成一个拓扑空间（或流形，或代数簇）。 一个典型的例子是微分流形的切丛：对流形的每一点附上流形在该点的切空间。 另一个例子是法丛：給定一个平面上的光滑曲线，可在曲线的每一点附上和曲线垂直的直线；这就是曲线的"法丛"。 这个条目主要解釋有限维纤维的实向量丛。複向量丛也在很多地方有用；他们可以视为一種有附加结构的实向量丛。 向量丛是纤维丛的一種。.
向量值微分形式
数学中，流形 M 上一个向量值微分形式（vector-valued differential form）是 M 上取值于一个向量空间 V 的微分形式。更一般地，它是取值于 M 上某个向量丛 E 的微分形式。通常的微分形式可以视为 R-值微分形式。向量值微分形式是微分几何中的自然对象并有广泛的应用。.
新！!: 标架丛和向量值微分形式 · 查看更多 »
复合函数
在数学领域，两个函数的复合函数指一个将第一个函数作用于参数，然后再将第二个函数作用于所得结果的函数。 具体来说，给定两个函数f: X → Y和g: Y → Z，其中f的陪域等于g的定义域（称为f、g可复合），则其复合函数h.
复流形
微分几何中，一个复流形是一个流形，使得每个鄰域在一种连续的方式下看起来象一个複n维空间。更精确的讲，一个复流形有一个坐标图册，其每个坐标图映射到Cn，并且坐标图之间的坐标变换是全纯的。 复流形可以视为微分流形的一种特例。例如，一个1维复流形几何上就是一个曲面，称为黎曼曲面。变换函数必须全纯这个要求意味着和通常的微分流形不同，不同的''C''''k''-微分结构对于不同k没有区别，因为全纯函数解析，一次每个全纯结构也是一个Ck结构，对于任意k ≥1成立。 复流形的理论和实流形的有相当不同的感受，因为複解析函数比光滑函数更为严格。例如，使用惠特尼嵌入定理，每个实流形可以嵌入为Rn的子流形，,但是很少有复流形可以成为Cn的子流形。 Category:复流形 Category:流形上的结构.
定义良好
在数学裡，术语定义良好（定义良好的 well-defined，名词 well-definition）用于确认用一组基本公理以数学或逻辑的方式定义的某个概念或对象（一个函数，性质，关系，等等）是完全无歧义的，满足它必需满足的那些性质。通常定义是无歧义地表述，明白地满足它们所需的性质。但有时候，使用任意选择的方式来陈述定义是经济的，这时我们便要验证定义与选择无关。另一种情形，所需的性质可能不都是显然的，这时要验证它们。这些问题通常来自函数的定义。 譬如，在群论中，术语“定义良好”经常用于处理陪集时，陪集空间上的函数经常选取一个代表来定义：这时非常重要的是验证无论选取陪集的哪个代表，就像算术运算一样（比如，2加3总是5）我们总得到同样的结果。 f(x_).
主丛
数学上，一个G主丛(principal G-bundle)是一种特殊的纤维丛，其纤维为拓扑群G的作用的扭子（torsor）（也称为主齐性空间）。主G丛是G丛，因为群G也是丛的结构群。 主丛在拓扑学和微分几何中有重要应用。他们在物理学中也有应用，他们组成了规范理论的基础框架的一部分。主丛为纤维丛的理论提供了一个统一的框架，因为所有纤维丛及其结构群G决定了一个唯一的主G丛，从该主丛可以重建原来的那个丛。.
一般线性群
在數學中，n 次一般線性群是 n×n 可逆矩陣的集合，和與之一起的普通矩陣乘法運算。這形成了一個群，因為兩個可逆矩陣的乘積也是可逆矩陣，而可逆矩陣的逆元還是可逆矩陣。叫這個名字是因為可逆矩陣的縱列是線性無關的，因此它們定義的向量／點是在一般線性位置上的，而在一般線性群中的矩陣把在一般線性位置上的點變換成在一般線性位置上的點。 为了使定义更明确，必需規定哪類對象可以成為矩陣的元素。例如，在 R（實數集）上的一般線性群是實數的 n×n 可逆矩陣的群，并指示為 GLn(R)或 GL(n, R)。 更一般的說，在任何域 F（比如複數集）或環 R（比如整數集的環）上的 n 次一般線性群是帶有來自 F（或 R）的元素的 n×n 可逆矩陣的群，帶有矩陣乘法作為群運算。這裡的環被假定為符合結合律和有乘法單位元的。典型符號是 GLn(F)或 GL(n, F)，如果域是自明的也可簡寫為 GL(n)。 更一般的說，向量空間的一般線性群 GL(V)仍是抽象自同構群，不必需寫為矩陣。 '''特殊線性群'''，寫為 SL(n, F)或 SLn(F)，是由行列式.
体积形式
数学中，体积形式提供了函数在不同坐标系（比如球坐标和圆柱坐标）下对体积积分的一种工具。更一般地，一个体积元是流形上一个测度。 在一个定向n-维流形上，体积元典型地由体积形式生成，所谓体积元是一个处处非零的n-阶微分形式。一个流形具有体积形式当且仅当它是可定向的，而可定向流形有无穷多个体积形式（细节见下）。 有一个推广的伪体积形式概念，对无论可否定向的流形都存在。 许多类型的流形有典范的（伪）体积形式，因为它们有额外的结构保证可选取一个更好的体积形式。在复情形，一个带有全纯体积形式的凯勒流形是卡拉比-丘流形。.
微分流形
光滑流形（），或称-微分流形（）、-可微流形（），是指一个被赋予了光滑结构的拓扑流形。一般的，如果不特指，微分流形或可微流形指的就是类的微分流形。可微流形在物理學中非常重要。特殊種類的可微流形構成了經典力學、廣義相對論和楊-米爾斯理論等物理理論的基礎。可以為可微流形開發微積分。可微流形上的微積分研究被稱為微分幾何。.
切丛
数学上，一个微分流形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.
内积空间
内积空间是数学中的线性代数裡的基本概念，是增添了一个额外的结构的向量空间。这个额外的结构叫做内积或标量积。内积将一对向量与一个标量连接起来，允许我们严格地谈论向量的“夹角”和“长度”，并进一步谈论向量的正交性。内积空间由欧几里得空间抽象而来（内积是点积的抽象），这是泛函分析讨论的课题。 内积空间有时也叫做准希尔伯特空间（pre-Hilbert space），因为由内积定义的距离完备化之后就会得到一个希尔伯特空间。 在早期的著作中，内积空间被称作--空间，但这个词现在已经被淘汰了。在将内积空间称为--空间的著作中，“内积空间”常指任意维（可数或不可数）的欧几里德空间。.
前推 (微分)
假设 φ: M → N 是光滑流形之间的光滑映射；则 φ 在一点 x 处的微分在某种意义上是 φ 在 x 附近的最佳线性逼近。这可以视为通常微积分中全导数的推广。确切地说，它是从 M 在 x 处的切空间到 N 在 φ(x) 处的切空间的一个线性映射，从而可以将 M 的切向量“前推”成 N 的切向量。 映射 φ 的微分也被一些的作者称为 φ 的导数或全导数，有时它自己也之称为前推（pushforward）。.
新！!: 标架丛和前推 (微分) · 查看更多 »
图册 (拓扑学)
在数学，特别是在拓扑中，一个图册（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.
新！!: 标架丛和图册 (拓扑学) · 查看更多 »
等变映射
在数学中，一个等变映射（equivariant map）是两个集合之间与群作用交换的一个函数。具体地，设 G 是一个群，X 与 Y 是两个关联的 ''G''-集合。一个函数 f: X → Y 称为等变，如果 对所有 g ∈ G 与 x ∈ X 成立。注意如果其中一个或两个作用是右作用，则等变条件必须适当地修改： 等变映射是 G-集合范畴（对一个取定的 G）中的同态。从而它们也称为 G-映射或 G-同态。G-集合的同构就是等变双射。 等变条件也能理解为下面的交换图表。注意 g\cdot 表示映射取元素 z 得到 g\cdot z。.
等价关系
等價關係（equivalence relation）即设R是某個集合A上的一个二元关系。若R满足以下條件：.
纤维丛
纖維--束（fiber bundle 或 fibre bundle）又稱纖維--叢，在数学上，特别是在拓扑学中，是一个局部看来像直积空间，但是整体可能有不同的结构。每个纤维丛對應一个连续满射 \pi:E\rightarrow B E 和乘積空間 B × F 的局部類似性可以用映射 \pi 來說明。也就是說：在每個 E 的局部空間 U，都存在一個相同的F（F 稱作纖維空間），使得 \pi 限制在 U 上時 與直积空间 B × F 的投影 P:B\times F\mapsto B,\quad P(b, f).
线性映射
在数学中，线性映射（有的书上将“线性变换”作为其同义词，有的则不然）是在两个向量空间（包括由函数构成的抽象的向量空间）之间的一种保持向量加法和标量乘法的特殊映射。线性映射从抽象代数角度看是向量空间的同态，从范畴论角度看是在给定的域上的向量空间所构成的范畴中的态射。 “线性算子”也是与“线性映射”有关的概念。但是不同数学书籍上对“线性算子”的定义存在区别。在泛函分析中，“线性算子”一般被当做“线性映射”的同义词。而有的书则将“线性算子”定义为“线性映射”的自同态子类（详见下文）。为叙述方便，本条目在提及“线性算子”时，采用后一种定义，即将线性算子与线性映射区别开来。.
结构群的约化
数学中，特别是在主丛理论中，我们可问一个 G-丛能否“来自”一个子群 H 。这称为结构群的约化（Reduction of structure group，约化为 H），且对任何映射 H\to G 有意义，不必要求是包含（尽管使用了这个术语）。.
新！!: 标架丛和结构群的约化 · 查看更多 »
群作用
数学上，对称群描述物体的所有对称性。这是通过群作用的概念来形式化的：群的每个元素作为一个双射（或者对称作用）作用在某个集合上。在这个情况下，群称为置换群（特别是在群有限或者不是线性空间时）或者变换群（特别是当这个集合是线性空间而群作为线性变换作用在集合上时）。一个群G的置换表示是群作为一个集合的置换群的群表示（通常该集合有限），并且可以表述为置换矩阵，一般在有限的情形作此考虑－这和作用在有序的线性空间基上是一样的。.
表示论
表示論是數學中抽象代數的一支。旨在將抽象代数结构中的元素「表示」成向量空間上的線性變換，并研究这些代数结构上的模，藉以研究結構的性質。略言之，表示論將一代數對象表作較具體的矩陣，並使得原結構中的代数运算對應到矩陣加法和矩陣乘法。此法可施於群、結合代數及李代數等多種代數結構；其中肇源最早，用途也最廣的是群表示論。設G為群，其在域F（常取複數域F.
黎曼流形
黎曼流形（Riemannian manifold）是一個微分流形，其中每點p的切空間都定義了點積，而且其數值隨p平滑地改變。它容許我們定義弧線長度、角度、面積、體積、曲率、函數梯度及向量域的散度。 每個Rn的平滑子流形可以导出黎曼度量：把Rn的點積都限制於切空間內。實際上，根据纳什嵌入定理，所有黎曼流形都可以這樣产生。 我們可以定義黎曼流形為和Rn的平滑子流形是等距同构的度量空間，等距是指其内蕴度量（intrinsic metric）和上述从Rn导出的度量是相同的。这對建立黎曼幾何是很有用的。 黎曼流形可以定义为平滑流形，其中给出了一个切丛的正定二次形的光滑截面。它可產生度量空間： 如果γ: → M是黎曼流形M中一段連續可微分的弧線，我們可以定義它的長度L（γ）為 （注意：γ'（t）是切空間M在γ（t）點的元素；||·||是切空間的內積所得出的範數。） 使用这个长度的定义，每个连通的黎曼流形M很自然的成为一个度量空間（甚至是長度度量空間）：在x與y兩點之間的距離d（x, y）定義為： 虽然黎曼流形通常是弯曲的，“直線”的概念依然存在：那就是測地線。 在黎曼流形中，測地線完备的概念，和拓撲完备及度量完备是等价的：每个完备性都可以推出其他的完备性，这就是Hopf-Rinow定理的内容。.
辛流形
数学上，一个辛流形是一个装备了一个闭、非退化2-形式ω的光滑流形，ω称为辛形式。辛流形的研究称为辛拓扑。辛流形作为经典力学和分析力学的抽象表述中的流形的余切丛自然的出现，例如在经典力学的哈密顿表述中，该领域的一个主要原因之一：一个系统的所有组态的空间可以用一个流形建模，而该流形的余切丛描述了该系统的相空间。 一个辛流形上的任何实值可微函数H可以用作一个能量函数或者叫哈密顿量。和任何一个哈密顿量相关有一个哈密顿向量场；该哈密顿向量场的积分曲线是哈密顿-雅可比方程的解。哈密顿向量场定义了辛流形上的一个流场，称为哈密顿流场或者叫辛同胚。根据刘维尔定理，哈密顿流保持相空间的体积形式不变。.
闭形式和恰当形式
在数学，特别是向量分析与微分拓扑中，一个闭形式 α 是微分算子 d 的核，即 dα.
新！!: 标架丛和闭形式和恰当形式 · 查看更多 »
配丛
在数学中，带有结构群 G（拓扑群）的纤维丛理论允许产生一个配丛（associated bundle）的操作，将丛的典型纤维由 F1 变成 F2，两者都是具有群 G 作用的拓扑空间。对具有结构群 G 的纤维丛 F，纤维在两个局部坐标系 Uα 与 Uβ 交集上的转移函数（即上链）由一个 Uα∩Uβ 上 G-值函数 gαβ 给出。我们可以构造一个纤维丛 F′ 有同样的转移函数，但可能具有不同的纤维。.
G-结构
在微分几何中，对一个给定的结构群 G，n 维流形 M 上一个 G-结构是 M 的切标架丛 FM（或 GL(M)）的一个 G-子丛。 G-结构的概念包括了许多流形上其它结构，其中一些是用张量场定义的。例如，对正交群，一个 O(n)-结构定义了一个黎曼度量；而对特殊线性群，一个 SL(n,R)-结构就是一个体积形式；对平凡群，一个 -结构由流形的一个绝对平行化组成。 一些流形上的结构，比如複结构，辛结构，或 凯勒结构，都是 G-结构带上附加的可积性条件。 物理学中的术语是规范群。.
恆等函數
在數學裡，恆等函數總是傳回和其輸入值相同的函數值。換句話說，恆等函數為函數f(x).
标准正交基
在线性代数中，一个内积空间的正交基（orthogonal basis）是元素两两正交的基。称基中的元素为基向量。假若，一个正交基的基向量的模长都是单位长度1，则称这正交基为标准正交基或"规范正交基"（Orthonormal basis）。 无论在有限维还是无限维空间中，正交基的概念都是很重要的。在无限维希尔伯特空间中，正交基不再是哈默尔基，也即是说不是每个元素都可以写成有限个基中元素的线性组合。因此在无限维空间中，正交基应该被更严格地定义为由线性无关而且两两正交的元素组成、张成的空间是原空间的一个稠密子空间（而不是整个空间）的集合。 注意，在没有定义内积的空间中，“正交基”一词是没有意义的。因此，一个具有正交基的巴拿赫空间，就是一个希尔伯特空间。.
欧几里得度量
#重定向 欧几里得距离.
新！!: 标架丛和欧几里得度量 · 查看更多 »
正交群
数学上，数域F上的n阶正交群，记作O(n,F)，是F上的n×n 正交矩阵在矩阵乘法下构成的群。它是一般线性群GL(n,F)的子群，由 这里QT是Q的转置。实数域上的经典正交群通常就记为O(n)。 更一般地，F上一个非奇异二次型的正交群是保持二次型不变的矩阵构成的群。嘉当-迪奥多内定理描述了这个正交群的结构。 每个正交矩阵的行列式为1或−1。行列式为1的n×n正交矩阵组成一个O(n,F)的正规子群，称为特殊正交群SO(n,F)。如果F的特征为2，那么1.
殆复流形
数学中，一个殆複流形（almost complex manifold）是在每个切空间上带有一个光滑线性複结构的光滑流形。此结构的存在性是一个流形成为複流形的必要条件，但非充分条件。即每个複流形是一个殆複流形，反之则不然。殆複结构在辛几何中有重要应用。 此概念由埃雷斯曼与霍普夫于1940年代引入。.
活动标架法
数学上，光滑流形上的标架可以理解为从一点到一点变化的标架。给定一个这样的流形M和一个其中的点P，在P点的一个标架表示一个M在P点的切空间的向量空间基底。也就是说，若M维数为n，我们给定n个切向量t1,..., tn，属于M在P的切空间，而且线性獨立。在P的某个邻域U的一个活动标架要求我们给定 每个都是定义在U上的向量场，全都假设为作为Q的函数在U中光滑，并且在每一点Q线性无关（为简单起见假设M处处维数为n）。 用非常一般的术语来讲，这样一个活动标架是广义相对论中的一个观测者的要求，在那里每个从P到附近点的连续对ti的选择都是平等的。而狭义相对论中，M被取为一个四维的向量空间V。在那种情况下，ti可以简单的从P平移到其它点Q。 在相对论和黎曼几何中，最重要的活动标架是正交和单位正交标架，也就是在每一点（单位长度的）互相垂直的向量的有序集。在给定一点P可以通过正交化将任意标架变成正交；事实上，这可以以光滑的方式达到，因而一个活动标架的存在也就隐含了活动正交标架的存在。 活动标架在M上局部的存在性是很显然的；但是在M上的全局存在性要求拓扑条件的满足。例如，当M是一个圆圈，或者是一个环，这样的标架存在；但是当M是一个二维球时却不存在。存在一个全局活动标架的流形称为可平行化的。注意，例如将纬度和经度的单位方向作为地球表面上的活动标架在北极和南极会有问题。 埃里·嘉当的活动标架法基于对于所研究的特定问题取一个相应的活动标架。例如，给定一个空间中的曲线，曲线的前三个导数通常可以给出其上一点一个标架(参看定量的形式参看挠率-它假设挠率非0）。更一般地，活动标架的抽象含义是将切丛作为一个向量丛时，其伴随丛主丛GLn的一个截面。一般的嘉当方法利用了这点，并在嘉当联络中讨论。 对于球面只有S^1、S^3和S^7是可平行化的。 H H.
截面 (纤维丛)
在数学之拓扑学领域中，拓扑空间 B 上纤维丛 π: E → B 的一个截面或横截面（section 或 cross section），是一个连续映射 s: B → E，使得对 x 属于 B 有 π(s(x)).
新！!: 标架丛和截面 (纤维丛) · 查看更多 »
数学
数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科，从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用，由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念，為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善，早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見，而在古希臘那裡有更為嚴謹的處理。從那時開始，數學的發展便持續不斷地小幅進展，至16世紀的文藝復興時期，因为新的科學發現和數學革新兩者的交互，致使數學的加速发展，直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日，數學使用在不同的領域中，包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學，有時亦會激起新的數學發現，並導致全新學科的發展，例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學，就是數學本身的实质性內容，而不以任何實際應用為目標。雖然許多研究以純數學開始，但其过程中也發現許多應用之处。.
拓扑空间
拓扑空间是一种数学结构，可以在上頭形式化地定義出如收敛、连通、连续等概念。拓扑空间在现代数学的各个分支都有应用，是一个居于中心地位的、统一性的概念。拓扑空间有独立研究的价值，研究拓扑空间的数学分支称为拓扑学。.
2-形式
在线性代数中，2-形式（two-form）是双线性形式的另一种叫法，特别是用于非正式讨论中，或者有时暗示这个双线性形式是斜对称的。 在微分几何中，一个2-形式表示 2 阶微分形式。换句话说，一个 2-形式是一个秩 2 斜对称共变张量场。 对一个给定的向量空间，2-形式的空间由基 1-形式的楔积生成。 参见微分形式。.
重定向到这里：
切标架丛，标准正交标架丛，正交标架丛，线性标架丛，酉标架丛。
