空间formula_4的标准正交基：于是formula_4中任意的向量可以表示成下面的形式：n维实数坐标空间是实n维向量空间的原型。事实上，每一个n维向量空间formula_18都可以看作实数坐标空间——formula_18与formula_4是同构的（isomorphic）。不过这个同构不是正则（Canonical）的，每个同构的选择都相当于在formula_18中选择了一组基（即formula_4的n个标准基在formula_18中的同构像）。我们有时候只着眼于任意n维向量空间而不是具体的for