Dimension of a manifold (source code)

= Dimension of a manifold
{title2=$\dim M$}

= Manifold dimension
{synonym}

A <topological manifold> has dimension $n$ when its <manifold charts> have coordinate domains open in $\mathbb R^n$. For a <smooth manifold>, each <tangent space> has <dimension> $n$, and a <tangent bundle> has <vector bundle rank> $n$.