Proof. [04I2]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proof.
We just give a sketch of the proof. Using the Weinstein neighborhood theorem one can show that in a sufficiently small tubular neighborhood of a fibre , the symplectic form is exact, i.e for some 1-form . Notice that is a closed 1-form. Define functions on by
One can show that
and therefore is closed. It is clear that the coordinates are well defined up to an integral affine transformation and therefore they define an integral affine structure on inducing the lattice in . Finally, notice that given a section we have a covering map
This map induces a diffeomorphism between and . One can check that in the case is Lagrangian this map is a symplectomorphism. For the proof of the last statement we refer the reader to [4]. ∎