A constructive proof of the Bishop-Phelps-Bollobás theorem for the space \(C(K)\) (Q380194)

Let \(X\) be a real Banach space. Then every continuous linear functional on \(X\) can be approximated in norm by norm-attaining functionals. This well-known theorem is due to \textit{E. Bishop} and \textit{R. R. Phelps} [Bull. Am. Math. Soc. 67, 97--98 (1961; Zbl 0098.07905)] and it was refined in [\textit{B. Bollobás}, Bull. Lond. Math. Soc. 2, 181--182 (1970; Zbl 0217.45104)] in the following way. If the given functional almost attains its norm in \(x\), then the approximating, norm-attaining functional can be chosen such that it attains its norm at a point \(y\) close to \(x\). \newline The original proof of the Bishop-Phelps theorem was not constructive. The author gives a constructive proof for real \(C(K)\) spaces of the following { Theorem. } Let \(K\) be a compact subset of a Banach space, \(0 < \varepsilon < 1/4\). Let \(f \in C(K)\) and \(\varphi \in C(K)^\ast\) be such that \(\|f\| = \|\varphi \| =1\) and \(\varphi (f) > 1-\varepsilon ^2/2\). Then there exist \(\hat{\varphi } \in C(K)^\ast\) and \( \hat{f} \in C(K)\) such that \(\|\hat{\varphi} \|=\|\hat{f}\|= \hat{\varphi}(\hat{f})=1\), \(\|\varphi -\hat{\varphi}\| < 5\varepsilon \) and \(\|f-\hat{f}\| < \varepsilon \). \newline In order to construct \(\hat{f}\), the author uses the Tietze extension theorem. Using the Riesz representation theorem of \(C(K)^\ast\), the functional \(f\) corresponds to regular Borel measure \(\nu \) on \(K\). A Hahn decomposition of \(K\) with respect to \(\nu \) admits the construction of a measure \(\hat{\nu} \) which corresponds to \(\hat{\varphi}\). It is shown in a corollary that, if \(\mu\) is a positive Borel measure and \(\nu\) is absolutely continuous or singular with respect to \(\mu\), then so is \(\hat{\nu} \), respectively. \newline The paper is very well readable, all proofs are included.