光滑流形

“光滑流形”是 (无限可微) 流形 的另一种说法，也称为可微流形。光滑流形是一个 拓扑流形 及其“函数结构”（Bredon 1995），因此与 拓扑流形 的区别在于它存在可微性的概念。每个光滑流形都是一个 拓扑流形，但反之不然。（第一个非光滑 拓扑流形 出现在四维空间中。）Milnor (1956) 表明，七维 超球面 可以用 28 种方式制成光滑流形。