線型独立
線型代数学において、 本のベクトルが線型独立（せんけいどくりつ、）または一次独立であるとは、それらのベクトルが張る空間が 次元部分線形空間になることである。
線型独立であるベクトルたちは、何れも、零ベクトルでない。
具体的には、 本のベクトル が線型独立であるとは、formula_1 をスカラーとして、
が成り立つことである（#定義）。
線型独立でないことを線型従属（一次従属）という。