Product manifold (source code)

= Product manifold
{title2=$M\times N$}

= Product smooth structure
{synonym}

Products of <manifold charts> form a <smooth atlas> on the topological product of two <smooth manifolds>. The transition maps are products of the two smooth transition maps, so the <dimension> is the sum of the dimensions. The smooth structure is independent of the chosen compatible atlases.