定义 4.1. 坐标

中的 个向量, 若它满足

  1. 是线性无关的;
  2. 中任意一个向量 都可以被 线性表出,即存在 , ,使得 \mathbf{\alpha } = {x}_{1}{\mathbf{\alpha }}_{1} + {x}_{2}{\mathbf{\alpha }}_{2} + \cdots + {x}_{n}{\mathbf{\alpha }}_{n} \tag{4.1}则称 的一组, 而 元有序数组 称为向量 在基 下的坐标.