在前面的博文中,我们知道,一组基可以生成一个空间,我们称这样的空间为这组基的生成空间。于是,我们很自然地会疑问,对于给定的一个空间,我们如何去构造出它的基?
对于一般的空间,要构造它的基不是那么简单的事情。因为当空间的维数无限时,许多性质与有限维空间不一样了。因此,我们这里考虑的空间,都是n维实数向量空间上的子空间V。这样,由于子空间的维数不能超过父空间的维数,故而V的维数最多为n。当然,这么我们可以把替换成任何已知的有限维空间。所有的讨论都在这个有限维空间子空间的框架下进行。
首先介绍一个重要的引理。
引理. 若线性独立,且,则向量组线性独立。
证明. 设实数满足
(1) 。
(注意,因为本文讨论的都是实数向量,因此我们依照寻常的约定,将点乘运算符号略去了。)由于,故必有。否则,由(1)式得