证明: $SL(n,\mathbb{R})$ 是 $n^2-1$ 维 $C^\infty$ 流形.
考虑 $n^2$ 维欧氏空间 $\mathbb{E}^{n^2}$. 将其中的点用 $n$ 阶方阵来表示, 如 $A=(a_{ij})_{n\times n}$. 一般将所有 $m\times n$ 实矩阵组成的空间记为 $\mathcal{M}_{m\times n}(\mathbb{R})$. 记
\[\mathrm{SL}(n,\mathbb{R})=\{A\in\mathcal{M}_n(\mathbb{R})\mid \det A=1\}.\]
证明: $\mathrm{SL}(n,\mathbb{R})$ 是一个群, 并且是 $n^2-1$ 维 $C^\infty$ 流形.
事实上, 它还是一个李群. 参见问题845.