I investigated the proof closely, but found no role played by the expression "real-valued". Thus, my thought is that it can be replaced by "complex-valued" for a simple and trivial generalization.
(In the last sentence, (a) is the proposition that a topology of a compact Hausdorff space cannot be weakened without losing the Hausdorff separation axiom and cannot be strengthened without losing compactness.)
