Smooth atlases and compatible structures

An n-dimensional topological manifold here is a Hausdorff, second-countable space in which every point has an open neighborhood homeomorphic to an open subset of real n-space. Hausdorffness separates distinct points by disjoint neighborhoods. Second countability supplies a countable base for the topology, excluding oversized locally Euclidean examples such as the long line. These conditions are part of our convention, not conclusions obtained from a local coordinate picture. Unless a boundary is explicitly introduced, charts use open Euclidean sets.

A chart consists of an open neighborhood and a homeomorphism from it to a Euclidean open set. An atlas is a collection of charts covering the manifold. On an overlap, following one chart backward and another forward gives a coordinate-change map. The underlying points do not move when their coordinate labels change. Hausdorffness and countability support later global tools, including locally finite constructions and countable reductions of measure-zero arguments, which cannot be justified solely from one chart at a time.

A smooth atlas requires every transition map to be infinitely differentiable in both directions. Because the reverse transition is also one of the atlas comparisons, this is a diffeomorphism requirement, not just a smooth bijection in one direction. Enlarging a smooth atlas by every chart compatible with it gives its maximal smooth atlas. Two atlases determine the same smooth structure precisely when their union is compatible. That comparison takes place on the same underlying topological manifold.

A map between smooth manifolds is smooth when its coordinate expressions are smooth wherever source and target charts apply. The chain rule shows that changing to compatible charts preserves the property. Its derivative is an intrinsic linear map between tangent spaces; coordinate Jacobians transform by multiplication with invertible chart derivatives. A vanishing determinant caused only by an inadmissible coordinate change cannot be interpreted as a genuine singularity of the original smooth map.

A homeomorphism can be used as a single chart to create a smooth structure on a topological copy of the real line. That structure need not be compatible with the usual identity chart. However, incompatible structures on the same point set may still be diffeomorphic through a nonidentity map. Equality of maximal atlases asks whether the identity is a diffeomorphism; classification up to diffeomorphism permits another bijection. This distinction prevents a simple coordinate trick from being mistaken for an exotic smooth manifold.

For manifolds with boundary, charts instead take values in relatively open subsets of a closed half-space, and smoothness means local extension to Euclidean neighborhoods. Boundary points are intrinsic, and a diffeomorphism preserves them. We will specify that setting when it is needed. For now, record the dimension, topological assumptions, atlas, and coordinate domains before differentiating. Those details are the foundation on which inverse theorems, transversality, and global counting results will rest.