哈默尔基

设A是线性空间E的一个线性无关子集，如果A张成的线性子空间就是E本身，即span A=E，则称A是E的一个线性基，或称为哈默尔基。A的基数（势）称为E的维数，记为dimE。当dimE< +∞时，称E为有限维的；否则称E为无限维的。