ベクトル集合の線形独立性の定義と判定