若向量组M是线性无关的
而M中任一向量都由向量组M线性表示
所以M即为向量组M本身的极大无关组
这与极大无关组的定义有关,看看教材吧
另,你提出的一系列问题的证明,与教材体系的安排有关,
所以,不知道哪是可以用的已知的结论