On Exposed and Farthest Points in Normed Linear Spaces
Michael L. Edelstein, Jeff E. Lewis · Journal of the Australian Mathematical Society · 1971
Let S be a nonempty subset of a normed linear space E. A point s0 of S is called a farthest point if for some x ∈ E, . The set of all farthest points of S will be denoted far (S). If S is compact, the continuity of distance from a point x of E implies that far (S) is nonempty.