一次独立・一次従属

一般のベクトル空間における線型独立・線型従属。メンテ完了。