これらのベクトルが一次独立かどうかを調べるためには、これらのベクトルを列ベクトルとする行列を作り、その行列の階数を調べます。もし階数がベクトルの数(ここでは4)と等しければ、ベクトルは一次独立です。もし階数が4より小さければ、ベクトルは一次従属です。
A=12120−2−20022130−36 この行列を簡約化します。
まず、2行目から1行目の2倍を引きます。
10120−2−2002213−6−36 次に、3行目から1行目を引きます。
10020−2−2002213−6−66 次に、4行目から1行目の2倍を引きます。
10000−2−2002213−6−60 次に、3行目から2行目を引きます。
10000−20002013−600 次に、2行目を-1/2倍します。
100001000−1013300 次に、3行目と4行目を入れ替えます。
100001000−1103300 最後に、2行目に3行目を足します。
1000010000103300 簡約化された行列は、行階段形であり、0でない行の数は3です。つまり、行列の階数は3です。