切空间

切空间（Tangent space）是在某一点所有的切向量组成的线性空间。向量（切向量）存在多种定义。直观的讲，如果所研究的流形（Manifold）是一个三维空间中的曲面，则在每一点的切向量，就是和该曲面相切的向量，切空间就是和该曲面相切的平面。

非正式描述

一个n维的流形可理解为由多个同为n维的曲面（超曲面）。一般情况下，因为所有流形可以嵌入欧几里得空间，流形上的光滑函数就是欧几里得空间中的光滑函数。欧几里得空间的优势在于可以进行微分，透过微分流形（differential manifold）的代数关系，可以将欧几里得空间中的微积分搬上光滑流形。切空间也可以理解为在该点和流形相切的欧几里得空间的仿射子空间（affine space）。
所有切线空间可以“胶合在一起”，并形成基于原流形两倍维度的可微分流形（differentiable manifold），称之流形的切丛（tangent bundle）。

正式定义

上述的非正式描述依赖于嵌入在较大向量空间Rᵐ, 使得切向量可以从流形延伸出到更大的空间。切空间更好的定义不依赖于这种嵌入，例如，切向量可以定义为通过该点的曲线的等价类，或者是对光滑函数在该点的在某个方向上的求导。但所有这些定义都是等价的。虽然通过曲线的速度的定义是直观上最简单的，但是也是挺麻烦的工作。更加优雅和抽象的方法描述如下。

曲线速度定义

在嵌入的流形图（manifold picture）中，点x处的切向量被认为是通过点x的曲线的“速度”。因此，我们可以取切向量作为通过x的曲线的等价类（equivalence class），而在x处彼此相切。
假设 M是Cᵏ流形(k ≥ 1)，x是M中的点。选择图表： φ : U → Rⁿ，其中U是包含x的M的开放子集。假设两个曲线γ₁ : (−1,1) → M 和 γ₂ : (−1,1) → M，其中γ₁(0) = γ₂(0) = x，使得φ ∘ γ₁和 φ ∘ γ₂都可以在0处微分。然后，如果在0处的正常导数（ordinary derivatives）φ ∘ γ₁与φ ∘ γ₂在0处的正常导数一致（coincide），则γ₁ 和 γ₂在0处被称为等价。这定义此曲线上的等价关系，并且等价类被称为在x处的M的切线向量。

余切空间的定义

再一次，我们从C∞流形M 开始，并且点x 在M中。考虑由所有函数f 组成的C∞(M)中的理想I，使得f(x) = 0。也就是说，定义通过x的曲线或表面之类的函数。然后I和I  ²是实向量空间，并且TₓM可以被定义为商空间（quotient space ）I / I ²的对偶空间（dual space）。后者之商空间也被称为x处的流形M 之余切空间。

属性

如果 M是Rⁿ的开子集（open subset），则 M是C∞流形的自然形式（将图视为恒等函数），并且切线空间都自然以Rⁿ加以识别。