Bishop–Phelps theorem

The Bishop–Phelps theorem is a result in functional analysis that addresses the relationship between the norm of a continuous linear functional on a Banach space and the structure of the space itself. More specifically, it deals with the existence of points at which the functional attains its norm.