如何理解张宇线性代数中极大独立群的定义

给你一个有限维的线性空间，你可以从中随机选择n个，其中一部分可以用其他元素表示，这样就可以消去，以此类推，最后剩下的就是线性无关的了。

极大意味着线性空间中的一切都可以用这个群来表示。否则，这个群体可以扩大。