Abstract
The classical theorem of Bishop—Phelps asserts that, for a Banach space X, the norm-achieving functionals in X* are dense in X*. Béla Bollobás’s extension of the theorem gives a quantitative description of just how dense the norm-achieving functionals have to be: if (x,φ) ∈ X × X* with ‖x‖ = ‖φ‖ = 1 and |1 - φ(x)| < ε2/4, then there are (x′, φ′) ∈ X × X* with ‖x′‖ = ‖φ′‖ = 1, ‖x - x′‖ < ε, ‖φ - φ′‖ < ε and φ′(x′) = 1.
This means that there are always “proximinal” hyperplanes H ⊂ X (a nonempty subset E of a metric space is said to be “proximinal” if, for x ∉ E, the distance d(x, E) is always achieved—there is always an e ∈ E with d(x,E) = d(x, e)); for if H = kerφ (φ ∈ X*), then it is easy to see that H is proximinal if and only if φ is norm-achieving. Indeed the set of proximinal hyperplanes H is, in the appropriate sense, dense in the set of all closed hyperplanes H ⊂ X.
Quite a long time ago [Problem 2.1 in his monograph The Theory of Best Approximation and Functional Analysis, Regional Conference Series in Applied Mathematics, SIAM, 1974], Ivan Singer asked if this result generalized to closed subspaces of finite codimension—if every Banach space has a proximinal subspace of codimension 2, for example. In this paper I will show that there is a Banach space X such that X has no proximinal subspace of finite codimension n ≥ 2. So we see that the Bishop–Phelps–Bollobás result is sharp: a dense set of proximinal hyperplanes can always be found, but proximinal subspaces of larger, finite codimension need not exist.
Similar content being viewed by others
References
E. Bishop and R. R. Phelps, A proof that every Banach space is subreflexive, Bulletin of the American Mathematical Society 1961 (1961), 97᾿8.
D. P. Blecher and C. J. Read, Operator algebras with contractive approximate identities. II, Journal of Functional Analysis 2013 (2013), 1049᾿067.
B. Bollobás, An extension to the theorem of Bishop and Phelps, Bulletin of the London Mathematical Society 1970 (1970), 181᾿82.
T. W. Gamelin, Uniform Algebras, second edition, Chelsea, New York, 1984.
G. Godefroy, Existence and uniqueness of isometric preduals: a survey, in Banach Space Theory (Iowa City, IA, 1987), Contemporary Mathematics, Vol. 85, American Mathematical, Society, Providence, RI, 1989, pp. 131᾿93.
I. Singer, The Theory of Best Approximation and Functional Analysis, Conference Board of the Mathematical Sciences Regional Conference Series in Applied Mathematics, Vol. 13, Society for Industrial and Applied Mathematics, Philadelphia, PA, 1974.
Author information
Authors and Affiliations
Additional information
Sadly, Charles Read died in August 2015. The revisions to this paper have been made by his colleague, Jonathan Partington, following the suggestions of the referee.
Rights and permissions
About this article
Cite this article
Read, C.J. Banach spaces with no proximinal subspaces of codimension 2. Isr. J. Math. 223, 493–504 (2018). https://doi.org/10.1007/s11856-017-1627-3
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11856-017-1627-3