In this paper, the problem that any linearly independent group can be enlarged to the maximum linearly independent group is proved by the compactness theorem.

• 文章用紧致性定理证明向量组的线性无关部分组可扩充为极大线性无关组。