Moser's lemma and the Darboux theorem

摘要

In this paper we will give a proof of the classical Moser's lemma. Using it, we give a proof of the main Darboux theorem, which states that every point in a symplectic manifold has a neighborhood with Darboux coordinates.