设A是线性空间E的一个线性无关子集，如果A张成的线性子空间就是E本身，即span A=E，则称A是E的一个线性基，或称为哈默尔基。