В разделе про интеграл Лебега ни одной теоремы не доказано.
Кстати, мне показалось или там пространства Соболева действительно отсутствуют?
Про Лебега доказывается достаточно много (что-то при этом вынесено в задачи).
Пространства Соболева затрагиваются во втором томе. Хотя да, теорем вложения там сильно не хватает (т.е. они сильно урезаны). Но это, видимо, потому, что в первую очередь эти товарищи -- про теорию операторов как таковых, для которой конкретные пространства, в общем-то, периферийны. Как и тут:
Смотрю оглавление и разделов "эллиптические уравнения", "параболические уравнения" вообще не вижу
-- есть у них "эллиптические операторы". А уравнения -- ну что уравнения вне допусловий. Интересны в первую очередь именно операторы.