微分同胚是微分几何与拓扑学中的核心概念，它为微分流形之间的等价性提供了精确定义。当两个流形之间存在微分同胚时，它们在光滑意义下被认为是相同的，这意味着它们具有相容的微分结构，从而允许我们将一个流形上的几何与分析操作无缝转移到另一个流形上。要深入理解微分同胚，需要从更基本的数学结构保持映射出发，逐步深入到光滑范畴的精细化要求。这一概念不仅揭示了流形的局部与整体性质之间的深刻联系，还在物理学（如广义相对论和场论）中扮演着基石角色。
在数学中，同构描述了两个数学结构之间的完全等价性。例如，向量空间之间的同构是线性双射，保持加法和数乘运算；群同构则保持群运算。同构强调代数结构的精确匹配，但往往忽略拓扑或几何细节。
当我们考虑更具几何性的对象（拓扑空间）时，同胚便成为更合适的等价概念：两个拓扑空间称为同胚，如果存在连续双射，且其逆映射也连续。同胚保持拓扑性质（如连通性、紧致性），但不涉及微分结构。例如，球面与椭球面是同胚的，并且在二维情况下，它们实际上是微分同胚的（因为所有光滑2维紧致连通曲面中，同胚蕴含微分同胚），但它们作为嵌入欧氏空间中的子流形具有不同的几何形状（如曲率分布）。同胚是拓扑流形分类的基础，但它无法区分流形上可能的不同光滑结构（这在四维及更高维流形中尤为重要）。正因如此，我们需要引入更强的等价关系：微分同胚。
微分同胚是微分流形范畴中的同构概念，要求映射不仅连续，还必须保持光滑结构。设 和 为两个 微分流形（通常 ，常见情形是光滑流形 ）。
一个映射 称为 光滑的，如果对于 和 的任意坐标卡 和 ，复合映射
是一个 映射（即 次连续可微）。这里， 是 的开子集， 是 的开子集， 和 分别为 和 的维数。光滑性确保映射在局部坐标下表现良好，且与坐标选取无关。
微分同胚是光滑映射的强化版本：一个映射 称为 微分同胚，如果它是双射，并且 及其逆映射 都是 光滑的。当 时，我们称之为光滑微分同胚。微分同胚的本质在于，它不仅在集合层面实现一一对应，更在光滑结构层面实现等价，使得两个流形具有完全相同的局部微积分操作能力。
微分同胚的存在性与流形的图册密切相关。如果两个流形是微分同胚的，则它们的极大图册可以通过映射 相互转移。具体来说，若 是微分同胚，则 上的坐标卡 可以通过 拉回为 上的坐标卡 ，且这些卡与 的原图册相容（即转移函数为光滑）。这种相容性保证了微分结构在映射下保持一致，从而流形上的切向量、微分形式等几何对象可以通过 自然地推前或拉回。
微分同胚具有一系列关键性质，这些性质体现了它在微分几何中的核心地位。
微分同胚 在每一点 诱导切空间的线性同构。具体地，微分 是一个向量空间同构，定义为：对于任意切向量 和光滑函数 ，有
在局部坐标下，若 有坐标 ， 有坐标 ，则 的矩阵表示是雅可比矩阵 ，其中 。由于 是微分同胚，该矩阵处处可逆，这自然要求切空间维数相同（即 ）。
微分同胚允许张量场在流形间保持结构地转移。例如， 上的切向量场 可以通过 推前到 上的切向量场 ，定义为 。类似地， 上的微分形式 可以拉回为 上的形式 ，满足：
重要的是，微分同胚保持外微分运算，即 ，这体现了它在上同调理论中的自然性。
微分同胚是流形等价性的强条件，但它并不保持所有几何结构，这引出了对其不变量的深入研究。
由于微分同胚是比同胚更强的等价关系，它自然保持所有拓扑不变量，如连通分支数、贝蒂数、基本群等。此外，微分同胚还能保持微分拓扑不变量，如德拉姆上同调群。德拉姆定理表明，流形的上同调群由微分形式的外微分刻画，且在同伦等价下不变，因此微分同胚流形具有同构的上同调群。
在黎曼几何中，曲率是度量相关的局部几何量。微分同胚本身不保持曲率：两个微分同胚的流形可以具有完全不同的黎曼曲率。需要区分的是，微分同胚保持内蕴几何（如高斯曲率），但不保持外蕴几何（如依赖于嵌入的曲率）。例如，平面与圆柱面是微分同胚的，且两者高斯曲率均为零（内蕴平坦），但圆柱面具有非零平均曲率（这是外蕴几何量），源于其在欧氏空间中的嵌入方式。这表明微分同胚是光滑结构的等价，而非度量结构的等价。然而，某些整体不变量如特征类（陈类、庞特里亚金类）在微分同胚下不变，因为它们依赖于流形的光滑结构而非具体度量。
微分同胚作为微分流形理论中的核心等价概念，通过光滑双射桥接了流形的局部与整体性质。从同构到同胚，再到微分同胚，这一概念序列体现了数学对结构保持映射认识的逐步深化。微分同胚不仅为流形分类提供了严谨框架，还深刻影响了几何、拓扑和理论物理的发展。通过研究微分同胚下的不变量，我们得以揭示流形本质的几何与拓扑特征，在更广阔的数学宇宙中探索空间的结构奥秘。
