Непонимаю как это может быть очевидно к этому моменту док-ва.
В Л-С забираться лень, но к этому моменту это, безусловно, должно быть очевидно. Всё ж-таки прежде чем забираться в дебри функциональных пространств -- безусловно необходимо окончательно снять все вопросы насчёт конечномерных. И Л-С наверняка это сделали. Может быть, просто во введении; и, возможно, просто отмашкой типа "от читателя предполагается знание таких-то стандартных разделов просто анализа"; но сделали -- наверняка.