若为的一个基,则都有一组有序数使得
并且这组数是唯一的.
反之,任给一组有序数,总有唯一的元素
于是,的元素有序数组.
定义 设是线性空间的一个基,对于任一元素,总有且仅有一组有序数使
则称有序数组为元素在基下的坐标,并记作.
在线性空间中,若存在个元素,满足:
(1)线性无关;
(2)中任一元素总可由线性表示.则就称为线性空间的一个基,称为线性空间的维数.