a1,a2,a3线性无关就是一个成为一个三维线性无关组,任何一个三维向量都可以由三维线性无关组线形表示。

例如任意3维列向量都可以由3个线性无关的向量(1,0,0)T,(0,1,0)T,(0,0,1)T线性表示。换成任意指定的3个线性无关的向量α1，α2，α3也行。由于任意4个3维向量一定线性相关，即α1，α2，α3，β线性相关，根据定理，β一定可由α1，α2，α3线性表示，且表示方法唯一。