假如a1,……,an线性相关,它的最大线性无关组容量<n,不妨设为:
a1,……,as,s<n.{a1,……,as}可以线性表示{a1,……,an}
从而可以线性表示{E1,E2,E3.En}.根据定理“少表多,多相关”.
{E1,E2,E3.En}应该线性相关.矛盾.
所以{a1,……,an}线性无关.
假如a1,……,an线性相关,它的最大线性无关组容量<n,不妨设为:
a1,……,as,s<n.{a1,……,as}可以线性表示{a1,……,an}
从而可以线性表示{E1,E2,E3.En}.根据定理“少表多,多相关”.
{E1,E2,E3.En}应该线性相关.矛盾.
所以{a1,……,an}线性无关.