Выдержка из книги
Массера Х.Л.
Линейные дифференциальные уравнения и функциональные пространства
Разумеется, (56.4) влечет (56.3) с k - k, так что дополнительно получаем, что нуль-пространство проектора Р является дополнимым ( В, L00) - подпространством.
