ベクトルの組が一次独立であることと、それらを並べた行列の行列式が 0 でないことは同値か。

正方行列の場合、行列式が非零ならば列ベクトルは一次独立である。