A new proof of the Banach-stone theorem

Abstract

Banach's original proof of the Banach-Stone theorem for compact metric spaces uses peak functions, that is, continuous functions which assume their norm in just one point. We show by using nonstandard methods that the peak point approach also works for compact Hausdorff spaces. The peak functions are replaced by internal functions whose standard part is supported in one monad.