2-Chebyshev subspaces in the spaces \(L_1\) and \(C\) (Q2435835)

A set \(M\) in a Banach space \(B\) is Chebyshev if every member of \(B\) has a unique best approximation in \(M\). It is still an open conjecture whether every Chebyshev set in a Hilbert space is convex. The gist of the definition that \(M\) is a 2-Chebyshev set is that for every two points in \(B\) there is a unique point in \(M\) that minimizes the sum of the distances from a point in \(M\) to the two points in \(B\). There are Chebyshev sets that are not 2-Chebyshev. In a previous work, the author contributed to the conjecture on the convexity of Chebyshev sets by proving that a 2-Chebyshev set in a Hilbert space is convex. This paper identifies the finite-dimensional 2-Chebyshev subspaces of two classical spaces: the continuous functions on the unit interval, and the space of Lebesgue integral functions. The characterizations share features with the classical characterizations for Chebyshev subspaces in these settings such as the Haar condition. In these two settings there are significantly fewer 2-Chebyshev subspaces than Chebyshev subspaces.