amarenzo писал(а):
линейный оператор из произвольного банахова пространства в его одномерное подпространство, такой, что на этом одномерном подпространстве он тождественен.
Выберем нормированную образующую в подпространстве. Функционал на подпространстве, переводящий вектор в его частное с этой образующей имеет норму один => переводится по Хану-Банаху в функционал нормы один, тождественный на подпространстве (после домножения обратно на ту самую образующую)