Я показал вот такое доказательство преподавателю:
В рефлексивном банаховом пространстве шар слабо компактен, поэтому непрерывный линейный функционал достигает в этом шаре максимума. А в силу линейности этот максимум достигается на границе шара.
Возьмем
. Имеем:
На это он сказал мне, что утверждение доказано для t - вещественных. А для комплексных это не совсем так.
Он говорил, что для комплексных нужно взять модуль
, он наверное будет дифференцируем по t, да еще и при t=0 там наверное все будет хорошо и это утверждение останется правильным... Вообщем, он сказал мне это грамотно написать и показать ему. Подскажите, пожалуйста, как можно закончить это доказательство?