Atlas

图册是在流形上的一组相容的坐标图的集合，其中“相容”最常见的含义是指图的转移函数是光滑的。顾名思义，图册对应于地图的集合，每张地图显示流形的一部分，看起来像平坦的欧几里得空间。要使用图册，需要知道地图如何重叠。 为了有用，地图在这些重叠区域上不能相差太大。

从一个图到另一个图的重叠映射称为转移函数。它们表示从一个图的视角到另一个图的视角的过渡。令 中的开单位球表示为 。那么，如果 和 是两个坐标图，则复合 是定义在 上的函数。也就是说，它是从 的开子集到 的函数，并且给定这样一个从 到 的函数，存在使其光滑或具有 个光滑导数（即，它是 C-k 函数）的条件。此外，当 同构于 （在偶数维情况下）时，函数可以是全纯的。

光滑图册的转移函数是 C-无穷光滑的（即，无限可微的）。结果是，一个图上的光滑函数在任何其他图上也是光滑的（根据高阶导数的链式法则）。类似地，可以有一个 类的图册，其中转移函数属于 C-k 类。

在偶数维情况下，人们可能会问转移函数是否是全纯的。在这种情况下，就有一个全纯图册，并且根据链式法则，询问流形上的函数是否是全纯的才有意义。

两个图册可能是相容的，这意味着它们的并集也是一个图册。根据佐恩引理，总是存在一个极大图册，其中极大图册是不包含在任何其他图册中的图册。然而，在典型的应用中，没有必要使用极大图册，任何足够精细的图册都可以。