Product manifold
= 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.