прямая сумма определена во всех линейных пространствах, а если в них есть ещё и дополнительная структура в виде скалярного произведения, то некоторые из прямых сумм вдруг оказываются ещё и ортогональными.
Ок.
Кто такой


определен равенствами, которые вы процитировали.
Напрягши все телепатические способности, можно, конечно, догадаться, что имелось в виду декартово произведение с введённой на нём естественной линейной структурой, а за ней и гильбертовой; ну так и надо было честно говорить.
Я думал, вы знаете, что прямая сумма конечного числа векторных пространств совпадает с их прямым произведением
