以下の条件を満たすとき,ベクトル vundefined1,⋯ ,vundefinedk\overrightarrow{v}_1,\cdots,\overrightarrow{v}_kv1,⋯,vk は一次独立であるという。 条件:∑i=1kcivundefinedi=0undefined\displaystyle\sum_{i=1}^kc_i\overrightarrow{v}_i=\overrightarrow{0}i=1∑kcivi=0 を満たす実数 c1,⋯ ,ckc_1,\cdots, c_kc1,⋯,ck の組は c1=⋯=ck=0c_1=\cdots =c_k=0c1=⋯=ck=0 のみ。