切空间

易经学习

天地变化的道理

分类目录

使用率很高网站

文章列表

生活要常常分享

维基百科

您身边百科全书

切空间

点击查看词条快照

切空间（Tangent space）是在某一点所有的切向量组成的线性空间。向量（切向量）存在多种定义。直观的讲，如果所研究的流形（Manifold）是一个三维空间中的曲面，则在每一点的切向量，就是和该曲面相切的向量，切空间就是和该曲面相切的平面。非正式描述. 一个n维的流形可理解为由多个同为n维的曲面（超曲面）。一般情况下，因为所有流形可以嵌入欧几里得空间，流形上的光滑函数就是欧几里得空间中的光滑函数。欧几里得空间的优势在于可以进行微分，透过微分流形（differential manifold）的代数关系，可以将欧几里得空间中的微积分搬上光滑流形。切空间也可以理解为在该点和流形相切的欧几里得空间的仿射子空间（affine space）。所有切线空间可以“胶合在一起”，并形成基于原流形两倍维度的可微分流形（differentiable manifold），称之流形的切丛（tangent bundle）。正式定义. 上述的非正式描述依赖于嵌入在较大向量空间 R"m", 使得切向量可以从流形延伸出到更大的空间。切空间更好的定义不依赖于这种嵌入，例如，切向量可以定义为通过该点的曲线的等价类，或者是对光滑函数在该点的在某个方向上的求导。但所有这些定义都是等价的。虽然通过曲线的速度的定义是直观上最简单的，但是也是挺麻烦的工作。更加优雅和抽象的方法描述如下。曲线速度定义. 在嵌入的流形图（manifold picture）中，点x处的切向量被认为是通过点x的曲线的“速度”。因此，我们可以取切向量作为通过"x"的曲线的等价类（equivalence class），而在"x"处彼此相切。假设 M是C"k"流形("k" ≥ 1)，x是M中的点。选择图表： "φ" : "U" → R"n"，其中U是包含x的M的开子集。假设两个曲线"γ"1 : (−1,1) → "M" 和 "γ"2 : (−1,1) → "M"，其中"γ"1(0) = "γ"2(0) = "x"，使得"φ" ∘ "γ"1和 "φ" ∘ "γ"2都可以在0处微分。然后，如果在0处的正常导数（ordinary derivatives）"φ" ∘ "γ"1与"φ" ∘ "γ"2在0处的正常导数一致（coincide），则"γ"1 和 "γ"2在0处被称为等价。这定义此曲线上的等价关系，并且等价类被称为在"x"处的 M的切线向量。导数定义. 假设M是C∞流形。如果"f" ∘ "φ"−1对于每个图表： "φ" : "U" → R"n"是无限可微的，则实值函数"f" : "M" → R属于C∞("M")。C∞("M")是点积乘积（pointwise product）和函数总和（sum of functions）与标量乘法（scalar multiplication）的实关联代数（associative algebra）。在M中选择一个点"x"。在"x"处的导数是线性映射"D" : C∞("M") → R，其具有对于C∞("M")中的所有f, g的性质： formula_1 根据微积分的乘法规则（product rule）建模。如果我们为这样的导数定义加法和标量乘法 formula_2 以及 formula_3 我们得到一个实际的向量空间，我们定义为切空间T"x""M"。余切空间的定义. 再一次，我们从C∞流形M 开始，并且点"x" 在"M"中。考虑由所有函数f 组成的C∞("M")中的理想I，使得"f"("x") = 0。也就是说，定义通过"x"的曲线或表面之类的函数。然后I和I 2是实向量空间，并且T"x""M"可以被定义为商空间（quotient space ）"I" / "I" 2的对偶空间（dual space）。后者之商空间也被称为x处的流形M 之余切空间。属性. 如果 M是R"n"的开子集（open subset），则 M是C∞流形的自然形式（将图视为恒等函数），并且切线空间都自然以R"n"加以识别。正切向量作为方向性导数. 另一种考虑切向量的方法是方向导数。给定R"n"中的向量v定义了在点x处的平滑映射"f" : R"n" → R的方向导数 formula_4 这个映射是自然的导数。此外，结果是C∞(R"n")的每个推导具有这种形式。因此，在向量（在一点被认为是切向量）和导数之间存在一对一映射。映射导数. 每个平滑（或可微）流形的映射"φ" : "M" → "N"在相应的切线空间之间引导自然线性映射： formula_5 如果切线空间通过曲线定义，则地图定义为 formula_6 相反，如果通过导数定义切线空间，则 formula_7 线性图d"φ""x"被称为x的导数、总导数、微分或前推（pushforward）。它经常用各种符号表示： formula_8 在某种意义上，导数是对于x附近的φ的最佳线性近似。注意，当"N" = R时，映射d"φ""x" : T"x""M" → R与函数φ的微分的通常概念一致。在局部坐标中，"φ"的导数可由雅可比矩阵给出。

倪柝声

约翰·道尔顿

卡尔·齐格勒

居里奥·纳塔

数学结构

和硕和婉公主

德勒克

和硕怀恪公主

和硕淑慎公主

观音保 (科尔沁)

星德

和硕和惠公主