自明な線型関係と呼ぶ。線型従属(一次従属)であるという。本のベクトルの線型結合で表せる。線型従属でないときこの集合は線型独立(一次独立)であるという[1][2]。本が張る線形部分空間外のベクトルである。文脈から明らかなときには単に従属、独立などと言うこともある[3][4]。基本的な性質[編集]線型独立であるベクトルたちはどれも、零ベクトルでない。線型独立な集合の部分集合は線型独立である。空集合は線型独立である。線型独立な集合は基底に拡張できる。ベクトル空間全体を生成する集合の線型独立な部分集合全体は極大元(=基底)をもつ。