Признаки прямых сумм подпространств

Сумма является прямой суммой, если:

– существует вектор , который однозначно представляется в виде , где ;

– базис пространства является объединением базисов подпространств и ;

– справедливо равенство .