rmula_11。对于formula_12流形，可採同样办法定义formula_12微分同胚之概念。
例子.考虑此微分同胚可由下述映射给出：
与同胚的关系.对维度formula_16的流形，可证明同胚的流形必为微分同胚；换言之，此时流形上的拓扑结构确定了微分结构。在四维以上则存在反例，最早的构造是约翰·米尔诺的七维怪球，米尔诺更证明了七维球上恰有28种微分流形结构，它们都可表成某个在formula_17上的formula_18-丛。在1980年代，西