Let be norm-one extensions to of endpoint point evaluations on . For continuous functions with , the linear projection has the displayed operator norm, independently of which extensions are chosen.
The triangle inequality proves the upper bound. At a point maximizing , choose unit complex numbers with . The continuous function has supremum norm one and , so . The L-infinity norm of the continuous output equals its supremum norm, proving equality even at an endpoint.

Articles by others on the same topic (0)

There are currently no matching articles.