Norm of a two-endpoint interpolation projection
ID: norm-of-a-two-endpoint-interpolation-projection
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.
New to topics? Read the docs here!