Базис -- это вообще что такое?
Базис - множество таких векторов в векторном пространстве, что любой вектор этого пространства может быть единственным образом представлен в виде линейной комбинации векторов из этого множества — базисных векторов.
Как мне кажется, что один из векторов можно выкинуть, да? (так как они все-таки зависимы)