Geometry of KAM tori for nearly integrable Hamiltonian systems

We obtain a global version of the Hamiltonian KAM theorem for invariant Lagrangian tori by gluing together local KAM conjugacies with the help of a partition of unity. In this way we find a global Whitney smooth conjugacy between a nearly integrable system and an integrable one. This leads to the preservation of geometry, which allows us to define all non-trivial geometric invariants of an integrable Hamiltonian system (like monodromy) for a nearly integrable one.