对的，这是极大无关组的一个性质推论。等价的意思是二者可以互相表示，因为向量组可以由它的极大无关组表示，极大无关组也可以由向量组表示，所以等价。你举个例子，找个简单的向量组，再求出它的极大无关组，互相表示一下就明白了。