Representation of complex Banach spaces as spaces of continuous functions on a compact space (Q1947806)

The author gives a characterization of the space \(C(X)\) (of continuous functions on a compact space \(X\)) in the class of complex Banach spaces. Therefore, this paper is a generalization of the results which were obtained in the class of real Banach spaces by \textit{R. F. Arens} and \textit{J. L. Kelley} [Trans. Am. Math. Soc. 62, 499--508 (1947; Zbl 0032.03202)], \textit{M. Jerison} [Trans. Am. Math. Soc. 70, 103-113 (1951; Zbl 0042.35701)] and \textit{S. B. Myers} [Ann. Math. (2) 49, 132--140 (1948; Zbl 0029.30401)]. The main result is contained in Theorem 2. Namely, a Banach space \(E\) over the field \(F\) of real or complex numbers is isometrically isomorphic to the space of continuous functions \(C(X)\) on a compact Hausdorff space \(X\) if and only if its unit ball \(S\subset E\) has an extreme point and \(E\) has property (A) (that is, for every system \(\{V_{\alpha}\}_{\alpha\in A}\subset\partial S\) of maximal convex subsets of the boundary of the unit ball \(\partial S\subset E\) with empty intersection (\(\bigcap_{\alpha\in A}V_{\alpha}=\emptyset\)) there exist networks \(\{\alpha'_{n}\},\{\alpha''_{n}\}\subset A\) and a number \(t\neq\pi\)(mod \(2\pi\)) satisfying the condition \(\lim\{\rho(u,V_{\alpha'_{n}})+\lim\rho(e^{it}u,V_{\alpha''_{n}})\}=2\) for all \(u\in E\), where \(\rho(u,V)=\inf_{v\in V}\|u-v\|\) denotes the distance from \(u\in E\) to \(V\subset E\), see Definition 2 and also Proposition 2).