一般のベクトル空間における線型独立・線型従属

一般のベクトル空間における線型独立・線型従属。大枠だけリフォーム。