Dan_Te писал(а):
Да, правильно. Вот только не очень понятно, зачем вы произвольный вектор из подпространства

обозначаете с помощью двух букв

, хватило бы и одной.
Не знаю, наверное, Вы правы, не подумал...
А чем тогда задание прямой суммы отличается от просто задания суммы подпространств? Или здесь этого не определить?