Schauder's fixed point theorem and Pontryagin maximum principle

We prove the Pontryagin maximum principle for a general optimal control problem. The main ingredient of the proof is the abstract lemma on an inverse function, which is proved via the Schauder fixed-point theorem. Under this approach, the proof of the Pontryagin maximum principle is quite short and transparent.