Smooth chart

A local coordinate map from an open subset of a smooth manifold to an open subset of Euclidean space.
Smooth chart

Let MM be an nn-dimensional . A (topological) chart on MM is a pair (U,φ)(U,\varphi) where UMU\subset M is open and φ:UV\varphi:U\to V is a homeomorphism onto an open set VRnV\subset \mathbb{R}^n.

A smooth chart (or coordinate chart) on MM is a chart (U,φ)(U,\varphi) such that for every chart (U,φ)(U',\varphi') belonging to the smooth structure of MM, the transition map

φφ1:φ(UU)φ(UU) \varphi'\circ \varphi^{-1}:\varphi(U\cap U')\longrightarrow \varphi'(U\cap U')

is smooth (as a map between open subsets of Rn\mathbb{R}^n). Equivalently, φ\varphi is a between the open submanifold UU (with the induced smooth structure) and the open set VRnV\subset \mathbb{R}^n.

Given a smooth chart (U,φ)(U,\varphi) with φ=(x1,,xn)\varphi=(x^1,\dots,x^n), the functions xi:URx^i:U\to \mathbb{R} are called the local coordinates associated to the chart.

Examples

  1. Euclidean space. On M=RnM=\mathbb{R}^n, the pair (Rn,id)(\mathbb{R}^n,\mathrm{id}) is a smooth chart. Any open set URnU\subset\mathbb{R}^n with the inclusion URnU\hookrightarrow\mathbb{R}^n gives a smooth chart (U,idU)(U,\mathrm{id}_U).
  2. Stereographic charts on the sphere. On SnRn+1S^n\subset\mathbb{R}^{n+1}, stereographic projection from the north pole defines a chart (Sn{N},σN)(S^n\setminus\{N\},\sigma_N) with σN:Sn{N}Rn\sigma_N:S^n\setminus\{N\}\to\mathbb{R}^n smooth; similarly from the south pole. The overlap transition map is smooth.
  3. Product charts. If (U,φ)(U,\varphi) is a chart on MM and (W,ψ)(W,\psi) is a chart on NN, then (U×W,φ×ψ)(U\times W,\varphi\times\psi) is a chart on M×NM\times N, giving the standard product coordinate system.